
z
Suppose 0 = 5*n + 5, -n + 104 = 5*a. Which is greater: a or -2?
a
Suppose -3063 = -5*z - 69*c + 70*c, 0 = 3*z + 2*c - 1843. Which is smaller: 614 or z?
z
Let k be ((-4)/(-3))/((-14)/(-21)). Suppose k = -4*n - 18. Let h = -384 - -761/2. Which is greater: n or h?
h
Let t be 1*(169/5)/1 + 2. Let j = -34 + t. Is j at most as big as 1?
False
Let z(j) = -j**3 - 4*j**2 + 4*j - 8. Suppose 130*n - 15 = 133*n. Let k be z(n). Let l = 3 + -12. Which is smaller: l or k?
l
Let z be 5*(18/(-10) + 2). Let c(q) = -4*q**2. Let o be c(z). Let h(y) = y + 4. Let p be h(-6). Which is greater: p or o?
p
Let t = 2.19 + -1.89. Which is smaller: t or -24.4?
-24.4
Let o be (-7704)/15 + (54/30)/3. Which is greater: -514 or o?
o
Let b(j) = -2*j - 9. Let q be b(-3). Let y be (-4 - q) + 1 + 2. Suppose -2*k + 0*k = -y. Which is smaller: 14 or k?
k
Let o = -520 + 19759/38. Which is smaller: o or -4?
-4
Let i(d) = -16*d - 103. Let q be i(-4). Are -39 and q unequal?
False
Suppose -2*h + 5*g = -18, 0*h = h - 3*g - 9. Suppose h*x + 6 = 10*x. Is x less than or equal to -1/3?
False
Let z = -8 - -8. Suppose z = -r - 0*r. Suppose r*k + 10 = -k. Which is smaller: -1/2 or k?
k
Let o = -66/73 + 6840/7081. Which is bigger: 1 or o?
1
Let z be (-17)/19 + (-2)/19. Is z greater than or equal to 3.23?
False
Let z be ((-2)/(-10))/(14/(-5)). Let j be 340/(-1360)*(1 + 5*-1). Is z at least as big as j?
False
Let s be ((-23)/86)/(79/158). Which is bigger: s or -1?
s
Suppose -2*g + 0*z - 8 = 2*z, 4 = 5*g - 3*z. Let c be (2*g)/(1/6). Let b be (-16)/c*(-1 - 2). Does -4 = b?
True
Suppose 0 = 2*b - w - 30, 12 = 4*w - 4. Suppose 0 = -i - b + 4. Let n = 9 + -24. Which is smaller: n or i?
n
Let q(w) = 2*w - 8. Let f be -12*(-1)/(-3)*-1. Let c be q(f). Let n be 0/(-2) + (c - -1). Is n != 1?
False
Let n be (-4)/63 + (-24)/14 + 2. Let d(b) = -29*b**3 + b**2. Let g be d(1). Let j be 1/g - 3/12. Is j not equal to n?
True
Let q = -0.13 + -4.87. Let h = q - 5. Let p = h + 10. Is p greater than 0?
False
Suppose 0 = -2*q - u + 437, 173 = q - u - 47. Is 216 greater than q?
False
Let w = -1117 + 1111.29. Let h = w - -6. Which is smaller: h or 0.1?
0.1
Suppose 304*d = 300*d + 2856. Are 714 and d non-equal?
False
Let x = 1 - -2. Let m = x + -2.3. Let k be (-1)/(-4)*(-32 - -31). Is m <= k?
False
Let i be (-1 + 0)*(-2 - -4). Let c = -1/2775 - 3679/58275. Let j = -155/126 - c. Which is bigger: i or j?
j
Let y(v) be the third derivative of v**6/60 - v**5/30 - v**4/12 - 3*v**2. Let a be y(2). Suppose 4*h = 8, 0 = 3*x - h + a + 1. Is x smaller than -3?
False
Let l(t) = t**2 - 4*t - 26. Let u be l(6). Let k be (u + 1)*1 - (5 - 9). Suppose 4*n + 4*i = 6*n + 2, 5*n = -2*i - 53. Is n != k?
False
Let d = -2 + 1. Let u(i) = -i**3 + 10*i**2 - 10*i + 15. Let g be u(9). Suppose 4*x + 40 = -g*x. Is x smaller than d?
True
Let t = 2983/11 - 270. Let k = t - 62/99. Let a = 3 + -2. Is k at most a?
True
Let d be ((-101)/(-10))/(10/90). Let t = d - 179/2. Let r(k) = k**2 + 13*k + 12. Let o be r(-12). Is o equal to t?
False
Let y(c) be the first derivative of -c**2/2 + 5*c - 7. Let d be y(4). Suppose d + 2 = -3*a. Is 1/13 less than a?
False
Let x be (-3)/(-5)*5/1. Suppose 0*y - x = y. Suppose -35 = -p - 39. Is p equal to y?
False
Let i = 35563/6 + -5927. Let l be 3/(-2 + (-1)/(-2)). Let p be l/(2*(3 - 2)). Which is bigger: i or p?
i
Let o be 2*(3 - 2/(-2)). Let d(t) = t - 8. Let v be d(o). Suppose v*g + 12 = 4*g. Is 4 not equal to g?
True
Let x be (-4)/(-18)*(-73 + 74). Suppose -5*s = -0*s - 30. Let v(u) = -u + 7. Let i be v(s). Is i != x?
True
Let f = -179.1 + 177.6. Which is greater: f or -33?
f
Let b be ((-4)/8)/((-7)/2). Suppose 3*k - 4*t + 3 = 0, 3*k - 5*t + 8 = 5. Are b and k unequal?
True
Let w = 4275/2 + -97905/46. Which is bigger: w or 9?
w
Let f = -1697.1 + 1697. Which is greater: 189 or f?
189
Let p = -3 + 4. Let r = 179/6 + -85/3. Is p smaller than r?
True
Suppose -4*z = -0 + 12. Let x(v) = 3*v - 15. Let i(t) = -t + 1. Let a(b) = i(b) + x(b). Let u be a(7). Is z at least u?
False
Suppose 3*h - i - 55 = -2*i, -i = -4*h + 71. Let a = -72 + 76. Suppose 5*n + 62 = a*w, -5*n + 54 = 2*w + 8. Is w at least h?
True
Let s be 1 + -6*3/6. Let d be 2/(-67)*4/s. Let a = d + -241/670. Which is smaller: 0 or a?
a
Let p = 0.484 - 4.114. Which is bigger: 1/4 or p?
1/4
Let v be (-10)/3 + 7/21. Let c be 248/(-12) - (-1)/v. Let b = -63 + 43. Is b less than c?
False
Suppose 2*s - 1 - 2 = -z, 0 = z - 3*s - 3. Let k be 1 + (1 - 4) - z. Is k equal to -5?
True
Let w be 861/14*(-4)/(-3). Let k = w - 82. Is k bigger than 2/13?
False
Let l(p) = p**3 - 2*p**2 - 2*p - 1. Let d be l(-1). Let z(n) be the second derivative of -n**3/6 - 7*n**2/2 - 11*n. Let t be z(-7). Which is smaller: t or d?
d
Let c = -295 - -314. Which is greater: c or 8?
c
Suppose 86*h - 91*h = 15, -m + h = -131. Is 127 at most as big as m?
True
Let p be -2 - ((-371)/75 + 3). Suppose 10*r - 8*r = 6*r. Which is smaller: p or r?
p
Let y be (-1)/(2/(2 + -32)). Let q(k) = k**2 + 16*k + 31. Let a be q(-15). Let w = a - y. Which is smaller: 3/7 or w?
3/7
Let d = -35.6 + 35.2. Is d != -0.2?
True
Let c = 196 - 136. Let q(b) = 13*b - 32. Let n be q(7). Which is smaller: n or c?
n
Let c = -7 + 17. Let h be (-24)/c + (-6)/(-15). Let j be (130/(-36))/5 - 4/(-18). Is h at most j?
True
Let o = 47 - 24. Let z = 21 - o. Do 0.4 and z have the same value?
False
Let f = -545 + 896. Is 350 equal to f?
False
Let u be (-1332)/(-162) - 4/18. Are -7 and u equal?
False
Let o = -0.9 + -0.1. Let s = -2/153 - 83/153. Which is smaller: o or s?
o
Let n(s) = -12*s + 43. Let g be n(12). Let w = 109 + g. Are w and 7 nonequal?
True
Suppose -v + 2*q - 2 = 2, -4*v = -q - 19. Suppose -5*w - v = w. Which is greater: w or 3/13?
3/13
Suppose 0*b + 14*c = 5*b - 23, -3*b - 5 = c. Let t = -298127/125 + 2385. Which is bigger: t or b?
t
Suppose -66 = -t - 2*t. Suppose t*u + 4 = 18*u. Let d = -593/370 + 1/370. Which is smaller: u or d?
d
Suppose 5*c + 82 - 297 = 0. Let q = c + -28. Which is smaller: 14 or q?
14
Suppose 0*l - 2*l + 22 = 0. Suppose 0 = -l*t + 2 - 2. Do t and 7/17 have different values?
True
Let f = 2401 - 1454. Is 948 at most as big as f?
False
Let w be 1*-1 - (-47952)/(-64). Let p = w + 32767/44. Let f = p - -63/11. Is -1 >= f?
False
Let h be (4 - 2)*(-1)/2. Suppose -4*y - 22 = 5*a, 3*y + 29 = 5*a - 5. Let b be ((-2)/1)/y*h. Which is greater: -1/3 or b?
b
Let u = -340 - -355. Is u greater than or equal to 2/11?
True
Suppose -4*i + 4 = 4*f, 6*f = 4*i + 4*f + 2. Let t = i + -1. Is t less than -2/57?
True
Let y be 2 - 4*(-85)/(-70). Is -3 != y?
True
Let q = -655 + 690. Do 40 and q have the same value?
False
Let g be 2 - (-2)/(-2) - 2. Let z be 0 - (-1)/((-330)/39). Let f = z + -2/11. Which is smaller: g or f?
g
Let d = -229 - -159. Is -70 != d?
False
Let z be (120/(-28))/(18/279). Are z and -66 equal?
False
Let b = -204.04 - 4.96. Let p = b - -223.1. Let c = -14 + p. Which is smaller: -1 or c?
-1
Let f = -203.019 - -203. Which is smaller: f or 2/5?
f
Let s = -165967/6 + 27481. Let g = s - -180. Let o be (1/(-2)*0)/(-2). Which is smaller: g or o?
g
Let r(k) = k**3 + k**2 - 13*k - 15. Let f be r(-4). Which is bigger: f or -21?
f
Let k = 2 + -2. Suppose 5*o + 0 + 10 = k. Suppose -25 + 36 = -11*w. Is w equal to o?
False
Let s be (-1)/(-3) + 33/9. Let p(n) = 7*n - 21. Let d be p(s). Is 4 bigger than d?
False
Let i be (1 - 10)/((-3)/2). Suppose i*q = -0*q. Which is greater: 1 or q?
1
Let j(b) = -b**3 + b**2 - b + 6. Let y be j(0). Suppose 0 = 5*h - 7*h + 4. Is y at least as big as h?
True
Let i = 190 - 289. Are -96 and i nonequal?
True
Let k = 83/52 + -24/13. Is -1 greater than k?
False
Let z = 18750 + -10481253/559. Is z less than 0?
True
Let f be (2691/(-891) - -3) + 2/(-22). Which is smaller: f or -2/5?
-2/5
Let o = 5 + -11. Let h(m) = -m**3 - 7*m**2 - 8*m - 9. Let k be h(o). Is 3 smaller than k?
False
Let j be -2 + 3 + (-2)/2. Let b be (-160)/(-72) - (-2)/(-9). Suppose -3*f - 4*r = -5*f, -b*f - 3*r - 7 = j. Which is smaller: f or -6/11?
f
Let l be 32/60*(-297)/(-44). Is 3 at least as big as l?
False
Let u be (-16588)/48 + (-1)/(-4). Does u = -346?
False
Suppose -3*r + 35 = 2. Let u be (-6)/20 - (-889)/(-70). Let b = u + r. Which is greater: b or -4?
b
Let q = -853 + 1272. Which is bigger: q or 421?
421
Let g = 5697 +