 equal?
False
Let z = 32.044 - 32. Let b = 37.744 + -37. Let w = z - b. Which is bigger: w or 2?
2
Let w(d) = d - 11. Let l be w(11). Suppose -5*s - h + 11 = l, -3*s + 0 + 10 = 4*h. Suppose 18 = -5*q + 2*i, -i = s*q + i + 10. Which is greater: q or -6?
q
Let c = -132 + 134. Let u(s) = -s**3 - 5*s**2 - 9*s + 1. Let w be u(-4). Let j = w + -17. Which is bigger: c or j?
j
Let u(q) be the third derivative of q**5/6 + q**4/2 + q**3/6 - 2*q**2 + 102*q. Let k be u(-3). Let g = 2 - 3. Which is smaller: g or k?
g
Let z = -49321337/824 - -59856. Is z greater than 0?
True
Let u(c) be the first derivative of -5*c + 14/3*c**3 + 19 - 1/2*c**2. Let m be u(3). Which is smaller: 117 or m?
117
Suppose 5*k - 34 = -34. Suppose -2*y = -3*r - k + 4, 0 = -3*r - 4*y + 10. Let a be (-3)/(-6)*-4 + r. Is a bigger than -12/17?
True
Let i(c) = 4*c - 36. Let d be i(17). Let t = 51 - d. Suppose -20*y - 18 = -t*y. Which is smaller: -17 or y?
y
Let s = -302 - -382. Let l = -242/3 + s. Is -40 less than l?
True
Let i = 2668 + -3454. Which is greater: i or 3?
3
Suppose -x - 4*x - 3*c = -2, 0 = -x + 3*c + 4. Let s be (5/35)/(245/(-42) + 2). Is x at most s?
False
Suppose 3*h + 0*h = 5*c - 21, -h + 3*c = 3. Let a be 3*(378/(-60))/(h/5). Let m = 8 - a. Which is greater: m or 0?
m
Let p = -728144 - -197327022/271. Let q = 7 + -5. Let c = -2 + q. Is c at least p?
True
Let r be 312/(-22) + (-8)/(-44). Let b = -69 - -69. Suppose 2*z = -3*u - 46, 0 = -3*u - b*u + z - 49. Are r and u nonequal?
True
Let k = 78/19 + -82/57. Suppose 39 = -4*o + 7. Let b = -5 - o. Is b equal to k?
False
Let f be (-1320)/(-150) + (-9 - 5/(-5)). Let x = 4 + -2. Which is bigger: x or f?
x
Let f = -1120 + 1608. Let h = f - 507. Which is smaller: 2/9 or h?
h
Suppose -3*m + 115 = 139. Let c(l) = -l**2 - 9*l + 22. Let v be c(m). Is 2 equal to v?
False
Suppose 5266*f + 171182 = 5297*f. Which is smaller: 5521 or f?
5521
Let u = -31536.1 + 31692. Which is bigger: 0.6 or u?
u
Let v = -379 + 379. Let o(q) = q**2 - 4*q - 21. Let l be o(7). Is v at least l?
True
Let s = 318 + -221. Suppose -92 = 4*i + 5*l, -5*i = -l - 11 + s. Let a be ((-55)/15)/(2 + 38/i). Is a less than 33?
False
Let n = -671.2 - -586. Let m = n + -4.8. Are 0 and m unequal?
True
Let h = 3332 + -3336. Which is greater: 3/2 or h?
3/2
Let q = -364 - -340. Let u = -28 + q. Is -52 greater than u?
False
Let b = 11.95 - -324.05. Is b bigger than 0.4?
True
Let p be (-3560)/(-16)*(-12)/(-15*16). Which is smaller: p or 11?
11
Suppose 5*b = 24 - 9. Let p = 557309/5 + -111838. Let r = p + 379. Which is bigger: b or r?
b
Let r be 147/(-672)*(-2)/(-1302)*6. Let m(q) = q**2 + 7*q + 1. Let v be m(-7). Is v at least r?
True
Let f = -74725 - -113507271/1519. Which is smaller: f or -1?
-1
Let a(s) = -s**2 - 5*s + 5. Let b be a(-6). Let w = 41883494/211 + -198500. Is w greater than b?
True
Suppose -85 = 5*v - 5*x, -57 = -v - x - 78. Which is smaller: v or -2.1?
v
Let i(n) = -4 - 2*n - 4 + 23. Suppose 3*a + 1 = b, 2*a = 2*b - 2 - 8. Let z be i(b). Which is greater: 1/3 or z?
z
Let s(t) = t**3 - 3*t**2 + 14*t + 9. Let u be s(4). Let z = 103 - u. Suppose -4*l - 3*x - 2*x = -73, 2*l = 3*x + 53. Are l and z nonequal?
False
Let v(k) = k**2 - 127*k - 2174. Let m be v(-15). Suppose 2*i - 3*i = 3*l + 123, 0 = -l - 3*i - 33. Does m = l?
False
Let n = 9766/11 - 890. Is 2/5 bigger than n?
True
Let m(k) = -476*k + 432. Let p be m(1). Is p > -57?
True
Let t = -0.418 - -0.018. Let l(f) = -f**2 - 5*f - 3. Let s be l(-3). Suppose 9 = -0*y + s*y. Which is smaller: t or y?
t
Let y = -865646/59 - -14672. Is 12 != y?
True
Let d(t) = t**3 + t - 1. Suppose 4*l - 2*m = -3*m - 2, 5*m + 10 = 0. Let r be d(l). Let b be (-92)/12 + (-10)/(-6) + r. Is b at most -6?
True
Let j(b) = 24*b - 109. Let c(u) = 2*u + 1. Let o(n) = 3*c(n) - j(n). Let g be o(9). Which is smaller: -47 or g?
g
Let b(s) = 2*s**3 - 6*s**2 + 6*s - 2. Let w be b(4). Let i be 0 - -2 - (42/(-6) + -163). Let v = i + -118. Is w at least v?
True
Let h be (-34)/(-51) - ((-13)/3 - 2). Let v be (-8 - -2) + (-2)/2. Let g be (-2)/v - 2/h. Is g smaller than 2/3?
True
Let q = 2.9 + -3.02. Let h = 0.08 - q. Let y be (6/4)/(1/2) + -1. Which is smaller: y or h?
h
Let a = -16.26 + -3.64. Let n = a - -57.9. Which is smaller: n or -3/4?
-3/4
Let z = -18192 + 17317. Which is bigger: z or -0.04?
-0.04
Let u = -4107/5 - -9089/10. Let j(h) = -h**3 + h**2 + h + 88. Let b be j(0). Which is smaller: b or u?
u
Suppose 18 = 2*p - 3*j, 3*p = -2*p - 3*j + 3. Suppose -3*s = 6, 0 = y + p*y - 3*s + 482. Let r = -110 - y. Which is bigger: r or 5?
r
Let g be ((-90)/(-35))/(-2 - 62/(-28)). Let t(x) = x**3 - 12*x**2 - 3*x + 27. Let q be t(g). Let k be 0 + 111/q + 6/(-9). Do 0.3 and k have the same value?
False
Let h = 5 + 1. Let t be (h/35)/((-2)/(-10)). Let o = -0.1303 - 1.8697. Is o less than or equal to t?
True
Let l(a) = -35*a - 102. Let q be l(-3). Suppose 5*y + 2*c = 1350, -2*y = 3*y - q*c - 1375. Which is bigger: y or 273?
273
Let x(n) = -n**2 - 26*n + 58. Let l be x(-25). Let d be ((-6)/10)/((-24)/(-112))*-30. Does l = d?
False
Let s(j) = j**3 - 2*j**2 - j + 24. Let q be s(0). Suppose -7*t - 5*t + q = 0. Suppose -5*g + t = 7. Which is bigger: g or -2/3?
-2/3
Let c(a) = 190*a**2 - 2*a - 2. Let t be c(-2). Suppose 0 = -86*b + 92*b + t. Is -129 at least as big as b?
False
Let r(b) = -b**3 - 6*b**2 - 33*b - 190. Let q be r(-7). Suppose 0 = 36*p - q*p - 54. Which is bigger: p or 2/1947?
2/1947
Suppose 66*k - 1449 = -1935 - 2814. Let a be (-141)/3 + 1 + -1. Is k greater than a?
False
Let g be -1457 + (15 - -14) + -12. Which is bigger: -5761/4 or g?
g
Let t(c) = -c**3 + 12*c**2 - 24*c + 57. Let z be t(10). Suppose 15*q - 11*q - 20 = 0, 0 = -3*o + q - z. Which is smaller: -5 or o?
-5
Let z = -5387 + 5341. Which is smaller: -10 or z?
z
Let u(d) = -13*d**3 - d**2 - 5*d - 3. Let b be u(-1). Suppose b*f = 21*f + 259. Suppose -62 = 2*n + 14. Are f and n equal?
False
Suppose -52*o - 45 = -57*o. Let v be (0 - 1)/(10 - o). Let b be -4*(45/96 - 0). Which is smaller: v or b?
b
Let u = -220 + 215. Let r be 1 - 2 - (-3 - u)/(-2). Suppose -3*y + 2*w + 2 = 0, 2*y + 4*w + 2 = 7*y. Which is smaller: r or y?
r
Let r(w) = 8*w**3 + 3*w**2 - 13*w + 9. Let z be r(3). Which is greater: 1925/9 or z?
1925/9
Let t be 2 - 3 - 137174784/21. Let u = 180750659032/27671 + t. Let m = u - -21/59. Is m at least 1?
False
Let h(s) = -27*s**2 + 165*s + 49. Let l be h(6). Is l != -23?
True
Let m = -137 - -141. Let h be m + 2/(8/(-508)*31). Which is smaller: -1 or h?
-1
Suppose -72*j = -83*j + 4752. Let w be 9/j*-4*4. Do w and -0.9 have different values?
True
Let p = -2846 - -2573. Which is greater: -275 or p?
p
Suppose -2*i + 23 = 5*j, -2*j - 2*j = -2*i - 4. Let z be -3*2*5/(-40)*i. Is 20 at least as big as z?
True
Suppose 0 = -b - 5*y - 22, 5*y = 6*y + 5. Let p be ((-7)/(-15))/7*(b + 3). Let n = -1.3 - -0.3. Is p <= n?
False
Let y = 5.92 - 0.92. Which is greater: y or -1/18?
y
Let z = -4 - -7. Let v = -230.924 - -231. Let w = -3.924 - v. Is z at most w?
False
Let p = -404 + 609. Let i = -205.1 + p. Which is greater: i or 0.36?
0.36
Let x = -1175 + 1175.1. Which is greater: 4/743 or x?
x
Let z be 0 + 12 + (4 - 1). Let a be (5 - (-33)/z)*-5. Let s be (-24)/a*(-19)/4. Is s less than -2?
True
Suppose 7*k - 741 = 11*k + 3*m, 2394 = -13*k - 5*m. Is -1461/8 != k?
True
Let q be (-24)/(-72)*((-5090)/395 - -13). Suppose 0 = 5*u - 3*n - 11, 4*u + 5*n + 0*n = -6. Which is greater: q or u?
u
Let q = -172063931/305 + 564145. Which is smaller: 2 or q?
q
Suppose -4*j + 0*c - 3*c = -55, -39 = -3*j - 3*c. Suppose -13*k = -j*k. Let o = k - -2. Are o and 4 nonequal?
True
Let x(y) = y**3 + 9*y**2 + 3*y - 7. Let f be x(-6). Suppose -8*i - 27 = -f. Suppose i = 10*r - 13. Which is smaller: -2 or r?
-2
Let m(l) = -3*l**2 - 12*l - 3. Let i be m(-4). Let s be ((-57)/6 + 8)*(i + 1). Let n be 0 + 36/34 - (s - 3). Are 2 and n unequal?
True
Let x be (-10)/(80/(-88))*(-472)/4. Let n = -193404/149 - x. Is 0 greater than or equal to n?
True
Let u = 120 - 1078/9. Let i be 848/(-128) + 7 - 24/320. Which is bigger: i or u?
i
Let s = 48 - 33. Suppose -3*w - h + 3 = -3*h, -5*h - s = 0. Let o be ((3 - w) + -2)*3/642. Do o and 0 have different values?
True
Let l(n) = -25*n**3 - 8*n**2 - 11*n - 1. Let f be l(-2). Let t be f/(-21) - (-3)/(6/8)