be (24/(-60))/((-1)/15). Let q be (-15)/(-12) + (6 - -3 - 3). Which is bigger: m or q?
q
Let x = 403 - 491. Is x at least as big as -88?
True
Let o be (1 - ((-1184)/(-98))/2) + 5. Is 0 <= o?
False
Let d(c) = c**3 + 17*c**2 - 4*c - 10. Let t be d(-16). Which is smaller: t or 311?
t
Let r(c) = -c**3 + 11*c**2 - 8*c - 23. Let x be r(10). Let i be ((-7)/(-2))/((-8)/16). Which is bigger: x or i?
x
Let c(p) = 20*p**2 + 2*p - 2*p**3 - 18*p**2 + 0*p**3. Let l be c(-1). Which is bigger: 18/11 or l?
l
Let j = -42 + 41. Are j and 3/223 unequal?
True
Let d = 12 + -14. Let j = 2 + d. Let c = j + 1. Is c smaller than 1?
False
Let r = 25.94 - 37.53. Let x = r + -0.41. Which is greater: -1/4 or x?
-1/4
Let j(t) = t**3 + 11*t**2 + 9*t - 6. Let x be j(-5). Is x <= 99?
True
Let v(i) = 45*i + 271. Let a be v(-6). Which is greater: -2/117 or a?
a
Let r = -137 + 1369/10. Let h = -35.2 - -33. Let f = h + 2.4. Which is greater: f or r?
f
Let k(l) be the second derivative of -l**5/20 + 7*l**4/12 + 7*l**2 + 19*l. Let u be k(7). Which is smaller: 18 or u?
u
Let z(o) = 9*o - 2*o - o - 4*o**3 + 3*o**3 + 4 + 5*o**2. Let c be z(6). Let n be (-169)/143 - c/(-22). Is -2/3 less than n?
False
Let r(d) = d**2 + 15*d + 19. Let v be r(-14). Let c be 3*v/30*18. Is 9 > c?
False
Suppose 7 + 19 = -u. Let g be u/6*(-5 + 0 + 4). Suppose 2*h - 11 = -3. Is h bigger than g?
False
Let j be (-26)/(-6) - (-4)/(-12). Let k be j/2 - (3 + -5). Suppose -5*o = 5*b - 3*b - 20, -3*b - 3*o = -21. Which is greater: k or b?
b
Let l(w) = w**3 - 10*w**2 - 13*w + 25. Let v be l(11). Suppose 2*s + o = 1, -5*o - 10 - 27 = -4*s. Let d = 7 - s. Is v > d?
False
Suppose -r + 4*c - 3 = 5, -5*r + 5*c = -5. Suppose 6 - 12 = -6*q. Suppose -q + 9 = -r*x. Are x and -1 equal?
False
Suppose 5 = -3*u + 3*y - 1, -u = -4*y + 5. Let h be (15/90)/((-43)/(-3)). Let p = h - 109/129. Is p < u?
False
Suppose 2*i + k + 20 + 7 = 0, -3*k = -2*i - 7. Are -49/5 and i unequal?
True
Suppose 24 = -s - 3*s. Let x be -2 + (-504)/(2 + s). Suppose -x = -0*m + 4*m. Is -31 < m?
False
Let g(v) = -v**3 - 6*v**2 - 10*v - 22. Let q be g(-5). Suppose q*n + 63 = -4*n. Let u = -11 - -3. Which is smaller: u or n?
n
Let s = -180 - -179.75. Is s bigger than 2?
False
Let p be ((-30)/(-45))/((-2)/9). Let k be 22/(-8) + p/12 - 15. Is -17 not equal to k?
True
Let j be -3 + 1 + 0 + -3. Let h = j + 18. Suppose 3*z = -3*i + 24, 4*z + 3*i = 2*z + 12. Is z bigger than h?
False
Let h = -44 + 43.977. Let j = h + 0.223. Is -2/91 < j?
True
Suppose 5*r + 61 - 9 = 4*c, 3*r = -5*c + 28. Suppose -a + m - 4 = 0, 2*m - c = -a - m. Is a less than 1?
True
Let a = -51 - -55. Suppose -x + 0*x + 4*z + 4 = 0, 4*z = -a*x + 76. Is x greater than 16?
False
Let x(l) = l**3 - l**2 - 7*l + 4. Let d be x(5). Suppose 4*r + d = -3*s, 22 = -2*r - 4*s - 10. Let a = r - -14. Which is smaller: a or -16/5?
a
Let b = -15 - -68. Let u = 36 - b. Let t = u + 18. Is t bigger than 0.2?
True
Suppose -d + 3*c + 18 = 0, -2*c = d - 4*c - 14. Let f(z) = -3*z**2 + 14*z - 7. Let l be f(d). Is -32 greater than l?
False
Suppose 3*w - 160 = -w. Suppose 2*x = -5*c + 2, 5*c + 0*c = 5*x - w. Suppose -76*b = -13*b - 315. Which is greater: x or b?
x
Let u be (3/(-6))/((-18)/(-36)). Suppose 0 = -0*x + 2*x + 6. Let j be ((-8)/x - 2)*-9. Which is bigger: u or j?
u
Let j be (4 + 72/(-12))/(-2). Let y be (-1)/(2 - (-21)/(-12)). Let b be (y/(-10))/(6/20). Which is bigger: j or b?
b
Let l be (-44)/(-10) + 2/(-5). Suppose s + 8 = -2*j + 12, 0 = -3*j - s + 6. Suppose 3*y = 4*q + 5, -4*q + 6*y - 8 = j*y. Is q < l?
True
Let k(w) be the first derivative of -w**2/2 + w + 79. Let j be k(2). Let f = 65/2 + -461/14. Which is smaller: f or j?
j
Suppose -4*x + 3*j + 8 = 0, -x - 5*j + 7 = 5. Which is bigger: x or 54/25?
54/25
Let l be 2/(-9) + 1923/27. Is l < 1?
False
Let d = -39 + 37. Let a be 0/(-1) + 1 + 0 + d. Is -1/40 smaller than a?
False
Let v be 591/10 + 7/14. Let o = v - 59. Suppose -2*l = -6*l. Which is bigger: o or l?
o
Suppose -541*l + 10 = -551*l. Which is smaller: 2.8 or l?
l
Let f = -4 - -1. Let y be 3/(-21) - f - 2. Let q(c) = c**3 + 4*c**2 + 4*c + 4. Let z be q(-3). Is z greater than or equal to y?
True
Let i(l) = l**3 - 5*l**2 - 13*l + 62. Let v be i(5). Is v less than -4.3?
False
Let t be 33/12 - (-1 + 3). Let f = -21.6 + 22. Let p = -2.4 + f. Is t equal to p?
False
Suppose -5*i = -3*r + 3, -62*r + 66*r - 4 = 5*i. Let n = 219 - 1536/7. Which is bigger: i or n?
i
Let g be (3 + 6)*(-12)/9. Are g and -136/11 non-equal?
True
Suppose 0 = -14*c + 21*c - 21. Which is bigger: c or 3/10?
c
Let a(z) = z**3 + 6*z**2 - 10*z - 5. Let r be a(-10). Which is greater: r or -304?
-304
Let v = -3758 + 48925/13. Let w = 4215/767 - v. Which is smaller: 0 or w?
0
Let g = 2 + -3. Let x = -1353 + 1352.4. Is x at most g?
False
Let t = 15 + -4. Let n = 12 - t. Let g = -2/13 + -3/65. Is n != g?
True
Let y be (-217)/(-35) + 2/(-10). Let g(x) = -x + 5. Let d be g(5). Suppose -y*t + t = d. Is t > -2/13?
True
Let l(k) = 5*k - 6*k + 7 - 9. Let f be (-26)/10 + 2/(-5). Let m be l(f). Is m at most as big as 0?
False
Let y = 80 + -138. Let d = 177 - 234. Which is smaller: y or d?
y
Let t(f) = -f**3 - f**2 + 3*f. Let c = 19 + -21. Let j be t(c). Which is smaller: -10/9 or j?
j
Let r be 1/(3 - 56/20). Suppose -2*l + 16 + 18 = -3*g, -52 = -3*l + r*g. Suppose 5*u = -l + 4. Which is greater: u or 4?
4
Let d be ((-30)/(-32))/(17/(680/(-30))). Suppose -l + s - 1 = -2, 4*l + 4*s - 28 = 0. Let z be -2 + 1 - (3 - l). Is d less than or equal to z?
True
Let s = 263.5 + -263. Let r = s + -0.6. Let u be 7 + 0 + 0/2. Which is smaller: u or r?
r
Let j(x) = 4*x**2 - 18 + 6*x - 5*x**2 + 56 + 7*x. Let u be j(16). Is -12 equal to u?
False
Suppose 2*j - 76 = -f, 4*f = 3*f + 4*j + 52. Let n be (f/6)/((-12)/9 - -2). Which is smaller: 1 or n?
1
Let r be ((-26)/(-15))/((-4)/(-18)). Let x = -4016 - -4024. Is x at least r?
True
Let y = -110.6 + 107.6. Is 0.062 > y?
True
Let z = 112 - 1234/11. Which is smaller: z or -9?
-9
Let b be 16/4 - 0/2. Suppose -b*y - 4 = -0*y. Which is bigger: 0 or y?
0
Let x(s) = -9*s + 62. Let w be x(7). Which is smaller: w or 1/288?
w
Let u = -2 + 2.2. Let g be ((3/(-2))/(-1))/((-667)/58). Which is greater: u or g?
u
Suppose i + 3*s + 2097 = -2*i, 2*i + 1396 = -s. Let f = i - -7681/11. Which is smaller: 0 or f?
0
Let a(w) = -w**2 - 9*w - 6. Let c be a(-6). Let g = 15 - c. Suppose -g*t = -4*z - t - 60, 3*z + 44 = t. Which is smaller: z or -13?
z
Let t(y) = y**3 - 12*y**2 + 10*y + 13. Let n be t(11). Let v be -2*(2/n + -2). Let p be (v/1 + -1)/5. Which is smaller: p or 1?
p
Let w = -0.091 + -10.909. Let o = 0.21 + -11.21. Let j = o - w. Which is smaller: j or 0.9?
j
Suppose 20*m - 8 + 28 = 0. Is m != 59?
True
Let h(t) = t**3 - 52*t**2 - 2*t + 103. Let i be h(52). Is -20/21 < i?
False
Let m = 935/1862 - 2/931. Which is smaller: -914 or m?
-914
Let n be (10/3)/(8/(-12)). Let t be (8/(-10))/(2/n). Let x = 7 - t. Is x != 4?
True
Let h(g) = -g**2 - 12*g + 41. Let k be h(-14). Which is smaller: -16 or k?
-16
Let p = 699 - 823. Which is smaller: p or -501/4?
-501/4
Let p be (-415376)/(-8)*7/(-2). Let r = 2369113/13 + p. Let x = r - 512. Which is smaller: x or -1?
-1
Let g = -15 + 17. Suppose 2*n - g*w = -12, -3*n - 5*w = 17 + 33. Which is greater: n or -11?
n
Let b = -0.01 - -1.51. Let s = 1.5 - b. Let y = 1 - -2. Which is smaller: s or y?
s
Let r(j) = -j - 4. Let u(m) = m**2 + 6*m - 6. Let x be u(-6). Let d be r(x). Let b be d/(-1)*(-5)/(-2). Which is smaller: b or -4?
b
Suppose 5 = 5*i - 0*i + v, -2*v = i - 1. Which is bigger: -6/47 or i?
i
Let a be (-10)/(-6)*(-84 + 87) - -4. Are a and 101/11 equal?
False
Let c = 18 - 12. Suppose c*l + 5 - 11 = 0. Is l smaller than 4?
True
Let d = 81 + -78. Suppose 3*g + d*p - 21 = 0, 0*g + 2*p = g + 5. Suppose -2*z - 2*z = 0. Which is bigger: z or g?
g
Let s(c) = 23*c + 61. Let a be s(-3). Which is greater: a or -11?
a
Let w = -4.4 - -5. Let f = 0.6 - w. Let p = -0.714 + 0.114. Is p > f?
False
Suppose d + 5 - 3 = -j, 2*j = -10. Let m be -4 - (0 - (-1 - d)). Let k be 81/(-18)*m/(-21). Is -2 equal to k?
False
Let y be (-2 + 0/(-3))/2. Let i be (-18286)/66010 + (-4)/(-42)*3. Is y bigger than i?
False
Suppose 273 = -15*v + 12*v. Is -90 greater than v?
True
Suppose 3*m = -2*i + 9, 2*i - 29 = -4*m + 5*i. Let x(l) = 7*