ual to t?
False
Let a = -2 + 0. Let m be -3 + 3/(4 + -1). Is a >= m?
True
Let i = 2856 - 8648/3. Let u = -28 - i. Is -1 < u?
False
Let p(s) = -s**3 + 5*s**2 - 10*s - 3. Let n be p(5). Are -53 and n non-equal?
False
Suppose -5*n = -2*n - 3*x, -4*n - 2*x = 6. Let h be (n/5)/(6/12). Suppose -2*g = 4*a - 0*g + 6, 0 = 5*g + 15. Is a smaller than h?
False
Let u be 1/(-2) - 21/54. Which is smaller: u or 1?
u
Let c be (10 + -9)*3*1. Let g be (-4)/6 - (c + -2). Which is smaller: -3 or g?
-3
Let m = 21 + -35. Is -14 smaller than m?
False
Let k be -3 - (-12*1)/4. Is -1/14 < k?
True
Let k be (13/(-13))/(2/(-2)). Let i be 26/14 + (-2)/k. Is i > 0?
False
Let s be (15/(-2))/5*2. Let v(y) = -4*y - 2. Let m(g) = -5*g - 1. Let z(q) = s*m(q) + 4*v(q). Let b be z(-6). Is 1/2 greater than b?
False
Let u = 1 - -10. Which is bigger: 12 or u?
12
Let d(q) = -q**2 - 11*q + 4. Let j be d(-11). Which is bigger: 5/2 or j?
j
Let w = -5 + 5.2. Is w smaller than -6?
False
Let a = -19/7 + 97/28. Suppose 0 = 2*u - 4. Suppose 6*t - u*t = 4. Is t greater than or equal to a?
True
Let y be (-3 - (-4 + 1))/1. Let o be 3/(-18) + 19/(-30). Is o bigger than y?
False
Let i = -0.55 + 0.3. Let z = i - -0.05. Let j = 1 + 4. Which is smaller: z or j?
z
Let t = 0.1 - 0.3. Let x = 9 + -9. Let j = t - x. Is 2/5 < j?
False
Let q = 20 - 12. Suppose f = -f + q. Suppose -3*t - 2*m + 2 - 12 = 0, 0 = f*t + 4*m + 20. Which is greater: 2/7 or t?
2/7
Let z(l) = -l**3 - 8*l**2 - 2*l - 2. Let n be z(-8). Is 14 != n?
False
Suppose 5 = -28*p + 33*p. Which is greater: -7/18 or p?
p
Let j = 3 + -24. Let k = j + 22. Let h be (-2)/(-12)*2/2. Does k = h?
False
Let o = 47 + -19. Let x = 55/2 - o. Is x at most 1?
True
Let s = -75 + 64. Let n = 12 + -23. Is s equal to n?
True
Let l be (-28)/(-4) + -1*3. Suppose 3*i = -i, -l*i - 25 = -5*y. Do 5 and y have the same value?
True
Let s be 2/(-2) + 6 + -2. Suppose -s = -w - 2*w. Let a be 2/(-2) + 11/8. Is w smaller than a?
False
Let s = 3 + -5. Let v(f) = -f**3 - 2*f**2 - 3*f - 3. Let a be v(s). Suppose a*y = 3 - 0. Is y < -2/15?
False
Let i be -3 + 0 - -6 - -6. Let m be i/3 + -4 + 1. Are m and 1 unequal?
True
Let m(l) = l**2 + 8*l + 7. Let i be m(-7). Suppose 2*w - 5*w + 6 = i. Let g = 79 - 235/3. Which is smaller: w or g?
g
Let t(h) = -h - 4. Let k be t(-6). Let g be k - 58/12 - -3. Which is smaller: g or -1?
-1
Suppose 3*f - 1 = 4*k, 2*k = -f + 4 + 3. Suppose -k*m + 7 = -1. Is m <= 5?
True
Let b be 120/32 + 3*-1. Let y = -4 - -6. Which is bigger: b or y?
y
Let f(n) = n**2 + 17*n + 16. Let a(y) = -2*y**2 - 35*y - 33. Let x(g) = -6*a(g) - 13*f(g). Let z be x(-8). Let p be (z/(-8) - -1)*-4. Which is smaller: p or 4?
p
Suppose 7*p - 8*p = 0. Which is smaller: p or 2/9?
p
Let v be 4/3*(-9)/(-6). Let m = 5 - 7. Let p = -2 - m. Is p not equal to v?
True
Let l = 882782 + -15002996/17. Let k = 253 - l. Let u = -73/221 + k. Which is greater: u or -1?
u
Let b = -1.1 + 1. Let d = 0.1 - 0. Is d smaller than b?
False
Let r be (-1)/(-1) + (-3)/(-1). Let d = 9 - r. Are d and 2/5 non-equal?
True
Let x = 32 + -21. Let o = x + -13. Which is smaller: o or 0?
o
Suppose 0 = 4*a + k + 2*k, a = -k. Do -1/31 and a have different values?
True
Let b = -7 - -6.4. Let q = 0.7 + b. Which is bigger: -6/7 or q?
q
Suppose 2*w - 26 = 4*m, -4*w - 4*m + 1 + 3 = 0. Suppose 5*a = -0*a - 5, -3*k + 2 = -w*a. Suppose 3*z = -9, z = 5*b + 3*z + 16. Is b > k?
False
Let i(k) = 2*k**2 - 2. Let p be i(2). Let n(g) = g**3 - 7*g**2 + 6*g - 6. Let m be n(6). Let v be (p/(-9))/(7/m). Which is bigger: 0 or v?
v
Let d = -3 + 7. Let o = 14 + -9. Suppose 0 = 3*v - 10 - o. Which is smaller: v or d?
d
Let g be (-121)/25 + (-25)/(-5). Which is smaller: g or -0.2?
-0.2
Let i = -128 + 127.94. Is -2/21 not equal to i?
True
Let t be (28/(-21))/((-1)/(-3)). Is -3 > t?
True
Suppose -3*n - 5*j + 225 = 0, 4*n - 90 = 4*j + 242. Let k = n - 718/9. Which is greater: k or 1?
1
Let u be -2 - ((-1 - 1) + 2). Suppose -5*o = -3*p - 19, 5 + 2 = -4*o - 5*p. Let c be o/(-6) - (-4)/12. Is c smaller than u?
False
Let m(v) = 2*v + 2. Let r be m(-10). Let a = 16 + r. Is a != -2?
False
Let p(k) = -k**3 - k**2 - k. Let y be p(0). Is 2/23 less than y?
False
Suppose 2 = -4*d - 2. Let c = d - 0. Are c and -1 non-equal?
False
Let d = 0.1 - -0.1. Let h = 11.9 + -12. Let o = h + d. Is o at least as big as -1?
True
Let u = 35483/113 - 314. Which is bigger: 0 or u?
u
Let q be (-10)/(-25) + 174/15. Is 12 equal to q?
True
Suppose 3*l = 4*l + 5*h + 1, 0 = -l - h - 1. Let i(w) = -2*w + 6. Let k be i(4). Is k greater than or equal to l?
False
Let k be 4/(-12) - 4/6. Let g = -425/4579 + -3/241. Which is greater: k or g?
g
Suppose 0*l + 4*l = 28. Let a = l + -6. Suppose a = g - 0*g. Which is greater: 2 or g?
2
Let r(y) = -y**3 + 16*y**2 + y - 22. Let j be r(16). Which is smaller: j or -0.1?
j
Suppose 0 = -0*j - j. Let s = j - 8. Are s and -9 equal?
False
Let y = -2/499 + -1970/6487. Which is bigger: y or 1?
1
Let z be ((-5)/(-11))/(1/(-367)). Let r = 236 + -69. Let q = r + z. Which is bigger: -2 or q?
q
Let c(l) = -l**3 + 7*l**2 - 1. Let f be c(7). Which is bigger: f or -6?
f
Let v be 5/(-10) - (-1)/(-2). Are v and -1 non-equal?
False
Let q = 10 + -8. Let b = 0.1 + 1.9. Is q bigger than b?
False
Let w = 32 - 31.8. Is -2.3 bigger than w?
False
Suppose 2*u + 0*l - l - 11 = 0, 0 = -3*l + 9. Let q be (4 - 2) + (1 - u). Let j be (5 + -8)*8/6. Is q at most as big as j?
True
Let v be 33/(-2)*13/(273/(-28)). Are 21 and v unequal?
True
Suppose 9 = -3*f, -4*o - 4 = 3*f + 5. Suppose 3*m - 1 = -t, -m = -o*m - t + 5. Let q be (2/(-4))/(24/16). Is m >= q?
False
Let j = 36 - 326/9. Let g = -1.3 - -0.3. Let h = 2 + g. Which is smaller: j or h?
j
Let r(z) = -4*z - 14. Let y be r(-3). Is -5/9 at least y?
True
Suppose 3*s - 4 = 2, 2*m = -5*s + 4. Suppose -h - 4*a + 14 = h, 2 = -4*h + 2*a. Let d be -6*3*h/6. Is m != d?
False
Suppose -7*l + 2*l = 5. Suppose 4*p = 5*m - 15, -3*p - 2*p - 15 = -5*m. Let j be (((-6)/3)/10)/m. Is l != j?
True
Suppose -2*c - 5*d + 13 = 0, 0 = c + c + 4*d - 10. Let a be 2 + -2 - 2/(-9). Which is bigger: c or a?
a
Let s = -26 + 27. Is 1/3 greater than s?
False
Let m = -8 + 8. Suppose m*r - 7 = r. Let p(w) = 2*w + 10. Let v be p(r). Is 1 >= v?
True
Let z be (-2)/(-4) - 1/2. Which is greater: 2/17 or z?
2/17
Let q be (-8)/6*24/(-16). Let j = 1 - q. Which is greater: j or -0.17?
-0.17
Let n(k) = 2*k + 11. Let g be n(-5). Is 1/95 at most g?
True
Let z = -13 - -16. Suppose 5*q - u - 7 - z = 0, 3*q - 6 = -2*u. Is q at most -3?
False
Let p be ((-3)/13)/((-24)/16). Which is greater: -7 or p?
p
Let g = -449272/133 - -3378. Is g <= 1?
True
Let b = -31/21 - -8/7. Which is smaller: b or 0.04?
b
Let i = -4.2 + 7.9. Let o = -3 + i. Let k = o - 1.7. Is -7 >= k?
False
Let y be 10/6 + 2/(-3). Let x = -1 + y. Let s = 7/4 + -2. Does x = s?
False
Let q be (-4 - -6) + 1 + -1. Suppose -5*d = 32 - 2. Let g be (-6)/(-21)*(-14)/d. Is q less than or equal to g?
False
Suppose -w - 2*w - 11 = 4*b, -3*b - 7 = w. Let q = 0.04 - 4.04. Do q and w have the same value?
False
Let t = 0.1 + -0.1. Let m be 6*-163*(-3)/(-63). Let o = m + 47. Is o less than t?
False
Let r be 12/(-3)*(-1)/(-6). Do r and -2 have the same value?
False
Let b(y) = 3*y**2 - 8*y + 3. Let m be b(3). Let t be (-6)/(-4) - m/12. Let r(j) = -j + 6. Let x be r(5). Is t equal to x?
True
Let y = 30 + -212/7. Suppose h + 2*h = 12. Let g = 5 - h. Do y and g have different values?
True
Let w = 554 + -6098/11. Is w != 0?
True
Suppose -2*b + 3*k - 9 = 0, -2*b + 5 = 5*k - 10. Suppose 2*u - 17 = -y - b*y, -4*u + 3*y = -9. Suppose -3*i = -3 + u. Which is smaller: 1/3 or i?
i
Let z = -4 - -10. Is z greater than 6?
False
Suppose -4*g = -6*g + 3*v - 79, -3*g + v = 122. Which is smaller: -42 or g?
-42
Let s(k) be the third derivative of k**5/60 + k**4/3 - 3*k**2. Let z be -10 + 4*1/2. Let w be s(z). Which is smaller: 1/3 or w?
w
Suppose 3 = -2*v - 1, 4*y + 4*v + 8 = 0. Suppose y*a + 2*a = 2. Is a greater than -2/53?
True
Suppose 3*n - 3 = 9. Is n at most as big as 0?
False
Let s = 3.2 + -4.2. Which is smaller: -4 or s?
-4
Let l(w) = -w**2 - 7*w - 1. Let d be l(-5). Which is bigger: d or -1/4?
d
Let n be (2/4)/(1/6). Suppose n*o = o + 14. Let i be 12/4*1*2. Is i != o?
True
Let h = -18 - -14.5. Let m = -3 + 3.5. Let k = m + h. Which is