than -27?
True
Let n be (-3)/(-9) - 44/(-30). Suppose -3*t + 21 = -3*q, 3*q = -2*t + 2*q - 1. Which is bigger: n or t?
t
Let w = -58 - -235. Let h = w + -23185/131. Is h greater than -1?
True
Let i(v) = -3 + 3 - 6 + 0 + v. Let f be i(12). Are 22/3 and f equal?
False
Suppose 2*l = 2*n - 2, 3*l - 13 = -3*n + 2. Let s(u) = -3*u + 5. Let q be s(0). Suppose 0*r - n*r - g = 0, 0 = -q*r - g + 2. Is 1 greater than r?
False
Let c(k) = -k + 6. Let o be c(7). Let x be -5*(1/o - 2). Suppose -3*g + x = 0, 10 = -2*v + 3*g + 1. Is v less than 3?
False
Suppose 6*r + 15 = 11*r. Suppose 2*c = -r*c + 5. Is c greater than or equal to -1?
True
Let n be 22/(-8) - (5 + (-10 - -3)). Is 0.6 at least n?
True
Let t be 4/(-18) + -8*1*101/(-3636). Let s(m) = -m + 8. Let f(o) = o**2 + 3*o + 2. Let q be f(-4). Let g be s(q). Are g and t nonequal?
True
Let d be 1/1 + (-22 - -20). Is -1/571 > d?
True
Let p be (-1)/((7 + -3)/(-8)). Let m be (-3 + p)/(1/(-2)). Let y = 0.11 + -0.01. Which is smaller: y or m?
y
Suppose 0 = 4*n + 2*x - 16, 4*n = 8*n + x - 16. Suppose 10 = -n*y + 5*z, 3*y + 10 = -2*z + 7*z. Which is smaller: y or -3/22?
-3/22
Suppose -4*p = -t + 16 - 24, 2*t = 8. Which is smaller: -95 or p?
-95
Let x = -34.1 + 34. Let m = 0.7 - -12.3. Let l = 13.2 - m. Is l at most as big as x?
False
Suppose 0 = g - 2*g. Let s be (-3)/5 + (-1952)/(-20). Suppose g = -r - p + 20, -p - s = -5*r - 5*p. Which is smaller: 16 or r?
16
Suppose -5*r - 4 = -2*g + 16, 3*g = 3*r + 48. Suppose -g = 4*b + 5*q, -4*q - 17 + 1 = b. Which is greater: -1/4 or b?
b
Let t be ((-3)/9)/(((-12)/(-15))/2). Let y = t - -1/2. Which is smaller: 1/2 or y?
y
Let k = 26 - 29. Let l be k/((-78)/4) - (-7860)/(-390). Which is smaller: -18 or l?
l
Let o = -113 + -52. Is o bigger than -164?
False
Let p = 26 + -9. Suppose 5*o = 2*f - 16, -46*f - 76 = -50*f - o. Is f not equal to p?
True
Let j be -1 - 14/(-18) - (-2425)/(-873). Is j at most as big as -38/21?
True
Let i be (318/(-36) - 11) + 2/(-12). Is i at least 0.2?
False
Let a be (12/(7 - 3))/(1/(-15)). Is 7 at least as big as a?
True
Let s = 163 - 162.987. Which is bigger: 2/3 or s?
2/3
Let l = -164/99 - -19/9. Let i be 2 + -2 + 0 - 1. Is l <= i?
False
Suppose 3*d - 15 = 3*x, -x + 3*d + 1 = -0. Are x and -7 nonequal?
True
Let s be (-1)/5 + (-105)/(-25) + -1. Let k be 7*(-2 - 1)*6/(-18). Which is greater: k or s?
k
Let b be ((-6)/(-9))/(7/21). Let g(i) = -2 - 3*i**b + 0*i**2 - 8*i**3 + 5*i - 3*i**2 + 9*i**3. Let z be g(5). Is z < -17/5?
False
Let y(a) be the second derivative of -a**3/3 + a**2/2 + 14*a. Let x be y(1). Which is smaller: -2/63 or x?
x
Let x = -696068/3949 + 1939/11. Is 1 greater than or equal to x?
True
Let z = 38 + -37.95. Let c = -1.05 + z. Is c greater than or equal to -3/5?
False
Let l(s) = -s**2 + s - 3. Let h be l(-3). Let t = 30 - 45. Is t less than h?
False
Let c be 712673/(-101907) + 1*7. Is -1 at least c?
False
Let x = 74.93 - 5.83. Let u = -69 + x. Does 5 = u?
False
Suppose 0 = -6*h + 23 + 43. Is 69/7 greater than or equal to h?
False
Let t = 14.73 - 15. Let p = t + 0.57. Which is bigger: p or -11?
p
Suppose -4*t = -2*o + 12, -t - 17 = -3*o - o. Which is greater: -14 or t?
t
Let q be (-1 + -51)/(-4) - 1*-3. Let w be 22/q - (1 - (-2)/(-4)). Which is greater: 2 or w?
2
Let h be 7 - ((-48)/(-8) + 2). Is h less than 2?
True
Let f be 1/(-5) + (-18)/35. Let x = 2516 - 2517. Is x less than f?
True
Let b = -179 - -179.08. Let w = -3 + 3.02. Let i = b + w. Which is bigger: -10 or i?
i
Suppose 238 = 14*n - 336. Let a be (-10 + 4)/((-1)/7). Is n bigger than a?
False
Let t = -5682197/61 + 93155. Let j = 15025/183 + t. Let o = -87 + j. Are 0.02 and o unequal?
True
Let r = 3 + -3. Suppose 0 = 2*s - r*v + 4*v - 24, -5*s + 4*v = -4. Suppose n - 7 = -s, 4*n = 2*l - 8. Does l = 9?
False
Let q = 247 + -208. Is 0.1 at most q?
True
Suppose 0 = q - 4 + 6. Suppose -12*y + 16*y - 16 = 0. Suppose 0 = -4*h + 2*o - 3 - 11, y*h - o = -11. Is q smaller than h?
False
Let i = -53 - -67. Let t = -58.3 + 73. Let p = i - t. Is p < 1?
True
Let x = 138 - 114. Suppose -8*c = -x - 0. Are 13 and c unequal?
True
Let o(d) be the first derivative of 3*d**2/2 - 12*d - 13. Let t be o(5). Suppose 4*r = -t*s + 79, -4*s - 18 = -5*r + 73. Is r > 17?
True
Let p = -2.3 + 2.4. Let t = -0.28 + 13.28. Let k = t + -11.8. Are k and p nonequal?
True
Suppose 3*t - 5*t + 30 = 0. Let v = 898 + -883. Is v smaller than t?
False
Let b = 2.05 + -0.05. Let l = 8.1 - 8. Let p = 0 + l. Are p and b equal?
False
Suppose 0 = -3*g + t + 1 + 10, -16 = -3*g + 2*t. Suppose -r = -4*r, -m = -5*r + g. Which is smaller: -7/6 or m?
m
Let a = -39563.8181 - -39566. Let n = 0.0519 - a. Let u = n + 0.13. Is u greater than or equal to -0.1?
False
Let y(j) = -11*j + 50. Let p be y(13). Let g = 92 + p. Which is bigger: g or -4/51?
-4/51
Let d be 66/297*-2*36/(-16). Is d != -1/706?
True
Let w = -1070 + 1690. Which is bigger: -1/2 or w?
w
Let w(i) be the third derivative of -i**6/120 - i**5/15 - i**4/6 - 2*i**3/3 + 2*i**2. Let k be w(-3). Let a be ((-21)/(-18) + k)*-2. Which is greater: 2/9 or a?
2/9
Let b(q) = -q**3 + 7*q**2 + 9*q. Let d be b(8). Suppose 0*r - d = -4*r. Suppose -3*i - 1 = r. Which is bigger: 1/12 or i?
1/12
Let o = -3.86 - -3.86. Which is smaller: -1070 or o?
-1070
Let q = -0.08 + 0. Let p = -1934 + 1737.1. Let o = p + 197. Do o and q have different values?
True
Suppose v = 5*v - 4*o, -v - 10 = -3*o. Let f = v - 27. Let y = f + 24. Which is smaller: 0 or y?
0
Let b = -13 - -15. Suppose -17 = 3*l - 5*i, -4 = b*i - 3*i. Suppose -3*w = -4*w - l. Is 1/8 less than w?
False
Let s = 123082 + -7516358/61. Let b = 215255/854 + s. Let f = -115 + b. Which is smaller: f or 1?
f
Let h = -46 + 73. Let r = h + -27.04. Is -0.04 bigger than r?
False
Let a be 30 + (2 - 1)/(9/27). Let n be 188/6 + 2/6. Are a and n unequal?
True
Let l = -1214512/89 + 13646. Which is greater: 0 or l?
0
Let t be (2 - 2) + (-165)/15. Let x = 29 + t. Is x equal to 18?
True
Let q be (-946)/77 - (-2)/7. Let j = -1963/159 + 2/159. Is j equal to q?
False
Let o = 49.5 + -39. Let h = -10.42 + o. Which is bigger: h or -3?
h
Let i be -7 + 2 + -2 + 3. Let c = 3 + i. Is c less than -11/6?
False
Let j = -0.131 - -12.531. Let i = 6 + 6. Let p = j - i. Which is smaller: 0 or p?
0
Let l be (-3)/(-26)*(-50)/(-1425). Which is smaller: -1 or l?
-1
Suppose 6*l - 20*l = -1820. Is 130 smaller than l?
False
Let a be -3 + -68*1*-1. Let i = -69 + a. Let j = -4 + 2. Does i = j?
False
Let w be (-39)/(-36)*(-4)/8. Which is bigger: -2 or w?
w
Let c(z) = -z - 14. Let u be c(0). Let n be (2 - -8) + (-70)/3. Which is greater: u or n?
n
Let w be 494/117 + (-4)/18. Suppose 5*n = 4*l - 28, -n - w*n - 37 = -l. Is n less than -8?
False
Suppose 0 = 17*h - 15*h + 30. Let w be 21/h + -10 + 12. Which is bigger: w or 0?
w
Suppose 3 = -5*j - w, -2*w = -19*j + 22*j + 6. Which is smaller: 119 or j?
j
Let q = 1021 - 1034. Suppose -5*o + 5*v = 15, 2*o + 9 = -o - 4*v. Which is smaller: o or q?
q
Let m = -0.195 + 0.263. Is m >= -6?
True
Let l(s) = -16*s + 128. Let d be l(8). Which is bigger: d or -68?
d
Let w = 4.66 + -113.66. Which is greater: 0.2 or w?
0.2
Let s be (-4)/138*(1 - -2). Let u(z) = -z**2 + 7*z - 5. Let o be u(6). Does s = o?
False
Let v = -3 + 2. Let d = -3 - v. Let s = -0.004 + -0.296. Which is greater: s or d?
s
Let m = -0.0676 - -12.8076. Let j = 4.74 - 5. Let w = j - m. Which is smaller: w or 1/3?
w
Suppose -29 = -2*s - 3*i, i - 2*i - 17 = -2*s. Suppose -5*v - 22 = 4*z, -s = -3*v - 4*z - 28. Which is bigger: v or -3/5?
-3/5
Let n = -575/27307 - 1/329. Let s = n + 253/166. Which is bigger: s or 1?
s
Let u be -1 - (35 + -2 + 3). Let k = 55 + u. Suppose -4*c + c = k. Is c < -6?
False
Let f be -2 + -1 + -5 + 3. Which is bigger: -11/3 or f?
-11/3
Let x be ((-104)/16 + 7)*2/5. Which is smaller: x or 1?
x
Suppose 0 = 4*m - 28 + 12. Suppose 3*k = d - 2*k - 2, -6 = -3*d - m*k. Let j(h) = -2*h + 3. Let r be j(d). Is -6/17 at least as big as r?
True
Suppose -2*a + b = -5*a + 17, -2*a - 5*b + 33 = 0. Suppose -3*y = y - a. Which is bigger: y or -1/207?
y
Let j(n) = n**3 - 3*n**2 - 2*n + 6. Let f be j(3). Which is bigger: -1/322 or f?
f
Suppose -68*w - 1035 = -63*w. Which is smaller: -208 or w?
-208
Let n = -7477/492 - -360/41. Is -6 less than n?
False
Let i(b) = -4*b - 22. Let s be i