w). Let z be t(c). Are z and 16 unequal?
True
Let j(i) = 9*i + 6. Let k be j(2). Suppose m + 3*t + t = k, -m + t = 1. Let n be (m - 7) + (-5)/(-3). Is n smaller than -0.2?
True
Suppose 5*l + 21 = 4*a, -7*a + 8 = -5*a. Which is bigger: -1/94 or l?
-1/94
Let u = -17 - -18. Let j be 2/(-12)*u*2*-6. Let p = -20 - -59/3. Which is smaller: p or j?
p
Let f(y) = 12*y - 44. Let j be f(4). Let h be j/24*36/(-8)*1. Which is bigger: 0.1 or h?
0.1
Let j = 0.8 - 1.3. Let d = -8.56 - 0.34. Let h = d + 9. Which is smaller: j or h?
j
Let t(a) = a**3 + 10*a**2 + 11*a + 17. Let i be t(-9). Let x = -48 - -62. Which is smaller: x or i?
i
Suppose 0 = 2*z + 71 - 11. Let b = z - -21. Is b equal to 0.1?
False
Let g be 3*(0 + -1) - (13 - 14). Let j = -4/3 + 43/12. Let q = g + j. Which is smaller: q or -1?
-1
Let s = -0.07 + 0.18. Let x = -1.11 + s. Let c = x + 1.1. Is c at most -4/5?
False
Let w(m) = 2*m**2 - m. Let y be w(1). Let s = 0.065 + 0.005. Which is smaller: s or y?
s
Let y be (-6)/12 + 58/4. Suppose 2*b + 2*h + 10 = 0, 6*b + y = 3*b - 2*h. Let r = 162 - 494/3. Is b at most r?
True
Suppose -5*z - 10 = 4*o - 3*o, -2*o + 7 = z. Let c = -415 - -419. Is c smaller than o?
True
Let p(t) = -t**3 - 6*t**2 + 28*t - 4. Let y be p(3). Which is bigger: 6/275 or y?
6/275
Let i be (-2 + -2)/(-4)*-2. Let z be (-1)/(57/(-27) - i). Let v = 16 - z. Is v at least as big as 7?
True
Let q = -101 - -109. Suppose q = 2*p, 4*w + 3*p + 0*p = 8. Which is smaller: w or 3/106?
w
Let z = 160 + -163. Which is greater: -24/13 or z?
-24/13
Let w = 20.98 + -151.05. Let h = w - -130. Is h less than or equal to 0.04?
True
Suppose -2*h - 180 = h. Let g = -1091 - -1031. Is h smaller than g?
False
Let m = 2495/2 + -1208. Let j be (7 - 2)*(-2)/5 + 43. Which is smaller: j or m?
m
Let w = -10 - -15. Suppose 0 = 2*y + 2*v - 10 + 2, 0 = w*v + 15. Suppose -5*z - y = 28. Which is greater: -6 or z?
-6
Let z = 0.45 + -2.28. Let a = z + 1.8. Let f = -6.8 - -6.9. Is a <= f?
True
Let l = 12183/2 + -1072207/176. Let f = 9/16 + l. Is f at most 2/5?
True
Suppose -4*f + 0*f = -3*m + 80, 3*f + 5*m + 60 = 0. Let d = f - -60. Let h = -33 + d. Is 5 equal to h?
False
Let i be (-1)/2 + 13/156*-6. Let y = -1/798 + -4775/10374. Which is smaller: y or i?
i
Let o = -10141/5 + 1997. Do 2 and o have different values?
True
Suppose 4*d - 4 + 1 = z, -3*d - 12 = 0. Which is smaller: z or -1?
z
Let o = -532 - -532. Which is smaller: 23/17 or o?
o
Let s be (-9532)/(-8595) - (-1260)/(-1134). Which is bigger: -1 or s?
s
Suppose -5*j + 35 = w, -2*j - j - 4*w + 4 = 0. Suppose 15*s - j*s = 14. Which is smaller: s or 7/5?
7/5
Suppose -3 = 4*c - 23. Suppose -c*x - 19 - 41 = 0. Does x = 1/2?
False
Let f be (-15)/25 + 0 + 47/(-5). Let g be (-4)/f + (2 - 96/(-10)). Is 12 greater than or equal to g?
True
Let u be ((-12)/(-1))/(3/2). Let r(a) = -a**3 - 14*a**2 + 32*a + 2. Let k be r(-16). Suppose -2*m - u = k. Which is bigger: m or -3?
-3
Let p = -30 - -24. Let z = p - -25/4. Which is smaller: z or 39?
z
Let b(s) = -s**2 + 4*s - 5. Let n be 4 - 1 - 0/(-5). Suppose 4*o - n*c = 16, -3*o - 3*c - c = -12. Let u be b(o). Is u bigger than -1?
False
Let b = -33 - -12. Let r = b + 28. Let l be 0 + (1 - 2) - -7. Which is greater: r or l?
r
Let w(r) = r**3 + 9*r**2 + 7*r - 3. Let u be w(-8). Let h be -1*(-3 + 6 + -4). Let o = u + h. Which is greater: 5 or o?
o
Let q(b) = b**2 - 9*b + 14. Let j be q(8). Suppose 7 - 13 = -j*r. Is -1/13 greater than or equal to r?
False
Let f be (-2 - (1/1 + -9)) + -3. Let k be (-6)/5 - (f + (-5 - -4)). Is k < -3?
True
Let a = 1.22 - -0.19. Let j = a - -0.59. Are 8 and j nonequal?
True
Let c(q) = -q**2 - 3*q + 3. Let z be c(-4). Let w be 16/20*(-5)/(-2). Let x be 5/2 - 1/w. Is z < x?
True
Let t = 4062/5 - 810. Suppose 0 = 3*p + 9, 2*u - 3*p + 0*p + 3 = 0. Let x be 2 + (u/2)/3. Is x equal to t?
False
Let h = -625 - -64378/103. Which is greater: h or 1/4?
1/4
Let n be 4 - (-6 - (-704)/55). Is -3 less than or equal to n?
True
Let y be (-3)/(-2)*(-56)/42 + 42. Is 40 <= y?
True
Let v = -196134 - -2804716201/14300. Let c = 857839/2302300 + v. Let f = c + -2/23. Which is bigger: 4/5 or f?
4/5
Let s = 2125 + -2128. Suppose -4*v - 3 = 5. Is s smaller than v?
True
Let f(x) = 36*x**2 + 249*x - 8. Let w be f(-7). Is w smaller than 14?
True
Let w = -1372 - 1033. Let i be 2/(-4) + w/(-52). Let a = 46 - i. Is a at least -2/11?
True
Let g = 1 - 1. Let q = 2 + -1.3. Let a = 5.3 + q. Which is smaller: a or g?
g
Suppose -21 = 44*c - 41*c. Let j(k) = 3*k**2 - 2*k - 1. Let l be j(-1). Let q be 1*l*(-7)/4. Is c less than q?
False
Let j(t) = 9*t - 3. Let u(q) = q**3 - 6*q**2 - 4*q - 7. Let c be u(6). Let n = c - -30. Let w be j(n). Do w and -13 have the same value?
False
Let q be 3 - (-3)/(2 - 3). Suppose q = -n - 3*n. Which is greater: n or 1/5?
1/5
Let z = -87 - -172. Let k = z + -93. Which is greater: -3 or k?
-3
Suppose 16*l - 12*l = 360. Suppose l = -2*n - n. Let b be 1/5 + 66/n. Is b equal to -3/2?
False
Let h be (-3*6/12)/(-3)*0. Let k be 9/(-5) - (-4 - -2). Which is greater: h or k?
k
Suppose 5*h + 72 = 14*h. Let d be 0/((-3)/(-6)*-2). Suppose -3*s + 5*u - 14 = d, 4*s + 2 = -2*u - 8. Which is smaller: h or s?
s
Let i be 0/(-7) - (68/5 - 2). Is i smaller than -12?
False
Let t = 1213/2 + -201965/333. Which is greater: t or 1?
1
Let x be ((-17)/(-3))/((-39)/(-9) - 4). Suppose -3*g + 5 = x, 7 = -h - g. Let o be (-2)/(-3) - 4/6. Is h at most as big as o?
True
Suppose -3*g + 5*c = 1814, g + 3*c - 169 = -769. Are -604 and g equal?
False
Let x = -2265 + 3119. Which is smaller: -2/3 or x?
-2/3
Let p = 21239 - 637097/30. Which is bigger: 1 or p?
p
Let j be 6/(-48) - 5459/40. Let p = j + 136. Is 1 >= p?
True
Suppose -u = 4*x + 5 - 1, 0 = 5*u + 5*x + 20. Suppose -3*f + f - 6 = 0. Let n be (f*(-4)/6)/((-26)/39). Is n smaller than u?
False
Suppose 4*m - 6 = 2. Suppose 5*i - b = 3, 3*i + b + 3 = -2*i. Suppose m*s = -i*s. Which is smaller: s or 0.6?
s
Let d = 347 - 347. Which is smaller: 10/23 or d?
d
Let h be ((-2)/(-5))/((-192)/(-10080)). Suppose -3*j + 75 = 7*c - 3*c, -j - 4*c = -33. Is h at least j?
True
Let h(o) = -o**3 - 4*o**2 - 3*o - 10. Let m be h(-4). Let j be 3/12*-2 - 41/m. Is -20 at least as big as j?
True
Let m = -228 - -1599/7. Let q be (3 + -12)*(-30)/18. Let k = -14 + q. Is k bigger than m?
True
Let j = 27 + -18. Suppose -5*o = -21 - j. Suppose -o = -a - l, 5*a + 4*l - 27 = -0*a. Is a > 2?
True
Let m be 5*5*246/150. Which is smaller: m or 40?
40
Let z = -20 + 23. Is z less than 6?
True
Suppose -5*a + 40 = -5*z - 20, 5*a = 3*z + 54. Suppose -95 = -h - v, -4*v + 3 + a = 0. Is h less than 0?
False
Let x = -13 - -6. Let c(m) = m**2 + 2*m - 10. Let t be c(x). Let o be 10/t*(-2)/(-8). Is 0.1 greater than o?
False
Let w = -15073/25 + 603. Let c be ((-2)/14*-1)/((-6)/(-42)). Is w less than or equal to c?
True
Suppose 6601*w + 19 = 6600*w. Is w greater than -43?
True
Let z = -167/1960 - -1/98. Is 1 >= z?
True
Let o = -1/406 - -857/18270. Let k = o - 4/15. Which is smaller: k or 3?
k
Suppose 0*n + 2*n = -4*k - 12, 0 = 4*n - 3*k + 13. Suppose -17*z = -30*z - 52. Is z at most n?
True
Let s(u) = -u**2 - 2*u + 3. Let j be s(-3). Suppose j = -r - 3*r + 8. Suppose -x - r*x + 9 = 0. Is 2 at least x?
False
Let h(k) be the first derivative of 86*k**3 - k + 5. Let f be h(-1). Let o = f - 2825/11. Is -2/5 >= o?
False
Suppose -3*t + 5 - 61 = z, 36 = -2*t - z. Let s(w) = -w**3 - 20*w**2 + w + 8. Let l be s(t). Does l = -11?
False
Suppose -4 + 2 = -h - k, -5*h - 3*k + 16 = 0. Suppose 0*n = -2*n - 24. Let o = h + n. Are -8 and o equal?
False
Let u be (-1690)/(-7 - 90/(-10)). Which is smaller: u or -844?
u
Let j = -374 + 368. Let n = -4 - 10. Let p = 7 + n. Is j less than p?
False
Let a = -71 + 106. Let g be 11/(3/(-1) + a/10). Which is smaller: g or 23?
g
Suppose 0 = -6*t + 345 - 423. Let o = -3 + 5. Suppose 2*a + a = -4*v - 68, 0 = -o*v - 5*a - 48. Which is bigger: t or v?
t
Let h = -4.9 + 5. Let y be (-2)/(-24)*400/15. Which is smaller: h or y?
h
Let x be (6/(-2))/(60/(-8)). Let f = -202 - -203. Which is smaller: x or f?
x
Suppose 0 = 43*c - 7*c. Let k be -2 + 1 - (-21)/30. Which is smaller: c or k?
k
Suppose 0 = 5*p + 5*s - 50, 0 = 5*p + 2*s - 60 + 22. Let b = p - 4. Suppose b - 17 = 3*y. Is -6 > y?
False
Let n = 38970/82861 + -10/1927. Is -1 bigger th