 big as 0.4?
False
Let h be (-2)/(8/(-73)) + 6/(-24). Suppose -h*f + 144 = -14*f. Which is smaller: 35 or f?
35
Suppose 2*p - 12 = 4*o, 3*p - 7*p + 5*o = -15. Let q = -6 + 16. Suppose -3*j - q = -2*a, 5*j + 2*a = a - 8. Is p at most as big as j?
False
Let f be 2/(-3)*(2 - 5). Let x = -4328/3 - -82250/57. Which is greater: f or x?
f
Let w(k) = -k**2 - 43*k - 166. Let d be w(-38). Is d < 24?
False
Suppose -5*h - 44 = -4*n, 3*n + 2*h = h + 14. Suppose -4*l + 22 = 3*q, -2*l = -n*q + 2*q. Does -2/7 = l?
False
Suppose -21*d + 27*d - 1032 = 0. Is d less than 174?
True
Let g(u) = -2*u + 18. Let s(h) = -6*h + 54. Let q(m) = 11*g(m) - 4*s(m). Let z be q(8). Is -24/13 at most z?
False
Let d = 548 - 544. Which is bigger: d or -8/7?
d
Let l = -7693/10 + 1525/2. Which is smaller: -1/3 or l?
l
Let s be (-9)/(-21) - 1/((-42)/(-564)). Which is bigger: s or -15?
s
Suppose -49*u + 396 = -27*u. Which is smaller: u or 169/10?
169/10
Let c be ((-16)/10)/(38/95). Let w be c/(-5)*(-3 - (-16)/12). Is w less than -0.2?
True
Let j = -61.12 + 61. Which is greater: j or 0?
0
Let o be ((-9)/(-21))/3*7. Is 15/32 less than or equal to o?
True
Suppose 0 = 5*f + 33*q - 31*q + 15, 2*q + 6 = 4*f. Which is smaller: 0 or f?
f
Suppose 5 = r - 4. Suppose r*v - 90 = 14*v. Let n be (-10)/14 - (v - -17). Is 18/11 >= n?
True
Suppose 4*s = 5*b - 3 - 4, 3*b = 9. Let p(z) = -z**3 + z + 1. Let d be p(s). Let u be ((-132)/(-5))/(-4) - (-12)/20. Is u >= d?
False
Let m be -1 + -1 - (119/(-68) + 0). Is -4/5 < m?
True
Let m = 0.045 - -0.085. Let f = -0.03 + m. Is 39 at most f?
False
Let u = -0.27 + -22.73. Let p = 0.33 + 12.67. Let w = u + p. Which is smaller: w or 0?
w
Let i be -1*((-124)/(-20))/(-1). Let m be ((-3)/(-4))/(2/16). Is m at least as big as i?
False
Let l be (-8446)/266 - (10 - 11). Let j = -216/7 - l. Let s(r) = r + 5. Let g be s(-4). Which is bigger: g or j?
g
Let a be 3 + (0 - 0)*-1. Suppose v - a*v = -2. Let z(i) = -i**3 - i**2 - i - 1. Let g be z(-1). Is v at most g?
False
Let v be 4/6*(-27)/(-6). Let h(y) = 3*y**2 + 1. Let r = 11 - 10. Let g be h(r). Which is smaller: g or v?
v
Let b = 296 + -298. Let q = -3 + 6. Suppose q*f - 2*f = 0. Which is smaller: b or f?
b
Suppose -31*s + 7 = -24*s. Is 5 at least as big as s?
True
Let o be 6/10 - (-1000)/(-625). Is o >= 1/1706?
False
Suppose -13*p = -3606 - 8731. Which is smaller: p or 950?
p
Let b be ((-48)/(-9))/(4/(-90)). Let s = b + 70. Is -49 >= s?
True
Let h = 278/13 + -1894/91. Are 0.095 and h nonequal?
True
Suppose 1 = -5*m - 4*a, -2*m + 4*a + 0*a = -22. Let q be ((m + -2)*-1)/1. Is 4/35 greater than q?
True
Suppose -3*o = -4*o + 5*w - 26, o + 5*w - 24 = 0. Which is greater: o or 18?
18
Let a(c) = c**2 - 5*c + 4. Let h be a(5). Suppose 0 = -i - 4*d - 11, h*i = -3*d + 2*d + 16. Let l be (3/75)/((-2)/i). Which is smaller: 1 or l?
l
Suppose -o = -5 - 2. Let x(i) = 2*i**2 - 14*i + 1. Let g be x(o). Is 11/2 at most as big as g?
False
Let d be ((-2406)/342 - -7)*6/4. Which is bigger: 1 or d?
1
Suppose 2*t + 2 = -2*c, -c = -t + 1 - 0. Let o = 220 + -222. Which is bigger: c or o?
c
Let s = -25 - -40. Is s smaller than 104/7?
False
Let b = -99887/7 + 14270. Suppose 0*r - 2*r - 22 = k, 4*k = 2*r + 12. Let j be (-6)/r*(-4)/(-6). Which is greater: b or j?
b
Let r be 177/295 + 1/2. Is r smaller than 2?
True
Let o = 910746 + -496356907/545. Let c = 2/109 + o. Is 4 equal to c?
False
Let t(z) be the second derivative of -2*z - 1/2*z**2 + 0 + 0*z**3 + 2/3*z**4. Let g be t(1). Is g less than 9?
True
Let l = 1 + -1. Let y = 0.2 - l. Let d = 173.1 + -173. Is d greater than y?
False
Let r(m) = -8*m - 136. Let q be r(-17). Which is smaller: q or -29?
-29
Suppose -5*j + 15 = 0, 26 - 4 = 5*r + 4*j. Suppose -4 = -5*n - 4*s, -r*s = -3*s + 1. Let t = 911/36 + -99/4. Which is greater: t or n?
t
Let t = 2310 + -8034. Let m be 2 - (t/777)/(-3). Let v = m + 1/37. Is -1 at least as big as v?
False
Let f = -37 - -37. Which is bigger: 1/403 or f?
1/403
Let h be (11/(154/3))/((-18)/(-21)). Which is greater: h or -24/11?
h
Let z(g) = -g + 20. Let o be z(15). Which is greater: 2 or o?
o
Let c = -0.0737 + -0.2263. Which is smaller: -18 or c?
-18
Let r = -45 + 66. Let k = 24 - r. Is k less than or equal to -2/11?
False
Suppose 4*s + 88 = 4*v, -4*s - 119 = -5*v - 30. Let a = s - -16. Which is bigger: -4 or a?
-4
Let k = -5113412/509 - -10046. Let w = -531/5599 + k. Let s = w + 27/55. Is s smaller than 1?
True
Let l = -374 + 373.9. Let h be 6/(-164)*(-4)/(-3). Are l and h nonequal?
True
Suppose 2*r + 2*r - 20 = -4*c, 4*r - 29 = -5*c. Suppose -c = -o - 6*v + 2*v, 0 = 2*o - 4*v + 6. Let u be (-2)/7 - (-8)/35. Which is bigger: u or o?
o
Let h = 5 + -2. Let j = -12 - -10. Let i(v) = v**2 + 5*v + 7. Let f be i(j). Which is bigger: h or f?
h
Let r(a) = -a**2 - 13*a + 17. Let o be r(-14). Suppose y - 5 = 3*z + o, 0 = -5*z. Is 6 bigger than y?
False
Let t = -0.4 - -0.4. Do t and -159 have the same value?
False
Let p be ((-112)/(-130))/((-4)/(-110)). Let a = -926/39 + p. Let b(u) = u**3 - u - 1. Let n be b(0). Which is greater: n or a?
a
Let l(k) = 2*k + 28. Let d be l(-13). Suppose -d*t + 34 = -2*a - 0*t, 2*t = 0. Which is smaller: -19 or a?
-19
Suppose 109 = -a + 110. Which is smaller: a or -13/70?
-13/70
Let j = 19159/3 + -6453. Is -67 < j?
True
Let j be ((-6)/4)/(6/(-8)). Suppose j*v = y - 5, -5*y - 3*v = 2*v + 20. Let c be -2*(-3)/(15/y). Is c > -1?
True
Let t = -0.57 + 0.39. Let f = 0.41 + t. Which is smaller: f or -2?
-2
Let w be ((-4)/81)/(84/126). Which is smaller: -1/5 or w?
-1/5
Suppose -378 - 30 = -24*d. Is 78/5 greater than or equal to d?
False
Let a be 1/((-36)/20 + 2). Suppose 3*q = o + a*q, -3*o = -2*q. Does -1/18 = o?
False
Let s(a) = 3*a**3 + a - 5. Let i be s(-2). Which is smaller: -30 or i?
i
Let w = -26 - -58. Let f = 26 - w. Which is smaller: f or -29/4?
-29/4
Let z = -0.28 - 0.18. Let x = -61 - -60.96. Let k = x + z. Which is bigger: 2/3 or k?
2/3
Let o be 4/10 - 6572/(-620). Which is greater: o or 210/17?
210/17
Let o be (17/(-17))/(2/(-4)). Let z(s) = -2 + 2*s**3 - s**3 + 8*s**o + 3*s - 4*s. Let c be z(-8). Which is smaller: 7 or c?
c
Let d = -1978 - -1979. Is -9/139 >= d?
False
Let y = 12/61 + -959/1464. Is y < -3?
False
Let g be 375/45 - (6 + (-119)/21). Let i = 0.4 + -0.3. Which is smaller: g or i?
i
Suppose -5*d - 11 = -3*d + 5*n, 0 = 3*n + 3. Let i(r) = 29*r + 23. Let h be i(d). Is -63 < h?
False
Suppose -4*z = 13*w - 18*w + 9, -z - 5 = -4*w. Let h be 1 - (-14)/20*-2. Is z greater than or equal to h?
False
Let k(n) = 55*n**3 + n**2 - n + 1. Let f be k(1). Let q = f + -66. Is q at most -10?
True
Let n be 762/4002 + 10/(-115). Let i(r) = r**2 - 4*r + 4. Let t be i(3). Are n and t unequal?
True
Let v = -31.706 + 32. Let q = 11.606 + v. Let p = 12 - q. Is -1 not equal to p?
True
Suppose 5*b = -2*c - 4, -b = -5*b + 2*c + 4. Are b and -2/225 non-equal?
True
Let m = 0.6 - 1.1. Let i = m - -0.5. Let q be 4/(-9) - (-2)/(-9). Which is smaller: q or i?
q
Let m be 5*2*(-6)/15. Let j = -173 - -171. Is j bigger than m?
True
Let v = 30 + -32. Let t be (5 - (-4)/v)/3. Let o be (-4 - -3)/(t - 0). Is o equal to -2/5?
False
Let w be (25/20 - 2) + (-6995)/(-36). Let c = w - 194. Let b(i) = -i**3 - i**2 + 2*i - 1. Let n be b(-2). Is n > c?
False
Let j(y) = 3*y + 22. Let z be j(-9). Let f be (-2)/4*(-8 - -18). Is f greater than z?
False
Suppose -3*g + z = 64, -g + 0*z - 18 = 3*z. Let b = 22 + g. Are 2/31 and b equal?
False
Let i(j) = 7*j - 273. Let c be i(39). Is 3/1225 > c?
True
Let p = -1198 + 1199. Is 2/403 at least p?
False
Let v = -541 + 3789/7. Which is smaller: 0.029 or v?
0.029
Let v be (-1780)/(-160) + ((-3)/(-2))/3. Is 12 greater than v?
True
Let w = -0.04 - 14.06. Let m = 1 - -13. Let f = m + w. Which is bigger: f or -0.11?
f
Let c = 10996/5936229 - -2/17511. Which is smaller: 0 or c?
0
Let j(q) = q**2 - 11*q + 14. Let k = -50 + 57. Let a be j(k). Which is greater: a or -5?
-5
Let a = -3408.9 - -3409. Let y = -0.3 - -0.1. Which is smaller: a or y?
y
Suppose 120*y = 116*y - 124. Which is greater: -40 or y?
y
Let k = -30.7 - 23.3. Does 2/7 = k?
False
Let f(u) = -u**3 - 13*u**2 - 35*u + 25. Let n be f(-12). Which is bigger: n or 599/2?
n
Suppose -1 = -5*a + 4*s, 4*a - s + 24 = -4*s. Suppose 2*x - 6 = 4*p + 6, -4 = 2*x. Let t = p - -4. Is a < t?
True
Suppos