((-20)/(-25)). Is m equal to 3/2?
False
Let h(z) = -5*z**3 - z**2 + 2*z - 1. Let s be h(1). Let m = s + 6. Let f = m + -2. Is f at most -1?
True
Let i(y) = 39*y + 250. Let u be i(-7). Is u greater than or equal to -4/17?
False
Suppose 2*w - 3*d + 8 = -2*w, -2*w - 4*d = 26. Let p = w - -1. Let b be (-22)/18 - p/18. Does b = -3/8?
False
Let t = 82.3 + -83.3. Is 4/49 less than or equal to t?
False
Let m = 25 - 26. Let f be m/(-4) - 5/((-420)/111). Which is smaller: f or 2?
f
Let r be (-1)/4 + (-9)/8. Let m = 47/40 + r. Let h be 8/(-60) - (-26)/195. Which is smaller: h or m?
m
Let d = -0.033 + 27.033. Let b = d + -26.1. Are -3/7 and b equal?
False
Let c(a) = -8*a - 3. Let f(r) = r + 8. Let t be f(-10). Let l be c(t). Let z = 10 - l. Is -3 > z?
False
Let g = 47/28 + -3/7. Let j(r) = r. Let i be j(6). Let q = -6 + i. Which is greater: q or g?
g
Let p = 69.5 + 1.5. Let z = p + -52. Is -0.2 != z?
True
Let x = -13 - -14. Let r = x - 0.9. Is r != 1/5?
True
Let u = 58 - 78. Let v be -1 - u/16 - 15/12. Which is smaller: v or -10?
-10
Let a = -561 + 567. Let h be 66/4*2/6. Which is greater: a or h?
a
Let x = -0.25 + -0.18. Let c = -0.4 - x. Let d = 2 - 1.9. Are c and d equal?
False
Let b be (-952)/(-340)*(-181)/3*1. Let u = -169 - b. Which is smaller: u or -1?
-1
Suppose 0 = -u - 4*p + 5*p + 30, -5*u - 5*p = -160. Are -5 and u unequal?
True
Let m = -9.6 + 54.6. Let a = m - 43. Let d be 1 + (-32)/14 + 1. Is d <= a?
True
Suppose -d + 18 = d. Suppose -q - 2*j + 6 = 0, -3*q + 0*j + d = 3*j. Suppose q = -5*h - 37 + 57. Which is smaller: h or 24/5?
h
Let c = -72 - -72. Which is smaller: c or 16/17?
c
Let w = -291 - -2919/10. Which is greater: w or 2?
2
Let z = 1263373/9 + -140153. Suppose j = 2*j - 222. Let i = z - j. Is i >= 1?
False
Let u = 6456 - 6446. Suppose 4*j - 20 = 0, 5*v + 2*j - 6*j - 40 = 0. Do u and v have the same value?
False
Let x = 20 + -18. Suppose -y - 36 = x*y. Let k be (1/(-10))/(y/(-576)). Do k and -4 have the same value?
False
Let m be (-20)/15*(-258)/8. Which is greater: m or 41?
m
Suppose -242 = -9*w - 2*w. Let a = w - 19. Is a < -11?
False
Let s = -367 + 239. Let i = s + 131. Which is bigger: 18 or i?
18
Let y = 173 - 177. Is y greater than -2/9?
False
Suppose -3*f + 4*c - 4 = 0, f + 4*c = c - 23. Let o(b) be the first derivative of -b**4/4 - 4*b**3/3 + 3*b**2/2 + 4*b + 1. Let r be o(-4). Is f >= r?
True
Let d = 31.6 - 25. Let m = d + 0.4. Let p = -165 - -162. Is m bigger than p?
True
Let l = -50669275621/15502400804 + -64/5971649. Let k = l - 1/236. Is -2 smaller than k?
False
Let o = -9 - -4. Let w(p) = -p**3 + 2*p**2 + 2*p - 5. Let f(z) = 3*z**3 - 5*z**2 - 4*z + 10. Let j(r) = 2*f(r) + 5*w(r). Let v be j(0). Is o bigger than v?
False
Let p = 230 + -1604/7. Let h be (-82)/(-4) + (-4)/8. Suppose -n + w - h = 5*w, 4*w = 3*n - 20. Is n less than p?
True
Suppose -2*k + 33 - 1 = 0. Let m be (8/(-6))/(k/(-60)). Is 27/5 at most as big as m?
False
Suppose -2*s + 3*s = 4*d + 21, -d = 3*s + 15. Let k be d/(-4)*6/9. Let h be 1 - k - (7 + -7). Is h greater than -4/5?
True
Suppose 554 = -7*t - 692. Do t and -178 have the same value?
True
Suppose -4 - 6 = -5*d. Suppose 2*f + 0*j - 5 = -3*j, j - 3 = -d*f. Suppose -4*v - 10 = -2*h, -v + 5*h - f = v. Are -3 and v non-equal?
False
Let p be 2/7 + 16/(-7). Let m = -17 - -20. Suppose -13 = 4*l + m. Is l smaller than p?
True
Let h be ((-327949)/(-195) - 1) + (-22)/(-165). Let p = 1682 - h. Is 1 at most as big as p?
True
Let b = -282 - -281. Is -2/397 smaller than b?
False
Let m = -64.9 - -65. Let d = -27/4 + 7/2. Which is smaller: m or d?
d
Let i be (-255)/6*(-132)/(-15). Which is smaller: -372 or i?
i
Suppose -3*z + 17 = v - 0*v, -v - 2*z = -12. Suppose 2*x - 2 = -2*x + k, v*k + 4 = -x. Suppose -3*p = -1 + 7. Is x less than p?
False
Let b be ((-1050)/72)/(-5)*28/(-30). Let k = -20/9 - b. Is -3 != k?
True
Let r = 98 - -24. Which is bigger: r or 1?
r
Suppose 6*j - 9 = 3*j. Suppose j*t + 42 = -30. Is -24 > t?
False
Let m be (3 - 3) + 1 + -54. Is m smaller than -55?
False
Let c = -0.909 + -119.091. Is c at most as big as 2/9?
True
Suppose -3*w = -5*a - 47, -a = -w - 3 + 12. Let f be (-24)/(-2)*a/15. Let k = -28 - -19. Is f smaller than k?
False
Suppose 3*k = -p - 11, -4*p + 2*k = -p - 11. Let a = p + -1/3. Which is smaller: a or -0.3?
-0.3
Let f = -627 - -638. Let s = 23 - 13. Which is greater: f or s?
f
Let j(u) = 4*u**2 - 4*u + 4. Let d be j(-6). Which is smaller: 1025/6 or d?
1025/6
Let a = 58 - 107. Let m = a + 48. Is m at most as big as 6?
True
Let u = -251/4 - -62. Let p(f) = -f - 1. Let x be p(0). Do u and x have different values?
True
Let b be -1 + -1 + (-10970)/(-32). Let n = 341 - b. Let r = 182 - 182. Which is bigger: n or r?
n
Let k be (22/(-165))/((-22)/(-12) - -2). Is 1 less than k?
False
Let r(k) = -k**3 - k**2 + 2*k + 5. Let p be r(3). Which is smaller: -128/5 or p?
-128/5
Let j = -22 - -20. Let l be 177/j*(-2)/(-6). Let k = l + 29. Which is bigger: -0.07 or k?
-0.07
Suppose -96*z + 137 = -5*l - 97*z, 4*l - 5*z + 98 = 0. Which is greater: -7 or l?
-7
Let f = 99678174 + -308105232330/3091. Let w = -12/281 + f. Which is bigger: w or 0?
w
Let u(x) = -x**3 + 5*x**2 - 2*x - 3. Let t be u(4). Suppose y = -1 - 2, 0 = 2*f - t*y - 17. Let l = 21 - 22. Which is smaller: l or f?
l
Let a = -81 + 196. Let o be a/(-20) + 3/(-12). Let b be (-20)/30*o/(-4). Is 1 greater than or equal to b?
True
Let m = 2878 - 2876. Which is smaller: 1.2 or m?
1.2
Suppose 17*z - 19 = -19. Which is smaller: z or 8/13?
z
Let j(v) = v**2 + 13*v - 7. Let x(h) = h. Let s(d) = j(d) - 5*x(d). Let y be s(-9). Let i be y/(-3) - 160/(-258). Is -1 < i?
True
Let o = -0.029 - -0.099. Let x = -7 - -6. Which is greater: x or o?
o
Let s be 0*((-14)/(-4) - 4). Let r(b) = -13*b - 116. Let n be r(-7). Are n and s non-equal?
True
Let l = 2.1 + 6.9. Let o = 10.68 - l. Let k = -1.8 + o. Which is greater: k or 0?
0
Let f = 25.2 + -35.2. Is f < -15?
False
Let h(x) = -5*x**3 + 2*x**2 + x. Let f be h(-1). Suppose 0 = -f*r + r. Let t = -27364 - -27365. Which is smaller: t or r?
r
Suppose -1 = -202*j + 201*j. Which is greater: -257 or j?
j
Suppose 0 = 2*p + 3*r + r - 42, 0 = p + 3*r - 23. Which is smaller: 12 or p?
12
Suppose -1 = 2*p - 51. Which is bigger: 24 or p?
p
Let a(q) = q**3 + 12*q**2 + 5*q - 2. Let r be a(-10). Let i be (-6)/27 + r/18. Suppose 4*t = -s - 13, -s - t + i = 3*s. Is s not equal to 2?
True
Let f(n) = -n. Let p(x) = -x**2 - 15*x - 13. Let r(v) = 3*f(v) - p(v). Let b be r(-11). Is 4 less than b?
False
Let h(u) = u**2 + 1. Let g be h(-3). Let i(q) = -13*q + 3. Let o be i(1). Let r(s) = -s**2 - 10*s + 10. Let v be r(o). Is v < g?
False
Suppose -3 = 3*x - 0. Let o be (-1 - -4)/((-476)/(-7)). Is o <= x?
False
Suppose -3*l + 392 + 4 = 0. Are l and 133 unequal?
True
Let w be (12 - 328/28)/(2/98). Which is greater: w or 30?
30
Let i(u) = 6*u - 64. Let f be i(12). Which is bigger: 0.1 or f?
f
Suppose -46 = -5*r + 104. Let s = 30 - r. Is 3/22 > s?
True
Let f be (63*-35)/(-3) + 5. Which is greater: f or -1?
f
Let f = -464 + 423. Which is bigger: -124/3 or f?
f
Let n = -10 + 18. Suppose -12 - n = 5*v. Let m = v + 3. Which is bigger: 1/6 or m?
1/6
Let q = 2.1 - -0.7. Let s = 3.06 - q. Let i = s + 0.74. Which is smaller: -1/4 or i?
-1/4
Let m = 105/68 + -22/17. Which is bigger: m or 19?
19
Let x be 2/(-14)*(-1050)/1330. Do x and 0 have the same value?
False
Let f = -289 - -282. Which is smaller: f or -12?
-12
Let m = 6717 - 503767/75. Which is bigger: -1 or m?
m
Let x = 32 + -58. Let f be (((-4)/1)/(-4))/(x/60). Which is smaller: -2 or f?
f
Let t(r) = r**2 + 9*r + 15. Let n be t(-11). Which is bigger: 0 or n?
n
Let j = 41 + -8. Suppose 0 = 4*g - 2*y + 42 + 32, 3*g = -3*y - j. Which is bigger: g or -0.2?
-0.2
Suppose -m = 3*o - 11, 4*m - 12 = -8*o + 4*o. Is m >= 5/186?
False
Let c(p) = -2 + 5 + p + 1 + 3. Let t be c(-4). Suppose -2*a - 7 + t = 0. Are -6/5 and a equal?
False
Let f be (6 + (-52)/7)*-35. Which is smaller: f or 305/6?
f
Suppose -2*v - 104 + 136 = 0. Are v and 190/13 non-equal?
True
Let l = -36.979 + 37. Let d = -0.421 + l. Is 8 at least as big as d?
True
Let r = 31 - 27. Suppose -r*q - s = -1 + 2, 0 = -4*q - 2*s - 6. Suppose -2*y + 3*y = q. Do 5/13 and y have the same value?
False
Suppose -q - 4*q = -3*j - 434, -3*j - 3*q = 474. Wh