*1*1986. Is j less than or equal to -1323?
True
Let v(o) = 11*o**3 - 2*o**2 - o + 5. Let f be v(2). Let h = 83 - f. Let u = 2.9 - 6.5. Is u less than or equal to h?
True
Let l be 3 + (-3 + (-102708)/(-34248))*2*1429. Which is smaller: 1 or l?
l
Let n = 6272 + -62641/10. Let p(x) = -2*x**3 + 8*x**2 - 2*x - 4. Let s be p(3). Is n greater than s?
False
Let y(x) = -6*x - 26*x + 130 + 328 - 9*x. Let u be y(11). Suppose -5*w + 6 = -29. Is w greater than u?
False
Suppose -40717 = -47*k - 1029 - 2746. Which is smaller: k or 788?
k
Let j be 60/168*(-168)/80. Which is smaller: 78 or j?
j
Let c = -6 + 17. Let x = -760 - -886. Let p = x - 125.8. Is c not equal to p?
True
Suppose 5*i + 9*q + 55 = 5*q, 0 = 2*i - 2*q + 40. Suppose -3*f - 3*h - 18 - 33 = 0, -4 = 2*h. Let r be (-98)/6 + (-5)/f. Is r greater than i?
False
Let n(z) = 4*z**2 - 13*z - 2. Let p be n(4). Suppose -13*a + p = -8*a. Which is bigger: -67 or a?
a
Let j be (-6)/7 + -9 + 11. Let m be 80/48 - (-22)/3. Let g(l) = -l**2 + 7*l + 20. Let v be g(m). Is v less than j?
False
Suppose 7 = 3*k + 5*s, 11*k - 12*k - 3 = 3*s. Which is greater: 169/22 or k?
k
Suppose 0 = 5*p + 5*g - 222 + 32, 0 = 3*p + g - 126. Is p at most 54?
True
Suppose -2 = -4*k + 10. Let y be (-1 - (-23 + k)) + -2. Suppose 885 - 250 + 885 = 95*f. Is y bigger than f?
True
Suppose d + 5 = -2*a, 13 = -0*d + 4*d - 3*a. Let u = 280305/94 - 2982. Which is smaller: d or u?
u
Let k be -2 - 0 - (-12*(-24)/(-18) - -10). Let y be (-10)/(-36)*-4*30/(-12). Which is smaller: k or y?
y
Let f = -13327 - -13327. Suppose 5*i = -4*n - 61, 3*i - 3*n + 14 = -1. Let c = i + 3. Which is bigger: c or f?
f
Let n(f) = 2*f - 6. Let m(j) = -j**2 - 9*j - 6. Suppose -2*h + 4*b = 36, 53 = -5*h + 5*b - 12. Let k be m(h). Let q be n(k). Which is greater: q or 4?
4
Let n(l) = -6*l**3 + 25*l**2 + 58*l + 24. Let i be n(11). Is i not equal to -4300?
True
Let d(n) = -2*n**3 - 15*n**2 - 5*n + 7. Let o = -14 + 7. Let m be d(o). Is -6 not equal to m?
True
Let h = 156 - 1. Let q = h + -467/3. Are q and -1/4 equal?
False
Let n(v) = 149*v - 933. Let s be n(5). Is s > -191?
True
Suppose 15 + 1 = -o + 4*c, 4*c = -4*o + 36. Suppose 2*x + 523 = 5*q, -o*q + 172 = 3*x + 899. Do -249 and x have the same value?
True
Suppose h + 4*r - 2 = 0, -2 = -h + 4*r - 0*r. Suppose 4*u - 40 = -4*b, -5*b + 53 = -0*u + h*u. Which is greater: 0 or b?
b
Suppose 344 = -5*m - 3*u, 17*m = 15*m + 2*u - 144. Let n = -69 - m. Are 2/19 and n unequal?
True
Let u(c) = -5*c**3 + c**2 + c. Let h be u(-1). Suppose 0 = j + 3 + 1, h*q - 392 = -2*j. Let n = -76 + q. Is 19/5 not equal to n?
True
Let y = 83624987/2679 - 31215. Which is smaller: 1 or y?
y
Let y(o) = -133*o + 3551. Let w be y(42). Is w equal to -2039?
False
Suppose 15*j - 1455 = 10*j. Let h = j + -295. Which is bigger: 0 or h?
0
Let n(a) = -7*a + 22. Let u be n(5). Let m(v) = -7*v - 108. Let q be m(u). Which is bigger: q or -19?
q
Let m(q) = -1369*q - 130. Let g be m(14). Let l be 57924/g - (-3 - 0). Which is greater: 1 or l?
1
Let j be -15 - -25 - 1020/(-10). Is 110 > j?
False
Suppose 1 = -w - 2*r, 3*w + 5 = -2*w - 2*r. Let q be (-2)/(2 + w) + 744/156. Is q greater than -0.3?
True
Suppose 3*l - 5*d - 89 = 0, -4*l - 3*d + 72 = -66. Let w be (-1)/(-3)*(6 - l). Let y be w/12 - 57/(-12). Is y less than 36/7?
True
Suppose 2*v - 47 = x, -5*v + v - x + 103 = 0. Suppose 0 = -2*h + 7*h - v. Suppose h*g - 49 = 46. Which is smaller: 20 or g?
g
Let h = -5.6 - -5.6. Suppose 5*a - 2*k - 102 = 0, 0 = a - 2*k - 0*k - 14. Suppose -5*b = 2*x - 17, 3*x + a = 2*b - 0*b. Which is greater: h or b?
b
Let i be ((-82)/1)/(0 - -9). Let g = i + 203/18. Let u be (-152 - -149)/(45/(-30)). Is g at least u?
True
Let q = -97.29 - -0.29. Let a = -247 + 245. Is a less than q?
False
Suppose 1 = 5*l - 3*p, -l + 5*l = 5*p - 7. Suppose l*h + 105 = 7*h. Suppose -6*a = -a - 10. Which is bigger: h or a?
h
Let l(a) = a**3 + 10*a**2 + 22*a + 44. Let v be l(-8). Let y = 16 + -26. Let b = -10.1 - y. Which is smaller: b or v?
v
Let b be (2/(-3))/((-1)/(-96)). Let a be (-42552)/675 + 10/250. Which is greater: b or a?
a
Let z be (255/(-68) - -3)/((-13)/(-1392)). Which is greater: z or -80?
-80
Let r = -199 + 213. Suppose -r*l = -22*l + 200. Is -3 != l?
True
Let g(c) be the first derivative of 36 - 3/2*c**2 - 42*c. Let d be g(-14). Which is greater: 2/95 or d?
2/95
Let t be (9/78)/((-3)/4). Suppose 42 = 4*o + 6. Let i be (o - (4 + 1)) + 2. Which is smaller: i or t?
t
Let l be 5173/(-7)*(14 - 9). Which is smaller: l or -3696?
-3696
Let c = 22.92 - 9.82. Is c greater than 1?
True
Let v = 22 - 21.1. Let y = 7854 + -7853. Which is greater: v or y?
y
Let c be 22 - (67050/4185 + 6). Let b = 4 - 6. Are b and c non-equal?
True
Let y(u) = -7*u + 83. Let k be y(11). Let j be ((-29)/k)/(4/(-24)). Is j < 28?
False
Let s = 140 + 105. Let l = s + -244.9. Is 142/3 at most as big as l?
False
Let x = -2410 - -2398. Is -0.1 less than x?
False
Suppose 2*a = -8, -3*o + a - 1 = -11. Let g be o*2*25/50. Which is greater: g or 3/4?
g
Let b(u) = 8*u - 19. Let z be b(8). Let g = -133 - -143. Suppose 0 = 16*c - g*c - 264. Does c = z?
False
Let j = -17085 - -16861. Is -1117/5 at least j?
True
Let o = -993 + 6950/7. Let w(k) = -k + 4. Let l be w(0). Suppose -l*m + 9*m = 45. Which is bigger: o or m?
m
Let k be (3 + 3 - ((-15194)/(-1380) + -5))/(-1). Which is smaller: -1 or k?
-1
Suppose -x + 16 = 4. Let o(v) = 1 - 6 - v - x - 6. Let q be o(-10). Is -13 at least q?
True
Suppose -2*w = -2395*l + 2394*l + 5, -10 = 5*w. Which is greater: 4/573 or l?
l
Let l be 16 + 95/(-6) - (2 - (-3367)/6). Is l > -565?
True
Let v(p) = -p + 11. Let t be v(7). Let u(s) = 2*s**3 + 12*s**2 - 13*s + 21. Let l be u(-11). Let n = -7304/7 - l. Which is smaller: n or t?
n
Let a = 45.06 + -45. Let j = a + 0.14. Suppose 3*d = -5*s - 3, 2*d - 11 = 3*s - 2*s. Which is bigger: s or j?
j
Let b be (244798/(-4))/(405/(-54)). Let y = b + -8163. Is -4 >= y?
False
Let c be (-35)/7 + 5 + (68 - (-4)/2). Which is smaller: c or 13?
13
Suppose -139*m + 7056 = -41*m. Which is bigger: m or 68?
m
Let o(x) = -x**2 + 28*x + 59. Let z be o(-2). Which is greater: 34/245 or z?
34/245
Suppose 402*h = 413*h. Which is smaller: h or 4/1039?
h
Let j(x) be the first derivative of x**4/2 + 35*x**3/3 - 21*x**2/2 - 36*x + 18. Let t be j(-18). Let g be 1*(-2 + 21 + -2). Do g and t have the same value?
False
Let v(l) = -80 - 35 - 77 - 12*l. Let m be v(26). Which is greater: -505 or m?
m
Let m = -6 + 11. Let z be m/(-2)*(-2)/(-10). Let i(w) = 390*w - 8970. Let c be i(23). Which is smaller: z or c?
z
Let k be (0/(-10*1/2))/(0 + 4). Which is smaller: k or 2/3327?
k
Let p be (-1 + 2)*(4/16)/(8/448). Suppose 20 + 40 = 4*o. Let b be o - (9/(-3))/3. Which is smaller: p or b?
p
Suppose -9*j + 414 + 65 = -2*f, 3*j + 292 = -f. Is -1900/7 at least as big as f?
False
Suppose -20*x - 7624 - 9073 = -5617. Which is bigger: x or -557?
x
Let s be -2 - (2 - (3 + 2)). Let y be 2 - (-2 - -4) - s. Let f be (-22)/(12936/318) + -2*(-1)/4. Which is smaller: f or y?
y
Let t(i) = -i**2 + 1396*i + 1398. Let m be t(-1). Is 18/4493 bigger than m?
False
Let h(p) = p**3 - 6*p**2 - 9*p + 6. Let x be h(8). Let l = -560/9 + x. Let f = -97 - -98. Is l < f?
True
Suppose 12 = w - 3*j - 4, -4*j = 16. Suppose 0 = 3*b + 13 - 4, w*l + 2*b = -10. Let o = 83/176 + -9/16. Which is bigger: l or o?
o
Suppose -31*m = f - 26*m - 5415, -4*f = -m - 21744. Which is smaller: 5436 or f?
f
Suppose 3*w - 30 = -2*t, 5*w - t + 9 = 6*w. Let p be (-20)/3*72/(-32). Is w less than p?
True
Let f be (8 + 4)/(-6) - (-7104)/27. Let z = f - 262. Which is smaller: z or 4?
z
Let j be 84/(-2 + 4)*2/12. Do j and 3 have the same value?
False
Let r = 126/19 - -610/57. Let i = r - 17. Are 2/39 and i non-equal?
True
Let m = 110 - 115. Let c be ((-84)/m)/((-6)/60) - 4. Which is bigger: -341/2 or c?
-341/2
Let b = -5270 + 5241. Is b greater than or equal to -0.002?
False
Suppose 3*f + 9 = s, 0*f = 3*s + 5*f - 41. Suppose s = -36*p + 33*p. Let n be 6/p - (-5)/10. Which is smaller: n or -1/19?
n
Let k = -3518613277/8975174 - 5/345199. Let l = k + 392. Is 0 smaller than l?
False
Let i = 3171 + -3172. Let c = -3143 - -3166.09. Let v = -23 + c. Is i equal to v?
False
Let o = -1836.2 - -1837.2. Let b = -109/14 + 555/56. Which is smaller: b or o?
o
Suppose 6*w = 16