 Suppose -x + 1 - 2 = g. Are x and -1 non-equal?
False
Let a be (1 + 0)/((-3)/(-6)). Suppose -10 = a*h - 4*h. Is h at most as big as 4?
False
Let n be 1 + -2 - (3 - 6). Suppose n - 6 = -m. Suppose 2*w + 11 = -y, 2*y + m*w + 19 = 3*y. Is y less than -3?
False
Suppose 0*f + 5*f - 15 = 0. Let n = -7 + 9. Suppose 0 = 5*g - f*g + n. Which is smaller: 0 or g?
g
Suppose 10*f + 14 = 7*f + 4*t, -3*f - 2*t = -16. Suppose 5*i = -0*i. Is i at least as big as f?
False
Let p = 1 + -1. Let j be (-8 + (-605)/(-77))/((-4)/(-14)). Which is smaller: p or j?
j
Suppose 0 = -3*d - 0*c + 2*c + 22, 4*d + 5*c + 9 = 0. Suppose -4*g + d*x = -16, 9 = g - x - x. Is g greater than or equal to 1/2?
False
Suppose -28*x = -24*x + 4. Which is greater: -0.31 or x?
-0.31
Suppose -3*b = -o - 2, -2*b = b - 5*o + 14. Suppose -z = 4*z + 10, -4*z = -i + 6. Let f be i/(-27)*(1 + b). Which is bigger: -1 or f?
f
Let v = -10 + 6. Let q be (10/v - -4)*2. Which is smaller: 17/4 or q?
q
Let o be -3 - 1*3/15. Let v = o - -18/5. Let f = 0 + -2. Is v at most f?
False
Suppose -3 = f - 4*f. Let o be 1*-2*2*(-4)/16. Is f less than or equal to o?
True
Let l = 0.01 + 0.06. Is l at least 0?
True
Let n = 37 + -38. Let l be 2/24*(-2)/(-3). Is n smaller than l?
True
Let b = -182 + 1087/6. Which is smaller: 0 or b?
b
Suppose 4*i - 5 - 3 = 0. Let k be 2 - (-2 + 2 + i). Suppose -3 = -2*j - x, 4*x + 3 + 1 = k. Is 1 != j?
True
Let w = 11 - 11. Which is smaller: w or 2?
w
Let x be (-2)/4*-2 - -4. Suppose 4*d + 15 = 5*y - 6, 2*y - 15 = -x*d. Let z = 2 - d. Are 0 and z unequal?
True
Let r be (0 + -1)/(670/225 + -3). Which is bigger: 46 or r?
46
Let v = -0.06 - -0.31. Let f = v - 0.15. Is -17 at most f?
True
Let d(z) = z - 13. Let g be d(7). Is g >= -5?
False
Let p be (-142)/(-9) - (-4)/18. Is 16 >= p?
True
Let w = 0.4 + -1.4. Suppose 2*r - 28 = -2*r. Let k = -9 + r. Which is bigger: k or w?
w
Let l be 7 - (16 + -5) - (-81)/21. Let k = 0.3 - 0.2. Which is smaller: k or l?
l
Suppose -12 = -5*v + 53. Are v and 11 equal?
False
Suppose -12*v + 146 + 94 = 0. Are v and 20 nonequal?
False
Let i = -5 + 4. Is i bigger than 1.6?
False
Let j = -4.2 + 0.2. Is -2 less than or equal to j?
False
Let m = 18/35 + -64/105. Is -1 >= m?
False
Suppose -6*p + 5*p = -27. Let a = p + -28. Let g be ((-2)/(-5))/(-2 - 2). Is g at least a?
True
Let j = 20 + -20.9. Let c = j - 0.1. Let w = 0.2 - 0.1. Which is smaller: w or c?
c
Suppose p = -4*q + 26, 60 = 4*p + q + 4*q. Let t be 6/15 + 6/p. Which is greater: t or -2/15?
t
Let c(d) = d - 13. Let v be c(9). Let r be v*(-1 + 1/4). Is r <= 5?
True
Suppose 0 = 2*j - 10, 0*x - j = -x + 26. Is 31 equal to x?
True
Suppose 0 = 2*s - 0*s - 6. Suppose -4*b - 2*d + 0 = -20, s*d = -6. Suppose -v - z = 4*v + b, -3*z + 4 = 4*v. Which is greater: 3/7 or v?
3/7
Suppose -7 = 5*n - d - 1, 0 = -2*n - 4*d + 2. Suppose -b = 5 - 4. Is n less than b?
False
Suppose -5*z + z = -w + 38, -5*w = -2*z - 10. Suppose 2*q + 1 = -17. Which is greater: q or z?
q
Suppose 3*s + 2*y = -0*s - 34, -s = 2*y + 10. Let t = s - 15. Let m be 3/t*1*-2. Is 1 at least as big as m?
True
Let r(x) = -x**2 - 9*x - 4. Let l be r(-10). Are -14 and l equal?
True
Let j(i) = i**2 + 8*i + 10. Let t(n) = -n**2 - 11*n - 24. Let s be t(-9). Let r be j(s). Suppose 0 = 6*d - d + 5. Which is greater: d or r?
d
Let u be -4*4/(-96)*4. Is 2 at least u?
True
Let s be 9/(-15)*(-7)/((-91)/(-5)). Which is bigger: 0 or s?
s
Let v = 15 - 15. Let n(z) = -z**2 - 6*z - 6. Let s be n(-5). Is v less than s?
False
Let i be (-1 + 1 + -1)*0. Suppose -5*s = f - 10 + 26, i = 5*f - 3*s + 24. Is -6 <= f?
True
Suppose -3 = 2*n + 4*y - 1, 0 = 3*n - y - 4. Suppose 0 = t - 4*c - 22, 0 = 2*t + c + n. Suppose -3*k - 1 = -t*k. Is -1 not equal to k?
False
Let n be (-33)/4 - 2/(-8). Which is smaller: -9 or n?
-9
Suppose -1 = -2*y + 3*y. Let k(u) = -3*u**3 - u**2 - u. Let s be k(y). Which is greater: 4 or s?
4
Let a = -3.36 + -0.64. Which is greater: -1 or a?
-1
Let p be (-24)/(-14) - (-2)/7. Let c(x) = -x**3 + 9*x**2 - 10*x + 7. Let k be c(8). Let f be ((-6)/8)/(k/36). Is p at most as big as f?
True
Let s(f) = -f**3 + 2*f + 16. Let h be s(5). Is h > -98?
False
Let t = -4 - 10. Let c = -13.9 - t. Do c and 13 have the same value?
False
Let b be (-3)/((-6)/4)*2. Suppose -l + 4*a - 11 = 0, b = -4*l + a - 5*a. Suppose -63*k - 10 - 116 = 0. Is l at most as big as k?
True
Suppose -10 = -3*n - 2*n. Suppose -2*o - 2*z = -n, 2*z - 1 = 1. Is o > -2/9?
True
Let y(o) = -o + 1. Let a be y(-2). Suppose 11 + a = 4*r - v, -r + 13 = -5*v. Suppose -k - 3 + 2 = -4*m, 4*k = -r*m - 4. Is m at least as big as -1?
True
Let c(w) = w + 4. Let y(u) = u + 3. Let a(h) = 4*c(h) - 5*y(h). Let g be a(6). Do g and 2 have different values?
True
Let h = -56 + 56.53. Is -1 greater than h?
False
Let r = 3 - 2.9. Let f = -113.9 + 114. Is r greater than f?
False
Let x be 1 + 2*2/(-12). Let b be ((-1)/(-3))/(6/(-9)). Is b <= x?
True
Let j = 2 + 3. Suppose 0 = -n - q + 2, 2 = 3*n - j*q - 4. Suppose -4*r + d = n, -4*r = 2*d - 0*d - 4. Is r at least as big as 0?
True
Let c = 2.8 - 2.67. Let w = c + 0.07. Are w and -1 non-equal?
True
Let p(h) = 4 - 4 - h. Let s be p(0). Let o = -282/5 - -56. Which is smaller: o or s?
o
Suppose -k = -4*s + 14, -2*s + 4*k - 6*k = -12. Let p be (-9)/(-12) - s/(-16). Let l = -1 - -1. Is l <= p?
True
Let t(o) = 7*o**3 - 10*o**2 - 19. Let y(x) = 20*x**3 - 30*x**2 - 56. Let p(g) = 17*t(g) - 6*y(g). Let b be p(10). Which is bigger: 14 or b?
14
Let j = 0.9 - 0.9. Let m = j + -1. Let r = -0.1 + 0.2. Is r smaller than m?
False
Let q be 42/(-5) - 20/(-50). Let v(j) = -j**3 - 7*j**2 + 9*j + 2. Let u be v(q). Which is bigger: u or -7?
u
Let r = 2 + -3. Let x be 8/(-3) + 2/3. Let q be r - (-1)/(x - -3). Is q at least 0?
True
Suppose 0 = -8*l - 7*l + 2790. Which is smaller: 187 or l?
l
Let o be 4 + -2 + 6/(-3). Which is bigger: o or -25?
o
Suppose -3*g - 5*d = 5, 0*g = 5*g + 4*d + 4. Let m = -2.07 - -0.07. Is g bigger than m?
True
Let g be 2/3*135/90. Let w be 40/(-66) - (-2)/6. Is w at most g?
True
Let y = 21 - 149/7. Is 0.2 < y?
False
Suppose -v - 6 = -3*v. Suppose c = -v*w + 9, -w - 3*w = -c - 5. Let d be 2/c - 16/(-12). Is d at least as big as 1?
True
Let t(k) = -2*k - 6. Let n be t(-4). Let a(d) = d + 1 - 2 - n*d. Let f be a(1). Which is smaller: f or -2/3?
f
Let p = 0.49 - 1.49. Is p <= 1/35?
True
Let c = 1307 - 6407/5. Let r = -26 + c. Is r less than or equal to -1?
False
Let v = -3209/183 + -8/61. Let p = v + 18. Is -1 equal to p?
False
Let i(p) = -p**3 - 3*p**2 - 4. Let w(s) = -5*s**3 - 12*s**2 - 17. Let d(l) = 9*i(l) - 2*w(l). Let y be d(3). Which is smaller: y or 1?
y
Let w(q) be the third derivative of q**4/12 - q**3/2 + 3*q**2. Let y = 11 + -8. Let k be w(y). Is k bigger than 4?
False
Let b(c) = -c**3 - 11*c**2 + c + 13. Let n = 20 - 31. Let w be b(n). Is w >= 2?
True
Let f(h) = h + 5. Let g(j) = -j + 1. Let c be g(5). Let d be f(c). Let s = -8/39 + -6/13. Do d and s have the same value?
False
Suppose 12 = -v - 2*r, 4*r + 8 = -4. Suppose -3*c - 2*c - 16 = 2*x, 0 = 2*x + 4*c + 12. Let w be 4/v + x/4. Which is bigger: w or 0?
0
Let s be (4/(-10))/((-12)/(-45)). Let l(g) = -2*g + 3. Let p be l(2). Is s <= p?
True
Suppose 2*c - 11 = -31. Let t be ((-1054)/c)/1 + 1. Let w = -106 + t. Which is smaller: w or 0?
0
Let n = -5 + 4.98. Let x = n - 0.08. Is 0 at least as big as x?
True
Suppose -5*m = -2*h - 10, 4*m + 25 = -0*m - 5*h. Let y = -55/26 + 2. Is y bigger than m?
False
Let y = -348/5 - -70. Is -0.5 greater than y?
False
Let z(v) = -2*v + 26. Let p be z(12). Is p greater than 2?
False
Suppose 36 = -2*z + 11*z. Let u(s) = s**2 + 4*s - 3. Let d be u(-5). Is z > d?
True
Let i = 24.9 + -26. Let u = 1 + i. Is 0 greater than u?
True
Suppose 0 = 15*p - 18*p - 6. Is p at most 1?
True
Let p = 124 - 123.95. Let g = 239 - 243.95. Let w = p - g. Which is greater: 1/5 or w?
w
Suppose -2*x = 2*g + 6, -2*x = -5*x + 5*g + 15. Suppose 2 = -x*w + 2*w. Let c be (-8)/5*1 + w. Which is bigger: -2/3 or c?
c
Let f be (1 - (5 - 2)) + -1. Let u(x) = -x - 9. Let q be u(0). Let i be q/(-6)*1 + f. Is -2 at least i?
False
Suppose u - 4*i + 1 = 0, 4*i = -3*u - 1 - 2. Suppose -a = 2 - 1. Is a less than u?
False
Let i(n) = -n**2 + n + 7. Let z be i(0). Let c = -4 + z. Suppose c*w = -w. Are -2 and w equal?
False
Let c = -181