v(i) = 3*i**2 - 3. Let g be v(-4). Suppose 0 = -2*z + 5*z + g. Is z less than or equal to -14?
True
Let x = 341 + -341. Let f(a) = 5*a + 5. Let i be f(-4). Let w be (-2)/(-5)*i/9. Does w = x?
False
Let l(c) = -3 + 0 - c**3 + c + 3. Let y(t) = -3*t**3 + 4*t**2 + 6. Let s(w) = -4*l(w) + y(w). Let o be s(-5). Is o less than 1?
False
Suppose 5*v = 9 - 14. Let a be (1 - -1) + (v - (-84)/(-78)). Is a not equal to 0?
True
Let p = -243 + 243. Which is smaller: p or -3/287?
-3/287
Let n be ((-2)/(-4))/((-2)/8). Let m = 12 + -23. Let p be 2/4 + m/10. Which is smaller: p or n?
n
Let o = -8 - -11. Let m = 5 - o. Suppose -2 = m*b - 4. Which is bigger: b or -1/15?
b
Let g = -92.7 - -93. Which is smaller: g or -2?
-2
Let c(q) = 6*q**3 - q**2 + 1. Let t be c(-1). Let i be 3 + (6 - (-36)/(-3)). Is i <= t?
False
Let g = -839 + 82223/98. Is 1 at least as big as g?
True
Let c be (-4)/(-14) + (-20)/(-224). Let m(n) be the first derivative of n**3/3 + 9*n**2/2 + 17. Let r be m(-9). Is c greater than or equal to r?
True
Suppose -35*d + 47*d + 12 = 0. Let u = -0.3 - 2.9. Which is smaller: u or d?
u
Suppose -10 = 4*a - 26. Suppose f - 2*y - 6 = -y, a*f + 6 = -2*y. Is -2/173 at least as big as f?
False
Let i = -738.9 + 739. Is 224 at least i?
True
Let j(t) = -51*t**3 - 2*t**2 - 4*t - 2. Let m be j(-1). Is m less than 1?
False
Let c = 18.8 + -19. Let k = c - -0.7. Let y = 3.5 - k. Which is greater: y or 3/4?
y
Let j(o) = o**2 + 18*o - 41. Let t be j(-19). Let r = t - -22. Which is smaller: -4/17 or r?
-4/17
Suppose c = 2 - 0. Suppose c - 6 = a. Is a <= -5?
False
Let m = -2217 + 2233. Which is bigger: 25 or m?
25
Suppose -3*w = -a - 31 - 20, 3*a - 5*w = -137. Let b = a + 22. Do b and -16 have different values?
True
Let i be -5*1/4*7296/(-238640). Which is bigger: i or 0?
i
Let i = -12.36 - -84.46. Let f = 72 - i. Which is greater: f or -7?
f
Let d = 19/103 - 6169/31209. Is d equal to 0?
False
Let t be (-8)/(40/(-165)) + 0. Let f = t + -26. Suppose -o = f + 5. Is o > -12?
False
Suppose -3*v - v + 7 = 5*r, -r + 3*v - 10 = 0. Is r at most as big as -3/22?
True
Suppose 0 = -4*c + 12*c + 8. Which is bigger: c or 4/75?
4/75
Let a(n) = -75*n + 1. Let u be a(-1). Let p be u/40 + (-1)/2. Let b be ((-5)/25)/((-2)/(-5))*0. Is p <= b?
False
Let l(u) be the second derivative of -u**3 + 9*u**2 - 39*u. Let w be l(3). Let s be 1/((-6)/(-11)) + -1. Which is bigger: s or w?
s
Let f = 4248537/196 + -43353/2. Let i = f + 2/49. Is -17 less than or equal to i?
True
Let z(g) = -7*g**2 - 47*g + 1. Let c be z(-16). Are -1039 and c equal?
True
Let i = -1.79 - -1.59. Which is smaller: i or -49?
-49
Let s be 0 + ((-20)/11 - -2). Let a be 3*-1 - (-3 - -4). Let v be a/(-6)*(0 - 6). Which is bigger: v or s?
s
Let v = -1795 - -1797. Suppose -6*k = -3*k. Let i = k + 1. Which is smaller: i or v?
i
Suppose -2*w + 4*l - 86 = 0, 0 = -3*w - 15*l + 20*l - 125. Which is smaller: w or -34?
w
Let v be 6/14 + (-832)/14. Let r = v - -30. Is -29 smaller than r?
False
Suppose h + 5*y = 17, 0*h = 3*h - 2*y + 34. Let j be h/(-40) + 8/10. Which is greater: j or -1/6?
j
Let h be (43/21 + -2)*(-765)/102. Which is greater: h or -1?
h
Let b be -26 + 31 - (-69)/(-9). Let h be (-1)/(-3) + (-10)/3. Are h and b equal?
False
Let v = -507 + 13687/27. Let d = 70 - 70. Which is smaller: d or v?
v
Suppose -32*r = 27*r. Which is bigger: 1/604 or r?
1/604
Let i = 291 - 291.1. Which is smaller: -1/174 or i?
i
Let t be 388/(-441)*13239/(-30). Let k = t - 568/147. Let j = -386 + k. Which is smaller: j or -1?
j
Let v be ((-35631)/(-2376) - 6) + -9. Which is smaller: 0 or v?
v
Let a = 587 + -588. Let f = -0.38 + 0.19. Is f >= a?
True
Let q(l) = l**3 - l**2 + 4*l. Let o be q(0). Suppose 2*p + 2*p - 3*x = o, 0 = 2*p - x. Is 2 > p?
True
Let u = -0.06469 + 0.06469. Suppose -b + 31 = -38. Let o = -482/7 + b. Which is greater: o or u?
o
Let i = -7 - -8. Let s be -3 + (-1 + i - -2). Let v be 17/7 + -1 + -2. Is s less than v?
True
Let f(w) = 2*w**3 - 5*w**2 + w + 2. Let r be f(3). Let j be r/((-7)/((-28)/12)). Is j < -0.1?
False
Suppose -k = 4*t + 1, k = -k - 2*t + 4. Let v(j) = -2*j**3 - j**2 + 5*j + 6. Let h be v(-1). Do k and h have the same value?
False
Let w be 126/(-35)*(-10)/4. Let o be 6*3/(w/2). Which is bigger: o or 16/3?
16/3
Let y = -13 - -41. Suppose 5*s - 17 - 9 = -4*b, 5*b + 4*s - y = 0. Suppose 8*g - 3*g - 25 = 3*j, -b*j + 4*g - 20 = 0. Is -0.02 smaller than j?
True
Let p = -143/4 + 36. Let x = -8 + 3. Let h = 4.92 + x. Which is bigger: p or h?
p
Let y = -1166/207 - 41522/207. Suppose z = -3*p - 191, 0 = -3*z - 2*z - 3*p - 1015. Let b = y - z. Which is smaller: b or -2/13?
b
Let s be (282/5)/((-81)/270). Which is bigger: s or -186?
-186
Let a be 2*4 + (-182)/26. Which is smaller: a or -3/215?
-3/215
Let k = 1095.6 + -1000. Which is smaller: 2 or k?
2
Let u(d) = -d**2 + 3*d - 4. Let m(h) = 2*h**2 - 4*h + 5. Let g(c) = -4*m(c) - 5*u(c). Let q be g(2). Let y be (43/(-5) - (-14)/(-35)) + 1. Is y >= q?
True
Let b = 0.31 - 13.21. Let x = b + 0. Let t = x + 13. Is 2 != t?
True
Suppose 2*z + 5*g + 2 - 19 = 0, -3*z + 3*g = -36. Suppose 2*u - z = 3*h, -22 = -6*u + u + 2*h. Which is smaller: 0 or u?
0
Let l(t) = -13 - 19 - 2*t + 27. Let j be l(-3). Which is smaller: -2/61 or j?
-2/61
Let j be (-351 + (-14)/7)*73/(-1562). Let q = j - -2/781. Which is bigger: 17 or q?
17
Let g be ((-30457)/12654)/((-87)/2). Let f = g - 1/783. Is f <= -1?
False
Let j = -10 - 4. Let c = 5 - 4. Which is smaller: c or j?
j
Suppose -19*o + 14*o - 5 = 0. Let w be 14/4*(-2)/4. Is o bigger than w?
True
Let b(i) = -i**2 - 10*i + 2. Let k be b(-11). Let h = k + 6. Let g = -956/3 + 316. Is g greater than or equal to h?
True
Suppose 8 = -t - 37. Let c be 12/t*(-3)/2. Is 0 <= c?
True
Let f = 153 + -152. Suppose 3*k = b + 5, b + 2 = k + f. Do k and -18 have the same value?
False
Let v = -7.26 + 7.36. Which is smaller: 2/49 or v?
2/49
Let p(o) = 19*o**3 - 2*o**2 + 2*o - 1. Let w be p(1). Suppose 2*j - w = -4*f, j + f + 1 - 5 = 0. Let q = -391/5 + 77. Which is smaller: j or q?
q
Let c(p) = -31*p - 33. Let s be c(-10). Which is bigger: s or 278?
278
Let t(g) = g**3 + 17*g**2 - 19*g - 12. Let b be t(-18). Let x(q) = -q**2 + 6*q. Let k be x(b). Which is greater: k or 39?
39
Suppose 0*z = z + 2*g - 3, 2*z - 2 = -5*g. Let t be z/(-15) - (-11)/33. Are t and 0.4 equal?
False
Let x = 189.8 - 187. Which is greater: -2/5 or x?
x
Suppose l - 5*f - 8 = 0, -3*l - 3*f + 3 + 3 = 0. Which is smaller: -180 or l?
-180
Suppose 2*v - 2*h - 4 = 0, 3*v - 4*h = h + 4. Let j = -8 + v. Let g be (-4)/(-6)*(1 + 51/(-6)). Is j equal to g?
True
Let d = 5.6 + 18.4. Let u = 25 - d. Let q be 1 - 1*2/(-12). Which is smaller: u or q?
u
Let j = -343 + 390. Are j and 39 equal?
False
Let c(f) = 17*f**3 + f**2 - f - 1. Let a be c(-1). Suppose 72 = -5*k - 3*u, 403*u - 17 = k + 401*u. Which is smaller: a or k?
a
Let t = -1.8 - -1.68. Let g = -0.12 - t. Let w = 49 + -345/7. Is g greater than or equal to w?
True
Let y = 0.01 - 2.81. Let r = y + -1.2. Which is smaller: r or 9?
r
Let z be (3/2 - -1)/(-4). Let r = -149/264 - z. Suppose 5*k + 20 = 5*s, -5*s - 14 - 6 = 3*k. Which is smaller: s or r?
s
Let p = 171.8 - 187. Let n = p + 18.2. Let j = -0.4 - 0.1. Which is greater: n or j?
n
Let m(o) = -o**3 - 17*o**2 - 29*o + 15. Let b be m(-15). Which is smaller: b or -2.7?
-2.7
Let x = -0.42 - -0.02. Let b = 19.05 + -19. Let k = -0.25 + b. Is k > x?
True
Let x(t) = -t - 4. Let p be x(6). Let f(v) = v**3 + 10*v**2 + v + 9. Let y be f(p). Do -20/9 and y have the same value?
False
Let f = 0.07 - -13.93. Let l = -17 + f. Let s = -2.9 - l. Which is smaller: s or -0.01?
-0.01
Let i(k) = -2*k - 16. Let a be i(-20). Let t(w) = 3*w + 4. Let d be t(-9). Let s = d + a. Which is bigger: 6/11 or s?
s
Suppose -2*l = -4*n - 32, -n - 4 - 40 = -5*l. Let v be (l/170)/((-12)/(-30)). Does -0.2 = v?
False
Let b be (-2)/(-1) - 3/1. Let i be -2 - b*(4 + -2). Let r = -729 - -37181/51. Is r >= i?
True
Let a be 4/(56/6) + (690/(-70))/23. Suppose 7 = 4*w + 3. Which is greater: w or a?
w
Suppose 12 = 4*h + 4. Suppose 4*a - 5 = f - 4, -3*f + 4*a + 5 = 0. Suppose -6 = -f*c - 3. Which is greater: h or c?
h
Let d = -3/20 - -47/180. Let y be ((-14)/6 - -2)*27. Let u be (9/4)/y*0. Which is smaller: d or u?
u
Let t = 282168/18607 + -98/809. Let s = t + 