/49 - 2499. Suppose -2*c = f + 8, 3*f + 4*c + 8 = 2*c. Do f and r have different values?
True
Let p = 10.5 + -10. Let z = -2.3 + p. Let y = z + -6.2. Which is smaller: 0 or y?
y
Suppose -17*k = -14*k - 81. Suppose 2*y - k - 5 = 0. Which is bigger: -1 or y?
y
Let b = 20.8 - 20.6. Which is smaller: 0.3 or b?
b
Suppose 5*q + 57 - 82 = 0. Let f(w) = -3*w**3 + 2*w**2 + w. Let l be f(-1). Let g be (q + -6)*l/(-18). Is g at least 1?
False
Let u be 1/(-3) - 403/(-741). Let t = 21 - 20. Which is smaller: u or t?
u
Let x(n) = -n - 7. Let q be x(-5). Let f be 0 - (1 - (0 - q)). Let s(c) = -c**3 - 6*c**2 + 3. Let v be s(-6). Is f >= v?
False
Let t be 5 - 3*(-1)/(-3). Suppose 0 = t*h + q + 29, 3*q + 32 = -4*h - q. Do h and 1 have the same value?
False
Suppose -652 = -5*k - m, 3*k + 3*m - 136 = 2*k. Suppose a + k = 6*a. Which is smaller: 25 or a?
25
Let u be (28/(-12))/((-1)/3). Suppose 0*j - 602 = u*j. Let p = 341/4 + j. Which is greater: -2/3 or p?
-2/3
Let w be 2961/12 + 3/12. Let y be (-1)/5 + w/(-65). Let u = 34 + -38. Are y and u equal?
True
Suppose 4 = -2*k, 0 = -y + k + 5 - 1. Suppose 2*l + 4*p - 8 - 2 = 0, y*l - 2*p = 4. Suppose l*f - 4*d - 11 = 0, -2*d = 3*f + d + 24. Which is bigger: f or -2?
-2
Let l(i) = -i**3 + i**2 + i - 26. Let s be l(0). Let z be s/(-12) - (-5)/(-30). Suppose 0*b + z*b + 4*h = -22, 4*b - h = -8. Which is smaller: b or -1?
b
Let r = -20 - -22.2. Let n = r + -0.2. Which is greater: 9 or n?
9
Let i = 68.971 + -69. Let k = i + -3.971. Is 2/31 smaller than k?
False
Let c(f) = 6 - 3*f - 3*f**3 + 2*f**3 - 4*f**2 - 4 + 3. Let h be c(-4). Let m = h + -18. Do 6 and m have the same value?
False
Let y(q) = -q**3 + q**2 + 5. Let v be y(0). Which is bigger: v or 1/34?
v
Let f(h) = 170*h - 75. Let o be f(0). Which is smaller: o or -69?
o
Let q = 108.4 - 108.5. Is 13/6 bigger than q?
True
Suppose 12*b = 2414 + 2986. Which is smaller: b or 451?
b
Let g = 31 + -29. Is 2 >= g?
True
Let h = -231 + 223. Which is greater: -13 or h?
h
Let h = -412 + 2061/5. Which is greater: h or -5/12?
h
Let k = 8.3 + -1.5. Let l = k + 5.2. Is -2 greater than or equal to l?
False
Suppose -2*g = 2*b + 32, 3*b - b = -6. Let u = g - -12. Let m be u - (-3 - -4) - -2. Do m and 3/11 have the same value?
False
Suppose 52*q = 4*i + 57*q - 383, -4*q + 388 = 4*i. Which is smaller: 101 or i?
101
Let a = 65 - 30. Let s = 0.25 - 0.15. Is a at least as big as s?
True
Suppose 2*d = 95 - 25. Let y = d - 33. Which is smaller: 1/4 or y?
1/4
Let s(x) = x + 32. Let a be s(-14). Suppose 4*t - a = 14. Which is smaller: t or 13?
t
Let p = -7423 + 1076331/145. Is -1 <= p?
True
Let d = -6 + 1. Let a be (-5)/2 + (d - -7). Let f be 0/((-1)/((-3)/(-6))). Which is smaller: a or f?
a
Suppose 0 = -a - 53 + 251. Let u be 87/a + 1/(-2). Let z = -64 - -65. Is u >= z?
False
Let t(o) = -o + 24. Let k be t(17). Suppose 0 = i - 2*f - 3*f - 6, -5*i = -2*f - k. Let u be (-2)/(-4)*12/9. Is i != u?
True
Let k = -1193/84 - -57/4. Which is greater: k or -2?
k
Suppose 3*y + 3*p - 12 = 0, -y - 3*p + 5 = 3. Suppose -32 + 7 = -y*k. Suppose -5*c + 2*c + a + 4 = 0, k*c = -a + 12. Which is smaller: 3 or c?
c
Let g = -9.2 - -8.9. Suppose 5*j + 7 + 23 = 0. Let q be j/(-12)*8/(-6). Is q != g?
True
Let h(j) = j**2 + 5*j + 12. Let f be h(-5). Suppose -4*v = -5*k + 15, -4*v + 2*k - f = -2*k. Suppose v*m = m - 2. Are 3/4 and m nonequal?
True
Let g(p) = -2*p**3 + 43*p**2 - 29*p + 3. Let h(w) = -w**3 + 21*w**2 - 15*w + 1. Let d(j) = 2*g(j) - 5*h(j). Let r be d(18). Which is bigger: -16 or r?
-16
Suppose -5*t = 4*r - 2*r - 20, t = 4. Suppose r*q - 5*d + 15 = -4*q, 5*d = 5*q + 15. Suppose 0*u - 1 = u. Is u less than q?
True
Let r = 183 + -303. Is -1 <= r?
False
Let l = -0.01 + 0.08. Let t = 3605/9 - 401. Which is smaller: t or l?
t
Let u = 1.11 + 0.89. Is u smaller than -16?
False
Let m be (0 - -8 - 0) + -2. Let q = m - 4. Let h be (1/2)/(1/2). Is q greater than h?
True
Suppose 3*c - 45 = -3*z, -8*z - 3*c = -8*c - 120. Which is smaller: 14 or z?
14
Let a be (-1)/(39/(-12) - -3). Let n be (8/68 - 81/255)/1. Which is smaller: n or a?
n
Let i(y) = -y + 14. Let k be i(0). Suppose 0 = 5*j + 2*z + k + 1, -5*z - 27 = 2*j. Let a be 6/8*j/3. Which is smaller: a or 0?
a
Suppose 2*t = -4*a + 56 + 20, t = 2. Let c = a - 18. Let m be 2 - (3/(-15))/((-56)/805). Is m equal to c?
False
Let u be (-166)/5 - (-17)/85. Let h be u/(-22)*(4/(-1))/2. Which is smaller: -7/4 or h?
h
Let d be (-8)/30*2/8. Let s(y) = 2*y - 39. Let m(c) = 23*c - 4. Let l be m(1). Let w be s(l). Is w at most d?
True
Let w = 3815.95 - 3904. Let l = w - -88. Which is bigger: -0.3 or l?
l
Let i = -51.8 + 49.08. Do i and 1/2 have the same value?
False
Suppose -2*p - 2*o = -10, -13 = -4*p - p - 2*o. Is -16.89 less than p?
True
Let a be (-95)/15 - (-1 + 0). Let s = a + 5. Which is bigger: s or 0?
0
Suppose 0 = -2*y - 22 + 20. Let h = 281/17 + -17. Which is greater: h or y?
h
Suppose -9 + 4 = -o. Let v = 5 - o. Let z be ((-16)/(-6) + -3)*v. Is -4 at least z?
False
Suppose -m = g + m - 44, -3*g + 167 = -m. Let d = 52 - g. Let l be 2 - (2 - (1 + -2)). Is l equal to d?
False
Suppose 3*j - 10 = -2*r, -j + 0*r = 2*r - 2. Suppose -18 = k - j*k. Let s = 9 + k. Is 15 >= s?
True
Suppose 5*z = -l - 47, -2*z + 7*z = 3*l - 59. Suppose 2*k + 3*a = -6, 5*k + 98 = 5*a + 33. Is k at most z?
False
Suppose u = -3*m - 349, -173 = 3*m - u + 168. Is m != -115?
False
Suppose 0 = -2*z - 50 + 52. Is z bigger than 11/19?
True
Let u = 2766 - 2725. Suppose 3*y + 2*y = 205. Is u >= y?
True
Let n = -27 - -28. Let d be 0/(-1) - (5/15)/n. Is d < -1?
False
Suppose 9*u - 121 = -49. Which is smaller: u or 10/27?
10/27
Suppose -p - 20 = -5*p. Suppose 2*a + q - 44 = -q, -p*q = -a + 10. Do 20 and a have different values?
False
Let y = 8 + 0. Let n be 7 + 4 + y/(-2). Let p = n + -5. Is p greater than or equal to 5/2?
False
Let g = -83 - -84. Let x = -1795/6 - -300. Are x and g nonequal?
True
Let x(k) = -k**3 + 15*k**2 + 16*k - 24. Let i be x(16). Let m = 16 + i. Which is smaller: m or -11?
-11
Let p = -0.2 + 1.2. Let l = -2 + p. Let k be 69/(-690) + 2/20. Which is smaller: k or l?
l
Suppose -2 = -5*m + 2*j, -2*m + 31 = 2*j + 33. Let v = -28 + 19. Is m smaller than v?
False
Let l(k) = 168*k + 160*k - 326*k + 28. Let j be l(-17). Let z be ((-6)/(-1))/(-1) + 1. Which is smaller: j or z?
j
Let g(b) = 63*b**3 - b. Let l be g(1). Suppose 6*n + l = 254. Is n at least as big as 32?
True
Suppose 3*j + 9 = 3*d - 15, -4*d - 31 = 5*j. Let i be (-12)/4 + 6 + (0 - 13). Which is bigger: j or i?
j
Suppose l = 2*v + 21, 0 = 2*l - 0*l + 2. Do v and 0 have different values?
True
Let i = -12 - -21.8. Is i < -1/4?
False
Let g = -2 + 11. Suppose 3 = 3*m, -28 = -4*l - 3*m - g. Let j be 0 + -3 + l + -1. Do j and 2/19 have different values?
True
Let s = 234 + -1172/5. Is -2/37 at least s?
True
Let y be (1 + -2 - -10)*1. Let q(s) = s**3 + 16*s**2 - 82*s - 41. Let j be q(-20). Which is bigger: j or y?
y
Let w be -10 - (-2)/4*0. Let g be w*(-14)/(-4)*-4. Let o be 6/(-14) + 18/g. Are -1 and o non-equal?
True
Let b = 354.022 + -354. Which is smaller: b or -12?
-12
Let b = 105 - 99. Suppose b*q - 16 = 2*q + 4*n, 5*q + 10 = -n. Is q smaller than -6/23?
True
Let w = -2859915453221/55981 - -51087252. Let j = w + 3/629. Which is greater: j or 1/4?
1/4
Let c(l) = -42*l + 18. Let v be c(-6). Let h = 1085/4 - v. Which is greater: -1 or h?
h
Let b be 2/(-1) - 29/(-13). Let g be (-1)/((-117)/15)*18/(-16). Let m = b - g. Which is smaller: m or -1?
-1
Let m be (3/2548)/(70/280). Is -1 equal to m?
False
Let p = -302 - -429. Which is smaller: p or 126?
126
Let y(g) = -2*g + 22. Let k(v) = v**2 - 7*v - 4. Let i be k(8). Suppose -54 = -i*s - 10. Let u be y(s). Are -1/5 and u unequal?
True
Let q(h) = -h + 4. Let t be -5 - -2 - -2 - (2 - 5). Let g be q(t). Which is bigger: g or 11/13?
g
Let t be (-5)/(-30) - 353/(-6). Let y be (-3)/9 + t/159. Which is greater: 0 or y?
y
Let u = -10.1 + -0.9. Suppose 21 = 2*x + 7. Suppose -x*q + 2*q = -4*d - 5, -d + 4 = 4*q. Are u and d equal?
False
Let x be (-2)/6 + (-2)/6. Suppose 4*o = 4*m + 908, 0*o = o - 4*m - 242. Let l be -3*1 - o/(-78). Which is smaller: x or l?
x
Let o(u) = -3*u**2 - 41*u - 60. Let s be o(-12). Which is bigger: s or 1/109?
1/109
Let l = 16/73 + -1743/292. Let t be (-6)/(2 + 0) + (-5 - -2). Which 