Let h = -0.5 + b. Which is greater: d or h?
d
Suppose -3*h = i - 14, 0 = -2*h - 4*i + 8*i - 14. Suppose -h = -m, -4*t + 4*m - 13 = 15. Let n be t + (20 - 4/1). Which is smaller: 14 or n?
n
Suppose -3*f = -5*j - 4178, 3*f + 14 = 17. Which is greater: -834 or j?
-834
Let d = -352 + 279.9. Is d at least 1?
False
Let b(v) = 42*v + 2. Let t be b(-2). Let s = -3490 + 3409. Which is bigger: t or s?
s
Let o be 1*(-2 + 3/7). Suppose 3*a + 38 = 32. Which is bigger: o or a?
o
Let p(z) = z**2 - 8*z. Let m be p(8). Which is greater: m or 8/9?
8/9
Let b = -17.77 - -2.74. Let t = 15 + b. Let x = 0.09 + t. Is x not equal to 0?
True
Let h be ((-27)/(-18))/(2/(-4)). Let x be 31/155*(-115)/h. Is 8 greater than or equal to x?
True
Let z = 1048 - 1036. Which is greater: z or 18?
18
Suppose 0 = -12*y + 17*y + 180. Let m = -39 - y. Which is bigger: -5 or m?
m
Suppose -5*p = 5*q - 20, -3*p + 7 = -2*q - 15. Let r(x) = 10 + 5*x - 9*x + p*x. Let h be r(-5). Is 4/5 smaller than h?
False
Let d(x) = 2*x - 42. Let i be d(31). Suppose -i*l + 19*l = -2. Is l less than or equal to -6?
False
Let i be 7 + -250*(4 - 5). Does 256 = i?
False
Let v be (-3)/6 - (15/10 + -2). Let g = -5 + 10. Suppose -o + 3 = v, -g*o + 16 + 4 = k. Is 6 at least k?
True
Let h(c) = -c**3 + c**2 - c + 12. Let m be h(0). Let v(q) = -q**2 + 11*q - 14. Let d be v(m). Are -26 and d equal?
True
Let i = 2 + 22. Let a be 56/i + (-1)/3. Suppose -a*q = q. Which is smaller: q or -2/13?
-2/13
Let v(u) = -5*u + 31. Let p be v(11). Suppose -5*x - 81 - 44 = 0. Which is smaller: p or x?
x
Suppose 4*r + 5*k = 13 - 52, r + 12 = k. Suppose 0 = p + p + 8, 5*p = -5*l - 80. Which is smaller: r or l?
l
Let j = -86 - -89. Suppose 2*b = j*b - n - 7, 2*n = 0. Let h(d) = d**2 - 4*d + 4. Let i be h(5). Which is bigger: i or b?
i
Let k(s) = -2*s + 2. Let w be k(-1). Suppose -30 = -4*y - 5*d, 0 = 2*y - 2*d - 6. Which is greater: y or w?
y
Let k = -4.77 - -5.1. Let b = k + -0.4. Let w = b - 0.03. Are w and -3/7 non-equal?
True
Let f = -369847/557 - -664. Is 0 < f?
True
Suppose n - 68 = -d, 2*n + d = -n + 210. Let o = n + -73. Which is greater: o or 27?
27
Suppose 3*q - 5*t + 7 = 0, -5*q = 2*t + 4 - 13. Is q bigger than 2/4709?
True
Suppose 4*y - 16 = 0, 4*y = 3*n + 11 - 1. Suppose -n*r = 50 + 36. Is -43 > r?
False
Suppose -27*n = 7059 + 1203. Is -307 greater than or equal to n?
False
Suppose 0 = -5*u - 3*c + 528, u = 2*c - c + 104. Let j be (-7)/(u/(-6))*15. Suppose -3*d = -j*d - 3. Is 0 not equal to d?
True
Let s(x) = 3*x**2 + 10*x - 7. Suppose -u + 4 = -2*u + n, -3*u + n - 12 = 0. Let a be s(u). Which is smaller: a or -1/6?
-1/6
Suppose -4*o - 4*b = -o - 38, -2*o + 32 = 4*b. Do o and 55/8 have the same value?
False
Suppose 4*q = 5*q - 2. Let u be (q/(-15))/(-2 + (-44)/(-20)). Are 1 and u equal?
False
Suppose 20 = 2*w - 6*w. Let q = -6 - -2. Let y be ((-2)/(-3))/(q/42). Is w at least y?
True
Let k = 8761/13 + -673. Let o be 0/(2/1) + 0. Do o and k have the same value?
False
Let t(o) = -15*o - 1. Let y be t(-1). Let b(l) = -2*l + 5*l**2 - 2933*l**3 + 0*l + 4 + 2934*l**3. Let s be b(-5). Is s at most as big as y?
True
Let g = 105.063 + -0.063. Which is smaller: g or 12?
12
Let n(o) be the second derivative of -6*o + 0 + 1/2*o**3 - 6*o**2. Let d be n(5). Which is bigger: -1/3 or d?
d
Let p(j) = -26*j - 22. Let f be p(-4). Suppose c + c = -4*t + f, -94 = -2*c + 2*t. Is c smaller than 47?
True
Suppose -9 = 5*g - 164. Suppose -g*z + 4 = -30*z. Suppose -2*h - h - 2*k = -11, 4*k = 4*h - 8. Which is smaller: z or h?
h
Let a = 28 - 31. Let j = 55 + -55.11. Is a > j?
False
Suppose -481 - 268 = -7*x. Which is smaller: 431/4 or x?
x
Let u be 3 + (-4)/(-8)*-6. Suppose -5*b + 30 = -u*b. Let p(a) = a - 7. Let c be p(b). Which is smaller: c or -1/8?
c
Let u be -1 + (-32)/((-16)/(-4)). Suppose x + 5 = 0, 0 = -2*d + 2*x - 4*x - 14. Let w be d/u + 336/(-1998). Which is greater: 1 or w?
1
Suppose 3*t - 1 = 2*b, t + 0*b - 19 = -4*b. Let k be (3 - (-25)/(-4)) + t. Which is greater: k or -2?
k
Suppose 4*w + 1 = 6*w + 3*j, 0 = -3*w - 4*j. Let z be 72/(-33) - w/22. Which is smaller: -3 or z?
-3
Let l(o) = -o + 6. Let s be l(5). Suppose -s = -4*k + 3. Let m = -510.81 + 511. Which is bigger: m or k?
k
Let c = 25 + -15. Let o = 10.9 - c. Let a = o - -0.1. Is 2/9 at least as big as a?
False
Let h(v) = -9*v**2 + 16*v - 28. Let u be h(5). Is u greater than -173?
False
Let o be (-149237)/816185 - 5/(-25). Let u = o - 6/683. Let w = u + -737/2390. Is 1 smaller than w?
False
Let p be (-12)/(6 - (-63)/(-6))*114. Is 304 at most as big as p?
True
Suppose 226 - 28 = -6*f. Let x = 35 + f. Does -2 = x?
False
Let c(o) = -o**2 + 5*o + 6. Let z be c(8). Let k be 28/36 + (-4)/z. Let h be 2/(k + -2 - 2). Is h <= 6?
True
Let z = -11 - -8. Let n = -0.09 - -2.09. Let b = n + -5. Is z less than or equal to b?
True
Let u(f) = -2*f - 41. Let x = -84 + 60. Let j be u(x). Is j greater than 1?
True
Let i = -2.6 + 2. Let q = -98.8 + 98.2. Let s = q + i. Which is smaller: 2/9 or s?
s
Let h(g) = g**2 - 10*g + 12. Let b be h(10). Let x be -3 - (-8)/b*6. Is x less than -7?
False
Let b = 57 + -49.8. Let t = -7.3 + b. Which is smaller: -0.2 or t?
-0.2
Suppose 102*l = -18*l + 3480. Which is bigger: l or 32?
32
Suppose 55916 = 59*q - 35947. Is q < 1556?
False
Let q = 352.115 - 355. Let x = 0.015 - q. Let g = x - 3. Is 23 less than or equal to g?
False
Suppose 5*w = -9 - 11. Let n be 5/w + (-3)/(-12). Which is greater: -2/9 or n?
-2/9
Let n = -19.6 - -21. Let o = 1.26 - n. Which is smaller: 1 or o?
o
Suppose 4*p = 5*p - 1. Let a(l) = -l**2 + 5*l. Let s be a(5). Suppose 0 = -s*y + 4*y - 12. Is p at most as big as y?
True
Let d = -17 - -29. Let u(f) = f + 20. Let r be u(-7). Which is smaller: d or r?
d
Let d = 1650 + -1655. Which is greater: d or -96?
d
Let d = 24 + 16. Let u be ((-2)/(-25))/(1/d) - -1. Is 3 not equal to u?
True
Let g = 0.003 + -0.034. Let d = 0.031 + g. Which is smaller: d or -32?
-32
Suppose -163*z = -170*z - 7. Let r = -31972/27 - -1184. Is r equal to z?
False
Suppose -2*d + 11 = 91. Let u = 40 + d. Which is smaller: u or 6/35?
u
Let b = 7 - 7.12. Let u = -6.12 - b. Let h = -3818 - -3818. Is u not equal to h?
True
Suppose 3*k - 3*t = -93, -18*t + 91 = -3*k - 13*t. Which is bigger: k or 15?
15
Let l = 939/1015 - 26/29. Which is bigger: 4 or l?
4
Let b = -2235.7 - -2238. Are b and -1.3 nonequal?
True
Suppose 0 = 2*v + 15 - 25. Suppose -154 = -v*u - 229. Which is smaller: -14 or u?
u
Let i = -10.1 + 0.1. Let u = i + 4. Let q be ((-1)/5)/((-60)/200). Which is greater: q or u?
q
Suppose -2*x = -5*s - 12 - 17, -3*s - 11 = 2*x. Suppose 4*y + x*j + 32 = 0, 4*j = -j + 10. Is y > -29/3?
True
Let h = -13/62 - 626/341. Which is smaller: -2 or h?
h
Suppose 21*g - 42 = 1281. Suppose y - 192 = -3*q, -3*q - 2*q = y - 318. Is g >= q?
True
Let b = 9 - 4. Let c = -0.19 - -4.19. Let d = b - c. Which is bigger: d or 9?
9
Suppose -6*x + 5*d + 6 = -3*x, 4*d + 27 = -5*x. Suppose 5*t + 20 + 19 = -4*v, 0 = -3*t - 9. Is x greater than v?
True
Let i = 8 - 1. Let d = -17.5 + 24.6. Let g = d - i. Is -2 at least g?
False
Let i = -1.705 + 0.105. Let u = 1.7 + i. Which is greater: 34 or u?
34
Let x = -940 + 854. Which is greater: x or -85?
-85
Let r(z) = -z**2 + 7*z - 7. Let k be r(5). Suppose 0*q = -3*q - k. Which is bigger: -15 or q?
q
Suppose -3*y + 13 = -47. Let m be (13/(-10) - 4/y) + 1. Suppose 0 = -2*j - 3*g - 2, -20 = 3*j - 5*g + 2. Which is greater: j or m?
m
Let y be 111/21 - (-2)/(-7). Suppose 2*m = m - y, 3*a + 5*m = -16. Let v = 4 + -2. Which is smaller: v or a?
v
Let p be (1 - 3) + (-8)/1. Let d be 8 + p + 4*2. Let o = d + 2. Which is smaller: 7 or o?
7
Let i be 159/(-106) - ((-1)/6)/1. Let r(b) = b**2 - b. Let j(d) = -4*d**2 + 7*d + 1. Let t(g) = j(g) + 5*r(g). Let p be t(-1). Which is smaller: i or p?
i
Let i(y) = -9*y - 4. Let x be i(3). Let k be 737/(-22) + 3 - 2/(-4). Do x and k have the same value?
False
Let i = 2.8 - -0.2. Let t = -1.84 - 3.16. Which is smaller: t or i?
t
Let o(t) = -t**3 + 11*t**2 + 29*t - 33. Let x be o(13). Are x and 53 unequal?
True
Let z = -0.02 + 0.02. Let k = -5 + 4.84. Let f = k + 0.06. Which is smaller: z or f?
f
Suppose -3*a + 5*z - 554 = 9*z, -5*a - 934 = -4*z. Is -185 bigger than a?
True
Suppose -15 = 3*b + 2*b. Let p be 135/(-20) - b/2. Which is greater: p