et b = -78.7 - j. Let t(n) = -n - 4. Let l be t(-3). Which is bigger: b or l?
b
Let h = -838260282/558569 + 50/50779. Let w = h - -1498. Is w bigger than -4?
True
Let c(l) = -l**2 + 19*l - 14. Let y be c(18). Suppose -5*p = -3*o - 82, -5*p - 6 = -y*p + 5*o. Which is smaller: p or 55/4?
55/4
Let f(l) = -l**2 + 35*l + 19. Let v be f(33). Which is greater: -0.4 or v?
v
Let m be 57/1710 + 1/6. Let s = 12.09 + -12. Let l = s + 3.91. Do m and l have the same value?
False
Let c(j) = -j. Let a be c(4). Let y(b) = 12*b + 33. Suppose 0 = -5*n - 4*r - 27, -3 = 5*n - 3*r + 3. Let g be y(n). Is g bigger than a?
True
Suppose 4*g + 12 = 4*i, -4*i + 10*g + 9 = 5*g. Suppose 4*h - p + i*p = 30, 4*h - 5*p - 10 = 0. Suppose h*m - j + 4 = 12, -5*j = 3*m + 12. Is -2/33 equal to m?
False
Let c be (-2)/(-212)*(5 - 1). Let i = -9.12 + 8.12. Which is smaller: c or i?
i
Let x = 24 - 6. Let s = 19.3 - x. Let c = s - 1.5. Is c <= -2?
False
Let a = 14/3 + -5. Let n be (-18)/(-27)*(-3)/27. Is n less than a?
False
Let y(l) = l**3 + 4*l**2 - 6*l + 5. Let a be y(-5). Let h = a - 8. Let i = -3/2 + h. Are 0 and i unequal?
True
Let b(r) = -1 - 7*r + 3*r + 0*r - 6*r. Let j be b(-1). Suppose -w = -4*w + j, 3*n = 4*w - 6. Do 1.2 and n have different values?
True
Let i = 0.22 + 1.78. Is i smaller than 48?
True
Suppose -239 = -5*p - 2*k, -4*k = -4*p + 3*p + 61. Let c = p - 49. Which is greater: -1 or c?
c
Let v = 1997/5 - 400. Does 2/7 = v?
False
Suppose 18 = 2*g + 4*o, 0 = 4*g + o - 9 + 1. Is g less than 4?
True
Suppose 3*x - 66 = i + 49, 4*i = 8. Which is greater: x or 19?
x
Let x(f) be the first derivative of -f**2 + 2*f - 3. Let r be x(2). Let b be r/(-6) - 3/(-9). Which is greater: 0.1 or b?
b
Suppose 3*l = -3*g + 186, -4*g + g - 168 = -3*l. Let n = l + -61. Is -32/11 > n?
False
Let y = -25.4 + 32.4. Which is greater: y or 8?
8
Suppose -16*j + 7*j + 306 = 0. Are j and -3 equal?
False
Let q be -21*1*(-1)/3. Let d(r) = 0*r + 6*r + 5 - q*r - 2. Let w be d(5). Is 1 < w?
False
Let d be ((-4)/2)/((-4)/(-5748)*2). Let r be (-2)/(-13) + d/(-39) + 4. Is 79/2 != r?
True
Let j = 1483/75 - 186/25. Is j less than -2?
False
Let u(z) = 3*z**3 - 8*z**2 + 8*z - 22. Let v be u(3). Suppose 0 = 2*i - i - 12. Which is greater: i or v?
i
Let c(r) = r**2 - r + 6. Let h be c(7). Let z = -59 + h. Which is bigger: -12 or z?
z
Let w(i) = -2*i + 29. Let p be w(9). Is p greater than or equal to -14?
True
Let f = -163 - -333. Let c be f/17*2/12. Which is smaller: 2 or c?
c
Let x be 24*18/(-28)*8/6. Let r = -467/21 - x. Suppose -5*s - 33 = 6*n - 2*n, 2*n - 11 = 3*s. Which is smaller: n or r?
n
Suppose 7*u - 2*u + 5*f + 105 = 0, 2*u = -4*f - 44. Suppose -9*s = -732 + 912. Is u greater than s?
False
Let t = -2223/220 + -8/55. Let m = t + 10. Which is smaller: 0 or m?
m
Suppose -199*u + 188*u = 0. Which is bigger: 1/339 or u?
1/339
Let d = 336 - 64175/191. Is d less than -0.1?
False
Let l be 2/(-8 + (-508)/(-64)). Do l and -29 have the same value?
False
Let g = 138274250/2323 + -59524. Which is greater: 0 or g?
0
Let i = -63 + 251/4. Let b = i + 13/20. Which is smaller: b or 2?
b
Suppose 208 = -25*m + 258. Suppose -33 = 4*i - 5*d, 0 = -i - 2*i + 5*d - 31. Let j = -1 - i. Is m smaller than j?
False
Let s be 2*(42/12 + 1 + -1). Suppose 3*q = -4*q - s. Let f = -68 - -341/5. Is q >= f?
False
Suppose 4*b + 1413 = -j, -3*b + 679 = -5*b + 5*j. Is -354 less than or equal to b?
True
Let l be (-2)/((-16)/(-36))*8/(-18). Is l less than 9/11?
False
Let w = 655 + -94974/145. Which is smaller: w or 0?
0
Suppose 295 - 3172 = -7*v. Is 411 at least v?
True
Suppose 18*m - 16*m = 4*y, 0 = -3*y - m. Which is smaller: y or -1012?
-1012
Let i be 47/(-3) - (-15)/(-765)*17. Which is greater: i or -5?
-5
Let i be 14/(-21) - (16/(-10))/2. Which is smaller: i or 0.4?
i
Let k(w) = -w + 5. Let h be k(4). Suppose -2*d + 528 = 2*d. Let a be (-75)/d + (-15)/(-20). Which is smaller: a or h?
a
Let n be ((-1)/(-5))/(((-30)/8325)/1). Which is bigger: -57 or n?
n
Let f = 69 + -72. Are f and 91 non-equal?
True
Let j be 0 + 4/14 - 5899/(-7). Let f = -37933/45 + j. Let y = -2 - -1. Is f < y?
False
Let o = -2/31 + -327/217. Suppose -6 - 3 = 3*g + t, 0 = -t. Which is smaller: g or o?
g
Let k = 583 + -588.69. Is k bigger than 2?
False
Let q = 109 + -138. Let t = q + -17. Is -48 <= t?
True
Let m(j) = -25*j + 172. Let n be m(7). Is n >= 0?
False
Suppose 0 = -5*a + 19 + 41. Let b be (-11)/28 + 3/a. Is -11 less than b?
True
Let j = 0.105 - -0.095. Which is bigger: -16 or j?
j
Suppose -f = -5*b - 1, 4*f + 4 = -4*b - 16. Which is greater: -2/329 or b?
-2/329
Let d(q) = q + 3. Let m be d(3). Let k = -8 + m. Which is smaller: k or -5/9?
k
Suppose 0*t + 5*d = 3*t + 23, -5 = -3*t - 2*d. Let r be 69/(-18) - t*3. Are r and -0.8 non-equal?
True
Let o be 3/3 + 9 + -15. Let v be 84/(-140) - 18/o. Which is bigger: -1 or v?
v
Suppose 5*r - 25 = 0, 3*r - 30 = -x + 6*x. Let k be (x/(-2))/(21/(-4)). Let d = -15 + 9. Is k != d?
True
Let i = -50 - -49. Let q = -13/347 - 68177/4858. Let n = -29/2 - q. Is n less than i?
False
Let y = 131/4 + -75/2. Suppose 3*u + 2*u = 120. Let t be ((9/2)/(-9))/(2/u). Is y <= t?
False
Let m = -44 + 46. Suppose -3*l = -m*q - 25, 5*q - q - 4*l = -48. Which is greater: -12 or q?
q
Let s(n) = -n - 9. Let x be s(-7). Let v be 0/(x + 3) + 9. Let b = 6 - v. Which is smaller: b or -2?
b
Let t = 38 + -38. Let a = -7 - t. Which is greater: a or -5?
-5
Let g be 4/22 - (530/22)/(-5). Suppose 5*i = -2*m + 2, 5*m + 1 - 6 = g*i. Which is smaller: m or 2/149?
2/149
Let b = 17.18 + -17. Let g = b - 0.28. Which is greater: g or 7/2?
7/2
Suppose -5*b + 0*b - 1125 = 0. Let w be 6/b*6/4. Are w and -1 equal?
False
Suppose 4*r = 2*m - 10, -5*r = -8*r - 3*m + 15. Let d = 681829/20 + -34099. Let h = d - -39/5. Is h <= r?
False
Suppose -8*w = 89 + 55. Do -10 and w have the same value?
False
Suppose -4*n - 135 = -595. Which is smaller: n or 343/3?
343/3
Suppose -176*x = -161*x - 30. Suppose -5*c + 0*c = 5. Is c smaller than x?
True
Let l be 30/(-4) - 6/(-4). Let y be l + 3 - (2 + -3). Let q be 2/(y*(-2)/(-6)). Is q equal to -1?
False
Let v = -0.72 + 0.8. Let s = -0.22 - v. Is -1/5 bigger than s?
True
Let x(q) = -2*q**2 + 9*q - 9. Suppose -2*l - 3*l = -15. Let z be x(l). Is z < -4?
False
Let q be 140/18 + (9 - (-130)/(-10)). Is -1/2 at least q?
False
Let t(m) = 30*m - 87. Let l be t(3). Is l less than or equal to 45?
True
Let d = -154 + 152. Which is greater: d or -46?
d
Suppose 0 = v + 5 - 6. Let m = 41/10 - 4. Which is greater: m or v?
v
Let w = -97 + 273. Let a = w - 1236/7. Let y(x) = -x**3 + 3*x**2 + 3*x + 2. Let o be y(4). Which is smaller: a or o?
o
Let c = -6897 + 6900.047. Let k = c + -0.047. Let s = 0.14 + -6.14. Which is greater: s or k?
k
Suppose -5*y - 24 = m, -2*m - y - 24 - 6 = 0. Let v = -13 - m. Let t = -52 - -209/4. Do v and t have different values?
True
Let v(g) = -g**2 - 6*g - 4. Let q be v(-5). Let i = 19 - 16. Let o be (3 - 154/26) + i. Are q and o equal?
False
Let q be 108/26 - (-2)/(-13). Let f(a) = a**2 - 7*a + 6. Let j be f(6). Suppose q*x + 4*u + 4 = j, 2*x - 25 = -3*x + u. Is x greater than or equal to 2?
True
Suppose 2*n - 3*f = 18, 0 = -3*n - 5*f - 3 + 30. Let m be (1 + 4)*(-2)/(-2). Suppose -m*b + 4 = n. Is b >= 0?
False
Suppose -4*k + 0*k - 48 = 0. Let u be (-4)/(-6)*k/(-236). Which is smaller: 0 or u?
0
Let c = -16.3 - -17. Let z = -21.1 - -21. Which is smaller: z or c?
z
Suppose 216 = -61*t + 65*t. Is 2 smaller than t?
True
Let h be (-24)/84 - (-1591)/105. Let m = -73/5 + h. Is 1 <= m?
False
Let c(d) = -d**2 + 5*d + 251. Let r be c(18). Which is smaller: 171/11 or r?
171/11
Let r = -1.3 - 0.7. Let s = -1 - -0.45. Let m = 0.15 - s. Is m greater than or equal to r?
True
Let x = 0.106 - -22.894. Which is greater: 0.1 or x?
x
Let o = 7 + 10. Let i be (75 - -1)*(-2)/(-8). Let d = o - i. Which is smaller: d or -5/4?
d
Suppose 0 = 75*d - 72*d - 51. Is d < 19?
True
Let i = 190.76 + -194. Let p = -0.14 - i. Let m = p + -0.1. Which is bigger: m or 2?
m
Let y = 1576 - 48863/31. Which is smaller: y or 0?
y
Suppose -l + 5*j - 2 - 3 = 0, 3*j + 20 = -4*l. Suppose 2*m + 25 = 5*k, 2*k - 6 - 4 = 0. Suppose m = 2*b - b + 5. Is l bigger than b?
False
Let k = 144 - 84. Suppose y + k = -4*y. Let f(p) = 10*p + 90. Let s be f(-10). Is s at least as big as y?