0.046. Is a at most as big as 27?
True
Let t = 14234 + -14252. Suppose -d = 8 + 11. Which is greater: t or d?
t
Let x(s) = s**2 - 2*s - 3. Let o be x(3). Let h = -2 - o. Let k(y) = -y**3 - 5*y**2 - y + 9. Let j be k(-4). Which is greater: j or h?
h
Suppose 0 = -2*f - 4 - 0, -5*y = f - 8. Suppose 0 = y*s - 8, i - 22 = -i + 2*s. Which is greater: 13 or i?
i
Suppose 0 = 396*z - 395*z - 361. Which is smaller: z or 359?
359
Suppose -x = 2, -x - 162 = 5*g - 5*x. Are -32 and g equal?
False
Let m = -26.1 + 34.1. Which is bigger: m or -7?
m
Let d(f) = -f**3 + 4*f**2 + 7*f - 6. Let x be d(5). Let p = 4 - x. Let y = 0 + p. Which is greater: y or 1?
1
Let b = 86 - 88. Let n be b/(-10) + (-576)/30. Is n bigger than -21?
True
Let r = 37.61 - 38. Let a = 1.5 - 1.59. Let j = a - r. Which is greater: 2 or j?
2
Let n = 297 + -292. Does 10 = n?
False
Suppose -3*j + j + 74 = 0. Let l = -38 + j. Let d be 1 + l + 1/(-1). Is 3/37 bigger than d?
True
Let i(o) = -4*o - 192. Let v be i(-46). Which is smaller: v or -60/7?
-60/7
Suppose -5*y - 15 = 2*p, -40 + 15 = 5*y + 4*p. Let o = -27/2 + 127/10. Is o <= y?
False
Let j be 132*(21/28 - -1). Is j greater than 1149/5?
True
Let w(h) = -h + 15. Let l be w(15). Suppose l = 3*f - 3 + 9, 0 = -5*o - 3*f + 379. Which is bigger: o or 76?
o
Suppose s = -j - 2, 0*j + 20 = 5*s - 5*j. Let f be 1 + s - 8 - -1. Let u be 9/(3/6*-3). Are u and f unequal?
True
Let s(n) = 2*n**3 + 29*n**2 - 128*n - 35. Let h be s(-18). Is 280 at most as big as h?
False
Let f = 124 - 88. Suppose -8*o = 28 + f. Which is smaller: o or -62/7?
-62/7
Let c be (2 + 1/(-2))*8. Suppose -n + c = -5*l, -4*n - 2*l - 18 = -0*n. Which is bigger: n or -11?
n
Suppose -11*u + 25 = 14*u. Which is smaller: -4/127 or u?
-4/127
Let q(a) = -a**2 + 5*a - 3. Suppose -1 = -o + 1. Let d be q(o). Suppose 2*n = d*l + 3*n + 25, 2*l + n + 18 = 0. Is -7 at most as big as l?
True
Let c(t) = -6*t + 1. Let v be c(-2). Let x = 9 + -7. Suppose x*g - v = p - 0*p, -5*p = -5. Which is greater: g or 11/2?
g
Let a(x) = 5*x**2 - 14*x - 3. Let q be a(3). Are 5/108 and q equal?
False
Let z(c) = -c**2 + 3*c. Suppose -16 - 8 = -k. Suppose -3*g = 4*f - 2*f - 12, 0 = 4*f - 2*g - k. Let u be z(f). Is u less than -18?
False
Let s = 4967333450/77 - 64508788. Let w = 2036 - s. Which is bigger: w or 1?
1
Suppose -2 = i - 4*o, -5*i + 4*o + 1 = 11. Suppose 0*n = 5*n - 5. Let b(t) = -4*t**3 + t - 1. Let x be b(n). Are i and x unequal?
True
Suppose -4*c - 4*f - 88 = 0, 3*f - 7 = c + 7*f. Suppose -4*v + p - 5*p = 108, 2*p = -3*v - 80. Which is smaller: c or v?
c
Let o be (-9)/(-15) + -1 + (-204)/15. Let k = o + 21. Does 15/2 = k?
False
Let x = -304286/435 - -7/870. Let k = x + 676. Is k bigger than -25?
True
Let t be (-224)/72 + 1/3. Which is smaller: -2 or t?
t
Let z(x) = -x + x**3 + 1 + 0*x - 6*x**3 + x**2 - 2*x**3. Let j be z(1). Let l be 33/4*8/80*-8. Which is greater: l or j?
j
Let p(v) = 8*v**2 + v. Let g be p(-1). Let n(l) = 14*l + g*l - 19*l + 14. Let b be n(-7). Is b at least as big as -1/3?
True
Let b = 912 + -363887/399. Which is smaller: 1 or b?
b
Let c be (-12 - 708/(-60))*-1153. Which is smaller: 230 or c?
230
Suppose 2*w = -2*w - 20. Let m(k) = -2*k - 8. Let b be m(-15). Let i = b - 28. Is i at most as big as w?
True
Let l = 167 + -171. Is -3 greater than l?
True
Suppose -z = -4*m + z + 28, -3*m = -3*z - 27. Let j be (-2 - (2 - 3))*m. Suppose 3*h + 0*h - 3 = 2*q, -q - 3 = -h. Is q less than or equal to j?
True
Let b be (-80)/(-12)*(-165)/(-80)*4. Is 53 < b?
True
Let c be (-5)/((-25)/(-20)) - (-1 - -4). Let s = -17 + 30. Let y = c + s. Is -0.1 at least as big as y?
False
Let u be ((-24)/20)/(702/(-120) - -6). Let l = -12 - -4. Are u and l non-equal?
False
Let f = -922 + 921. Let x(m) = m**3 + 8*m**2 - 8*m + 3. Let d be x(-9). Let u be (-32)/(-130) + d/15. Which is bigger: u or f?
u
Let b(i) = -i**3 - 8*i**2 + 13*i + 20. Let w be b(-10). Are w and 93 non-equal?
True
Let o = -15.79 - -14.79. Is o greater than 105?
False
Let h(k) = k**3 - 9*k**2 - 10*k - 10. Let r be h(10). Let b be ((-192)/(-9))/(r/6). Which is smaller: -14 or b?
-14
Let z(j) = j - 7. Let w be z(9). Suppose 0 = 5*n - d - 8 - w, -3*n = -4*d - 23. Is 7/3 at most n?
False
Let n = 5.18 + -5.08. Let y be (-103)/(-35) - (-2)/10. Is n less than y?
True
Let t = 473393/643473 + 2/12141. Is 1 equal to t?
False
Suppose 0 = -m - 17 - 28. Let p = 24.5 - 24.6. Is p at least as big as m?
True
Let m = 14 - 15. Let t be m/((-39)/72 - (-5)/10). Is 47/2 > t?
False
Suppose 2*d = 2*q + 4 - 12, -5*q + 4*d = -16. Which is smaller: -1/33 or q?
-1/33
Suppose f - w = -6*w - 13, -4*w + 152 = -5*f. Let y = 52 + f. Let m = -25 + y. Which is greater: m or 3?
3
Let n be 11/(-5) - -2 - 0. Which is greater: n or -217?
n
Suppose -25*f = 13*f - 38. Is f smaller than -5/27?
False
Let x = 732 - 62951/86. Let z = 45/172 - x. Is -2/3 greater than or equal to z?
False
Let y = -7745694/503 - -15399. Is y < 0?
False
Let z(s) = -s**3 + 8*s**2 - 18*s + 23. Let l be z(6). Which is greater: 6 or l?
6
Let l(t) = -21062*t - 8. Let n be l(8). Let u = n - -29488104/175. Let m = -3/25 - u. Is m at least as big as 1?
False
Let d(w) = -w**2 - 14*w. Suppose 2*h = g - 19 - 7, 2*h = 5*g - 18. Let k be d(h). Is 3/4 less than k?
False
Let a be -3 + (1 - -11)/4. Suppose -b - 2*b - 6 = a. Let x(q) = 2*q - 14. Let f be x(6). Is b at least f?
True
Let a be (16/(-48))/(1/123). Let l = a + 56. Which is smaller: l or 4?
4
Let a(u) = 26*u - 568. Let s be a(21). Let g = 40 - 63. Which is bigger: s or g?
s
Let w = -1/23542 - 19704647/164794. Which is smaller: -120 or w?
-120
Let g(x) be the second derivative of 3*x**3/2 + 23*x**2/2 - 21*x. Let z be g(-3). Is z < -13/5?
True
Let k = -18 + 13. Let d = -4 - k. Let l = -13553/6 - -2260. Are l and d equal?
False
Let n = -185/8602 + -2/253. Let s = 2426 - 2425. Is n equal to s?
False
Let z = 0.02 - -2.98. Let h = z - 3.1. Let k = -0.03102 + 0.03102. Is k greater than h?
True
Let c be (-2)/(-2 - -3 - -1). Let f = -37.06 + 0.06. Let o = f + 36. Is c less than or equal to o?
True
Let a be 28*(-6)/(-18) + -6. Which is greater: a or -0.1?
a
Let z(v) = -v**3 + v**2 + 6*v - 4. Let q be z(5). Let u = -62 - q. Which is greater: 16 or u?
16
Let a be (-26)/39 - (-2)/6*-10. Let p be (a + (2 - -4))*(-2)/4. Which is bigger: p or -4/11?
-4/11
Let x = 193 + -195. Let f = -1 + 1. Let c be (0 + 0)/(x - f). Which is greater: c or 2?
2
Let u be 4/(-22) + (-1)/11*-13. Let b be 143/(-132) + 1/u. Which is smaller: b or 1?
b
Let h = -35 - -33. Suppose -2*a - 12 = -6*a. Suppose a*y = 2*d + 1, -4*y - 4*d - 6 = 6. Is h greater than y?
False
Let a(i) = -i**3 - 2*i**2 + 5*i - 23. Let t be a(0). Is 4 at most as big as t?
False
Suppose -21*l - 114 = -24*l. Suppose w - 5*o = -23, 0 = -5*w + w + 2*o - l. Suppose 0 = -4*i + 4, n - 6*n = -2*i + 47. Which is smaller: n or w?
n
Let d(u) = u**2 + 8*u + 7. Let z be d(-7). Let s = 4 - z. Suppose 0 = s*i - 5 - 7. Is 4 greater than i?
True
Let i be (-660)/18*(-18)/(-15). Let c = i + 67. Is c at most as big as 22?
False
Let j = 866 + -929. Is -65 at least as big as j?
False
Let u = 2 + 2. Let t = u - 3.9. Let p = 6 - 6.01. Is t greater than p?
True
Let l be 78/52 + (-1)/(-2). Which is smaller: l or 222?
l
Let r be 4 - (-4 - -3)*-3. Suppose 0*c - c = -r. Let z = -283 - -2833/10. Which is bigger: c or z?
c
Let f = -169 + 331/2. Suppose -5*v - 5*k = -79 - 31, -k = 2. Let n = -27 + v. Which is bigger: n or f?
n
Let u(m) = m**3 + 7*m**2 + 8*m + 12. Let d be u(-6). Let w be ((18/(-44))/(-3))/(7/(-56)). Are d and w non-equal?
True
Let t be (3 + 0 + (-20)/6)*-3. Let o(j) = -j + 1. Let r be o(t). Which is bigger: r or 1?
1
Suppose -4 + 10 = 3*r. Let p be (0 + -2)/(-2) - r. Which is bigger: -4 or p?
p
Let a(k) = -4*k - 1 + 9*k + k**2 + 0*k**2. Let o(d) = d**3 - 5*d**2 + 5*d - 2. Let n be o(3). Let h be a(n). Which is smaller: h or -3?
-3
Suppose 0 = -9*x + 32 - 41. Which is smaller: 5/41 or x?
x
Let n be 14/(-10)*3/6. Is n > 0?
False
Let z = -107 + 198. Let y = z - 88. Is y less than or equal to 9?
True
Let d(x) = -4*x**2 + 5*x + 12. Let h(s) = s**2 + s - 1. Let q(n) = -d(n) - 3*h(n). Let v be q(9). Let g be 2/5 + 3/(-20). Which is greater: g or v?
g
Let k be (-12)/6 + (8 - 2). Suppose 2*f = -4*t - 0 - k, -16 = -4*t. Which is smaller: f or -8?
f
Let f(z)