Which is smaller: -147 or x?
-147
Let q = 1.64 + -0.94. Let v = -9.66 + 1.36. Let b = q - v. Which is bigger: -1 or b?
b
Suppose 13*o = 11*o + b + 15, 5*o + b = 41. Is o at least as big as 18?
False
Let f(k) = -3*k + 29. Let v(t) = -2*t + 15. Let h(n) = -4*f(n) + 9*v(n). Let z be h(6). Is z >= -16?
False
Let m = -7173 + 1405911/196. Which is greater: -1 or m?
m
Suppose 3*x + 564 = 189. Let j be (-15)/x - 1/5. Let a = -12/25 - j. Is 2/7 equal to a?
False
Let o = 7 - 8. Let g = -47/159 - 2/53. Is g equal to o?
False
Suppose -5*a = 12*a - 3400. Suppose 3*o - 3*w + 21 = -99, -4*o - a = 4*w. Are -44 and o unequal?
True
Let k = 10 - 10. Let n = k + 2. Is n at most as big as 1?
False
Let a = 0.48 + -4.28. Let f = 3.8 + a. Is -0.9 smaller than f?
True
Let m = -13 - -3. Let b be 72 + 1 + m + 12. Suppose 0*c - 5*c = -b. Is 16 greater than c?
True
Suppose 0 = -3*u - 0*u - 198. Let i be ((-154)/u)/(-1*1). Is i at least as big as -0.1?
False
Let i be 63/15 - 2/10. Let a be i/8 + 1483/(-6). Let o = -249 - a. Which is bigger: -1 or o?
-1
Suppose 6*t + 4*m = 26, 4*m - 5 - 3 = 0. Suppose 10 = 2*a - 0. Suppose -a*n - 2 - 18 = 0. Which is smaller: n or t?
n
Suppose 0 = -2*c - 4*f, -c + 4*c + 5*f = 2. Suppose 2*l = c*l - 4. Let w = 9 - 6. Which is greater: w or l?
w
Let w be 1*(3 + -6) + -3. Let a be -5*3/2 + 1. Which is greater: a or w?
w
Suppose -4*l + 9 = -m - 8, -2*l + m + 7 = 0. Let b = 1/400 + 159/400. Which is bigger: b or l?
l
Let j be 26 + 5/((-20)/24). Which is greater: 21 or j?
21
Let i be 111 - (-5 - -9 - 3). Which is greater: 111 or i?
111
Let v be (2 + 0)*((-5)/(-2) - 7). Let n = 12 - v. Which is smaller: n or 111/5?
n
Let i = -5/79 - -213/869. Let p(c) = 2*c - 49. Let k be p(-21). Let n = 87 + k. Is n > i?
False
Let r = -70 + 65. Let f be (4/(-1140)*r)/(8/(-6)). Which is smaller: f or 1?
f
Let i(a) = -a**3 - 5*a**2 - 4*a. Suppose -p + 6 = -13. Suppose s - 8 = 3*r + 9, 3*s = r + p. Let k be i(r). Is k smaller than 1/11?
True
Suppose -g + 1 = 5*p, -g + 3*g = 2*p + 2. Let j be (0/(-3) - -1)*g/(-2). Which is smaller: 0 or j?
j
Let i = -321 - -320. Which is smaller: i or -3/14?
i
Let u = 155 - 152. Suppose -5*i + 85 = 2*w, u*w + 39 = 5*i - 71. Is i greater than or equal to 20?
False
Let n = 24800/483 - 154/3. Is 1 at least n?
True
Suppose 3*p + 0 = -2*s + 15, -2*p - 4*s = -18. Suppose 0 = f - 15 - 26. Suppose 5*h - n + 60 = 0, 5*h + f = -p*n - 39. Is -14 at least h?
False
Suppose 4*c - 2*c + 2 = 0. Let s be c - (-6 + 3 + 4). Which is greater: 0 or s?
0
Let j = -111 - -65. Let d = 25 + j. Suppose -9086*n = -9092*n + 6. Is n equal to d?
False
Suppose 2*v = 0, -6 = -y - 3*v + 16. Let k = 395/18 - y. Is 1 less than k?
False
Let c = -787 + 786.35. Which is bigger: c or -0.1?
-0.1
Let v = 0.063 - 36.063. Let q = 38 + v. Which is greater: q or -1.9?
q
Let c = 7105 - 1563097/220. Is c < -0.2?
False
Let a = 61/4 + -179/12. Is a <= -0.2154?
False
Let d(g) = -g**2 - 4*g + 27. Let h be d(-8). Let k be 0*(72/15 + h). Which is bigger: k or 1/175?
1/175
Suppose 0 = 3*l + k - 1, 3 = -l + 5*k - 2*k. Let v be l*((-10)/(-5))/4. Which is greater: v or 1/13?
1/13
Let u = 5 + 13. Suppose -3*k = 3*q + u, -3*k = -q - 1 - 1. Let b be (-8)/(-36) + 47/(-9). Is q > b?
False
Let z = 284 - 307.9. Let a = 24 + z. Let n be ((-2)/(-24))/(2/4). Which is smaller: n or a?
a
Let m be (-1)/2 - (3 - (-7)/(-2)). Let h be (m + (-2)/(-2))/2. Are h and 1/2 non-equal?
False
Let i be 26/6 + 28/(-21). Let a = -3 + i. Let c = -733/418 + 19/11. Is c smaller than a?
True
Let w = 61 + 4. Let c = w - 69. Is 0.6 <= c?
False
Let j = 0.772 + -0.782. Is j != -5/6?
True
Let b = -4 - -4. Suppose 5*c - 20 = -b*c. Suppose -c*q + f + 0*f = -47, -2*q = 3*f - 41. Which is smaller: 12 or q?
12
Let b = 1576 + -1580. Which is smaller: 3/8 or b?
b
Let w(z) = -z**2 + 3*z - 12. Let k(m) = -m**2 + 4*m - 13. Let d(y) = 4*k(y) - 5*w(y). Let x be d(0). Let b = -24 - -32. Is b < x?
False
Let o(u) = -u**2 + 26*u + 807. Let g be o(52). Is g > -545?
False
Let b = -0.64 - 29.36. Let y = -14 - b. Let o = 31 - y. Is 1 less than or equal to o?
True
Suppose -2*m + 38 = 2*d, 0 = -5*m - 19 - 6. Suppose 0 = -28*o + 24*o - d. Which is smaller: -16/3 or o?
o
Let j = -26.04 - -0.04. Let d = 38 + j. Which is bigger: 1/2 or d?
d
Let w = 9/49 + -958/147. Let m(t) = -t**2 - 19*t + 10. Let z be m(-16). Let s = 53 - z. Is w smaller than s?
True
Let r = -574 - -574. Which is smaller: r or 0.2531?
r
Suppose 0 = 32*f + 800 + 14752. Is f bigger than -486?
False
Suppose -h + 83 = -3*g + 373, -2*g = -h - 194. Suppose 0 = 5*p - i - 2*i + g, 3*p - i + 56 = 0. Is -18 at least as big as p?
True
Let x = -1.7 - -1.4. Is x equal to -19/7?
False
Let p be (-9 - 0) + (-11)/((-44)/8). Is -84/11 <= p?
True
Let c be 2/1*2/(-26). Let v = -38 - -36. Let p(a) = a + 1. Let z be p(v). Which is greater: c or z?
c
Let b = -0.048 - -84.048. Which is bigger: -8 or b?
b
Let o(s) be the first derivative of -4*s**3/3 + s**2/2 - 64. Let b = -1 + 2. Let c be o(b). Which is smaller: c or -15/7?
c
Let x be 0 + 8 + 486510/(-60810). Which is smaller: -1 or x?
-1
Let g(k) = -k**3 - 32*k**2 + 43*k + 78. Let c be g(-33). Which is bigger: -254 or c?
c
Let x = -17 + 22. Suppose -5*z = -3*v - 9 + 36, -x*z = v - 9. Let f(w) = -w + 22. Let g be f(v). Does 13 = g?
True
Let s be (-7 - -14) + (-87)/6. Suppose -2*h - 13 = 2*b - 3*h, -4*b = -h + 29. Is s equal to b?
False
Suppose -11*x + 18 = -7*x + 2*g, -5*x - 2*g + 21 = 0. Is x < 23/6?
True
Let j = 557 - 554. Which is bigger: j or 67?
67
Let k = -44.5 + 7.5. Let z = k - -42. Suppose 4 = -p + 5*p. Is z at least as big as p?
True
Suppose -2*j + 3 - 1 = 0, j = -3*c - 8. Let m be 2 - (c + 6 + -1). Let q = 5 - 3. Which is bigger: m or q?
q
Let y = 1/136 + -71/408. Let j = -148 - -160. Suppose j*p = 7*p + p. Which is bigger: p or y?
p
Let i = 40 - 46. Let k = 6 + i. Which is bigger: -1/14 or k?
k
Let j be 156/33 + -1 + -4. Let w = 175.3 + -175. Which is greater: w or j?
w
Let z(b) be the second derivative of b**6/720 + b**5/10 - b**4/3 - 5*b. Let o(j) be the third derivative of z(j). Let g be o(-10). Is 2/3 less than g?
True
Suppose -3 = -5*t + 2. Suppose 0 = 2*r - 6, -5*r - 25 + 0 = 4*l. Let b be (11/(-3) + 2)/(l/12). Do b and t have the same value?
False
Let w = -819 + 835.55. Let f = -17 + w. Let i = -0.25 - f. Which is greater: i or 0.1?
i
Suppose 22*r + 8 - 30 = 0. Are r and -8/21 non-equal?
True
Let y = 7/183 + -13/183. Does y = 2/5?
False
Let p = -402 + 401. Let s(r) = r**2 + 7*r + 8. Let j be s(-6). Let l be 2 - (124/22 - j). Which is smaller: l or p?
l
Let o be (-21)/(-35) - (-1026)/(-10). Which is greater: o or -101?
-101
Let o = 46 - 15. Let v = o - 30. Let x = 0.3 - -1.7. Is v at least x?
False
Let o be 55/2 - (-1)/(-2). Let q = 2322 - 2296. Which is bigger: q or o?
o
Suppose 5*w = -17 - 8. Let m = 358 - 365. Which is bigger: w or m?
w
Let l(q) = q**3 - 3*q**2 + 2*q - 3. Let t be l(3). Suppose -k + 31 = 4*p, 2*k - 30 = -t*p - p. Let i be 3 - 1 - 18/p. Is i greater than -1?
True
Let c(k) = k + 2. Let m be c(14). Let z be 6/(-9)*(-6)/m. Which is smaller: z or -8?
-8
Suppose 59*t - 6 = 57*t. Is t < 21/10?
False
Let z = 2767 - 2770. Let n = 1435 + -10075/7. Which is greater: n or z?
z
Let a = 667 + -668. Which is bigger: a or 4/523?
4/523
Let b(h) = h**3 - h**2 + h + 5. Let k be b(0). Suppose q = k*u + 237, 4*q + 153 = -3*u + q. Let z = u - -815/17. Which is bigger: z or 0?
0
Let j(p) = 8*p + 153. Let z be j(-19). Is -1/452 >= z?
False
Let t be 5/((-10)/6) + 6. Suppose t*x + 67 = 5*v, 0*x + 17 = v + 3*x. Let p be 38/v - (6 + -4). Which is smaller: p or 0?
0
Let n = 12 + -11. Let z be (-4 - 33/(-2)) + n/2. Which is smaller: 2 or z?
2
Suppose -59*r + 55*r + 20 = 0. Let m be (2/r)/(5 - 36/(-20)). Is m > -1?
True
Suppose -g + 7*a - 28 = 2*a, 0 = -5*g - 4*a - 82. Does -10 = g?
False
Let r be 2/(-6)*42/(-224). Let j be 0 + 0 + (-7)/(-144). Let d = r + j. Is 0 at most d?
True
Let b(j) = -15*j - 28. Let i be b(-2). Which is bigger: i or -119?
i
Let l = 0.126 - 13.026. Let v = 0.12 - -12.88. Let w = v + l. Which is smaller: w or 5?
w
Let z(j) = -j. Let k be z(-1). Suppose k - 19 = 2*x + 2*m, -2*x + m - 27 = 0. Let l = x - -7. Are -7/2 and l equal?
False
Let w(o) = -o**2 + 11*o + 10. Let t be w(-1). Is -54/23 greater than or equal to t?
False
L