(-19))/((-3)/(-2)). Let u = 2/171 + m. Which is greater: u or n?
n
Let s(l) = 3*l - 10. Let b be s(11). Let n(j) = j**3 - 21*j**2 - 53*j + 54. Let w be n(b). Are w and -107 nonequal?
False
Let g = 1.046 + -0.046. Let s = 63 + -45. Suppose 45 = 3*p - s. Is p less than g?
False
Let z be (1458/(-972))/(3/(-412)). Which is bigger: 243 or z?
243
Let q be (6 + -10)/((-2)/(-143)). Let y be 2/11 - (-74)/q. Is 10/3 >= y?
True
Let k = 549 - 539. Suppose p - n = 3, -3*n - 19 + k = -4*p. Is -1/74 >= p?
False
Let y be (-4 - (-10998)/2754)/((-22)/4). Which is greater: -1 or y?
y
Let q = 199 + -188. Suppose 9 = 11*i - 35. Which is smaller: q or i?
i
Suppose -14*m - 51823 = 59195 - 6242. Which is smaller: m or -7487?
-7487
Let d be (4/(-6))/(650/1103505). Which is smaller: -1133 or d?
-1133
Suppose 0 = -79*n + 74*n + 115. Suppose -b - 2*b = n*b. Which is smaller: 14 or b?
b
Let x = -2 - -9. Let k be (-1 - 0)*(3 - 3). Suppose k = -19*u + 20*u. Which is smaller: x or u?
u
Let g be 419*1 + ((-7)/(-2) - (-207)/(-138)). Which is greater: g or 416?
g
Let j be (-48)/(-60) - 2/(-10). Let g = 1207823/66234 - 693/38. Do j and g have different values?
True
Suppose -3*y - 9*w + 85 = -5*w, 20 = 5*w. Is -9 less than y?
True
Suppose 3*r + 38 - 69 = 5*d, 33 = -3*d. Suppose -k - w = -5*w - 10, -k = w + 10. Let m = k + 0. Which is greater: r or m?
m
Suppose 3*i + i - 5*c - 146 = 0, 0 = 4*c - 8. Let q = i - 38. Suppose -z = -f + q - 5, z + 4*f + 21 = 0. Is z greater than -3/16?
False
Let x be (-2)/(-3) - 224/(-6). Let k(t) = -50731*t + 101501. Let g be k(2). Which is smaller: x or g?
x
Let u = -301941/55 - -5490. Let k = u - -1/5. Is k bigger than -1/6?
True
Let r(z) = 2*z**3 + 44*z**2 - 2*z + 9. Let u be r(-22). Let v = u - 54. Which is smaller: v or 92?
v
Let k(q) = -15*q**2 - 12*q - 40. Let r be k(-10). Let v = -9957/7 - r. Which is smaller: v or -1?
v
Let v be ((-16)/4 - 0)*(-145)/4. Let x = -131 + v. Is 1/4 less than or equal to x?
True
Let r = 0.99 - 1. Let n = -0.11 - r. Let b = 0.155 - 0.205. Are n and b equal?
False
Let h = 69988249/38 - 1841475. Let y = h + -321. Is -1 less than or equal to y?
True
Let y(p) = 1872*p - 5616. Let s be y(3). Which is smaller: s or 5/437?
s
Suppose -8*h = -14*h + 18. Suppose j + 3*t = h*j - 13, 4*t + 16 = 2*j. Suppose -j*i = 6*i - 88. Are 11 and i nonequal?
False
Let u be -1 + 9/15 - (-5850)/250. Let q(i) = 6*i**2 - i - 2. Let x be q(2). Are u and x unequal?
True
Suppose 11*i + 1049 = 114. Are i and -85 non-equal?
False
Let h = -1067483/494032 + 3/70576. Let o = h + 51/7. Which is greater: o or 6?
6
Let p be (-1800)/(-6300) - (0 - 354/(-14)). Let c(z) = -z**2 - 4*z - 6. Let n = 4 + -11. Let y be c(n). Which is bigger: y or p?
p
Let w be (-1145320)/550 + 3*(-4)/(-30) - 2. Are -2084 and w unequal?
False
Suppose 5*u + 22 = -2*d, 14*u - 3*d + 13 = 10*u. Let f be -1*u/(-6) + (-218)/6. Is -34 bigger than f?
True
Suppose -4*z + 2*a + 51 = -129, 4*a = -16. Let w(j) = -j**2 - j + 12. Let c be w(0). Suppose d - c = 31. Is d at least z?
True
Suppose 3*y = 4*i + 278, -149 + 125 = 3*i. Suppose -2*k = -5*x + 413 + 10, -3*x - k + 245 = 0. Is x > y?
True
Let k(o) = 2*o**2 + 106*o + 1231. Let b be k(-36). Do b and -70 have the same value?
False
Let m = 3.35 + -0.11. Let u = m - -0.06. Let k = u + -3.4. Is k bigger than 4?
False
Let l be (7/(-6))/(-3 + 1 - -3). Let w be ((-2 - (-20)/8)*-16)/1. Which is smaller: w or l?
w
Suppose 0 = 386*z - 343*z - 43. Let p be -2 + (-544)/(-548) + 1. Are p and z unequal?
True
Let f(l) = -291*l + 9. Let p be f(9). Let o be 871*9/p + 1 + 2. Which is greater: 0 or o?
0
Let n(x) = -3 - x - 3 + 1. Let y be n(-6). Let s be (0 - 1)/((-300)/(-900)). Are s and y equal?
False
Let w(p) = -6*p - 108. Let k be w(-26). Suppose -112 = -8*l + k. Suppose 4*t - 77 - 1 = a, 4*t = -4*a + 68. Is l smaller than t?
False
Let s = 10844 + -10844. Which is bigger: s or 901?
901
Let f = -0.05 + 5.05. Let r be 24*(10 - (11 + 143/(-132))). Is r less than or equal to f?
True
Let x = 27 - 26.125. Let d = x - -0.125. Let i = -16 - -13.7. Is d bigger than i?
True
Suppose 5*o + 143*b - 15905 = 147*b, 25 = 5*b. Which is smaller: 3184 or o?
3184
Let v = 810 - 819.091. Which is bigger: -0.2 or v?
-0.2
Let x = 1086 + -545. Let t = x - 540.9. Is -324 < t?
True
Let m = -285.1 - -122.1. Which is greater: 0.1 or m?
0.1
Let j(h) = -2*h**3 - 7*h**2 + 8*h - 6. Let g be j(-11). Is 1721 bigger than g?
False
Suppose 150 = 2*o - 5*b, -4*o + 4*b + 3 + 285 = 0. Let d be 7/o + 498/20. Is d > 25?
False
Let s(h) = 36*h - 152. Let c be s(16). Let x be c/144*-1 + 4 + -1. Do x and -4 have different values?
True
Let r be 84/(-12) - (28/98 - 46549/6391). Which is greater: r or 2?
2
Let k(p) = p**3 - 6*p**2 + 8*p - 3. Let f be k(5). Suppose -72 = 3*i - f. Let z(t) = -6*t**2 + t + 1. Let r be z(2). Is r bigger than i?
False
Let d(a) = -590*a + 4720. Let i be d(8). Does 2890/21 = i?
False
Let n = -10315 + 11026. Which is bigger: 7 or n?
n
Let k(o) = -5*o**3 + 2*o**2 - o - 2. Let l(d) = 5*d - 3. Let s be l(3). Suppose -14 = 2*t - s. Let w be k(t). Which is greater: 5 or w?
w
Let y(v) = -v**3 - 4*v**2 - 3*v - 14. Let h be y(-5). Which is smaller: 10 or h?
10
Let h = -22465 - -23033. Is 568 bigger than h?
False
Let n = 55 - 53. Suppose -n*r = -2*t + 35 - 9, 2*t = -3*r + 26. Suppose -t = -2*w + 5*o, o - 2 = -w + 8. Which is greater: 8 or w?
w
Let n be 9 + -6 - (-2 - -5). Let p(x) = -5*x**3 + x**2 - 2*x. Let k be p(1). Let i(l) = -l - 5. Let r be i(k). Are r and n unequal?
True
Suppose 0 = 5*h - 5*u + 5, 4*h - 7*u = -5*u - 2. Suppose h = 2*z - 6*z + 4. Are z and -1/4 nonequal?
True
Let u = -76/333 + 2/333. Let z = -16 + 43. Let k = -26 + z. Which is bigger: u or k?
k
Let o be (-6 - (-40)/5)/(4/(-332)). Which is greater: o or -164?
-164
Let a = 10848 + -10850. Which is greater: -0.1951 or a?
-0.1951
Let o be 213/(-7) - 12/21. Which is smaller: -87 or o?
-87
Suppose -2*b = 6*f - 9018, 270*b - 272*b + f = -8969. Is -3 >= b?
False
Let w be (7 - 12)*2/10. Let a be w/((-20)/304)*(-10)/4. Which is smaller: -39 or a?
-39
Let u be -4*((-3)/10)/3 - (-115888)/(-289920). Which is smaller: u or 0?
0
Let y = -19 - -24. Suppose 0 = -3*i + y*i - 246. Do i and 124 have the same value?
False
Let d = -0.341 + 318.341. Let a = -320 + d. Suppose 3*x + 33 = -15. Is x equal to a?
False
Let o(a) = -a**3 - a - 1. Let l(k) = 2*k**3 - 16*k**2 + 7*k. Let r(z) = -l(z) - 3*o(z). Let h be r(-16). Which is smaller: 0 or h?
0
Suppose -16*z - 107 = 149. Let n be (4 - 0 - 2) + -18. Is z less than or equal to n?
True
Let n be -10 + (1830/14)/5. Does 16 = n?
False
Let x be 6/(-8)*7060/(-12) - (-1 - -2). Is 441 greater than x?
True
Let c be (-12)/(-40) + 161/230. Are c and -5/1126 equal?
False
Let p be (8/(-9))/(-4) - 290888/(-369648). Let h = p + 15/302. Which is smaller: h or 1?
1
Suppose 16*r - 3*k = 11*r + 16, 4*r + k = 23. Suppose -r*l - 3*j = 45, 4*j + 18 = -2*l + 7*j. Which is smaller: l or -18?
-18
Let k = 8.6 + -10.08. Let j = 1.28 + k. Let l = 43 + -79. Is j smaller than l?
False
Let h(s) = s**2 + 26*s + 74. Let q be h(-23). Suppose v + 4*k = -84, 452 = -q*v - 20*k + 16*k. Is -92 smaller than v?
False
Let t = 2957 - 2960. Do t and -50.8 have different values?
True
Let i(t) = 17*t**3 + 2*t**2 - 3*t. Let b be i(1). Suppose -14*x - 68 = b. Which is greater: x or -4?
-4
Let v be 45/75 + 24/10 + -1. Suppose v*m - 9 = -7*m. Which is smaller: m or -12/25?
-12/25
Suppose -5*u = -27*n + 31*n + 16, 2*u - 4*n = 16. Let f be 4/(-6)*3/(-2). Let p be 7/21*f/42. Which is bigger: u or p?
p
Let s = -216 + 221. Suppose 0 = 3*t + 2*t + 3*v - 230, s*v = 0. Is 45 < t?
True
Let b = 33 - 33. Let t = -16 - -32. Suppose 2*c + 2*c = t. Which is smaller: c or b?
b
Let t = 4454 + -4453. Is -5442 less than or equal to t?
True
Let s be (-2)/(-14846) + -12 + 12. Which is smaller: -1 or s?
-1
Let o be 1 - 409/1317 - (418/33 - 12). Are o and -1 non-equal?
True
Let p = -182.6 - -163. Let q = 19.6 + p. Is q at least -15/2?
True
Let z be ((-298)/(-3)*13)/(74/(-111)). Is z > -1938?
True
Let a(w) = w**2 + 5*w - 4. Let i be a(-6). Let v = -108 - -108. Suppose v = -7*g + g - 6*g. Is g < i?
True
Let q = 2289 - 2219. Which is bigger: -42 or q?
q
Let h be 15/68*7/(-14)*(-12)/130. Which is greater: h or 1?
1
Let m(p) = -p**3 - 31*p**2 - 3*p - 97. Let f 