igger: a or y?
y
Let h = 2.72 + -2.62. Is 271 not equal to h?
True
Let v = 3.2 + -5. Let x = -0.7 + -1. Let k = x - v. Which is greater: k or -2/3?
k
Suppose 3*w - 5*n - 2500 = 0, -22*w - 2501 = -25*w + 4*n. Which is bigger: 836 or w?
836
Let g = 172636/9 - 19208. Which is greater: -25 or g?
-25
Suppose -65*h + 186 = -62*h. Let k = h + -62. Let m = 1.1 + 9.9. Which is bigger: k or m?
m
Let a(c) = 7*c + 73. Let l be a(-18). Is l less than -50?
True
Let i(k) = -41*k - 2. Let z be i(3). Let r be 0 - 1 - 105/z. Is 0 >= r?
True
Suppose -2*r + 8 = 2*r. Suppose -2*o - 7 = 3, 4*v - r*o = -22. Do -6 and v have different values?
True
Let b(o) = -o + 6. Let a be b(2). Let u(r) = 7*r + 5*r - 2 - 7 - 10*r. Let l be u(a). Which is greater: 0 or l?
0
Let h = 327/2 + -175. Suppose 3*d - 12 + 45 = 0. Which is smaller: d or h?
h
Let u = -310 + 319. Which is greater: u or 3?
u
Let h be ((-12)/9)/((-1)/(-27)). Let f = h - -143/4. Suppose 0*j + 4*j = -3*i - 24, i - 2 = 2*j. Which is greater: f or j?
f
Let c(a) = a**2 + 14*a + 5. Let f be c(-14). Suppose -f*w + 3*w = 3*x + 113, -4*x - 144 = -4*w. Is x at least as big as -36?
False
Let w(q) = -4*q**2 - 16*q + 115. Let a be w(5). Let k(g) = 7*g**3 - 2*g**2 - 2. Let y be k(-2). Which is greater: y or a?
a
Let q(a) = -2*a**3 + 4*a - 20 + 27 + a**2 - 3*a**2. Let d be q(-2). Which is smaller: 6 or d?
6
Let j = -0.3 + 0.244. Let v = -0.044 + j. Which is smaller: v or -2.3?
-2.3
Let j = 622 - 610.2. Is 2 at least j?
False
Suppose -4*a = -9 - 3. Let t be ((-26)/4)/(a/6). Let w(c) = c**3 - 15*c**2 - 17*c + 2. Let o be w(16). Which is smaller: t or o?
o
Let h(z) = -z + 1. Let y be (-9)/6*(-16)/(-6). Let w(a) = 5*a + 7. Let p(f) = y*h(f) - w(f). Let m be p(-11). Is m greater than -3/7?
True
Let b(q) = 20*q - 291. Let x be b(17). Which is greater: 52 or x?
52
Let a = -1359 - -25824/19. Which is bigger: a or 3/7?
3/7
Let d(n) = -59*n**3 - 3*n**2 - n - 2. Let g be d(-1). Which is smaller: 50 or g?
50
Let b(x) = 6*x - 20. Let j be b(5). Is 5 bigger than j?
False
Let j(o) = -3*o - 3. Let a be j(-4). Suppose 12*z - 3 = a. Is 0.04 at least as big as z?
False
Suppose 0 = -30*n - 1077 - 603. Is -56 at least n?
True
Suppose 56*o - 57*o = 0. Suppose o = 7*x + 59 - 3. Are -6 and x equal?
False
Suppose 33 = l + 8. Suppose -339 = -16*w + 109. Is l > w?
False
Let a be 5/(-10)*16*1. Let r(g) = g**3 + 8*g**2 - 1. Let v be r(a). Let w(q) = q - 4. Let k be w(3). Is k > v?
False
Let k be ((-4)/(-8))/(135/6). Let r be (4/(-4) + 2)*1. Is r <= k?
False
Let c = 18890 - 302109/16. Which is bigger: 7 or c?
c
Suppose 2 = -2*r + 3*j - 2, -3*r + 4*j - 5 = 0. Let m be r + 20/24 - 3. Suppose 7*l = 4*l - 6. Do m and l have the same value?
False
Let a = -5.1 + 5. Let j = 27.012 + -0.012. Let n = 17 - j. Is a at least n?
True
Suppose -z - 11*z - 312 = 0. Let q = z + 19. Is q > -9?
True
Let j = -4011 - -92233/23. Do -1 and j have the same value?
False
Let a be -2 + (-2 - -1) + -28. Is a greater than -32?
True
Suppose -5*f = 324 - 349, -28 = 3*g - 5*f. Is g smaller than 2/1961?
True
Suppose 0 = -3*c + 3*j - 9, 0 = 20*c - 24*c - j + 8. Let b = 6 - 3. Let f be (-24)/(-117)*b/2. Which is smaller: c or f?
f
Let r be (-10)/12*(-8)/(-830). Is r bigger than 1?
False
Suppose 3*p + 159 = 3*r, -2*p - 142 = -4*r + 68. Let w = r - 53. Which is greater: w or 28?
28
Let s be (1/(-2))/((-3)/(-414)). Which is smaller: s or -67?
s
Let g be 45/(-9)*(-2)/2. Suppose g*l + 45 = -0*l. Let i = l + 18. Which is greater: 8 or i?
i
Let t be 11/(-44) + 26/8. Suppose t*f + 2 + 1 = 0. Which is smaller: -3/25 or f?
f
Suppose -l = l - 2. Let x = l + 0. Let h = 234.01 + -234. Which is smaller: x or h?
h
Let k(v) = v**3 + 15*v**2 + 14*v - 1. Suppose 0 = -9*p + 12*p + 42. Let y be k(p). Does 2/63 = y?
False
Let t be ((-4)/(-3))/(182/(-39)). Let m = -235 + 82. Let d be (-16)/m - (-10)/(-45). Which is smaller: d or t?
t
Let r be 2 + 1 + 1494/(0 + -9). Is r greater than -161?
False
Let y = 127 - 135.1. Let n = 2.1 + y. Let s = 7 - n. Is -1/4 smaller than s?
True
Let f(i) = i**3 + 6*i**2 - 7*i - 6. Let g be f(-6). Let r = 14 - g. Let v be ((-4)/39)/(r/(-33)). Is v at most as big as 0?
True
Let p(k) = 8*k**3 - k**2 + 1. Let y be p(1). Let r be ((-12)/(-2) - 9) + 9. Which is greater: y or r?
y
Let n = 890 - 941.03. Let u = 51 + n. Do u and 0 have the same value?
False
Suppose 10 = 3*l - 2. Which is bigger: 66/19 or l?
l
Let z be 0 + 2 + 16/(-6). Let w = -6.7 + 2.8. Let j = -0.1 + w. Which is smaller: z or j?
j
Let s be (-7)/14 - 2/(-4). Suppose 0 = -6*w + 6 - s. Which is smaller: w or 1/6?
1/6
Suppose -j - 87 = -16. Let f = 77 + j. Let w(k) = 2*k**2 + 3*k - 4. Let a be w(-3). Is f > a?
True
Let a(u) = u**2 - 17*u + 25. Let l be (-4)/(-14) + (-1 - 110/(-7)). Let g be a(l). Which is bigger: -24/5 or g?
-24/5
Suppose 13*k + w = 11*k + 9, -w = 3*k - 11. Is -30 at least k?
False
Let h be ((-16)/(-40))/(2631/(-45) - 1). Which is greater: h or 1/4?
1/4
Let h be ((-2992)/(-38))/11 + -7. Suppose -2*b + 8*g + 10 = 3*g, -8 = 2*b + 4*g. Is b less than h?
True
Let w = -3258.9 + 3100. Let g = w - -159. Suppose 0*q - 2*q = 0. Which is smaller: g or q?
q
Let q = -452 + 475. Is 19 greater than or equal to q?
False
Suppose 1 + 7 = -4*l. Suppose 2*m - 39 = -7. Let g be (m/(-12))/((-20)/(-36)). Which is greater: l or g?
l
Suppose 2*c - 10 = 3*p, -p - 5 - 20 = -5*c. Suppose p = 4*g + f - 6, -2*g - g = -f - 1. Let s(y) = y**2 + 2*y - 5. Let u be s(-4). Is g != u?
True
Suppose -t + 4*t = 0. Let u = -4 + -6. Let s be 4/u*(-5)/(-9). Which is smaller: s or t?
s
Let g = -5/516 - -11149/5676. Let i = g - 5/11. Which is greater: i or 3?
3
Let t = 3.49 - 18.59. Let x = 6 + 9. Let s = t + x. Which is greater: 0 or s?
0
Let k be 14/(-21)*261/(-2). Which is smaller: k or 88?
k
Let c be 11/88 - (-2)/(-16). Suppose c = 46*h - 51*h. Let o = -124/335 + -2/67. Is h at most as big as o?
False
Let l = 61.954 - 62. Is l at least as big as -0.1?
True
Let k be 4/6 - 14/(-6). Suppose -3*v - 2*f - 20 = -0, v + f + 8 = 0. Let o be (k/v)/(6/4). Which is bigger: o or 1?
1
Let b be (-2)/(-12)*28/35. Let n = -0.11 - 2.49. Let c = 2.5 + n. Is b greater than or equal to c?
True
Let t = -13 + 42. Suppose -5*v + w = -13, -5*w - t = -2*v - 10. Suppose -k + 20 = 4*k + 2*r, -r = 3*k - 11. Is k equal to v?
True
Let b(f) be the first derivative of -3*f**4/4 + 2*f**3/3 + 2*f**2 - 5*f + 2. Let p be b(4). Let h = -4025/27 - p. Is -1 >= h?
False
Suppose 0 = 3698*x - 3724*x - 104. Let w = 1 - 1. Let v = w + -0.4. Which is smaller: v or x?
x
Let d = 3/317 + 945/634. Which is smaller: 201 or d?
d
Let w = 112 + -108. Suppose 0 = 3*j + w - 7. Is 4 bigger than j?
True
Suppose -4*g + 6 - 14 = 0. Suppose -3*p - 28 + 10 = 5*r, r = -p - 4. Which is smaller: g or r?
r
Let r be (-199680)/(-33270) + 1*-6. Does r = 1?
False
Suppose 0 = 5*w + 20, -u = u + 4*w - 2. Let k be (-9 - -10)*(1 - 8/u). Which is smaller: k or -1?
-1
Let b = 0.1 + -0.2. Let h = -2897.95 - -2835. Let s = h - -63. Which is bigger: s or b?
s
Let u be (-673)/5 - (1 + (-8)/5). Which is smaller: u or -0.2?
u
Let q be 18/4*(-4)/(-6). Suppose -2*z - q = 3*v - 6, -z - v + 4 = 0. Let l = 19/2 - z. Which is smaller: l or 5?
l
Let b(z) = z**3 + 8*z**2 + 10*z - 11. Let m be b(-6). Which is smaller: -12/127 or m?
-12/127
Let t = -600 - -602. Are -171 and t equal?
False
Let p = -7 + 13. Let r be -1 + -1 + ((-42)/p - -19). Is -2 bigger than r?
False
Let j = -0.029 - 0.371. Let v = -0.215 + 0.005. Let h = v + 3.21. Is h bigger than j?
True
Let s be (-4)/46 + (-7832)/(-1196). Which is smaller: s or 6?
6
Suppose 8 + 12 = 4*m. Suppose 4*l - m*p - 20 = -l, -5*l + 18 = -4*p. Let y be l/9*6/4. Which is bigger: y or 1/2?
1/2
Let h = 30 + 15. Let c = -49 + h. Which is greater: c or 7?
7
Let n = -49/292 - 6/73. Which is greater: n or -0.08?
-0.08
Let o = 1670 + -1672. Is o at least as big as -99?
True
Let p = -4189/2 - -2134. Let d = p + -40. Does 14 = d?
False
Let t(q) = q**3 + 16*q**2 - 17*q - 2. Suppose 0*m = -3*m - 15. Let o(n) = n - 12. Let x be o(m). Let y be t(x). Which is smaller: y or 0?
y
Let i = -1.88 + -13.12. Which is smaller: 0 or i?
i
Let k = -56 + 59. Suppose -k*t - 9 = 3. Which is smaller: t or -2?
t
Suppose -4*r = -5*c + r - 55, -5*c - 4*r = 82. Let o = -6 - c. Let g = -24 + 32. Is g not equal to o?
False
S