 be 2/(-3)*p/1. Is a not equal to -1?
True
Let r be (-2)/(-1) + -10 + 11. Let c be 3*1*(-6)/(-8). Is c equal to r?
False
Suppose -2*g + 3*w = 55, -7*g + 3*g - 70 = 2*w. Suppose 0 = -a - 2*a + 6. Let p be g/(-72) + (-1)/a. Do 0.2 and p have different values?
True
Let j(k) = k + 7. Let q be j(-5). Let b = 0 - 0. Let i = b - q. Which is bigger: 0 or i?
0
Let t = -0.04 - -0.03. Let l = 0.21 + t. Let v = -4 - -4. Which is smaller: l or v?
v
Let x = -12 + 5. Let b = -10 - x. Are b and -0.1 unequal?
True
Let i = 163 + -1327/8. Which is smaller: -4 or i?
-4
Let p be 5/(-4) + (-1)/(-4). Let n = 105 - 35. Let q be (-2)/(-4) - 75/n. Are p and q non-equal?
True
Suppose n = 20 - 19. Which is smaller: 2 or n?
n
Let j = 6.028 - 6.1. Which is bigger: 0.1 or j?
0.1
Let v = 0.1 - -5.9. Let c = v - 5. Is 1 less than or equal to c?
True
Let y = -1 + 1. Suppose 4*k - 18 = -c, 4*c + 4*k = -0*c + 12. Let r = -1 - c. Is y at least as big as r?
False
Let c = 51 - 49. Which is smaller: c or 1?
1
Let g = -8 + 10. Suppose -5*d = 4*i + 25, -3*i + 15 = -0*i - 3*d. Suppose i = -3*o - 0*v - v + 4, -5*o = -v - 4. Which is smaller: o or g?
o
Let g be 3 - 0/2 - 3. Suppose -5*w + 5*l + 15 = 0, g = -5*w - 5*l + 2 - 7. Which is greater: w or -2/27?
w
Let h be (-4)/8 + (-3)/(-6). Let o be (0 - -1) + (-2)/(-1). Suppose -o*i = -h - 9. Is -1/3 at most as big as i?
True
Let w(b) = -b**3 - 6*b**2 + 1. Let l be w(-3). Let q be 4/22 - l/(-22). Which is smaller: q or 2/3?
q
Let i = 32 + -44. Is -10 bigger than i?
True
Let p = 2504/33 + -229/3. Is 0 != p?
True
Let n = -73 - -72.7. Which is bigger: 0.04 or n?
0.04
Let v = -15 - -9. Let c = 5 + v. Which is bigger: -2/19 or c?
-2/19
Let j be ((-1)/(-2))/((-1)/2). Which is smaller: -2/9 or j?
j
Let v(n) = -n**2 + 11*n + 28. Let k be v(7). Is 56 < k?
False
Suppose -20*c + 24*c = -56. Which is smaller: c or -12?
c
Let l = -1 - -1. Let y = 191659/33 + -18329/3. Let s = 302 + y. Which is bigger: l or s?
s
Suppose 2*j + 22 = 3*k, j + k = -j - 22. Let z = j + 9. Let s = 0.8 + -1. Which is smaller: s or z?
z
Suppose -t - 45 = 3*t + 5*k, -2*t + 15 = -5*k. Which is smaller: -6 or t?
-6
Let i(q) = q**3 - 7*q**2 + 8*q - 6. Let c be i(6). Let x = c + 0. Is 5 >= x?
False
Let q = 74 - 217/3. Suppose -5 = 2*p - 4*f + 5, -2*f = p - 11. Which is bigger: p or q?
p
Suppose -18 = 3*o + 5*a, 2*o - 3*o + 5*a = -14. Let d be 0 + 1 + (-20)/16. Is o > d?
False
Let i = -0.3 + 1.3. Let l(b) = -b**2 - 16. Let f be l(0). Let a be 56/(-195) + f/(-120). Is i < a?
False
Let z = 4/7 + -27/35. Is -2/9 at least z?
False
Let f(k) = -k**2 - 1. Let t(o) = 2*o**2 + 5*o + 6. Let r(c) = -3*f(c) - t(c). Let u be r(5). Suppose -m + 3*b = 3*m + 27, 2*b - 4 = -2*m. Are u and m equal?
True
Suppose 0 + 6 = 2*g. Suppose -5*n - 20 = -5*p, -n + g*p = -p + 16. Let w = 3 + -2. Which is smaller: n or w?
n
Let k = 103/132 - 1/33. Which is bigger: -0.2 or k?
k
Let i = 0.94 - -0.06. Let w = 2 + -2.03. Does i = w?
False
Suppose -25 = -3*m - z, -3*m - 4*z + 28 = -0*m. Let x = -9/7 + 41/21. Is x > m?
False
Let u be 2 + (-1)/(-1) + -3. Let r be (-5)/5 + 18/20. Which is smaller: r or u?
r
Let l be -8 + 5 - (-11 + 1). Let v = -6 + l. Is 1/4 at most v?
True
Let h = -5.1 - -5. Which is greater: h or 3?
3
Let q be 136/(-255) - 1/(-3). Is 0 equal to q?
False
Let d be (-25)/3 + 4/(-6). Is 1 at most as big as d?
False
Let o = 124 - 618/5. Is -1 at least o?
False
Let l = -0.01 + 0.02. Let b = 0.99 + l. Does 0.3 = b?
False
Let h(w) = w**3 - 16*w**2 + 14*w + 15. Let a be h(15). Let r = 148/7 - 145/7. Which is smaller: r or a?
a
Suppose 5*s = -4*b - 2 - 3, -5*b - 1 = s. Suppose 5*j - 5 + b = 0. Does j = 1?
True
Let v = 8 + -5. Let y(q) = -q**3 - 3*q**2 - 3*q. Let n be y(-2). Let a = n + 2. Which is greater: v or a?
a
Let v(u) = -u - 1. Let l be v(-2). Let z(a) = -a + 6. Let p be z(7). Let f = 1 + p. Is f at least l?
False
Let x = 15 - 20. Do x and -3 have different values?
True
Suppose 10*f = 13*f + 6. Are f and 3 nonequal?
True
Let g = 6.1 + -6. Let i be (1*-1)/((-3)/6). Suppose 2*s = 2 + i. Which is bigger: g or s?
s
Let y(i) = i + 1. Let p(w) = -11*w - 5. Let n(u) = -p(u) - 6*y(u). Let c be n(1). Let f be (-6)/(-10) - c/(-10). Are 1 and f equal?
True
Let u = 14 - 56. Let t be (-6)/u*(2 - 1). Suppose 2*w - 2*f - 20 = 2*f, -4*f = 20. Which is bigger: w or t?
t
Let n be -1*(4 + -1 + -2). Suppose -4*a + 18 = -3*t, -5*a + 26 = -5*t + 6. Let g be -2 - -1 - a/(-8). Are n and g non-equal?
True
Let h(c) = c**3 - 3*c**2 - 3*c + 6. Let t be h(4). Is t greater than 11?
False
Suppose 2*y - 3*s - 19 = -3*y, 4*y + 3*s - 26 = 0. Let o be (-2)/y - (-78)/(-30). Which is greater: -1 or o?
-1
Let x = -43/76 - -6/19. Which is bigger: 3 or x?
3
Let y be ((-6)/1)/(-3 + 1). Are 1 and y equal?
False
Suppose -2*o + 5*u = -31, o - 2*o + 4*u = -23. Suppose -o*p - 2*p = 25. Is p < -4?
True
Suppose -36 - 4 = 4*s. Let x be (2/(-6))/(24/828). Let h = x - s. Which is greater: h or -3?
h
Let i(y) = y**2 - 3*y - 4. Suppose -4*n + n + 3*l = -9, 0 = -n + 4*l. Let w be i(n). Let r = 77/1275 + 1/51. Which is greater: w or r?
r
Let y = -5 - -3. Let w = -6.03 - -6. Let n = w - -0.33. Which is bigger: n or y?
n
Let j = -6.3 - -3.3. Which is bigger: 1 or j?
1
Let u = 1248959/35 - 35682. Let r = 15/7 - u. Which is bigger: 0 or r?
0
Let x be (3 + 1 - 5) + -131. Is x less than or equal to -132?
True
Let w = 38 + -65. Let c be (9/w)/((-2)/6). Do c and 1/3 have the same value?
False
Let f = -16 + 16. Suppose f*s = -3*s. Is -3/7 at least as big as s?
False
Suppose -3*b + 15 = -x, -x - 2*b - 13 = -4*b. Which is bigger: x or -2?
-2
Let p = 6 - 8. Let s = 5/2 - 3. Is s greater than or equal to p?
True
Suppose -3*w = 4*g - 69, 92 = 5*g - 2*w - 0*w. Suppose -t - g = -6*t - 3*y, -4*t - 2*y = -14. Suppose 0*p + 3*p = 6. Which is smaller: t or p?
p
Suppose -3*n = -5*g - n + 63, 4 = 4*n. Suppose 5*m = 17 + g. Suppose -m = w - 4*w. Does w = 2?
True
Let t(l) = -l - 1. Suppose 4*x = -5*s - 1 - 4, 3*s + 3 = 2*x. Let o be t(s). Which is smaller: o or 5?
o
Suppose -2*k - 7 = t, 4*t = 2*k - t + 13. Are k and -4 unequal?
False
Let f be (4/6)/((-1)/(-6)). Suppose -f*l = -3*l. Suppose l*q - 3*q - 5 = -2*n, -4*n + 18 = 2*q. Which is bigger: q or 1/7?
q
Let i be (-267)/(-2)*(-2)/(-3). Let m = i - 803/9. Let c = 11 + -11. Which is greater: c or m?
c
Suppose -3*r - q = 141, 0*r + 4*q = -2*r - 94. Let y = -142/3 - r. Suppose 3*v = 5*g + 15, -2*v = 4*g + 5 + 7. Are y and v non-equal?
True
Let l(u) = -u - 5. Let p be l(-6). Let g = 3 - p. Is -0.1 equal to g?
False
Let i be (1/12)/((-1)/(-4394)). Let z = i - 367. Which is greater: z or -2?
z
Let n = -21/5 + 68/15. Let i(h) = 8*h**2 + 25*h + 42. Let b(y) = 3*y**2 + 8*y + 14. Let t(f) = -11*b(f) + 4*i(f). Let j be t(13). Is j < n?
False
Suppose 14 = -2*y - 5*z, 0 = y + y - 5*z - 26. Is y greater than or equal to 8?
False
Let t(f) = 2*f**2 - 1. Let g be t(-1). Suppose 3*v - g - 44 = 0. Let d be 1*(42/v - 3). Is d less than 1?
True
Let i be (1 - 4 - 1) + 6. Let u be i*(-3)/2 - -10. Which is bigger: u or 6?
u
Let j be 18/9 + 0 + -3. Which is bigger: j or 2/9?
2/9
Let m = -0.62 + 0.42. Which is smaller: m or -5/2?
-5/2
Let f(n) = n - 12. Let b(y) = 5*y**2 - 4*y + 3. Let h be b(2). Let r be f(h). Is 5 at least as big as r?
True
Let t(n) = 24*n**2 - n + 1. Let y be t(1). Let d be (-15)/y*(1 - -3). Do d and -0.1 have the same value?
False
Suppose -3 = -5*c + 7. Let t(i) = 4*i**c + 0*i**2 - 3*i**2 + 12*i + 14. Let g be t(-11). Which is smaller: g or 5?
g
Let g = -1432/13 - -110. Which is greater: 0.2 or g?
0.2
Let l(m) = -m + 3. Let c be l(4). Let z be (-316)/(-24) + (-4)/6. Let v = z - 12. Which is smaller: c or v?
c
Suppose 18 = -3*p - 0*p. Let i = p - -8. Suppose -v + i = -0. Is v less than or equal to 3?
True
Let r = -394 + 46885/119. Let m = r + -211/3213. Which is smaller: m or 0?
m
Let s = 11.5 - 10.5. Which is smaller: s or -3/2?
-3/2
Let q = -49 + 99. Which is smaller: 49 or q?
49
Let d = -0.59 - -24.59. Do d and -1 have different values?
True
Suppose 40*s - 35*s = 0. Which is smaller: s or 3/34?
s
Let t be ((-57)/(-5) - 1)*-7. Let m = -73 - t. Do m and -1 have the same value?
False
Let n be 480/(-238) + (-2 - 28/(-7)). Which is smaller: -1 or n?
-1
Let d = 143 + -1574/11. Is d greater than -1?
True
Let d = -75465 + 1961735/26. Let 