r than a?
True
Let v be (-7871)/(-12) - (-3)/(-6). Let m = v + -655. Let r = 1/12 + m. Which is bigger: 0.2 or r?
r
Let w(p) = 3*p - 5*p + 5*p + 7. Let m be w(-2). Which is smaller: m or -28?
-28
Suppose 2*b - 85 = -17. Which is smaller: 47 or b?
b
Let l = -24 + 23.1. Let y = -0.94 - l. Is y at least as big as 2?
False
Let u = -617 - -617.1. Which is bigger: 84 or u?
84
Let y(b) = -b**2 - 5*b. Let a be y(-4). Let k be -3 - (-14 - (a - 8)). Let v be (-25)/k + 4 + -1. Is v >= 1/4?
False
Let m be (-1*6)/(-3) + 3396/(-48). Let v = m + 69. Is 14/9 > v?
True
Suppose 18 = -4*a - 66. Let d be (27 - 5)/((1 + -2)*1). Are d and a unequal?
True
Let w = 3 + 2. Let t = -5719/3894 - -5/354. Let p = 67/22 - t. Are w and p non-equal?
True
Suppose 3*j + 204 - 24 = 0. Is -60 at least j?
True
Suppose 362 = h - 5*a, 2*a = 3*h + 4*a - 1001. Is h >= 333?
True
Suppose 0 = 2*r + 3*h - 0*h - 6, 2*r = h - 2. Is r < -3/40?
False
Let w = 0 + 0.46. Let u = 28.96 - w. Let i = u + -29. Which is smaller: -2/11 or i?
i
Let k(q) = -2*q - 6. Let u be k(-8). Let s(p) = p**2 - 8*p - 11. Let h be s(u). Suppose 0 = -5*f - 69 + h. Does f = -12?
True
Let f be 2/(-5) - 22/(-5). Suppose 3*r - f*q = 0, 3*r + 6*q = 2*q. Which is smaller: r or -1/7?
-1/7
Let y be (-33)/(-22) - 9633527/(-50). Let q = y + -192623. Let d = q + -49. Which is smaller: d or -1?
-1
Let q be (-3 - 4)/(4 - 5). Let p(o) = -2*o**2 + 9*o - 14. Let c be p(q). Is -48 smaller than c?
False
Let d(a) = -a**3 + 6*a**2 + 6*a + 13. Let u = 9 - 2. Let f be d(u). Is 38/7 < f?
True
Let m = 0.83 - 0.33. Is m greater than -121?
True
Let m(z) = -2*z - 4. Let o be m(-7). Let u be (-2)/(-8) + o/(-8). Let d = 1343/7 - 192. Which is smaller: u or d?
u
Let y be ((-40)/(-400))/(1788/15). Which is smaller: 1 or y?
y
Suppose -2 + 14 = 2*s. Suppose 2*h + 4 = 4*x, -5*h + 2 = -4*x + s. Is 27 at least as big as x?
True
Let r(s) be the first derivative of -s**3/3 + 5*s**2/2 - 2*s + 3. Let w be r(5). Let j be w/(-2) + (-6)/2. Does -2 = j?
True
Suppose m - 21 = 5*j - 24, 0 = j - 5*m + 9. Which is greater: -1/50 or j?
j
Let j(n) = n**2 - 7*n - 18. Let y be j(4). Which is smaller: -1 or y?
y
Let s = 14 + -69. Suppose 0 = 5*q - 59 + 329. Which is smaller: s or q?
s
Let j be 22/(-3)*(-6)/(-16). Suppose 0 = -3*d - a, 7*d = 3*d + 5*a + 19. Suppose 5*k + d = -19. Are j and k non-equal?
True
Let d = -1.219 - -1.33. Let c = d - 2.111. Is c greater than or equal to 1/5?
False
Suppose -2*v - 2*v - 72 = 0. Let n(l) = -6*l + 1. Let z be n(1). Let h(s) = -s**2 - 4*s - 14. Let d be h(z). Is d < v?
True
Let y be ((-144)/192)/(-1*(-33)/(-36)). Which is smaller: y or 0?
0
Suppose j + 2*r + 5 = 2, 0 = -5*j + 4*r + 13. Let k be (-13 - -11) + j*7. Let g be 2 + (13/k)/(-1). Which is bigger: -2 or g?
g
Suppose 7*y + 17 - 52 = 0. Suppose -2*t = 5*r - 7, y*r - 2 - 1 = 2*t. Which is bigger: -2/141 or r?
r
Let f = -0.4 - -58.4. Let x = 24 + -24. Do x and f have different values?
True
Let v be -692 + 2 + (-2 - -3). Let f = v + 8961/13. Are f and 1 unequal?
True
Let q = 716 - 425. Do q and 291 have the same value?
True
Let r = -1.1 - 16.9. Let y = 0.49 - 18.61. Let o = y - r. Is o bigger than -1?
True
Suppose 4*p + 3*u = 35, 0 = p + 6*u - 2*u + 1. Suppose -2*w - 10 = -0. Let d = w - -16. Do d and p have the same value?
True
Suppose 8*y + 100 = 3*y. Let u = -15 - y. Is u less than or equal to 0?
False
Let v be (-15)/45 - 2/(-3)*23. Which is greater: v or -11?
v
Let m = -2.66 + 2.66. Which is bigger: 62/5 or m?
62/5
Let r = -982 - -977. Let v(t) = t - 2. Let x be v(-4). Is x at most r?
True
Let d = -20/581 - -5559/178367. Which is smaller: d or 1?
d
Let t be (-6)/(-12) + (-795)/(-6). Let w be 4/18 - t/(-9). Let m = w + -16. Is m smaller than -1?
False
Let x be 5 - (-12 + (-42)/(-7)). Does 7 = x?
False
Suppose 4*x - 2*t - 21 = 3*x, 0 = 4*x + t - 66. Suppose 7*c + 5938 = 6050. Which is smaller: x or c?
c
Suppose -71*l + 69*l = -80. Which is smaller: l or 159/4?
159/4
Suppose -4*d = -a - 8, -a + 3 = 4*d - 5. Suppose 0 = -5*t + 4*u - 4 - 43, 26 = -2*t - d*u. Let j be (-45)/5 + (0 - 2). Do j and t have the same value?
True
Suppose v - 3*v - 6 = 0. Let u(k) = k**2 + 15*k + 16. Let y be u(-14). Suppose 0 = -y*r + 3*r + 3. Do r and v have the same value?
True
Let m(s) = -s + 2. Let h(q) = -2*q + 3. Let t(x) = -3*h(x) + 4*m(x). Let w be t(1). Which is bigger: w or 1/25?
w
Let h(v) = -4 + 365*v**3 + 7*v**2 - 8 - 364*v**3 - 5*v. Let q be h(-7). Do q and 24 have the same value?
False
Suppose 2*r + 6 = 2. Let l be -5 + 1 + 6 - 5. Which is smaller: l or r?
l
Let w(o) = -8*o + 8*o**2 + 0*o + o**3 - o**2 + 4 - 3. Let u be w(-8). Are u and 20 equal?
False
Let v be (2/(-380))/(8/96). Are v and 0 non-equal?
True
Let u be 5886/2616*-26*(-20)/(-3). Is -390 at least u?
True
Let t(j) = 71*j + 58. Let o be t(-1). Suppose 3*u + 16 = -26. Is o >= u?
True
Suppose -9*m = -4*m - 25. Suppose -y - 5 = -5*d + m, 4*y - 6 = -3*d. Suppose 0 + d = -f. Which is bigger: f or -3?
f
Let i = -421 + 409. Which is greater: -15 or i?
i
Let a = -603 + 690. Is 0 bigger than a?
False
Let y = 118/4815 - 5/107. Let b be 4/6*(-354)/180. Let a = y + b. Which is bigger: a or -2?
a
Let i(c) = -c**3 + 3*c**2 - 2*c + 2. Let p(b) = 4*b - 2*b + 2 + 5 - 1. Let k be p(-2). Let u be i(k). Do 2 and u have the same value?
True
Let u = -29 - -28.77. Let x = u - -0.33. Which is smaller: 6 or x?
x
Let v be 4/(-6)*636/(-848). Let q = 0 - 1. Let j = q + 2. Are v and j non-equal?
True
Let j = 368 + -367. Is -9/106 > j?
False
Let d be (-4)/(((-5)/20)/(1/2)). Let l be 12*(-4)/88*-14. Which is bigger: d or l?
d
Suppose 0 = 17*x - 13*x - 420. Is 104 smaller than x?
True
Let k(o) = o**2 + 8*o - 1. Let r be k(-8). Let x be r/(-1)*3/(-39). Is -0.1 >= x?
False
Let x(s) = -15*s**2 + 8*s - 1. Let k be x(1). Is k bigger than 24?
False
Let z(r) = r**3 - 21*r**2 + 44*r + 3. Let h be z(18). Is h bigger than -176?
False
Suppose 0 = 42*x - 43015 - 34685. Which is smaller: 1849 or x?
1849
Let t = 522 + -523. Is -2/77 at least t?
True
Let q = 29.3 + -35.3. Let p = 17 - 19. Which is smaller: p or q?
q
Let p(b) = 4*b - 7. Let j(c) = c - 1. Let z(g) = 6*j(g) - p(g). Let x be z(-2). Let s = 0 + 1. Which is smaller: x or s?
x
Let l = -1010 - -202. Let b = 4071/5 + l. Let d = 501 + -494. Which is bigger: d or b?
d
Let i(y) = y**2 + 28*y + 36. Let r(d) = 2*d**2 + 55*d + 72. Let p(j) = 5*i(j) - 3*r(j). Let h be p(-24). Is -11 at most as big as h?
False
Let s(b) = -3*b + 62. Let c be s(20). Which is greater: c or -74?
c
Let p(h) = -27*h**2 + h - 1. Let a be p(1). Suppose 0 = -76*n + 71*n + 145. Let i = n + a. Which is smaller: 8/9 or i?
8/9
Let q be -4 + (-6)/(-3) - -4. Suppose -j - 3 = -q. Is j less than or equal to 1/135?
True
Suppose 3*w - 4 = 2*w, -11 = 3*z - 2*w. Is z < -1/205?
True
Let m(t) = -t - 4. Let s be (0/2)/(4 + -6). Let h be m(s). Let o be h/(-10) - 128/120. Is o not equal to -1?
True
Let n be (1250/210)/(2/(-90)). Let m = -269 - n. Which is smaller: m or -0.1?
m
Let q = -7194 - -7193. Let z be (-2)/(-6)*4*-3. Which is greater: q or z?
q
Suppose 0 = t + 1 + 5. Let x(y) = -3*y + 18. Suppose -3*q = 12, 17 = 5*n + 3*q - 11. Let f be x(n). Is t at most f?
True
Let v(p) = -p**2 - 11*p - 9. Let h be v(-10). Let w = 2 + h. Let d = 2.1 + -2. Which is smaller: d or w?
d
Let n be (-64)/32*23/2. Which is greater: 4 or n?
4
Let v = 9.983 - -0.017. Let x = v + -10. Let a = -2.5 - 1.5. Which is greater: a or x?
x
Let a = -0.026 - -32.026. Which is greater: 2/3 or a?
a
Let g = 9.9 + 113.1. Which is bigger: 0.1 or g?
g
Suppose 8*v - 29 - 27 = 0. Which is bigger: v or 6?
v
Let v be ((-8)/(-52)*-1)/(-1). Suppose 0 = 6*a - 35 - 13. Suppose a*p = 7*p. Which is smaller: v or p?
p
Let q = 463 + 9. Is q less than 471?
False
Let x(z) be the second derivative of z**4/6 + 17*z**3/3 - 11*z**2/2 + 18*z. Let j be x(-18). Is j greater than or equal to 0?
True
Suppose 5*v = -5*w + 5, -2*v - 3*w - 4 = 2*w. Suppose 3*a + 0 = 5*p + 4, -12 = v*p - 5*a. Which is greater: 8/9 or p?
p
Let c be (255/(-10))/(2/4). Which is smaller: -464/9 or c?
-464/9
Suppose 0 = j - 4*p - 4 - 0, 20 = 5*j - 5*p. Suppose -j*l - 9 + 57 = 0. Which is smaller: l or 11?
11
Let w be (2 - 60/27)/(-1). Let x = -0.14 - -0.04. Is x at most as big as w?
True
Let g = 0.92591 - -0.07409. Let v be (-2)/6 - 15/9. Let j b