 - 8087. Let v = h + s. Which is smaller: v or 4?
v
Let a = -2108 - -1316. Let s = -10281/13 - a. Let z = -179.88 - -178.88. Which is greater: s or z?
s
Suppose x + 6*x + 28 = 0. Let b be 11665/(-4)*x/38. Let k = b + -307. Which is bigger: k or 0?
0
Let w = -4.7109 + 0.1009. Let c = w + 4.23. Is c at most as big as -1?
False
Suppose 3*u + 51 = -108. Let f = -41 - u. Suppose 2*o = 4*n - f, -o + 2*n = 6*n - 12. Which is smaller: o or 6/7?
o
Suppose -12*y + 4909 = 28153. Which is smaller: -0.2 or y?
y
Let y(o) = 773*o + 8733. Let z be y(-12). Which is greater: z or -19?
-19
Let n(v) = 4*v**2 - 19*v - 38. Let a be n(7). Suppose -u + 38 - a = 0. Let c(h) = h**2 - 1. Let j be c(-4). Is u at most as big as j?
True
Let q be ((-321)/4)/(4*27/(-144)). Suppose 10*z - 53 = q. Which is bigger: 0.1 or z?
z
Let w = 1560 + -1068. Let s(v) = 3*v - 194. Let k be s(65). Let h be (w/8)/3*(k - -1). Is 0 < h?
True
Let j(x) = -12*x - 97*x**2 + x**3 + 72*x**2 - 3*x**3 + 1. Let h be j(-12). Are -2/235 and h unequal?
True
Suppose 110 = 2*x - 28. Let j be 3200/(-480)*((-78)/8 - 0). Let v = x - j. Do 4 and v have the same value?
True
Let f be (-3 - (-246)/81)*(-1 - 0). Let j = f - -19/27. Let h be -5 + 2 - (-24)/8. Is j smaller than h?
False
Let f = -98 - -103. Suppose 6 = 2*w - 2*l, -2*l = -f*w + 4*w + 7. Which is greater: 2/31 or w?
2/31
Let l be (39/12)/(20/80). Suppose 2*c + 11 = -2*c - y, -4*c + 4*y = 16. Does l = c?
False
Let o be 6/4*(7 - 66/18). Suppose 24 = t + o*w, -2*w = -4*t + 2*t. Let y be (-3)/((-10)/t + 2 + 0). Which is greater: y or 8?
8
Let b be 12/((261/24)/(-29)). Which is smaller: b or 54?
b
Let t(i) = 10*i**2 + 48*i - 2. Let a be t(-5). Let z(p) = 50*p - 185. Let x be z(a). Is 217 > x?
True
Let i be ((-8)/21)/(8081/(-7) + -7). Which is smaller: i or 0?
0
Suppose 15*u + 2134 - 327 = -638. Which is smaller: -0.8 or u?
u
Suppose 0 = -5*y - f - 1, -5*y - 3 = 5*f + 2. Suppose y = -24*i + 27*i - 66. Are 15 and i non-equal?
True
Let q(o) = -8*o**2 - 9*o + 34. Let z be q(4). Let c be ((-20 + -1)/3)/(z/78). Are c and 1/3 equal?
False
Suppose p + 94 = 3*h + h, -4*p = -8. Suppose h = 32*m - 34*m. Let b = -13 - m. Which is greater: 1 or b?
1
Suppose 0 = -2*b + 880 - 388. Let u = b + 36. Do u and 283 have the same value?
False
Let f = -9016 - -8999. Do 1.05 and f have different values?
True
Let p be (-9)/15*2/6 - (-1473)/15. Is p at least as big as 105?
False
Let t be (19/(-57))/((-1)/12). Suppose q + 31 + 49 = -k, -3*k = t*q + 236. Does k = 0.4?
False
Suppose 8 = u + t, t = 5*u - t - 12. Let d be u + 4/((-8)/10). Is -3/160 <= d?
False
Let b be -73*279 + 14 + -11 + 4. Let d be b/46620 - 4/(-9). Which is smaller: 1 or d?
d
Suppose 16 = 3*j - 2*n, -10 = 40*j + n - 2. Which is smaller: j or -2/27869?
-2/27869
Let a = -0.06957 - 14.62543. Let b = a - -14.7. Which is greater: 1 or b?
1
Let m = -59728/3 - -19868. Does -40 = m?
False
Suppose 187789 - 65653 = -24*q. Is q greater than or equal to -5089?
True
Let d be (-12 - (-1810)/150)*-2*3. Which is smaller: d or 18?
d
Let a be (-9)/(-25) - (-1)/(-3). Suppose -2*o = 2*u, -u - 5*o + 1 + 7 = 0. Let t(c) = -10*c - 19. Let f be t(u). Is f at most a?
False
Let w = 1259.3 - 1259.23. Let b be (-8)/(3/(45/(-2))). Which is greater: w or b?
b
Let p be 350/228 - 96/64. Let i = p + 119/1482. Let q be (-10)/(-20) + 6/(-4). Is q at most i?
True
Let n = 579.1 + -550. Let r = n - 32.2. Which is bigger: r or 0.03?
0.03
Let c(m) be the second derivative of -m**4/12 - 3*m**3/2 + 137*m**2 - m + 39. Let y be c(11). Let f(d) = -2*d**3 - 6*d**2 - 6*d - 2. Let z be f(-4). Is z < y?
False
Let r(w) = w**3 + 7*w**2 - 11. Let x be r(-7). Let m = x + 11. Suppose m = -t + 5 - 17. Which is greater: -11 or t?
-11
Let o be (13 + -2)/(-14 - (-990)/72)*-5. Is o at least as big as 242?
False
Suppose 21*w = -3*w - 672. Let b be ((-110)/12 - -5)*32/5. Is b bigger than w?
True
Suppose -7*v + 816 = 543. Suppose -2*f + 104 = 26. Do v and f have different values?
False
Suppose -494*s + 20 = -489*s, 3*z - 3*s = 0. Is z less than 28/37?
False
Let a = 443 + 121. Which is smaller: a or 566?
a
Let g = 329 - 323. Let b be 5/g - 6/90*-5. Which is greater: 0 or b?
b
Let a be 404/(-44) - (2 - 24/11). Let t(u) = -u**2 - 8*u + 21. Let z be t(a). Do z and 0.5 have the same value?
False
Let w be (-1 - 0)*(-8 - (42 + -7)). Suppose -2*d + w = -5*v - 37, -5*v = -3*d + 85. Let m = -3 - -4. Are v and m unequal?
True
Let t be (1/(-3)*-5)/(1963/(-453)). Which is smaller: t or -4/5?
-4/5
Let m(a) = a + 30. Let i be m(-15). Let n be (5/(-2))/(i/(-12)). Let l be ((-11)/n)/(-1*3/12). Which is bigger: l or 23?
23
Let t(u) = -28*u + 890. Let r be t(11). Is r > 580?
True
Let l(f) = -4*f**3 + 9*f**2 + 9*f - 227. Let b be l(9). Which is smaller: b or -2332?
b
Let m(c) = -166*c**3 - 7*c**2 + 8*c - 6. Let k be m(-4). Are 10474 and k equal?
True
Suppose 167*h = 170*h - 4*r + 1624, -2*h - 1144 = 5*r. Do -552 and h have the same value?
True
Let d = -4309 + 25861/6. Which is bigger: 11/4 or d?
11/4
Suppose -27 = 3*f - 27. Let h be f + (-2 - -3) - -2. Suppose -285 = h*a + 2*a. Is -56 bigger than a?
True
Suppose -b = -m - 328, 144*m - 149*m = 3*b + 1648. Is -3 at least m?
True
Let b = -650 + 615. Let k = 43.9 + -44. Is k less than b?
False
Let g = -388/7 + 6554/119. Let c = 5 + -12. Let i = 7 + c. Which is smaller: g or i?
g
Let t(q) = 854*q + 53. Let i be t(6). Let o be (-1)/(-5) + i/(-1085). Is -2/5 bigger than o?
True
Let q(a) = -a**3 - 2*a**2 - 3. Let g be q(-3). Let y be ((-16)/(-10))/(84/238). Which is bigger: g or y?
g
Let d = 315/17 - 2571/136. Which is bigger: d or 9?
9
Suppose 0 = 7*l - 2*l + 4*j - 2213, 2*l = -j + 887. Let d = 196 - l. Which is smaller: -248 or d?
d
Let r = 1208/125 + 441877/750. Which is bigger: 599 or r?
599
Let u(h) = -30*h - 97. Let t be u(-4). Which is greater: t or 0.17?
t
Let p = -3 - -6. Suppose -3*b + 43 - 49 = 0, -5 = -3*k - 2*b. Suppose -p*q - 2*j + 60 = -k*j, 2*q = j + 41. Is 19 greater than or equal to q?
True
Let s = -31.2 - -3.2. Let q = -0.155 + -7.945. Let j = 8.2 + q. Which is smaller: s or j?
s
Let w = -44 - -66. Suppose 3*l = -8*l + w. Suppose 5*q + 1 = l*u, 15 = -3*u - 2*q + 7. Which is greater: u or -6/5?
-6/5
Suppose -29*y + 33*y = -4*k + 28, y - 7 = 0. Is k at most as big as 32/381?
True
Let g = 2204/35 + -501/7. Which is smaller: 0.09 or g?
g
Let c = -206 - 79. Let z be 266/c + (18/(-10))/(-3). Which is greater: z or -1.02?
z
Suppose w - 5*d = 2*w - 7, 1 = d. Let c(o) = 98*o**w - 10*o - 99*o**2 - 15 - 3. Let a be c(-6). Is 11/2 at least as big as a?
False
Suppose -c - 1 = -2*t, 5*t - 3*c + 18 - 19 = 0. Let u be t*8/960*8. Which is smaller: 4 or u?
u
Let l = -2797 + 3113. Is 322 != l?
True
Let r = 3 + -2. Let g = 72521/33 + -2197. Which is smaller: r or g?
g
Let t(f) = -3159*f**2 + 43*f + 80. Let x be t(-2). Is x <= -12643?
False
Suppose 16*f + 2*c - 490 = 11*f, -c - 5 = 0. Suppose -5*u - 5*r = f, -u - 3*r - 22 = -12. Are -19 and u nonequal?
True
Let h be -5 + 2 + 15 + -5 + 4. Let c be 1/2 - (-35)/(-2). Let v = c + h. Is v not equal to -20/3?
True
Let t = -0.092325 - 918.127675. Let s = t + 1031.2. Let p = 113 - s. Which is smaller: p or 2?
p
Let l be (-11)/((-704)/(-48)) + 1631/4. Is l less than or equal to -2?
False
Let f = -1727 - -1746. Which is smaller: f or -45?
-45
Let q = 41 + -23. Let o(j) = -j**3 + 8*j**2 + 25*j - 19. Let z be o(10). Suppose 3*i - u + z = -0*u, -q = 2*i - 2*u. Is -9 bigger than i?
True
Suppose 25 + 11 = 2*p. Let x(a) = 12*a - 126. Let d be (-58)/(-4) + 55/(-22). Let o be x(d). Is p greater than o?
False
Let i be 13678/70278 - (-6)/(-9). Let k = i - -1/689. Suppose 0 = 3*g + 4*w + 13, 0 = -4*g + 8*w - 9*w. Is g < k?
False
Let u be ((-34)/85)/(1/(-10)*1). Suppose 0 = -4*s + u*l - 544, -9*s - 3*l - 116 = -8*s. Which is bigger: -133 or s?
s
Let d = -26 + 35. Suppose d*j - 20*j = 11. Is -2/285 >= j?
True
Let o(w) = w + 15. Let v be o(-10). Let c be (-2 - 2 - -2)*v. Let x(m) = m**2 - 11*m + 18. Let s be x(7). Do c and s have the same value?
True
Let a(r) = 3*r**2 + r - 6. Let b be a(-2). Suppose 6*p = -5*z + 9*p - 106, -b*p + 11 = -z. Which is bigger: -21 or z?
-21
Let j = 1858.58 + -1833. Let v = -7.68 + j. Is 2 greater than v?
False
Suppose -5*g = -7*g - 10, -3*g = -4*l + 19. Let j = 9372947/14 - 669921. Let p = j - -4