3?
False
Suppose 0 = -26*y - 3488 + 316. Do -2 and y have the same value?
False
Let c = -67.79 - -0.79. Which is bigger: c or 0?
0
Suppose -3*f - 93 = 3*p - 2*p, -4*p = -3*f - 93. Let a(l) = 45*l - 30. Let x be a(0). Which is smaller: x or f?
f
Let p = 18 + -45.3. Let w = 27 + p. Is 2 less than or equal to w?
False
Let o = -143 + 182. Which is bigger: o or -2/9?
o
Let f = -781 - -778. Which is greater: f or 27?
27
Suppose -5*f + 3*f + 44 = 0. Suppose 24 - 4 = 5*x. Suppose -2*v - 3 - 4 = i, -x*i = 2*v + f. Which is smaller: v or 1?
v
Let x = -301 - -305. Is x <= 33/7?
True
Let z(u) = -u**3 + 14*u**2 + 32*u - 20. Let f be z(-8). Are 1133 and f equal?
False
Suppose -15*l - 4*y - 88 = -11*l, -5*l - y = 110. Let x = -29 + 7. Is x at most as big as l?
True
Let i = 33 + -47. Let v = 13 + i. Which is greater: 51 or v?
51
Let k = -389 + 346. Which is smaller: -45 or k?
-45
Suppose 4*q + 5*v = 1 + 25, -3*v = -2*q + 2. Let o(x) = 3*x + 2. Let m be o(q). Let z be m/(-56) + (-7)/(-12). Are z and -1 equal?
False
Let u(l) = -l**3 - 9*l**2 + 10*l - 2. Let s be u(-10). Let t(r) = -r + 1. Suppose 0 = 3*x - 8 - 1. Let j be t(x). Does j = s?
True
Let w = 1528 + -1569. Is -52 less than or equal to w?
True
Let q(w) = w**3 - 15*w**2 + 47*w - 11. Let j be q(6). Suppose -3*c = -6*c - 159. Are j and c equal?
True
Let g = 674/207 + -28/9. Let j = g - 628/3381. Which is bigger: 0 or j?
0
Let s be (-4776)/182*(-40)/15. Let h = 492/7 - s. Is h <= 0?
False
Suppose 2*p - 5*p - 6 = 0, 0 = 4*s - 3*p - 26. Suppose -z = 3*z + s*v + 4, 3*z + v = -14. Is z not equal to -38/7?
True
Let o = -769 + 771. Which is smaller: o or 95?
o
Let t be 5*8*261/812. Let a = t - 173/14. Which is greater: a or 0.93?
0.93
Suppose 6*q + 80 = 608. Let u be (-6)/(-5)*40/q. Is 2 less than or equal to u?
False
Let t be (2/10)/(1084/(-20) + 0). Which is bigger: 0 or t?
0
Let q be 4/(-14) - 718/(-14). Let d be ((-310)/(-5) - 2) + -8. Which is smaller: d or q?
q
Let k = 219 + -379. Is -160 at most k?
True
Let q = -167 - -200. Is 34 at least q?
True
Let d(q) = -12*q. Let f be d(3). Let u be (-6)/33 + f/44. Is u bigger than -2/45?
False
Let v(p) = p**3 + 10*p**2 - 21*p + 45. Let i be v(-12). Which is bigger: i or 203/24?
i
Let l be (-15)/(-5)*75/(-45). Is l greater than -105/19?
True
Let m(o) = -2*o**2 - 2*o - 1. Let d be m(-1). Let s = 1/259 - 1818/1295. Which is greater: d or s?
d
Let z = -0.211 - -0.411. Is z > 136?
False
Suppose s + 6 = 2*s. Let y(o) be the third derivative of o**5/60 - o**4/4 + o**3/6 - 41*o**2. Let x be y(s). Which is bigger: 10/11 or x?
x
Let t = -29 - -58. Let h be (-4 - -5)*(-16 + 15)*(1 + -28). Which is smaller: t or h?
h
Let b be 2/3 + 250/(-6) + -1. Let c = b + 169/4. Which is smaller: -5/4 or c?
-5/4
Suppose 0 = 5*y - 5*n - 1765, -4*y - 5*n + 1815 = y. Which is smaller: y or 357?
357
Let a be (24/(-14))/(1/7). Suppose -4*i = -r - 3*r + 40, 0 = -3*i - 3*r - 42. Do a and i have the same value?
True
Let r = -1170 + 1389. Is -2/3 greater than or equal to r?
False
Let y = 73/9 + -205/9. Which is smaller: y or -16?
-16
Let b = 1.14 + -26.64. Let y = 25 + b. Is y at least as big as 0.2?
False
Let j = -106.5 + 1.5. Let i = -105 - j. Which is bigger: 0.1 or i?
0.1
Suppose -5 = -5*v - 2*b, -2*v = -3*b + 7*b - 18. Which is smaller: 77 or v?
v
Suppose 2*m - 4*a = -14, -5*a = 2*m - 13 - 0. Let x be ((-8)/162)/(100/(-30)). Which is bigger: m or x?
x
Let v(k) = -4*k**2 + 96*k - 56. Let j be v(24). Which is bigger: -54 or j?
-54
Let i be 1 + ((-24)/26)/1. Let w(h) = h + 10. Let p be w(-10). Suppose 0 = s - p*s. Are i and s equal?
False
Let k(i) = i**3 + 5*i**2 - 6*i + 3. Let s be k(-6). Let r be ((-48)/((-3)/(-1)))/1. Let u be (-4)/3 + r/(-12). Is s greater than or equal to u?
True
Let j = 40 + -10. Suppose -4*q = -7*q + j. Is 10 less than or equal to q?
True
Suppose -7*k - 1162 + 1148 = 0. Which is smaller: k or 287?
k
Let t = 7659/565 - -5/113. Which is smaller: 13 or t?
13
Let b be 1*3 + (-21 - -1). Let l be 16/(-64) - (-1 + 213/12). Do b and l have the same value?
True
Let k(d) = d**3 - d - 19. Let y be k(0). Let j = y + -1. Is -20 >= j?
True
Let r = 23 - 331. Let o be (-251*40/r)/(-23). Let c = -32/23 - o. Is c at most -1?
False
Let r be 2 + 2 + 2 + -1. Let f = -229.8 + 229.1. Which is bigger: r or f?
r
Let x = -190 - -190. Is x at most -3/158?
False
Let l = 1184 + -58018/49. Let p = 164 - 163. Which is smaller: l or p?
l
Let c = 0.6 + 10.4. Let d = 9.6 - c. Let h = d - -1.5. Which is smaller: -2/5 or h?
-2/5
Let x be 4/(-6) + 118/(-12)*16. Is 0.1 < x?
False
Suppose 2*h + 5*g - 57 = 0, 2*h - 19*g = -15*g + 66. Is h at least 31?
True
Let p be 12/114 - (-17410)/304. Is p less than 57?
False
Let x(f) = -f**3 - 5*f**2 + 6*f + 1. Let b(l) = 10*l + 4. Let o be b(-1). Let q be x(o). Which is smaller: 3/2 or q?
q
Let r be (-22)/(-88)*(-4)/3. Let g be -3 + (0 - -1) + 0. Is r bigger than g?
True
Suppose 0 = 26*s + 202 - 46. Which is smaller: s or -96/13?
-96/13
Let c be (1 - 1862/(-622)) + 836/(-209). Which is smaller: c or 0?
c
Let h(s) = 11*s**2 - 8*s - 21. Let t be h(8). Is t at most 619?
True
Let w = -5.56 - -0.06. Let l = -7 + 2. Let j = w - l. Which is bigger: -0.1 or j?
-0.1
Suppose -19*i + 18*i + 75 = 0. Which is smaller: i or 74?
74
Let u be ((-223 - 3)*2)/((-4)/2). Let t be 9/3 + u/(-74). Is -1 bigger than t?
False
Suppose 0 = -50*t + 40*t + 110. Which is greater: t or -8?
t
Let r = -198 + 237. Are r and 39 unequal?
False
Let q = -680 - -3401/5. Which is smaller: q or 16/11?
q
Let a = 550 + -2733/5. Suppose 4*j - i - 22 - 46 = 0, 4*j - 76 = 3*i. Suppose j = o + 3*o. Which is greater: o or a?
o
Suppose -28 = -3*d + 2*d. Suppose 4*x - d = 8*x. Suppose -6*t - 48 = 2*t. Which is greater: t or x?
t
Let w(s) = -s**3 - 6*s**2 + 3. Let k be w(-6). Suppose -3*t = -3*y + 2*t + 7, -k*y - 7 = 2*t. Let b = 2899/20 - 145. Is b greater than y?
True
Let t = 55 - 55. Suppose t = 2*a + 1 + 29. Is a < -16?
False
Suppose 6 = 4*d + p, 5*d - 3*p + 4 = 3. Let m be 20/(-66)*(-3)/15. Which is smaller: m or d?
m
Suppose -5*q + 668 = 218. Let v = -2374 + 2463. Is v greater than or equal to q?
False
Let h be (-6)/(-20) + -1 + (-2)/(-4). Let k = 0.02 + -0.11. Which is smaller: k or h?
h
Let o = -868 + 1715/2. Which is bigger: -12 or o?
o
Suppose 3*c = -3*z - 0*c - 6, 0 = 4*z + 3*c + 9. Let t be z + (2/7 - (-1158)/(-84)). Is -18 at most t?
True
Let s be (1 - 4/1)/(231/1100). Is s smaller than -14?
True
Let p be (137/(-18))/((-7)/(-154)). Let r = p - -169. Are -1 and r nonequal?
True
Let x = 29 + -43. Let p = x - -13. Is p at least as big as 2/15?
False
Suppose -q = -3 + 2. Let y = 87/4 + -147/2. Let k = -52 - y. Are q and k non-equal?
True
Let l be -5 + 8 - (-105)/(-25). Let y = 3/5 + l. Let w = 6 + -4. Which is bigger: w or y?
w
Let l = -24 - -21. Let a be (-1232)/330 + 1/3. Which is greater: a or l?
l
Suppose 0 = 3*l - 2*p - 2 + 3, -2*l - 19 = -5*p. Let d be (2 - l) + ((-70)/(-16))/7. Let m = 0.6 + 1.4. Is m at least d?
True
Let x be 42/77 + 1472/44. Does x = 28?
False
Let s be 11115/(-399) - ((-2)/(-14) - 0). Which is greater: s or -10?
-10
Suppose -5*w + 0*v - v = 25, 2*w + 10 = -v. Let o(p) = p**2 + p - 12. Let m be o(w). Is 6 not equal to m?
True
Let q(h) = 8*h - 323. Let j be q(39). Which is greater: j or 70?
70
Suppose 4*l + v + 28 = -3*v, 3*v + 7 = 4*l. Is l less than or equal to 81?
True
Let r be -3 + (89 - -1)/3. Suppose 0*x + r = -3*x. Let v be x/(-2)*(-3)/36. Which is smaller: v or -1?
-1
Let x be ((-32)/(-1040))/(1 - (-179)/(-177)). Let k = x - -25/13. Is k at most as big as -1?
False
Let b(x) = x**3 + 2*x**2 - x + 1. Let s be b(-2). Let y = s + -5. Let k be 288/1100 + y/11. Is k >= 0.1?
False
Let i = 1755 + -2137. Is i greater than -382?
False
Let p(m) = 12*m - 1. Let t be p(-2). Let w = -20 - t. Suppose -u = u - 8. Is u != w?
True
Let q = -1022289/724 + 1412. Which is bigger: q or -1?
q
Let q = -1.7 - 27.3. Is q less than 7/5?
True
Let t(a) = -a - 2. Let r be t(-7). Suppose -r*q + 4 = -f - 8, -4*q - 3*f + 21 = 0. Let p be (-1)/4 + 13/4. Is p greater than or equal to q?
True
Let v be (-662)/8 + 1 - (-18)/(-72). Let b be (-18)/6 + v/(-28). Is b greater than 0?
False
Let t be (6/3 - 35)*(-164)/10209. Which is smaller: 2 or t?
t
Let r = 5/1477 + 13185/468209. Is 1 greater than or equal to r?
True
Suppos