363). Suppose 12 = 3*x + 3. Let z(s) = -s**3 + 4*s**2 - 4*s. Let h be z(x). Is n less than or equal to h?
False
Suppose w = -3*h + 93, -5*w = -5*h + 2*h - 501. Let u = w + -99. Which is bigger: u or 1/88?
1/88
Let x = 1189/12 - 99. Let a be (8 - 8)/(4/2). Let m be -3*2/24*a. Which is bigger: x or m?
x
Suppose 2*a - 677 = -181. Let v be 1/7 - a/(-224). Is v less than 2?
True
Let o = 1.521 + 0.119. Let j = 43.64 - o. Are j and 0.2 non-equal?
True
Let l(z) = -z + 11. Let u be l(7). Let r = -4 + u. Suppose r = -n + 4*s + 2 - 11, 2*s - 4 = 0. Which is bigger: n or 2/11?
2/11
Let o be ((-42)/9)/((-26)/(-6)). Which is bigger: o or -2?
o
Let p = -0.04 - 0.26. Let h = -0.4 - p. Let q be (-20)/110 + (-6)/(-22). Which is smaller: h or q?
h
Let l be ((-4)/(-6))/((-2826)/351 - -8). Suppose 5*h = -2*q - 3*q - 75, -6 = 2*h. Which is smaller: l or q?
l
Let n = 0.97 + 0.33. Let j = -0.0328 - 216.9672. Let s = -217.2 - j. Is n at least s?
True
Let n = -344.19 + 344. Is n <= -0.08?
True
Let w = 332482/29 - 11466. Is w <= 0?
True
Let g(z) = -z - 3. Let n be g(-6). Suppose s = -n*s + 88. Let p be (-8)/s*(-9)/(-6). Which is bigger: p or 0?
0
Let u be (-117)/(-18) - (-2)/(-4). Let h(r) = -r + 1. Let y be h(u). Let i be y/(-15) + 8/(-6). Is 1/6 at least as big as i?
True
Suppose 27*l - 24 = 31*l. Let b = 3 - l. Which is smaller: 0.1 or b?
0.1
Let v = -41.9 + 40.9. Is 148 greater than v?
True
Let w be 6/8*(-24)/2. Let f(a) = 9*a - 107. Let z be f(11). Is z less than w?
False
Let r be (-4)/6 + (-5)/(-9). Suppose 0*n + 2*n + 20 = 2*d, 2*d + 4 = 0. Let k be (-3)/n + ((-6)/8)/3. Which is smaller: r or k?
r
Let k = 8 + -11. Let m(j) = -j**3 - 3*j**2 - 3*j + 4. Let h be m(k). Let i = -10 + h. Which is smaller: 0 or i?
0
Let k = 88 - 35. Let l = -53 + k. Which is greater: -1 or l?
l
Suppose -2*l - x = 4*x + 147, -2*l + 4*x = 102. Let p = l - -40. Suppose -3*t + 20 = -q, 21 = -3*q - t - 39. Which is smaller: q or p?
p
Suppose 22 = 4*c + 6. Suppose -4*u = c*x - 112, 88 = 4*u - u + x. Suppose 0 = 3*m + 5*f - 62, -2*f = 3*m - 5*f - u. Is m greater than 13?
True
Let y = -61793/49 + 1261. Which is smaller: y or -1?
-1
Suppose -5*d - 145 = 5. Let c be (-27)/(-4)*(-1 - d/36). Which is greater: c or -1?
-1
Let k be 12/20 - 374/490. Let c = 26/441 - k. Suppose v = -2 + 1. Is v not equal to c?
True
Suppose -3*n + 4*j + 44 = 0, n - 5 - 8 = j. Let l be 1 - (-3)/(-7)*14/n. Is l bigger than -0.04?
True
Let m = -7.19 + -39.81. Is m greater than or equal to 7?
False
Suppose 0 = -0*h - 2*h + 3*z + 5, 4*h = -z + 3. Suppose p = 5*p - 2*w - 28, 4*p = -3*w + 18. Let r = p + -5. Is r != h?
False
Let y(t) = t**2 + 20. Let u be y(-14). Which is greater: u or 215?
u
Let b = 576 - -163. Are b and 740 equal?
False
Let s = 396/59 + -287277/42775. Let m be ((-38)/4)/((-167475)/12894). Let w = s + m. Is 1 less than w?
False
Let h = 5 + -15. Let j be h - 0/(1 + 3). Let f = j - -6. Is -4 <= f?
True
Let k(y) = 2*y**2. Let r be k(1). Suppose r*s = -2*s. Let v be ((-35)/(-50))/(2/(-4)). Does v = s?
False
Suppose -21 = -5*a + 2*z, 9 + 0 = -a - 4*z. Suppose -2 = -5*m - 2*d + 18, 0 = 2*m - 4*d + 16. Let l = m - -2. Which is bigger: a or l?
l
Suppose -138*f = -134*f + 1964. Is f not equal to -491?
False
Suppose 0 = -2*o + 5*w - 2, 0 = 4*o - o - w - 10. Suppose -2*r - o*l - 28 = 0, -r - l = 2*r + 27. Let j(c) = c - 12. Let k be j(5). Which is smaller: r or k?
r
Let s = -1 + 0. Let x be (2 - 2)/(2*s). Let u be (138/1012)/(6/11). Which is greater: x or u?
u
Let y = 1249 - 1153. Is y bigger than 92?
True
Let r(n) = n - 2. Suppose 7*c - 3*c = 0. Let s be r(c). Let w(u) = -u**3 + 12*u**2 + 4*u - 47. Let x be w(12). Which is smaller: x or s?
s
Let k(q) = 2*q**2 - 3*q. Let f be k(4). Let s = f - 14. Suppose -s*z + 3*z - 9 = 0. Which is smaller: z or -4?
-4
Let r(f) = f**3 + 10*f**2 + 6*f - 10. Suppose 53*m - 49*m = -36. Let i be r(m). Is 16 at least as big as i?
False
Suppose 27 = 214*r - 205*r. Is r smaller than 41?
True
Let s be (-48)/56*(-3)/(180/39). Let l = s - 2/35. Are -3/5 and l non-equal?
True
Let b(d) = d + 1. Let m(k) = -15. Let w(q) = b(q) + m(q). Let r be w(14). Suppose 5*a + n - 3 = 0, r*a + 14 = 4*a - 5*n. Which is greater: a or 0?
a
Let x(u) = -34*u. Let i be x(1). Which is greater: i or 2?
2
Suppose -11 = k + 2*g - g, 3*g + 18 = -2*k. Let r = k + 6. Let w be 1 + 5/(35/r). Which is greater: -1 or w?
w
Let l(n) = n**2 - 42*n + 174. Let z be l(38). Suppose 5*x = -5*u + 100, -30 - 70 = -5*x + 4*u. Is z less than x?
False
Let l = 93539/12 - 25025/4. Let f = l + -1561. Which is smaller: -23 or f?
-23
Let a be (3 - 73)*60/(-42) + -3. Is 97 equal to a?
True
Let y = 55 + -51. Let k be y/(-14) + (-189)/(-147). Is -1/8 not equal to k?
True
Let p(o) = o**3 - 4*o**2 - 4*o - 6. Let k be p(5). Let h(t) = t**2 - 29*t - 61. Let u be h(31). Is u less than or equal to k?
False
Let r = 34.4 - 17.4. Suppose 2*z = 4*z - 2. Which is smaller: r or z?
z
Suppose -q + 3 = -3*u, -12 = -q + 5*u - 7. Let b be (3/(-6))/((-46)/24). Which is bigger: q or b?
b
Let q(w) = w**3 - 41*w**2 - w + 47. Let d be q(41). Which is smaller: d or 5?
5
Let r be 102/30 + (-1)/((-1)/(-3)). Let u(j) be the first derivative of j**2/2 - 5*j - 1. Let f be u(4). Is r >= f?
True
Let w be (9434/(-1886) - -5)*2/(-4). Is 1 less than w?
False
Suppose -5 = 5*o + 20. Let h be 1*((5 - 1) + o). Which is bigger: -1/18 or h?
-1/18
Let f = -25.015 - -25. Let z = f - 21.985. Let m = z - -38. Is m at least 0?
True
Suppose 197 + 63 = 4*t. Let x be (-48)/14*(-1155)/60. Are x and t nonequal?
True
Let z(j) = -5*j + 5*j**2 + 3*j**2 + j**3 + 4*j - 8 - j**2. Let l be z(-7). Let p be 11/(-7) + 2/1. Do p and l have different values?
True
Let p = 33 - 57. Let s = -21 - p. Suppose -6*m - s = -3*m + 3*d, m - 3 = 3*d. Which is smaller: -1 or m?
-1
Let a = -94 - -1032/11. Let s(h) = h**2 - 6. Let r be s(3). Let m be (-10)/(-30)*r/4. Are m and a equal?
False
Let q be (-2 + -8)*21/(-14). Let k = -11 + q. Suppose 21 = 5*r - k. Is r equal to 3?
False
Let n be 986/(-119) + 5/(-7) + 1. Let j be (136/(-16) - n)/(1/(-2)). Let q = -1460/9 - -162. Which is bigger: j or q?
j
Let m = -2549 - -2924. Which is bigger: 374 or m?
m
Let y(w) = -w + 5. Let d be y(4). Is d bigger than -8/37?
True
Suppose 0 = -j - 81*a + 86*a - 27, 0 = -3*j + 4*a - 26. Is -196 at most as big as j?
True
Suppose -4*o + 1306 = 2*b, -o = b - 596 - 52. Let t be b/(-63) - (-4)/(-18). Let j = -67/7 - t. Which is smaller: j or -1?
-1
Let p = -10 + 15. Let d(s) = 4*s**2 + 0*s - p*s + 4*s - 3*s**2. Let w be d(1). Is 2/7 less than w?
False
Let i(j) = 56*j**2 - 30*j + 126. Let c be i(7). Do c and 2660 have the same value?
True
Let v(q) = 3*q + 1. Let k be v(1). Let f be 10*k*(-1)/(-8). Let n = -23 + f. Which is smaller: -19 or n?
-19
Let c = -5 - -7. Let w(n) = -n**3 + 6*n**2 + 8*n - 2. Let p be w(7). Which is bigger: p or c?
p
Let i be ((-36)/(-15))/(6/15). Suppose -5*h = -i*h - h. Which is smaller: h or 10/9?
h
Let s = -12064 + 1013363/84. Let m be (-2)/(-8) + 58/(-168). Let a = s + m. Do 1/5 and a have the same value?
False
Let m = 10 + -6. Let p = 11 - 11.1. Let l = p - -1.1. Which is bigger: l or m?
m
Suppose 6 = -0*m + 2*m. Let c be (6/5)/(m/(-10)). Let o be (2/c)/((-5)/(-15)). Which is smaller: 1 or o?
o
Let i = 1583 + -1583. Which is bigger: i or -5/287?
i
Let j = -7.86 - 0.14. Let q = -7 - j. Which is greater: q or 7?
7
Let g(b) = b**3 - 3*b**2 - 2*b + 3. Let l be g(4). Suppose -2*r = 5*a + 21, -3*r + 4*a = 3*a - l. Let m be (5 - 4) + -2 + r. Is -2 less than m?
True
Let w = 2226 + -2225. Which is greater: -7/89 or w?
w
Let q = 33 - -4. Suppose q*t - 40*t = 9. Which is smaller: t or -4?
-4
Let x = -0.17 - 71.83. Let m = -7769/2 - -3884. Do m and x have the same value?
False
Suppose 4*z + 10 = -2. Let p be 0*(-5 - (z - 1)). Suppose 5*u = -2*s - 31, -2*s + p*s + 3*u - 7 = 0. Which is greater: 0 or s?
0
Suppose 0 = 3*q - 1 - 8. Suppose 0 = 3*t + 12, -r + q = -2*t - 6. Is r at least 10/7?
False
Let a(d) = 6*d - 2. Let m be a(6). Let r be (-2)/(-8) - m/200. Let o be (-8)/(-6)*(-6)/76 + (-670)/(-6365). Is r at least as big as o?
True
Let k = 3.94 + -2. Let r = -0.06 - k. Suppose 18*g = 8*g - 20. Does g = r?
True
Suppose y + 1927 = -4*i, -5*i = -45*y + 48*y + 2400. Are i and -482 equal?
False
Suppose -4*c + 2*q = -16, -c + 4*q - 