 -9532. Which is bigger: g or 0.06?
0.06
Let q(r) be the second derivative of 7*r**3/3 - 77*r**2/2 + 127*r + 1. Let l be q(12). Are 90 and l unequal?
True
Suppose -a - 49 = -4*d, -2*a - d - 47 = -3. Is -2.8 less than or equal to a?
False
Suppose -3*j + 235 - 49 = 0. Suppose j = 2*d - 56. Let a(l) = -58*l**3 - 3*l**2 - 15*l - 12. Let g be a(-1). Is g greater than d?
False
Suppose 0 = -4*m - 3*m + m. Suppose m = -2*g - 22*t + 23*t - 24, 4*t + 16 = 0. Which is bigger: 2 or g?
2
Suppose -60*x + 58*x - 5*u = -3, -5*u + 58 = -3*x. Suppose -5*m + 15 + 9 = 3*b, -3 = -m. Suppose -z + b*z = -20. Is x != z?
True
Suppose 26 = -2*s + q, -4*s + 6*s + 3*q + 34 = 0. Let x be (-106053)/60844 - s/8. Which is smaller: x or -1?
-1
Let t(p) = -p**2 + 10*p - 1. Let w be t(10). Suppose 0 = -m - 5*m - 42. Let n be -2*(-6)/188*m/21. Is w bigger than n?
False
Suppose 75 = 4*m - 9*m + 4*c, 3*m = 4*c - 53. Suppose -159*p - 37 = -355. Is p less than or equal to m?
False
Let a = 3.47 + -4.16. Let k = a - -0.62. Which is bigger: k or -1?
k
Let f = -18611 + 260811/14. Which is smaller: 18 or f?
18
Let t be 1688/633 + 952/66 + 0. Is 17 less than t?
True
Let j = 59 - 59.95. Let o = j - 0.05. Let w = -25 + 114. Do w and o have the same value?
False
Let n = 89081 + -89096. Suppose 4*d = -4*h - 72, -h - d - 30 = 3*d. Which is smaller: n or h?
n
Suppose -4*o + 19 = -21. Let f = -188 - -173. Let n be (-111)/f - 6/(-10). Which is bigger: o or n?
o
Let y be 7/70*2 + (-79)/(-5). Suppose 0 = 121*p - 123*p - 10. Which is smaller: y or p?
p
Suppose 13 + 17 = 10*p. Let q be p/(7 - 4)*1. Let k be (-18 - (q + 0 - 1))/(-7). Are 3 and k unequal?
True
Let y(c) = -c - 4. Let u = -8 + -4. Let a be y(u). Let x = -207 + 216. Do x and a have the same value?
False
Let q = 4459 - 4841.1. Let p = 424 + q. Let y = -42 + p. Which is smaller: -5.3 or y?
-5.3
Suppose 5*z + 1602 = 4*t, 2*z + 2019 = 5*t + 4*z. Suppose 7*b + t = 46. Let k be 8/(-12)*(-1 - b/6). Which is smaller: -3 or k?
k
Let u = 9890 + -9891. Do 3/2165 and u have the same value?
False
Suppose o = -5*a + 318, -317 = -5*a - 5*o - 7. Is a != 51?
True
Suppose 471 = 9*c + 2010. Let o = c - -171. Let k be (-2)/(-12)*(-8)/(-10). Is o smaller than k?
True
Suppose 0 = 5*b + 1066 + 1644. Let n be 5*27/90*b/(-3). Is n != 273?
True
Suppose -3*o - 92 = f + 36, 0 = 5*f - 20. Which is smaller: -43 or o?
o
Let a be 445/15*(-6)/8. Let f be 28 - (9 - -6) - 34. Which is smaller: a or f?
a
Suppose n = -5*p - 2830, 0 = 2*n + 13*p - 16*p + 5595. Let x = 22409/8 + n. Is -3 greater than x?
True
Let i = -19255 - -19254. Which is greater: i or 5/4054?
5/4054
Let y be 3/(6/5)*-2. Let b(t) = t**2 + 5*t + 9. Let p be b(y). Let f = 13 - p. Do f and 6 have different values?
True
Let s = 1.9 + -3. Let p = -56.9 + s. Let d = p - -57. Is -29 > d?
False
Let i = 14484 - 14489. Which is greater: i or 1368?
1368
Let g be ((-9)/(-12))/((-30)/(-200)). Suppose -22*s = -26*s - 4, -g*s = -4*k + 65. Is k > 8?
True
Let g be 8 + -7 + -9 + 323/40. Is g greater than or equal to -1?
True
Suppose -608 = 8*p + 5*p + 6*p. Is -10 != p?
True
Let n(t) = -3*t + 5 + 46*t - 12*t - 10*t - 20*t. Suppose -5*s - 3*c = -2*c - 28, 0 = -5*s + 2*c + 19. Let b be n(s). Which is smaller: 11 or b?
b
Suppose 4*i = 8, -3*s - 6 = 2*i + 74. Let m = -4134912/5 + 826982. Which is greater: s or m?
m
Suppose -118*m + 5252 = -114*m. Let t = m + -316432/241. Is t >= -1?
True
Let m = -113 + -97. Let p = -217 - m. Is p > -1/4?
False
Let j be 4312/(-847) - (-1)/11. Let p be (-824)/(-10)*2/((-4)/j). Which is greater: p or 204?
p
Suppose 0 = -m - 4*g + g + 14, 3*g - 16 = m. Are 1/2476 and m equal?
False
Suppose f + 2*t - 5 = 0, 1 = 5*f + 4*t - 6*t. Let z(g) = -4*g**2 - 83*g - 30. Let a be z(-20). Let q be ((-4)/(-10))/(-16*2/a). Do f and q have the same value?
False
Suppose 46*s + 120*s - 166 = 0. Let z be (2/1172)/((-2)/8). Which is greater: z or s?
s
Suppose -2*c + 40 = 4*r + 30, 0 = -3*c - 4*r + 13. Let i be (13 - 13) + c + -4. Is i bigger than -3/19?
False
Let n be 3013000/334775 + 63/(-7). Is 0 >= n?
False
Let y = -6178/6721 + -2/517. Let t = 383 + -387. Are t and y equal?
False
Let r = -5.46 - -5.46. Which is bigger: r or 2195?
2195
Suppose -33*l - 1774 - 1586 = -13458. Which is greater: 2145/7 or l?
2145/7
Let g(y) = 8 + 2*y - 2*y + 6*y + 10. Let p be g(-10). Let t be ((-7)/(-5))/((-20)/(-150))*-4. Is p bigger than t?
False
Let a = 816 - -1954. Is a greater than or equal to 2770?
True
Let w = -8 + 7.8. Let o = w + 0.1. Let y = 161 + -159. Which is smaller: o or y?
o
Suppose 18*c + 3584 = 103*c + 27*c. Which is bigger: 571/18 or c?
c
Let f = -239 + 258. Let h(k) = k**2 - 19*k + 20. Let n be h(f). Which is greater: 22 or n?
22
Let j be (13 - 0) + 671/(-33). Which is bigger: j or -10?
j
Let j(u) be the second derivative of -u**5/20 - u**4/6 + 7*u**3/6 + u**2 + 19*u + 1. Let s be 0/(-1) + -1 + -3. Let q be j(s). Which is smaller: 4 or q?
4
Suppose 2297*b - 242 = 2306*b - 53. Is b at least 48?
False
Suppose 196*w - 56*w + 840 = 0. Is -51/10 less than or equal to w?
False
Suppose -2*d + 948 = 4*d. Let m be 7/56*-4*(d + 2). Is m equal to -80?
True
Suppose 102 = -5*r - 103. Let u = r + 46. Suppose -u*c = -9*c. Which is smaller: -1/3 or c?
-1/3
Let j = 2509/9 + -107365/387. Are j and 0 equal?
False
Let f = 0.0699 + -272.0699. Is -7 greater than or equal to f?
True
Let r = 3 - -37. Suppose 0 = 2*z + 4*t + 2, 0*z - 3*t - r = -4*z. Suppose 0 = 2*x - z*x + 5. Is 1/12 not equal to x?
True
Let u = -6137 - -5817. Which is smaller: -303 or u?
u
Let h = -858 + 858.417. Let m = h + 0.683. Which is greater: 1/9 or m?
m
Let h = 237 - 229. Let v = 12 - h. Let s = 139/3 + -47. Is s <= v?
True
Let v = -9581 - -9581. Which is smaller: 0.0476 or v?
v
Let t(c) = -3*c - 9*c + 2*c**2 + c - 3*c**2. Let s be t(-10). Let x be 12862/1416 - (-2)/(-24). Which is smaller: x or s?
x
Let i = 33/61 - 7829/13908. Is i at most as big as -1?
False
Let a = -690.3 - -737. Let m = a + -33.7. Which is smaller: -0.07 or m?
-0.07
Let y(p) = 14*p - 21. Let j be y(15). Suppose j = -4*z - 123. Let c = -386/5 - z. Is c > 2?
False
Let n(b) = 142*b**2 - 9*b - 8. Let p be n(-1). Is 167 at most p?
False
Let r(w) = w**3 - 8*w**2 + 8*w + 22. Let s be r(6). Let g be s/(-8) - 12/(-80). Let k be -1*((-1044)/585 - (-2)/5). Is k at most g?
False
Let l(j) = -5*j - 4. Let z be l(0). Let k be (-8)/(-2) + 84 + (-8 - z). Which is smaller: k or 83?
83
Let o = -24 + 24.017. Let g = 32.017 - o. Let k be 8/24*(-12)/(-14). Which is greater: g or k?
g
Let j be (10/6)/(80/(-384)) - 5. Which is greater: j or -640/47?
j
Let z = -1135 - -15891/14. Which is smaller: 30/13 or z?
z
Suppose h - q + 5 = 0, -2*h - 228*q + 227*q - 28 = 0. Let b = 16 - 26. Is h > b?
False
Let m = 15 - -6. Suppose -27 = -2*f + f + 5*a, 3*a + m = 3*f. Suppose 3*x = f*x + 19. Is 20 at least as big as x?
True
Let c = 36112 + -36106. Which is smaller: c or 54?
c
Suppose 95*x = 8571 - 1214 + 1478. Let b be 11710/(-126) + (-6)/21. Let o = x + b. Which is smaller: 1/2 or o?
o
Let k = -0.054 - 8.946. Let a = -12.8 - k. Let t = 3.6 + a. Which is bigger: 6 or t?
6
Let t = -2419071/155 + 15607. Does -1 = t?
False
Let q = 15777 + -15800.9. Which is smaller: q or 0.5?
q
Let c = 0.0392 + 420.9608. Let v = -428 + c. Is -7 bigger than v?
False
Let l = 3066.97 + -3068. Suppose 1 = -4*m - 5*v + 18, -2*v + 10 = 0. Which is smaller: m or l?
m
Let n(d) = -2*d**2 - 41*d + 15. Let c(k) = -12*k**2 + 45*k - 9. Let f be c(4). Let s be n(f). Let v = -0.1 + 0.3. Are s and v equal?
False
Let l = 158.532 + -29.532. Which is smaller: l or -1/42?
-1/42
Let z be -1 - (13/(78/(-3150)) - 5). Let j = -455 + z. Suppose 5*m + h - 375 = 0, 5*m + 3*h = -0*h + 385. Do j and m have the same value?
True
Let v be (-44)/(-1) - (5 + -1 + -7). Suppose -3*j = -5*f - v, -2*j = 3*f + f + 20. Let n be -1*2/(-2)*-9. Which is smaller: n or f?
n
Let r be (8/(-16))/(5/(-30)). Let s be (5 - r) + -1 + 16/(-24). Is 163 != s?
True
Let d = 140 + -2650/19. Let w be ((-13)/(-2))/(19/(-38)). Let z(s) = -4*s - 50. Let m be z(w). Which is smaller: d or m?
d
Let y = 5547 + -44325/8. Let i = 88/105 + -6/35. Do y and i have the same value?
False
Let m be ((-4)/3)/((-2)/13). Suppose 1489*a - 450 = 1444*a. Which is greater: a or m?
a
Let l be (66/44)/((-1)/(-4212)). Which is small