et u(g) = -g**2 + 11*g - 6. Let x be u(10). Suppose 2*m - 8 = -x. Are 2 and m unequal?
False
Let m be ((-4)/6)/((-4544)/(-2232) + -2). Let t = -19 - m. Is t smaller than 1?
True
Let p = 56 + -225/4. Let u = -73 - -73. Which is smaller: u or p?
p
Let u be 8 + -3 - (-406 - 1). Do u and 410 have different values?
True
Let z = -0.0251 - 0.9869. Let t = -0.012 - z. Which is smaller: t or -69?
-69
Let h(l) = -198*l - 8. Let n be h(3). Do n and 2/7 have different values?
True
Let l = -427 + 750. Let m = 325.93 - l. Let v = m + 0.07. Which is smaller: v or 0.3?
0.3
Suppose 0 = 5*n - 4*t - 1, -16 + 7 = -5*n - 4*t. Let a = 20 + -20. Suppose 5*f + 5*k - 57 + 7 = a, 5*f = -k + 42. Is n at most as big as f?
True
Suppose 4 = 5*a - 6. Suppose -h = -4*n + 39, -3*h + 12 = a*n - 11. Suppose 2*t - 7*t + n = 0. Is 0 >= t?
False
Let f(q) = -q**3 + 4*q**2 + 2*q - 15. Let z be f(4). Is z smaller than -39/5?
False
Let g be 52/10 + 4/(-20). Suppose g*k - k = 64. Let r be 3/2 - 40/k. Which is greater: r or -3/10?
-3/10
Let q = -186 - -185. Which is smaller: q or 3/82?
q
Suppose 0 = -3*d + 7 + 5. Suppose -5*i + 10 = 5*z, -5*i - d*z + 2*z + 19 = 0. Let l(m) = -2*m - 10. Let s be l(-8). Are s and i unequal?
True
Let p(d) = -9*d**2 - 22*d - 1. Let v(n) = 4*n**2 + 11*n + 1. Let t(l) = 6*p(l) + 13*v(l). Let u be t(6). Are u and 1/87 nonequal?
True
Let i = -0.01 + 4.01. Let u = 1225 - 1223. Which is greater: u or i?
i
Let n = 637 - 636.9. Which is smaller: n or 5/21?
n
Let f be (-8)/12*3 - -14. Let q = -132 - -131.9. Are f and q unequal?
True
Suppose -3*y - 19 = y - 5*p, 0 = 3*y - p + 6. Let b be (y - (9/14 + 0))*2. Which is greater: -4 or b?
b
Let j = -8 - -22. Let f be (-4695)/6608 + 4/j. Let m = f + 14/59. Which is smaller: 0 or m?
m
Let w be (-42)/1734*40/28. Which is smaller: -1 or w?
-1
Let k = 37 - 25. Let t = k + -14. Let z be (t/(-12))/(10/(-40)). Is -6 at most z?
True
Suppose -3*c + 13 = n + n, 4*c - 20 = -4*n. Suppose -4*h + 3*g - 6 = 0, h - 5*h + g = n. Suppose l + 1 = -h*l. Is 4 >= l?
True
Let p = -636 + 638. Is 2 smaller than p?
False
Let n = 17 - -13. Let f = n - 29.6. Are f and -2 equal?
False
Suppose -3 - 2 = 5*t + 4*n, 0 = -5*t - 5*n - 5. Which is bigger: t or -8/13?
-8/13
Let t be (-3)/(-16)*(-8574)/711. Let k = -9/79 + t. Let j = -117/56 - k. Is -1 >= j?
False
Let f = -21518104133/115 - -187112342. Let g = f - -1607. Do g and -1 have different values?
True
Let m = 2/4769 - 33487/247988. Which is smaller: -1 or m?
-1
Suppose 5*r - 706 + 46 = 0. Suppose -4*d + r = 4*h - 44, 3*h = 5*d + 92. Which is greater: h or 38?
h
Suppose -66*c - 1752 = -6108. Is c greater than or equal to 66?
True
Let d = 7793/10 - 780. Do -1 and d have different values?
True
Suppose 0*x = 5*f + 2*x + 12, -2*f - 4*x = 8. Let o be f/(-5) - (-365)/25. Which is smaller: 13 or o?
13
Let q = 57 + -32. Suppose 9*g - q = 4*g. Suppose -2*w = g*l + 72, 23 = -3*l + l + 5*w. Is -14 bigger than l?
False
Let z = 1411/118374 + 1/543. Is -0.1 smaller than z?
True
Let q be 1 + -3 + 0 + 3. Let i be (q - 0) + (13 - 14). Let x be ((65/26)/((-2)/4))/(-9). Is x <= i?
False
Let p be (59 - 1 - (1 + 1)) + 1. Let k = 56 - 55. Which is smaller: p or k?
k
Let d(t) = -6*t - 176. Let z be d(-34). Which is smaller: z or -2?
-2
Let l = -5.72 - -5.78. Is -11 at most as big as l?
True
Let a be (-19 - (1 - 2))/((-42)/987). Is 423 <= a?
True
Let i(c) = -2 - 4*c + 3 - 6 + 5*c. Let j be i(5). Let x be 2/4*(-4)/26. Which is smaller: x or j?
x
Let u = 0.22 - -2.18. Let t = u + -2.5. Which is greater: t or -0.05?
-0.05
Let h = 404 - 403. Let d = 4 - 3. Is h smaller than d?
False
Let n(u) = u**3 + 33*u**2 + 90*u + 25. Let a be n(-30). Which is smaller: a or 220/9?
220/9
Let n = 38 - 39. Let s = 5 - 5. Let x be 3*(s + (-3)/(-45)). Is x > n?
True
Suppose -126 = -3*g - 6*g. Which is greater: 12 or g?
g
Let b be ((-4)/5*(-5)/2)/8. Let f = -0.56 - -37.56. Which is bigger: b or f?
f
Let n(s) = -1213*s**3 - s**2 - 2*s. Let p be n(-1). Let h = p - 78912/65. Which is smaller: 1 or h?
h
Let c = -0.94 - -1. Let s = -17 + 14. Is s > c?
False
Let f be 16/(-10) - (-315)/175. Let k = -3/47 + -23/376. Which is bigger: k or f?
f
Suppose 0 = 10*n - 3*n - 49. Suppose 5*u = 5*k - 5, -3*k - n*u + 38 = -3*u. Which is bigger: k or 8?
8
Let b be ((681/(-6))/1)/((-1)/2). Is 228 greater than b?
True
Let q = 3 - 4. Let r be (-5)/(-15)*3*2. Suppose -r*n - 10 = -2*z + 7*z, -n = 3*z + 6. Which is smaller: q or z?
z
Let z = -16 + 16. Let m be (-1)/(-2) - 205/(-30). Let n = -139/21 + m. Is z > n?
False
Let r = -1.339 - -1.239. Suppose -1 = s - 12. Which is smaller: s or r?
r
Let w be 2/8 + 15/20 + -14. Let f = w - -16. Is 24/7 < f?
False
Let a(l) = 14*l - 21. Let n be a(4). Are n and 35 non-equal?
False
Let a = 2779/247 + 137/19. Which is smaller: a or 17?
17
Let u = -191 + 186. Does 0.018 = u?
False
Let q(l) = -5*l - 31. Let i be q(13). Let j = i - -87. Which is smaller: -7 or j?
j
Let v = -102/287 + -3/41. Is v less than or equal to -3/5?
False
Let z be (-65 - 2)*((-35)/5)/(-49). Are z and -10 nonequal?
True
Suppose 0 = -3*l + 32*l + 203. Is -5 > l?
True
Let x = -42 - -55. Let t = 5 - x. Which is smaller: -6 or t?
t
Let k be (-8)/68 + (-45)/51. Let m(j) = -j + 1. Let w be m(k). Is 26/9 greater than or equal to w?
True
Suppose -220 = 2*d + 5*x, -28 - 313 = 3*d + 2*x. Which is greater: 1/2 or d?
1/2
Let q be (-8)/(-60) + 18/(-54). Is 20 > q?
True
Let z = 35 - 38. Let u be z + (-2 - (1 - (-60)/(-8))). Let t be 9/4 - 3/12. Is u at least as big as t?
False
Let u(q) = -10*q - 199. Let r be u(-20). Which is smaller: r or -7/76?
-7/76
Suppose 2 = -2*k + 8. Let y be 3/(2/4*3). Is y smaller than k?
True
Let u = -69 + 75. Let z be 3/(-2)*u/9 + -84. Is z > -85?
False
Let d be 5 + (-4704)/(-528) + 1/11. Is d > 6?
True
Suppose -c = 3*l - 1 - 6, l = 3*c + 9. Let x be -3 + 3 - l/(-1). Suppose 0 = -x*a + 6 - 0. Which is smaller: a or 2/3?
2/3
Suppose 0 = 4*h + 32 - 48. Suppose 2*a + h*a = 2*a. Let c be (-2)/(-4)*(-4)/5. Is c not equal to a?
True
Let u(h) = 4*h**2 - 13*h - 14. Let g be u(5). Which is smaller: g or 43?
g
Let g = -447 - -481. Is 35 bigger than g?
True
Let g = -682 - -683. Let k = -1 + 5. Is k not equal to g?
True
Let n be ((-3)/(-12))/(5/((-40)/823)). Is n smaller than 0?
True
Suppose g - 2 = 11. Let h be 4 - 1 - (-3 - g). Is 19 at least as big as h?
True
Let c(a) = -a**2 + 14*a + 38. Let o be c(16). Let b(q) = q**2 - 2*q - 24. Let p be b(o). Is p < -1?
False
Let w = 487 + -464. Let z = -7 + 33. Which is greater: z or w?
z
Suppose 4*n = 6*n - 2. Suppose 0 = g - 0*g + n. Let s be (g - 18/3) + -1. Is s greater than -9?
True
Let q(t) = 13*t**2 + 10*t - t**3 - 11*t + 18 + 0*t**3. Let s be q(13). Suppose 14 = s*c - 1, 5*c - 14 = a. Is a less than -1/14?
False
Suppose -7 = -2*l + 3*l. Let q = 2 - l. Is 9 bigger than q?
False
Suppose -166*p + 172*p = -36. Let m be 5/(-20) - 2/(-8). Let n be -6 + (0/1 - m). Is p greater than n?
False
Suppose 3*h = 3 - 0. Suppose -5*x - 15 = 5*w, 2*w = 4*x - 20 + 8. Let u = h + x. Which is smaller: 0.1 or u?
0.1
Let t = -21/23 - -678/667. Let y(v) = -v**3 - 10*v**2 + 10*v - 11. Let o be y(-11). Which is bigger: o or t?
t
Let y = 831 + -1056. Which is smaller: y or -226?
-226
Let g be (2/6)/(1/51). Let m(f) = 5*f - 43. Let o be m(10). Let q be 3/o - g/7. Which is greater: q or -12/11?
-12/11
Let u = -0.13 - 7.87. Let v = -8.7 - u. Let w = -0.3 + v. Is w at least as big as -9?
True
Let i(w) = 27*w**2 + 8*w + 5. Let l be i(3). Let j be (l/(-55) + 5)*5/(-2). Which is bigger: 0 or j?
0
Let c(i) = i**2 - 8*i + 7. Let y be c(7). Suppose 4*l + 8 + 16 = y. Let x = -12 - l. Is x bigger than 1?
False
Suppose -x = 3*b - 4, 3*b = -3*x - 2*x + 20. Let z(y) = -y. Let g be z(b). Let j be ((-1)/4)/((-6)/(-16)). Which is greater: j or g?
g
Let b be (2/2)/((-3)/(-6)). Let c be (b/6)/(115/(-30)). Is c smaller than 0?
True
Let x = -6.9 + 7.1. Let t be 34/(4*(-5)/10). Which is bigger: x or t?
x
Let a be 9/(-6)*524/(-27). Is a not equal to 30?
True
Let w = -48.8 - 13.2. Let h = -61 - w. Which is smaller: -38 or h?
-38
Suppose -125*o - 1249 = -123*o - 3*l, o - 2*l + 622 = 0. Are -633 and o unequal?
True
Suppose 6*h = -37*h + 13 - 142. Let k(r) = -3*r**2 + r + 1. Let l be k(-1). Is l > h?
False
Suppose -4*h + 101 = r, -5*h - 4*r + 5 + 135 = 0. Let v be (