 -2?
p
Let d = -1520 + 1692. Which is greater: d or -1/2?
d
Suppose -7*w + 440 = 8294. Is -1124 less than w?
True
Suppose 4*r = r + 84. Let m = -34 + r. Let i be (-40)/m*(5 + -2). Is i equal to 20?
True
Let q(w) = -w**3 - 9*w**2 + 5. Let p be q(-9). Suppose 5*m - 3*g + 10 = 2*g, p*m - 2*g = -1. Let i = -0.3 - 0.2. Which is greater: m or i?
m
Let y be 161/11 + (5 - 4). Are y and 17 equal?
False
Let q = 329 - 328. Is q equal to 676?
False
Let a = 28 + -8. Let u = -8 + a. Let l = u + -11. Is l smaller than -2/5?
False
Let i(s) = s**3 + 3*s**2 - 6*s + 26. Let p be i(-5). Which is smaller: 43/6 or p?
p
Let j = 388 - 392. Does -1/33 = j?
False
Let m = 7.45 - -0.55. Let k be (130*1)/(-2) + -2. Let n = -203/3 - k. Is n greater than m?
False
Let r be (1/2)/(((-1512)/4384)/21). Are -29 and r equal?
False
Let v be 6/9*(-6)/172. Let x = 188 - 189. Which is bigger: x or v?
v
Let b = -0.91 + 0.73. Let y = 0.08 + b. Does y = 0.75?
False
Let c(b) = -b**2 - 23*b + 1. Let m be c(-27). Is m less than or equal to -107?
True
Suppose 0 = -0*u - u + n - 1, -3*n = -u + 3. Let p be (-1 - -1 - u) + -12. Let x = -171/20 + 21/20. Which is smaller: p or x?
p
Let t = 646 + -2569/4. Is 4 less than t?
False
Suppose -u - 11 = -15. Suppose -y - 68 = -0*r - 3*r, -u*r + 2*y + 92 = 0. Which is smaller: 1 or r?
1
Suppose 113 = 5*m + y, -101 = -4*m + y - 7. Is m bigger than -8?
True
Suppose -2*r + r = -5. Suppose -13 = 2*p + r*x, 5*p + 15 + 0 = 5*x. Which is bigger: -7 or p?
p
Let m = 27.59 - 0.59. Let h = 159 + -140. Let l = m - h. Are l and -1 nonequal?
True
Let v(g) = g**3 - 5*g**2 + 8*g - 9. Let t be v(4). Let o be 2/t - 96/(-56). Suppose 4 = 2*f - x, o*f - x - 5 = -f. Do f and 4/3 have the same value?
False
Let p(o) be the first derivative of -o**4/4 - 4*o**3 - 11*o**2 + 2*o + 1. Let i be p(-10). Suppose 109 - 25 = 4*g. Which is smaller: g or i?
g
Let i be (-11216)/64 - (-9)/(-12). Which is smaller: -174 or i?
i
Let b be (22/8 + -3)/((-13)/(-26)). Which is greater: b or -45?
b
Let r(l) = 2*l**3 - 4*l**2 - l + 13. Let n(q) = -5*q**3 + 13*q**2 + 4*q - 39. Let g(m) = 3*n(m) + 8*r(m). Let t be g(-6). Is t > -3/10?
False
Let r(y) = y + 2. Let f be r(7). Suppose -6*a = -3*a - f. Let o be ((-2)/4)/(a/8). Which is smaller: o or -2?
-2
Let u = 1.1 + -0.2. Let o = -11.1 - u. Let s = 12.3 + o. Which is greater: s or 1?
1
Suppose t - 9 = 3*z - 4, 4*t + 5*z + 31 = 0. Suppose -2*n - 3 = -5*n. Suppose 2*q + 5 - n = 0. Are q and t non-equal?
True
Let q(w) = -3*w - 4. Let n be q(-2). Suppose 0*x = -n*x. Let s be 3/(-2)*(-2)/(-6). Which is greater: s or x?
x
Let o be 5 - 2/4*2/1. Let n = o + -36. Is -65/2 not equal to n?
True
Let p = 1104.4 + -1105. Is p bigger than -4/7?
False
Let d(k) = k**2 - 3*k. Let q be d(4). Let p = q - 11. Suppose o + o = -16. Is o < p?
True
Suppose -z + 3*v - 26 = -v, -3*z - 36 = 2*v. Let r be (z/(-35))/((-2)/10). Is -4 less than r?
True
Let o be (2/(-3))/(40/(-12)). Let z = -3877/4485 - 2/897. Let y = -6/5 - z. Which is smaller: o or y?
y
Let t(g) be the first derivative of -3*g**2/2 + 24*g - 5. Let p be t(-9). Is p != 52?
True
Let o be ((-13)/39)/((-8)/(-3)). Suppose -d = -2*h - 0*h + 1, 5*h + 4*d = -4. Suppose -4*s = -h*s - 4. Do o and s have different values?
True
Let y(n) = -n + 28. Let f be y(12). Suppose 0 = 4*r - f, 3*j - 5*r + 7*r - 38 = 0. Is j != 9?
True
Suppose -3*p + 45 = -6*p. Let t be (6 - 7) + p/(-13). Which is bigger: t or -1?
t
Suppose -7 + 8 = -q. Let k be (-1)/57*(-6)/5. Is q smaller than k?
True
Let j(n) = 2*n**2 - 21*n + 15. Let a be j(13). Let g = a - 92. Which is smaller: -77/6 or g?
-77/6
Let i = 2471/47424 - 1/1216. Is 0 bigger than i?
False
Let x = 257425/558 + -1384/3. Which is greater: -1 or x?
x
Suppose w - 56 = -3*w + 5*n, -2*w + 22 = -n. Suppose 0 = -w*k + 7*k. Let u be k + (2 - 3/1). Are 0 and u unequal?
True
Let b be (-2)/(-4) + (-2)/(-4). Let c(h) = 8*h**2 + 9 - h**3 + 4*h**2 + 3 - 21*h. Let s be c(10). Which is smaller: b or s?
b
Let t(z) = z. Let h be t(11). Suppose -3*k - h = 43. Is k greater than -18?
False
Let k be (80 - -4 - 2) + 7 + -12. Is k at most as big as 77?
True
Let q = 282 + -282. Which is smaller: 101/2 or q?
q
Let h be (-6)/(-3) - (1764/272 + -2). Let a be ((-7)/17)/(1/3). Let b = h - a. Which is greater: -2 or b?
b
Let p(n) = n + 15. Let b be p(-11). Suppose -b*r = -3*r - 5*r. Is -2/59 smaller than r?
True
Suppose -8*f = 51 + 37. Let a(g) = -2*g - 23. Let n be a(f). Which is smaller: -2/49 or n?
n
Suppose 2*l = -f + 9, 0 = 4*f + l - 6*l - 62. Which is smaller: f or 57/4?
f
Let h(m) = -4*m**3 - 33*m**2 - 6*m + 12. Let i be h(-8). Let y(a) = -13*a**3 - a**2. Let w be y(-1). Let o be w + 6/(i/2). Is o greater than or equal to 9?
True
Suppose -4*y + 5 = -7. Let h = -725 + 723. Which is smaller: h or y?
h
Let g = 0.14 - -1.06. Let b = 13.2 - 14. Let i = g - b. Which is smaller: -1 or i?
-1
Let o(b) = b. Let t be o(-4). Which is bigger: t or 0.4?
0.4
Let a(k) = -k - 2. Let h be a(-5). Suppose -h*w = -7 - 5. Suppose -5*q = -3 - 7, 2*q = -5*r + w. Which is smaller: 1/11 or r?
r
Suppose -3896 = -14*z + 4574. Which is smaller: z or 603?
603
Let i(h) = 3*h**2 + 3*h - 7. Let x be i(-2). Is x greater than 1/137?
False
Let y = -49.8 + 53. Let d = y + -3. Is 0 <= d?
True
Let z be ((-10)/(-3))/((-2)/(-3)). Suppose -z + 6 = i. Let c be (-22)/(-11)*i/(-8). Is -1 at most as big as c?
True
Suppose 4*z = 20, -2*a - 41*z = -37*z - 568. Is -1 < a?
True
Suppose 2*n + 5*a - 23 = 0, 3*n - 2*a + 7*a = 27. Is n at most as big as 0.5?
False
Let d = -6320/7 + 901. Is -2 < d?
True
Suppose 2*v = -2*m - 0*v - 4, 4*m = 5*v + 10. Let d be 40/19 - (-40)/(-380). Let l be 16/20 - ((-4)/(-5) + d). Which is smaller: m or l?
l
Let a be 7 - (-1 + 2 - -1). Suppose -2*s = a*m - 16, m + 3 = -s + 4*m. Suppose 0 = -6*i + s*i + 45. Which is smaller: i or 14?
14
Let y(t) = 35*t + 7. Let p be y(-6). Let m = -1829/9 - p. Which is smaller: -3/2 or m?
-3/2
Suppose 781 = 10*r + r. Is 69 bigger than r?
False
Let x be (-5 - (-2)/(-6)) + 4 + 2. Let o = -1 + 2. Let b = o + -1. Which is smaller: x or b?
b
Let s be (2/(-4))/(-5*2/(-1000)). Let i = s + 50. Suppose -t + 3*k + 3 = -0*t, 0 = -t + 5*k + 5. Is i less than t?
False
Let q(v) = -30*v**2 + 2*v + 2. Let a be q(-1). Let s = 31 + a. Let y = 4.1 + -0.1. Which is smaller: s or y?
s
Suppose k - 5*m - 12 - 7 = 0, 4*m + 24 = 3*k. Suppose k*o - 37 = 23. Let x be (10/o)/((-2)/(-3)). Which is greater: x or 2/23?
x
Let q be (-6)/(-9)*(-276)/8. Let p = -24 - q. Is 2/7 smaller than p?
False
Let n be (-4 + 3)/(5/10). Let z be (-6 + 5)/((-6)/n + -2). Which is bigger: 4/25 or z?
4/25
Let f(l) = -l**2 + 9*l - 6. Let x be f(7). Let k = x + 58. Let z be ((-6)/k)/(3 + -2). Is -1 equal to z?
False
Let b(d) = -d**3 + 8*d**2 - 17*d + 13. Let p be b(5). Is -27 greater than p?
False
Suppose -1213*f = -1203*f. Let h = -51867/38 + 1365. Is f less than or equal to h?
True
Let v = 476 + -560. Which is smaller: -82 or v?
v
Let s be 20/(-16) - 1/(-4). Suppose 5*r = 11 + 9. Suppose 4 + r = -4*y. Which is smaller: s or y?
y
Let j be -47*((-21)/(-77))/3. Is j greater than or equal to -3?
False
Let s(b) = b**2 - 54*b + 220. Let a be s(55). Does 272 = a?
False
Let m = 0.161 + -0.171. Which is greater: -66 or m?
m
Let p = -4854 + 606756/125. Which is smaller: p or 0?
0
Suppose 110*h = 98*h + 7020. Is h greater than 586?
False
Let h be ((-21)/14)/(((-81)/(-6))/(-9)). Is -6/565 greater than h?
False
Let l(x) = 3*x**3 - 9*x**2 + x + x**3 + x**2 - 3*x**3 - 7. Let h = -17 + 25. Let t be l(h). Which is bigger: -1/12 or t?
t
Let y be -312 - ((-147)/(-35) + -4)*-5. Is -310 bigger than y?
True
Let t be (-9056)/(-40) + (-2)/5. Is 227 at least as big as t?
True
Let w = 1 + -0.9. Let d = -0.0594 + -1.9406. Are d and w equal?
False
Let m = -31.48 + 0.48. Let v = m + 31.1. Which is greater: v or -1?
v
Suppose 6 = 4*l + 2*b, 3*b - 4*b = -5. Let d = -409/6650 - -1/665. Which is greater: l or d?
d
Let s be (-6 - -2)*2/4. Let t be (s/6)/((-2)/(-6)). Let c be (1 + -6)*(-14)/(-315). Which is greater: t or c?
c
Suppose 0 = 21*h - 1486 - 530. Is h > 90?
True
Let u be (50/(-12) + 4)*-2. Suppose 5*q + 2*v + 3 = 0, -4*v = q - 0 - 3. Is u >= q?
True
Let b be 0 + 1 + 27 + -5. Suppose b*s - 1 = 24*s. Let l be 1/(-1) - (-8)/(-7). Is s at least l?
True
Let s(q) = 2*q**2 + q + 3. L