 2 = -2*m, w = 3*m + 3. Do -12/7 and m have different values?
True
Suppose -4*h = 17 - 5. Let n be 8/(-40) + h/(-5). Are -12 and n equal?
False
Let q be 1 - -4 - 1 - 1. Let x = -1 + q. Let z be 28/10 + -6 + 4. Do x and z have the same value?
False
Let t be (-6)/(-4)*(-8)/6. Let f(v) = v**2 - 7*v - 6. Let g be f(8). Let q be (g/8)/(0 - 1). Is t at least q?
False
Let y(n) = n**3 - 9*n**2 + 9*n - 8. Let u be 1/(14/(-16) - -1). Let d be y(u). Suppose 0 = m - 5*m - 4. Which is smaller: m or d?
m
Let x = -0.35 + 17.35. Is -0.2 less than x?
True
Suppose -25 = -2*b - 1. Suppose -3*t - b = 6. Let q(n) = n + 8. Let r be q(t). Is 1 at most r?
True
Suppose 4*l + 182 = -646. Let w = l + 5177/25. Which is smaller: 0 or w?
0
Let j = -29/2 + 15. Let x = -3.4 + 3. Let y = x - -0.2. Is j smaller than y?
False
Let m(h) = 14*h**2 - 3*h + 10. Let g be m(7). Let t be (g/(-672) - -1)*-118. Let b = -13/16 + t. Which is bigger: 0.2 or b?
0.2
Let q be (52/(-12) - -4)*(-6)/(-585). Which is greater: -1 or q?
q
Let y be 185/(-35) + (-4)/(-14). Are y and -4 unequal?
True
Let x = 0.2 + -0.1. Let w = 0 - x. Let g = -0.2 - w. Are -0.2 and g non-equal?
True
Let x = -35 + 89/3. Which is smaller: -4 or x?
x
Suppose 6*r - r = 20. Let d = -3 - r. Which is smaller: d or -8?
-8
Let n = 0.07 + -0.17. Let q = 4 + -7. Let i = 2.8 + q. Which is smaller: i or n?
i
Suppose -m = -5*m. Let h = 27/2 - 293/22. Which is smaller: h or m?
m
Let p = -243/7 - -12379/357. Which is smaller: 1 or p?
p
Let i = -6.3 + 2.4. Let d = 2.1 - 1. Let x = i - d. Which is greater: 2/7 or x?
2/7
Let r = 8.4 + 0.6. Is r != 0?
True
Let t = -1 - -5. Let g be (-5)/(-3)*t/(-30). Is 0 <= g?
False
Suppose -4*v + 0 - 8 = 0. Suppose 3*i + 12 = 0, 8*y - 3*y - 12 = 3*i. Let s = y + v. Which is bigger: -3 or s?
s
Suppose -3*j - 3 = -4*g + g, g - 1 = 3*j. Let b = 2 + g. Suppose -2*i + 15 = b*i. Which is greater: 0 or i?
i
Suppose 2*r = -5*t - 8, -r - 5 = t - 1. Suppose z + 5*l + 15 = t, 12 = -3*l - l. Let y = -2/107 + -103/214. Which is smaller: z or y?
y
Let m(a) = a**2 + 7*a + 7. Let w be m(-5). Let i(t) = -7*t - 4 + 0*t**2 - t**2 - 5. Let o be i(-6). Is o at least as big as w?
True
Let z = -5 + 5. Let l be (-1)/(z - 1) + 2. Suppose 5*x = -5*y + 25, -3*x - 2*y + 3*y + 11 = 0. Is x greater than or equal to l?
True
Let w be 8/20 - (-3)/5. Let c be -2 + w + 4 + -3. Is 1/3 bigger than c?
True
Let j = 1305 + -37849/29. Are j and -0.1 unequal?
True
Let g(r) = 6*r**2 - r. Let j be g(1). Suppose -4*i + 2*i + 2 = -2*o, -5*i + 5 = j*o. Let n(b) = b**3 + 5*b**2 + b + 3. Let u be n(-5). Which is greater: u or o?
o
Suppose m - 4 = -d, -13 = -0*d - 4*d - m. Let v(c) = c. Let n = -2 + 6. Let r be v(n). Is d less than or equal to r?
True
Suppose 20 = -2*o + 5*t, 0 = 4*o - o - 5*t + 20. Let s(g) = -2*g - 35. Let d be s(-17). Is d at most as big as o?
True
Let c be 47/9 - (-2)/(-9). Let h(t) = t - 5. Let u be h(c). Let y = 469/10 - 93/2. Is u greater than or equal to y?
False
Let k(c) = c**3 + 10*c**2 + 9*c - 4. Let z = -18 - -9. Let u be k(z). Is -4 at most u?
True
Suppose 0*g - 4*g + 14 = -3*o, 3*g - 12 = 3*o. Suppose -s + 28 = 3*a, -10 = a - 3*a - 5*s. Let x be a/4 + (-6)/4. Which is bigger: g or x?
g
Suppose 5*w = -0*w - 4*x - 298, -5*x - 300 = 5*w. Let i = -181/3 - w. Is 1 less than or equal to i?
False
Let m = 4 - 4. Let j be m/1 + 1 - 3. Do -3 and j have different values?
True
Let h = 19 - 18. Which is smaller: -3 or h?
-3
Suppose -240 = -4*a - 11*a. Which is bigger: a or 116/7?
116/7
Let l = 1461663970/483 + -3026218. Let i = 2/69 + l. Let o = -27/14 + i. Do 0.1 and o have different values?
True
Let p be 0*3*1/3. Let d be (-3)/9*p*-1. Let n = 5/14 - 31/28. Is n less than d?
True
Let s = -18 - -13. Which is smaller: -6 or s?
-6
Suppose 0 = -5*v - 10, -2*u + v = -1 + 3. Let y be (-1)/(3/186*u). Suppose 0 = -2*w + 5*q + y, 2*w + 4*q + 5 = -3*w. Is 2 at most w?
True
Let d = 10 - 0. Is 0.1 at most as big as d?
True
Let l be (-245)/(-9) + (-4)/18. Suppose 4*u + 0*t - l = 5*t, t + 39 = 5*u. Suppose y = 5*y + u. Is y at least as big as -2?
True
Let r be ((-2)/3)/((-26)/117). Which is smaller: -1 or r?
-1
Let s(a) = -a**2 - 4. Let y be s(0). Let q = 5 + y. Is q at most as big as 2/9?
False
Let w = -10745/13 + 827. Which is smaller: w or -1?
-1
Suppose -20 = 4*p - 4*y, 3*p - 7*y + 2*y + 13 = 0. Let m be ((-4)/p)/((-3)/9). Is 0 greater than m?
True
Suppose 0 = 3*w + w. Let v(n) = -n**2 - n + 12. Let l be v(w). Is 12 less than or equal to l?
True
Suppose b - 20*b = 0. Which is greater: b or -3/10?
b
Let v = -9 - -12.8. Which is greater: 0.1 or v?
v
Let l be (0 + -3 + 4)*4. Let s = 7 - l. Which is smaller: s or 4?
s
Let k = 57 + -37. Which is bigger: 1/4 or k?
k
Let j be -3 + (-124)/(-44) - 184/(-1254). Which is smaller: j or 1?
j
Let i be ((-10)/(-8))/(1/(-12)). Let s(u) = 2*u**3 + 3*u**2 - 9*u - 14. Let v be s(-3). Is v != i?
True
Let l = 0.06 + -0.1. Let n = l - -0.14. Which is smaller: 0.2 or n?
n
Let a = -4 - -5. Let w = 0 + 1. Do a and w have the same value?
True
Let x be -3 - -3 - (-2)/(-9). Let w(a) = a**3 - a**2 - 3. Let n be w(2). Which is bigger: n or x?
n
Let o = 1/782 + 10945/2346. Which is greater: 4 or o?
o
Let h be (((-17895)/8253)/(-5))/(-1). Let t be 3*((-2360)/(-1179) - 2). Let p = h + t. Is p >= 0?
False
Let o be 14/(-4) + 2/4. Let u be ((-15)/o)/(0 + 1). Let q(r) = -r + 9. Let v be q(u). Which is greater: v or 2?
v
Let m = 6 + -6.19. Let x = -0.11 + m. Which is smaller: 0 or x?
x
Suppose 0 = 3*i - r + 11, 0*i - 3*r - 7 = i. Let t = -10 - i. Let y be 4/t + (-44)/(-12). Is y >= 2?
True
Let o(t) = -13*t - 1. Let m be o(1). Suppose -h = 5*w + 96, -h - h = 4*w + 72. Let l = m - w. Are l and 6 equal?
True
Suppose -5*h + 0*j + 2*j = 16, -3*j = -9. Is -7/6 greater than or equal to h?
True
Let v(g) be the second derivative of -g**5/20 - 5*g**4/4 + 5*g**3/2 - 13*g**2/2 + 2*g. Let p be v(-16). Which is smaller: 7/2 or p?
p
Let s = -6 - -1. Is -8 >= s?
False
Let z = -3.5 + 0.5. Let l = z - -3.1. Let d = -2.9 - 1.1. Is d less than or equal to l?
True
Let q(k) = k**2 - 4*k + 2. Let g be q(4). Let n = g + -1. Let z = n + 1. Which is smaller: 1/2 or z?
1/2
Suppose -12 = -4*l + 8. Suppose -2*m + l*f = -0*m - 35, 0 = 5*m + 2*f - 15. Which is greater: 4 or m?
m
Let m = 509/54 - 5/54. Which is greater: 10 or m?
10
Suppose 2*s + 12 = -2*s. Let z be (-8)/(-6)*-3*1. Is s smaller than z?
False
Let r = -87 - -86. Do r and -1 have the same value?
True
Let d be (-2)/6*(-16 + 1). Suppose 3*r + m = 2*r - 3, -r = d*m + 7. Let p = -728/11 - -66. Which is bigger: r or p?
p
Let h = 8 + -7. Let t = h - -1. Let a = -1 + t. Is 3/5 less than a?
True
Let n = 6 + -4. Let c be n*((-117)/(-60) - 2). Is 0.1 greater than c?
True
Let y = 1 + -5. Let f = 4 - y. Suppose -2*m - f = -0*m. Is -3 > m?
True
Suppose -82 = -b + 43. Let y = 623/5 - b. Let d = 6 + -8. Is d not equal to y?
True
Let u = 24.22 + -24. Let s = u + -0.22. Which is smaller: s or -8?
-8
Let c(t) = t**2 + 5*t - 4. Let p be c(-5). Let v be p/20*(-30)/21. Which is greater: v or 0?
v
Let n(t) = -t - 1. Let h be n(0). Let m = -10 + 16. Let b be 80/(-75) + 4/m. Which is greater: h or b?
b
Let t = -14 + 14. Let o = -0.1 + -0.4. Are t and o equal?
False
Let z(o) = -o**3 - 7*o**2 + o + 10. Let r be z(-7). Let j(y) = y**2 + 9*y + 4. Let n be j(-9). Which is smaller: r or n?
r
Let p(w) = w - 1. Let i be p(1). Let s be 4/(1 + 1 - i). Which is greater: s or 3?
3
Let a(k) = k**2 + 13*k + 30. Let l be a(-3). Is -1/2 >= l?
False
Let i be (-8)/2 + 0/2. Let v be ((-5)/4)/((-1)/i). Let m be (46/(-24) + 2)/(6/(-16)). Which is greater: v or m?
m
Let x = -0.99 - -1. Which is smaller: x or 2/5?
x
Suppose -2*w - 3*z = 6, -2*z + 0 - 4 = -3*w. Let h = 3 + 11. Let b = 10 - h. Is b at most as big as w?
True
Let y be 20/70 + (-4)/14. Is 5 at most y?
False
Let x be (-8 - -4)/20 - (-98)/(-10). Is -43/4 equal to x?
False
Suppose 0 = -4*z + 10 + 62. Do 20 and z have the same value?
False
Let h = 2.64 - 0.24. Let x = -1.3 + h. Let w = -0.1 + x. Is w < -4?
False
Let b = -7/26 - 3/13. Let a(f) = -f. Let c be a(2). Is b at least c?
True
Suppose -291 + 1019 = 7*a. Are a and 105 unequal?
True
Let o(r) = -r**3 + 3*r**2 - 4*r - 9. Let d be o(-1). Let f = 11 + -15. Let q = f - -2. Is q >= d?
False
Let y be 1*(96/(-117) - 10/(-15)). Let j b