er: l or 1?
1
Let h be (-2)/(-2)*0/(-1). Let w = -47/4 - -12. Is w != h?
True
Suppose -r - 2 = -1. Let u = 2/9 + 1/9. Which is bigger: r or u?
u
Let x(u) = u**3 + 7*u**2 + 5*u - 4. Let c be x(-6). Let g be (-4)/(-16) - 9/(-28). Is g >= c?
False
Let j be (-2)/5 + 4/10. Which is smaller: 2/15 or j?
j
Let h be 2/(-7) - (-4)/14. Let s = 2 + -4. Let l be s/(2 + h/(-1)). Is 1 >= l?
True
Suppose 2*y = -2*o + y, 5*o + 13 = 4*y. Suppose 0 = -0*t + 2*t. Which is bigger: t or o?
t
Suppose 0*l + 22 = -2*l. Which is bigger: l or 3?
3
Let d be -4 + (-345)/(-65) + -3. Are d and -3 non-equal?
True
Let a be (1 + 1/(-2))/((-5)/700). Do a and -70 have the same value?
True
Let k = -77/150 - -1/75. Is 0.05 greater than k?
True
Suppose 4 = -2*l - 4*i, -4*l = -2*i - 3*i + 8. Which is greater: l or 1?
1
Let u = -25.8 + 26. Suppose -4*m - 16 = -4*d - 8*m, -d = 5*m - 20. Which is smaller: u or d?
d
Let u(f) = f**2 - 6*f - 30. Let j be u(9). Which is smaller: j or 3?
j
Let j = 2 - 2. Let i be 6/24 - (-2)/(-8). Let b be i/(-3) + (-2)/14. Which is smaller: b or j?
b
Let x = -0.036 + -2.964. Is -0.3 < x?
False
Suppose -4*n = -n. Suppose 4*w - 3*w + 5 = n. Let p be w/(-2)*12/15. Is -1 != p?
True
Suppose 2*a = -4*g - 2, 22 = 3*a + 2*a + g. Let p be a*-1*(2 + -1). Let q = -211 - -205. Which is smaller: q or p?
q
Let w = -8 + 11. Let r = -4 + w. Is 0.2 <= r?
False
Let o = -7 - -6. Let m = o + -1. Do m and 0.1 have different values?
True
Let n = 8755/21 - 417. Is n not equal to 0?
True
Let a = -5.96 - -6. Let t = a + 0.06. Let q(u) = u - 2. Let n be q(0). Is t less than or equal to n?
False
Let l be ((-16)/(-160))/((-1)/(-5)). Is l at most as big as -3/5?
False
Let s = 16.008 + -0.008. Is 0.1 smaller than s?
True
Suppose 3*l = 2*c + 43 - 13, -l = -4*c - 40. Let q = 13 - 21. Is q less than or equal to c?
False
Suppose 15 = 5*q - 20. Let v(x) = x + 12. Let f be v(-6). Are f and q equal?
False
Let m = 26/5 - 229/45. Let r(w) = -w**2 - 8*w - 7. Let o be r(-5). Suppose -5*a + 3*g = -10, -3*a + g + 10 = -o*a. Is a smaller than m?
True
Let l be -3*((-9)/3)/1. Let x = l - 6. Let t = -8 - -6. Which is smaller: t or x?
t
Let u be 4*3/(-10) + 0. Which is smaller: u or 0?
u
Let p = 2.4 + -2.5. Which is smaller: p or 4?
p
Let m(t) = -t**2 + 6*t - 2. Let k be m(4). Suppose -4*r = 2*w - 2*r + 26, 3*w + 2*r + 34 = 0. Let x = 14 + w. Is k >= x?
True
Let p(o) be the third derivative of o**6/120 + 2*o**5/15 + o**4/3 + o**3 - 3*o**2. Let d be p(-7). Do -1 and d have different values?
False
Suppose 2*n - 6 = 5*n, -5*w = 4*n + 28. Let h be w + 6 + -3 + 17. Is 16 >= h?
True
Suppose c + 2 = -1. Let s be 1/(-5) - (-962)/(-65). Let y be (-20)/s + -1 + -1. Is y at least c?
True
Let p = -10 - -18. Let h = -5 + p. Let v be (-2)/(-1) - 12/h. Is v less than -3?
False
Let c = -1 + 1.5. Let t = 0.9 - c. Let n = 0.2 - t. Which is smaller: 2 or n?
n
Suppose -3*j = -2*j + 5*u - 24, 10 = -5*j + u. Suppose 0 = -2*c - 0 + 12. Let i(d) = -d**2 + 7*d - 8. Let f be i(c). Are f and j unequal?
True
Let x be (8/(-12))/((-16)/(-72)). Suppose 0*s = 4*s - 4*y + 4, 5*y = -4*s - 4. Let l be (s + 0/(-1))*1. Is l smaller than x?
False
Let a = 2 + -11. Let h be (12/a)/(3/(-9)). Is 5 at most as big as h?
False
Let g be (-1)/1*(-15)/(-3). Let u be 2/g - 6/(-15). Suppose u*r - 4 = 2*r. Which is smaller: r or -1?
r
Let z(d) = -d**2 + 4*d. Let y be z(3). Suppose -3*i + 6 = y*u - 9, 4*u = -i + 20. Which is bigger: u or 7?
7
Let h = -5/12 - -3/4. Let m = 2 - 3.3. Let k = 0.7 - m. Which is greater: h or k?
k
Let m be 4/10 - (-24)/(-60). Which is bigger: m or 4/3?
4/3
Suppose -5*l = -10, 3*x - 3*l = 2*l - 10. Suppose w + 1 = -x*w. Which is smaller: -4 or w?
-4
Let k = 0.25 + -1.25. Which is greater: -0.09 or k?
-0.09
Let t = 5 - 3. Let c be ((-4)/10)/((-6)/9). Is t at least c?
True
Let k be (-137)/(-116) + 1*-1. Let y = k - -2/29. Is y smaller than -1?
False
Let k = -73 + 143/2. Is -1 less than k?
False
Let r(q) = -q**3 + 15*q**2 - 24*q - 28. Let m be r(13). Suppose 15 = -0*l + 3*l. Let s(j) = j**2 - 6*j + 3. Let n be s(l). Do n and m have the same value?
True
Let m be (8 + -11)*4/42. Is m at least 0?
False
Let a(d) = -d**3 - d**2 + 1. Let k(q) = 6*q**3 + 5*q**2 - 7. Let g(y) = -5*a(y) - k(y). Let c be g(0). Suppose c*w + w = 3. Which is bigger: w or 1/2?
w
Let m = -48 - -45.04. Let o = 0.04 - m. Which is bigger: o or 0?
o
Let v = -13 - -5. Let g = v + 8.1. Which is greater: g or 4?
4
Let n be (-2)/(-4*(-3)/18). Let g = -116 - -114. Is g at most as big as n?
False
Suppose 8 = -4*g, -3*l + 5*g - 4 = 7. Let s = -17 - -11. Which is bigger: l or s?
s
Suppose 42 = -5*g + a, 2*g - 22 = 4*g - 3*a. Which is smaller: g or 0?
g
Let j = 16 + -14. Is 6/11 at least j?
False
Suppose -8*y - 3*x = -12*y + 11, 4*y + 5*x = -29. Is -21 at least as big as y?
False
Let h = 2197/17 - 129. Which is smaller: 1 or h?
h
Let y be 1/((-32)/2)*6. Let r = -5/56 - y. Are -1 and r non-equal?
True
Let m(u) = -6*u**2 - u - 4*u**3 + u**2 + 6 + 5*u**3. Let x be m(5). Let v = 2203/9 + -245. Which is smaller: x or v?
v
Suppose 0 = 3*x - 0*x + 12. Is -1 < x?
False
Let q be (-4 - (-4 + 3))/(-1). Which is greater: -6 or q?
q
Let m be 2/8 - 2/(-4). Suppose 0 = 5*n - 3*s - 11, n + 3*s - 1 = 4*s. Suppose 3*c - 2*l + l + n = 0, -3*l = -4*c - 12. Which is greater: m or c?
m
Let j(v) = 3*v**2 - 8*v - 2. Let c be j(3). Is 2/207 at least c?
False
Let g = 4 + -3. Let k(l) = 2*l - 9. Let m be k(6). Suppose -m*c - 4 = -2*c, -5 = 5*d + 5*c. Which is smaller: g or d?
g
Suppose 0*k = 4*k + 3*p + 2, 0 = 3*k - 3*p + 12. Let w(i) = i**2 + 2*i + 1. Let g be w(k). Let s = 3 + -5/2. Is s bigger than g?
False
Let r = -0.3 + 2.1. Let f = r - 1.5. Which is bigger: f or -1?
f
Let c = 22 + -15. Let n = 9 - c. Let p = n - 4. Is -1 bigger than p?
True
Suppose 5*x = -3*l - 17, -4*l - 4 = -0*x + 2*x. Is l less than or equal to 4/13?
False
Let a = 0 - -4. Let v = 3.9 - a. Is 0.1 > v?
True
Suppose 3*m = -m. Suppose 3*i - 2 + 11 = m. Are i and -3 equal?
True
Let y(w) = w + 2. Let u be y(-3). Let x be 3 - 0 - 1*u. Suppose 5 - 1 = -x*z. Is z greater than -7/5?
True
Let d = 26 + -27. Which is smaller: 12 or d?
d
Let a = 36 - 35.9. Which is smaller: a or 12?
a
Suppose 30 = 2*c + 3*c + 4*g, -15 = -5*c - g. Suppose c - 7 = -5*m. Is 1 at most m?
True
Suppose -16 + 4 = 2*c. Let j = c - 1. Which is smaller: j or 0?
j
Let w(x) = -2*x + 1. Let f be w(1). Let g be -9 + 11 + 4010/(-1898). Let o = g + -3/73. Is f >= o?
False
Let z = 5 + -6. Let n be 9 - ((7 - 3) + z). Let j be ((-5)/(40/n))/3. Which is smaller: 0 or j?
j
Let z be (-14)/(-6) - 3/9. Let i = -8 - -13. Suppose -6 = 4*s + 5*d, -i*d - 7 = -5*s + 8. Which is bigger: z or s?
z
Let y = -22 + 2. Let w be y/(-15)*3/14. Which is smaller: -1 or w?
-1
Let t = -1655 - -2329. Let a be (5 - 4) + (-672)/t. Let i = a - 1355/2359. Is -1 smaller than i?
True
Suppose 20 - 145 = 5*d. Do -27 and d have different values?
True
Let s be 10/6 - (-2)/6. Let o be s*6/16*-4. Which is smaller: o or -5?
-5
Let w = -4.976 + -0.024. Is -1 greater than w?
True
Let q = -37.7 + 40. Let t = -2.4 + q. Is t > 1?
False
Let c = -41117 + 776946/19. Let q = c - -225. Let t = -4 + 4. Is t != q?
True
Let c be 6/12 - (-9)/2. Suppose 5 + c = -5*a. Is -3/2 >= a?
True
Suppose -2 = -2*y - 12, 3*b - 15 = -3*y. Is 0.1 not equal to b?
True
Let v = -65/7 + 499/56. Let s(u) = -u**2 - 9*u - 11. Let y be s(-8). Let k be 0*(y + 5/2). Is v at most k?
True
Suppose 24 = 2*i + 3*j, -5*i = -4*j - j - 35. Let c = i - 8. Which is smaller: c or 6/13?
6/13
Let y be 2*-1 + 5 + (-19)/5. Which is smaller: y or -1?
-1
Let f(g) = -g**3 + 2*g**2 + g - 2. Let b be f(2). Let t(c) = -c**3 + 9*c**2 - c + 9. Let h be t(9). Do h and b have different values?
False
Suppose 19 = -5*w - 1. Let b = w + 6. Suppose -4*v = -2*v - 3*m + 17, 0 = -3*v - b*m + 7. Which is smaller: v or 1/5?
v
Let y(q) = q**2 - 4*q - 5. Let n be y(8). Let z = n - 19. Is z < 7?
False
Let p(j) = j**2 - 4*j - 8. Let c be p(6). Let n be (6/c)/1 + -1. Let u be ((-2)/(-6))/((-2)/6). Which is smaller: u or n?
u
Let q = -25 - -18. Let p = q + 12. Which is smaller: p or 0?
0
Let j = -4 + 8. Let z = 0 + j. Which is bigger: -0.2 or z?
z
Let a be -1*3 + 126/56. Which is greater: a or -1?
a
Let w be 28*(-1 - (-12)/8). Let l be (-63)/w - 1/2. Suppose 0 = -2*s - 5*g - 17, -3*