be 384/42*18/(-4). Which is smaller: -40 or x?
x
Let o be 22632/64 + 16 - (-6)/16. Is 369 < o?
True
Suppose -2*k = 5*w - 25, -7*k = -3*k - 4*w - 8. Let y = k + -6. Suppose -2*h + 4*h + 2 = 0. Is h less than y?
False
Suppose 3*m + 12 = -9. Let l(x) = -12*x + 2. Let v be l(1). Which is greater: m or v?
m
Suppose 2*b - 20 = -0*b. Let y be (-6)/39 - 256/26. Let v = b + y. Which is smaller: 1/9 or v?
v
Let r = 196.2 + -196.2. Which is greater: r or -10.94?
r
Let o(m) = 0 - 4 + 17*m**2 + 0*m + 4*m - 22*m**2. Let z be o(2). Is -2 > z?
True
Suppose -2*p = -0*p + 2. Suppose -5*j - 5*l = -2*j + 31, l = 4*j + 3. Is j at least p?
False
Let m(l) be the second derivative of l**4/12 + 5*l**3/6 - 40*l. Let v be m(-5). Which is bigger: -2/27 or v?
v
Let d = -27.14 - -27. Let f = -6.14 - d. Which is smaller: f or 3?
f
Suppose 0 = 4*d + 22969 - 108829. Let w = -85381/4 + d. Let r = 118 - w. Which is smaller: r or -3?
-3
Let s = -3.4 - -4.4. Does s = 5?
False
Suppose 0 = -18*t + 56*t + 722. Let s = -0.3 - -0.1. Is s at least t?
True
Let d = -111 + 113. Is -15 at least as big as d?
False
Let q = -32 + 28. Let s be (-2 + 4)/q + 1/6. Let w = -0.2 + 0.2. Which is bigger: s or w?
w
Suppose -2*u = -4*u - 3*n - 55, 2*u = -5*n - 53. Let l = u - -31. Suppose -5*r + 7*r = l. Is 3/22 greater than r?
False
Let z = -0.15 + 0.33. Let u = 0.08 - z. Let g be 0/1 + 5/(-10). Which is bigger: u or g?
u
Let a be 153/68*(8/3)/2. Suppose -3*z + 6 = 0, -z - 11 = -a*u - 5*z. Which is bigger: u or 10/21?
u
Suppose -3*x = -i - 2157 + 90, 2*x - i - 1377 = 0. Which is bigger: 691 or x?
691
Let h be 6 + (-5 - 1) - (1 - 55). Suppose -6*s - 2*i + 90 = -2*s, h = 2*s + 4*i. Is -0.1 equal to s?
False
Let s = 211 + -239. Which is smaller: -23 or s?
s
Let z be 1/(-1)*(-10)/(-115). Suppose 4*u + 4*s - 96 = 0, 6*u - 2*u + s = 105. Suppose -3*g = 3*q + 9, -4*g + 4*q - 7 + u = 0. Which is smaller: z or g?
z
Let b = 48 - -6. Let s = -53.93 + b. Is -2/5 at least s?
False
Let t = 10 + -5. Suppose -t*g = p + 2, -3*p = -4*g - 0 + 6. Suppose -4*s + 2*s = g. Are -2 and s equal?
False
Suppose 0 = 49*w - 37*w - 12. Let r = -367/11 - -33. Which is smaller: w or r?
r
Suppose j - 99 = k, 4*k + 2*j + 185 = -193. Let l = -97 - k. Are l and -10/29 nonequal?
True
Let s = 2178/5 - 448. Suppose 3*t = -x - 19 - 4, -4*x - 5*t = 64. Is s at most as big as x?
True
Let y be (-8)/3*1/(-2). Let r = -1343 + 1343. Which is bigger: y or r?
y
Let f be 1 - 2*(0 + 1). Let s = 16 - 24. Let o be s/(-36)*(-3)/(-2). Which is bigger: f or o?
o
Let k be 1656/207*(2/8 + 0). Is k less than -16?
False
Let c be ((-2)/3)/(-2) + 8/(-6). Let f be 170/(-44) - 36/(-9). Which is bigger: c or f?
f
Suppose -n = 4*q - 308, 0 = 4*q - 3*n - 270 - 38. Which is greater: 81 or q?
81
Suppose p + 1 = -r, 3*p - 4*p = -2*r + 7. Suppose 5*b - 4*i + 8 = 3*b, -r*b - 26 = 5*i. Is -6 at most b?
False
Let v(p) = 37 - 7*p - 34 + 12*p**2 + 2*p + 2*p. Let s be v(1). Which is smaller: s or 11?
11
Let f = -8.95 + -0.05. Let t = f + 8.8. Which is smaller: 0.6 or t?
t
Let u be (49/21)/(2/102). Let o = -113 + u. Which is bigger: -3 or o?
o
Let f = 1474.07 - 1474. Which is smaller: f or 0.9?
f
Suppose -5 = -2*b + 37. Let o be 3/(1 - b/12). Let c be 1/4 + 5/o. Which is smaller: c or -12/7?
-12/7
Let i be ((-4516)/(-12) + (-7)/21)*-2. Is i bigger than -752?
False
Let u(j) be the second derivative of -j**3/6 + 3*j**2/2 - 6*j. Let q be u(-9). Let c = 13 - q. Which is smaller: -1/4 or c?
-1/4
Let b = 7246/9 - 809. Which is smaller: b or -1?
b
Let g = 753 + -1150. Which is smaller: g or -398?
-398
Let h(g) = 6*g**2 + 16*g - 10. Let l be h(-7). Let u = l + -203. Let v = 25 + -55. Is u at least as big as v?
False
Let o(z) be the third derivative of 17*z**6/120 + z**5/60 - z**4/24 - z**3/6 + 3*z**2. Let y be o(-1). Which is greater: y or -15?
-15
Let l = 29/7 + -1059/259. Which is greater: l or -1?
l
Let m(w) = -w**3 - 10*w**2 + 8*w - 16. Let f be m(-11). Suppose 6*y - f + 5 = 0. Which is smaller: y or -3?
-3
Let p be 255/6 - 18/36. Is 2 >= p?
False
Let j be (-47)/3 + (-4)/(-6). Let s be -2 + 5/(j/(-4)). Let z(k) = -k - 6. Let h be z(-5). Is s equal to h?
False
Let m be (-6)/9*((-6)/118)/1. Let c = m - -517/413. Is c greater than or equal to 2?
False
Let l = 0.4 - 0.2. Let o = 173 - 159. Does o = l?
False
Let x(t) be the third derivative of t**4/8 + 5*t**3/6 - 5*t**2. Let n be x(0). Suppose 0 = j - 3*d - 9, -5*j = -j - n*d - 15. Which is greater: j or -2?
j
Suppose -2*t - 2*r = -6*t - 1766, -2*t - 892 = 2*r. Which is bigger: t or -2216/5?
t
Let z = 0.991 - 1. Let y = 28 + -28. Is z != y?
True
Suppose -a - 4 = 2. Let o(n) = n**3 + 2*n - 6. Let y be o(0). Is a bigger than y?
False
Let q = 0.8 - 0.6. Let l be (-1 + 1 + 6)*2. Let f be (-209)/462 - (-2)/l. Is f > q?
False
Let z = -413 - -410.27. Let y = -0.27 + z. Is 1 >= y?
True
Let r be (-2)/(((-2)/14)/1). Let z = -8345 + 8360. Which is greater: z or r?
z
Suppose -3*b = 3*d + 1083, 5*d + 1430 = d + 3*b. Is d greater than -360?
True
Suppose 0 = -39*n + 1555 - 17155. Which is bigger: n or -399?
-399
Let s = 13 + -16. Let g be -3 + -54*s/48. Let p = 1/8 + g. Which is greater: p or 4?
4
Let k = -4.54 - -4.589. Does k = -0.1?
False
Let d = -35 - -25. Let u be (-4)/d - 2/(90/43). Let y = -2 - 0. Which is smaller: y or u?
y
Let p(v) = -12*v - 18. Let c be p(1). Let r(j) = 2*j**3 + 2*j**2 - 3*j - 3. Let u be r(-3). Is u != c?
False
Let t(s) = -s**2 + 8. Suppose 25*d - 20*d - 15 = 0. Let q be t(d). Is q <= 3/11?
True
Suppose 5*k = 3*c - 24, -k + 3*c - c - 9 = 0. Let j(o) = -4 - 2*o + 2*o + o**2 + 2*o. Let l be j(k). Which is smaller: -2/17 or l?
l
Let t = 68 - 69. Which is bigger: t or -15/31?
-15/31
Let t(o) = -o**2 + 10*o + 55. Let p be t(15). Suppose 0 = 4*w - 4*l - 96, 2*l + 0*l = -5*w + 113. Let b = p + w. Is 7 equal to b?
False
Let c = 2.9 + 0.1. Let s = c + -6. Let q = 3 + s. Is -0.02 != q?
True
Let b = 8060 + -8059.96. Suppose -5*d + 3*r - 4*r = -8, 0 = 2*d - 5*r - 14. Is d less than or equal to b?
False
Suppose u - 2*m = -u + 14, -26 = -2*u + 5*m. Let p = 10 + -6. Let x = p - u. Is 1 less than x?
False
Let c = 2174 - 2146. Which is smaller: 1/6 or c?
1/6
Suppose -a - 25 = -0*l + 4*l, 3*a - 2*l = -61. Which is smaller: a or -9?
a
Let j = 0.879 + -0.753. Which is smaller: j or 0?
0
Let q be 22*(-8)/(-12)*3. Let o be q/55 + (-62)/40. Which is smaller: 1/6 or o?
o
Let z be (-2928)/128 - (2 - (-2)/(-4)). Is z < -25?
False
Suppose 4*y + 2 + 6 = 0. Let b(i) = i**3 - 7*i**2 - 3*i + 58. Let f be b(6). Which is greater: f or y?
f
Let f(c) = -c**2 - 1. Let d(l) = 2*l**2 - 5 - 4*l - 4*l**2 - 2*l**2 + 0*l**2. Let g(a) = d(a) - 5*f(a). Let q be g(3). Which is bigger: -1 or q?
-1
Let b(s) = -12*s + 173. Let q be b(-14). Is q at least 341?
True
Let n(j) = -j + 12. Let o be n(12). Suppose o = -2*l + k - 80, -2*k - k - 12 = 0. Let d be (-3)/1 + l/(-4). Is -0.1 <= d?
True
Let y(h) = 3*h + 2. Let f be y(4). Suppose -8*g + f = -6*g. Let v = g - 24/5. Which is bigger: v or 1?
v
Let p = 3 - 2.95. Let f = -0.55 + p. Let m = 1.78 - -0.22. Is m at least as big as f?
True
Let u = 517.054 + -517. Is -10 <= u?
True
Let l = -11 - -7. Let u = 7 + l. Suppose -h + u = -4*h. Are h and -2/3 equal?
False
Suppose 7*w = 3*l + 2*w + 1265, -1644 = 4*l + 4*w. Is -414 at least l?
True
Let n = 355 + -310. Is 42 not equal to n?
True
Let k be (54/1680)/((-2)/24). Which is bigger: k or -1?
k
Let z(i) = -i**2 - 24*i - 141. Let m be z(-14). Which is greater: 1/586 or m?
1/586
Let h(u) be the third derivative of u**4/12 - 5*u**3/2 - u**2. Suppose 0 = 30*p - 70 - 80. Let q be h(p). Which is smaller: q or -28/5?
-28/5
Let m = 13542 + -1137557/84. Let h = -2/21 - m. Is 0 at least as big as h?
False
Let x = 1681 - 1684. Is -41/26 at least as big as x?
True
Let s be (-10)/(-12) - (-102)/(-72)*-46. Let f = 150 - 84. Does s = f?
True
Let t = 48 - 48.2. Let a = t - -0.3. Which is smaller: 0 or a?
0
Let k(x) = x - 5. Let g = 38 + -31. Let f be k(g). Let w be 0 + (-105)/(-48) - f. Is -1 less than w?
True
Let g be 7 + -7 + (-1)/(-26). Let w be 8/(-14) + (-5)/((-35)/4). Do g and w have the same value?
False
Let i = -160.0947 - -0.0947. Which is greater: i or -1/7?
-1/7
Let q = 310 - 308. Suppose -3*k = -4*o + 20, o - 2*k - 18 = -4*o. Is q at least o?
True
Let f be (-10)/((-57030)/9)*(-20)/90