maller: -1 or x?
-1
Let f = 25 + -37. Let u be (-52)/(-24) + 2/f. Is u >= 2?
True
Suppose 5*w - 2*a = -6*a + 12, 0 = w - 3*a + 9. Which is smaller: 1 or w?
w
Let c = -13 - -13. Is -2/37 at most as big as c?
True
Let d = 3241/11 - 295. Which is smaller: d or -2/7?
d
Suppose -4*m = -m. Suppose m = c + 4*c. Let l be (1 - c)/((-1)/(-3)). Which is bigger: l or 2?
l
Suppose -3*d = -6*d + 39. Let w = 5 - d. Let l be (-1 + w/(-10))/1. Which is smaller: -1 or l?
-1
Let m = -2 - -8. Which is greater: 1 or m?
m
Let o be (-3)/(-2)*4/(-3). Suppose m = -j, -m - 8 = 4*j - 5*m. Is j at least o?
True
Let z be (-1 - -2)/8*-3. Suppose -m + 5*b = -6*m + 45, -b = 4*m - 21. Let c = -5 + m. Which is smaller: z or c?
c
Let f(l) = 1 - 3 + l - 1 - 1. Let g be 20/6 + (-4)/(-6). Let y be f(g). Which is greater: -0.2 or y?
y
Let v(i) = -i + 10. Let k be v(7). Let u be 0*(k + 21/(-6)). Which is greater: u or -2?
u
Let s = -14 + 15. Which is smaller: s or -2/9?
-2/9
Suppose -3*h + 2*o = -110, -3*o + 33 + 23 = 2*h. Suppose -5*j = n - 10, -n - h = -3*j + 4*n. Suppose -5*b + 2 = -j. Are b and -2/5 non-equal?
True
Suppose 0 = -3*t + g + 3, -t + 3*g + 5 = -4. Let l be (2 - (4 + 0)) + -42. Let d = l - -398/9. Is d <= t?
False
Let y = -2 - -1. Let j = 28/3 - 9. Is j less than or equal to y?
False
Let v be (36/30)/(6/20). Let z = v + -3. Is -6 greater than z?
False
Let y = 0.52 + -0.02. Let n = y - 2.5. Let o = -1/40 - -43/120. Is o at least n?
True
Suppose 2*k + 10 + 0 = 3*x, 34 = -3*k - 5*x. Let v(b) = -3*b - 9. Let w be v(k). Let q be (1/(-1))/(w/(-3)). Which is smaller: -1 or q?
-1
Suppose -1 = 2*v - 3. Suppose -357*o = -362*o. Which is bigger: v or o?
v
Let k = -1.06 + -4.64. Let o = 6 + k. Let l = o + -0.2. Which is bigger: -3 or l?
l
Let x be ((-6)/25)/((-4)/10). Which is smaller: x or 0?
0
Let h = -5087/15 - -339. Let m = -8 - -11. Suppose 3 = -4*r - 4*o - 1, 0 = 2*r - m*o - 8. Is r != h?
True
Let c = 0.7 - 2. Do 1/4 and c have different values?
True
Suppose 7*a - 50 = 6*a. Let p = a - 35. Is p less than 16?
True
Let z be (438/147 - 0) + -3. Which is smaller: z or 0?
z
Let v = 3558211/61 - 58330. Let c = 1/183 + v. Which is greater: c or 2?
2
Let q be 3 + 1 - (-1072)/(-256). Which is smaller: q or -1?
-1
Suppose -h - 5*x + 22 - 71 = 0, 3*x + 162 = -4*h. Let w be (-1)/(-3) - h/(-9). Which is bigger: w or -3?
-3
Let t(a) = 2*a**2 + 3*a. Let j be t(-2). Let q = 61/78 + -3/26. Which is smaller: q or j?
q
Let o = -1/44 + -85/132. Suppose 43*t - 46*t = -2*i - 8, -16 = 4*i. Which is smaller: o or t?
o
Suppose -5*y = 15, -3*y = 3*p + 6 - 0. Suppose 0*r + p = r. Let d(v) = -v**2 + 8*v + 21. Let x be d(10). Is r at most x?
True
Let y(v) = -v**2 - 23*v - 34. Let b be y(-22). Do -15 and b have different values?
True
Suppose d = 3*d. Suppose 3*w = -2*x - 0 - 17, d = -x - 2*w - 11. Let v(z) = -z**2 + 4*z - 2. Let n be v(4). Which is bigger: x or n?
x
Let k = -4 + 7. Let b(t) = -t**2 + 4*t - 3. Let y be b(k). Is y greater than -1?
True
Let k be 0 + 2 - 0 - -1. Suppose 0 = -0*v + k*v - 6. Is 2 less than v?
False
Let j(u) = -u**2 - 5*u - 5. Let s be j(-3). Which is greater: s or 1/6?
s
Let n = 7 - 8. Which is bigger: 0 or n?
0
Let j(d) = d**3 - d**2 - 2*d - 1. Let u(r) = 4*r**2 + r. Let i be u(-1). Let s(n) = -n + 2. Let z be s(i). Let p be j(z). Is 1/7 > p?
True
Let a = -0.07 - 0.1. Let s = a + 0.07. Is s != 0.03?
True
Suppose -2*q - 12 = -0*q + 5*m, 5*m = -3*q - 8. Let j = q - 2. Suppose 4*z = 3*t + 15, -8*t = -3*t + 5. Is j at most as big as z?
True
Let l be (-2)/(-5) + (-357)/805. Which is bigger: -0.1 or l?
l
Let w(u) be the third derivative of u**2 + 1/20*u**5 + 0 + 1/120*u**6 + 0*u + 1/12*u**4 + 0*u**3. Let a be w(-2). Which is greater: 1 or a?
1
Let l = 58 - 289/5. Does l = -3/17?
False
Let g = -0.4 + 0.7. Let a = -0.3 + g. Let h = 31 - 30.9. Is a greater than h?
False
Let a = 11324/37 - 306. Which is bigger: a or 1?
1
Let p(n) = -n**3 - 4*n**2 + 6*n + 4. Let m be p(-6). Let w be 1 + -2 - (-1566)/m. Let b = w + -155/4. Which is smaller: b or -1?
-1
Let s = 1537/9 + -169. Which is smaller: 2 or s?
s
Let k(r) = -3*r**2 - 4*r**2 + 1 + 6*r**2 + 0*r**2. Let g be k(-2). Let t be (3/7)/(g/(-2)). Is 5/2 > t?
True
Let s = -0.02 - -3.02. Let c = -4.4 - -1.6. Let l = s + c. Is l greater than or equal to -2?
True
Let u be (2/5)/((-9)/45). Which is greater: u or 6?
6
Let x = -6.99 - -7. Let r = x + -0.11. Which is bigger: r or 0?
0
Suppose -25 = 7*m - 2*m, -4*p - 3*m = -41. Let h be p/(-3) - (-2)/3. Which is greater: h or -5?
h
Let d(u) = -2*u**2 + 6*u - 8. Let r be d(5). Is r < -27?
True
Let k be (1 - 1) + 3 + -2. Let u(m) = 5*m + 3. Let x(p) = -p. Let n(q) = u(q) + 6*x(q). Let c be n(3). Is k greater than c?
True
Let l = 53/48 - 7/16. Is -4 less than l?
True
Let q be (-2)/(-3) - (-4)/3. Let u be (-1)/(6/10) + q. Let j(m) = -m + 5. Let f be j(5). Is f bigger than u?
False
Let n be 4/10 - 171/415. Let s = -411/332 + n. Is -2 less than s?
True
Let q(d) = -d**2 + 5*d - 3. Suppose -5*b + h = -10, 0 = -3*b + h + 5 - 1. Let z be q(b). Suppose z*j - 8*j = 0. Is 4/5 >= j?
True
Let a = 0.5 + -0.4. Let b = -0.1 + a. Let m = b - 0. Which is bigger: -1/2 or m?
m
Let c(u) = -u**3 + 6*u**2 - 6*u + 2. Let m be c(5). Let y be (-28)/m + 2/3. Suppose x = -x + y. Are 5 and x non-equal?
False
Suppose -5*w = 18 - 68. Let k(z) = z**3 - 10*z**2 - z + 10. Let g be k(w). Which is smaller: g or -2/3?
-2/3
Let p be (-4)/6 + 14/3. Suppose -12 = 4*m - p*l - l, 0 = 5*m - l + 15. Let f(n) = -n**2 - 4*n + 2. Let q be f(-5). Is m at most as big as q?
True
Suppose 4*o = 5*x - 154, 3*x - 6*x - 5*o + 85 = 0. Which is smaller: x or 29?
29
Suppose -50 + 11 = 3*h. Let n = h + 18. Suppose 0 = i - 2 - 0, 2*i = -n*y + 19. Is 2 >= y?
False
Let d be (2/4)/(3*(-4)/48). Is 1 smaller than d?
False
Let b be -10 - (3 + -2 - 1). Let p be (-8)/(-10)*(-25)/b. Which is greater: p or 4/7?
p
Let z = 80 - 80.3. Is 2/13 greater than z?
True
Let r be -2*((-4)/(-2))/4. Let c be (0 - 2)*(100/(-48) - -2). Is c at most as big as r?
False
Let b = -13627/15 + 908. Which is greater: b or 1?
1
Suppose 2*q + 42 = -4*z, -3*q - q - 29 = -3*z. Is -2 at least q?
True
Let d = -919/6 - -1043/6. Let i = d + -20. Which is greater: 1 or i?
1
Let p(j) = -j**2 + 7*j - 7. Let m be p(5). Suppose -m*d = 6 + 3. Does d = -3?
True
Let f be ((-1)/2)/((-1)/(-2)). Let y(h) = h - 7. Let u be y(7). Is u < f?
False
Let z = 0.07 - 0.07. Let n = -16 + 15.2. Which is bigger: z or n?
z
Let z = 8 - 6. Let v be -15*z*(-1)/2. Suppose -3*b - v + 3 = 0. Are -5 and b unequal?
True
Let n be (77 - 0 - -3)*-1. Let q = n + 238/3. Are q and -5 unequal?
True
Let p(i) = 2*i**3 + 4*i**2 + 3*i + 2. Let a be p(-2). Suppose -5*x - 3 = -23. Suppose x = -h + 1. Which is greater: h or a?
h
Let f = -24 - -28. Do 3 and f have the same value?
False
Let w(r) = -5*r + 2*r - 8 + 2*r. Suppose 0 = -4*g, i = 4*i - 3*g + 18. Let b be w(i). Which is smaller: -1 or b?
b
Let p = 52 - 37. Which is smaller: p or 3?
3
Let t = -178 + 177.1. Which is smaller: 3 or t?
t
Let c be 2/(-1) - (-352)/172. Let x = -31/258 - c. Which is smaller: x or 1?
x
Let i be -4 + (-7)/((-140)/96). Which is bigger: i or 2?
2
Suppose 5*m - 71 + 21 = 0. Let r be (-2)/5 - (-14)/m. Which is smaller: -2/5 or r?
-2/5
Suppose 3*c - 4*c - 5 = 0. Suppose -4*d = -4 - 4. Let f be (16/180)/(d/c). Which is greater: 1 or f?
1
Let p = 12.9 - 13. Is p at least -3?
True
Let g(q) = -q**2 + 3*q - 1. Let z be g(3). Let y be (-1 - 112/(-44)) + z. Is 1 >= y?
True
Let a(q) = 26*q - 22. Let s be a(3). Is s >= 56?
True
Let v(n) = n**3 - 4*n**2 + 2*n + 4. Let b be v(3). Let l = 6 + 3. Let y be ((-12)/l - -1) + 1. Which is smaller: b or y?
y
Let s = 0.3 + -0.4. Let y = 1.1 + s. Let p = 0 + y. Is -0.3 < p?
True
Suppose 0*x = -x + 6. Let l be 33/(-9) + 4/x. Which is greater: -10/3 or l?
l
Let h be 25/45 - -1*1. Are 3 and h unequal?
True
Suppose -6*n - 6*n - 12 = 0. Which is smaller: 4/13 or n?
n
Let l = 1/1426 + 11391/24242. Is 1 less than l?
False
Let a be (-10)/(-3)*12/10. Let m be 2 - -12*(3 - a). Is m < -11?
False
Let j = 213852/91 + -2350. Which is bigger: -1 or j?
j
Let k = 0.01 + 1.39. Let a = k + -2.4. Is a not equal to -1?
False
Let i(x) = -4*x - 4. Let f be i(4). Let g = -10 - f. Let s be 0/(5/(g/4)). Is s equal to 1/6?
False
Let b(f) = f + 3. Let y be b(-3)