 - (-2 + 1 - -1). Let m = -1 - c. Suppose i - m*i = -12. Which is bigger: 5 or i?
i
Let y be 84/(-51) - (1 + 0). Let f = 619/221 + y. Is f smaller than 0?
False
Let z = 6 + -5. Let h = 1.3 + -2.4. Let c = h + z. Which is bigger: c or 3?
3
Suppose 4*s = -0*h + 2*h - 16, 2*s - 8 = -3*h. Let v = 1 - s. Are 4 and v equal?
False
Let l = -0.08 + 0. Let x = l + 1.88. Let s = x + -2. Which is greater: 1/5 or s?
1/5
Let a(c) = -c**2 + 7*c - 6. Let l be a(5). Suppose -2*d = 3*k + 20, -k - l*d - 36 = 4*k. Is k > -4?
False
Let j(i) = -i**3 - 3*i**2 + 6*i + 1. Let y(q) = -q**3 + q**2 + q + 1. Let h(u) = -j(u) + 2*y(u). Let z be h(4). Are z and 2/7 equal?
False
Let c(v) = -5*v**3 + 7*v**2 + 9*v - 3. Let w(k) = -11*k**3 + 15*k**2 + 19*k - 6. Let x(z) = 9*c(z) - 4*w(z). Let o be x(4). Which is greater: 7/4 or o?
7/4
Suppose -11*g = g - 396. Is 33 at least g?
True
Let b = 281/1070 - -4/107. Does b = -1?
False
Suppose 12 = 2*i - 2. Suppose 4*z = k - 15, 0 = 3*k + 2*z + 4 + i. Suppose -1 = 2*a + 3. Which is smaller: a or k?
a
Let q = -0.2 + 0.4. Let y = 0.6 - q. Let v = -0.2 + y. Which is smaller: 0.1 or v?
0.1
Let s = 1.6 + -0.7. Is -1 less than s?
True
Let x = -165/2 + 80. Do -0.2 and x have the same value?
False
Let k be -3*(-46)/30 + -1. Let o be 161/60 - 2/(-3). Let u = k - o. Which is smaller: u or -2?
-2
Let i = -9 - -5.2. Let n = i + 4. Let r = -0.3 + n. Do 0 and r have different values?
True
Let h(y) = -y**2 - 13*y. Let u be h(-13). Let z be 1*((-1)/(-1) + -2). Let k be -3*(5/(-4) - z). Which is bigger: k or u?
k
Let o = -3/62 + -23/806. Let t(m) = m. Let k be t(0). Suppose -12 = -3*w, -4*y + 5*w - 3*w - 8 = k. Which is greater: o or y?
y
Let h be (-476)/16 - 1/4. Let d be ((-4)/h)/(4/5). Let g = 3 + -3. Is g equal to d?
False
Let c be -1 + (-2 - -3) + -1. Which is greater: c or 1?
1
Let u be ((-189)/28 + 6)/(1/20). Is u less than -76/5?
False
Suppose 0 = -5*o + 9*o. Which is greater: o or 4/5?
4/5
Let s be 2 - -3*(-321)/477. Let o = s + 55/106. Is 2 smaller than o?
False
Suppose -88 + 16 = 6*l. Suppose 4*r + 0 = 4. Which is smaller: l or r?
l
Let c be (-18)/9*6/(-28). Let b = 8 + -5. Let k = b - 3. Are k and c nonequal?
True
Let k(p) = -p**3 + p + 3. Let n be k(3). Is n >= -22?
True
Let b(l) = -2*l - 3. Let w be b(-3). Suppose -4*o + 2*g = -4, -w*o + 3*g = g - 1. Do 2 and o have different values?
True
Suppose -165 = 5*a + 2*j, -2*a - 2*j - 86 + 26 = 0. Is -34 != a?
True
Let p be (-8)/(-30)*(-5)/(-2). Let n(i) = -3*i + 16. Let u be n(5). Is p less than or equal to u?
True
Let y be (0 - 4/(-8))*0. Is y greater than 3/13?
False
Let t = -27 - -14. Which is smaller: -14 or t?
-14
Let y be (36/3)/(1 - 0). Suppose -4*s - 52 + y = 0. Which is greater: s or -9?
-9
Let m = -0.05 + 3.05. Let j = -0.53 + 3.63. Let u = j - m. Which is bigger: u or 1?
1
Suppose l = 2*d - 2, -5*d + 0*l - 3*l = 17. Let y = 63 + -251/4. Which is greater: y or d?
y
Suppose -4*a - l + 8 = l, 2*a + 4*l - 10 = 0. Let j = 7 + -2. Suppose -3*b = -j*b. Is a greater than b?
True
Let l = 27 - 19. Are l and 0 equal?
False
Let s = 0.1 - -0.4. Let a = s + -0.4. Are -1 and a unequal?
True
Suppose 0*i = -3*i. Let u be (-5 + 1 - -1) + 6. Suppose i = u*q - 2*q + 6. Is -5 at least as big as q?
True
Let w = 15.1 + -15. Which is bigger: 8 or w?
8
Let w = -40394423/396 - -102006. Let v = -1/36 - w. Let g = -183 + 184. Is g > v?
True
Suppose 2*n = -10 + 2. Suppose -q = -3*q. Suppose 0*i - i + 3 = q, -2*h - 2*i = 0. Which is smaller: h or n?
n
Let w = -25 - -27.2. Let y = -0.8 - w. Let l = y + 7. Which is bigger: -1 or l?
l
Let v(b) = b**3 - b. Let m be v(1). Is 3 <= m?
False
Let o(m) = m**3 - 7*m**2 + 6*m + 2. Let c be o(6). Suppose -c*g - 2*g = -4*d - 20, 0 = -4*d + 16. Is 10 smaller than g?
False
Suppose 3*y - 10 = -46. Which is smaller: y or -11?
y
Let f = -117 - -116. Let q = 11 - 6. Suppose -2*j - 6 = 2*h, -3*j - q = 2*j. Which is greater: f or h?
f
Let c = 0.13 - 3.13. Which is smaller: c or 0.2?
c
Let y be -1*(87/2)/3. Let q = -14 - y. Which is greater: 2 or q?
2
Let q = 17 - 9. Let n = -11 + q. Let u = -817/13 - -63. Which is smaller: u or n?
n
Let a = 64 + -63. Which is smaller: 2/31 or a?
2/31
Let f be 34/10 - (-2)/(-5). Let c = f + -8. Let n(w) = w**3 + 4*w**2 - 5*w. Let j be n(c). Is 0 at least as big as j?
True
Suppose 5*l = -2*w - 56, 3*l - l + 14 = 2*w. Let g = -7 - l. Suppose -1 + g = 2*z. Which is greater: z or 3/5?
z
Suppose -2*x = -6*x - 3*a + 67, 4*a = 20. Which is bigger: x or 0.1?
x
Let d(c) = c**3 + c**2 - c - 1. Let a(i) = 2*i**3 + 9*i**2 - 4*i + 4. Let y(u) = -a(u) + 3*d(u). Let s be y(6). Is s <= -3/10?
True
Let g = 22 + -21.1. Which is greater: -1 or g?
g
Suppose 5*u + 4*r + 3 = 59, -u = 2*r - 10. Which is smaller: 11 or u?
11
Let p be 9/(-21) - 98/(-48). Let z = p + -26/21. Let b(i) = -i + 3. Let d be b(4). Is d at least as big as z?
False
Let x(s) = 11*s + 1. Let n = -4 + 5. Let p be x(n). Let m = 17 - p. Which is smaller: m or 4?
4
Let d = 0.3 + -0.2. Let b = 29/31 - 2295/2387. Let w = -81/154 - b. Does w = d?
False
Let g = 38 + -35. Let y be (-1)/((-1)/2) + -1. Which is smaller: y or g?
y
Let y(q) = q + 6. Let f be y(-4). Is f equal to 2?
True
Suppose -3 = -v - 1. Suppose -v = 3*r + 4*l, -3*l + 8 = -7*l. Let q(s) = s**3 - 7*s**2 + 8*s - 9. Let a be q(6). Is r greater than a?
False
Suppose -3*k + 4*k - 5 = 0. Which is greater: k or 9/2?
k
Let h = -4 - -3.9. Which is smaller: 3 or h?
h
Let c(u) = -u**2 + 2*u - 2. Let v be c(2). Let x be ((-3)/(-12))/(1/v). Is 0 not equal to x?
True
Let g(u) = u**3 + 13*u**2 + 11*u - 13. Let p be g(-12). Suppose -5*q - 1 + 6 = 0, -4*t - 291 = q. Let w = t - -217/3. Is p <= w?
True
Let h = -0.3 + -3.7. Let j = 5 + h. Which is greater: -3/5 or j?
j
Suppose 2*g + 3*q = -3*g - 9, 5*g = 4*q + 12. Which is smaller: g or 2/181?
g
Let o = 0.166 - 0.266. Which is bigger: o or 2/19?
2/19
Let c be (0 + 0 - 0)/2. Let d(l) = -l**2 - 9*l - 6. Let i(p) = -2*p**2 - 18*p - 11. Let n(u) = 5*d(u) - 2*i(u). Let y be n(-8). Is c at most as big as y?
True
Suppose 0 = -4*f + 3*l - 119, 3*l - 2*l = 5*f + 135. Which is smaller: -1 or f?
f
Let a be 1/6 - (-1)/(-6). Let u = a - -1. Are u and 3 equal?
False
Let r(y) = -y**2 + 1. Let w(z) = -z**3 - 10*z**2 + 7*z + 4. Let u(m) = 4*r(m) - w(m). Let l be u(-7). Let x be (2 - 18/8)*-1. Is l greater than x?
False
Let u be -2 + 116/36 + -1. Is u at least -2/11?
True
Suppose -3*t = -0*t - 9. Suppose -2*o - 5*b = -8, -o + 3*b = -4*o + t. Let g be ((-11)/66)/((-1)/3*-3). Is o bigger than g?
False
Suppose -2*n - 6 = -8. Suppose k - 2*k = n. Is k bigger than 1?
False
Let t(i) = i**3 - 7*i**2 - 9*i - 6. Let o be t(8). Is -68/5 less than o?
False
Suppose 20 = 5*z, -5*z = -2*t + 5*t - 20. Which is bigger: t or 4/5?
4/5
Let u = 3 - 8. Let y = -20 + 15. Let j = y - u. Which is greater: 0.02 or j?
0.02
Suppose 3*w - 16 = -s + 7*w, 12 = -3*w. Is 2 greater than s?
True
Suppose 4*p - y + 4 = 0, 4*p + 13 + 7 = 5*y. Which is smaller: 2/43 or p?
p
Suppose u + 0*z + 5*z = -9, 2*u = z + 4. Suppose u = -d - 2. Suppose 12 = -5*f + 2. Is d bigger than f?
False
Let b = 1 + 3. Suppose t - 2*z - 8 = -4*z, b = t + z. Let r = -301 - -1811/6. Is t at least r?
False
Let a be (-3)/1 + 7 + -1. Suppose -2*c + 6 = 0, 3*h + 2*c - 9 = -a*c. Is -3 at most as big as h?
True
Let o = 0.03 + -3.03. Is o at least as big as 2?
False
Let n(c) = 4*c - 26. Let x be n(7). Which is greater: x or -0.8?
x
Let x be ((-3)/1)/3 - (1 + -3). Let o = 27/35 - 4/7. Which is greater: o or x?
x
Let b be 2 - (-2 - (-11)/3). Is b at most as big as 1?
True
Suppose -4*r = -12, -4*m = 3*r - r - 38. Suppose -d - m = 5*o - 23, -o = -2*d + 8. Which is greater: 4 or d?
d
Let n = -433710847/1890315 + 80976/353. Let z = n - -4/105. Let y = z - 451/1224. Is 1 less than or equal to y?
False
Let t(m) = m**2 - 9*m + 7. Let o = -4 + 7. Suppose -o*n = -2*n - 8. Let k be t(n). Which is bigger: 1/5 or k?
1/5
Let r = -0.1 + 0.2. Let d = 0.3 - -0.2. Let f = d - 0.1. Is r less than or equal to f?
True
Suppose -9*n + 6*n = -63. Are 21 and n unequal?
False
Let q = 19/15 + -5/3. Let o = -2 + 2. Is o > q?
True
Let k = 0.8 + -3.8. Let j = -3.31 + 0.61. Let b = 2.9 + j. Is b less than or equal to k?
False
Let d be (4/(-10))/((-8)/16). Let z(k) = k**2 + k. Let o be z(1). Which is smaller: d or o?
d
Suppose 5*o 