23). Is 106 greater than c?
False
Let s = 2582 - 2675. Which is smaller: s or 2.2?
s
Let z be ((-4)/2)/(-198 - -208). Is z equal to 57/403?
False
Let r be 9 - (-4)/4*(-356)/4. Is -94 at least as big as r?
False
Let a be ((-81)/(-4) + -2)*(0 - -12). Let k = 7799/6 + -3244/3. Which is greater: a or k?
a
Let f = -1533.701 + 1533. Let j = 1.001 + f. Is -94 != j?
True
Let k(j) = -7*j - 12. Let w be k(-2). Suppose -b = -0*b - 3*p - 14, -b + 10 = -w*p. Suppose -b*t = -7*t - 130. Are t and -27 equal?
False
Let j = 2393 - 3871. Let i be (32/(-594))/((-7 - 4)/301785). Let r = j + i. Which is smaller: -1 or r?
-1
Let r(f) = -8*f - 841. Let a be r(-46). Which is smaller: a or -475?
-475
Let o(f) = 776*f - 3873. Let x be o(5). Which is smaller: x or 28?
x
Suppose -i = -w - 2, -4*i + 11 = i - 4*w. Let k be -6 + 10 + i/3*-4. Are -10/19 and k equal?
False
Let u(v) = -v**3 - 161*v**2 - 42*v - 33036. Let n be u(-162). Let p = 24 + -40. Let b = -5 - p. Which is greater: b or n?
n
Suppose 3*g + 50 = -2*g. Let s be ((-16)/g)/((-3)/(-30)). Let u = -0.86 + 1.86. Which is smaller: u or s?
u
Let l(i) = i**2 + 10*i - 761. Let a be l(16). Which is smaller: a or -1381/4?
-1381/4
Let s = -82051/72 + 12800/9. Which is bigger: 283 or s?
283
Let d = 5 + 0. Suppose 13 = d*o - 17. Let l be (-15)/o*(-1 + 0 - -3). Which is smaller: l or -4?
l
Suppose 769 + 122 = 33*y. Suppose -y*o + 18 = -33*o. Which is bigger: -15 or o?
o
Suppose 2*d + 5*u + 15 = 247, -4*d - 2*u + 464 = 0. Let q = d - 169. Which is bigger: -54 or q?
q
Let v = -171 + 175. Suppose -2*m - 4 + 5 = -g, v = 3*m - 4*g. Is 65 > m?
True
Let m = -69 + 60. Let h = -49 - m. Let o = -43 - h. Do o and -0.1 have different values?
True
Let m(f) be the first derivative of -49 + 21*f - 5/2*f**2. Let c be m(4). Do 3/58 and c have the same value?
False
Let b = 570.98 + -571. Let c = 24.3 + -24. Which is smaller: b or c?
b
Let n(f) = -11*f - 130. Let t(q) = -2*q - 22. Let p(g) = -6*n(g) + 34*t(g). Let s be 12/(-30) + 164/10. Let k be p(s). Is k <= -4/29?
False
Suppose 860*p - 3360 = 863*p + 3*a, -5*p - 2*a - 5588 = 0. Which is bigger: p or 0.01?
0.01
Suppose -2*c = -1 + 11. Suppose -4*b - 168 = 2*b. Let f = -30 - b. Is c less than f?
True
Let m(f) = 15*f**2 - 1754*f - 111. Let y be m(117). Let c be (354/15)/((-2)/(-10)). Suppose -c = -y*h + 284. Is 68 at most as big as h?
False
Let l be ((-42)/(-13808))/(51/(-748)*-11). Do -1 and l have the same value?
False
Suppose 28 = -4*t + 5*b, 2*t + 0*b = -b. Let d be 1/3*((-118)/11 + t). Let c = 21/11 + d. Which is smaller: -3 or c?
-3
Suppose -5*q - 5*d - 31533 - 17842 = 0, -7*q = d + 69083. Which is smaller: q or -9867?
q
Suppose -604*q = -1207*q + 600*q + 6975. Which is smaller: 2326 or q?
q
Suppose -l = -3*j, -25*l + 29*l = 2*j. Which is greater: -940 or l?
l
Let n = 77 - 78. Let t be (-259)/42 - -7 - n. Is 2 > t?
True
Let g = -27463 - -27464. Which is smaller: g or -4/1461?
-4/1461
Suppose -133*w + 294081 = 50*w. Is 1611 != w?
True
Let o = 8 - 4. Suppose -l = -3*x + o*x - 14, -3*x = -2*l + 48. Which is smaller: l or 15?
15
Let b be (-16)/21*(-3)/(-2). Suppose x - 29 - 67 = -4*t, 0 = 2*x - 3*t - 170. Let j = x + -90. Which is smaller: b or j?
j
Let a = -2.0152 - -0.0152. Are -13 and a equal?
False
Let u be (4674/(-95))/(3/5). Which is smaller: u or -491/6?
u
Suppose 6*f + 90 = 3 - 315. Which is greater: f or -5?
-5
Let j be (3/((-27)/(-310218)))/((-2)/6). Let h = j - -5377273/52. Let i = 9/26 - h. Which is bigger: -2 or i?
-2
Let m = -1310/3 - -432. Let c(s) be the third derivative of s**6/120 - s**5/20 - s**4/12 - 2*s**3 - 158*s**2. Let d be c(4). Which is smaller: m or d?
m
Suppose -47*g = -45*g. Let o be 17/2604*(-4)/(-26). Let v = 3/217 - o. Which is greater: g or v?
v
Let h = 3.2 + -3. Let d = -80340 - -80556. Which is smaller: d or h?
h
Let o = 8707 + -8763. Which is bigger: o or -41?
-41
Let p = 21 - -19. Let n = p + -39.8. Which is greater: 4/5 or n?
4/5
Let y = 256676150/17151 + -44897/3. Which is bigger: y or 1?
1
Suppose 0 = 57*m - 419 + 134. Suppose 11*w - 14*w - m*s - 7 = 0, 3*w - s - 5 = 0. Are 2/219 and w nonequal?
True
Let i(f) = f + 17. Let h be i(-15). Suppose -n + h*n - 5*m = -21, -2*n - 26 = -2*m. Let l(y) = 6*y + 33. Let z be l(n). Is -33 > z?
False
Suppose 0 = z - 5*h - 3, 3*z - 53 = 4*h - 11. Let l be ((-20)/(-3))/((18/(-3))/z). Let n be (1 - 5/3)*24. Is l != n?
True
Let h = 824 + -58. Which is smaller: 0 or h?
0
Let o = -12313 - -12312. Which is smaller: -2079 or o?
-2079
Let v(u) = -2*u + 52. Let m(q) = 50*q + 35. Let b be m(-1). Let f be v(b). Are 80 and f nonequal?
True
Let j be 758/6 + (-8)/(-12). Suppose -6*z + j + 89 = 0. Is z < 33?
False
Let f(i) = -10*i + 67. Let a(u) = -u - 1. Let o(w) = -2*a(w) + f(w). Let x be o(9). Suppose 12 = j - 5*t, 0*j - j = 4*t + 15. Is x >= j?
True
Let l be 5/(10/3) + (-18)/(5148/14069). Is -47 smaller than l?
False
Suppose -3*r + 1267 = 1276, -r - 21 = -3*m. Which is smaller: m or 208/41?
208/41
Let c = -512.0711 - -0.0711. Let a = c + 511.3. Which is bigger: a or -1/3?
-1/3
Suppose -5*p - 2*v = -v - 22, 18 = 2*p + 5*v. Suppose -2*j = o + p, 0 = -3*o + 6*o + 4*j + 8. Is o greater than -199?
True
Let g = -111265/16 - -6954. Which is smaller: g or 32/3?
g
Let c be (55/5)/((-198)/(-18)). Let y be (1/29)/((-1)/(-1)). Is y > c?
False
Let a = 80180 - 74807930/933. Is a bigger than 0?
True
Let d(x) = 13*x - 80. Let m be d(6). Let v(u) = -14*u - 3. Let q be v(-1). Suppose q*w - 15*w - 12 = 0. Which is smaller: w or m?
w
Suppose -15 = -3*z, 5 = -2*n + 7*n - 4*z. Suppose n*o = -20, 0 = -4*t - 4*o - o - 188. Let i be 2/(-8) - 1837/44. Is i bigger than t?
False
Let f be ((-63)/(-36))/(2/24). Suppose -2*v = -5*s - 14, -4*v + f - 5 = -4*s. Let a be 0/(-1*((-2)/1)/v). Which is bigger: a or 3/5?
3/5
Let y = -100 + 70. Suppose -k = -5*v - 376, 5*v - 5*k + 29 = -351. Let w be 2 + v/40 + (-1494)/48. Which is smaller: y or w?
w
Let x = -807373/663480 + 185/152. Is 1 not equal to x?
True
Let s(c) = 261*c - 6530. Let u be s(25). Is -177/43 equal to u?
False
Let h = 52 + -57. Let y(k) = -4*k**2 - 2*k - 2. Let p be y(h). Let x be p/414 + (-292)/(-18) + 1. Is x less than 17?
False
Let x = -124746 - -124746.3. Let v = 0 + -2. Let h = -4 + v. Which is bigger: x or h?
x
Let v = -7 - -5. Let t = -54 - -62. Let j be (t/6)/((-4)/(-96)). Is j equal to v?
False
Let l be (-16)/(-3)*(8/(-4) + -1). Let v be (36/9)/(6/l)*-6. Let y = v + -39. Is y bigger than 25?
False
Let i(l) = -l**3 - 10*l**2 - 7*l + 6. Let v be i(-9). Let t(z) = 4*z + 4 + 2*z + 4*z - 5*z. Let m be t(-3). Which is smaller: m or v?
v
Suppose -250 = 6*y - 31*y. Suppose -n = -2*n - 5*w - y, 20 = n - 5*w. Let q(m) = -m**2 + 13*m + 20. Let b be q(14). Which is bigger: b or n?
b
Let m be (14 - 4/(-4)) + 3. Let l = -31 - -140. Let f be -4 + (l + 1)/5. Is f equal to m?
True
Let r be 438/2090 + 1/(-5). Let m(x) = -x**2 + 6*x + 16. Let i be -4 - (7 + -19) - (-1 + 1). Let d be m(i). Is d bigger than r?
False
Let q be ((-102)/(-6))/((-321)/12 - 0). Which is smaller: q or -2?
-2
Let r be (-5)/25*(-11)/((-495)/(-6)). Let b = 32.1 - 32.4. Which is smaller: b or r?
b
Let h = 66 + -65. Let r be (2/(-7))/h + 8763/21. Let g = 4590/11 - r. Which is smaller: 0 or g?
0
Let s = 38 + -40. Let t be 4/s + (-2009)/(-1008). Is t at most 1?
True
Let m(b) = 27*b**2 + 58*b + 9. Let s be m(-2). Is s less than or equal to 489?
True
Let z = 2367 - 4031. Is z bigger than 0?
False
Let c = -26480/150725751 + 1/18197. Is c at least as big as 0?
False
Let s(p) = 40*p + 12. Let w be s(-4). Let k be (12/10 - 1) + w/(-10). Let v be (-6)/(-8)*(-14 + k). Which is bigger: 0 or v?
v
Suppose -765 = -22*m - 362 - 381. Which is greater: m or 4680?
4680
Let n = -146 + 139. Let x be 17/((1/2)/1). Let p be (-2 + 2)/n - (-24)/x. Which is greater: 1 or p?
1
Suppose 0 = 29*o - 32*o - 48. Is -2/5 smaller than o?
False
Let k(g) = -29*g + 130. Let a be k(36). Is a < -914?
False
Suppose 3*g + 46*l - 42*l - 18 = 0, 0 = -3*g - l + 27. Is -32 > g?
False
Let t = 1868 + -1083. Let w = t - 784.9. Does -85 = w?
False
Let o(m) = m**2 - 36*m - 1100. Let b be o(55). Is -58 != b?
True
Suppose -36*g + 48*g - 1872 = 0. Is 140 < g?
True
Let z = -19157.82 + 18983. Let g = z - 0.18. Which is bigger: g or -1?
-1
Suppose -14 = -7*z + 21. Suppose c - 3*r - 35 = -c, z