- (-2 - -3)) + -3. Is v at least as big as l?
True
Suppose -8 = -g - g. Suppose o + d = g*d + 30, -2*o + 2*d = -72. Is o != 39?
False
Let a = -5.5 - -1. Let x = 2.5 + a. Which is greater: x or -0.12?
-0.12
Let u = -1946 + 2142. Is -0.01 <= u?
True
Let a = -1 - -4. Let d(x) = 2*x + 4. Let r be d(a). Let m(t) = t**3 - 9*t**2 - 10*t - 3. Let y be m(r). Is y greater than or equal to -3?
True
Suppose -11 = -5*c + 24. Let l be (2 + (-15)/6)*0. Suppose l = b - 2 - 3. Which is smaller: b or c?
b
Let p = 13.99 + 1.13. Let x = p + -15. Let v = x + -0.22. Is 0.8 bigger than v?
True
Let u be (-174 + 16)/(2/(-2)). Which is smaller: u or 164?
u
Let c = 276 + -284. Is c > 37?
False
Let g(v) = v**3 + 4*v**2 - 26*v - 74. Let q be g(-6). Do 16 and q have different values?
True
Let m = 8 + -6. Let g(d) = -4*d**2 - d. Let c be g(m). Let n be (3/(-9))/(c/(-4)). Which is bigger: 0 or n?
0
Suppose 4*f - 17 = h - 13, -5*h - 20 = 0. Let o be (-33548 - 0)*4/(-488). Let m = o + -275. Is f >= m?
True
Suppose -4*i - 3*t = -5*t + 330, 4*i = -4*t - 336. Let l = 99 + i. Is l > 16?
False
Let b = 0.4 + -0.2. Let v = -31 + 28.8. Let f = v + b. Which is smaller: 2/5 or f?
f
Let s = 282 - 167. Let r be (16/(-12))/(s/(-3) + -1). Do r and 0 have the same value?
False
Let p = 204 - 1026/5. Suppose -65*a = -70*a. Which is bigger: a or p?
a
Suppose s - 120 = -7*s. Suppose -5*x + 4*u = s, -x + 5*u - 23 = x. Let a = 1511/52 + -115/4. Which is smaller: x or a?
a
Suppose -3*n + 18 = -5*n + 4*f, -3*n + f - 2 = 0. Let v = 187543/54 - 3473. Is v not equal to n?
True
Let r be ((-10776)/(-10))/(-4) + (-12)/(-30). Are -267 and r unequal?
True
Let g be 39 + -2 + 6 + -7. Let h be (g/84)/((-20)/(-14)). Which is smaller: 0 or h?
0
Let j = 11.96 - 12.7. Let h = j + 0.74. Which is smaller: 0.083 or h?
h
Let m = 0.1 + -0.3. Let q = m + 0.3. Let o be 172/(-744) + (-20)/(-310). Which is greater: q or o?
q
Let b be -2*(-2 + 4)*(-23)/(-92). Which is greater: b or 7/117?
7/117
Let y(g) = g. Let p be y(1). Let q = 4 + 15. Let b = q - 17. Do b and p have the same value?
False
Suppose 3*g - 8 = 5*x - 1, -g - x = 3. Do g and 1/1636 have different values?
True
Suppose 2*k = 7*k + 3*n + 549, 0 = 4*k + n + 442. Which is smaller: k or -110?
k
Suppose 16 = -j + 3*j. Let z = 50 + -40. Suppose 5 - z = -x. Which is greater: j or x?
j
Suppose 3*n + 3*m = -178 - 101, 95 = -n + m. Are -93 and n nonequal?
True
Let j = 934/141 - 20/3. Is j less than or equal to -1?
False
Let u = -0.2 - 3. Let y = -4.28 + 1.28. Let h = y - u. Which is greater: h or -2?
h
Suppose 5*c - 65 = 55. Suppose 3*g + 3*t = 15, -g = 4*t + 4 - c. Let m be 1/28*2*-1. Which is smaller: g or m?
m
Let p = 39 - 39. Let c be 2*((-30)/(-4) - p). Let b be 1*-1*(-16 + c). Which is smaller: 1/11 or b?
1/11
Let p(z) = 3*z**2 + 10*z - 8. Let l be p(-5). Let m = 31 - l. Which is bigger: m or 29/2?
29/2
Suppose -5 = 3*o - 32. Suppose 0 = -j - 4*q + 44, q = j - o - 25. Which is smaller: 0 or j?
0
Let i be (11/132)/(3/56)*15. Let p = 24 - i. Let z = 22 - 16. Is p > z?
False
Let q = 224987/255526882 - -1/113618. Do 0 and q have different values?
True
Suppose l - 50 = -2*t - t, 2*l + 12 = t. Let p be 2/28 - (-16 + t). Does p = 1?
False
Let t be (-76*2/(-8))/(0 + 1). Let m = 25 - t. Is m smaller than 24/5?
False
Let m(p) be the first derivative of -p**4/4 + 7*p**3/3 - 4*p**2 + p + 3. Let y be m(6). Suppose 0 = 4*n - 5*q + 15, n + 2*q = -13 - 7. Which is smaller: n or y?
y
Suppose -4*p + 4 + 4 = 4*m, 0 = 2*p - 5*m + 3. Is 2/515 != p?
True
Let q = 45.7 + -60.7. Let b = -2932 + 2917.01. Let r = q - b. Which is smaller: r or 0.3?
r
Let m be (6/(-5))/((-21)/70). Let c be (-1)/2 + 0 + (-38)/m. Is -9 < c?
False
Suppose -2*t + 6 = -4*v, 0 = -4*t - 4*v - 0*v + 12. Suppose t*h + 21 = -0*h. Suppose 0 = 3*w + 6 + 18. Is w <= h?
True
Suppose -a = 3065 + 121. Let j = -44461/14 - a. Let h = -21/2 + j. Is h > 17?
False
Suppose -3*s - 5*n = -5*s - 17, -3*s = 5*n - 12. Let b be -11 + 11 + (0 + 0 - s). Which is bigger: -63 or b?
b
Let o = -415 + 414. Which is bigger: o or -7/20?
-7/20
Suppose 3*s = -4*s + 21. Suppose s*i = -i. Which is bigger: -3/11 or i?
i
Let t be 13/4 - (1 + 18/(-24)). Let n be (4 - 3)*(t - 2 - 1). Which is smaller: n or 3/19?
n
Let g = -216 + 101. Is -115 greater than or equal to g?
True
Let m = -212/1529 + -6/139. Is m less than or equal to 0?
True
Suppose -29*w + 11 = -40*w. Let t be ((-8)/(-3))/((-65)/12). Let q = -5/26 - t. Is q not equal to w?
True
Let t = -10/19 - -32/133. Which is greater: 12 or t?
12
Let j be (-35)/(-14)*8/(-10). Let s be (0 - j - -24)/(-2). Let p = s - -9. Is p at least as big as -1?
False
Let c = 57 + -75. Let h = c + 53/3. Does 6 = h?
False
Let n = -3025713/385 - -7859. Which is smaller: n or 0?
0
Suppose -79 + 109 = 3*n. Is 17/2 equal to n?
False
Let t = 3.4233 - 0.0233. Let u = 3 - 0.6. Let n = u - t. Which is smaller: n or -1/3?
n
Suppose -5*v - 58 = 7. Let i(d) = 0 + 1 - 8*d + d + 0. Let m be i(2). Is m equal to v?
True
Let a(i) = -2*i**3 + 46*i**2 + 37*i + 10. Let x be a(24). Which is smaller: x or 0?
x
Let p = -2 - 6. Let m be 19/(-4) + (-7)/28. Is p less than m?
True
Let g = -5 + 5. Let a be ((-1)/(-47))/((-425)/60 - -7). Are a and g non-equal?
True
Let m be -2 - -3 - (-14 - -16). Which is bigger: m or 5/276?
5/276
Let x be (-2)/(-8) + 690706/(-520). Let z = x - -1328. Do z and 0 have different values?
True
Let q(f) = -2*f**3 - 23*f**2 - 12*f - 20. Let h be q(-11). Which is smaller: h or 1/4?
h
Suppose -4*u = -5*k + 18, -2*k + 2*u + 6 = -0*k. Suppose 2 - 22 = -5*i - j, 4*i - 35 = 3*j. Are k and i non-equal?
True
Let q = -11 - -16. Suppose -6*l - 8 = -7*l. Suppose p + 1 = -1, q*v = -p + l. Are v and 9/5 equal?
False
Let i = 52 + -37. Let s = 4 + -17. Let v = i + s. Is 2 >= v?
True
Let d = -56.7 + 56.5. Which is greater: d or -1.2?
d
Let m = 166 - 37. Let w = 89 - m. Is -1/3 > w?
True
Let v = -71 + 46. Let u = v + 28. Let j = -49/6 - -227/30. Which is bigger: j or u?
u
Let r = 0.079 + -33.079. Let h = r + 34. Let z = -4 + 6. Which is greater: h or z?
z
Let i be (40/(-20))/(1198/(-4) + -4). Are i and 0 non-equal?
True
Let z = 324 + -324. Is -2/1343 at least as big as z?
False
Let o = 35.7 - 35.8. Let l = -1.4 + 0.5. Is o at least as big as l?
True
Let h = 4356.3 + -4354. Let x = -0.4 + 0.3. Which is smaller: x or h?
x
Let l = 3.1 + -4.36. Let k = -1.06 - l. Let f be ((-1)/11)/(0 - 1). Is k not equal to f?
True
Let j = -726 + 703. Is -1/6 < j?
False
Suppose 3*d + 0*d - 6 = 0. Suppose -5*f = -d*f - 3. Which is smaller: -1/6 or f?
-1/6
Let h = 969 + -969.1. Let l = -4 - -4.43. Are h and l equal?
False
Suppose 2*o + 1 = v, -5*v = 2*o - 26 - 3. Suppose -d = -j - o*j - 16, j + 3 = 0. Suppose 3*m = 4*w - 44, -m - 36 = -3*w + 2*m. Which is bigger: d or w?
w
Suppose 4*q - 196 = 420. Does q = 153?
False
Let u = -2 + 6. Suppose u*g + 4*r - 148 = -g, -2*g = -3*r - 50. Let x be (-18)/g + (-6)/(-12). Is 0 greater than x?
True
Let c(f) = 4*f + 1. Let x be c(1). Suppose x*t - 6 = -t. Let o be (-4)/(-60)*t/(-1). Which is greater: 1 or o?
1
Let r = 944.8 - 831. Let g = 114 - r. Is g greater than -7?
True
Let w be (25/(-255))/(-5) + 0. Let v = w - 55/204. Does v = 0.03?
False
Let b(d) = d + 40. Let r be b(-5). Which is smaller: -2/9 or r?
-2/9
Let o = 513.5 + -512. Which is smaller: o or 1.2?
1.2
Let q = -40 + 83. Let a = q - 85. Which is bigger: a or 1?
1
Let l = -465 + 464. Are l and 2/309 equal?
False
Let c(g) = -g**3 - 6*g**2 + 5*g - 3. Let t = 10 + -17. Let j be c(t). Let s(n) = -n**3 + 11*n**2 - 28*n + 319. Let v be s(11). Is v > j?
False
Let w(z) = z**3 + 20*z**2 - 23*z + 5. Suppose -54 = 4*g + 30. Let h be w(g). Which is greater: h or 48?
48
Suppose 1 = 2*d - 4*j - 3, -4*j = 0. Let z = 2 - d. Let c be 6/(-16)*4/(-27). Which is smaller: z or c?
z
Suppose 312 = 6*x + 1320. Let q be ((-54)/7)/(36/x). Suppose 0 = -4*u + q - 8. Is u not equal to 7?
False
Let t = -2.69 - -2.49. Let q = 2 - -2. Is q greater than t?
True
Let u = -4295 + 1673. Let r be (1/22)/(3/u). Let h = r + 40. Is 1 less than or equal to h?
False
Suppose 5*w - 3*k = -218, 61*w + 3*k - 126 = 64*w. Is w <= -44?
True
Let n = -30 + 94. Are n and 4 nonequal?
True
Suppose -4*q = -15*w + 13*w + 12, -5*w = q + 25. Do 3 and w have different values?
True
Let f = 642 + -434. Let k = 238 - f. 