x?
True
Let u be 1*(-106)/12 - 2. Let s = u - -61/6. Is s at least as big as 2/15?
False
Let j = -95849/10 - -9574. Let y = -1735/166 - 4/83. Let f = j - y. Are 1 and f nonequal?
True
Let h(k) = k + 1. Let v be h(4). Suppose 5*l - 5*p - 45 = 0, -2*l = -v*l - 2*p + 2. Suppose l*y = 3*y - 1. Is 2/7 <= y?
False
Let m = 133/6 + -22. Let x = 20 + -21. Is x at least m?
False
Let x be 2/(-8) - 42/(-8). Let t = 21 - 13. Let q be t/10 + (-2)/(-10). Which is smaller: q or x?
q
Let t = 16 - 17. Which is smaller: -2 or t?
-2
Let x be ((-5)/(-65))/((-12)/154). Let c = x + 2/13. Which is greater: 0 or c?
0
Let h be 3/(-2)*(-3 - 34/(-10)). Which is bigger: -1 or h?
h
Suppose 2 = -t - 3. Let g(j) = -4*j - 1. Let f be g(1). Is t less than f?
False
Let n be (6 - 3)*2/102. Which is smaller: n or 0?
0
Let b = -325/2 - -158. Which is smaller: -5 or b?
-5
Let t be (-3 + 3)*(9/3 + -2). Let m = 39 - 22. Let a = -7 + m. Are a and t equal?
False
Let h = 1.44 - -1.62. Let m = h - 0.06. Let l = 3.1 - m. Which is greater: l or -3?
l
Let h = -291 - -2045/7. Is h at most 2?
True
Let m(p) = p**3 - 7*p**2 - p + 9. Let v be m(7). Is 1/2 <= v?
True
Suppose -4*f - 21 = -9. Let p = f + 2. Is 1/4 bigger than p?
True
Suppose -4 = 2*z + j, 6*z + 2*j + 10 = z. Suppose 0 = 4*w - 9*w + 230. Suppose -f - 3 = 0, -4*g - 5*f + 15 = w. Is z != g?
True
Let a(g) = -g**2 + 10*g + 15. Let p be a(11). Let c be 1/p - (-20)/176. Which is smaller: c or -1?
-1
Suppose 4*o - 5*z + 3 = 0, 2*o - 2*z - z = -3. Suppose 5*l - 2*d = 4 - 15, d = -o*l. Do -1 and l have the same value?
True
Let i be (-4)/22*216/80. Let h = i - -12/11. Do -0.1 and h have the same value?
False
Suppose -o - 3*o = 5*q - 22, 4*q - 2*o = 2. Let n be q/(-1)*1/(-5). Are n and -0.1 nonequal?
True
Let g = 18 + -16. Does 3/7 = g?
False
Let l = 79 - 319/4. Is l equal to 0.04?
False
Suppose -3*h + 6*h = 0. Suppose h = t + k, 2*t + 2*t - 3*k + 21 = 0. Let w = 3 + t. Which is bigger: 2/7 or w?
2/7
Let p = -1/187 - -1315/1122. Let k = 4/3 - p. Are k and -1 unequal?
True
Suppose -3*x + 20 = 4*k - 2*x, k - x = 10. Suppose 0 = -i + k*i - 5. Let v = -0.1 - -0.2. Is i equal to v?
False
Suppose 0*t = 3*t. Suppose -5*i - 4 - 6 = t. Let j(k) = k**3 - 9*k**2 + 8*k - 3. Let y be j(8). Is i > y?
True
Let a = -1 + 1. Let o = -24 - -23. Let r = a + o. Is r at least as big as -1/4?
False
Suppose 4*n = -1171 + 59. Let q = 4728/17 + n. Which is smaller: q or 0?
0
Let w(k) = -2*k**2 - 3*k + 3. Let j(v) = -v**2 - 2*v + 4. Let d(g) = 3*j(g) - 2*w(g). Let o be d(0). Let y = o + -5. Which is smaller: y or -0.7?
-0.7
Let w be (-18)/189*(-14)/(-6). Which is bigger: 0 or w?
0
Let g = 0.9 + 8.1. Let h = g + -10. Which is smaller: 7 or h?
h
Suppose -4*g = -16, -b + 116 = -0*b + g. Let m be b/(-18) - (-8)/36. Let n be (4/6)/(m/9). Which is smaller: n or -2?
-2
Let h be (-4)/(-14)*63/45. Which is smaller: 0 or h?
0
Let l = 7.093 - 0.093. Are -3 and l nonequal?
True
Let o(w) = w**3 + w**2 - w + 1. Let q be o(-2). Is q bigger than 1.6?
False
Let c be ((-961)/(-465))/(2/(-6)). Which is bigger: c or -5?
-5
Let f be 3 + 1*(0 - -1). Let r(h) = h**2 + 2*h + 3. Let n be r(0). Is n bigger than f?
False
Let j = -11.1 + 13. Let b = j + -2. Which is bigger: b or 1?
1
Let b = -2/2589 - -23877/863. Let g = 27 - b. Let i(n) = -n**2 - 6*n - 7. Let y be i(-5). Which is greater: g or y?
g
Let b(g) = -3 - 2 + 0 + g + 1. Let c be b(0). Is c bigger than -5?
True
Let w(o) = o + 1. Let h be w(-4). Suppose -6 = 52*s - 50*s. Is s less than or equal to h?
True
Let q be 0/2 - (-19 - -15). Let s be (q/114)/((-4)/(-6)). Suppose 5*g + i - 5 = -0*g, 20 = -5*g + 4*i. Which is greater: s or g?
s
Let j = -7 + 15. Let h = -4 + -3. Let k be (j/28)/(3/h). Which is greater: 0 or k?
0
Let w(r) = -r**2 + r. Let d be w(1). Suppose -5*y + 68 = 4*t - d*y, -3*t + 5*y = -16. Let u be 4/6 + 16/t. Do 2 and u have different values?
False
Suppose -2*t - 4*g = 8, 0 = -3*t - 2*g + g - 2. Let r = -6/25 + -7/75. Do t and r have the same value?
False
Let w = -0.075 + 0.285. Which is bigger: w or 0?
w
Suppose 0 = 4*p - h + 20, -2*h - 10 = -2. Let q be (2/p)/(1/3). Let m = -2 + 1. Is m greater than or equal to q?
True
Let u = -27 + 20. Which is bigger: u or -0.2?
-0.2
Let u(x) = -x + 9. Let y be u(10). Let i be (1 - 18)/(20/(-32)). Let k = i + -27. Which is greater: y or k?
k
Suppose 0 = -0*m - 2*m - 6. Which is bigger: -5 or m?
m
Let j(h) = -h**3 + 6*h**2 - 4*h. Let s be j(5). Suppose 0*p + 20 = -5*p + s*n, 3*p + n = 0. Is p less than 1?
True
Let s be 3/(-1)*(-2 - -1). Suppose s*w + 10 = w. Which is smaller: -4 or w?
w
Suppose -5*f + 9 = -4*v + 50, 4*v + 2*f - 6 = 0. Suppose -13 = -3*q - v. Suppose -5*k - 9 = -2*k - 3*h, -4*k - q*h + 9 = 0. Which is smaller: k or -2/3?
-2/3
Let j = -62 + 54. Is -9 less than j?
True
Suppose -2*z - 10 = 8*z. Is -2/35 != z?
True
Let p = 0.17 - -4.03. Let y = -3 + p. Let k = -1 + y. Which is greater: 0 or k?
k
Let c = -1375/11466 - -2/441. Which is greater: 1 or c?
1
Suppose 3*s + 110 = 13*s. Which is bigger: 10 or s?
s
Let m be 5/(-1*(-1)/(-14)) + -3. Are m and -72 equal?
False
Suppose 0 = 19*b - 17*b - 12. Suppose b*o = 5*o - 1. Which is smaller: -4/5 or o?
o
Let d be (-16)/40 + 27/5. Let h = d - -1. Suppose 0 = -2*g - 4 - h. Is -4 less than g?
False
Suppose 3*k - 3 = 9. Let c(g) = -g**2 + 8*g - 3. Let d be c(7). Suppose -8 = -2*n - v, n - d*v = -0*n + 4. Is k greater than n?
False
Let w be (-204)/(-21) + -10 - (-4)/63. Suppose -4 + 7 = 3*p. Is p < w?
False
Suppose -24 - 11 = -7*a. Is 5 equal to a?
True
Let u(r) = r**2 - 4*r + 3. Let g be u(3). Let h be 0 + -1 - (g - 1). Which is greater: h or 1/5?
1/5
Let c be 4*(-1 + 2)*2. Let s = 6 - c. Which is smaller: -7/5 or s?
s
Let w = -7 - -2. Are w and -5 equal?
True
Let m = -1.2 - -1. Let f = -15 + 14. Is m at most f?
False
Let s = 1064/5 - 98827/465. Let i = 14572/31 + -470. Let c = i + s. Which is smaller: c or 0.1?
0.1
Suppose -5*i = -b - 14, 4 - 12 = -4*i + 4*b. Which is greater: 4 or i?
4
Let g be (-3)/((-18)/2)*6. Let y be (-228)/8 - (-1)/g. Let v be (-15)/y - (-8)/(-28). Which is greater: 2/3 or v?
2/3
Let q = -10 - -8. Let p = 6.27 - 4.28. Let r = p - -0.01. Is q less than or equal to r?
True
Let u = -2 - -4. Let l be (0 + u/(-1))*1. Suppose 0 + 12 = -4*x. Which is smaller: l or x?
x
Suppose -6*w + 2*w + 12 = 0. Suppose w*r = 9 + 3. Which is bigger: r or 5?
5
Suppose 0*h - 2*r = -h + 10, -2*r + 14 = 2*h. Which is smaller: h or 10?
h
Suppose -3*f + 2*h + 18 = 0, -5*f + 2*h = 5*h - 11. Let t be f/(-6)*(-3)/(-2). Does -1/6 = t?
False
Let p = 7476900 - 3873035491/518. Let g = 2/259 - p. Is 3 equal to g?
False
Suppose 5*w = -4*y + 15, 5*y - w + 2 + 1 = 0. Which is bigger: y or 5/17?
5/17
Let b be ((-142)/4)/((-279)/(-6)). Let f = -3/31 - b. Is -0.1 less than f?
True
Let o = -2 - -3. Let g(m) = m**2 - m - 2. Let h be g(-1). Which is smaller: o or h?
h
Let z = 4 + -3.3. Let h = z + -3.7. Suppose -1 - 2 = 3*v. Are h and v equal?
False
Let g = 201.2 + -185. Let l = 16 - g. Which is smaller: l or -1?
-1
Suppose -j + 1 = 3. Let a = j + 2. Let s be 1/2 - (-3)/(-30). Which is greater: s or a?
s
Suppose -d + 6 - 8 = 0. Which is smaller: 10 or d?
d
Let x(m) be the third derivative of 7*m**4/12 + 2*m**2. Let d be x(1). Suppose k - 2*w - 2 = 0, -4*w = 3*k - 2*w - d. Which is smaller: 3 or k?
3
Suppose 0 = 5*i + 28 + 12. Let v be (i/10)/(3/(-30)). Which is greater: v or 0.1?
v
Suppose -5*m + 0*m + 35 = 0. Let i = 10 - m. Let o = i + -3. Is o bigger than -1?
True
Let z = -0.164 - 6.936. Let g = z + 4.2. Let k = 3 + g. Is k greater than or equal to -1?
True
Let o be 38/14 - (-6)/21. Let s = o + -4. Is -1/5 at most as big as s?
False
Let s = 89/4 + -22. Let v = 0.5 - 0.3. Let r = 0.4 - v. Which is bigger: s or r?
s
Let r = 2 + -2.4. Let m = -0.38 - r. Let y = -1.02 + m. Which is smaller: y or 1?
y
Let u(h) = 2 + 4 + 0 + h - 2. Let r be u(8). Let a be (-23)/28 + 3/r. Which is smaller: 0 or a?
a
Suppose -8*q + 62 = -10*q. Do q and -31 have different values?
False
Suppose 0*y = 4*y - 32. Let v = y - 8. Let j = 6.12 - 0.12. Is v >= j?
False
Let m = 285 + -635. Let s = m + 1407/4. Let z = -3/2 + s. Which is smaller: 1 or z?
z
Let x = 37 + -631/17. Which is greater: 2/3 or x?
2/3
Let u = -34 + 35. Does u = -111?
False
Let f = -0.3 - -5.1. Let n = -11 + f. Let 