 q(c) = -c**3 + 2*c**2 + 2*c + 3. Let l be q(3). Suppose 6*p = -l*p + 12. Is 8/15 less than p?
True
Let o(h) = -3*h**3 + 106*h**2 - 35*h + 50. Let y be o(35). Is y at most as big as 4?
False
Suppose 0 = -4*k - 4*y - 150 - 142, -73 = k + 2*y. Let a = k + 73. Which is smaller: 18/17 or a?
a
Suppose 4*h = -m - 9, -h + 0*h - m - 6 = 0. Suppose -10*i = -6*i + 80. Let b be (1*132/i - -2) + 3. Which is bigger: b or h?
h
Let i = -3628/39 - -880/13. Is i > -26?
True
Let q be (1*(-1086)/(-90))/(2/(-18)). Let k = q + 109. Is -17 at least as big as k?
False
Let o = -8 + 9. Which is bigger: 5/6 or o?
o
Let h = -2362/5 - -473. Is 21 < h?
False
Let s be -9*(0 - 3) + 0. Suppose -2*n + 4*f - s = -3*n, 4 = 2*n - 2*f. Let j = 4 - n. Which is greater: -6 or j?
j
Let u be (2 - (-2768)/(-1376))/((-3)/(-4)). Which is smaller: 0 or u?
u
Let u(b) = b**3 - 6*b**2 - 17*b + 7. Let v be u(8). Let q be (v + (-87)/(-90))/((-21)/12). Which is smaller: 1 or q?
q
Let j(s) = s - 1. Let l be j(6). Let h(c) = -c**3 - 5*c**2 - 4*c - 1. Let b be h(-3). Let y(a) = -a**2 - 8*a - 3. Let x be y(b). Are l and x unequal?
True
Let m = -20 + 24. Suppose 2*b + 14 = 3*g, -m*b = -g - 0*g + 8. Are b and 2/31 nonequal?
True
Let p be 267/(-36) + (10/6 - 0). Suppose 13 = -5*f - 17. Which is smaller: f or p?
f
Suppose 26*o - 18*o - 40 = 0. Is o > -0.7?
True
Suppose 3*n - 3 = -u - 8, -3*u - 3 = 5*n. Let r(d) = d**3 - 7*d**2 - d + 3. Let j be r(7). Are j and n nonequal?
True
Let v = -1427 + 35683/25. Let l = 16933 + -4656562/275. Let t = v - l. Which is smaller: t or 0?
0
Suppose 6*y = y. Suppose 0*l - 12 = -c + 4*l, y = -5*c + 4*l + 108. Let u = 25 - c. Is u at least -1.5?
True
Let k be ((-24)/10)/((-9)/(-30)). Let q be 24/(-35) - k/28. Which is smaller: 0 or q?
q
Let l be 8/182*(-2)/(24/(-28)). Let p = -2 + 2. Which is smaller: l or p?
p
Suppose 30 = v + 5*u, 2*u = v + 2 - 11. Suppose -4 = -v*j + 161. Which is smaller: j or 14?
j
Let q be ((-22)/44)/(1/2). Which is smaller: -4/181 or q?
q
Let z(b) = -b - 10. Let h be z(0). Let k = 262 + -272. Is h smaller than k?
False
Suppose -4*f = 3*f + 21. Which is greater: f or -72?
f
Let g be (3 + -2)*(-2 - -33). Let c be 4/(-1) + (38 + -5 - -3). Which is smaller: g or c?
g
Suppose 17*k = 90 - 107. Is k bigger than 6?
False
Suppose -2*i + 24 = -2*j, 2*j - 3*j = i - 10. Suppose -5*r + 84 = -i. Which is greater: 21 or r?
21
Suppose 2*l = 3*g + 1142, 2*g - 286 + 1046 = 2*l. Is -382 != g?
False
Let x = 2.494 - 28.494. Is x < 0.1?
True
Let a = 3/2741 + -9012/720883. Let v = a - -347/7364. Is v < 0?
False
Suppose 6 = r + 2*a - 17, r - 3*a + 2 = 0. Suppose 4*j - 3 = r. Let x be (j - 6)*2/(-20). Is 0 at most x?
True
Let t = 421 - 419. Are t and 0.09 unequal?
True
Suppose 0 = -5*z + z + 12. Let w(r) be the first derivative of -4*r**2 + 60*r - 14. Let c be w(7). Which is smaller: z or c?
z
Let t(x) = x**3 - 5*x**2 + 5*x - 5. Let z be t(4). Let p be -3 + 0 + (z - -6). Let b be -5 + p + (-2 - -4). Which is bigger: b or 2/9?
2/9
Suppose 13 = 7*m + 6*m. Let r(q) = -q + 10. Let n be r(11). Let f be n/6*(-3 + -1). Is m bigger than f?
True
Suppose 0 = 3*s - 4*s + 7. Let v = 98/17 - 375/68. Is v < s?
True
Let u = -21 + 31. Suppose -2 = -3*h - c - u, -4 = -h - 2*c. Let y(z) = -z**2 - 2*z - 5. Let t be y(h). Is -14 < t?
True
Let o = -4/1091 + -278189/4364. Let x = o - -64. Does 3 = x?
False
Suppose 0 = -5*g + 2*p + 3*p + 10, 0 = 3*g + p - 2. Let b = -175 + 2101/12. Is b smaller than g?
True
Let z be (607 - 4)*8/(-6). Let x be 2 - (-3)/(1197/z). Let k = -312/3059 - x. Which is smaller: k or 0?
k
Suppose -3*s - s + 20 = 0. Suppose y - s*r = -150, -y + 6*y + 870 = -5*r. Let p be 3 + (1 - y/(-5)). Is -30 < p?
False
Let o = 23.5 + -33. Let r = 0.5 - o. Let t = r + -10.1. Which is smaller: t or -1/3?
-1/3
Let f = -2.26 + 0.96. Is f smaller than -2?
False
Let v = 3 + -2. Let r = -122.5 - -0.1. Let n = 122 + r. Which is smaller: v or n?
n
Suppose -14*t - 60 = -8*t. Let v be ((-36)/t)/(12/30). Which is smaller: 12 or v?
v
Let c = -0.04 - 0.16. Let y = -124.94 + 125. Is y >= c?
True
Let k(c) = 23*c + 3. Let j be k(4). Suppose 0 = 2*a + 3*a + j. Which is smaller: a or -20?
-20
Let k = -3127/3 + 34553/33. Is 5 != k?
True
Let u be 297/(-165)*5/3. Let w = 9 - 15. Let y = w - -5. Which is smaller: u or y?
u
Let p = 26 + -23. Suppose 5*j + 5*m = 75, -42 = -4*j - p*m + 8*m. Let s be -3 + 3 - 1/j. Which is greater: -1 or s?
s
Let m = -46 + 44. Which is bigger: m or -1/44?
-1/44
Let i be 3/(-15)*(-25)/(-190). Is i bigger than -0.4?
True
Let m = 1.6 + -1. Let x = -6 - -6.2. Which is greater: x or m?
m
Let r = 14 - 11. Let v be -4*(r - 22/8). Is v > -2/177?
False
Let f(c) = c**3 - 4*c**2 - 5*c - 1. Let y be f(5). Suppose -8*j + 3*j = -80. Let s = j - 16. Which is smaller: s or y?
y
Let w(r) be the third derivative of -r**4/24 + 29*r**2. Let f be w(-8). Which is smaller: 9 or f?
f
Let s be (4/93)/(422/(-633)). Suppose -w = -2*w + 3*b + 15, b = -3*w - 5. Which is smaller: w or s?
s
Let x be (-6)/27 + 26/36. Let b = -28.27 - -0.27. Let q = -24 - b. Which is greater: x or q?
q
Suppose 14 = -2*t - 4*d, 383*d - 382*d = 2*t - 1. Let x = 191 - 10124/53. Which is bigger: t or x?
x
Let y(w) = -w**2 + w + 3. Let k be y(3). Let j be (-1 + 124/(-8))/k. Let z(x) = -2*x + 33. Let q be z(14). Is j less than q?
False
Let a(n) = -4*n - 2. Let r = -56 + 54. Let c be a(r). Are -0.3 and c equal?
False
Let n = 45131/690 + -1/138. Which is smaller: n or 66?
n
Suppose 0 = -3*w - 35 - 1. Let a be ((-4)/6)/(286/(-33) + 10). Is a < w?
False
Let r(q) = q - 5. Let u be r(5). Let b be -3 - 316/28 - 4/(-14). Let j be (-50)/36 + b/(-63). Are u and j equal?
False
Let o be 114/174*2*467. Let r = 1440 + -828. Let j = o - r. Which is smaller: 1 or j?
j
Let q = 907/2 + -425. Suppose 0 = -5*l - 0*l + 150. Which is smaller: q or l?
q
Let m be (32/(-10))/(117/(-45) - -3). Is m > 1?
False
Suppose 24*l - 16*l = 0. Suppose 0 = 4*h - 5*s + 19 - 6, 0 = -5*h + 3*s. Let w be 0 + h + 26/(-8). Which is smaller: w or l?
w
Let r be 20/(-45)*(-6)/(-4). Let y = -30.4 + 17.4. Which is bigger: r or y?
r
Let d = 23.45 - -47.55. Is d less than or equal to 1/3?
False
Suppose 111 + 24 = -5*s. Suppose 5*c = -5*r - 100, 16*c - 20*c - 3*r - 86 = 0. Is s at most c?
True
Let c = 71 + -121. Let h be c/(-12) - (-9)/(-54). Let d be -2 - h*(-2 + 1). Is d less than or equal to 3?
True
Let m = -109.9 - -139.9. Let o be (-2*(3 - 2))/1. Are m and o equal?
False
Suppose -8 + 134 = 2*d + 5*b, 0 = 3*d - b - 172. Which is smaller: d or 1?
1
Let w = -1238553631 + 144912085937/117. Let q = -11206 + w. Let g = -2/13 - q. Which is smaller: -1 or g?
-1
Let b = -31 - -40. Suppose -b*u = 144 + 54. Is -20 >= u?
True
Let o(q) = -q - 5. Suppose -2*w + 6 = -3*w. Let u be 4/w + (-13)/3. Let l be o(u). Which is bigger: -2/7 or l?
l
Suppose 0 = -l - 6 - 6. Let p be (-660)/(-175) - l/28 - 3. Which is bigger: p or 2?
2
Let o = -0.01 - 19.99. Let m = o + 20.15. Let p = m + -2.15. Which is bigger: p or 4?
4
Let n = 2.899 + 0.101. Which is greater: -6/5 or n?
n
Let t = -112 + 109. Suppose 0 = 5*g - 7 + 62. Let h = g + 9. Which is greater: t or h?
h
Let w be 4 - (1 + 5/30). Let n = w + -10/3. Let s = -1.1 - -0.8. Is s < n?
False
Suppose 3*s + 90 = b, 3*s + 33 = 2*b - 132. Let f = -76 + b. Are f and -1/58 equal?
False
Suppose 34 - 14 = -4*d. Let p be ((-6)/(-2))/(15/d). Are 3/11 and p equal?
False
Let w = 6.6 - -1.4. Let o = 105 - 91. Let t = w - o. Which is smaller: -2/7 or t?
t
Let g = -1470 + 36744/25. Let k be 0/(-4) + -1*1. Which is smaller: k or g?
k
Let i = -0.18 + -0.82. Which is smaller: i or -2/265?
i
Let t = 3.13 - 3. Let m = 0.11 - t. Let c = 11.98 - m. Which is greater: c or -1/4?
c
Let g be 5/10*-2*(-1 - -2). Let m = 0.28 - 0.3. Let d = 2.98 - m. Is d bigger than g?
True
Suppose -k - 9 = 2*j - 0*j, 3*k + j + 12 = 0. Let m be (4 - 7) + (-13)/k. Let f = 2 - 1. Do f and m have different values?
True
Let o = 6 - 6.03. Let x = o + 0.26. Let l = -1.23 + x. Is -4 bigger than l?
False
Let b = -296 + 275. Does -2 = b?
False
Let y = -47/38831 - -2140559392/427141. Let s = y - 3589901/715. Let o = 47/5 + s. Is o equal to 0?
False
Let w be (250/14)/((-42)/(-147)). Is 63 < w?
False
Let x be (-700)/399*8 + 14. Let y = 2 + -2. Which is smaller: x or y?
x
Let z be (-135988)/(-231) - 6/9. Le