g?
c
Let v = -100 + 1094/11. Let m = 5.8 - -0.2. Let s = m + -5. Is s smaller than v?
False
Let b be -950 + (-1)/((-3)/(-33)). Which is bigger: -960 or b?
-960
Let j = 8/39 - -7339/156. Let d be 6/14 + (5 - (-873)/21). Let l = j - d. Is l <= 1?
True
Suppose 0 = 2*g - 0*g + 28. Let q be 99/84 - 8/g. Let z be (-14)/(-6) + (-6)/(-9). Are q and z equal?
False
Let o be (-298)/(-7) + -8*4/56. Is 37 greater than or equal to o?
False
Let h be ((-91)/(-52) - 3)*(-4)/(-10). Let f = 23 + -22.955. Which is smaller: h or f?
h
Let g = -7.4 + -1.8. Let c = g + 6. Let f = -4 - c. Is f not equal to 0?
True
Let p = 5141 - 5140.3. Suppose 0 = -4*t - t + 5. Which is bigger: t or p?
t
Suppose -2426 = -4*b - p, -559 = -b - 5*p + 38. Is b not equal to 609?
True
Let i = -646 + 646. Let r = 61 + -60.22. Let w = -0.08 + r. Which is smaller: i or w?
i
Let j(n) = n**2 + 9*n - 8. Let v be j(-10). Let m be (-20)/(-25)*(-5)/(-2). Suppose 4*g = -0*g - m*q - 16, 0 = 3*g + 2*q + 14. Which is bigger: g or v?
v
Suppose -4 + 76 = 6*i. Suppose -3*c = i - 54. Is c at most as big as 15?
True
Suppose -f + 0*s + 2*s = -381, -5*f = 4*s - 1975. Which is bigger: f or 390?
f
Let h = 52 - 24. Let d = h - 15. Let p = -37 + 37. Which is smaller: d or p?
p
Let h(i) = -1 + 3*i**2 - 2*i**2 + 2*i**3 + 12*i**3. Let s be h(-1). Suppose 4*l - 3*o + 54 = 0, -4 - 3 = l - 4*o. Which is bigger: s or l?
s
Suppose -6*m = -15 + 21. Let r = 43/273 + -1/273. Is r != m?
True
Let a = 4035 - 6031. Let h be (-10)/65 - a/(-16432). Let c = 2/79 + h. Is 3 <= c?
False
Let k be 147/49 + (-1 - (-17522)/22). Let g = k + -800. Which is smaller: -3 or g?
-3
Let m = -92.2 - -103. Let k = m - -1.2. Let u = k + -10. Which is bigger: 3 or u?
3
Let t = -67 - -67. Which is bigger: t or -8/29?
t
Let s = -2 + 6. Let l(g) = g**2 - 3*g + 2. Let n be l(s). Let t be (0 - (-25)/10)/(4/8). Is n greater than or equal to t?
True
Suppose 5*x - 10 = 3*x. Let n = -3240 + 3245. Is n < x?
False
Let v be (6/(-8))/(3/(-2)). Let o = -435 + 234. Let w = 206 + o. Which is smaller: w or v?
v
Let p = 17935/7 + -2558. Which is greater: p or 5?
5
Suppose 12 = 3*f, -2*l - 7*f + 2*f = -96. Is l equal to 41?
False
Let k = 0 + 5. Let a = -647.2 + 647.3. Which is bigger: k or a?
k
Suppose -4*h + 2*h = -4*i, 0 = -4*i - 3*h + 10. Let o be 6/20*-1*(-50)/120. Is i >= o?
True
Let b(s) = 2*s - 5. Let n be b(4). Let f(x) = -x**3 - 4*x**2 - 4*x + 4. Let d be f(-4). Suppose -19 = -n*a + d. Is 13 greater than a?
False
Let v = 2.61 - -50.49. Let i = v + -9.1. Is i less than or equal to -2/5?
False
Suppose 2*c - 11 - 7 = 4*x, 5*x + 18 = c. Let p be (x - (-69)/21) + 0. Is 19 at most p?
False
Suppose -5*v - 2*o = 2*o - 2379, 2*o = 4*v - 1898. Are 475 and v unequal?
False
Let g be ((-525)/260 - -2)*-12. Is g not equal to 13?
True
Let k(p) = 3*p. Let s be k(6). Suppose -21*o + 36*o - 300 = 0. Which is smaller: s or o?
s
Let l be 26/(-10) + -15 + (26 - 8). Let d(f) = -f - 2. Let r be d(-2). Which is smaller: l or r?
r
Let a be 63 + 0/(5/(-1)). Let j be (0 + -3)/(a/45). Is j < -3?
False
Let c = -15.45 + -2.55. Is c less than 0.5?
True
Suppose -x - 8 = -4*c, 6*c - 5*c + 3 = -x. Which is greater: c or -2/261?
c
Let m = -46 - -42. Let v(t) be the first derivative of -t**4/4 - 5*t**3/3 - 5*t**2/2 - 5*t - 1. Let d be v(m). Which is greater: 2/17 or d?
2/17
Let l = 112 + -101.6. Let c = l + -10.7. Is c bigger than 1?
False
Let k be 7733357/(-207) + (0 - -3). Let a = k - -37356. Let j = a - 2/207. Does j = -1?
False
Let f be -23 + 21 - (1 + (-1)/1). Let d be ((-104)/16)/(f/(-12)). Which is smaller: -38 or d?
d
Suppose -4*s = -x - 27, -4*s = -s + 3*x - 9. Let i(n) = 3*n + 21. Let g be i(-6). Let a be (-4)/g + s/9. Is a less than 3/19?
True
Let l = 2447/702 + 5/351. Which is smaller: l or 3?
3
Suppose -16 = -4*p + 20. Is 47/5 at most as big as p?
False
Let f be 3/(4/14 - 2209/4277). Which is smaller: -168/13 or f?
f
Suppose -21679 = 12*x - 21523. Let r be 1 + 3 + (-1 - 1). Suppose 0 = -4*p - r - 50. Is p equal to x?
True
Let b be ((-12)/(-14))/(-3) - 65455/(-674870). Let n = -3/622 + b. Is 1 < n?
False
Let x be (-4)/11 - (-140)/(-220). Suppose -4 = 2*p - p. Let a be ((-3)/22)/(3/p). Are x and a equal?
False
Let x = -842 - -893. Which is bigger: x or 49?
x
Suppose -251*g + 4620 = -263*g. Is g less than -385?
False
Let j = 46.6 + -48. Let u = 1.4 + -1. Let c = u + j. Is -3/4 not equal to c?
True
Let c = -146 + 146.1. Is 26 > c?
True
Let t(z) = 2*z**3 - 2*z**2 - 2*z - 4. Let m be t(3). Let v be m/429 + 0/1. Is v greater than -1?
True
Let g = -29 - -23.5. Which is bigger: 0.04 or g?
0.04
Suppose -9*m = 5*m. Let x be (-4)/(-3)*(-9)/(-122). Which is bigger: x or m?
x
Let q be ((-2)/(-6))/(7/(-252)). Is 4 greater than q?
True
Let x = 51 - 32. Let d be (-5 - 1991/(-165))/(2/5). Is d equal to x?
False
Let x(u) = -u**3 - 4*u**2 - 3*u + 1. Let n = -13 - -17. Suppose n*a + 6 = 2*a. Let g be x(a). Is g greater than 1?
False
Let s = 3.07 - 3.3. Suppose -3*i + 2*h - 3 = 0, 2*i + 2*h = -2*h + 14. Is i at most s?
False
Let f be (-1)/(21/(-28) - (-1)/(-4)). Which is bigger: f or -7/24?
f
Let a(r) = -r**2 - 10*r + 30. Let m = -79 - -67. Let u be a(m). Which is smaller: u or 2?
2
Let z be 52*((-25)/(-20) + -1)/(-1). Is 5/4 >= z?
True
Suppose -2 = 2*r - 3*n + 18, 5*n = 5*r + 40. Let p be -4*(-1 + 7/4). Let j be 4 + r - (7 - p). Are j and -10 unequal?
False
Let z = -42 + 34. Let j be (132/z - 3)/(18/(-8)). Is j smaller than 9?
True
Let f = 166 - 432. Do -2/3 and f have different values?
True
Suppose -5*x + 55 = -5*m - 95, -138 = 5*m - x. Is m at most as big as -21?
True
Let d(x) = -119*x - 279. Let i be d(-5). Is 1 at least as big as i?
False
Let g = 5 + -23. Which is greater: g or 0.22?
0.22
Let a(c) = 4*c**2 - 4*c - 5. Let s be a(4). Suppose 15*g - 851 + 221 = 0. Which is bigger: g or s?
s
Suppose -5*p - 1 + 13 = -n, -3*n - 3*p + 18 = 0. Let x = -36/23 - -111/115. Which is bigger: x or n?
n
Let z be 5/1*4557/2695. Is z at least as big as 7?
True
Suppose 0 = -a - 0*a + 6. Let j = -1.534 + -0.466. Which is smaller: j or a?
j
Suppose 2*p = 3*p. Suppose 30 = 11*w - 3. Suppose 5*q = -15, 4*v - 2*q + w*q - 1 = p. Which is smaller: v or 7?
v
Let u be 1*(-2)/(-4)*-14. Let o be u/35 - (-39)/(-5). Which is smaller: -9 or o?
-9
Let y be (-262)/24*-2 - (-9)/54. Suppose 2*k + 4*c - 3*c + 12 = 0, 0 = 5*c + 20. Let w be k/(-15)*(-55)/y. Is w bigger than 7?
False
Let o be ((-12)/(-9))/((-4)/486). Let g = -95 - o. Let w = g - 203/3. Which is greater: w or 2?
2
Let h = -372 + 371. Let i = -2768 - -644946/233. Is h > i?
False
Let g be 2/(4/(-2)) - 4. Let t(p) be the third derivative of -p**4/24 - 7*p**3/6 + 23*p**2. Let r be t(g). Is r <= -2?
True
Suppose -4*k = -22 - 50. Suppose 3*f + k = -6. Is f greater than -3?
False
Let g(y) = -y**3 - 7*y**2 + 2*y + 61. Let w be g(-5). Let n be 21/9*(-12)/(-46). Which is smaller: w or n?
n
Let r = 0.5 - 0.64. Let y = -3.14 - r. Is y greater than 1?
False
Let o = 0.061 + -27.061. Let v = 26.146 + 1.114. Let c = o + v. Which is smaller: c or 2/7?
c
Suppose 0 = -3*f - 15, 5*l - 2*l + 4*f = 16. Suppose 2*p + l = -0*p. Does p = -6?
True
Suppose 3*c = -3*i + 3, -3*i + 4*c - 6 = 5. Is i at least as big as -0.169?
False
Let w be 266/(-546) + 12/78. Which is greater: 52/11 or w?
52/11
Let r = 1931/728 - 37/14. Is 1 >= r?
True
Let h be 598/16 + (-3)/8. Which is greater: 35 or h?
h
Let n be 4/16 - (-7)/(-28). Let l be (2/(-34))/((-2)/12 + n). Suppose 2*v + 4*z = 6 + 12, -10 = 2*v - 3*z. Which is smaller: v or l?
l
Let c = 2043 + -22443/11. Suppose -2*j + 3 = -j, 6 = 3*f - j. Is c smaller than f?
True
Let i = -100 + 50. Let u = 932/2821 - 18/403. Which is greater: u or i?
u
Let s be 106/8 + (-14)/56. Is s at most as big as 13?
True
Let c be 3/(-6) + (-99)/(-2). Suppose -4*v + 0*v + w + 194 = 0, v + w = 51. Do c and v have the same value?
True
Suppose 0 = -11*c + 15*c - 176. Let w = c + -26. Is 18 >= w?
True
Let v = -50/53 - -5603/5883. Let x(h) = -h**2 + 10*h + 12. Let f be x(11). Which is smaller: v or f?
v
Let y(d) = -d**3 - 5*d**2 + 6*d + 5. Let w be y(-6). Suppose -5*b + w = -5, -2*k - 36 = -2*b. Is -14 at least as big as k?
True
Let t = -116/147 + 6/49. Is -258 greater than t?
False
Suppose 2*u + 2*n = 2, 0 = 5*u + 2*n - n - 1. Which is bigger: u or 1/51?
1/51
Let w = -4735 + 75795/