ose -5 = x - 4*u, 2*u = -3*x + 3*u - 4. Are 525 and x equal?
False
Suppose -75 = 2*m + m + 2*k, -5*m - 109 = -2*k. Suppose 2*t + 19 = -u - 26, -2*u + 6 = 0. Which is bigger: t or m?
m
Let t = -1.62 + -0.38. Is t bigger than -0.07?
False
Suppose -q = -18 + 4. Let s be (3/(-4))/(63/q). Suppose 0 = 5*t - 2 - 3. Is t >= s?
True
Let c = -1895/7 - -3032007/11200. Is 0 less than or equal to c?
True
Let g = 16 + -26. Let h be (0 - -2 - 6) + 24. Let o = h + -29. Which is greater: o or g?
o
Let o(s) be the second derivative of s**4/12 - s**3 + 5*s**2/2 - 21*s. Let w be o(9). Which is bigger: 31 or w?
w
Let o = 20 - 14. Let c = -212 - -218. Is o >= c?
True
Let q = -18/71 + 1156/639. Let f = q + -11/9. Suppose -2*o - 1 + 3 = 0. Which is greater: f or o?
o
Let n be (10/6)/((-4)/(-12)). Suppose -n*z + 2*z = 0. Let r be ((-12)/(-60))/(z + 1). Is r at least as big as 1?
False
Suppose 3*r + 3*f + 36 = 0, 3*f + 48 = -4*r + 5*f. Let u be (-1)/(-2) + ((-21)/r - 3). Are -3 and u unequal?
True
Suppose 0 = -6*u + 3*u. Let g = -3 + 18. Let t be ((-18)/30)/(3/g). Which is bigger: t or u?
u
Suppose 0 = 4*l - 2*l - 2. Let v be -2 + -3 + (l - -6). Which is smaller: -2 or v?
-2
Let i be (8 - 3)*9/(-95). Is i less than or equal to 1?
True
Suppose 3*q + 4*c = 108, 2*q - 4*c = q + 36. Let r be (-188)/q + 8/36. Which is greater: r or 0.2?
0.2
Let c be (1 - 7/4) + (-2250)/(-600). Let d = -2.95 - -3. Which is smaller: d or c?
d
Let t = -89.801 + -0.199. Let b = 157 + t. Is 1/2 bigger than b?
False
Suppose 2*d + 15 + 6 = m, 2*d - 13 = -m. Suppose -3*w + 24 = 3*i - 9, -m = -3*i + w. Let p be (-2)/3*153/(-18). Which is greater: i or p?
i
Let l = 35 + -26. Let b be 12/l*(-3)/10. Let m = 12 + -24. Which is greater: b or m?
b
Let t be (-6063)/5 - (-2)/(-5). Is -1213 bigger than t?
False
Let a be (-7)/7 - 34364/(-20062). Let x = a - -2/1433. Is x <= 1?
True
Let q = 233 - 495. Which is bigger: -263 or q?
q
Let x be 2493/(-33)*5/(-2). Let t = -189 + x. Let j = 17/286 + t. Which is greater: 0 or j?
0
Let x = -2/401 + 10432/1203. Let c(s) = 7*s**3 + 77*s**2 - 3*s - 25. Let q be c(-11). Are q and x non-equal?
True
Let j = -3.15 - -30.15. Which is bigger: -0.7 or j?
j
Let g be 2*(-3 + 33/6). Let j(p) = p**3 - 5*p**2 + p + 7. Let t be j(g). Suppose v + 10 = 3*x, -4*v + 3*x - t = 1. Which is smaller: -4/3 or v?
-4/3
Let l = 790 + -789.535. Which is smaller: l or 2?
l
Let i = -0.6 - -0.6. Let m = 0.0198 + -4.0198. Is i > m?
True
Let x = 1.619 + -37.239. Let n = -0.62 - x. Let h = n + -35.1. Is h at most as big as 0?
True
Let c(o) = -o**3 + 6*o**2 + 9*o - 10. Let v be c(7). Suppose -6*j + 2*j - 2*g = v, 3*j = -2*g - 4. Let q = -31 + 30. Are j and q nonequal?
True
Let n be (-1426)/(-4780) + 156/(-520). Which is smaller: -1 or n?
-1
Let u(r) = 27*r + 28. Let x be u(4). Let s = x + -186. Is s at most as big as -50?
True
Let h(w) = -w**2 - 17*w - 29. Let f be h(-15). Let u be (-1)/(-5) + 26952/140. Let y = -193 + u. Which is smaller: f or y?
y
Suppose 3*r - 234 = -4*i, 7*i = -r + 12*i + 59. Is 79 less than or equal to r?
False
Let w be 3/(3 + 9/2). Suppose 0 = -8*f + 3*f - 2*r + 17, -4*r = -4*f + 8. Suppose 2*m - 2*d + 0*d + 6 = 0, m - f = -d. Which is bigger: m or w?
w
Let q be 1/7 + (576/(-63) - 5). Which is greater: q or 0?
0
Suppose r - 1 = 3*y + 17, y = 3*r - 46. Let t be ((-9)/(-6) - 0)*110/r. Suppose -2*x + 3*c = 2*x - 33, 3*c = x + 3. Which is greater: x or t?
x
Let u = 1.84 + 0.36. Let w = 1.2 - u. Let i = 4.1 + -0.1. Which is smaller: i or w?
w
Suppose 5*z + 5 = -2*k, 3*k - 1 = z - k. Let y be 4*(-1 + 3) + 0. Let j be (2/18)/(y/(-12)). Is j greater than or equal to z?
True
Let c = 1602/5 - 100906/315. Is c != 1?
True
Let w(m) = m**3 + 4*m - 3*m - m - m - 9 - m**2. Let p be w(0). Is p equal to -6?
False
Let o(k) = -k**2 + 4*k + 4. Let a be o(5). Let b = -37228/33 - -1128. Is a greater than b?
False
Let l = 51 + -34. Let k = 17.3 - l. Which is bigger: k or -1?
k
Suppose 2*a + 641 + 831 = -4*k, -2213 = 3*a + k. Are a and -738 non-equal?
False
Let i be 16/4*-7*(-245)/(-20). Which is bigger: i or -342?
-342
Suppose 11 = i + 12. Which is bigger: i or 3/148?
3/148
Let d = 22 - 12. Let u(z) = z**3 - 10*z**2 + z + 2. Let g be u(d). Which is smaller: 45/4 or g?
45/4
Suppose -5*n - 484 = -169. Let b = -62 - n. Suppose -3*d = 3*v + 15, -v + 2*d = 4*v - 3. Is b at most as big as v?
False
Let s = -270/77 - -51/14. Suppose 45*x + 3*k - 10 = 47*x, 0 = 5*k - 20. Do s and x have the same value?
False
Let n = -798 + 766. Is n > -5?
False
Let a = -2 + 128. Let u be 4/26 + a/26. Suppose -3*b = u*z - 12, -5*z + 3*z = -4*b + 16. Which is bigger: 2/11 or z?
2/11
Let a(d) = d**3 + 2*d**2 + 1. Let t be a(-2). Let l = 14368/5 + -3009. Let x = -135 - l. Which is smaller: x or t?
x
Suppose -2*f - 9*i - 2 = -8*i, 5*f = 4*i - 18. Which is greater: f or -24?
f
Let m = 4.606 + -4.206. Let n(q) = -q**2 - 4*q + 3. Let l be n(-5). Which is greater: l or m?
m
Let m = 3 + -20. Let w = -169 - -257. Suppose -5*u + 12 = d + 4, -4*u = -4*d - w. Is d > m?
False
Let z be 50/20*(-24)/(-10). Suppose f = 3*t + 4, 3*f - 16 = 4*t - f. Which is smaller: t or z?
t
Let d(y) = 9*y**2 + 2*y - 60. Let c be d(11). Are c and 1051 equal?
True
Let x be (-1 - -2 - 1)*-1. Suppose x = 2*y + 4*y - 342. Is 56 < y?
True
Let p = -0.05 + -1.95. Suppose -7*l + 3*l = 3*j - 31, -l - 6 = -2*j. Is j <= p?
False
Let b be (-18)/135 + ((-19072)/60 - 1). Are b and -318 equal?
False
Suppose 3*p - 15 = 15*t - 12*t, -4*t - 25 = -5*p. Which is smaller: t or 0.097?
t
Let v be 30/(6*(-1)/(-3)). Let b be (v/9)/(-5)*-48. Let u be ((-1)/b)/((-11)/66). Which is smaller: 0.1 or u?
0.1
Let l(m) = 120*m**2 + 12*m + 10. Let a be l(-1). Is a not equal to 120?
True
Suppose -5*h = 3*u + 1, -4*u + 4*h + 9 = 21. Suppose 0 = -3*k + j - 5, -k - 12 = -5*j - 1. Let v be u + (-4)/(-2) + k. Is -2 less than or equal to v?
True
Let f(g) = g**3 - 18*g**2 - 13*g - 163. Let y be f(19). Which is smaller: y or -9?
y
Let l be (-10)/(-15) - 40/(-3). Let b be 30/42 - (-4)/l. Suppose -3*g = -6*g - 54. Which is smaller: b or g?
g
Let l be (-4)/(-5)*(-20)/22. Let j be (-1 - -15)*2/(-4). Let s be 2/9 - j/63*-11. Which is bigger: s or l?
l
Let q = -240 - -231. Are -11 and q equal?
False
Suppose -4*r + 14 = -2*f - 0*f, 0 = -2*f - 4*r + 10. Let y = 809/4 + -203. Which is greater: y or f?
y
Let j = -3350 + 3349. Let i(l) = 0*l**2 + 0*l - l - 2 + l**2. Let g be i(2). Which is smaller: g or j?
j
Let o = 0.96 + 0.24. Let s = 0.3 - o. Are 0.2 and s equal?
False
Let y = -322 - -304. Which is smaller: y or -50/3?
y
Let i = 216.56 + -319.56. Let s = -0.1 - 0. Which is bigger: s or i?
s
Let b = -31 + 21. Suppose 4*j - 3*j - 1 = 0. Let f = j + -10. Is b not equal to f?
True
Suppose 72 = -k + 70. Let r = -1 - -5. Let w be r/(-3 - -2) + 1. Is k != w?
True
Let z = -1718 - -42944/25. Which is greater: -1 or z?
z
Let n(d) = -d**2 + 5*d + 4. Suppose -o + 14 = 3*a, 0*o - 10 = -2*a - o. Let p be n(a). Suppose -72 = -5*u - 32. Are u and p equal?
True
Suppose -3*j + 0 = 5*f + 7, -2*f - 3 = j. Let c = 7 - -9. Suppose 3*u + 2*l = -c, -4*l + 2 - 12 = -5*u. Are f and u non-equal?
False
Let x(n) = -n**3 + 5*n**2 + 6*n + 3. Let c be x(6). Let d = -45 + 49. Is c less than or equal to d?
True
Suppose -3*j = 3 - 9. Let x be 3/(j/(32/3)). Suppose 0 = -2*o + x - 2. Is 6 at most as big as o?
True
Let y(p) = -p**3 + 10*p**2 - 15*p - 12. Let w be y(8). Let v be (125/35)/(18/(-21)). Which is smaller: w or v?
v
Let h = -45 + 57. Let w = h + -13. Let s = -4 - -7. Which is bigger: s or w?
s
Let r = -73/3580 + 2/537. Are r and 0 non-equal?
True
Let d(p) = 2*p**3 - 29*p**2 - 37*p + 17. Let y be d(16). Is 197 greater than or equal to y?
True
Let z be ((-2340)/35)/2 + 18/42. Is z less than -0.1?
True
Suppose s + 3 = 0, -5*d - s = s - 4. Suppose -5*b + l - d = -0*l, 0 = -2*l + 4. Let r = 1.8 + -2. Which is smaller: b or r?
r
Suppose -23*z + 11*z + 72 = 0. Suppose -3*s - z*s = 0. Let r be 8/(-30) - (-4)/6. Which is greater: s or r?
r
Suppose 4*v + 3*a = -13, -2*v + 16*a - 19*a + 1 = 0. Let j be ((-6)/2)/(6/(-4)). Let u = j + -9. Is u less than v?
False
Let l be (1/(-4)*13)/((-14)/(-392)). Let h be ((-2)/(-2))/(7/l). Are -13 and h unequal?
False
Let o be 260/402*3 + -2. Let p be (2/(-6))/((-28)/(-21) - 1). Which is smaller: p or o?
p
Let n be 