Let m(n) = -252*n**2 - 3*n - 17. Let h(u) = -83*u**2 - u - 6. Let t(l) = -11*h(l) + 4*m(l). Let q be t(1). Which is smaller: q or -97?
q
Let h be (25 - 24)*(1 + -8). Let q(p) = -12*p - 72. Let y be q(h). Are y and 77/6 unequal?
True
Let a = 2123 - 4528. Which is greater: -2402 or a?
-2402
Let u(t) = -9*t + 6. Let x(q) = -20*q + 11. Let v(c) = -5*u(c) + 2*x(c). Let m be v(2). Let n be (m/2)/(2/46). Which is smaller: 24 or n?
n
Let o(c) = 4*c + 38. Let b be o(-10). Let g(v) = 2*v**2 - 7*v - 8. Let f be g(b). Is f smaller than 12?
False
Let h = 396 - 398. Let x = h - 146. Is x greater than or equal to -1/2?
False
Let c = -206 - -520. Let o = c - 313. Which is greater: 30/19 or o?
30/19
Let q = -10.6362 - -0.6362. Which is smaller: -0.62 or q?
q
Let s = 36117631/2432 + -14851. Which is smaller: s or 1?
s
Let p(n) = -19*n - 153. Let c be p(-8). Let f be -5 + c + 7 + -2. Which is bigger: f or -1/118?
-1/118
Let m be 6/1 + -3 + -130. Let f be m/(-8) - (-5)/40. Suppose f = 2*c + 14. Is c at most as big as 12?
True
Suppose -g + 236 = 3*w, -3*w = -g - g + 445. Let j = -191 + g. Is 34 at most j?
True
Let s(u) = 24*u - 171. Let k be s(11). Suppose -5*a + 1655 = 5*o, a - 4*o - k = 213. Is a < 326?
False
Let h = -15620 - -15881. Is h <= 1825/7?
False
Let o = -11573 + 8905. Which is smaller: o or -1?
o
Let d(c) = c**3 + c**2 + c + 204. Let z be d(0). Suppose -3*p - p + z = 0. Let a = 19885 - 19834. Is a < p?
False
Let w be 27/(-2 - (-2)/4). Suppose -4*u - u + 80 = -5*m, u - 7 = 4*m. Let b = u + w. Is 2/47 greater than b?
False
Suppose -3*s + 431 + 375 = -4*w, 3*s + 3*w = 834. Let r = 105 - 105. Does s = r?
False
Let b = -144 + 143.925. Which is greater: -0.36 or b?
b
Suppose -11*o = -2*o + 22221. Let x be 4/30 - o/45. Suppose -x = -h + 24. Do h and 0.1 have different values?
True
Let b = -7602 - -7664. Is 35/6 at least as big as b?
False
Let u(p) = -139*p - 10844. Let o be u(-78). Let h(t) = 21*t + 1. Let a be h(-1). Which is greater: a or o?
o
Suppose -3*t - 45 + 6 = -s, 5*t - 159 = -3*s. Let v(l) = -l**2 + 14*l + 15. Let u be v(11). Is s < u?
False
Let p be (-44)/((28/6)/7). Let i be (p/(-8))/((-48)/128). Which is smaller: -17 or i?
i
Let s = 223 + -218. Let m = -17 - -28. Let f = m - s. Is 0.1 greater than or equal to f?
False
Let x = 1329 + -1342. Which is bigger: x or 4?
4
Let d = 303.69 + -306. Let f = 1.51 + d. Which is smaller: f or 0?
f
Let f = -66 + 69. Let c(n) = 2*n**3 - n**2 + 8*n - 10. Let d be c(f). Which is smaller: d or 60?
d
Suppose 22 - 23 = b + 45. Which is greater: -49 or b?
b
Let u be 75/(-10)*72/(-6400). Let d = u + -27991/324160. Which is greater: d or 1?
1
Let q(o) = o**2 + 63*o + 974. Let d be q(-36). Which is smaller: 2395 or d?
d
Let c(q) be the second derivative of -q**4/12 + 7*q**3/6 - 7*q**2/2 - 2*q. Let p be c(6). Let j = -5827/4 - -1457. Which is bigger: j or p?
j
Let j(y) = 26*y**3 + 50*y**2 - y + 3. Let g be j(-2). Let n = 0.04 - 0. Is g at least as big as n?
False
Suppose 0 = y - 3*t + 9, 8*y = 3*y - t + 35. Suppose 0 = -2*f + 8*f - y. Is f smaller than -14/5?
False
Let f = 249 + -234. Suppose -65 = -2*n + f. Is n less than 42?
True
Let o = 749 - 754. Let a be (-5)/(o/6) + (-18415)/2030. Is -4 greater than a?
False
Suppose 2*c + 553 = 3*s, 4*s - 2*c - 815 + 77 = 0. Let o = 96 - s. Let g = 89 + o. Which is smaller: g or -6/19?
-6/19
Let a = -78.068 + 0.068. Let b = a + 78.36. Which is bigger: b or -2/3?
b
Suppose 4*r = -5*d + 24, r + 5*d - 9 = 3*d. Let j = 39188/2964995 + -6/19129. Is j less than r?
True
Suppose 6*f - 3*f = 42. Suppose 2*u + 3 = -r - 0*r, 4*u - f = 2*r. Is u at most as big as 2/189?
False
Suppose -2*s - 5*p + 4*p - 6 = 0, 5*p = 3*s - 4. Let z be (-5)/(-6)*s/5. Suppose 0*y + 4*y = 92. Which is smaller: y or z?
z
Let l = 7431 - 732. Suppose -61*g = -82*g - l. Is -319 at least as big as g?
True
Let y = -1552.8 + 1553. Do 0.4 and y have the same value?
False
Let a(v) = v**3 + 65*v**2 - 6*v - 168. Let t be a(-65). Which is smaller: 2008/9 or t?
t
Let t = 24 - 36. Let s be ((-242)/12)/(-4 + (-56)/t). Let z = -935/28 - s. Is -2 at most as big as z?
False
Let z = 6051 - 6189. Is -225 greater than or equal to z?
False
Suppose -f = -o + 31, 4*o - 2*f - 97 - 35 = 0. Let b be 3 + (-501)/180 + (-7)/o. Let s(p) = p - 1. Let l be s(0). Is b > l?
True
Let s(f) = 777*f + 563. Let x be s(-1). Which is bigger: -217 or x?
x
Let w be (-42)/((-3)/(-6) - 2). Let c = w - 26. Let p = -189/5 + 41. Which is bigger: p or c?
p
Let v = -3845 + 3841. Is 34 at most v?
False
Let c = -21 + 24. Suppose 4*k - v - 291 = 0, 4*k - c*v - 294 = -v. Suppose -3*u - u - k = -4*g, 34 = 2*g - 3*u. Which is bigger: 18 or g?
g
Suppose -19630 = -7*f + 4*q, -3*f + 9516 = -4*q + 1110. Which is smaller: f or 2807?
f
Suppose 4*c - 40 = -4*m, -5*m + 56 - 18 = 4*c. Let d be (-67)/(-13) - c/78. Suppose -6*g - 5 = -d*g. Is g greater than -5?
False
Suppose 3*t = 6, -5*p - 2*t + 5*t - 46 = 0. Let b be 4/(-16) - (-74)/8. Let m = p + b. Is -1/39 at least as big as m?
False
Suppose -5*b = 5*h + 50, -3*h + 8*h - 2*b = -64. Let o be 1/((-5)/((-260)/h)). Let x be 5423/(-2057) + ((-7)/(-11) - 1). Which is smaller: o or x?
o
Let g = 743504/19065577 - -2/41357. Is 0 at least as big as g?
False
Suppose -20 - 52 = -2*v. Suppose -4*r + v = 5*c, 0 = -4*c - 3*r - 8 + 37. Let a = -45/71 - -623/1207. Which is smaller: c or a?
a
Let z be 5*((-9)/(-15) + -2). Let u be (z/(-2))/(2/4). Suppose -4*n = u - 15. Which is smaller: n or 0.2?
0.2
Suppose 17*x + 4*x + 98112 = 5*x. Is -6131 less than x?
False
Suppose 0 = -5*c - 165 - 171 - 299. Is -2/15 at least c?
True
Suppose 143*j - 144*j = -2049. Does j = 2050?
False
Let x = -561.172 + 4.972. Let g = -556 - x. Is 44 smaller than g?
False
Let k be 17/(2603/(-266) + 13) - (4 + 1). Which is smaller: k or 2?
k
Let b = -8767 + 1606. Is b not equal to -7161?
False
Suppose -227 = -34*q - 23. Suppose 1 = r - 2. Let i be -8*q*r/24. Is i at most as big as -1?
True
Suppose -42 = -21*h + 14*h. Suppose -13 = -h*y - 7. Is 48/23 at most as big as y?
False
Suppose q - 2*q = 5*n + 70, -q = 0. Let w be 30/297 + (n/(-9))/(-7). Let h = -131/1353 - w. Is h less than or equal to 1?
True
Let m be ((-6)/(-9))/(3/(-1 + 91)). Suppose m*y + 715 = 31*y. Which is bigger: 66 or y?
66
Let m = 245 + -241. Suppose l = -11*h + 6*h + m, 5*h - 3*l + 12 = 0. Is -10/29 > h?
False
Let u be 4/(-10) - (14487/(-1925) - -7). Let r = u + -908/15575. Is r less than -1?
False
Let u = -89753/4 + 448773/20. Suppose 2*k = 4*k - 14. Is u smaller than k?
True
Let k be ((-38)/2 + 0)/(306/15606). Is -971 less than or equal to k?
True
Let y = -1884 - -1788. Is 5 equal to y?
False
Let o be (-14)/70 + -2 + 604/20. Let i(d) = d**3 + 12*d**2 + 8*d - 4. Let b be i(-11). Are b and o nonequal?
True
Let z(s) = -1. Let l(h) = 8*h - 9. Let r(w) = -l(w) - 4*z(w). Let y be r(2). Does y = -38/15?
False
Suppose -2*t - 4898 = -5*t - 4904. Are 8 and t unequal?
True
Let x = -9900 - -5006. Is x at most -4895?
False
Let g = -6305 - -31467/5. Which is greater: -2/63 or g?
-2/63
Let l(a) = 2*a**2 - 67*a + 33. Let n be l(33). Suppose -7*i + m + 454 = -11*i, 4*m - 444 = 4*i. Which is smaller: i or n?
i
Suppose y - 228 = 5*y. Suppose -h - 779 = -720. Does h = y?
False
Let b = 9160 + -9159. Is b equal to -16/447?
False
Let f = -34080/17 + 306645/119. Let b = f + -571. Is b greater than 2?
False
Let h = 1.2011 + -208.1011. Which is greater: h or -2/3?
-2/3
Let y = 16.59 + -16.29. Which is smaller: -546 or y?
-546
Suppose 904 = 3*a - 5810. Are a and 2237 equal?
False
Suppose q + 81696 = -7*q. Let z be (-4 + q/(-596))*4/26. Let p = z - 26/149. Is p at least 1?
True
Let n be ((-4)/10)/(1/1). Let w(y) = -y**3 + 3*y**2 + 83*y + 1. Let q be w(0). Is n less than q?
True
Let r = -2873 + 1991. Which is bigger: -884 or r?
r
Let g be 15*((-9 - -3) + 5 + 6 + -4). Are g and 110/7 non-equal?
True
Let a = -5225 - -5224.9819. Do a and 4 have the same value?
False
Let k(p) = 26*p + 185. Let x be (-2)/(-7)*-1 + (-188)/28. Let d be k(x). Which is greater: 22/7 or d?
22/7
Let r be -2 + 8 - 1189/203. Suppose -7 = 3*c + 3*p + 5, 0 = 5*p + 20. Is r > c?
True
Let i(w) = -54*w**2 - 3*w - 15. Let k be i(-7). Suppose 0*h - 4 = 4*h. Let f be ((-2072)/k - 1/(-5)) + h. Which is smaller: f or -0.1?
-0.1
Suppose -x = 4, -24 = -3*p - 3*x - 0*x. 