han or equal to 11?
True
Let p = -39 + 43. Let b = -2 - p. Is b bigger than 0?
False
Let x = -182 - -183. Which is smaller: x or -4/33?
-4/33
Suppose 0*d = d + 5. Let c be (-1*3)/((-2)/((-56)/(-21))). Suppose -2*t - 2*n = 2*t + 12, c*t = -4*n - 4. Is d greater than or equal to t?
True
Suppose 292 = -2*m + 4*m. Let l = m - 146. Do l and 2/169 have the same value?
False
Let x be 1/(-2)*(-7)/70*5. Do x and -4/7 have the same value?
False
Let a = -2/59 + 124/177. Let d = -7/4 - -5/4. Which is smaller: a or d?
d
Suppose -2*y - 2*z = -7*y - 311, y - 3*z = -70. Let t = -64 - y. Are 6 and t non-equal?
True
Suppose -5*c = -z, 0 = -z - c + 10 + 14. Let r = 13 - z. Suppose 0 = -2*v + 34 - 46. Which is bigger: v or r?
v
Let r = 9/19 + -115/323. Suppose -m - 16 = -17*m. Is m > r?
True
Let r be (-105)/(-140) + (-255)/332. Which is smaller: r or -1?
-1
Suppose -4*i - 51 = -q + 35, 0 = 3*i - 4*q + 71. Let y = i - -21. Let a = y - -1/4. Is a greater than or equal to 1/2?
False
Let j be (-3 + 5)/(6/15). Let c = j + -5. Suppose c = -2*n - 2*n - 32. Which is smaller: n or -9?
-9
Suppose -4 = -0*h - h. Suppose -4*o + h*t + 12 = -0*o, -2*o = 3*t - 6. Let y be o/(-15)*(-45)/6. Which is smaller: 2 or y?
y
Let n = -1067/84 + 79/7. Which is smaller: n or -2?
-2
Let d = -4 - -9. Suppose -d*t - 4*f = 109, 5*t + 3*f = -0*f - 108. Let b be 13/t - 5/(-15). Which is smaller: b or -1?
-1
Let x be 16264/1216 - 6/16. Let t = 37 + -26. Which is smaller: x or t?
t
Let p = -1435/4 - -358. Let o be 5/(-6) + (-6)/(-4). Which is bigger: o or p?
o
Let j = 1571 - 1537. Which is smaller: j or 28?
28
Let s = 15 + -6. Let i be (-12 + -1)/(21/(-42)). Suppose -3*w + 4 = -i. Which is bigger: s or w?
w
Let b = 35.8 + -43. Let p = b + 1.2. Let s = 3 + p. Is 2/5 at least s?
True
Suppose 2*a - 2*y - 72 = 0, 3*a - 2*y - 132 = -5*y. Suppose -a = -z + 12. Is z >= 54?
False
Suppose v - 9 = -2*v. Suppose 3*r = -v*w + 3, -2*w - 5*r + 6 = -8. Let u = -4 + 2. Do u and w have the same value?
False
Suppose b = -0*b + 12. Suppose -3*o - 5*n - b = 1, -4 = 2*n. Which is smaller: o or 1/3?
o
Let i(l) = -l**3 + 3*l**2 + 3*l + 5. Let x be i(4). Let n = 798 - 5585/7. Which is bigger: n or x?
x
Suppose 2*d - 7*d = -20. Suppose 0*i - 9 = 3*i - 3*n, d*n - 13 = 5*i. Which is bigger: i or -3/4?
-3/4
Let y be (-14)/(-4)*30/35. Suppose -2*k + 9 = 3*m, m - y*k - 19 = -m. Suppose 3*i + 3 = 3*s, -m*i + 0*i + 3*s = -3. Is i at most as big as 2?
False
Let c be (91/14)/(-13) + (-15)/(-54). Is -68/5 at least as big as c?
False
Let x(g) = g**2 - 2*g - 1. Let n(y) = y**3 - 4*y**2 + y - 4. Let d be n(4). Let k be x(d). Which is greater: -4 or k?
k
Let g = -365 + 364. Is 11.7 less than g?
False
Let p = 66 + -65.92. Do p and -9 have the same value?
False
Suppose 5*z + 2 = 3*j - 30, 24 = -5*z + j. Let t be (2/z - 0)*(-66)/55. Is t at most as big as 19?
True
Let i(z) = 3*z**3 + 21*z**2 + 20*z - 45. Let h(s) = 13*s**3 + 84*s**2 + 81*s - 180. Let d(u) = 2*h(u) - 9*i(u). Let k be d(-20). Is k less than or equal to 4?
False
Let l be (10 - 11064/1106)/(8/(-14)). Which is smaller: l or 1?
l
Let h(j) = -3*j - 16. Let o be h(-6). Let w be (o - -866)/(-1) + -2. Let v = 86128/99 + w. Which is smaller: v or 0?
v
Suppose 0 = -12*o + 427 - 307. Which is greater: o or -84?
o
Let b(z) = -z**3 - 6*z**2 - z + 17. Let a = -59 - -54. Let n be b(a). Which is smaller: -13/6 or n?
n
Let o = -84 + 86. Let a(x) = 3*x**3 + 2*x**2 - 4*x + 3. Let b be a(o). Is 27 != b?
False
Let b be (21/(-14))/(2/(-12)). Let l(r) = -r**2 + 9*r - 1. Let n be l(b). Let d = 0.38 + -0.38. Is d != n?
True
Let q be (-81)/(-6)*4/(-10). Let w = 417/80 + q. Which is greater: 0 or w?
0
Let h be (-2)/(-5) - ((-1016)/(-40) + -10). Is h smaller than -198/13?
False
Suppose 193*c + 6 = 199*c. Is c >= -4/249?
True
Let w be 2/5*-1 + (-36)/24. Is -2 > w?
False
Suppose 2*m - o = -50, 15*o - 12*o + 103 = -5*m. Which is bigger: m or -28?
m
Suppose 3*x + 3 = 3*o - 3, 2*x = -5*o + 3. Let i be -9 - -2 - ((o - 1) + -3). Is -1 greater than i?
True
Let k = 2650 - 1484003/560. Is k smaller than 0?
True
Let c = 51 + -50.97. Let j = -14.03 + c. Is 1 > j?
True
Suppose -2*w - 4*f - 3 = 97, -f - 112 = 2*w. Which is smaller: 4 or w?
w
Suppose 4*i - 36 = -4*b, -2*i + 3 = -0*i - b. Suppose i*o + 16 = 6*o. Suppose -2*q - o = -0*q. Which is smaller: q or -3?
q
Let c = 162 + -206. Let x be c/(-6)*(-9)/(-6). Do -4 and x have different values?
True
Let s = -1 - -53. Suppose -4*k + 4*v + 80 = -0*v, 3*k - v = s. Let i = 20 - k. Which is smaller: 3 or i?
3
Let k(d) = 2*d**2 + 46*d - 4. Let m be k(-23). Let z be m/(-6) - 30/(-63). Is 1 equal to z?
False
Let q be -7 + 3 + (0 + 2 - 50). Is 1 <= q?
False
Let h be 1 + 20*(0 - 1). Let f be (-208)/10 + ((-1)/55 - 30/165). Does f = h?
False
Let x(z) = 2*z + 18. Let g be x(-9). Suppose -3*o + g*o + 13 = -4*a, -4*a - 17 = o. Which is smaller: -1/23 or o?
o
Let r = -169 - -167. Does r = 25?
False
Suppose -12*g = -18*g. Suppose 0 = -2*b - 0*b - 3*p + 14, -3*p + 7 = -5*b. Is b less than g?
False
Suppose -d + 3*d + 13 = -3*f, 22 = -5*d - 4*f. Let t be d/2 - (-9)/12. Which is smaller: t or 0?
t
Let q be ((-19712)/(-40))/(-8) - 6. Which is smaller: -67 or q?
q
Let d be 3/(15/6 + -1). Let q be (-254)/(-9) - d/9. Suppose -3*l - 18 = l + 3*w, -5*l = w + q. Which is greater: -7 or l?
l
Suppose 0 = 47*c - 53*c - 72. Let w(l) = -3*l + 6. Let b be w(6). Is c greater than b?
False
Let v(j) = 12*j**2 - 33*j + 152. Let a be v(6). Which is bigger: 387 or a?
387
Let y = -4890 - -4837. Let w = 2 + -1. Which is smaller: w or y?
y
Let y be 3/(-23*(-1)/(-1)). Let p(f) = -4*f - 24. Let o be p(-6). Which is greater: o or y?
o
Suppose -4*b + 8*b = 12. Suppose -10 = b*n - 8*n. Suppose -n*u = -i + 2*u + 12, -2*u - 6 = -4*i. Which is smaller: -6/11 or i?
-6/11
Suppose 6*h + 2 = 8*h. Let q(d) = 4*d**2 + 3*d. Let l be q(-2). Let p = l - 7. Is h bigger than p?
False
Let a = 21 + -18. Suppose 0 = -a*j + 6*j. Is j equal to 7/5?
False
Let m(x) = -4*x - 14. Let g be m(-13). Suppose 2*q - 2*o = o - 39, 2*o = 2*q + g. Is -18 bigger than q?
False
Let t be 51 + (-1 - 1*-2). Suppose 83 = -8*f + 275. Let h = t - f. Is h <= 27?
False
Suppose -5*n - 5 = -5*p, n + 4*n + 5*p = 35. Suppose -u + 5 = 4*v - 3, 3*v - 15 = -n*u. Let s = 318/145 + 6/29. Is v <= s?
True
Let i be 0 + (-6)/((-54)/33). Let f = 19/6 - i. Is 0.17 < f?
False
Let g = -13 - -100. Let d = g - 86. Is -10 smaller than d?
True
Let x(t) = -t**2 - 4*t + 6. Let u be x(-5). Suppose 0 = -7*c - 291 - 339. Let s be 6/(-12) + (-49)/c. Is s >= u?
False
Suppose 2*g + 5*p = -14, -4 + 1 = -g - 5*p. Let y = -54 - -37. Is g at least as big as y?
True
Let r(t) = t**2 - 9*t + 13. Let g be r(8). Suppose -18 = y + 2*y. Let h = y + g. Are -1 and h unequal?
False
Suppose -55 = -5*i - 0. Suppose i + 9 = 4*q. Suppose 5*n = 0, 3*n + 0 = -q*v - 5. Do v and -1 have the same value?
True
Let a(n) = 2*n + 4. Let v be a(-4). Let i = -10 - -12. Suppose 8 + 4 = -i*q. Which is smaller: q or v?
q
Let m(a) = -a**3 - 29*a**2 + 100*a + 58. Let b be m(-32). Are b and -496/7 equal?
False
Let o be 1 + 2/((-22)/449). Let k = o + 27605/693. Which is bigger: 1 or k?
1
Let b(i) = 5. Let y(v) = -v - 6. Let k(r) = 6*b(r) + 5*y(r). Let a be k(2). Which is greater: -12 or a?
a
Let t = 27 - 41. Let x = 13.9 + t. Which is smaller: 2/27 or x?
x
Suppose -c + 3*j + 65 + 468 = 0, 0 = -5*j. Is 531 at least as big as c?
False
Suppose -5*g - 3*b = 2, -4*b - 16 = -4*g - 2*b. Let s = 3 - g. Let z be (-31)/(-31)*(-18)/(-10). Which is bigger: z or s?
z
Suppose 0 = 325*m - 334*m + 5184. Which is smaller: m or 575?
575
Let b be ((-3)/(-9))/(7/21). Which is bigger: b or 3/26?
b
Suppose 3*x - 7*x = 32. Let q be 5/20 - 142/x. Let g be (0 + 1)*(-4)/q. Which is bigger: g or 1?
1
Let q = 74 - 71. Is q less than -9?
False
Let y = 257/21979 - 2/2127. Is -0.2 at most y?
True
Suppose -7 = -3*s + 2*b, -2*b = -5*s + s + 8. Suppose 0 = -o + q - 0 + 2, -3*q = -2*o + 3. Let i be o/((-153)/(-2))*-9. Is i > s?
False
Let x(m) = -12*m + 36. Let a be x(3). Is a less than or equal to -1/11?
False
Let o(j) = j + 9. Let l be o(-8). Let v = 11.98 - -4.02. Which is smaller: l or v?
l
Let w be 5*(-778)/(-790) + -5. Which is greater: 0 or w?
0
Let f be (-12)/14*7896/(-1833). Does f = 4?
False
Let g = -86 - -619/7. Are 3 and g equal?
False
L