be (-2 - z) + a/27. Is 0.2 < y?
True
Let a = 309 + -1859/6. Which is greater: a or -11?
a
Let u = 155 - 143. Do u and -0.1 have the same value?
False
Suppose 15 = -4*h + 9*h. Let m be (4/(-90))/(h/3). Which is smaller: -1 or m?
-1
Let b be 3/18 + 428/24. Let r be ((-12)/b)/(2/(-9)). Which is bigger: r or -2?
r
Let k = -630 - -630. Which is greater: 1/809 or k?
1/809
Let b = 18475 - 92012/5. Which is smaller: b or 73?
b
Let f be 81 - 3/(3/3). Let i be (-1)/(f/(-5 - -3)). Which is smaller: i or 0.1?
i
Let n = -0.02 + 4.02. Suppose s = -2*u + 13, 3*s - 123 = u - 119. Which is bigger: s or n?
n
Let j = -1 + 6. Suppose 10*s - j*s = 25. Suppose 3*y - s*k = -2*k, y = -k + 2. Are 1 and y nonequal?
False
Let d = -3 + 1. Let q(y) = -y + 2. Let u be q(d). Suppose -5 = u*t + 3*v + 15, -v - 12 = 2*t. Which is smaller: t or -7?
t
Let f = 41809/85 - 501/17. Let o = f + -464. Which is smaller: -1 or o?
o
Let h = 108 - 104. Let l = -114 - -117. Which is bigger: h or l?
h
Let r = 0.1609 + -0.2609. Which is bigger: r or -0.0179?
-0.0179
Let f(y) = -y**2 - 4. Let x = -9 + 11. Let s be f(x). Is -6 != s?
True
Let l be 10 - 7 - (-2)/(1 - 0). Suppose 2 = 5*c + f, l*c + 0*c = 3*f + 14. Is 6/11 bigger than c?
False
Let z = -112 - -112. Let n(j) = j**2 - 12*j + 1. Let q be n(5). Let m be q/(-52) + (-3)/6. Which is smaller: z or m?
z
Let r = 39038 + -47196938/1209. Which is smaller: r or 0?
0
Let i = 0 - -5. Suppose r = 5*y - 4, -i*r - 6*y = -2*y - 9. Suppose 2*l + 3*p = -l + 12, 0 = p - 4. Is l greater than or equal to r?
False
Suppose 0 = -3*d + 4*d. Let k be 15 - 13 - (d - -1). Does -0.1 = k?
False
Let n = 5.42 + -4.42. Which is smaller: n or 598?
n
Let j = -143 + 144. Suppose -4*h + 203 = -10*i + 5*i, 209 = 4*h + i. Let g be ((-8)/h)/((-1)/2). Which is smaller: g or j?
g
Suppose 5*s = -4*k + 16, -3*k - 2*k + 20 = 5*s. Let y(o) = 23 - 2*o - 5 - o**3 + 7 + o**2. Let z be y(s). Is 24 greater than z?
False
Suppose -z = -2*w + 63, 5*w - 26 = -3*z + 104. Let p = w + -27. Suppose -5*i + 2 = -3*i - 2*l, 2*l + 10 = -p*i. Does -4 = i?
False
Let y = 61 - 55. Let v(s) = -s**3 + 6*s**2 - 2*s - 6. Let h be v(7). Let u be 4/y + h/(-18). Which is smaller: u or 5?
u
Let x = 4879.97 - 4859. Let w = -22 + x. Let c = 0.03 + w. Is 8 != c?
True
Let u be -14 + 18 + (-2 - 1). Is -18/113 less than u?
True
Let w = -82 - -149. Let i = w + -36. Which is bigger: 30 or i?
i
Suppose 4*g = -3*j - 2*j - 524, -452 = 4*j - 5*g. Let f = 973/9 + j. Is f smaller than -2/7?
False
Suppose -3 = 3*r - 0*r - 3*j, 4*r = -4*j - 20. Let y be 35/(-10) - r/(-2). Let x = 10 - 16. Is y at least as big as x?
True
Suppose 66 = f + 73. Which is smaller: f or 22?
f
Suppose -2*g - 1 - 3 = 0. Let x be g/(-9) - (-64)/36. Let f = 2 + x. Is 4 not equal to f?
False
Let f = 516 + -514. Which is greater: f or 0.031?
f
Let o(q) = q**3 - 7*q**2 + 1. Let y be o(6). Do -35 and y have the same value?
True
Let v = -12635 + 62938/5. Let i = 7337/155 + v. Suppose 72*o + 3*f - 10 = 71*o, 5*o - 5*f = -10. Are o and i equal?
False
Let n = 1/81 - -23/324. Let c = -2 - -2. Let i be 1 - (1 - -1) - c. Which is smaller: n or i?
i
Let y = -11.3 + 12.1. Is -7 < y?
True
Let g be 688/40 + (-4)/(-5). Let n = -4 + g. Which is greater: 15 or n?
15
Let t(b) = 3*b**2 - b - 1. Let n be t(2). Suppose -s + 2*s = n. Is s at most 9?
True
Let o = -72 + 70. Let z be (o/(-3))/(14/(-21)). Is z bigger than 2/115?
False
Let u = -4679921/4686 + 21957/22. Let h = u - 2/213. Let b = -19 - -15. Which is smaller: b or h?
b
Let b = -271 - -533. Which is bigger: 0.1 or b?
b
Let b be 111/(-108) + -3 - -4. Let c be (-1 - 0)/((-6)/(0 + 6)). Which is greater: c or b?
c
Let i = 611 - 611. Is -451 < i?
True
Let s = 4 - 4. Let r = -1.8 - -0.9. Which is greater: r or s?
s
Let a = -1151 + 5854/5. Which is smaller: a or 21?
a
Suppose 4 = -3*s + 5*s, 2*s = -3*g - 125. Let r = 173/4 + g. Is r less than -0.04?
False
Let n = -15 - -15. Suppose 3*f + 3 = -3. Let w = 4 + f. Which is bigger: n or w?
w
Let g = -0.1133 + 0.0133. Which is smaller: g or 9.3?
g
Suppose 3 - 8 = -m. Suppose -9 = -5*a - 3*n + 6, 3*a - n = -m. Suppose a*l = -2*l. Is -4/17 equal to l?
False
Suppose 3*z = 2*g - 456, g + 5*z - 9*z = 233. Which is bigger: 224 or g?
g
Suppose -5*i + 189 = -4*o, 2*i = 5*i + 2*o - 131. Let h = 24 - i. Which is smaller: -16 or h?
h
Let s = 1 - -39. Let t = s - 59. Let p = t - -16. Is 1 at least as big as p?
True
Let o = 127 - 126. Let g be -3 + (1 - o) + 6 + -2. Are g and 24/11 nonequal?
True
Let k(c) = -c**3 + 16*c**2 - 17*c + 28. Let m be k(15). Let i be (-3)/(-6) - 7/m. Which is smaller: i or 1?
1
Let j = -4.913 + -2.087. Which is smaller: 33/7 or j?
j
Suppose -20*a - 2*h = -19*a - 36, -5*h + 105 = 3*a. Do a and 23 have the same value?
False
Let i = 9673/16 + -132031/112. Let h = i + 573. Is -1 at most h?
False
Suppose 4*o - 89 + 8 = 5*t, 2*o - t = 39. Suppose -5*u + 19 = o. Is u not equal to 20/7?
True
Let u(k) = -k**2 + k + 1. Let l(b) = -b**3 + 14*b**2 + 3*b - 15. Let w(z) = l(z) + 6*u(z). Let p be w(9). Is -2/9 at least as big as p?
True
Let l = -308 + 631/2. Let s = l + -7. Let p = -26 - -544/21. Is p greater than or equal to s?
False
Let x = -9.5 + 10.5. Is x equal to 98?
False
Let j be (-2)/11 - 258/33. Suppose -2*g = -3*g + 11. Let b = j + g. Which is smaller: b or 2/7?
2/7
Let d be ((-12)/27)/((-14)/63). Let y be 1 - (-7)/((-14)/(-12)). Let j = y + -6. Is d greater than j?
True
Let z be 22*-4*2/152. Is z greater than 0?
False
Let p be 17/5 - (-10)/(-25). Suppose p*r = -2*q + 2*r, -5*r = -2*q - 12. Which is greater: 2/47 or q?
2/47
Let u = -9 - -11. Let t(f) = f + 4. Let l be t(4). Let s be u - (l/(-5) - -3). Does s = -1/5?
False
Let b = 0.88 + -0.87. Let g = b - -5.99. Is -5 at most as big as g?
True
Suppose 0 = -2*m + 9*m. Let x be (-3 + m + 3)*-1. Which is smaller: 4/3 or x?
x
Let m = 18 + -13. Suppose 0 = 4*o + 5*a - 63, -a = -4*o - m*a + 68. Suppose -u = -3*j - 2*j - 66, -3*j - o = -5*u. Which is bigger: -13 or j?
-13
Let h(k) be the second derivative of -k**3/2 - 4*k**2 - 4*k + 1. Let u be h(-3). Is u at most -24/7?
False
Let g = 233.6 + -234. Which is bigger: -9 or g?
g
Let u(g) be the first derivative of g**4/4 - 13*g**3/3 - 13*g**2/2 - 7*g - 28. Let o be u(14). Suppose -2*d + 18 = 4*m, m = 2*d + 4*m - 18. Is d not equal to o?
True
Let v(o) = o - 1. Let l be v(6). Let d = 72 + -70. Let p be (-7 + d)/(30/(-12)). Is p equal to l?
False
Let c be -9 - (8 + -11) - -238. Is c not equal to 235?
True
Let y = 3/1918 + 192278/959. Is y bigger than 200?
True
Suppose 2 = -5*a + 4*w - 19, 18 = -2*a + 4*w. Let y = -172 + 444. Let b be 2 - 3 - y/(-336). Which is greater: a or b?
b
Let u(j) = j**3 + 10*j**2 + j + 10. Let k = -55 - -45. Let h be u(k). Let a be 0 - ((-6)/4 - -1). Which is greater: h or a?
a
Let v be 7396/40*(7 + -3). Let i = v + -734. Which is greater: i or 7?
7
Suppose -8 = 2*o - 20. Let i(f) = -o*f - 3*f - 7 - 2*f**2 + 9*f**2 + 0 + f**3. Let g be i(-8). Do g and 5/12 have different values?
True
Let m(r) = -r - 1. Let y be m(-3). Let t(v) = -5*v - 9. Let w be t(-2). Is w at least y?
False
Let n(q) be the second derivative of -q**5/10 + q**4/12 + 2*q**3/3 - 8*q. Let r be n(-3). Suppose 2*j - r = 3*g + 5*j, -4*j = -12. Is g at most -21?
False
Let o(t) = -454*t**2 - 9*t - 11. Let d be o(-1). Do d and -456 have the same value?
True
Let n be (-16 - -8)/72*37*2. Which is bigger: -8 or n?
-8
Let q be 3 - (-32 + 3)*1. Suppose 3*j - p + 32 = 0, -4*j + 0*j + 4*p = q. Let n(h) = -4*h - 52. Let r be n(-10). Are j and r equal?
True
Let w = -13/698 + 35251/18846. Which is smaller: w or 1?
1
Let g be (-2)/(-5) + (-14)/10. Let q be (2/3)/(20/90). Let c be q - -2*(-14)/12. Is c not equal to g?
True
Let r = 1.2 + -6.2. Let t = 0 + -2. Let y be (0 + t)*(-1)/(-2). Is r at least as big as y?
False
Let f = 688 + -4804/7. Which is greater: f or 2/3?
f
Let k = -20 + 25. Suppose 2*n = -n - 5*d - 13, k*n = -d + 15. Which is greater: 6 or n?
6
Let p = -89 + 86. Let j be ((-5)/2)/(-5)*-7. Is p greater than or equal to j?
True
Let w(z) = -z**3 - 18*z**2 - 16*z - 11. Let i be w(-17). Let q be i/(-2) - (-2 + 0). Is 16 at most q?
True
Let t be 46/(0 - (-2)/1). Which is greater: 47/2 or t?
47/2
Let g be (2/52)/((-52)/(-8736)). Which is greater: -1/4 or g?
g
Suppose -4*z = -z + 54. Let b be (-32)