t b = 1.59 - 1.71. Which is bigger: -1/9 or b?
-1/9
Let f = -2552 + 2552.0849. Which is bigger: f or 0?
f
Let p = -7/25 + 171/700. Let t = p + -5/7. Which is greater: -1 or t?
t
Let p = 178 - 55. Which is smaller: p or 122?
122
Let z = -1/197 + -24617/1576. Which is greater: -16 or z?
z
Suppose -2*y = -4*q + 20, -5*y + y + q = 26. Let z be 4/y + 0/(-1). Let s = -144 + 1010/7. Which is smaller: s or z?
z
Suppose -3*r + 820 = 2*r. Suppose 18*a = 20*a + r. Is -81 less than or equal to a?
False
Suppose -264*b + 266*b = -8. Let v be (0 + 2)/((-6)/51). Does v = b?
False
Let q be 4/((-7)/(-2030)*-5). Do -232 and q have the same value?
True
Let l = -2.29 + 2.19. Is l at most as big as 0.018?
True
Let h(m) = -3*m + 17. Let u be h(7). Let t(z) = -z**3 - 3*z**2 + z - 3. Let w be t(u). Let r be (-6)/w - 44/(-3). Are 14 and r equal?
True
Suppose -4 = 4*b, -11*b - 2 = -w - 12*b. Is w greater than or equal to 2?
True
Let a(y) = y**3 - 10*y**2 - y + 7. Let w be a(10). Suppose -j + 3*j = -3*v + 6, 2*v = -5*j - 7. Suppose v*c + 3 = -5. Which is bigger: w or c?
c
Let y be (-75)/12 - 1/(-4). Let q(i) = -i**3 - 6*i**2 - 2*i. Let h be q(y). Suppose j + 26 = 3*k - 4*j, h = -4*k - 5*j. Is k at least 1?
True
Let c = -59 - -41. Let p = 27 + c. Let q = -4 - -2. Is q smaller than p?
True
Let c = 260 + -233. Are -1 and c equal?
False
Let h(m) be the second derivative of -m**5/20 - 3*m**4/4 + 11*m**3/6 + 5*m**2 + m. Let t be h(-10). Let n be 5/8*2/5. Which is smaller: n or t?
t
Let m(u) = 7*u - 23. Let n(x) = -20*x + 68. Let g(k) = 8*m(k) + 3*n(k). Let b be g(4). Are 4 and b equal?
True
Suppose 2*p - 4 = 6*p + h, 12 = -2*p - 3*h. Which is smaller: -6/145 or p?
-6/145
Let j(z) = z**2. Let p be j(-2). Suppose -2*m - 36 = -5*m. Let t be 14/m*p/(-28). Which is bigger: t or 1?
1
Let z(q) = -q**3 - 15*q**2 + 13*q + 16. Let h be z(-16). Suppose l + 2*y - 6 = 10, -h = -4*l - 5*y. Is l at least as big as 15?
True
Suppose 2*b + 78 = -4*i, 3*b + 2*i + 68 = b. Is b smaller than -29?
False
Let y(s) = s + 5. Suppose -2*w - 3*w = -v - 9, 2*v + 10 = 2*w. Let a be y(v). Let f(m) = m**3 - 6*m**2 + 6*m - 3. Let n be f(5). Is a less than n?
True
Suppose -664 = -3*b - n, 0 = 3*b - n - 742 + 80. Are 223 and b equal?
False
Let y be -4 + (6 - 13) + 9. Which is smaller: y or -28?
-28
Let v = 40 + -28. Let a be 2/(-6) - (-35)/(-21). Which is smaller: v or a?
a
Let x be (5 - 171/9) + -3. Is 4 at least as big as x?
True
Suppose -4*o = 5*k - 16, 7 = k + k + o. Which is bigger: k or 60/19?
k
Suppose 3*d + 2*a = 53, 19 - 2 = 2*d + 5*a. Let l = d + -13. Suppose -5*i + 7 = -5*t - 28, 3*i + 4*t - 21 = 0. Is l at least as big as i?
True
Let c = -6230 - -18916/3. Let o = c - 76. Is 18 != o?
True
Let d = -169.97 - -170. Is 9 bigger than d?
True
Let x = -28 + 35. Suppose 1 - x = 2*t. Let u be (t/(-12))/(34/8). Which is smaller: -1 or u?
-1
Let x = 102/355 + 8/71. Is x at least as big as -26?
True
Let q(r) = -r**3 - 16*r**2 + 18*r + 30. Suppose -36 = 12*n + 168. Let s be q(n). Is s < -2?
False
Let w(v) = -v - 155. Let t be w(33). Is t at most -188?
True
Let q = 11.09 + -9.09. Let s be 1/2*15/(-2). Which is smaller: q or s?
s
Let w = 4259 + -4256.719. Let j = 0.019 + w. Which is bigger: 0 or j?
j
Let g = 92 - 89. Let p be (-3 + -3 + 1)*g. Is p at most -15?
True
Let c be -9 - (-80)/(10 - 6). Are c and 128/13 nonequal?
True
Let u(o) = -2 + 1 - o + 2 + 6. Let y be u(2). Is y at least 18/5?
True
Let j be 0 + -32 + (1 - 0). Suppose 0 = 4*v + s + 3*s + 320, s = -1. Let d = 48 + v. Is d <= j?
True
Let q = -1 + -4. Let c = 0.8 + -1.03. Let h = c + 0.53. Is h greater than or equal to q?
True
Suppose 0 = 2*m + 5*j + 259, -12*m + 13*m = 3*j - 124. Is -129 > m?
False
Suppose -507 = -4*g + 5*p, -6*g + 8*g - 257 = -p. Is g at least as big as 127?
True
Let r = 9 - 7. Suppose -r*t - 8 + 34 = 0. Is 12 greater than or equal to t?
False
Let y(r) = -2*r + 3. Let p be y(3). Let o(x) = -4*x + 9*x - 3*x - x**2 - 2. Let m be o(1). Which is bigger: p or m?
m
Let q = 1114 - 1113.9. Which is bigger: q or -271?
q
Suppose -m - m = 84. Suppose 0 = -313*w + 312*w + 3*a - 61, 4*w - 4*a = -196. Is m not equal to w?
True
Let q(k) = 4*k - 18. Let c be q(5). Suppose -2*x - 4 = 4*g, -c*x = -4*x + 2*g - 10. Do -5 and x have the same value?
False
Suppose 3*z + 2*c - 20 = 3*c, 5*z - c = 36. Let t(s) = 0 - 21*s**2 + z - 11*s + 20*s**2. Let f be t(-12). Which is greater: -6 or f?
f
Suppose 0*k = 5*k - 25. Suppose -k*p - 2*p + 28 = 0. Suppose 0*m = 2*n - 3*m - 12, -4*n - m = -24. Is p at least as big as n?
False
Let o = 778 - 788. Let l = -180 + 1262/7. Is l at least as big as o?
True
Let k = -107/6 + 4546/255. Which is bigger: -1 or k?
k
Suppose -57 + 62 = p. Suppose 0 = 8*g - p*g - 3. Is -2/71 at least g?
False
Suppose -2*v + v - 5 = -5*q, q = 3*v + 43. Let z = 27 + v. Let f = -38303 + 38314. Is z equal to f?
False
Let h = -8/7 - 31/28. Suppose 0*g + 6 = -4*l - 5*g, -3*g = -6. Let q be l*1/(-2) - 4. Do q and h have the same value?
False
Let b be 6/21 + 3888/63. Let h = -62 + b. Which is smaller: 2/61 or h?
h
Let y = 8 + -5. Let b be 1 + (y/3 - 10). Let f be 16/38*(-2)/b. Which is bigger: 1 or f?
1
Let b = -3954 - -1250. Let n = b - -1078895/399. Let u = -2399/1995 - n. Which is smaller: u or 0?
u
Let s(x) = 3*x - 19. Let h be ((-8)/10)/((-18)/135). Let j be s(h). Is j equal to 1/53?
False
Let t(c) = -c**2 + 2*c + 2. Let o be ((-3)/(-2))/(30/(-20)). Let h be t(o). Which is greater: -3 or h?
h
Let b be (-14)/(-56) + (-10460)/(-16). Do 654 and b have the same value?
True
Let b(w) = 3*w**3 + 46*w**2 + 17*w + 19. Let u be b(-15). Let g = -30 - -20. Which is greater: g or u?
g
Let x = -57.8 + 58. Are -30/23 and x non-equal?
True
Let n(x) = -x**3 - 11*x**2 - 11*x + 1. Let s = -22 + 12. Let j be n(s). Which is smaller: j or 10?
10
Suppose -b + 2*b = 3. Suppose -2 = 2*o + 4*c - 32, 29 = b*o + 2*c. Let h be (-36)/(-21) + 2/o. Which is bigger: h or 0?
h
Let b = -101/1267 + 3/362. Which is bigger: -1 or b?
b
Let p = 2 + 5. Suppose v = -5, -2*d - p = -5*v - 4. Let w = 15 + d. Is w at most as big as -2/43?
False
Let n be (-565)/(-15) + (-8)/12. Let y = n - 42. Which is greater: -8 or y?
y
Let w = -10.04 + 10. Let m = w - 0.06. Let n = 341 + -329. Which is smaller: n or m?
m
Let p = -214 - -216. Are -0.14 and p equal?
False
Suppose -6 = 4*j + v + 2, 3*v - 8 = 4*j. Let t be ((-48)/(-14))/(2/(-21)). Let k be t/24 + j/(-4). Is -1 >= k?
True
Let o(v) = -v**2 + 28*v - 115. Let s be o(5). Which is bigger: -3/106 or s?
s
Let k be (-16)/4 + (-2 - -3). Let t(c) = 3*c**2 + 3*c + 2. Let j be t(-2). Let n = -16 + j. Which is bigger: n or k?
k
Suppose 3*c = -3*g + 18 - 3, -4*c = 5*g - 20. Let k = -356 - -4632/13. Is g bigger than k?
False
Suppose z + 18 - 4 = 0. Is z > -17?
True
Suppose 2*x - 10 = 0, -73 = -4*q + 4*x + 15. Suppose q = 5*m + 7. Suppose 3*u = -u + 24. Is u greater than m?
True
Suppose 44*b = 47*b + 480. Which is greater: -161 or b?
b
Suppose 82*t - 675 = 883. Which is greater: t or -1.2?
t
Let f = -7 - 1. Let r be 20*(3/f)/(-1). Which is smaller: r or 7?
7
Let w(l) = 4*l - 67. Let b be w(20). Let i be ((-8)/20 + b/20)*-2. Which is greater: 0.14 or i?
0.14
Let n = -221.794 + 222. Which is greater: -1 or n?
n
Let o be ((-1)/(2/15))/(15/(-40)). Let z be (o/30)/((-2)/21). Suppose w - 4*r = -2*w - 26, 2*w - 3*r + 18 = 0. Is z at least as big as w?
False
Let p(v) = -v**3 - 9*v**2 + 11*v + 21. Let g be p(-9). Is g bigger than -2?
False
Suppose 27 = -2*k + 5*k. Let n be (k/9)/(1/1). Let q = -72/5 - -3662/255. Is n > q?
True
Suppose 2*g = 7*g. Let c = -72818/9 + 8091. Is g not equal to c?
True
Let q = 10 - 10. Suppose -d + 1 + 4 = 0, -o - 4*d + 22 = q. Is -0.6 less than or equal to o?
True
Let g = 2.38 + -4.38. Is 1/47 less than or equal to g?
False
Let l be ((-5)/15)/(2/(-48)). Let k(m) = 3*m - 20. Let q be k(l). Do 1 and q have different values?
True
Let z be (-13 - (-36)/(-6)) + 0. Which is bigger: -9 or z?
-9
Let g(x) = 4*x - 3. Let h be g(4). Let w(d) = d**2 - 12*d + 28. Let m be w(h). Is m > 41?
False
Suppose 5*r + 338 = -c, -4*c - c = -10. Is -66 at least as big as r?
True
Suppose 3*w - 5*t = -151, 6*t - 10 = t. Do -47 and w have different values?
False
Let d be 4 - (2192/438 - 1). Let i = 731/219 + d. Let l = 4 + -2. Is i less than l?
False
Suppose -2*o + 8*o =