*i = 15. Suppose -27 = -4*t - 2*j - 7, c = 2*t - 4*j. Is t > 5?
False
Let k = -10.18 + 0.18. Let z = 24 - 17. Let p = k + z. Which is bigger: 0 or p?
0
Let i(a) = 2*a**3 + 2*a**2 + 3*a + 14. Let y be i(-2). Which is smaller: y or -2/2335?
-2/2335
Let c = -24.7 + -4.3. Let j = c - -28.99. Let a = j + -1.99. Which is greater: a or 2?
2
Let v = 1/685 + -15763/5480. Does v = -3?
False
Suppose 4*v - 64 = 8*v. Suppose 0 = -2*k + 5*k - 24. Let n = k - 24. Is n < v?
False
Let g(c) = -c + 1. Let d be g(-9). Let z = -70 + 80. Is d bigger than z?
False
Suppose -2 = -22*a + 21*a, a - 7 = 5*q. Let d = 21/5 + -761/180. Which is smaller: q or d?
q
Let o(z) = z**2 - 7*z + 4. Let q be o(5). Let n be q/(-8) - (-2)/8. Which is smaller: -1 or n?
-1
Let a be 30/10 - (-2056)/(-270). Let m = 22/27 + a. Is -5 less than m?
True
Let u be ((-28)/42)/((-6)/9). Let s be -101*(2 - (-683)/(-341)). Let o = 12/31 - s. Which is bigger: o or u?
u
Let v = -3977 - -11800/3. Do -43 and v have the same value?
False
Suppose -15*h = -11*h - 10*h. Is 60 >= h?
True
Let c = -324 - -120. Which is bigger: -203 or c?
-203
Suppose -3*n + 1063 = 2*k, 2661 = -16*k + 21*k + 4*n. Is 534 at most k?
False
Let y(a) = 11*a**2 + 6*a + 16. Let t be y(-7). Let x be 6/4 + 104382/204. Let l = x - t. Is l less than or equal to -1?
False
Let n(j) = -5*j - 13. Let w(q) = -4*q - 13. Let g(m) = -2*n(m) + 3*w(m). Let v be g(-3). Are v and -8 equal?
False
Let z be ((-91)/819)/((-1)/534*-2). Which is bigger: z or -30?
z
Let l(x) = 64*x + 7. Let h be l(-1). Which is bigger: h or -59?
h
Let i(m) = -2*m + 70. Let g be i(35). Which is bigger: g or -2/35?
g
Let o be ((-20)/14)/((-12)/(-14) + -1). Suppose o = -2*d, -4*j + 2*j + 3*d + 5 = 0. Is j less than -7?
False
Let r = -18.877 + -0.123. Let o = 3.1 - 3.2. Which is greater: r or o?
o
Suppose 5*g + 10 = -2*x, 3*g - x = -6 - 0. Which is smaller: -19/18 or g?
g
Let d = -18 - -21. Let y be (78/9)/((-2)/d). Let q(f) = -f - 13. Let w be q(y). Is w equal to -1?
False
Let b = 4 - -1. Suppose 10 = d - b. Suppose 0 = -z - 5*l - d, 2*z + 5*l + 15 = -2*z. Is z bigger than -2?
True
Suppose 23 = -0*s + s. Let r be ((-12)/s)/((-22)/(-11)). Is r at most as big as -1?
False
Let q = -2.0759 + -0.0141. Let o = q - -2.1. Which is greater: o or 0?
o
Let j = -202 + 211. Is 6/11 >= j?
False
Let m = -23 - -20. Is 2 != m?
True
Let m be ((105/20)/(-21))/((-3)/(-12)). Let r be 6/(-27) + (-110)/234. Which is bigger: r or m?
r
Let r = 970 + -968. Which is greater: r or 6/5?
r
Let d(k) = -2*k + 5. Let h(p) = -2*p**3 - 2*p**2 + p - 2. Let a be h(-2). Let x be d(a). Let m(v) = -438*v - 2631. Let r be m(-6). Is x at least as big as r?
True
Let m = -34/23 + -49/138. Let p = 745 + -748. Which is bigger: m or p?
m
Suppose 0 = 5*i - i - 5*n - 5, 2*n = 3*i + 5. Let x be (2/(-6))/(i/195). Let c = x - 12. Is c smaller than 3/8?
False
Let n(l) = -12*l - 71. Let h be n(-8). Is h >= 25?
True
Suppose 0*x + 6*x + 60 = 0. Let a = -8 - -10. Let d be (8 + x)*a/42. Which is greater: 1 or d?
1
Let h = -0.169 + -1.831. Is 112 greater than h?
True
Let i(a) = -a**3 - 9*a**2 - 9*a - 11. Let t be i(-8). Suppose -106 = 4*s - 6*s. Let q = s - 369/7. Is q less than or equal to t?
False
Let g = 92 - 5. Let r = -83 + g. Let w(s) = s. Let n be w(6). Which is smaller: r or n?
r
Suppose 0 = n + 2*l - 624, 4*l + 2466 = 4*n + 6*l. Is 615 bigger than n?
True
Let t = -9529/11 - -867. Let z = 29 - 13. Suppose 2*a + z = -3*a - 4*c, 0 = 2*a + 2*c + 8. Which is smaller: t or a?
a
Let t = -59 - -60. Let u be (-2)/t - (10 + 8). Which is greater: -19 or u?
-19
Let k = 3125513/569 - 5493. Are 1 and k unequal?
True
Let s = 0.0678 - 1.0678. Is s less than -26.6?
False
Let q = -8 - -5. Let m = q - -3.1. Let u = -913 - -912.9. Which is greater: u or m?
m
Suppose -48 = o - 4*o. Suppose -o*r + 48 = -12*r. Suppose 0 = -4*x - u + 3*u + 44, x - 2*u = 5. Is r at least x?
False
Suppose 0 = 3*z - 2 - 1. Let x be 4 - z/(3/(-9)). Let h = 1 + x. Which is bigger: 9 or h?
9
Suppose 15 = 2*w + w. Let z be 25/15 + (-16)/(-3). Let u = -1 + z. Which is smaller: w or u?
w
Let f = 143 + 67. Is 837/4 not equal to f?
True
Suppose 0 = 5*y - n - 83, 2*y + n = 20 + 9. Suppose 4 = g - 2*g. Let r be (y/4 - 6)/g. Is r greater than -1.5?
True
Let p = -478 + 1160. Let l = -667.05 + p. Let j = l - 15. Which is smaller: j or 1/3?
j
Let m(p) = 3*p - 11. Let w be m(5). Let x be 22/(-55)*(-10)/w. Do -1/11 and x have the same value?
False
Let u(d) = d**2 - 15*d - 3. Let h(b) = 2*b**2 - 30*b - 6. Let m(v) = 6*h(v) - 13*u(v). Let j be m(15). Suppose 0 = c - j*c - 2. Which is smaller: -1/3 or c?
c
Let r = -1.95 - 0.05. Let b = 13 + r. Let o = -153 + 153. Is o bigger than b?
False
Let k = -35/3 - -37/3. Let f(n) = -n**3 + 13*n**2 + n - 16. Let s be f(13). Let p be -4 + s + 4 - -2. Is p <= k?
True
Let f = -14 - -34. Let y = f - 2. Which is greater: y or -0.1?
y
Let m be 952/70 + -7 - (5 - -2). Is -1 != m?
True
Let j(s) = -s**3 + 16*s**2 + 85*s + 48. Let f be j(-6). Are f and 331 equal?
False
Let v(l) = -l**3 - 19*l**2 - 1. Let m be v(-19). Is m at least as big as 2/733?
False
Let h be 480/14484 + (-2)/17. Let n(a) = a**2 - 4*a - 1. Let q be n(4). Is h at least q?
True
Let w = 317 - 316.94. Is 1 at most w?
False
Let o be ((-1 + 0)*-2)/(5/(-175)). Let n be (4/6 - 1) + o/42. Let z be (-24)/13 + (0 - -2). Is n bigger than z?
False
Let v = 0.0103 + 0.3997. Which is bigger: v or 0?
v
Let d(n) = n**2 - 3*n + 1. Let l be -1 + (0 + 2 - (-1 - -2)). Let j be d(l). Let m = 0.1 + 0.4. Is m at most j?
True
Let i be 6435/1290 - (-4 + 6 + 3). Which is smaller: i or -2/5?
-2/5
Let j be (-2)/(-2) + (-17)/((-85)/(-735)). Which is smaller: -147 or j?
-147
Let n = -423748477240/18177 + 23312344. Let l = 2/249 - n. Is l at most as big as 0?
False
Let p = -149 + 108. Is p smaller than -41?
False
Suppose -10 = -15*f + 170. Let i(r) = r**3 - 7*r**2 + r + 7. Let x be i(7). Which is smaller: x or f?
f
Let x be (4/10)/(12/15). Let i = 61/11 - 527/99. Which is bigger: x or i?
x
Let z(x) = -x**2 - 9*x - 7. Let y(s) = -s**3 + 16*s**2 - 15*s - 9. Suppose 61 + 14 = 5*u. Let l be y(u). Let w be z(l). Which is smaller: -6 or w?
w
Suppose -11*d + 3*f - 3 = -8*d, -5*d + 2*f = -1. Do -62 and d have the same value?
False
Let j(o) = 10*o**2 - 61*o + 9. Let g be j(6). Is g bigger than 17/10?
True
Suppose 4*w + 100*j - 24 = 105*j, w = 4*j + 17. Which is smaller: w or -4/43?
-4/43
Let b = -25 + 15. Let y be (-5)/b - 2/3. Is y != 3/4?
True
Suppose -2*w - w - 16 = 2*o, -4*o - 14 = -3*w. Let p(j) = -2*j + 6. Let t be p(3). Suppose t*n + 6 = -2*n. Is n <= w?
True
Let n = 1.09 - -0.11. Let y = n + -1.4. Let u = 0.2 + y. Is 9 less than or equal to u?
False
Suppose -24 = 5*k + 1, 5*y - 5*k = 45. Suppose 4*r + u - 9 = 19, 2*u = -y*r + 32. Let f be 2/r*(-9)/12. Are f and -13 equal?
False
Suppose 2*j + 3*j + 4*y = -40, -j - 3*y - 19 = 0. Let b(z) be the first derivative of -2*z**3/3 - 7*z**2/2 - 4*z + 5. Let t be b(j). Which is smaller: t or -7?
t
Let i be ((-164)/1278)/(714/(-207)). Let k = 932371/497 + -1876. Let n = i - k. Which is smaller: -1 or n?
-1
Let j(a) = a**2 - 16*a + 6. Let u be j(12). Which is greater: -38 or u?
-38
Let r = -0.1372 + 0.4372. Which is smaller: -145 or r?
-145
Suppose -315 = -140*a + 143*a. Which is smaller: -103 or a?
a
Suppose -11*z + 10*z + 93 = 0. Is z > 2?
True
Suppose 0 = -2*d + 1374 + 290. Suppose -3*f = f - d. Let c be 16/40 - f/470. Is c less than or equal to -1?
False
Suppose 0*g = -g + 4. Suppose -2*c - 5*f = 8, -f - 19 - 9 = -4*c. Suppose -c = 3*j - 15. Is g not equal to j?
True
Let b(s) = s**3 - 7*s**2 + 5*s + 11. Let g be b(6). Let p = -5 + g. Are p and 1 nonequal?
True
Suppose 0 = -3*p - 6, 5*t + 49 = -4*p + 171. Let n = -28 + t. Which is bigger: -6/11 or n?
-6/11
Suppose f + 0 = 7. Let r be 1 + 3955/(f + -2). Let j be 4/18 + 472/r. Which is smaller: j or 1?
j
Let t = 9.7 - 14. Which is smaller: 5 or t?
t
Let s = 143 + -143. Which is smaller: s or -2/119?
-2/119
Let z(f) = 19*f**3 - 3*f - 2. Let i be z(-1). Let x be (i/(-21))/(2/(-14)). Let l(u) = -2*u**2 - 11*u + 13. Let j be l(x). Which is smaller: j or 6?
6
Let b = -0.12851 + 0.02851. Let v = -12 + -9. Is b > v?
True
Suppose -7008 = 28*k - 20*k. Is -876 at most k?
True
Suppose -4*b + 10*p - 14*p - 548 = 0, -411 = 3*b + p. Which is 