 + 7. Which is bigger: q or b?
q
Let q be 2 + ((-21)/19 - 1). Let b be (-2*1)/(9 + -10). Let g be 16/20 - b/(-10). Is q > g?
False
Let l = -41 + 28. Let n = -17 - l. Let z = -3 - n. Which is smaller: z or -1?
-1
Let m(k) be the first derivative of -k**3/3 + 11*k**2/2 - 6*k + 28. Let o be m(15). Is -66 > o?
False
Let d be 1005/4 - 55/44. Does 251 = d?
False
Let l = 11/24 + 797/408. Which is bigger: l or 1?
l
Suppose 39*h - 133 = -835. Let j = 4 - -8. Let b = h + j. Which is smaller: -5 or b?
b
Suppose -6*q + 14*q - 32 = 0. Let d be (-1)/q - (0 + (-174)/(-8)). Which is smaller: -23 or d?
-23
Let b = -78.69 - -1.69. Let h = -77 - b. Are h and -11 nonequal?
True
Let h = 35084/16687 + -86/41. Let v = 4491/2849 - h. Is v less than 2?
True
Let l(k) = k**2 - 5*k + 5. Let u = 9 + -4. Let a be l(u). Suppose 0 = 2*y - a*d - 24, 3*d = -4*y - 4. Is y > 2?
False
Suppose 6 = 4*v - 10. Suppose 5*g - 65 = 2*q, 3*g = v*q + 19 + 20. Let s = g + -8. Which is smaller: s or 4?
4
Let f = 21809/66 + -1627/6. Which is smaller: 60 or f?
f
Let d(c) = 3*c**2 - 4*c + 1. Suppose 12 = -0*f + 3*f. Let r be d(f). Let v = r + -67/2. Is -4 at least v?
False
Let l(t) = t**3 + 6*t**2 + 3*t - 2. Let d be l(-6). Let a be 44/10*d/(-12). Which is greater: a or 6?
a
Suppose 2*j + 2*w = 134, 2*j + j = -4*w + 206. Let s = j - 72. Is s bigger than -9?
False
Suppose 0 = q - 0 + 6. Is q bigger than -2?
False
Let z(a) = -a + 4*a + 7*a - 6 + 20. Let t be z(-2). Which is greater: 2/9 or t?
2/9
Suppose -57*x - 22388 = -28*x. Which is smaller: 0 or x?
x
Suppose 86*i - 85*i - 2 = -2*o, 0 = -4*o - 4*i. Which is smaller: o or 11/21?
11/21
Let d be (-172)/(-3)*24/64*4. Let z = -91 + d. Suppose 3*a = 2*j + 1, -j - 4*a = j + 36. Is j smaller than z?
True
Suppose 8 = -q - 0*q. Let o be (6/q)/((-2)/8). Suppose -12 = -z - o*t, -z + 4*z = t + 36. Which is smaller: 13 or z?
z
Let m = -0.121 + 0.089. Let w = -0.132 - m. Is -58 less than or equal to w?
True
Let u(b) = 25*b - 46. Let a be u(14). Let o be a/(-28) - 1/7. Is o >= -21/2?
False
Let s be (7 - 7)*1*-1. Let k = 3 - s. Which is bigger: 11/6 or k?
k
Let a(o) = -o**3 + 2*o**2 - 4*o + 2. Let v be a(3). Let n = -18 - v. Is 1 > n?
False
Let c(v) = -2*v + 22. Let u be c(10). Let s = -126038/2415 - 5/483. Let y = s - -52. Which is bigger: u or y?
u
Let u = -102 - -114. Let p be 79/308 - (-4)/(-16). Let n = p - 313/770. Which is bigger: u or n?
u
Let i = -7 + 6. Let l = -0.05 + 3.45. Which is greater: i or l?
l
Let u = 9.743 + -1.743. Which is smaller: 29 or u?
u
Let x(h) be the third derivative of h**4/24 + h**3/2 + 3*h**2. Let f be x(-3). Let n be (f - -4)*(10 + -8). Is n < 0.1?
False
Let r = 7361/5 - 1466. Let d = 98/15 - r. Let s be 40/(-260) - 3/((-117)/(-20)). Which is greater: d or s?
d
Let s = -1.5 + -12.5. Let p = s - -14.2. Which is smaller: -14 or p?
-14
Let x = 7 - 9. Let u(m) = -13*m - 1. Let n be u(-1). Suppose 3*r = -r - n. Is x at most as big as r?
False
Let n = -26.1 + 20.1. Is n bigger than 0.11?
False
Let l = -1751/2 - -913. Let q be (-33)/(-15) + 4/5 + -42. Let t = l + q. Is -2 at least t?
False
Let p be 4/(-36) - 2*(-3)/18. Let s = p - 17/117. Let l(a) = -a**2 + 5*a - 1. Let h be l(5). Which is bigger: s or h?
s
Suppose 2*a + f + 40 = -3*f, -2*a + 3*f - 75 = 0. Let h be (4/75)/(a/(-75)). Which is bigger: h or -0.06?
h
Suppose -72 = -5*s + m, -57 = -6*s + 3*s - 4*m. Let l(d) = d**3 - 16*d**2 + 17*d - 14. Let i be l(s). Is 14 <= i?
True
Suppose -12 + 16 = 2*m. Suppose -6*p + m = 8. Are p and -18/31 non-equal?
True
Let c = 2/743 - 10408/2229. Which is smaller: -1/5 or c?
c
Let m be 352/28 - (-3)/7. Suppose 2*g - 6*g + 52 = 0. Is m greater than or equal to g?
True
Let u be ((-348)/(-72) - -1*3)*2. Which is smaller: u or 16?
u
Let s = -138.5 + 136. Let u = 11.4 + -9. Let r = u + s. Which is smaller: -23 or r?
-23
Let l = 27 - 24. Suppose -4 - 14 = l*o. Is o greater than -9?
True
Let o be -15*(2 - (-12)/(-9)). Let j be 52/o - 8/(-40). Let x = -7 - j. Which is greater: x or -3/2?
-3/2
Suppose -a - b + 94 = 0, -3*b - 14 - 480 = -5*a. Is 95 bigger than a?
False
Let d = 3236 - 650438/201. Is 1 at most as big as d?
False
Let k = 92 - 643/7. Suppose 8*w - 5 = 3*w. Which is greater: w or k?
w
Let v(f) = 1 + 11 + 1 - 10*f**2 + 2*f**2 - 10*f + f**3. Let p be v(9). Suppose -7*g = -p*g + 24. Is -2 at least as big as g?
True
Let v = 442 - 436.06. Let k = 8.06 - 8. Let r = v + k. Which is smaller: -0.1 or r?
-0.1
Let x = -96.03 + 11.73. Let i = -85 - x. Is i less than 4?
True
Let d(l) = l**3 - 14*l**2 + 5*l - 64. Let b be d(14). Which is bigger: 68/11 or b?
68/11
Let p = 0.074 - -0.086. Let f = p + 0.34. Which is smaller: f or -7?
-7
Let j = -42.5 + 41.5. Which is bigger: -43.3 or j?
j
Let o(r) = 6*r - 11. Let k be o(6). Suppose 39 = -4*b - k. Let q be (4/(-1))/b - -6. Which is greater: 6 or q?
q
Let z(w) = -w - 3. Suppose -7*b = -11*b - 28. Let o be z(b). Suppose o*a + a = 40. Is 7 less than a?
True
Suppose -k + 2 = -2. Suppose 0 = 4*j - 8 + k. Is j less than or equal to 19?
True
Let g be (217/(-42) - -5)*0. Which is smaller: g or -10/7?
-10/7
Let n be (-8)/(-20) - 13731/45. Let w = 305 + n. Suppose 0 = c + 1. Which is smaller: w or c?
c
Let g = -4 + 4. Suppose -s - 4*d + 5 = g, 6*s - 2*d = 3*s + 15. Let n be 11 - (-14)/7*(-4 + 1). Is s not equal to n?
False
Let f(x) be the second derivative of x**4/12 - 5*x**3/3 + 11*x**2/2 + 17*x. Let v be f(9). Let w = 185/2 - 9439/102. Which is smaller: w or v?
w
Let i = 6 - -24. Let o = -212 + 210. Is o smaller than i?
True
Let v be 884/(-7) + (-4)/(-14). Let h be 52/(-63) + 36/v. Let x = 1 + -1. Which is greater: x or h?
x
Let n(b) = b**3 + b**2 + b. Let z be n(2). Let j be 6/z*2/(-3). Which is bigger: 0.04 or j?
0.04
Suppose -28*h + 25 = -23*h. Suppose 0 = 3*d + h*z - 4, 9*d - 9 = 5*d - 3*z. Which is greater: d or -1?
d
Suppose -23 = 4*g - 3. Let b(u) = -u**3 + u**2 - u. Let m(w) = 7*w**3 - 2*w**2 + 5*w + 7. Let a(i) = -6*b(i) - m(i). Let o be a(g). Is 14 equal to o?
False
Let o be 4/26 - 72/(-39). Let d be ((-24)/300)/(o/(-20)). Let w = d + -21/20. Is w at most as big as 20?
True
Let j(b) = -b + 5. Let a be j(3). Suppose 0 = -o + a - 0. Suppose -9 = 5*g - o*g. Which is smaller: 2/3 or g?
g
Let o be (-2 - 3/(-2))*2. Let b be 396/(6/16*-10). Let y = -106 - b. Is o at most y?
True
Let l(a) = 14*a - 14. Let w(v) = 5*v - 5. Let g(o) = 6*l(o) - 17*w(o). Let i be g(-2). Suppose -i - 2 = -5*t. Is t at most as big as 7/6?
True
Let b = 13/2 - 7. Suppose 16 = 5*y + 101. Let c(v) = 6*v**2 + 101*v - 17. Let m be c(y). Which is greater: m or b?
m
Let d = -611 + 1105. Which is greater: d or 495?
495
Let q be (-87)/(-18)*3*2. Let i = -30 + q. Is 2/39 smaller than i?
False
Let x(v) = -381*v + 481. Let l be x(6). Which is smaller: -1804 or l?
l
Let f = 209/30 - 63/10. Which is smaller: f or 71?
f
Let l(z) = 45*z - 41. Let d be l(-3). Let g be 6*(d/(-42) + (-60)/15). Which is greater: -2 or g?
g
Let h be -188*(-3)/2784 - (-3)/(-8). Is 1 at least h?
True
Let b be 2/(-4) - (-20)/8. Let x be -8 + 10 + -1*b. Which is smaller: -2/15 or x?
-2/15
Let a = -0.022 + 0.072. Are a and -3/5 unequal?
True
Let j = 2 - 18. Let q = j - -18. Which is smaller: 1 or q?
1
Let t(m) = -m**3 - 7*m**2 - 8*m + 11. Let f be t(-5). Which is smaller: f or -3/41?
-3/41
Let z be (-2)/(-5)*(-65 + 10). Let n = z - -32. Suppose 0 = n*k - 6*k. Which is smaller: k or 7/8?
k
Let l be (16/(-4))/2 - 8. Let d be (-11)/(-88) - (-73)/(-8). Which is greater: d or l?
d
Let t = -24 + 30. Let c be (124/44 - 2)*4/t. Which is smaller: c or 1?
c
Let n be 2 - 1 - (-32 + (1 - 1)). Let i be ((-2)/4)/(3/(-192)). Is i not equal to n?
True
Let g = -1 - -0.6. Let n be (-6 + 2956/492)/(-2 - -1). Let y = n + 14/41. Is y > g?
True
Let k = -124.86 + 126. Let u = k + -0.14. Which is bigger: 15 or u?
15
Let q = 0.3216 - 0.1216. Are q and 27 non-equal?
True
Let z(j) = 4*j**2 - 6*j - 12. Let h be z(6). Let b be ((-3)/2 + 2)/(496/h). Is -1 less than or equal to b?
True
Let d = -1667/5 - -333. Let g(q) = -2*q**3 + 2*q**2 + 2*q. Let h be g(2). Let b = 6 + h. Which is greater: b or d?
b
Let k(j) = 2*j - 26. Let o be (-3 + 1 - -11) + 3. Let v be k(o). Let y be 12/(-6)*(-1)/v. Which is smaller: y or 2/19?
y
Let n(j) = -2*j - 16. Let d be n(-11). Suppose 0 = -11*a + d*a - 30. Which is smaller: -5 