<= y?
False
Suppose 173*u = 164*u - 99. Are 0.9 and u non-equal?
True
Let v(r) = 6*r + 47. Let b be v(-6). Let n = 3 + b. Is 14 at most as big as n?
True
Suppose -2*m - 3 = m + 5*r, 0 = 2*m - 2*r - 14. Suppose -f + m*f = 12. Let j(i) = -4*i**3 - i**2 - i. Let d be j(-1). Is d bigger than f?
False
Suppose 5*h + 258 = v, -5*h - 4*v - 270 = v. Which is bigger: -203/4 or h?
-203/4
Let f be (-136)/66 + (-4)/(-2). Suppose -k = -4*k - 6. Let h = -1 - k. Is h != f?
True
Let h be 13/5 - 4/(-10). Suppose 3*q + 3 = 3*b - h, -5*b + 15 = 0. Let f be (-1 - 150/(-153))*(-6)/(-3). Is f >= q?
False
Let p be 3*(-13)/21 - -1. Is p at least -0.4?
False
Let d(g) = -g**2 + 6*g + 1. Let z = 0 + 6. Let c be d(z). Is -3 < c?
True
Let l = -223/3094 - -4/119. Suppose 3*w - 14 = -4*u - 2*w, u - w + 1 = 0. Is l >= u?
False
Suppose s + f = 2*s + 16, 3*f = -2*s - 17. Let t(q) = -5*q - 43. Let j be t(s). Which is smaller: 0.1 or j?
0.1
Let g(d) = d**3 - d**2 - d + 1. Let q(k) = 6*k**3 + 2*k**2 - k + 3. Let f(i) = -5*g(i) + q(i). Let z be f(-6). Do 10 and z have different values?
False
Suppose 29*z - 26*z - 87 = 0. Let a be (1*-87)/(-3) + 0. Let d = a - z. Is d equal to 6/7?
False
Let d = 58 - 56. Suppose d*r + 8 = 3*r. Is r at most as big as 7?
False
Let i(t) = t**2 + 14*t + 48. Let a = -8 + 0. Let o be i(a). Let s = 11 - 10.2. Is s bigger than o?
True
Let f = -1.02 + -138.98. Which is bigger: -3/4 or f?
-3/4
Let z = -0.2421 + -0.0879. Do -3 and z have the same value?
False
Suppose 2*u + 4 = -3*r - 3, 6 = r - u. Let x = r - -5. Let f = -2/265 + 4246/795. Which is greater: f or x?
x
Let z be (-22527)/25*(-1)/(-57255). Let c = 1/3817 - z. Which is smaller: c or 1?
c
Let k = -24 - -65. Let m = k - 40. Are 2 and m equal?
False
Suppose 11*d - i - 3662 = 14*d, 0 = 4*i + 20. Which is smaller: d or -1220?
-1220
Let t = 94 - 50. Suppose -4 + 0 = 2*n + 4*z, 0 = 3*n - 4*z - t. Suppose 5*h - 4*v - 18 = n, 5*v + 20 = 0. Which is smaller: 4 or h?
h
Let f be (-1)/4 + 90/8. Let m be ((-112)/70)/((-2)/(-65)). Let y be 24/18 - m/6. Does y = f?
False
Let w(i) be the second derivative of -i**4/6 + 23*i**3/3 + 25*i**2/2 - 6*i + 1. Let u be w(24). Is u greater than 0.1?
False
Let s(m) = m**2 + 18*m + 15. Let h be s(-19). Is 35 >= h?
True
Suppose 3*k - 617 + 605 = 0. Which is bigger: -5 or k?
k
Let v = 761 + -762. Which is greater: 4/405 or v?
4/405
Let p = 430.9 + -426. Is 3 < p?
True
Let f be ((-14)/(-49) + (-124)/42)*51. Do f and -1 have the same value?
False
Let f be 6/(-15) + 70/50. Which is smaller: f or -99?
-99
Let d = -84 + 83. Which is smaller: 1/2 or d?
d
Suppose -6*t - 13*t = 0. Which is bigger: t or -3/595?
t
Suppose 2*n - 3*n = -5. Let u(w) = w**2 - 6*w + 2. Let d be u(n). Let f be d/6 + 0/(-2). Which is smaller: -1 or f?
-1
Let d be (8*(-1)/(-7))/(54/(-315)). Let w = -38 - -30. Which is smaller: d or w?
w
Let l = 5.05 - 0.05. Let y = 885 + -863. Let j = y - l. Which is smaller: j or 0?
0
Let b be 22/(-4)*(-33 + 221/17). Is 2 greater than or equal to b?
False
Let z(k) = k**3 - 7*k**2 + 5*k + 4. Let i = 7 + -21. Let w = -8 - i. Let a be z(w). Which is greater: -1 or a?
-1
Let w = -50 + 54. Let h = -0.14 - -7.94. Let k = -8 + h. Which is smaller: w or k?
k
Let a be 2*(11/2 + 378/(-63)). Is 3/340 != a?
True
Let g be 5*(-1)/2 + 1. Let p be (-320)/(-70)*(-7)/3. Let k = p - -11. Which is bigger: g or k?
k
Let o(x) = x**3 - 8*x**2 + 2*x - 9. Let f be o(8). Let n = f - 7. Suppose -j - 3 = 0, 2*t = -n*t - 4*j - 32. Which is greater: -8 or t?
-8
Let b = 25 - 21. Suppose -4*z + 3 = -3*y - z, -8 = -b*z. Which is bigger: y or -2/11?
y
Let t = 0.13 - -1.87. Let a = 221 - 232.9. Let k = a + -0.1. Which is smaller: t or k?
k
Suppose -k - 3*r + 11 - 1 = 0, -3*k - 26 = -5*r. Let b be ((-1)/(-4))/(k/222). Let w = 28 + b. Which is bigger: w or 1?
1
Let g = 0.19 + -0.272. Let q = g + -24.918. Which is greater: -0.1 or q?
-0.1
Suppose 4*c = -4*f + 8, -2*f + c = -3*c - 4. Let i(r) = 34*r**2 + 15*r + 10. Let t be i(-1). Suppose f*p - 11 + t = 0. Which is greater: p or -10?
p
Let w = 0.317 - 0.317. Let r = 0 + 2. Let g = r + 4. Is w != g?
True
Let c = -0.9 + -7.1. Suppose 2*f + 11 = -3*n + 5, -5*n - 10 = -3*f. Which is greater: f or c?
f
Suppose -3*y = -4*r + r - 48, -3*y = 4*r - 34. Let z be 44/2*3/2. Let k = y - z. Which is smaller: k or -20?
-20
Let t = 44257/168 - -11/168. Which is smaller: t or 264?
t
Let g = -123 - -13. Let h = g - -112. Is h smaller than 18?
True
Let b be ((-1644)/54)/(2/(-3)). Let g = b + -45. Let r = 0.02 - 0.82. Which is bigger: r or g?
g
Let i be ((-1413)/9)/(1/2). Is i greater than or equal to -314?
True
Let h = -716 - -713.3. Which is smaller: -0.29 or h?
h
Let c = 16 + -15. Let k = -24 + c. Let y = -22 - k. Is y >= 1?
True
Let l be 4/(-3)*(0 - 3). Suppose 4*s + 1 = 3*p, 0 = 2*s + 6 - l. Let a = -358/1365 + 8/39. Which is greater: p or a?
a
Let d = -29 - -35. Let o(u) = -1 + 2*u**3 - u + d*u**2 + 5*u - 2*u**2. Let s be o(-2). Which is bigger: -8 or s?
-8
Let i(y) = -2*y + 9. Let s be i(-4). Suppose -s*p + 14*p + 9 = 0. Is p <= 5?
True
Let y be -1 + 1 + 26/91. Which is smaller: -2.9 or y?
-2.9
Let j = 198 - 195. Which is greater: j or 32/21?
j
Let y = 1205 + -1205. Suppose 0 = 3*o - 4*o + 7. Let z be 5/o*21/18. Is y <= z?
True
Let x be (-120)/(-50) + -2 + 204/45. Which is greater: x or 6?
6
Suppose -2*b + b + 3 = 0. Let f be 50/12 - b/18. Suppose 3*r = -8 - f. Which is smaller: -6 or r?
-6
Suppose -2*x + 2*p + 666 = 0, -p = -3*x - 6*p + 1007. Let f = x - 1327/4. Does -1 = f?
False
Let a be (-5)/10*0/(-2). Let b = 14 + -17. Let y be b/6 - (-5)/10. Are a and y unequal?
False
Let w(h) = h**2 + 5*h - 12. Let y be w(-7). Let m be y/4*(-2 - 0). Let p be -14 - (-6 - 3/m). Are -9 and p equal?
False
Let j = -0.18 + 8.18. Let a be 1*2*((-30)/(-55))/(-6). Is j bigger than a?
True
Let u(i) = i**3 - 4*i**2 - 6*i + 8. Let b be u(5). Suppose t + 3 = -b*d, -t + 4*d + 2 = 2*d. Let x = 1 - t. Which is greater: x or -0.1?
x
Suppose -2*i = -19 + 1. Suppose i*w - 14*w = 15. Let r = 0 - 5. Is r < w?
True
Let x(g) = -g**3 + 7*g**2 + 2. Let w be x(7). Let i = -1 + w. Suppose -6*p = 2*k - p + 20, -3*k + 3*p = -12. Is k at most as big as i?
True
Let x = 5/191 + 1031/4393. Let u = -13 - -14. Which is smaller: x or u?
x
Let s = 13137/35 - 375. Let o = s - 1/5. Are 0 and o non-equal?
True
Suppose r = -t - 8, 0*t = -3*t - 4*r - 20. Let b be t/(-10)*70/21. Suppose 3*f + 8 + b = 0. Is -5 < f?
True
Let b = -39 - -22. Let c = 50 - 31. Let z = c + b. Is 2 > z?
False
Suppose -3*n - p + 368 = 0, -3*n = -0*n - 3*p - 384. Which is bigger: 122 or n?
n
Let x = -0.02 - -0.42. Let b(v) = v**3 + 10*v**2 + 7*v - 18. Suppose -r = -5*d + 29, 5*d = 5*r + 48 + 17. Let c be b(r). Does x = c?
False
Let f = 1.8 - 4.4. Let n = f - -3.6. Which is smaller: n or -12/5?
-12/5
Let g = 264972/77 + -3441. Let v = g + -1/77. Which is smaller: 2/7 or v?
v
Let h be ((-8)/(-472))/(2/(-103954)). Let r = -881 - h. Let g = r - 527/118. Which is smaller: -4 or g?
g
Suppose -4*p = -8, c = -c + 5*p + 2. Suppose 0 = 2*y - 0*l - 5*l + 7, 0 = 3*y + l - 15. Suppose a + 3*o = 20, 4*a - y*o = o - 5. Which is smaller: a or c?
a
Let g = -31.1 + 31. Let p = -46 + 46.003. Which is smaller: p or g?
g
Let y be 483/318 + 27/(-18). Which is bigger: -1 or y?
y
Let b = 5/28 + -3/7. Let i be 1/(-6)*3*6. Let w = i - -14. Is b greater than w?
False
Let s = 2 - -19. Let d = 21.1 - s. Which is greater: d or -1/6?
d
Let x = 63.41 + 5.59. Which is smaller: x or 1?
1
Suppose 7 = -4*o + 5*o + 2*g, g = 4*o - 1. Which is greater: o or 1/31?
o
Let j = 36.76 - 37.06. Let k = -20 + 18.2. Which is smaller: j or k?
k
Suppose 5*a - 10 - 5 = -5*p, -a + 3*p - 1 = 0. Suppose a*y + 45 = -y. Suppose -46*m = -36*m + 160. Which is smaller: y or m?
m
Let o(i) = 2*i**3 + 7*i**2 + 3. Let r be o(-3). Let j be (-15)/(-110)*6602/r. Let x = j - 75. Is x < 1?
True
Let w = -18 - -18. Suppose q + a - 6 = -w*q, -5*a + 6 = q. Let f be (-99)/q*1/(-3). Which is bigger: 6 or f?
6
Let u be (-600)/(-900) - -196*(-26)/3. Which is smaller: u or -1697?
u
Let m be 90/((-1351)/231 - (-4)/22). Which is smaller: m or -17?
-17
Suppose 3*a - 261*d - 88 = -262*d, -5*a + 5*d = -140. Which is greater: 27 or a?
a
Let y = -38 - -37. Which is bigger: 1.93 or y?
1.93
Let r = -50 + 53. Suppose 2*b - 4*g = -8, -4*b -