*2 + 23*u - 8. Let z(c) = 7*c**3 + 9*c**2 - 8*c + 3. Let w(v) = 6*s(v) + 17*z(v). Let j be w(-4). Suppose -j + 5 = -i. Is 6 > i?
False
Suppose 49*r + 52 = 23*r. Which is greater: 14 or r?
14
Let d be (12/30)/((-2)/(-200)). Let y be (96/d)/((-4)/30). Is -17 at least y?
True
Let w = -8 + 12. Suppose w*i = 2*o - 14, -2*o + 12 = -3*i + i. Let g(x) = x - 4. Let a be g(o). Are a and 3 nonequal?
True
Let x = 716 + -717. Is -320 equal to x?
False
Let d be 2 - (1 + -3) - 6. Let i be 4/d - (-4 - -2). Is i at least as big as 2?
False
Let h be 27/6*2/3. Let d be ((0 - h)/3)/((-2)/(-22)). Is -14 >= d?
False
Suppose -5 = -9*o - 23. Which is bigger: -11/7 or o?
-11/7
Let m be 15/(-5) + 1600/534. Let l = m + -1597/1335. Which is smaller: l or -2?
-2
Let w(o) = 10*o. Let z = -2 + 1. Let c be w(z). Let y be (2/(-4))/((-1)/c). Is y less than or equal to -4?
True
Suppose -24*h - 3*n + 48 = -27*h, -4*n - 34 = 3*h. Which is greater: h or -10?
-10
Let r(k) = -k**3 + 3*k**2 + 13*k - 6. Let u be r(5). Let l(z) = -2*z**3 + 17*z**2 + 10*z - 9. Let i be l(u). Let y = 446/3 - 150. Which is bigger: y or i?
i
Let v be -331 + 0 + (9 - (-40)/(-4)). Is v greater than or equal to -334?
True
Let w(f) = -f**2 + 4*f - 1. Let j be w(3). Let g be (9 - 5) + 5 + j. Which is bigger: 12 or g?
12
Suppose -7*b + 9*b + 6 = 3*x, 15 = -5*b. Which is greater: x or 5/82?
5/82
Let l = -102 + 101.83. Is l bigger than 1/8?
False
Let i = -242196/7 - -33953. Let p = -645 - i. Which is smaller: 1 or p?
1
Let x be 10 + 6/(-2) + 1. Let q = x + -6. Suppose -4 - q = -3*n, 2*n + 20 = -2*v. Is v at least -12?
True
Let r = 11 - 22. Which is smaller: -14 or r?
-14
Let h(q) = 45*q**2 - q + 2. Let p = -32 - -34. Let y be h(p). Let j be 3/(-9)*y/(-21). Does 3 = j?
False
Let m = 842 + -843. Let u be (-2)/24*18/(-4). Which is smaller: u or m?
m
Let t be ((-118)/(-3))/((-20)/9 + 2). Is -179 < t?
True
Suppose 3*a + 10 = -5, a = 3*t - 5. Let j be t/(-3 - 15/(-3)). Suppose -2*g + 3*f - 7 = -j*g, 3*g - 15 = -4*f. Is 4 less than g?
False
Let l = -41 + 45. Suppose 0 = 5*z - l*m + 49, -z + 7 = -2*z - 2*m. Which is bigger: z or -7?
-7
Let q be (-2 + -1 + 3)/1 - -9. Let v(w) = 3*w - 27. Let y be v(q). Are 3/26 and y equal?
False
Let c = -32 + 26. Let l be -3 - ((-2)/c)/((-4)/12). Which is smaller: -6/7 or l?
l
Let d = 1/3767 + 7335/749633. Suppose 82*i - 87*i = -5. Which is bigger: d or i?
i
Let r = -2868/4199 - 3/323. Is -1 greater than r?
False
Suppose 2*d + 0 + 2 = 0. Let u be 3*d + -4*(-145)/220. Is 1 < u?
False
Let o = 0.9 + 0.1. Let x = -25.23 - 26.77. Which is greater: x or o?
o
Let y = -1081/5 + 216. Which is bigger: -2 or y?
y
Let a(u) be the second derivative of u**4/12 - u**3 + 7*u**2/2 + 14*u. Let o be a(3). Is -3 greater than or equal to o?
False
Let s = 2799 + -1763. Are 1036 and s unequal?
False
Suppose -19 = 2*f + 5*i, -2*f - 3*i = 2*f + 31. Suppose 3 - 11 = 8*k. Let n be k/(-5) - (12/(-3))/(-20). Is n at most f?
False
Let t = 509 - 509.027. Is -1 greater than t?
False
Let b = 1.8 + -2. Let n = 3.9 - 4. Let u = n - b. Which is bigger: u or 2/7?
2/7
Suppose -4*g - 506 = 238. Let c be 1/4 - g/(-264). Which is smaller: c or -1?
-1
Let y be (-2)/7 - 8/(-28). Suppose y = 5*q - 5*k - 55, k + 19 + 24 = 5*q. Let i be q/(-4) + 4 + -2. Are i and 2/7 equal?
False
Let x(b) = -2*b - 15. Suppose 4*c = -5*p - 33 + 5, -4*p + 14 = -2*c. Let t be x(c). Is t > 0?
False
Suppose 52 = 3*p + 2*o, 0 = -4*p + 4*o + 37 + 39. Let m = -5/317 - -11739/634. Which is smaller: m or p?
p
Let h be (-39)/8 - (-2)/(-16). Let o be (h - -5) + 0 - 8/6. Which is greater: o or -0.1?
-0.1
Let y = -446 - -427. Is -34 not equal to y?
True
Let i = -0.11 + 0.01. Let q = 0.58 - 0.62. Which is smaller: q or i?
i
Let y = 108.1 - 100. Let w = y + -8.2. Which is greater: w or 1?
1
Let n = 290 - -156. Which is greater: n or 1?
n
Let l be 18*-5*(-2)/(-3). Is l at least -62?
True
Let g = -2541 - -22. Let d = -188881/75 - g. Let z = 2/25 + d. Which is smaller: z or 0.2?
0.2
Let m(v) = v - 7. Let t be m(5). Let g be -4 - (-3 + (-6)/18). Is t less than g?
True
Let j(s) = s**3 - 5*s**2 + 7*s - 20. Let n be j(5). Let z be 3/(4/(8/n)). Which is smaller: z or -5/2?
-5/2
Let s be (2 - 0)/((-3)/(-6)). Let y be (95/30)/(s/(-8)). Which is bigger: -6 or y?
-6
Let s = -138 - -92. Let c = s - -28. Which is bigger: -19 or c?
c
Let m = -0.19 + 0.43. Let x = m + -0.44. Let s = x + 0.2. Is s smaller than -16?
False
Let q(z) = -z**2 - 25*z + 48. Let b be q(-27). Is -10 < b?
True
Let p(d) = 26*d + 8. Let r be p(-6). Let a = r + 1038/7. Do 3 and a have different values?
True
Let c = -44 + -3. Let q = 67 + c. Do q and 20 have the same value?
True
Let x = -25 + 18. Let n = -49 + 53. Suppose -n*g + 12 - 8 = 0. Are x and g nonequal?
True
Suppose -10*s + 72 = -4*s. Suppose 165 = -s*k + 9*k. Is k less than or equal to 1/2?
True
Let j(m) = m**3 - 9*m**2 + 20*m. Let p be j(5). Let z be (p - 2)/((-5)/(210/(-12))). Are -34/5 and z unequal?
True
Let a(o) = -3*o - 16. Let x be a(-8). Suppose -2*c - x = 0, 5*z = -c - 2*c - 7. Let p(b) = -b**3 - 6*b**2 - b - 2. Let w be p(-6). Is w >= z?
True
Let s be (2/14)/((-480)/840). Is s greater than 31/9?
False
Let y be 63/(-168)*(-1)/(-2). Let i(a) = a**2 - 13*a - 1. Let k be i(13). Are y and k unequal?
True
Suppose 3*s + 60 = 6*s. Let q be ((-2)/18)/(s/(-8)). Which is smaller: 1 or q?
q
Suppose -26*y - 4344 = 5250. Which is smaller: -367 or y?
y
Let k = -51 - -36. Suppose 2*v - 12 = -v. Suppose -9*m - 80 = -v*m. Which is smaller: m or k?
m
Let t(n) be the first derivative of -n**3/3 + 6*n**2 + 9*n - 1. Let v be t(13). Let z = -22 - -64/3. Is v greater than z?
False
Let t be (90/(-1710))/(1/(-2)). Is -1.7 < t?
True
Let y = 4/107 - 5255/321. Do y and -16 have different values?
True
Let l be 8/(-84) + 256/336. Let d = -159 + 355. Let h = -2154/11 + d. Which is bigger: l or h?
l
Suppose -6*a - a = -7. Let q(r) = -3*r. Let t be q(a). Is -5/2 < t?
False
Let j be 1247/(-2) - (-1)/(-2). Let n be 4*1 + (j/62 - -6). Is n at most 0?
True
Suppose 57*t + 2460 = 52*t. Which is greater: -490 or t?
-490
Let t be (2/6)/((-2)/(-6)). Let o be 5 - -2*(-2 + t). Is o < 2?
False
Let o = -14 + 12. Let k be o + 4 + 24/(-20). Let x = 2 - 0. Which is bigger: x or k?
x
Let q(m) = -m. Let a(i) = 5*i - 5. Let s(v) = a(v) + 6*q(v). Let d be s(-2). Is d at least as big as -1?
False
Let k = 380 - 375. Which is smaller: k or 15/8?
15/8
Suppose -2*b - k = -3, 2*b + 2*k = -3*b + 6. Is b greater than -173?
True
Suppose -t = -0*j + 2*j - 9, 16 = 4*t - 2*j. Suppose -t*r + r - 4 = 0. Let d = -16/3 - -6. Which is smaller: r or d?
r
Let h(p) = -p**3 - 11*p**2 + 12. Let j be h(-11). Let g be (2416/1794)/(200/j). Let m = -2/325 - g. Which is bigger: 0 or m?
0
Let u = 16.6 + 108.4. Let v = u + -125.1. Which is greater: v or 94?
94
Let f be (-1 + 0)*(1 + 0). Let c(m) = m**3 + 3*m**2 + 2*m + 2. Let g be c(-2). Let z be (-4)/16*g/f. Which is bigger: z or -2/7?
z
Let s = -6 + 14. Suppose s = 3*d + r, 0 = r + 6 - 2. Let l be d/10 - (-20)/(-50). Is 1/2 at least l?
True
Suppose 0*v + 36 = 4*v. Let a(q) = -q**3 + 9*q**2 - 5*q + 13. Let d be a(9). Let i = 40 + d. Which is greater: v or i?
v
Suppose 3*i - x = -2*i + 12, -x - 8 = -3*i. Suppose -3*j + j = -i. Do j and 0.84 have different values?
True
Suppose 22 = 2*n - 5*s, 0 = 3*n - n + 3*s + 10. Let t be (-3)/(-9) + n/(-6). Suppose -4 + 1 = -3*r. Are t and r non-equal?
True
Let p = 64 - 44. Let o be (-2)/(-12) + p/6. Which is bigger: o or -2/5?
o
Let j = 20 - 16. Is 62 smaller than j?
False
Let g = 1773 - 1805. Which is smaller: g or -9?
g
Suppose -459 = -w - 460. Is w > -2/213?
False
Let g = -22845 + 1256656/55. Let o = 34/11 - g. Is 2/13 at most as big as o?
False
Let p(h) = -h**2 - 10*h + 16. Let b(k) = k**2 + 11*k - 17. Let f(t) = 2*b(t) + 3*p(t). Let i be f(-9). Let l = -2/159 + 1117/318. Which is smaller: l or i?
l
Suppose 0 = a + 4*y - 29, -4*a = 2*y - 3*y - 99. Suppose -v - a = -28. Suppose 2*i + 13 = 3*p, 4 + 4 = v*i + p. Is i equal to 1/33?
False
Let g = -10 + 31. Suppose 5*o + 11 + 24 = 2*f, -2*f = 4*o - 44. Is g > f?
True
Suppose 0 = -2*g + 2*w - 568, 50*g + 3*w - 286 = 51*g. Is 0.2 >= g?
True
Let i = -11.2 - 43.8. Let p = i + 57.9. Which is smaller: -1/4 or p?
-1/4
Let k(b) = 2*b**2 - 33*b - 14. Suppose 0 = -3*r - n + 54, 8*r - 4*r - 2*n