 t?
i
Let q = -1313 - -1315. Which is bigger: q or 545?
545
Let k = -128 + 127. Which is smaller: k or 2/811?
k
Let x = -15.94 - -15.6. Is -4 <= x?
True
Let p = 2662 - 811907/305. Which is greater: p or 1?
1
Let d(l) = l**2 + 27*l + 38. Let v be d(-21). Let i = v + 89. Which is smaller: -1/9 or i?
-1/9
Suppose -5*b + 4*z + 33 = 0, 5*b - 14 - 15 = 2*z. Suppose 0 = -2*n + 3*d - 4 - b, -n - 1 = -5*d. Is n smaller than -6?
False
Let h be (-4)/((-28)/175)*-1. Which is bigger: h or -124/5?
-124/5
Let g(u) = -57*u**2 + 5*u + 5. Let r be g(-1). Which is smaller: r or -60?
-60
Let z = 18 - 216. Let i be (z/30 + 5)/((-4)/(-130)). Is -51 bigger than i?
True
Suppose 84 = 3*y + 3*w, 5*y - 2*w + w - 116 = 0. Let s be y/13*(-5)/(-20). Which is smaller: -1 or s?
-1
Let z = 16 - 31. Let w = z - -15.2. Which is greater: w or -3?
w
Let u = -1041 + 581. Let t be -1*4/(u/(-15)). Which is bigger: t or -1?
t
Let d = -0.1344 - -797.1344. Which is bigger: -1 or d?
d
Let h = -19.005 + 0.005. Let u = h + 20. Do u and -1/107 have different values?
True
Let o be 25/5 - (-355)/(-100). Which is smaller: 0 or o?
0
Let s(o) = -o**2 + 6*o - 1. Let w be s(6). Let t(i) = -3 - i + 2 + 0. Let m be t(-1). Is w less than m?
True
Let w be 11*(2 - 6)/4. Is w at least -7?
False
Let f be 32/14 - (-2)/(-7). Let d = 307/519 - -13/173. Which is smaller: f or d?
d
Let q = 18350 + -19340903/1054. Is 0 less than q?
False
Suppose 2*y - 94 = -3*y + 3*k, k + 71 = 4*y. Suppose 2*f = -3*l - y, 14 = -4*f - 2*l - 0. Is -24/11 at most f?
True
Suppose -5*a + 27 = 2*s + 21, -3 = -s. Which is smaller: a or 26/75?
a
Suppose -17 + 7 = -2*v. Let c(p) = -p**2 + 4*p + 6. Let m be c(v). Let x be ((-98)/(-343))/(38/14). Is m greater than x?
True
Let l be 4*((-8)/8 + (-6)/(-8)). Which is smaller: l or -4/167?
l
Suppose 27 = -3*j - 9. Let t(u) = -u**2 + 3. Let a be t(4). Which is greater: a or j?
j
Let g = -402 - -406. Which is smaller: -11 or g?
-11
Let k(b) = b. Let y(m) = m**2 - 11*m + 11. Let n(j) = 4*k(j) + y(j). Let o be n(5). Is -1/8 at least o?
False
Let n = 1618/3 + -544. Suppose 5*f + 10 = -5*b, -4*b + f - 6*f - 6 = 0. Let w = n - b. Is -0.4 < w?
False
Let n(d) = -d**3 - 16*d**2 - 39*d + 1. Let c be n(-13). Which is bigger: c or 1/184?
c
Let d = -650 + 922. Let x = 685056/11 + -62550. Let i = d + x. Which is bigger: -1 or i?
i
Let h = 1017 + -1017.5. Which is greater: h or 18?
18
Suppose 9*s - 72 = 126. Let w be 210/(-12) - 1/(-2). Let y = s + w. Which is bigger: y or 7?
7
Let q be -2 - (-2*1)/2. Suppose -20 = -4*g, 0*l = 2*l - 2*g + 4. Let r be l/(-6)*q/(-2). Which is smaller: 0 or r?
r
Let l(c) = -2*c + 2. Let s be l(3). Let y(i) = -3*i + 6. Let t be y(s). Let b be (7/(-2))/(t/(-36)). Is b greater than or equal to 0.2?
True
Suppose 6 - 106 = 3*u - q, 2*q - 165 = 5*u. Suppose 3*s + 70 = s. Let l = u - s. Which is smaller: l or 1?
l
Let w be 50/(-130)*(70/(-25))/7. Which is greater: w or 0.15?
w
Suppose 0 = -0*n + 3*n - 2*y - 28, -n + 2*y = -16. Suppose 11*p = n*p - j - 11, 21 = -3*p + 3*j. Let h = 74/5 - 17. Is p > h?
False
Let a(f) = -f**3 + 4*f**2 + 4*f + 3. Let g be a(5). Let d be g/(1*(4 - -3)). Suppose 1 = 2*m - m. Which is bigger: d or m?
m
Let o(f) = 4*f + 31. Let l(m) = -7*m - 62. Let j(u) = 6*l(u) + 11*o(u). Let i be j(12). Which is bigger: i or -5?
-5
Let l be 8 - (1 + -2 + 4). Suppose l*g = 2*g. Which is bigger: g or 5/8?
5/8
Let j = 48.92 - 40. Let c = 9 - j. Does 2 = c?
False
Let b = -317 - -336. Is b less than -2?
False
Let k = -10.8 + 8. Let t = 599 - 597.2. Let m = k + t. Is -2 bigger than m?
False
Let l = -422 + 422.19. Is l less than or equal to -13?
False
Let n = 2179/10 - 217. Let o = 26.399 + -27.399. Is o less than or equal to n?
True
Let n = 1813/5 - 360. Which is greater: n or 3?
3
Let u be (-1 - 2) + 17/((-119)/54). Let o = 37 + -47. Are u and o non-equal?
True
Let b(t) = -66*t + 140*t - 71*t - 2. Let s be b(2). Is 4 greater than s?
False
Suppose 8 = -5*h - v, 2*h = 6*h + 2*v + 4. Let j be (-366)/(-30) - h/(-10). Which is smaller: j or 13?
j
Suppose 0 = 15*o - 17*o - 8, -3*u + 4*o - 71 = 0. Which is smaller: 0.1 or u?
u
Let h be 1491/(-144) - (4 + -15). Is h at most 2?
True
Let v = -208.16 - -209. Is v < -0.1?
False
Let a = -0.505 + 67.505. Is a less than 1?
False
Let q(y) = -y**2 + 9*y - 5. Let f be q(9). Let a = -784/195 - 46/39. Are f and a nonequal?
True
Let g = 0.016 + -0.016. Let t = 0.15 - 10.15. Are g and t equal?
False
Let w(p) = -p**3 + 30*p**2 + 63*p + 38. Let m be w(32). Suppose -g + 3*a = -8, -13 - 7 = -5*g - 5*a. Is g at least m?
False
Let k be (-20)/28*(-8)/10. Let z = -37 - -37. Is k smaller than z?
False
Let q = -1 + 1. Let k(z) = -2*z + 10. Let p be k(4). Let c be p/14 + (-12)/35. Which is bigger: c or q?
q
Let v = 377 + -376.859. Is v bigger than 0.2?
False
Let b(i) = i**3 - 4*i**2 - 8*i - 25. Let z be b(6). Is 3/271 < z?
False
Let g = 9 - 3. Let r = -8 + g. Suppose c - 3 = 3*y + 4*c, 0 = 3*y - 2*c + 18. Which is smaller: y or r?
y
Suppose 54*p - 80*p - 5590 = 0. Is p != -215?
False
Let d = 9 - 19. Suppose -2 = n + 3. Let t(p) = p - 4. Let k be t(n). Is d smaller than k?
True
Let p = -23135 + 115283/5. Does p = -77?
False
Let b be ((-2)/(-25))/((-16)/80). Let f = -0.055 - -0.016. Which is greater: f or b?
f
Let k = 82 + -200. Let i = k - -118.51. Does i = -0.1?
False
Let p = 26 + -12. Let d = p + -12. Suppose d*f + g = 3, -4*f + 1 = -g - 2*g. Is f bigger than -2/41?
True
Let b(k) = -k**2 + 37*k + 40. Let q be b(38). Which is smaller: q or 39/19?
q
Let l be ((-52)/(-8) + 0)/(3/(-54)). Is l greater than -117?
False
Let j = -199140/73 + 2728. Suppose -3*g - g = 0. Is g >= j?
False
Suppose -2*z + 5*u = u - 14, -5*u = 15. Let g be 2*z/5*10. Suppose 0 = 4*h - 4*f, 0*h = -5*h - 5*f + 50. Which is smaller: h or g?
g
Let c(y) = -y**3 + 26*y**2 - 25*y - 1. Let o be c(25). Is o <= 5/28?
True
Let r(d) = -d**2 - 14*d - 29. Let a be r(-11). Let b(j) = 2*j**3 - j**2 + 2*j - 1. Let x be b(1). Let u be a/x - (-812)/(-413). Which is bigger: u or 1?
1
Let b = -192/7 - -1619/70. Is b >= -5?
True
Let f be -7 - (-54)/(-6) - -2. Is f greater than -12?
False
Let q(g) = -g**2 - 2*g + 24. Let w be q(-8). Which is bigger: 0 or w?
0
Suppose -2 + 0 = 2*y. Let j(f) = 7*f**2. Let a be j(y). Which is smaller: a or 6?
6
Let m = -0.7 + -7.3. Let h = -5.3 + 5. Are h and m unequal?
True
Suppose 0 = -22*z + 23*z - 110. Which is bigger: 2 or z?
z
Let n be 914/8 + 4/(-16). Which is bigger: n or 113?
n
Suppose -2*s + 3*k + 31 = 0, -5 = -5*s + 5*k + 70. Is 99/7 less than s?
False
Suppose 5*q - 37 = 3*k - 15, -4*k = 2*q + 38. Let y(f) = -f**3 - 9*f**2 - f. Let n be y(k). Let x(o) = 10*o - 1. Let p be x(1). Is n at most p?
True
Let d be (-3 - 0) + (-5)/10*-4. Does d = 1/287?
False
Let p be 9/(-54) + (-2 - (-202)/(-12)). Which is greater: p or -3?
-3
Let g(i) = -i**2 - 14*i - 10. Let h be g(-8). Let x = h - 37. Which is greater: -1/17 or x?
x
Suppose 0 = -3*c - 2*z + 23, 5*c + 0*z - 3*z = 70. Suppose i - 4*i + 81 = 0. Let a = i - c. Which is greater: 17 or a?
17
Suppose 255 = -5*o + 5*s, -14 = 4*s + 6. Are -57 and o equal?
False
Let h be 5/10*(-9)/576*-1. Is 1 equal to h?
False
Let w = 2 + 4. Let d be (-3)/(4/24*9). Let n be d/4 + 135/18. Do n and w have different values?
True
Suppose 3*h + 5*z - 24 = -h, 0 = 5*h - 3*z + 7. Let g = h - 4/3. Suppose 11*a + 231 = 242. Which is smaller: g or a?
g
Let a(g) = g**2 + 14*g - 16. Let y be a(-14). Suppose -40 = 5*m + 50. Is m <= y?
True
Let h(l) be the second derivative of -l**4/6 + 2*l**3/3 - l**2 - 6*l. Let u be h(2). Is 11 greater than u?
True
Suppose 2*u - 11*h + 8*h - 10 = 0, 2*u + h = -6. Which is smaller: -8/27 or u?
u
Let n be 9 + -8 + ((-2)/(-4))/(-1). Let u be 98/(4*(28/8 - 4)). Does u = n?
False
Let s = 5206 + -869405/167. Is s > -1?
True
Suppose v - 5*g - 7 = 0, v = -g + 5*g + 6. Suppose 0 = -3*h - 10 + 25. Which is smaller: v or h?
v
Suppose -35*q = -28*q - 2632. Is q greater than or equal to 377?
False
Let i = -293/7 - -194/7. Is -14 bigger than i?
True
Suppose -5*y + 5*t - 25 = 0, -3*t + 2 = -2*t. Let b = 14 + -8. Let g be (-2)/3 + (-8)/b. Is g at most as big as y?
False
Let f = 1.65 - 1.55. Which is smaller: 145 or f?
f
Let i = 9 - 14. Let q be 3*(-2 + 6 + -1 - 1078/396). Which is bigger: i or q?
q
Let c = -77 - -75. Let t be (c - 214/(-10