*u - 263 = 2*u + 4*y. Let z = -59 - u. Does -8/3 = z?
False
Let d = 34 + -235/7. Let a = 67 - 315. Let i = -247 - a. Which is bigger: i or d?
i
Let i be (-16)/((-128)/(-100)) + 11. Is 250 < i?
False
Let o = 1.606 - 1.556. Let j be 5/((-80)/(-42)) + 4/(-2). Is o < j?
True
Suppose 1 = -r + 6. Suppose 9*m - r*m = 20. Suppose s = 4*s - 3*a - 9, -4*s + m*a = -11. Which is greater: s or 0?
s
Let m be -5 - (-2 - 5325/126). Let z = m - 290/7. Do z and -2 have the same value?
False
Let p be 68/(-2)*(-4 - -17)/(-13). Let j be 304/76 - 268/p. Does j = -3?
False
Let s be -8*210/(-7 - -14). Let o = s - -288. Suppose -t - 4*m - 164 = -4*t, 5 = -m. Are o and t equal?
True
Let h be -2 + ((-98)/7 - 4). Let c be (-8 - (-8 + -7)) + -26. Which is smaller: h or c?
h
Suppose 12 = 3*c - 5*f, 4*f + 19 = 5*c + 12. Which is bigger: -103/67 or c?
c
Let l(j) = -j**2 + 10*j - 11. Let a = 59 - 55. Let m be (((-9)/(-2))/(-3))/(a/(-24)). Let f be l(m). Is f at least as big as -39?
True
Suppose z = -3*r - 3493, 0 = r + 393*z - 398*z + 1127. Which is smaller: r or 2?
r
Suppose 4*z - g - 58857 = 0, 19*z = 21*z + 3*g - 29439. Does 14714 = z?
False
Let t = 154 - 87. Let r = t + -66. Suppose -3*j - 3*x - 8 = 2*j, -2*x = -3*j - r. Is -4/29 < j?
False
Let v = 23411/37 + 304421/629. Let j = 1117 - v. Is 0 less than j?
True
Let u(o) be the second derivative of -o**5/20 - o**4/2 - 2*o**3/3 - 3*o**2 + o. Let z = -1759 - -1754. Let t be u(z). Is t at least 4?
False
Suppose -4*x + 0*x = -20, -4*i + 5*x + 63 = 0. Suppose -12*f + 1840 = -i*f. Which is smaller: -185 or f?
-185
Let r be -8 - (9/(-63)*7 - 6). Is r not equal to -130/93?
True
Suppose -2*l = 2*s + 18, 0 = -s + 3*l - 2*l - 1. Let w be 8/(-1) - (79 + -84). Let u be s/w*6/15. Which is smaller: u or 0.03?
0.03
Suppose 5*b = 3*o + 80 + 77, -45 = o + 2*b. Let q = o + 55. Suppose q*k - 2*k + 4 = 0. Are 0.2 and k nonequal?
True
Let g be (19 - 2835/150) + 97/(-2270). Which is smaller: 1 or g?
g
Let m be 4*(2 + (-6)/2). Let i be m/33 - (-2)/3. Let r be 3*4/(-132) + (0 - 46/(-22)). Is i less than or equal to r?
True
Suppose -18*b = -11*b + 22*b. Which is bigger: b or 9/13?
9/13
Suppose -105*j - 3*s = -108*j + 90, -5*s + 100 = 5*j. Which is smaller: j or 3?
3
Let f = -28/13 - -1046/377. Let h(i) = 584*i + 19272. Let a be h(-33). Is f less than a?
False
Let s = 6/77 + -137/770. Let c(r) = -5*r + 10. Let q be c(0). Which is smaller: q or s?
s
Let k be (186192/160)/(3414/98). Let z = k - 5/1138. Is z > 33?
True
Let f = -0.03857 + 0.16857. Let z(t) = -t**3 - 10*t**2 - 8*t + 9. Let r be z(-9). Which is smaller: r or f?
r
Let h = -355 - 517. Is h > -865?
False
Let f(w) = -5*w**2 + 6*w - 2. Let r(o) = 3*o + 22. Let n be r(-6). Let a be f(n). Which is smaller: -61 or a?
-61
Let d(b) = b**2 - 15*b + 32. Let z be d(14). Let k = z + -8. Suppose 0 = p + 9*p - k. Do -2/9 and p have different values?
True
Suppose 5*h + 82 - 22 = 0. Let q be (-2)/h + (-2)/4. Let k be (-19)/((-456)/(-60))*2/5. Which is bigger: k or q?
q
Let w = -489.372 + -2.628. Is w >= -3?
False
Let m = -10514 + 10513.9. Suppose 339 + 61 = -5*d. Let s = d + 558/7. Which is smaller: s or m?
s
Let z(l) = 4*l**2 - 21*l - 16. Let m be z(-6). Let o = -247 + m. Are o and 2 equal?
False
Let b be 6 + -1 + (-6 - (-1110)/(-3)). Let a = b - -425. Is 5 < a?
True
Let z(f) = 34*f**2 - 10*f - 8. Let v be z(-1). Suppose -15*k = 21*k + v. Is 56.2 <= k?
False
Let r = -406.25 - -406. Let x = r + 0.35. Which is greater: 0.436 or x?
0.436
Suppose -3*t - 5*z = -211 - 234, 2*t - 314 = z. Let b be (t/19 + -5)*(-4)/12. Which is smaller: -1 or b?
b
Let g be (-9)/15 + 3990/6150. Is g less than or equal to 85?
True
Let v = 501327136/905267 + -57037/103. Let j = 232626/187 + -1244. Let s = v + j. Is 1 < s?
False
Suppose 3*k = -3*w - 1176, -35 = -k + 3*w - 443. Which is bigger: -402 or k?
k
Suppose 0 = d - 20*d - 1784 + 1803. Which is smaller: 65/184 or d?
65/184
Let l(v) = 7*v**2 - 71*v + 455. Let h be l(6). Do h and 278 have the same value?
False
Let v = -13.1 - -12. Let c = 0.9 + v. Let f = c + 1.9. Are f and 0 equal?
False
Let n(g) = 12*g - 173. Let d be n(14). Is -1/67 at least d?
True
Let v = -81.82 - -81.7732. Let s(o) = o**2 - 2*o - 2. Let y be s(3). Do y and v have different values?
True
Let d = 935 - 606. Let l = d - 330. Is 4/95 greater than l?
True
Suppose 294*j - 16 = 286*j. Let c be (38/57)/(j/(-3)). Which is smaller: c or 1?
c
Let g = -692/5 + 138. Let r = 904/11 - 6273/77. Which is smaller: r or g?
g
Suppose 30 = 6*s - s - 5*p, -3*s - p + 14 = 0. Let n be (s + 28*(-3)/18)*-3. Which is smaller: n or 1/165?
n
Let m(y) = y**2 - y - 1. Let q be m(0). Let p be (5 - (-5)/5) + 114. Suppose 4*o = -4*o - p. Is q at least o?
True
Let j be -4 - (-12 + -2 + 0). Suppose 18 - 25 = -h. Is j at least h?
True
Let g be 2/16 + -31*7/(-1736) - (-339)/(-60). Let y = 0.8 - 1. Which is smaller: y or g?
g
Suppose 5*c = -3*c - 112. Let s be (-792)/154*21/6. Which is smaller: c or s?
s
Let o = 967/55 + -956/55. Which is bigger: o or 1703?
1703
Let y = 1092 + -1093. Are y and -3/3658 non-equal?
True
Let l(p) = -p**3 + 3*p**2 - p + 3. Let y be l(3). Let o = -333 + 341. Suppose y*g + o = -4*g. Are g and -3/2 equal?
False
Suppose -3*j - 2*j = -15. Suppose -q - 5*k + 23 = j*q, 2*q - 2*k + 2 = 0. Let r be 4/(100/45) + 0. Which is smaller: q or r?
r
Let g = 187/7 + -5409/203. Which is greater: -9 or g?
g
Let d be -6*-2*7/210. Is -271 less than or equal to d?
True
Let w = 44 + -82. Let h = 21422 + -21461. Is h at most w?
True
Let u be 4 + 0 + (-3168)/(0 - 24). Is u smaller than 541/4?
False
Let o = -173 - -173.79. Let h = 0.89 - o. Which is greater: h or 6?
6
Let j = -0.4282 + 3.4282. Which is bigger: j or 522/7?
522/7
Suppose -17*g = -2*g - 37260. Let a = g + -245921/99. Which is smaller: a or 0?
a
Suppose -2 = 2*m + 2. Let k be -3*(m/2 - -7). Let u(c) = -c**2 - 41*c - 382. Let q be u(-13). Do k and q have the same value?
True
Let s(x) = -x + 5. Let b be s(7). Let r be 6/(-15) + -15 + (-154)/(-10). Does b = r?
False
Let r = -30682/107289 - -4/15327. Let c = -89 + 172. Which is smaller: c or r?
r
Let c be (-1 + 2)/((-3)/(-15)). Let g be (-3)/(-3 - -2) - c. Let v be 13/(2535/26) - 46/45. Is g not equal to v?
True
Let p(x) = -x**2 - 14*x + 15. Let g = 53 - 68. Let h be p(g). Which is bigger: h or 2/1171?
2/1171
Let a(o) = -o**3 - 16*o**2 - 37*o + 6. Let p(w) = -w**2 + w - 1. Let f(v) = a(v) + 3*p(v). Let d be f(-17). Which is smaller: 2 or d?
2
Let i(g) = -104*g - 2286. Let o be i(-22). Suppose 5*l - 120 = -35. Is o less than l?
True
Let z(p) = 680*p + 3961. Let c be z(-6). Suppose -354 = 2*g + g. Are g and c nonequal?
True
Let v(s) = -26*s**2 - 1299*s + 44. Let f be v(-50). Which is greater: -258/55 or f?
-258/55
Let r = 11646 + -11344.24. Let w = r + -302. Let f = -1.2 + 0.2. Which is greater: w or f?
w
Let s = 58 - 73. Let o = -14 + s. Let j = o - -23. Which is bigger: j or 0.1?
0.1
Suppose -5*f = -5*v + 35, 0*f + 9 = -3*f + v. Which is smaller: f or 11/24?
f
Let y be -8*(3404/(-8) - -3). Let q be (y/12)/(-5) - 1/(-3). Let n be (0 - (-3 - -5))*1/q. Is n at least as big as 1?
False
Let p = -389 - -401. Suppose i + 0*i - 5*w - 197 = 0, 4*w - p = 0. Is 212 < i?
False
Let b be 1/(((-5)/25)/(13/(-65))). Which is smaller: 74/113 or b?
74/113
Let p = -4813 + 4812. Which is bigger: p or -754?
p
Suppose 0 = 9*z - 67 - 32. Let y = z - 9. Suppose 4*j = 5*d + 25, -4*j = -y*d - 30 + 8. Are 12 and j non-equal?
True
Let y be (-15)/(-6) + 357487/12636. Let z = 10/243 - y. Is -31 < z?
True
Let x = -781 - -783. Suppose -20 = -a - 5*d, 31 = x*d + 23. Is -2/1049 at least a?
False
Let h be (3454/44)/((-2)/4) + -4. Which is smaller: h or -163?
-163
Let n(x) be the third derivative of -x**5/20 + x**4/24 + 50*x**3/3 - 149*x**2. Let v be n(9). Does v = -135?
False
Let b = -5269/6 + 878. Let y(c) = -4*c - 19. Let q be y(-8). Which is smaller: q or b?
b
Let y = -3/214 + -305/8774. Let f(i) = -3*i - 84. Let u be f(-29). Suppose 0 = u*v - 49 + 46. Is y less than v?
True
Let b(i) = 51*i - 611. Let q be b(12). Are 2/511 and q equal?
False
Let i = 24577 + -24419. Let g(l) = -l + 156. Let b be g(0). Which is greater: i or b?
i
Let v = 2/56805 + 3520868/29595405. Is 0 greater than v?
False
Suppose 16 = 2*s + 2*o, -s + 18*o = 14*o - 28. Suppose s*n + 55 = 295. Let