n g?
True
Let n = -66.4 - -73. Let o = 0.4 + n. Which is bigger: 1 or o?
o
Let b(k) = -k**3 - 3*k**2 + 11*k + 1. Let v be b(-5). Is v at least as big as -38/9?
True
Suppose -2*t = 4 - 2. Suppose -120 = 3*k - 7*k. Let l = -32 + k. Is l <= t?
True
Let f(v) = v - 5. Let w be f(8). Suppose -3*q + j = -43, w*q - 29 = -j + 18. Let t be ((-2)/12)/(10/q). Which is smaller: t or 0?
t
Let h = 0.14 - 1.09. Let a = -6.95 + h. Let x = 8 + a. Which is smaller: x or -5?
-5
Let p(m) = m - 3. Let t be p(6). Let a be (2/(-4))/(t/(-5946)). Let f = a - 38651/39. Which is smaller: f or -1?
-1
Let p = 5/29 - 93/203. Which is bigger: p or -0.09?
-0.09
Let p(n) be the first derivative of n**2/2 + 6*n - 2. Let r be p(-6). Suppose 0 = -r*c + 4*c. Is c > 0?
False
Let w = 91 - 92. Suppose 2 = -y + 3*y. Which is smaller: w or y?
w
Let s be ((-2)/(-3))/(2 + 4). Let g(m) = m**2 + 9*m + 8. Let q be g(-8). Which is smaller: s or q?
q
Let d = -14 + 18. Are d and 10/3 equal?
False
Let x = -1.8 - -1.9. Let r = 0.3 - -0.2. Let j = r + -0.9. Is x greater than or equal to j?
True
Let n(v) = -v**2 - 4*v + 8. Let t be n(-5). Does t = 3/2?
False
Let r = 0 - -3. Let d be r*3/6*2. Is 2 != d?
True
Let y = -10 - -12. Suppose -y*u - 3*u = 0. Are u and 0 equal?
True
Let n be (-4 + 5 + -2)*1. Let v(s) = 7*s + 12. Let d(x) = -6*x - 11. Let z(o) = -6*d(o) - 5*v(o). Let r be z(-6). Is n greater than r?
False
Let o = -8 - -6. Which is smaller: o or 0?
o
Let q be 128/(-80) + (-3)/(-5)*1. Is q greater than -5/26?
False
Let p = -31/33 - -14/11. Suppose -4*r = -0 + 4. Which is bigger: p or r?
p
Let q = -0.1 - -0.1. Let w = -0.4 - q. Suppose 0 = m + m + 6, -3*u + m + 3 = 0. Which is greater: u or w?
u
Let i(f) = f - 4. Let p be i(5). Let x(c) = c**2 - 1. Let g(b) = -b**2 - b - 1. Let n(t) = -g(t) + x(t). Let l be n(-1). Is l != p?
False
Let j be ((-6)/(-1935))/(-4 + (-80)/(-25)). Which is greater: j or -1?
j
Suppose -3 = 2*n + 3*a, -3*n - 2 = -a + 5*a. Do 10 and n have the same value?
False
Let y = -17/90 - 1/30. Is 0.4 smaller than y?
False
Let t be (-66)/1*4/(-8). Suppose 5*n - 2*v - 20 = 0, 4*n - v - 4*v = t. Which is bigger: 3 or n?
3
Suppose -k = -6*k - 55. Which is smaller: -80/7 or k?
-80/7
Let b = 1 - 0. Let u = -0.9 + b. Let g = u + 2.9. Which is smaller: g or -2/3?
-2/3
Let l be 3*-3*(-2)/9. Suppose -2*c = -5*o - 17, c - 3*o + l - 12 = 0. Let d = 0.1 - -0.1. Which is greater: c or d?
c
Let z be 0 - ((-4)/3 - 0). Is 2 greater than z?
True
Let i(s) = -s**3 - 5*s**2 - 4*s + 3. Let f be i(-4). Let k be (2/(-6))/(3/f). Which is bigger: -2 or k?
k
Let s be 42/(-70)*95/1. Are -57 and s unequal?
False
Let z be (-2)/8 + (-1)/(-4). Suppose z = -3*a - a. Which is smaller: -1/5 or a?
-1/5
Let x = 36 - 34. Which is greater: x or 0?
x
Let c = 91 - 139. Is -47 at most c?
False
Suppose 3*a = -w - 167, -2*a - 219 = 2*a + 5*w. Is a less than or equal to -57?
False
Suppose -14 - 1 = -5*n. Suppose z - 2 = n*i + 4, -2*i - 9 = z. Which is smaller: -2 or i?
i
Let s be (-1 - -2)/((-2)/1). Let v be ((-3)/(-2))/(2/4). Suppose v*o - 3 = -6. Which is greater: o or s?
s
Let b = 58 + -64. Is b at least -8?
True
Let w(u) = u**3 - 3*u**2 + 2*u. Let t be w(3). Suppose -4*m = -t*m. Are 1 and m unequal?
True
Suppose -2*d = 2*j - j + 19, -5*d - j - 52 = 0. Let m(n) = n**2 + 12*n + 4. Let t be m(d). Let l = t + 8. Which is smaller: -3/7 or l?
-3/7
Let p = 7 - 7.1. Suppose 0 = h + 5*s + 18, 5*h + 0*s + 3 = 4*s. Are h and p equal?
False
Let f(y) = -7*y + 6. Let b(a) = -3*a + 3. Let c(p) = -9*b(p) + 4*f(p). Let g be c(-6). Suppose -g*v = v. Which is smaller: -2 or v?
-2
Let w(g) = g**2 - 5*g - 2. Let r be w(6). Let b be (-30)/(-20)*10/3. Which is smaller: b or r?
r
Let y = 14 - 9. Is -10 greater than y?
False
Let g = -0.3 - -0.3. Let v = g - 0.1. Let d = 3 + -3.2. Is d greater than v?
False
Let g be (3/(-15))/((-2)/(-5)). Let x = 0 - -1. Suppose n = -0*n - x. Which is smaller: g or n?
n
Suppose 0 = 4*r + 4*q + 12, q = 3*r + r - 13. Suppose d + 0 = r. Which is greater: d or 12/13?
d
Let y(j) = -j - 5. Let v be y(5). Let m be 4/v - (-3)/20. Which is bigger: 0 or m?
0
Let m = 12 - 3. Let k be (-4)/(-18) + 2/m. Which is greater: k or 1?
1
Let u(d) = d**3 + 3*d**2 - 4*d - 2. Let y be u(-4). Let x be (-132)/(-60) - y/(-10). Is x at least as big as -3?
True
Let t = -409/11 + 37. Which is greater: 1 or t?
1
Suppose 3*u - 6*u + 21 = 0. Is 9 not equal to u?
True
Suppose -5*t + 3*a + 1483722 = 0, -3*t - 4*a + 986958 = 96748. Let l = t - 257868890/869. Let y = l + -6/79. Which is smaller: y or 1?
y
Let j(c) = -8*c - 51. Let y be j(-8). Let h be (-2)/4*48/(-2). Which is smaller: h or y?
h
Let b = -296/5 - -59. Which is greater: b or -1?
b
Let y = -2 + 9. Suppose -y = 5*h + 23. Let q be (h/(-4))/((-3)/(-4)). Is q < 3?
True
Let a(r) = r**2 - r - 8. Let g be a(4). Let d = 0 - 1. Which is smaller: g or d?
d
Suppose -u - 6*u = -21. Suppose -4*g = -2*g - 4. Which is greater: g or u?
u
Let p be (-6)/(-15)*10/4. Are p and 4/7 unequal?
True
Suppose 0 = -5*g + 2*z + 30, -3*z - 7 = 2*g - 0*z. Which is smaller: 18/7 or g?
18/7
Let c be (-244)/10 + 2/5. Let i = 119/5 + c. Is i != -4?
True
Suppose 4*a = -2*t + 3*a + 2, t = -2*a + 7. Let l = -1 - 0. Is l at most as big as t?
True
Let q = 13 + -22. Let f = -5 - q. Which is greater: f or -2/5?
f
Let f = 22.9 + -23. Is f >= -1/5?
True
Suppose -3 = -2*f + 17. Suppose 4*r = -2*h + f, 4*h - 2*r = -6 + 36. Which is greater: 8 or h?
8
Let x = 28 + -10. Which is greater: x or 19?
19
Let o = 0.05 + -0.35. Suppose 0*c = -3*c - 63. Let n be (c/9 - -2) + 0. Do o and n have the same value?
False
Suppose -7 = -5*l + v, -2 = 2*l + 3*v + 2. Suppose 6 = 5*k + 26. Let j be l/k - (-1)/2. Do -3/7 and j have the same value?
False
Let y = 3238/3 + -1062. Let x = y + -18. Let q = -0.1 - -0.2. Is q at most x?
False
Let o be (4 + -9 + 3)/9. Is -1 at most o?
True
Let i = -74 - -58. Is i < 2?
True
Let y(i) = -i**2 + 2. Let a be y(3). Is a at least as big as -7?
True
Let r(n) = n + 23. Let w be r(-27). Suppose -4*t = -3*q - 21, -4*t - q + 1 = -8. Suppose 0 = 4*g - t*d + 24 - 1, -g + 2*d = 12. Which is smaller: g or w?
w
Let n = -0.3 - -0.4. Let q = n - 2.1. Let a = q + 1. Is a at least as big as 0.2?
False
Let c = -8 + 3. Let d = c + 4. Which is smaller: d or 1/8?
d
Let s be (-6)/(-4)*(-186)/9. Which is bigger: -33 or s?
s
Let p = 0.92 + -1. Let b = -11.28 + 11. Let g = p - b. Do -0.4 and g have different values?
True
Let a = -12 + 10. Is a at most as big as -2?
True
Suppose 77*g - 108*g = 0. Let k be (4/(-145))/(-2)*-5. Is g != k?
True
Let r be (-3 + 3)*((-3)/(-6))/1. Which is greater: r or 5?
5
Suppose -2*k + 0*k + 72 = 0. Let b be (8/k)/((-2)/(-3)). Are b and 1 nonequal?
True
Let z = 7 + -3. Let k be (z + -2)/((-4)/(-2)). Is -1 greater than k?
False
Suppose 2*v - 3 = 5*v - 5*d, 4*v + 2*d = -4. Let y be (4/1)/(-2 - -1). Is v < y?
False
Let n = -83 - -87. Is -1/2 > n?
False
Let n(v) = -v**3 + 2*v**2 + v. Let f be n(-1). Suppose 4 = -f*x + 4*x. Suppose 0 = -3*m + 4*t + 11, 3*t + 4 = m - 3. Which is smaller: x or m?
m
Let w = 5 + -2. Suppose 3*j + 8 = -4*p, 2*p = -w*j - j - 24. Is j <= -6?
True
Let h = 10.3 - 1.3. Let z = 8 - h. Which is greater: 12 or z?
12
Let z(o) = 2*o - 6. Let l be z(7). Suppose -j + 2*i = l, 3*j + 4*i - 3 = 3. Is j smaller than -1?
True
Let f = -24 + 3. Which is smaller: f or 0.1?
f
Let z = -3 - -3. Let o = z - 0. Let g = -0.1 + o. Is -0.1 less than g?
False
Let j = -6 - -6.6. Let q = 0 + j. Which is bigger: q or 0.1?
q
Suppose i + 5 = 2*i, 3*i - 12 = -k. Let y(z) = -z**2 - z + 4. Let j be y(k). Which is smaller: j or -3?
-3
Suppose -5*y - 392 = 218. Are y and -121 non-equal?
True
Let t = -173/2 - -4153/48. Is t smaller than -1?
False
Let b be (-12)/8*(-4)/2. Suppose -b*h + 20 = 56. Which is greater: h or -11?
-11
Let r = -6 + 3. Let c = 1 - r. Let d = c - 3.9. Which is greater: d or 4/9?
4/9
Suppose u = 2 + 3. Suppose u = -2*q + 3*q. Which is bigger: q or 3?
q
Let p = 1.1 + -1. Let k = -1 + 13. Let o be 4/(-6)*k/(-32). Is o smaller than p?
False
Suppose 5*k + t - 52 = 2*t, -2*t = 4. Let u be k/4*(-12)/10. Is -18/11 < u?
False
Let h be 414/99 + (40/22 - 2). Let n = -3 + 7. Is h less than or equal to n?
True
Let j(t) = -t + 4. Let p be j(0). Suppose -5*a - 3*f - 15 = -0*f, -a + 14 = p*f. Which is smaller: -5 o