e
Let f be 2*2/(-1 + 7). Let n = -6.26 + 0.66. Let q = 6 + n. Are q and f non-equal?
True
Let h be (8/20)/(12/(-465))*-4. Which is greater: h or 0.1?
h
Let p = -2.91 - -3. Let n = 7.09 - p. Let i = n - 6.3. Which is bigger: -1 or i?
i
Let d = -0.9 + -0.1. Let w = d - -1. Let b = -15/2 + 79/10. Which is smaller: w or b?
w
Suppose 8*q + 52 + 68 = 0. Is -2 bigger than q?
True
Suppose 0 = -2*f + 9 + 31. Is 19 greater than f?
False
Let o = -7 - -6. Let n = o + 2. Is -2/7 > n?
False
Let h(j) = 2*j**2 - 1. Let w = 3 - 3. Suppose -5*m + 5*v - 3*v - 9 = 0, w = -3*m + v - 5. Let q be h(m). Is q != 1?
False
Let s be ((-12)/20)/((9 + -4)/(-75)). Does 28/3 = s?
False
Let t = 10 + -8. Suppose t*n = -0 + 8. Which is smaller: n or 3?
3
Suppose -5*c = 5*p + 22 - 7, 0 = 2*c + p + 6. Is -5 less than c?
True
Let i = 6.4 - 5. Let m = 0.6 + i. Let a = -0.1 + 0.1. Is m less than or equal to a?
False
Suppose -5 = -h - 18. Which is bigger: -11 or h?
-11
Let u = 0 + 3. Let y = 26 - 23. Suppose 5*g - 2*w = y*g - 8, -u*g - 4 = w. Do -2 and g have different values?
False
Let z be 3 - (48/3 - 1). Let c be (-1)/((z/21)/(-4)). Is -7 < c?
False
Suppose 0 = 6*c - 3*c + 9. Let r be 3*c/9*0. Is 10 < r?
False
Let l = -6 + -13. Let w = l - -20. Let t = -9 + 14. Is t <= w?
False
Let y(g) = -g**3 + 11*g**2 - 11*g + 15. Let a(l) = -l**3 + l**2 + 10. Let o be a(0). Let j be y(o). Which is smaller: j or 6?
j
Let w be (-6)/(-2) + -1 + 1. Suppose w*i + 10 = 5*i. Suppose 1 = -s - i. Is s at most -6?
True
Let s be 1 + 4/(2 + -6). Which is smaller: -4/9 or s?
-4/9
Let b be 6/3 + 2/2. Suppose -b*x + x + 4 = 0. Let t be x/((-15)/(-3)*-1). Which is bigger: 3 or t?
3
Let d(a) = a**2 - a + 8. Let t be d(0). Let y be 1*-2*1 + t. Suppose -4*s - 2 + y = 2*k, -s = 3*k - 11. Is 3 < k?
True
Let s(i) = 2*i + 9. Let j be s(-5). Which is smaller: j or -1/15?
j
Suppose 2*c - 10 = -5*j, 4*j - 2*c + 20 = 2*c. Which is greater: j or 2/5?
2/5
Let f(p) be the first derivative of -p**3/3 + p**2 - p + 1. Let l be f(2). Which is smaller: 0.1 or l?
l
Let q be (2/(-5))/((-21)/15). Let f be -1 + ((-68)/16 - -2) - -3. Which is greater: q or f?
q
Let g = 0 - -3. Let m be (3/(-2) + g)*-2. Are -3 and m unequal?
False
Let w = -0.58 + -1.42. Which is smaller: w or 0.2?
w
Let b be (-2 - 0)/(2 - 4). Is b at most 1?
True
Let j = -0.09 + -0.09. Which is smaller: 0 or j?
j
Let o = 31 + -32. Does -1/39 = o?
False
Let u = -60.1 + 44. Let g = -16 - u. Is -2/11 less than g?
True
Let a = 2 - -4. Let t = a + -8. Suppose -3*f + 14 = 5*k - 1, 5*k - 15 = 5*f. Do t and f have the same value?
False
Let l = 4.44 - 4.2. Let c = -2.96 - -3. Let k = c - l. Which is greater: k or -3?
k
Suppose 6 - 4 = -2*i. Let p(r) = -3*r. Let d be p(i). Let h be (-2 - 5/(-3))*d. Is h <= 1?
True
Let t be (-83)/((-1)/(-1)*2). Let v = t - -43. Which is smaller: 3 or v?
v
Suppose 4 = -4*q - 12. Let z = -10 - -5. Is z <= q?
True
Let c be ((-1)/3)/(1/3). Which is smaller: c or -3?
-3
Let h = 407 + -232. Let v be 166/4*114/27. Let t = v - h. Which is smaller: t or 1?
t
Let m = -13 + 13.1. Let i be ((-77)/(-6))/(18/52). Let l = -37 + i. Which is bigger: m or l?
m
Let m(i) = i**3 - 4*i**2 - 14*i + 15. Let q be m(6). Is 5 at least as big as q?
True
Let t = -85 + 77. Is t < -9?
False
Let b = 15 - 18. Which is smaller: b or -5?
-5
Let h = -4.1 - -4.2. Which is greater: h or 28?
28
Let s be (-1)/4 + (-65)/(-4). Let u(i) = -12*i**2 - i + 1. Let v be u(1). Let z be ((-3)/2)/(v/s). Is 2 < z?
False
Let d = 0.7 - 0.6. Let g = -29015 - -3046553/105. Let o = g - 4/21. Do o and d have the same value?
False
Let o = -7 + 5. Let s = 4.3 + 0.7. Let y = s - 6. Do y and o have the same value?
False
Let g = 14.07 - 14. Let s = -0.37 + g. Which is greater: s or -2/9?
-2/9
Let x = -17/55 + 2423/8195. Is 0 greater than x?
True
Let t = -387/7 + 55. Let b be 6/(-5)*45/(-6). Let q be (75/b)/(-5) - -2. Is q bigger than t?
True
Suppose 0 = -w + 5*w. Let x be w - (-5)/((-60)/(-32)). Let u = -2 + 4. Which is greater: x or u?
x
Let c(g) = g**3 - 11*g**2 + g - 8. Let j be c(11). Suppose j*v - 26 = 4*v + 5*y, 3*y = -15. Which is smaller: -3 or v?
-3
Let u be (-875)/28 + 4/2. Let m = -44 - -73. Let r = u + m. Is -1 > r?
False
Let u = -2/163 + -316/815. Suppose -2*j + 6*j = -5*i + 16, 2*j - 2 = -i. Suppose r - p = -4*r, -p + i = -r. Is r <= u?
False
Let w = -3 + 3.4. Let k be 168/(-144)*6/(-14). Do k and w have the same value?
False
Let t(m) = -m**3 - m. Let s be t(0). Which is bigger: 7/6 or s?
7/6
Let l(p) = p**3 - 10*p**2 + 8*p + 11. Let d be l(9). Is -5 at most as big as d?
True
Let d = -16.35 + 16. Let n = d + 0.15. Which is smaller: n or 0.4?
n
Let k(h) = 2*h + 2. Let v be k(6). Let m be ((-4)/v)/(9/(-21)). Suppose 2*q - 3 = -j - 1, -2 = -2*q - 4*j. Do q and m have different values?
True
Let j = 2 + -3. Let q = 0.4 + -0.4. Which is greater: q or j?
q
Let c(d) = -d**2 - 6*d + 10. Let n be c(-6). Which is bigger: 46/5 or n?
n
Let u be 17331/(-135) + 8/(-36). Let p = u + 129. Which is smaller: 2/11 or p?
2/11
Let b = 52 - 60.4. Let p = 2.6 - b. Let c = 7 - p. Do 0.1 and c have different values?
True
Let b(t) = 3*t**3 - t. Let z be b(1). Let p be 4/6 + 0/z. Let y be (-24)/(-108) - -1*(-4)/(-63). Which is smaller: y or p?
y
Let w = -14.5 + 14. Which is smaller: w or 0?
w
Suppose -27 - 15 = 3*h. Let f be (-15)/(-21) - 4/h. Let p = 88/3 + -28. Which is greater: p or f?
p
Let a = -51/56 - -5/8. Which is smaller: -6/11 or a?
-6/11
Let d(g) = 2*g**2 + 3*g. Let h be d(-2). Suppose 3*z = 5*q - 14, 2*q + 3*z + 6 = -1. Is q != h?
True
Let k = 70 - 69. Which is smaller: 1/19 or k?
1/19
Let v be 1 - (1/(-2))/1. Let a = -22 + 25. Is a greater than v?
True
Let z = 3 + -4. Let a be -1 + 1 + 10/(-35). Is a equal to z?
False
Suppose -6*u - 74 - 64 = 0. Is u equal to -23?
True
Let g = 2 + 18. Suppose 0 = 5*l - g. Let x be 3/16*l/6. Is 1 <= x?
False
Let g be (-15)/5 - (-91)/30. Which is smaller: g or 1?
g
Let t(d) = -d - 9. Let w be (-99)/12 + 2/8. Let n be t(w). Is -1 at most as big as n?
True
Let s be 14*(0 + 3/6). Let v = -3 + s. Let n be -4*-1*6/8. Is v less than n?
False
Let f = -7/26 + 1811/5278. Let y = f + 2/29. Is y not equal to -1?
True
Let j = -26 - -36. Suppose -2*p = 4*c + 4 - 2, 2*p = -j. Suppose 3*d + 14 = -5*u, c*d + 14 = 5*u + 38. Is 3 not equal to d?
True
Let i = 805 + -809. Let x be 8/(-6)*18/4. Which is bigger: x or i?
i
Let l be 275/(-2190) - (-1)/6. Is l <= 1?
True
Let x = 20 - 13. Suppose 0*z = -5*z + 35. Is z < x?
False
Let n = 12.9 - 13. Which is bigger: n or -1.1?
n
Let n = -3.186 - -0.186. Is n <= 37?
True
Suppose 4*n + f = -5, 3*n + 5*f + 13 = 5. Let z be 2 + (2*n - 1). Suppose -3*x - 12 = 3*p - 0, p - 5*x = 26. Is z at most p?
True
Let y = -115/639 + -3/71. Suppose -4*v - 4*a = -2*v + 18, -4*v + 29 = -5*a. Which is smaller: v or y?
y
Let l(q) = q + 36. Let u be l(-21). Is 15 greater than u?
False
Let r = 32 + -10. Let j = 21.7 - r. Is 2/3 at least as big as j?
True
Let r = -577/110 - -26/5. Is r greater than 1?
False
Let o = -1 - -4/5. Which is bigger: 0.3 or o?
0.3
Suppose 5*p + 5*i = 13 - 3, -2*i - 8 = 0. Let z be (-4)/(-10)*9/p. Suppose -4 = 4*y - 8*y. Which is smaller: y or z?
z
Let h(a) = -a - 1. Let g(r) = 1. Let v(i) = 4*g(i) + h(i). Let l be v(3). Suppose -4*f - 2 - 2 = l. Which is bigger: 1/6 or f?
1/6
Let p be -4*((-7)/2 - -3). Let q = -2 + p. Is q less than 2/3?
True
Let x(n) = 0*n**2 - 3*n - 2*n**2 + 2*n. Let t be x(1). Let y be (t - -1) + 0 + 0. Which is greater: -1/3 or y?
-1/3
Let p be (-32 + 2)*1/(-2). Is p bigger than 15?
False
Suppose -3*g - 6 = 0, -3*m + 0*m - 23 = -2*g. Let f = 6 + m. Is f > -2?
False
Let p be (-16)/(-12)*3/6. Let n be (2 - 2)*2/(-4). Which is smaller: n or p?
n
Suppose 4*n = 3*n - 7. Is -6 at most n?
False
Let o = -13 - -11. Let j(m) = -m**2 - m + 1. Let p be j(o). Which is bigger: 1/3 or p?
1/3
Suppose 0 = -3*y + 6 - 18. Let m be (2 - (y + 2))/1. Let t be ((-12)/(-2))/(0 - -2). Is m bigger than t?
True
Let k = 91 - 457/5. Let n = 0.3 + -0.2. Which is bigger: k or n?
n
Suppose 3*v - 5*j = 22, 15 = -v - 4*j - 6. Which is smaller: v or -6/29?
v
Let z = -69 + 1728/25. Is 1 at least as big as z?
True
Let c be (-15)/13 + (-8)/(-52). Let z be 4/(-9) - 2/(-6). Which is smaller: c or z?
c
Let i = 39 - 5. Is 33 >= i?
False
Let k(d) = -d**2 + 10*d + 6. Le