l to 250?
True
Suppose -97*q + 102*q - 2*c = -1955, 0 = -5*q - 4*c - 1985. Which is smaller: -392 or q?
q
Let c = -35 - -34. Which is smaller: 4/117 or c?
c
Suppose 24*u - 352 = -1192. Which is greater: u or -31?
-31
Let o = 460 + -460. Does o = 14/71?
False
Let b(h) = -h**2 + 3*h - 5. Let f be b(3). Let g(v) = v**2 + 8*v - 6. Let r be g(-9). Suppose -y = r*y + 20. Is f at least as big as y?
True
Let h(o) = -o**2 + 7*o + 2. Let x be h(7). Suppose 0*a = x*g + 5*a - 35, 4*a + 4 = 0. Suppose 4*p + 30 = f + f, f - 3*p = g. Does 2 = f?
False
Let p = -1105 - -7737/7. Which is bigger: p or -0.147?
p
Let b = 3 - 2. Let p be ((-4)/(-64))/(b/4). Does p = -5?
False
Let y be ((-18)/8)/(254925/20241240). Let v = -1272/515 - y. Let z = -176 + v. Which is smaller: z or 0?
0
Let t(z) = -2*z - 18 - z**3 - 7*z**2 + 8*z**2 + 5*z**2. Let v be t(5). Which is bigger: -1 or v?
-1
Suppose -3*x = u + 8, 5*x - 2*x - 2*u + 11 = 0. Let k = -6.4 - -6. Is x at most k?
True
Suppose -l + 5 - 1 = 0, 0 = i + 2*l - 8. Which is smaller: i or 4/53?
i
Suppose 0 = 59*x - 6481 - 422. Are 469/4 and x equal?
False
Let m be (-11 + 0)/(-55) + (-3)/15. Which is smaller: m or 42/95?
m
Let o = -9686/3 - -3297. Which is bigger: 67 or o?
o
Let i = -14 - -8. Let s(z) = z**3 - 3*z**2 + 2*z - 2. Let f be s(2). Let c(k) = 2*k - 1. Let b be c(f). Is i != b?
True
Let z be ((-45)/(-6))/((-13)/(-26)). Let k = -5 - -8. Which is bigger: k or z?
z
Let u = -1210 - -52028/43. Which is bigger: 0 or u?
0
Let k(i) = i - 2. Let c be k(-6). Let g = 18 + c. Let m be (g/2)/(35/5). Is m at least 2?
False
Let v = -111.49 + 1.49. Let a = -81 - v. Is -2 equal to a?
False
Suppose -z + 2*l + 119 - 153 = 0, -88 = 3*z + l. Is z greater than or equal to -9?
False
Let z(a) = 31*a. Let i be z(-3). Does 2 = i?
False
Let w be (390/(-12))/13*(-8)/12030. Let m = 1610/3609 - w. Is 1 at most m?
False
Suppose 4*q - 10 = 94. Let w be 8 - (34/8)/(22/(-88)). Which is smaller: q or w?
w
Suppose -t - 3*t = -4*q + 72, 3*q - 68 = -4*t. Is 20 at most as big as q?
True
Let w = -32 + 29. Let r be (-14)/(-49) - (-41)/14*w. Are -9 and r nonequal?
True
Suppose -3*o - 4*d + 38 - 4 = 0, 2*d = -3*o + 32. Let x be (11/(-7))/((o/(-4))/5). Is x <= 2?
False
Suppose -5*t - 3*w - 54 + 17 = 0, 2*t = -4*w - 12. Let c be (0 - -12)*-5*t/(-220). Is c at most -3?
False
Suppose b = -2*b + 513. Let a be b*(-2 - 14164/(-7084)). Let i = a + 1/759. Is -1 > i?
False
Let b = 3 + -11/3. Let z = -3010/11 - -274. Which is bigger: z or b?
z
Let x be 173/(-9) + 8/36. Let b = 376 - 396. Which is smaller: x or b?
b
Let z = 31 + -21. Let r = 8 - 5. Let v be r + 6/z + -2. Which is bigger: v or 2?
2
Let j = 45.02 + -72.9. Let n = -28 - j. Is 1 smaller than n?
False
Let k = 121 - 60. Let f = k + -21. Is f >= 39?
True
Let w(h) = -7*h - 65. Let j be w(-10). Let x be (64/40 - 1)/((-4)/j). Let a be 1/(1 + -3 - -1). Is a at least as big as x?
False
Suppose -5*m + 52 = -2*m + x, 2*x + 72 = 5*m. Suppose 2*r - 5*q = -m, r - 2*q = -0*r - 6. Is 4 > r?
True
Suppose 0 = -285*s + 286*s. Which is smaller: 2/2483 or s?
s
Suppose -r + 2*r + 4 = 0. Let f(p) = p**3 + 5*p**2 + 3*p + 4. Let d be f(r). Let b = d + -8. Which is greater: -2 or b?
b
Let c = -8/15 - -103/165. Which is smaller: c or 1?
c
Let s(i) = -i**2 - 2*i. Let a be (0 - 3)/(21/(-14)). Let t be 2/(-4 + a) - 1. Let y be s(t). Are -3/10 and y equal?
False
Suppose -6*h + 10*h = n - 91, 3*h - 4*n = -78. Which is bigger: -396/19 or h?
-396/19
Let u = -475/6 - -3337/42. Does -0.0728 = u?
False
Let t = 206/111 + -44/37. Let n = -0.4 - 5.6. Which is bigger: n or t?
t
Let h = 1.73 - -0.07. Let k = h - 2. Are -0.2 and k equal?
True
Let m = 22 - 35. Suppose 0 = -4*n - 21 - 23. Which is smaller: n or m?
m
Let x be -2*(-16)/(-96) + 1706/(-3). Which is greater: -568 or x?
-568
Let q(j) be the third derivative of 7*j**2 + 1/2*j**3 + 0*j**4 - 1/15*j**5 + 0*j + 1/120*j**6 + 0. Let g be q(4). Is 8/5 smaller than g?
True
Let y = 0.133 + 0.117. Let t = 1.2 - 0.2. Which is smaller: t or y?
y
Let o = -146 - -91. Let h = 56 + o. Which is bigger: h or -3/40?
h
Suppose -24 = 17*g + 7*g. Let z = 94 - 58. Is g greater than or equal to z?
False
Let q = -1.01 - -5.11. Let j = 4 - q. Let a = -247 - -248. Are a and j equal?
False
Let m = 14.06 - 0.06. Let l(t) = t**3 + 17*t**2 + 12*t - 65. Let o be l(-16). Which is smaller: m or o?
o
Let c = 6 + -3. Let d(o) be the third derivative of o**5/60 + 5*o**4/4 + 13*o**3/3 - 43*o**2. Let f be d(-29). Is f greater than c?
False
Let y(s) = -111*s + 15. Let h be y(-5). Let c be h/25 + 3/15. Which is bigger: c or 22?
c
Let j be (1 + -434)*2/40. Let d = j + 108/5. Which is greater: d or 0?
0
Suppose 0*h = -h. Let m = -16/15 - -37/15. Is m less than h?
False
Let k = -4 + 5. Let m = 43/84 - 9/28. Which is smaller: k or m?
m
Let a be (-5)/2*8/(-5). Let o be (-54)/(-12)*a/(-3). Suppose 0 = 5*f - 7*f - 12. Is o <= f?
True
Suppose 9*n - 302 = -41. Let j = n - 7. Are j and 22 nonequal?
False
Let d = -1/66 + 35/132. Let z = 3.271 + -0.051. Let b = 0.22 - z. Which is greater: b or d?
d
Let d be (-21)/(-48)*4872/6. Which is bigger: 355 or d?
d
Suppose -6*u + 3 = -3*u. Let s be ((-56)/(-70) - 152/(-60))/(-1 + 7). Which is smaller: u or s?
s
Let d be 52/(-39)*27/(-2). Let c = d + -15. Suppose -v + 2 = -c*r, 3*r = -0*v + 5*v - 10. Do 7/6 and r have different values?
True
Suppose -m = -0*m. Let a = m + 2. Suppose -a = -3*y + 4, -4*u + 5*y = -14. Is 5 greater than u?
False
Let j = 78431/2490 - -2/1245. Does j = 31?
False
Suppose -5*z = 10*z - 90. Do 1 and z have different values?
True
Let i(g) = -g**2 - g - 2. Let f be i(-1). Let j = -283/3 + 93. Are j and f nonequal?
True
Let j be (-13376)/2028 - 1/(0 - -1). Let r = j - 12/169. Which is greater: r or -8?
r
Let k = 3 + -4. Let n be -13 + ((-5)/(-5) - -2). Let y be (-12)/n - (-3 - -5). Is y at least as big as k?
True
Let f = -1457 - -1438. Which is smaller: -222/11 or f?
-222/11
Suppose c + 247 = 3*g, -5*c - 8*g - 1235 = -10*g. Is c smaller than -247?
False
Let n be (18/24)/(18/(-48)). Let f be 0*1/(-1 - -2). Let z be (-5 - (n - 1)) + f. Does z = 1?
False
Let c = 126 - 7183/57. Suppose 85*i + 61 = 24*i. Is c bigger than i?
True
Let f(a) = -a**3 - 18. Let g be f(0). Let n be g/(-9)*(-2)/4. Which is bigger: n or -8?
n
Let y(c) = c**3 + 7*c**2 + 7*c + 37. Let s be y(-7). Let t be 0 + 18/s*(-104)/3. Is t at least 51?
True
Let d(m) = -14*m - 8. Let v be d(9). Let o = v + 148. Which is smaller: o or -1/4?
-1/4
Let k(f) = -50*f**3 - f**2 - 2*f - 1. Let j = -4 - -3. Let c be k(j). Let h be (c/(-30))/((-4)/(-3)). Is -2/3 at least h?
True
Let r(f) = 18*f + 5. Let a be r(0). Let n be 12/54 - (-52)/9. Are a and n nonequal?
True
Suppose -3*v - 2124 = 4*m - 681, 4*v - 5*m = -1955. Which is smaller: v or -487?
-487
Suppose 0 = -2*s - 4*x - 0*x - 4, 0 = s - 5*x - 19. Let h be -1 - 1 - (1 - s). Which is smaller: 3 or h?
h
Let b = -8 - -11. Which is bigger: 5 or b?
5
Let w be (-36)/(-48) - 93/(-4). Suppose w*v + 1 = 23*v. Is v bigger than 11?
False
Let f = 180.76 - 180. Let c be 1*((-28)/8 - -3). Is c != f?
True
Let i = 12.09 + -12. Let w = 0.71 + i. Which is bigger: w or -1?
w
Let a be 15/3 + 38/(-4) - -4. Are a and 0.4 equal?
False
Suppose 5*p = -3*y - 6, 0*y + 3*y + 6 = -2*p. Let m be y + (-3)/(-6)*-2. Let b be (-9)/(-6)*(-8)/6. Which is bigger: b or m?
b
Suppose 16 = 29*z + 45. Which is smaller: z or -57/34?
-57/34
Let u = -38 + 42. Suppose 4*r + 456 = u*x, 3*r - 5*x = -510 + 164. Let a be 14/r - 18/(-16). Which is smaller: a or 12/7?
a
Let y be (0 - -2) + -32 + (3 - 7). Let w = y + 39. Is -4 >= w?
False
Let v = 29.86 + -2.76. Let x = 29 - v. Do x and -1 have the same value?
False
Let c be 870/(-1365) - (4/(-7))/1. Is -1 less than or equal to c?
True
Let x be (2/4)/(14/(-28)). Let u be 3/9 + x/(-6). Which is greater: u or -1/5?
u
Let l be ((-15)/105)/((-1)/1111). Let r = l - 159. Which is smaller: r or -27?
-27
Suppose 0 = -5*h - 3*t - 11 + 3, h = t. Is h at most 2/435?
True
Suppose 5*p + 8*p = 65. Which is bigger: p or 21/5?
p
Suppose -35*a = -0*a - 140. Which is bigger: a or 35/8?
35/8
Let f = 204 + -209. Which is bigger: -3 or f?
-3
Let f = -82.2 + 82. Let q = 12 + -5. Are f and q non-equal?
True
Let l(g) = -4*g**2 + 68*g - 68. Let y be l(1). Let v = 14 + -9. Which is greater: y or v?
v
Let v 