
Let t = 2 + -1. Let s(g) = g + 9. Let f be (-117)/15 + 1/(-5). Let v be s(f). Is v >= t?
True
Let d(u) be the first derivative of -u**3/3 - u**2/2 - 2*u - 3. Let b be d(0). Are b and -2 non-equal?
False
Let w = 10 + -9. Let n = -1663/9 - -185. Does w = n?
False
Let f = -4 + 1. Let r be f*(-1)/(-2)*-6. Do 10 and r have different values?
True
Suppose -26 = 3*v - 4*a, 0 = -2*v + 7*v - 5*a + 35. Let o be v + (-18)/(-8) + 0. Is 0.1 bigger than o?
False
Let j = -0.5 + 1.5. Let k = j - 3. Is -1/2 equal to k?
False
Suppose 0 = -f + 5, -2*g = 2*g + 2*f - 18. Let x(c) = -c - 3. Let w be x(-4). Let t be g + ((-33)/27 - w). Which is bigger: t or 1?
1
Let i = 8 + -8. Let q = -3.07 + 0.07. Let s = q + 1. Is s not equal to i?
True
Let j = -31 + 44. Is j less than 12?
False
Let f(r) = -r**2 + 3*r + 5. Let p be 6/(1 + (-3)/(-6)). Let y be f(p). Let l(g) = -g**3 - 4*g**2 + g + 4. Let w be l(-4). Which is bigger: w or y?
y
Suppose -18 = -5*w + 2*d, 3*w - d - 17 = -6*d. Suppose -w*k = -5*f - 44, 4*k - 8*k + f = -28. Which is smaller: 8 or k?
k
Let u(v) = v + 4. Let n be u(-4). Let t(m) = m**2 + 3*m + 3. Let r be t(-3). Suppose n*c = 3*c - r. Are 2 and c equal?
False
Let r(a) = a - 15. Let f be r(16). Is f at least as big as 14/11?
False
Let l = 0.05 - 0.1. Let q = 0.14 - 0.15. Let i = -0.11 - q. Which is bigger: l or i?
l
Suppose 4*l + 2*w - 108 + 10 = 0, 15 = 3*w. Is l bigger than 22?
False
Let c be (2 - (-2 + 16))/(21/(-2)). Which is greater: c or 1?
c
Let z = -13.89 + -1.21. Let d = z - -15. Let p = 0.7 + 0.3. Which is smaller: d or p?
d
Let x(a) = 2*a**2 + 16*a + 6. Let k be x(-10). Which is greater: 47 or k?
47
Suppose 5*s = 3*b - 2 - 10, 3*s + 16 = 4*b. Let a be 6/(-3) + 52/30. Is s < a?
False
Let i = -1.9 + -3.1. Which is greater: i or -0.2?
-0.2
Suppose -4*i + 0*i = 0. Which is greater: 4 or i?
4
Let f(w) = w**2 + 2*w - 1. Let y be (3/(-2))/((-3)/(-4)). Let l be f(y). Which is bigger: l or -1/5?
-1/5
Suppose -x = u - 8, 11 = -4*u + 5*x - 2. Let z(j) = 1 - u*j + 6*j - 5*j + j. Let p be z(-3). Is p greater than 3?
True
Let b be 72/(-56) + (-4)/(-14). Let j be b/((-1)/(1 + -3)). Let q(v) = v**2 + 8*v + 8. Let g be q(-6). Which is smaller: g or j?
g
Let d = 4 - 6. Let p(z) = z - 2. Let u be p(0). Let f be u/2 - (5 + -3). Which is smaller: d or f?
f
Let a = -2 - -3. Suppose -4 = 3*k - a. Is k <= -1?
True
Let b = 7.3 + -12.35. Let z = 5 + b. Let j = z - -0.05. Which is greater: 0.3 or j?
0.3
Let f = 51 - 51.16. Which is smaller: f or 2/3?
f
Let p be (-16)/(-33) + (-2)/(-11). Let n be (-4)/21*-1*3. Is n greater than or equal to p?
False
Suppose -5 = f + 3*f + 3*b, 0 = -3*f - b. Let v be -1*(3/f + 0). Is -2 greater than or equal to v?
True
Let o be (-15)/(-35) - (-54)/21. Let s(x) = -x**3 + 6*x**2 - 4*x + 3. Let v be s(o). Is v at most 17?
False
Let j be (-11)/33*(0 - 3). Let g = j + 2. Do g and 3 have the same value?
True
Let b be (-44)/(-10) - 9/(-15). Suppose -b*i - 1 - 4 = 0. Is 1/4 >= i?
True
Let h = -221 - -120. Is -102 greater than h?
False
Suppose 2*f - 3*g - 9 = 0, f + g + 9 = -2*g. Is -1/15 less than f?
True
Let d be (-1*2 - -3) + -5. Let f(v) = v**2 + 5*v + 2. Let x be f(-3). Is x < d?
False
Let d be (-15 + 12)*(1 - 0 - 0). Let p = -15 - -9. Which is bigger: d or p?
d
Let f = -1.57 + -0.43. Which is smaller: f or 64?
f
Let m = 0.5 + 1. Let v = 0.8 - m. Are 0 and v unequal?
True
Let c be -2*(-1)/4*2. Let r = -1 + c. Let h = -7 - -7. Is h at most as big as r?
True
Let q = 746792/13167 - 5/1881. Let a = q - 57. Is a less than or equal to -8/5?
False
Suppose 2*g = 3*g. Let j(s) = -s - 1. Let z be j(g). Suppose -1 - 2 = -3*m. Which is bigger: z or m?
m
Suppose -4*l - 66 = -3*q, -3*l - q = 2*l + 73. Is -14 bigger than l?
True
Let m(i) = -2*i**2 + 3*i + 3. Let k be m(3). Let o be k*-2*(-6)/(-56). Is 2 greater than o?
True
Let n be 2 - (-2 - 452/(-112)). Is 1 <= n?
False
Let t = -82 + 91. Which is smaller: 0 or t?
0
Let o = 22 + -17. Let x = -6 + o. Is -1 at least x?
True
Let n(v) = -v**2 - v - 2. Let l be n(0). Which is bigger: l or -2/3?
-2/3
Let h be 1 - ((-6)/(-3) - 190). Let j = 1321/7 - h. Let v = -3.07 + 0.07. Which is smaller: j or v?
v
Let k = -39090 - -742043/19. Let r = -35 - k. Is r at least as big as 1?
False
Let x = 17 + -15. Let y = 0 + 1. Is y smaller than x?
True
Let m be (3/9)/((-5)/30). Is -2/3 less than m?
False
Suppose 0 = -3*u + 4 + 2, -3*x - 42 = -3*u. Let l be x/(-10) - 2/10. Is -3 bigger than l?
False
Let y(q) = -9*q. Let t be y(-5). Let o be (-2)/(-5) - (-18)/t. Is o < 1?
True
Let n = -132/5 + 1422/55. Suppose -5*q - 16 = 4*w - 1, 2*q + 6 = -5*w. Suppose w = -0*u + u + 1. Is u not equal to n?
True
Let m be 5*(2 - 2/2). Suppose -2*y - 22 + 6 = 4*p, -14 = m*y - 3*p. Is -4 smaller than y?
False
Let r = -2 + -1. Let t be (r/(-6))/(1/12). Is 1 greater than or equal to t?
False
Let o = 54 + -376/7. Suppose 7 = 3*k + 4. Let p = k + -1. Is p > o?
False
Suppose -w = o, -2*w = -3*w - 3*o. Let r = -13.5 + 10. Let g = -1.5 - r. Which is greater: w or g?
g
Let s(d) = d**3 + 6*d**2 - 9*d - 7. Let v be s(-7). Suppose 0 = 5*m + 2 - v. Which is greater: m or -2/15?
m
Let z = 4 + -3. Let r = 0 + z. Do r and -0.1 have different values?
True
Let w be (-1105)/34*16/(-10). Is 1 less than or equal to w?
True
Let r(c) = c + 4. Let g be r(-5). Let k = g + -1. Suppose 0 = -5*o - 2*t - 3, o + 0*o = 3*t - 4. Is k at least o?
False
Let l = 0.5 - 0.3. Let v = 3 - 2.7. Let d = l - v. Which is bigger: d or -0.3?
d
Let q be (12/24)/((-2)/(-4)). Which is smaller: q or 2/43?
2/43
Let c be 0 - -1 - (-3 + 2). Suppose 0*b + b = c. Which is smaller: b or 2/7?
2/7
Let t = -2.2 + 2. Let w = 1.4 + -0.4. Is t less than or equal to w?
True
Let x = 1572193 - 754652933/480. Let h = 1/96 + x. Which is greater: -1 or h?
h
Let m = -0.3 + -0.7. Which is smaller: m or -2/23?
m
Let m = -26 + 26.05. Which is greater: -0.1 or m?
m
Let n be (3/(-24)*-8)/(2/(-6)). Suppose 2*a - 4*o + 8 = 0, 3*a - a + o - 2 = 0. Let z = -4 - a. Which is smaller: n or z?
z
Let n = -23 - -20. Let x be (-7)/(-7) - (-2)/n. Which is smaller: -3/11 or x?
-3/11
Suppose 2*x - 5*o = 4, 2*o = x + 3*x - 8. Let j be x/(-10) + (-2)/(-60). Are -1 and j equal?
False
Let s be 8/(-1)*(-42)/72. Which is smaller: 5 or s?
s
Let o = 7 - 13. Let d be ((-2)/o)/((-1)/3). Let k = d + 3. Which is smaller: 4/7 or k?
4/7
Let b = -0.03 - -1.03. Let j = 5 + b. Let d = 5.8 - j. Is 3 less than d?
False
Let v = -4010/11 - -17168/55. Let b = v + 52. Which is smaller: 1 or b?
b
Let b = -22 - -23. Let f(q) = q**3 + 4*q**2 + 4*q + 3. Let c be f(-3). Which is bigger: c or b?
b
Suppose -4*y + 17 = 5*s, -3*s - 2*y + 7 = -2*s. Let x = -12 - -20. Let u = x - 6. Is s > u?
False
Let q = -252 + 250.81. Let o = q + 1.1. Which is smaller: o or 0.1?
o
Let k = 24.9 - 25. Do -28 and k have the same value?
False
Suppose 4*t - 23 = -u, 4*t - 3*t + 5*u - 20 = 0. Is 6 bigger than t?
True
Let l be ((-235)/(-10))/((-1)/(-2)). Let k be l/(-7) + 6/(-21). Let i be (-13)/21 + (-2)/k. Are i and -0.1 non-equal?
True
Let t(v) = -v - 6. Let r be t(10). Let f be 2/r*1*-2. Is -1 smaller than f?
True
Let k(t) = 0*t + 3 + 5*t**2 + 3*t - 4*t**2. Let n be k(-3). Suppose 0*l + l = -n. Is l at least -3?
True
Let k = -186.97 - -183. Let n = k + -0.03. Let f = n - -7. Are f and -0.1 unequal?
True
Let n = 117 - 116. Are n and -6 unequal?
True
Let d be ((-184)/(-10))/((-10)/(-25)). Which is smaller: d or 45?
45
Let y be 1/((-24)/63) - -3. Which is greater: 1/3 or y?
y
Let q = -4 - 2. Let i = -2 - 0. Let m be 8/q - i/1. Which is smaller: m or 2?
m
Suppose t + 2 = 4*o - 0, -4*t = 4*o - 12. Suppose 0*w + w = 2. Suppose 2*a = -w*a. Is a less than or equal to o?
True
Let x = 5 + -5. Is x smaller than 0?
False
Let x = 30 + 36. Which is smaller: x or 68?
x
Let g = 6.488 - 0.598. Let w = 0.11 + g. Let c = w - 5. Which is smaller: c or 0.01?
0.01
Let p = -12737 - -89569/7. Let q = p - 8431/140. Let f = -7/5 - q. Which is greater: f or 3?
3
Let d(b) = -1 - b + 5 - 3. Suppose 1 = -5*z - 9. Let s be d(z). Which is smaller: s or 2?
2
Let z(a) = a - 1. Let k be z(-2). Let v = k - -4. Let c be ((-72)/(-39) + -2)/v. Are -1 and c nonequal?
True
Let g be -7 - (-150)/(-18) - (-2)/(-3). Is g not equal to -16?
False
Suppose -4*y = -v - 6*y - 2, 5 = v - 5*y. Let a = -203/663 - -13/51. Which is gre