er than or equal to t?
False
Suppose -33 = -r + 2*j, -r + 33 = j + 3. Are 34 and r non-equal?
True
Let x be ((-2751)/(-35))/(-4*(-2)/40). Suppose 0 = -25*z + 1782 + x. Which is smaller: z or 0?
0
Let x = -365669/3405 - -1612/15. Which is smaller: -1 or x?
-1
Let t(x) = -9*x - 6 + 3 - 1 - x. Let h be t(-3). Suppose 4*p + h = -o + 5, -3*o = -3*p - 12. Which is smaller: o or 34?
o
Let l(c) = c**2 - 3*c - 7. Let q be l(5). Suppose 0 = f + q*f + 312. Suppose -5*d + 43 - 438 = 0. Which is smaller: d or f?
d
Suppose 0 = 3*u + 256 + 392. Suppose 5*t - 2*t + 648 = 0. Do u and t have different values?
False
Let m = 25.4 + -3.4. Let s = -66 - -86. Let j = s - m. Which is greater: j or 5?
5
Let g = -209.00623 - -0.00623. Let m = 1.5 - 1.4. Which is smaller: g or m?
g
Let m be -3*((-8)/12 + -1). Suppose 6 = 2*i - 2*a, 2*i - 4*i - m*a = 8. Let v be (i - 2) + ((-45)/(-43))/1. Is 1 at most as big as v?
False
Let v = 12290 - 26524. Is -14234 equal to v?
True
Suppose 31*v = -30*v - 106262. Which is bigger: v or -12192/7?
-12192/7
Let w = 300274/3 - 101793. Let f = -1667 - w. Let h = -34 + f. Which is bigger: h or -2/3?
h
Suppose -4*d + 8*w - 9*w = -7, 0 = 4*d + 3*w - 13. Let g(x) = -d + 2 + x**2 + 10 + 12*x + 8. Let n be g(-10). Are n and 28 unequal?
True
Let w(y) = -3*y**2 - 5 - 4*y - 4*y + 0*y**2 - 3*y. Let i be w(-3). Suppose 0*c = c + i. Is 1/3 smaller than c?
False
Suppose 5*w + 1719 = 2*n, -n + 5*w - 80 = -937. Let t = -862 + n. Let a = 531 + -3723/7. Are t and a non-equal?
True
Let w(q) = -2*q + 12. Let c be w(6). Let x(m) = m**3 - 9*m**2 - 22*m + 22. Let l be x(11). Suppose 0*z = 4*z + 16, 2*h + 5*z + l = c. Which is greater: 2 or h?
2
Let d = 1504 + -1503.88. Which is smaller: 140 or d?
d
Let c = -1729/1451208 - -1/2024. Do -1 and c have different values?
True
Suppose -13*i - 3333 - 3395 = -2334. Is i at most as big as -339?
False
Suppose -57 = 3*g + 24. Let d = -26 - g. Let t = 16/45 - 647/1440. Which is smaller: t or d?
t
Suppose -j - 2*t + 37 = 0, -7*t = 2*j - 9*t - 104. Let x be 2/(-14)*(j - 54). Do x and -13 have the same value?
False
Let s be ((-24)/(-90))/(-2 + (-576)/(-285)). Let m(b) = 14*b**2 - 6*b + 5. Let j be m(1). Which is greater: s or j?
j
Let s = 191 - 288. Let q = 2129 + -2129. Do s and q have different values?
True
Let z be 24*64/464 + -3. Let m(b) = 2*b**2 - 1. Let g be m(1). Is z less than or equal to g?
True
Let r = -12/355 - -16179/6035. Let j = r + -2103/833. Which is greater: 0 or j?
j
Let j(u) = -10*u - 35. Let o(r) = 10*r + 35. Let q(y) = 5*j(y) + 6*o(y). Let m be q(-5). Suppose 32 + 35 = -5*x + 4*v, 0 = -2*v - 4. Is m smaller than x?
False
Let g = 0.77 - -1.01. Let q = g + -1.57. Which is smaller: 1/2 or q?
q
Let l = 4403 + -230. Let v be l/(-585) - (-4)/30. Let h(y) = -3*y + 2. Let w be h(3). Is v > w?
False
Let q = -284 - -298. Suppose -6 = 4*a - q. Let f = -1705 + 11955/7. Is a >= f?
False
Let l = 239 - 240. Let w be 28/(-84)*(20 + l). Is w less than -6?
True
Let a = 1906 + -988. Suppose -a = 22*n + 1018. Which is greater: -87 or n?
-87
Let c be 1 - 2/((-680)/(-341)). Let w(o) = 11*o**3 + 79*o**2 + 77*o - 5. Let x be w(-6). Which is smaller: c or x?
c
Let p = 914 - 5489. Let m be 9/(-6)*(-20)/p. Are 1 and m non-equal?
True
Let p = -13432 - -192. Are p and -13240 equal?
True
Let q = 1597 + -1495. Does 7 = q?
False
Let o be (-4185)/1620 - (-1)/12. Do o and -1850 have the same value?
False
Let u = -10.6 - -6.9. Is 19 <= u?
False
Let t = -0.28 - 49.52. Let i = -49.3 - t. Which is greater: i or 2.2?
2.2
Let y be 18/153*(-238)/(-28). Which is greater: 109 or y?
109
Let m(v) = 4*v**2 + 150*v + 74. Let j be m(-37). Which is smaller: j or -1/610?
-1/610
Let o = -38654/385297305 - 4/39057. Is o at least as big as 0?
False
Suppose 0 = -15*t - 16*t - 9*t. Is 2/1029 greater than t?
True
Let m be (4/(-40))/((-2)/(-6)). Suppose 19*s = 7*s + 3372. Let h = -282 + s. Which is smaller: h or m?
h
Let m = 1.5209 + -0.9396. Which is smaller: m or -0.1?
-0.1
Let a = 66 + -218. Let t = -177 - a. Let u = -42 + 17. Are t and u nonequal?
False
Suppose 0*p - b = -3*p - 26, 0 = 5*p - b + 42. Suppose -3*g = 3*j + 3, 1 = 3*g - 2*j - 1. Let i be (g + -9)*(-5 + 6). Is i not equal to p?
True
Let g(r) = -r**3 + 24*r**2 + 2*r - 49. Suppose 58 = u - 5*m + 9, -u - 2*m = -14. Let l be g(u). Is 5/27 > l?
True
Let b be (-516)/(-1440) + 3 + 230/(-75). Is 0 < b?
True
Let d = -17 - 73. Let p be 32/d*(-130)/(-52). Suppose 7*g - 2*f = 2*g - 20, 0 = 4*g + 3*f - 7. Are g and p nonequal?
True
Let t = 12858 - 141432/11. Let j be 4/(-18) + (-20)/(-9). Let v be 2/12*(0 + j). Is t at least as big as v?
True
Let m(b) be the first derivative of -b**2/2 + 8*b + 1. Let r be m(11). Suppose 0 = -4*s + 49 - 65. Do r and s have different values?
True
Let w be -3*(-4)/(-3)*10. Suppose -j = 3049*v - 3051*v + 52, j + 11*v = 52. Which is greater: j or w?
j
Let l be 159/12 - (-105)/(-84). Suppose -2*m + l*p - 10*p = -8, p = -5. Is m < -2/45?
True
Let s be (363 - 357) + (-4222)/3. Is s < -1400?
True
Suppose -11*f + 176 = 4*h - 7*f, -4*h = -4*f - 160. Are 532/13 and h non-equal?
True
Let r be 3*6/9*-1. Let i(s) = 6*s**2 + 19*s + 16. Let p be i(-1). Let a be 3/9*p/r. Which is bigger: 0.2 or a?
0.2
Let n be 3 - (-5)/(5/(-3)). Let f(h) = 8*h + 12. Let i be f(2). Let p be (-21)/i - 62/(-40). Which is greater: p or n?
p
Let x be (6/12*-1)/((-42)/(-7) + 553). Which is greater: x or 1?
1
Suppose -27 = -2*n + 3. Let m = n + -4. Let k(h) = -h**3 + 11*h**2 - 1. Let x be k(m). Are x and -2/153 unequal?
True
Let z be (8368/(-24))/(5/((-30)/2139)). Let s = -22/23 + z. Does s = -0.4?
False
Let l be 6/9*6 - 8. Let a be (-20)/(-3) + l/(-12). Suppose -12*u + 5*u - a = 0. Is -7/4 < u?
True
Suppose 3*y - 5*u = 37967, y = 140*u - 136*u + 12637. Which is greater: y or 12667?
y
Let l = -3750 - -3751. Is l < 13/461?
False
Let o = 97589/4108 - 6/1027. Let y = o + -293/12. Is y bigger than -1/4?
False
Let c = 44945/8 - 22495/4. Suppose -6*w + 2*w - 28 = 0. Is w smaller than c?
True
Let b = 77264 - 1777070/23. Let v = -14 + -11. Which is smaller: v or b?
v
Let f = -4 + 3. Let t be 4/(-9)*((-1935)/12 - -84). Are f and t unequal?
True
Suppose 7*f + 164 - 171 = 0. Suppose 5*q + 5*m - 15 = 0, -q = 5*m - f - 22. Which is smaller: -30/19 or q?
q
Let c(p) = 146*p - 876. Let q be c(6). Is q < -1/648?
False
Let t(c) = 8*c + 209. Let z be t(-27). Let p be z + (-34 + -3 - -4). Do -39 and p have the same value?
False
Suppose -105*h - 6 = -106*h. Let c be h + (-1316)/134 + 4. Is -1 < c?
True
Let i = -93 + 93. Suppose 4*j - 5*g + 17 = 0, i = 9*j - 8*j - g + 5. Is j bigger than -15?
True
Suppose 418 = 7*w - 121. Let r = 154 + w. Is 229 at most as big as r?
True
Let c(b) = -7*b + 67 - b - 10. Let q be c(8). Suppose 0 = -a - a - 4*s - 20, 3*a + 20 = 4*s. Is q equal to a?
False
Let i be 33534/2794 + -9*(-48)/(-36). Are i and -2/5 equal?
False
Let o be -2 + 42/(-20) - -2. Suppose -19 = -m - 5*j, 2*m + 26 - 40 = -4*j. Which is smaller: m or o?
o
Suppose 0 = -7*v - 35. Let r be -12 - (7 + v)*-3. Which is smaller: r or -4?
r
Let x = -4957 + 9100. Let s be (-12)/(-16) + x/12. Let p = s + -11763/34. Which is smaller: 0 or p?
0
Let n be (1 - 246/9)*-3. Suppose 2*g - 91 = 61. Is g greater than or equal to n?
False
Let z = 5376 + -5626. Is z bigger than -1?
False
Let s(k) = -3*k + 45. Let x(j) = -2*j + 30. Let u(l) = 5*s(l) - 7*x(l). Suppose 8*g = -72 + 136. Let y be u(g). Which is smaller: 8 or y?
y
Let c(b) = 11*b - 261. Let u = 256 + -239. Let m be c(u). Is -1/4 less than or equal to m?
False
Let p = 4956563/5257035 - -2/150201. Let u(v) = -v**2 + 7*v + 10. Let l be u(8). Which is smaller: p or l?
p
Let u be 3 + (-75)/24 - (-3)/72*-21. Is 1/34814 less than u?
False
Let a = 0.27039 - 0.02039. Which is bigger: a or 5/6?
5/6
Suppose 4 = 4*o + s, 4*s + 1 - 5 = -4*o. Let v be 1/(-3)*(-12)/3548. Which is bigger: v or o?
o
Suppose 16 = -4*a - 4*v - 20, 4*v - 4 = 4*a. Let q be (-1)/(3/3)*-7. Suppose 0 = -2*n - 3*n + 3*t - 35, n = -3*t - q. Is a >= n?
True
Suppose -u - 2 = v, -5*v = -4*u + 2 - 28. Suppose -17 + 27 = v*n. Suppose 0*w = 5*r + 2*w - 3, n = 3*r + 2*w. Do -2/37 and r have the same value?
False
Let v(t) = -t + 4. Let z be v(6). Let c(r) = -2*r**3 + 17*r**2 - r. Let q be c(8). Let m be ((-12)/(-2))/(52 - q). Which is smaller: z or 