 1/2?
True
Let t = 0 - 226. Are -226 and t unequal?
False
Let s(r) = -r**3 + 6*r**2 - 9*r. Let v be s(4). Suppose u - 31 = -4*o, 2*o - 4*o = 4*u - 12. Let n = o + v. Is n <= 5?
True
Suppose -4*k + 28 = 4*n, 2*k + 7 = 1. Is n at most 11?
True
Let g(t) be the first derivative of -t**2/2 - t + 2. Let c be g(-4). Let q = -2.05 - -0.05. Is q greater than or equal to c?
False
Suppose -2*q + 2*m - 2 = -4, -2*q - 5*m = -16. Suppose q*w - 5 = -29. Which is smaller: w or -12?
-12
Let f = -7 - -3. Let y be (-4)/(-5)*20/f. Let w = -3 - y. Which is smaller: 1/2 or w?
1/2
Let m(q) be the third derivative of -q**6/120 - q**5/20 + q**3/3 + 5*q**2. Let r be m(-3). Is 9/7 < r?
True
Suppose 32*g = 31*g + 68. Is g greater than or equal to 67?
True
Let u = 4213375/27 - 156679. Let s = 628 + u. Which is greater: s or 0?
0
Suppose -n - 65 + 211 = 0. Is n at most 145?
False
Let y(b) = 5*b**2 + b. Let w be y(-1). Suppose 0 = 7*n - 47 - 128. Let s = 27 - n. Is w less than s?
False
Let v = 964 + -673. Suppose 198*u - v = 195*u. Which is smaller: 98 or u?
u
Let p be 4/(-150)*237/(-8). Let s = p - 1/25. Let x = 1.0351 - 0.0351. Which is bigger: x or s?
x
Let k(a) be the second derivative of -a**3/6 - 5*a**2/2 - 3*a. Let l be k(-5). Suppose 15 = 5*u + 5*r, 4*u - 8*u + 4*r + 52 = l. Is u >= 8?
True
Let x = 0.2 - 0.2. Let w be (-1 + 2)/((-16)/1056). Let p be (-14)/(-49) + w/(-14). Which is bigger: x or p?
p
Let k be 35/(-30)*21/2. Which is greater: -13 or k?
k
Let d(u) = u**2 - 50*u + 76. Let k be d(48). Let g = 0 + 0. Is g greater than k?
True
Let l = -1939/4 - -485. Is l less than 120?
True
Let j = 211.9146 - -0.0854. Is 0.1 at least as big as j?
False
Let s = 30 - 6. Let f = s - 48. Let w = 36 + f. Which is bigger: -1 or w?
w
Let a be 1 - (-75)/10*2. Suppose -3*p + z = -2*z + 18, 2*z + a = -2*p. Which is smaller: -4 or p?
p
Let c(g) = g**3 + 5*g**2 + g - 5. Let h be c(-5). Let z be h/35 + 72/105. Let a(p) = -p**2 + 9*p - 7. Let d be a(8). Which is smaller: z or d?
z
Suppose -2*a = -5*a - n - 6, 13 = -4*a - 3*n. Let l = 33023/5 + -6625. Let f = 20 + l. Which is smaller: a or f?
a
Let n = 17 - 17. Let r(j) = j**2 - 4*j + 1. Let x be r(n). Which is smaller: -1/106 or x?
-1/106
Let f = -1 - -1. Let q = -184 + 192.1. Let w = -8.09 + q. Which is bigger: f or w?
w
Let u be 12/(-20)*2*10/(-4). Let p = u + -7. Which is smaller: p or -2?
p
Let l = -9.16 - -9. Suppose 0 = -3*r - 29 + 8. Let p = -6 - r. Which is smaller: l or p?
l
Suppose -6 + 66 = -4*z. Let b be (1 - 0) + z/18. Suppose j - 5 = 3*t, j = 4*t - j + 10. Is b less than t?
False
Let m be (-1)/3 + 3/9. Let k = 734/5 - 147. Which is smaller: k or m?
k
Suppose 0 = 22*j - 21*j + 78. Which is bigger: j or -79?
j
Let w be (-56)/(-7) - 0/2. Suppose u + 3 = -2*j, 3*j - w = 2*u + 5. Is j > -1/26?
True
Let l = 315 + -381. Do l and -64 have the same value?
False
Suppose -2*c = -22*u + 26*u - 16, -u + 58 = 5*c. Which is greater: c or 35?
35
Suppose -u + 4 = -2*k - 3, -5*k + 2*u - 18 = 0. Let w = k + 5. Which is greater: 4/39 or w?
w
Let t(v) = v**2 - 7*v - 25. Let k be t(-7). Which is greater: k or 75?
75
Let c = 313/4 - 78. Is c <= -243?
False
Let j(z) = z - 4. Let t be j(8). Suppose 3*u = 4*u + f + 50, t*u + 206 = -f. Let g = -259/5 - u. Which is greater: -1 or g?
g
Let m = 1.3 + -0.5. Which is smaller: m or 41?
m
Let p = 36 - 54. Let f = -17 - p. Let b = -1 - 0. Which is greater: f or b?
f
Suppose -7*w + 25 + 52 = 0. Which is smaller: 16 or w?
w
Let f be (8/(-10))/(1/5) - -4. Which is bigger: -216 or f?
f
Suppose 0 = -25*d + 21*d. Which is bigger: d or -9?
d
Let f be ((-6)/(-10))/(4/(-30)). Let d be (-20)/16*(1 + -2 + 20 + -15). Is d greater than f?
False
Let o = -7/38 - 1/38. Let a(u) = u**2 - 7*u + 7. Let x be a(6). Is o greater than or equal to x?
False
Let a = 4/45 - -197/315. Let p = a - 29/70. Is p at least as big as -3?
True
Suppose 0 = 3*z + 4*h + 450, -z - 26 = -h + 131. Are z and -466/3 equal?
False
Let v be (12/(-10))/((-5)/(-25)). Let k be (-5)/(165/786) - v/(-33). Is -24 at least k?
True
Let a(f) = f**2 - 14*f + 24. Let j = 48 - 36. Let v be a(j). Is -2 greater than or equal to v?
False
Let f be (-58)/18 - (-2)/9. Let z = -46 - -47.9. Let c = z + 1.1. Which is bigger: c or f?
c
Let f be (16/(-21))/((-2)/7). Is f > 3?
False
Let l = 88 + -79. Is l smaller than 1?
False
Suppose -4*c + 29 = 5*x, 4*c = -0*x - 4*x + 20. Let d(f) = f**2 + 3*f - 6. Let y be d(3). Is x >= y?
False
Let n be (1*-2)/2 - -22. Suppose 26*m = -31*m + 1197. Are n and m nonequal?
False
Let m = 625 - 3114/5. Let a(z) = z**2 + 14*z - 29. Let i = -132 + 116. Let b be a(i). Is m bigger than b?
False
Let x be (-198)/(-77) + 40/(-70). Which is bigger: 59/28 or x?
59/28
Let o = 34 + -33.6. Let r(g) = -g**3 + 11*g**2 + 3. Let f be r(11). Let y be 3 + 4/8 - f. Which is bigger: y or o?
y
Suppose -26 = 12*u + 46. Suppose 44 = -3*a - 4*b, 5*a - 14 + 64 = -2*b. Which is smaller: a or u?
a
Let f be (-1 - -2)*(-4 + 34). Let a(d) = -d**3 - 4*d**2 + d + 9. Let y be a(-5). Are y and f nonequal?
True
Suppose a + 4*a = 10. Let r be 64/a - 3/(-9). Let n = -32 + r. Do 1 and n have different values?
True
Suppose 3*h - 3*g = -185 + 8, h + 57 = -g. Let n be (-4)/16 - h/8. Let s = -393/2 - -202. Are s and n equal?
False
Let s = -30/7 - -83/21. Let a be -2*(23/(-24) + 4/4). Let n = a + 5/12. Are s and n equal?
False
Let o be 2/(-3) + 0 - 11056/(-24). Which is smaller: o or 462?
o
Let o = -12/3539 + -2693059/35390. Let g = 76 + o. Which is bigger: g or 2?
2
Let s be 9 - -111*(-80)/984. Is s less than 0?
True
Let t(a) = a**3 + 13*a**2 + 12*a - 6. Let i = -27 - -15. Let d be t(i). Which is smaller: d or -8?
-8
Let q(c) = 26*c**2 - 125*c + 5. Let d be q(5). Let k(v) = v + 31. Let w be k(0). Let h = w - d. Which is smaller: h or 1/3?
1/3
Let n = -5 - -6. Let y = n - 0.9. Let d = -1.5 + 1.2. Is d equal to y?
False
Let t = -32 + 90. Suppose t = 3*a - 8. Suppose -x + 7 = -0*i - i, -i + 4*x = a. Is -3 < i?
True
Let r be (-49)/(-3)*3/(-2). Let k(n) = -n**2 - 13*n - 11. Let f be k(-4). Let q = r + f. Is 2 at most as big as q?
False
Let d = -85 + 259/3. Is 4/5 at most as big as d?
True
Suppose 5*j + 287 - 202 = 0. Let a be ((-12)/(-2))/(4/14). Let m = a + j. Is m >= 3?
True
Suppose 2*i + 29 = -11. Let h = 7 - 8. Let t be ((-10)/i)/(h/6). Is t equal to -1?
False
Let r = 11 + -9.2. Let s = -1.74 + r. Let a = s + 0.12. Is 1 at least a?
True
Let u be (982/1414 - 0)/(9/(-18)). Let l = 4/101 - u. Is 1 at least as big as l?
False
Let i be 5/(-15) + 0 + (0 - 0). Suppose 2*b - 42 - 8 = 0. Is b >= i?
True
Let h = 10.62 - 10.32. Which is bigger: 1.9 or h?
1.9
Let i = 204 + -146. Suppose 0 = -x + i - 68. Which is smaller: x or -6?
x
Let b = 19.4 + -35.4. Let w = 0.897 + -16.837. Let z = b - w. Which is smaller: z or 0.2?
z
Let r be ((-2)/(-4))/(11/(-2)). Is 3 at least as big as r?
True
Let r = 1/49 + -115/833. Which is smaller: r or 27?
r
Let m = 0.1 - 0.1. Let h = -68.962 - -69. Let o = h + 3.962. Which is smaller: o or m?
m
Let b = -100 - -184. Let u = b + -85. Are u and -4.6 non-equal?
True
Let r(g) = g**3 - 5*g**2 + 26*g - 131. Let y be r(5). Which is greater: y or -19/49?
-19/49
Suppose 48*r = 47*r - 714. Let i be 4/(-14) + 300/r. Is i less than -1?
False
Let v = 1849/4 + -463. Let h = -27 - -23. Which is smaller: v or h?
h
Let k = 6.5 + -6.3. Suppose 14*u - 17*u + 12 = 0. Is k greater than u?
False
Let r = -4995/28 + 629/4. Let f = 2833/133 + r. Which is smaller: f or -1?
-1
Let n = 60 - 60. Suppose 5*y - 9 + 4 = n. Is -2/69 equal to y?
False
Suppose 6*g + 892 = 886. Which is smaller: g or 3/296?
g
Let y be ((-80)/(-625))/(2/2 + 1). Let r = 2149/375 - y. Which is smaller: r or 2?
2
Suppose 5*r - 10 = 0, 0*j - 4*r + 704 = 4*j. Is j >= 173?
True
Let j(k) = 3*k + 13. Let z be j(-5). Let g(c) = -c**3 - 2*c**2 + 3*c - 2. Let s be g(-3). Is s at most as big as z?
True
Suppose 5*p = -15 + 85. Let m be 35/p*2557/(-20). Let b = -320 - m. Which is smaller: -1 or b?
-1
Suppose m + 108 = -5*p - 168, 3*m = -p - 814. Which is smaller: -811/3 or m?
m
Let s be ((-26)/(-51233))/(9/(-7)). Which is smaller: 0 or s?
s
Let w(j) = -6*j**3 + 8*j**2 + 30*j + 99. Let v be w(-5). Is 899 equal to v?
True
Let i = -7.1 - 28.9. Let g = i - -39. Is g equal to 14?
False
Suppose -x - 5 = 0, -c - 2*x - 3*x = -31. Suppose g 