 5*i. Suppose -c + 24 = -3*q + 4*c, 2*q - c + 9 = 0. Is f at least as big as q?
True
Let v be (-1 - 0)/((-2)/(-642)). Let w = v + 5459/17. Do w and 0 have the same value?
False
Let g = 0.236 + -0.226. Let c(z) = -z**3 - 6*z**2 + 8*z + 5. Let y be c(-7). Which is bigger: y or g?
g
Let t = -0.28 + -0.02. Let w = 3 + -7. Let k be w/18 + (-10)/(-45). Which is smaller: k or t?
t
Let p = -22 + 20. Which is smaller: p or 2?
p
Let c be 2260/(-7) + -1 + -1. Let d = 322 + c. Do -4 and d have the same value?
False
Let j be 13/(-12)*-4 - 4. Suppose -h + 4 = -5*h. Let q = h + 1. Do q and j have the same value?
False
Suppose 16 = 5*a - 4. Suppose 2*o - 42 = -a*o. Which is smaller: -0.1 or o?
-0.1
Let t be -2 + 128/39 + -2. Let j = 18/13 + t. Suppose -2*k = 4*n + n - 10, -2*k = -3*n - 10. Which is smaller: n or j?
n
Let u be (-3)/12*(1 + 0). Are u and 0.002 non-equal?
True
Let v(t) = 3*t - 1 + 6*t - 3*t - 4*t. Let n be v(-1). Which is bigger: 2 or n?
2
Let p = -51842/81 + 640. Which is bigger: 1 or p?
1
Let t be (-4)/3*12/(-104). Is -1 greater than or equal to t?
False
Let w = 141/11 + -808/33. Let r = w - -12. Which is bigger: -0.1 or r?
r
Let l = 15994681/210 + -76165. Let j = -2/105 - l. Let q(b) = b**3 + 2*b**2 - 2*b + 2. Let y be q(-3). Which is smaller: y or j?
y
Suppose 5*l - 42 - 8 = 0. Let z be (-4)/l + (-8)/(-20). Let s(m) = -m**3 + m**2 + m + 2. Let g be s(2). Is z < g?
False
Suppose 2*u - 9 = 3*x, -2*u - x = 2*x + 9. Is -1 equal to u?
False
Let u = -2 - -4. Let q be (-3)/(-27) + 51/27. Let s be -1 - -2 - q/u. Do -3/8 and s have different values?
True
Let k = -8 - -8. Which is smaller: k or -5/4?
-5/4
Let f = -0.08 - -5.08. Let w = f - 5.3. Let j be 10/(-55) - (-17)/33. Which is smaller: j or w?
w
Suppose -t + 0*t + 10 = 0. Suppose -3*r - t = -7. Is -3/2 != r?
True
Let x be -6*(0 + 3/9). Let c be 3/2 + x/4. Which is smaller: -4/13 or c?
-4/13
Let s = 0.66 - 0.5. Let q = 0.04 + s. Is -1/4 bigger than q?
False
Let o be -1 + (-2 + 1 - -3). Let j be 62 + o - (-3)/(-1). Let m be (-2)/(-3) + 5/j. Is m equal to 1?
False
Let l be (8/2)/12*-3. Is l < -1?
False
Suppose 27 = -5*o + 2*o. Let s be (1 + 15/o)*-3. Let m be 5/15*3/s. Which is smaller: m or 1?
m
Let m be 2 - 1 - 8*1. Let w be 1/(m/(-1) + -1). Let l(y) = y**3 - 6*y**2 - y + 7. Let q be l(6). Which is bigger: w or q?
q
Let o = 15 + -9. Suppose o*q = 2*q - 4. Which is smaller: q or -2/29?
q
Let h be (-32)/(-18) + (-8)/(-36). Let i be (0 + -1 + h)/1. Is -3/10 greater than or equal to i?
False
Let a = -0.03 - 0.17. Is -1/2 at most a?
True
Let n be (-1)/(-6) - (0 - (-1)/(-3)). Let r = -0.1 - 0.5. Which is smaller: n or r?
r
Let f = -5 - -7. Which is smaller: f or 22/7?
f
Let y = -17 + 17.07. Let b = -0.03 - y. Is b at least -0.8?
True
Let q = -21 + 24. Is q less than 8/3?
False
Let s(f) = -f**2 - 11*f - 3. Let c be s(-9). Let m be 70/6 + (-10)/c. Is 10 less than or equal to m?
True
Let r = 36 - 20. Suppose -7*u = -3*u + r. Suppose 2*c + 11 = 5*d, 5*d + 0 + 4 = -3*c. Which is bigger: u or c?
c
Let b = 18.6 + -20. Is -2/3 at most b?
False
Let o be (2 + (2 - 3))*15. Let w = o + -7. Suppose q = -q - w. Which is smaller: -0.1 or q?
q
Let v(s) = s + 11. Let n be v(-10). Let i = -3 + n. Let l = -5 + 5. Is l <= i?
False
Let f be 2/(-8) + 19/28. Let o(m) = m - 11. Let u be o(13). Suppose 1 = -u*y - 1. Which is smaller: f or y?
y
Let b be ((-18)/3)/(-3) - 2. Let m = 490845/11767 - -1/1681. Let j = -42 + m. Is b at least j?
True
Let a = -8881/4 + 2205. Let r = a + 25/2. Is -4 < r?
True
Suppose 4*l + 39 = 4*o - 1, 5*o - 38 = 3*l. Which is smaller: l or -5?
l
Let u = 1 + -1. Let g = 16.88 + -17. Let x = g + -0.28. Which is bigger: u or x?
u
Let l(q) = -q**3 - 2*q**2 + 4*q + 4. Let w be l(-3). Suppose -5*y = -2*h - 0*h - 18, 5*y = 3*h + 22. Which is smaller: y or w?
w
Suppose 6*t - 5*g = 4*t - 17, 5*g = 15. Let s = -5 + 5. Let y be 200/(-56) + (s - -3). Which is smaller: y or t?
t
Let s = 1.4 + -3.3. Let v = 0.1 - s. Suppose 2*d = -18 + 20. Which is smaller: v or d?
d
Suppose 5*n = 3*n - 3*p, 2*p = 3*n - 26. Suppose 0 = -v + n*v - 45. Let b be (v/12)/(1/2). Which is greater: 1 or b?
b
Let o = -13/57 + -2/19. Let n = -12 + 10. Is o < n?
False
Let r(g) = -g**3 + 6*g**2 - 5*g - 4. Let m be 58/6 + 1/3. Suppose 2*y = -0 + m. Let j be r(y). Which is greater: j or 1?
1
Suppose 5*m + 15 = 40. Suppose -m*y - z + 1 + 3 = 0, 5*z + 6 = y. Is 2 equal to y?
False
Suppose 6*y - 2*y = 0. Suppose i + 2*q = 18, -5*i + y*q + 45 = q. Are i and 6 equal?
False
Let j = 4 + -10. Let c be (j/(-3) - 3) + 3. Which is greater: 5 or c?
5
Let i be 7/(-12) - (-6)/18. Let o = -0.6 + 0.4. Let z = o + 0.6. Is z > i?
True
Let j = 36851029/27 + -1365515. Let p = j - -662. Suppose -4*x = 2*h + 8, -2*h - 8 = -x - 3*x. Are p and x non-equal?
True
Let g = -32 + 26. Which is smaller: -5 or g?
g
Let z be -33 + 2 - (0 - 1). Let p be (-55)/z - (-2)/(-6). Let s be ((-2)/(-4))/(1/2). Is s < p?
True
Let z be 4 + (-5)/2 + -1. Let y = 0.07 - -0.53. Is z > y?
False
Let l = 10 - 10. Suppose l = -4*t - 0 - 4. Which is greater: t or -2?
t
Suppose -36 = 4*q - 8. Let j be ((-3)/q)/((-50)/(-35)). Is j >= -1?
True
Suppose 2*p + g = 13, -p + 3*g - 4 = -2*p. Is 6 > p?
False
Let b be (-20)/6*12/(-5). Suppose -b - 3 = -d. Let x be 2*(d/6 - 2). Which is greater: x or 0?
0
Let r(h) = -h**2 - 9*h + 8. Suppose 3*c - 4*w = 2 - 3, -5*w = 3*c - 35. Let s(j) = -j**2 + 4*j - 5. Let i be s(c). Let p be r(i). Is -2 < p?
False
Suppose -4*n + 18 = -2, -d + 4*n = 31. Let t = d - -7. Let g be -3 + 3/(6/(-4)). Is t less than g?
False
Suppose -2*x - 2*o = 0, -2*x + 35 = 2*x - 3*o. Suppose -u - x = -6*u. Which is greater: 2 or u?
2
Suppose 2 = -5*h - o, 3 + 1 = -h + o. Which is smaller: 3/37 or h?
h
Let d(z) = -3*z - 2*z - 2*z**2 + 4*z - 5*z**3. Let j be d(-1). Which is smaller: j or 3?
3
Let o = 0.04 - -0.26. Let k = o + -1.3. Let y = 144 - 143. Which is smaller: k or y?
k
Let d = 14.1 + 2.9. Let b = d - 7. Which is smaller: b or 0?
0
Let i be (-2)/5 - (-28)/20. Let t be 4 - (i + 3 + -3). Which is smaller: 2 or t?
2
Let i(a) = a**2 + 6*a - 13. Let g be i(-8). Let r be (-3)/(-2) + (-2)/(-4). Suppose z = g*d - 3*z - 3, 0 = -d + r*z + 1. Is 1 at most d?
True
Let y = -14 - -20. Is 0 >= y?
False
Suppose -5*p - 89 = -2*j - 9, 2*j - 72 = 3*p. Let d be ((-12)/j)/((-26)/(-20)). Which is smaller: d or 1?
d
Suppose -5 = -2*y + 3. Let h = 23 - 19. Is h at least as big as y?
True
Suppose -3*k + 49 = 6*p - 2*p, 2*p + 5*k - 35 = 0. Let l be (2*-2 - -2) + p. Let q be l/(-12) - 0/(-1). Which is bigger: -0.1 or q?
-0.1
Let r be ((-3)/(-3) - 1)/(-2). Suppose r = 4*m + m + 10. Which is smaller: -1 or m?
m
Suppose -4 = 2*l - 0. Let k be l + (-10)/(-3) + -2. Which is smaller: k or 1?
k
Suppose -19 - 9 = -2*z. Suppose -5*k = -2*i - 4*k + 5, 5*i = 3*k + z. Is 1/4 at least i?
False
Let q(m) be the second derivative of m**4/12 + m**3/6 + m**2 - m. Let y be q(0). Let w be 2/(-10) - y/40. Is 1 at least w?
True
Let m be ((-4)/10)/((-6)/60). Let o = m + -6. Let u be 2/8*o - 0. Is 0 less than u?
False
Suppose -4*i = 4*m - 16, 0*m + 16 = 4*m. Suppose i*q + q = 3*o - 2, 6 = -4*o - 3*q. Is o <= 0.1?
True
Let r = -1/43 + 89/129. Which is greater: r or 0.08?
r
Let u(m) = m**3 + 16*m**2 - 36*m - 1. Let c be u(-18). Which is greater: 2.1 or c?
2.1
Let u(w) = w**2 + 6*w - 2. Let d be u(-9). Let z be 10/d*(-5)/(-9). Let m be (0 - 1) + (-1 - -1). Which is greater: m or z?
z
Suppose -r + 1 = 4*m + 4, 0 = m. Suppose 13 = -4*s - a, 12 = -3*s + 2*a + 16. Which is smaller: r or s?
r
Let t(o) = o**2 + 3*o + 1. Let q be t(-3). Which is bigger: -1/5 or q?
q
Let t(g) = -2*g + 7. Let h be t(5). Let k = h + 4. Is k < 2/7?
False
Let h be (5 - 3) + 1 - -1. Suppose 3*u - u - 2 = -4*v, 4*v - h = 0. Which is smaller: -3/7 or u?
u
Suppose 3*g + 4*w - 68 = 0, -4*g + 60 = g - 4*w. Suppose -2*j + 6*j - g = 0. Let f = -2 - -3. Is f smaller than j?
True
Let o = -15 - -5. Let l be 3/5 + 96/o. Which is greater: l or -8?
-8
Let q = 4/19 - 31/57. Are q and -0.2 unequal?
True
Let r = -51.1 - -51. Is -2/19 at most as big as r?
True
Let a be -5 + (-255)/(-65) + 1. Suppose -3*x + 2*x - 10 = -2*k, -3*x = 5*k - 25. Is a bigger than x?
False
Let n(m) = 2*m**2 - 5*m - 3. Let v be n(3). Which is greater: -2/13 or v?
v
Let y = -0.97 - 0.03. Let n = -3 - y. Which i