 n be 8*b/30 + -2. Let f = 1 + 0. Is n less than f?
True
Let n be (16/(-836))/((-14)/(-7)). Is -1 greater than n?
False
Suppose -2*o + 3*d + 0 = 11, -2*o + d = 13. Are o and -7 unequal?
False
Let v be (9/(-1 - 2))/1. Let y = -7 + v. Which is bigger: y or -9?
-9
Suppose -4*b - b - 28 = n, -13 = 5*b - 4*n. Let q be (-9)/((-45)/(-10)) + 40. Let j = 37 - q. Is j < b?
False
Let i be 6*4/(-6) - 0. Let q = i - -3. Which is bigger: -2 or q?
q
Let x = -1.98 + -0.02. Let o = 1.8 + x. Let z = o - -0.1. Is z greater than 2/5?
False
Let a = -44 + 79. Suppose 2*t - 4*o = 2, 4*t + 3*o = -2*o - a. Is -5 greater than t?
False
Suppose 5*h + 5*s = -0*h - 10, 12 = -4*s. Which is smaller: h or 1/3?
1/3
Let n(o) = -o**2 + o + 10. Let d be n(0). Suppose 3*z = 5*z - d. Suppose z*l - 18 = -4*s, -3*l = -l + 4*s - 12. Which is smaller: 1/2 or l?
1/2
Let a = -3 - -3. Is a less than -1/8?
False
Let t = 10 + -16. Let v be 3*-4*1/t. Suppose -o - 12 = v*o. Is -4 bigger than o?
False
Let l = -3 + 1. Let a = 4 + l. Let z be (-3)/4 - 46/(-40). Is a >= z?
True
Suppose -2*s = 3*v - 11, -13 + 3 = 5*s. Let o = v - 11/2. Suppose 6 = 5*p - 3*w, 5*p - 2 = -2*w - 6. Is o equal to p?
False
Let x be (-10)/8*(-2 + 10). Let m(i) = i**2 + 10*i + 2. Let s be m(x). Suppose -4*u + 2*v = 0, 3*u = s*u - 2*v + 5. Is 1/4 < u?
True
Let f = 90 - 996/11. Which is bigger: f or 0?
0
Suppose -4*z - 480 = 8*z. Is -43 equal to z?
False
Suppose 492 = -5*w + 17. Is -94 greater than w?
True
Suppose b = -k - b + 5, 4*k = 5*b - 6. Let u be 0*k/(-4 + 1). Which is bigger: u or -2/9?
u
Suppose 8*a - 29 = -k + 3*a, 5*k + 3*a - 35 = 0. Suppose 0 = -0*g - g + k. Is 5 greater than g?
True
Let g = -0.7 - -0.4. Let n = 2.5 - 2.9. Let f = g - n. Which is greater: f or 4?
4
Let n be 2/(-3) + (-16)/(-6). Suppose -6 = u - 4*q, -u + 33 = 4*u + q. Let s = -4 + u. Does n = s?
True
Let y = -48/5 + 46/5. Which is bigger: -34 or y?
y
Let p = 674/75 + -9. Let z = 47/150 + p. Let o = z - -1/2. Which is bigger: 1 or o?
1
Let u be (-8)/(-32) - (-103)/4. Is u at least 26?
True
Let i be 0*(-2 - -1)*(-1)/(-3). Which is greater: -1/104 or i?
i
Let t(k) be the second derivative of k**3/6 - 5*k**2 + 2*k. Let d be t(-5). Is -14 at least d?
True
Suppose -5*t + 0*t = 0. Which is greater: t or -1?
t
Suppose -s = s. Let r = 0 - -2. Let m = 3 - r. Which is bigger: m or s?
m
Suppose h - 2*h = 0. Which is smaller: h or -2/19?
-2/19
Let p = -12 - -19. Is p <= 6?
False
Let g be (-1 + -3 - -4)/(-1). Let y be (-3)/(-6)*(-1 - -3). Let h = g - y. Is h smaller than 0?
True
Let k = 19 + -15. Let d = 3 + -14. Let o be d/(-4) - (-3)/12. Do o and k have the same value?
False
Let a = 150 - 62. Let z = -266/3 + a. Let c be 1*-2*(-4)/(-8). Are c and z unequal?
True
Suppose 0 = -4*m - 4*k - 12, -m + 3*k - 4 = -1. Let v(n) = n + 3. Let h be v(m). Let b be (-8)/(-27) + 2/(-9). Is h <= b?
True
Let b = 104 - 105. Which is greater: b or -11?
b
Let l = -43 - -22. Let i = 18 + l. Suppose z - 2 + 5 = -2*o, -4*o + 4*z - 36 = 0. Do o and i have different values?
True
Let n be 0/((-5 + 1)/2). Let x be 4 + -2 + (-1)/1. Suppose n = 5*t + x - 21. Which is smaller: t or 2?
2
Suppose 1 + 2 = 3*x. Let q = -243 - -4373/18. Is x at least as big as q?
True
Let c = 176 - 185. Is c equal to -61/7?
False
Let t = -1 - -3. Let p be 2/1239*34*5. Let c = p - -2/177. Which is smaller: t or c?
c
Let q = 0.33 + -0.03. Let n = -6 + 6. Is q >= n?
True
Let n = -21 + 11. Let r = n + 8. Which is smaller: r or -8/7?
r
Let w be (-2)/(-10) - 6/5. Let v be (-4)/(-10) - (-18)/5. Suppose -2*a + v = -6*a. Is a not equal to w?
False
Let y = -2 + 4. Let m be 0*(1/y - 0). Is 2/11 < m?
False
Suppose 0 = 2*y + 21 - 5. Is y less than or equal to -2?
True
Suppose 2*z + 12 = 6*z. Let r be (-2)/(-3)*(2 - (0 + -4)). Suppose z*g - 20 = r. Is g at least 1?
True
Let q be (-32)/(-6)*(-3)/2. Let h = q - -7. Which is bigger: -10/11 or h?
-10/11
Let m = 10 - 9. Is -1 less than m?
True
Suppose 4*z + 6*a - a + 60 = 0, 5*a + 70 = -5*z. Let c be 6/(-15)*z/(-6). Which is greater: c or 0?
0
Let u = -20 - -18. Let b be u/3 - (-143)/39. Is 3 > b?
False
Suppose -2*t + 3*g + 11 = 0, -2*t - 2*t = 4*g + 8. Which is bigger: -3/8 or t?
t
Let z(x) = x**2 + 8*x + 1. Let h be z(-7). Let k be (4 + 35/(-10))*-14. Is h not equal to k?
True
Let i be (-1)/(-1 + 2 + 0). Is i less than or equal to -1/28?
True
Let a = 121 + -131. Which is smaller: 1/2 or a?
a
Let y = -681 - -681. Let w be (2/16)/((-3)/4). Are w and y non-equal?
True
Suppose 0*l + l + 4*m + 10 = 0, 3*m = l - 11. Let w(g) = -g - 6. Let u be w(-7). Which is smaller: u or l?
u
Let n = -153/14 + 11. Suppose 4*f + 0*f = 4. Which is bigger: n or f?
f
Let s = 26 + -9. Let b = -17.2 + s. Let h be (-3)/(((-99)/2)/(-3)). Which is bigger: b or h?
h
Let f be ((-1)/10)/(3/(-9)). Are 1 and f equal?
False
Suppose -3*n + 1 = x - 4*n, -3*x - 2 = 2*n. Let h = -7 + x. Which is bigger: h or -6?
-6
Suppose 5*u = -180 + 35. Are u and -29 equal?
True
Let z = -16 - -10. Let t = -5.99 - z. Let i = -0.11 + t. Is i less than 3/5?
True
Let j = 3 - 2. Suppose 3*d + 6 = -21. Let t(g) = g**3 + 9*g**2 + g + 11. Let y be t(d). Is j less than y?
True
Let b = -1365 - -87357/64. Is b greater than 0?
False
Suppose 5*u - 3*u = -4. Let x be 1/(u - 22/(-10)). Suppose -4*f - 23 = -x*q - 3*f, 5*q - 4*f - 32 = 0. Do 4 and q have the same value?
True
Suppose 0 = -5*j + 3 + 2. Is j < 1/8?
False
Let y = 4.2 - 14.2. Is y less than or equal to 0.2?
True
Let i(k) = k**3 + 4*k**2 - 3. Let q be (-2)/3*(3 - -3). Let w be i(q). Let t = w - -2. Is t smaller than -1?
False
Let k = -2 - -4. Let t be 7/((-14)/4) + (1 - -2). Which is greater: t or k?
k
Suppose f + 9 = 4*f. Suppose f*l + 0*l - 5 = 4*z, 5*l = 5*z + 5. Is 5 > l?
True
Let q be 1*2 - ((-276)/(-70) - 2). Which is greater: -1 or q?
q
Suppose -f = 3*f. Let h = -10 + 8. Is h smaller than f?
True
Let n = 4.19 - 5.2. Let c = n - 0.09. Let q = c + 1. Is q at least -0.1?
True
Let x(y) = -y**3 - y**2 + 3. Let d(u) = u + 6. Let k be d(-6). Let a be x(k). Suppose -2*j + a - 1 = 0. Is j less than 0?
False
Let h = -167 - -1167/7. Is -1 <= h?
True
Let k = -4 - -7. Let t(i) = i**3 - i**2 - 22*i - 4. Let b be t(-4). Which is greater: b or k?
b
Let m be (-18)/63*(-5)/2. Which is bigger: 0 or m?
m
Let j be (-6)/(-2) - (-1 - (-484)/120). Which is smaller: 0 or j?
j
Let w = -32 - -29. Suppose 4*g + 16 = 2*o - 0*o, -3*g - 19 = -5*o. Is g at least as big as w?
True
Let a(u) = u**2 - 8*u + 9. Let y be a(7). Suppose y*j = j + 5*t - 387, -4*j = -5*t + 1503. Let i = -2609/7 - j. Which is smaller: 0 or i?
i
Let p be 0 - (-7 - (0 - -2)). Suppose -2*a + 1 = p. Is a not equal to -4?
False
Suppose -3*g = -5*o - 20, 0 = 4*o + 5*g - 2*g + 16. Let f(h) = h**3 + 3*h**2 - 3*h + 5. Let y be f(o). Which is greater: y or 5?
5
Let y = -71/3 + 23. Let i be (0 + 0)/((-1)/1). Is y greater than i?
False
Suppose -2*n + 1 - 7 = 0. Which is bigger: 0 or n?
0
Let a = 48 + -48. Does 3/116 = a?
False
Let k = -304 + 1526/5. Which is smaller: k or -1?
-1
Let p = -28 - -27.9. Which is bigger: p or 1/4?
1/4
Let p = 10 - 3. Suppose 60 = 2*o + 3*o. Let t be (-2)/3 + 80/o. Which is smaller: p or t?
t
Let u be (-334)/(-78) - 12/72 - 4. Are u and 1 unequal?
True
Let p = 7 + -4. Suppose u + 3*u = -3*q - 12, 0 = -q + u + p. Is q not equal to 2/9?
True
Suppose 0 = -4*t - 0*x + 4*x + 36, -t + 9 = -2*x. Suppose -7*s + 2*o + 40 = -2*s, -5*o = -25. Are s and t unequal?
True
Suppose -4*h = h + 5. Let g be 2 - 18/8 - h. Suppose 3*j + 11 = 4*j + 5*n, 3 = j + n. Is j at least g?
True
Suppose 0 = -q + 19 + 12. Suppose q = 4*p - 5. Let m be 1/p*(-9)/(-3). Which is greater: -1 or m?
m
Let j = -2316 - -150533/65. Let r = 1649/520 + -25/8. Let c = j - r. Is 0 at least c?
True
Let p be (-4)/(-40) - 2/5. Let y = 31/70 + p. Are y and -1 equal?
False
Suppose -183 = -2*w + 467. Suppose w = -5*n - g, -4*g = 3*n + 165 + 13. Let u be (-1)/(-3) + 34/n. Is 0 > u?
True
Let d be -4 + 3 - (-435)/441. Is -1 less than or equal to d?
True
Let k(n) = -2*n + 19. Suppose 5*i + 6 = 5*b + 46, 4*i - 3*b = 34. Let v be k(i). Which is greater: -15 or v?
v
Let a = -17 + 31. Suppose -7*s = -a*s. Is 3/7 smaller than s?
False
Let y = 13281/37 - 359. Is y at most as big as -1?
False
Suppose 0 = -5*o + 3*o - 2*y - 8, 5*o - 10 = 5*y. Which is smaller: o or 1/39?
o
Let f =