et t be 10/(-4)*(-4)/(-5). Let b be (0 + t)*(-70)/(-20). Let w = -7 - b. Is 2/13 less than w?
False
Let u = -2907/14 + 2815/7. Let l = u - 1969/10. Suppose 6 = 34*x - 36*x. Is x at least as big as l?
False
Let s = 31 + -31.02. Which is smaller: s or 11?
s
Let t(i) = 2*i**3 - 2*i + 1. Let r be t(1). Let z be (1 + r/((-3)/(-24)))/13. Which is smaller: 1 or z?
z
Suppose 5*t = -5*m - 25, -4*t + 3*m = -2*m + 11. Let j = -7307 + 14913/2. Let r = j - 154. Which is bigger: r or t?
t
Let m = 143 + -1574/11. Let o(a) = -a**3 - 6*a**2 - 1. Suppose -9*t = -11*t - 12. Let i be o(t). Which is greater: i or m?
m
Let x = 1.28 + -1. Let k = -11.28 + x. Let w = -14 - k. Is 1 at most as big as w?
False
Suppose 3*y - 68 - 29 = -d, 4*y + 12 = 0. Are d and 106 equal?
True
Let q be ((-1)/(-5))/((-4)/10). Let s = -5.655 - 0.045. Let t = s + -0.3. Which is smaller: t or q?
t
Let c be 7/((-49)/(-5607))*(-2)/(-6). Suppose -2*w - 10 = -5*m + 4*m, 16 = m + 4*w. Let i be (-2)/m - c/18. Is -16 < i?
True
Let z = -52 - -37. Suppose 4*m - m + 45 = 0. Do m and z have different values?
False
Let j(s) = 2*s - 3. Let d be j(4). Let l(x) = 0*x + 2*x - d + x. Let p be l(4). Which is bigger: 6 or p?
p
Suppose 14*i + 18 = 20*i. Suppose -3*d - i*h + 3 = 6, -5*d - 3*h = 3. Which is smaller: d or 2/87?
d
Suppose 0 = -n + 2*n - 24. Let y be ((-4)/(-8))/((-4)/(-48)). Suppose n = 3*i + y. Is 6 smaller than i?
False
Let k = 110.43 + 1.57. Let t = -113 + k. Is -15 <= t?
True
Let t(w) = -2*w. Let l(v) = -5*v + 1. Let r(u) = -4*l(u) + 11*t(u). Let f be r(-8). Suppose -4*n + f = -0*n. Is n equal to 3?
True
Suppose 4*p - 3*p - 7 = 0. Let v(a) = 2*a - 4. Let k be v(p). Suppose -5*q + k = -25. Which is greater: q or 2/7?
q
Let d be (-1)/1*(0 - -9). Let t = 14 + d. Let p(m) = m**3 - 12*m**2 + 13*m - 16. Let w be p(11). Which is smaller: w or t?
t
Let n(r) = r**3 - 9*r**2 - 10*r + 16. Let l be n(11). Let k be l/48 - 1*3. Is k at most 0.2?
True
Suppose 0 = 12*q + 14 - 2. Do q and -10/47 have different values?
True
Let s be (33/(-297))/(2/(-18)*-2). Let b = -4 + 7. Which is greater: s or b?
b
Suppose 0 = 4*x - 3 - 9. Let h be 7/(147/(-72)) + x. Let i(z) = -z**3 - z**2 + 4*z + 3. Let f be i(-2). Is f less than or equal to h?
True
Let p = -1 + 6. Suppose 0 = -2*q - 5*h - 2, -p*q = -2*q + 4*h - 4. Let w = 4 - q. Does w = -1/3?
False
Let c = -17.4 + -1.6. Let j = -40 + 34. Let y be 2/(-3)*(j - -5). Which is smaller: y or c?
c
Suppose -10 = 2*z, -2*r - 5*z - 89 = 2*r. Let m be ((-58)/r + -4)/(-21). Is m bigger than -1?
True
Let g(j) be the second derivative of j**5/20 + j**4/4 + j**3/6 - j**2/2 - 19*j. Let f be g(-2). Which is smaller: f or 2?
f
Let g(f) = 3*f**3 + 2*f**2 - 4*f - 5. Let s be g(2). Is 26 greater than s?
True
Let u = -27 + 30. Let p be ((-8)/u)/(26/6). Are 0 and p unequal?
True
Let h be (-4894)/(-48)*6/6. Let w = h + -102. Are 0 and w equal?
False
Suppose 3*n - 3 - 81 = 0. Suppose 197 - 710 = -19*l. Does l = n?
False
Suppose -18 - 8 = -5*t + 3*u, -t - u + 2 = 0. Suppose 0*j + t*j = 16. Let s be 2*(3 + (-6)/j). Is s != 3?
False
Suppose 0 = 2*s - 28 + 22. Let x be (-4 - -4) + 5 + -1. Let y be s - x/((-184)/(-142)). Which is bigger: y or -1?
y
Suppose -4*w - 2 = 2*t - 0*w, -4*t = 4*w. Is 21/26 at least t?
False
Let d be (45/12)/((-40)/(-192)). Are d and 1 equal?
False
Let v(n) = -n - 1. Let d be v(4). Let w = 10 + d. Let o = -19 - -23. Which is greater: o or w?
w
Suppose 4*i - 4*c - 84 = 0, -4*i - 3 = -5*c - 82. Which is smaller: i or 29?
i
Let b(u) = -11*u - 74. Let q be b(-7). Suppose -q*z - 5*m = 2 + 44, 2*m - 8 = 0. Which is smaller: -25 or z?
-25
Let k be 745 + -735 - (1*7/(-1) - 1). Let i(y) be the third derivative of 5*y**4/12 - y**3/6 - y**2. Let t be i(2). Which is greater: t or k?
t
Suppose -3 = 6*l - 3*l. Let j = -1/336 - -1/48. Which is bigger: l or j?
j
Suppose 1116 = -27*k + 15*k. Which is smaller: -563/6 or k?
-563/6
Let b(i) = i**3 + 17*i**2 - 49*i + 23. Let w be b(-20). Is -3 smaller than w?
False
Let f = 317 + -318. Is f at most as big as -89?
False
Suppose 3*m + 8*f + 32 = 4*f, -f = 5*m + 25. Are m and -13/3 unequal?
True
Let h(b) = 4*b**2 + 3*b + 3. Let i be h(2). Let f = i + -30. Is -17/4 not equal to f?
True
Suppose 0 = -48*v + 32*v - 112. Suppose 0 = -2*p - 5*x, -3 - 3 = -3*x. Is v not equal to p?
True
Let z = -8/525 + 4877/9975. Which is smaller: z or 1?
z
Let i be ((-16)/(-24) - (-13)/(-15))*2. Is 95 greater than i?
True
Suppose -6*g = -17*g + 242. Suppose -59*h = -57*h - g. Let m(a) = -a**2 + 7*a + 1. Let v be m(5). Do h and v have the same value?
True
Suppose -4*p - 8*p - 216 = 0. Let t = p - -13. Let b = 0.2 - -0.1. Which is greater: b or t?
b
Let d be 1/(-24)*(-20 + 19). Let j = -1/6 + d. Are 0.2 and j equal?
False
Let f = -161683/3501 + 114/389. Let z = f + 46. Are z and 1 unequal?
True
Let y = -4 - -8. Suppose 2*d - 5*p + 3 = 6, 3*p - 7 = -d. Suppose d*a + a = 25. Which is smaller: y or a?
y
Let f(h) = -19*h + 19. Let d be f(7). Let a be (10/24 + (-12)/16)*d. Is 38 less than or equal to a?
True
Let c = -8 + 8. Suppose c = -6*i + 3*i + 174. Let j be i/18 - (4 - 1). Which is smaller: -3 or j?
-3
Let w = -12.9 - -13. Let a be 4/(-40)*1 + 3/15. Is a at most w?
True
Let u(f) = 19*f + 528. Let m be u(-48). Is m < -385?
False
Let n be (-3)/(-9) + ((-80)/(-12) - 4). Let m be (0 - 0)/(-1 - -3). Suppose -n*y - y = m. Which is greater: y or -1/11?
y
Suppose 9*w + 60 = 2*l + 7*w, -2*l + 45 = 3*w. Is l <= 9?
False
Let r be 16/(-36) - 11547/81. Let b = -130 - r. Does b = 0.1?
False
Suppose -3*q + 2 = -q. Let b be (q/(-1) + 0)/(-7). Are 1 and b non-equal?
True
Let o be (-9)/27 - 5/((-8130)/518). Are -1 and o unequal?
True
Let a be (-7)/28*(3 - 7). Are a and -4/51 non-equal?
True
Suppose 15 = x + 4*x. Let b(v) = v**2 - x*v**2 + 4*v**2 - 1 + 0*v**2. Let d be b(1). Is d equal to 12/11?
False
Let j = 4646527/99 + -46935. Is j smaller than -1?
False
Let i(b) = -3*b - 141. Let k be i(-27). Which is bigger: -62 or k?
k
Suppose 22*i + 6*i = 0. Which is smaller: -9/52 or i?
-9/52
Let d = -40.8 + 40.6. Which is smaller: 195 or d?
d
Suppose 2*l = l - d + 2, -5*l + 40 = -5*d. Suppose 0 = -6*x + x + 25, x + l = 2*r. Suppose j = -0*j + 2*k + r, -k - 7 = -5*j. Are 1 and j equal?
True
Let r = -7.2 + 62.2. Which is greater: -1 or r?
r
Suppose 0*i + 36 = 4*i. Let r = i - 6. Suppose -r*y + 4*d + 2 = 3*d, 3*y - 4*d = 17. Which is smaller: -3/4 or y?
y
Let k = 23 + -42. Is 2/5 <= k?
False
Suppose -18 = -4*k - 5*k. Is 49 > k?
True
Suppose -2*d = 3*j - 2*j - 5, 0 = -2*d + 3*j + 17. Suppose 3*r = -2 - d. Let l = 7 + r. Is 3 smaller than l?
True
Let p be (-2 + 3)*4/(-18). Suppose 0 = -x - 2*x - 54. Let n be -3*4*(-3)/x. Which is smaller: p or n?
n
Let p be (-9)/6*(-25 + 1). Let d be (-4 - (-4 + p)) + -3. Let a = d - -119/3. Which is smaller: a or -0.07?
-0.07
Suppose -2*h = h + 6, 2*j - 26 = 4*h. Is 1 bigger than j?
False
Let h = 946 - 949. Is h at most -19/12?
True
Let f = 7 + -6.97. Let u = f - 0.07. Which is smaller: 1/4 or u?
u
Let f = -3 + 2.1. Let t = -0.0701 - 0.9299. Is t less than f?
True
Let p = 5 - 3. Let u = 0.49 + -0.473. Let t = u + 1.983. Is t equal to p?
True
Let r = -59 - -85. Suppose -30 - r = -a. Suppose 0 = 5*j - j - a. Does 13 = j?
False
Let x = -0.8 + -0.3. Let g = x + 3.1. Which is bigger: -2.1 or g?
g
Suppose -2*f - i + 34 = 0, -3*f + 2*f + 23 = 2*i. Let u be (18/(-45))/(1/f). Is -7 at least u?
False
Let j = 3 - 27. Let t = 32 + j. Let y = t + -7.98. Which is smaller: -2 or y?
-2
Let d(w) = w**3 - w**2 - 11*w - 2. Let x be d(5). Let q = 5 + -3. Suppose -k - k = -r + 18, 5*k - q*r = -x. Which is smaller: k or -6?
k
Let z(j) = -4*j**2 + 8*j + 3. Let k be z(0). Let u = 8 + -7. Are u and k unequal?
True
Let a = 0.722 + 0.078. Let o = a + -0.9. Which is greater: o or -19?
o
Suppose 58 = 6*u - 14. Suppose 16 = 4*r + u. Which is bigger: 14 or r?
14
Suppose -28*a + 37 = -65*a. Let c = 122/3 + -42. Which is smaller: a or c?
c
Suppose -6*d + 373 = 55. Is 56 <= d?
False
Let s = -106 + 1053/10. Is s at most as big as -4?
False
Suppose -f + 3*f = -14. Let t(n) = -2*n - 6. Let i be t(f). Suppose 2*l = -2*o + 10, l + 0*o + 3 = -5*o. Is l greater than i?
False
Let r be (1715/21)/(3/(-9)) - -5. Is -241 < r?
True
Let l be (-22)/(-12) + -3 + 0. Is l < 0?
True
Let o be (-4 - -5)*1 - 63/(-3). Sup