?
True
Let p(s) be the third derivative of -s**4/24 + 8*s**2. Let q(j) = 85*j - 17. Let d(w) = -102*p(w) - q(w). Let h be d(-6). Is -85 less than or equal to h?
True
Let c = -2594 + 2575. Is c > 1?
False
Suppose 5*n = -5*y + 3050, 4*n - 2470 = 13*y - 2*y. Is n at least as big as 605?
True
Suppose 2*f + 4 = -5*h + 3, 5*h - 3*f - 14 = 0. Suppose 3*u + h = 4. Let q = 1045 + -74194/71. Is u at least q?
True
Let s be (374/(-33) + 11)*4/(8/6). Is s >= -152/69?
True
Let r = 50367/4466 + 5/638. Is r at most 12?
True
Suppose 3620*l + 923 = 3633*l. Is 68 at least l?
False
Let p = -407 - -417. Let q(h) = h**3 - 10*h**2 + 6*h - 62. Let y be q(p). Let k = -8 + 4. Is y greater than or equal to k?
True
Let l = -2.11 - -0.11. Let g = 1696363/79 + -21473. Which is smaller: g or l?
l
Let i = -8982 + 8379.7. Let f = i + 601. Which is bigger: f or -10/9?
-10/9
Let b = -1 - 0. Let t be (2/31)/(13 + -19). Which is smaller: t or b?
b
Let t be 9/(-33)*(-2)/3. Let l be (-1)/((-576)/81 + 7). Let f be l/((-108)/8) - 40/(-24). Is t less than or equal to f?
True
Let p = -4717 - -4734. Which is smaller: p or -3?
-3
Let f = 61 - 61.76. Let r = 82 + -81.14. Let p = r + f. Is 0.3 >= p?
True
Let q = 700 - 4868/7. Let y = 116 - 99. Let m(p) = -p**2 + 14*p + 56. Let l be m(y). Which is greater: q or l?
l
Let u = -1530 - -1537.73. Let s = -7.7 + u. Let h be 12/18*(-6)/4. Is h > s?
False
Let q = 182807/3 + -61544. Does q = -609?
False
Let i(s) = 13*s - 54 + 50 + 150*s. Let c be i(1). Which is smaller: 158 or c?
158
Let d(j) = -5*j + 2. Let f be d(-2). Let v be 15/f*1/5. Let s = 5741 - 5705. Is v equal to s?
False
Let x = 3 - 27. Let l = -25 - x. Let m = 161/1140 + -3/380. Is l <= m?
True
Let u be 3190/2 - (-6 + (0 - -6)). Is 1595 < u?
False
Let t be -2*(-6)/(-92)*56/12. Suppose 7 = -h - 5*m, 3*h + 5*m = -h - 13. Which is smaller: t or h?
h
Let s(w) = 70*w - 7642. Let k be s(37). Do k and -5053 have the same value?
False
Suppose -6*x + 3*x = -168. Suppose 3*s - 2*j - 55 = 2*j, 4*s - j - x = 0. Let v(w) = -w**3 + 13*w**2 - w. Let a be v(s). Which is smaller: a or -14?
-14
Let x = 2193 + -2193.188. Which is greater: -0.4 or x?
x
Suppose 8*q = 3*q + 5. Let a be 0 - (-1 + (2 - 3)). Suppose -2*v - 3*n = -33, -a*v + 6*v = 3*n + 21. Which is smaller: v or q?
q
Let p = 6.36 - 57.36. Which is smaller: -6 or p?
p
Let y = -3109 - -3056. Which is smaller: -76 or y?
-76
Let b(d) = -18*d + 6. Suppose -8*z + 6*z - 10 = 0. Let p be b(z). Which is smaller: 95 or p?
95
Let j(u) = 5*u**3 + 14*u**2 - 22*u - 97. Let m be j(-10). Are m and -3477 equal?
True
Let z be (-8964)/1281 + (-2 - -23)/3. Which is smaller: z or 4?
z
Let t = 7 - -38. Let k = -41 + t. Suppose -3*z = -k*z + 2*i - 2, 4*i + 24 = -5*z. Which is smaller: z or -20/7?
z
Let b = -1756399/610146975 - 2/251607. Does 0 = b?
False
Let w be 116373056915/10660 - 4/(-26). Let y = -10916638 + w. Let i = 637/4 - y. Is i <= -1?
False
Let k be (((-25860)/(-540))/(2/(-30)))/((-1)/(-12)). Is k at least as big as 2/7?
False
Let q = -12.631 - -19.631. Which is greater: -0.0171 or q?
q
Suppose 0 = -5*w + 7*d - 3*d - 16, -3*w + d = 4. Suppose w*g - 4*g = 2*y + 1052, 5*g = 4*y - 1341. Is g bigger than -265?
False
Let u be -1*(3 + 5)/4. Suppose 5*j = -4*w - 174 + 14, 43 = -j - 3*w. Let k = 23 + j. Is u smaller than k?
False
Suppose 11*d + 45125 = -14*d. Is d at most -1805?
True
Let h = 40 - 31. Suppose h - 29 = -l. Suppose l = -15*r + 10*r. Is r greater than 2?
False
Let y = -4672 - -4672. Let b be (-12)/(-54)*(-6)/(-83). Is b at least y?
True
Suppose -x = -4*w + 19, 3*x - 3*w = w - 17. Let v be (-2 + 8 - 4) + 2 + x. Suppose 0 = -c - 5*u, c + 5*u - u = -v. Does c = -25?
True
Let u = -5.8 + 59.3. Let s = -54 + u. Are 1/5 and s nonequal?
True
Suppose z - 209 = 256. Let o = z - 425. Which is smaller: 288/7 or o?
o
Let m(q) = 185*q**2 + 1677*q + 3. Let t be m(-8). Is -1571 != t?
True
Let p(q) = 8*q + 2. Let w be p(24). Let i = -162 + w. Is 32 <= i?
True
Let g = -1392 + 1974. Let u = g + -579.63. Let z = 0.37 - u. Do z and -2 have the same value?
True
Let b = 203 + -205. Which is greater: b or -810?
b
Let m(z) = -117*z + 3391. Let l be m(27). Let s = 0.2 + 0.8. Is l at least s?
True
Let r = -213 + 447. Let h = -109 + r. Let t = h - 133.1. Which is smaller: t or 1?
t
Suppose -7*y - 185 = -976. Suppose 2*p = -0*j - 2*j + 6, -4*p = 0. Is j equal to y?
False
Let p = 3919.8 - 3919.6. Is p at least as big as 838?
False
Let w(i) = -i**3 - 5*i**2 + 36*i + 33. Let b be w(-9). Which is smaller: 255/8 or b?
255/8
Let q = 1388908/282489 + -2596/493. Let h = q - -3/191. Do h and 0.023 have the same value?
False
Let f = 2259 - 2394. Is f greater than -141?
True
Let h = -33648 + 33694. Which is bigger: -2/13 or h?
h
Let u be 193501/(-6821) - (6 + -2). Which is bigger: -33 or u?
u
Let f(q) = q**3 - 5*q**2 + 5*q - 6. Let n be f(4). Let c be 1 + ((-98)/(-47))/n. Suppose 0 = -2559*m + 2566*m + 6 + 1. Which is greater: m or c?
c
Suppose 282*j = -121*j - 11*j. Is -32/155 != j?
True
Let z = -3622 - -3831. Let d be 22/(-4)*(-41 + 3). Is d bigger than z?
False
Suppose 17 = -3*y + 4*s - 104, 5*y = 3*s - 187. Let a = y + 2204/63. Which is bigger: 0.1 or a?
0.1
Let m be (-5 + 34/6)/(26/(-20)). Let k = 14/39 + m. Let x = k - -17/26. Which is smaller: 3/11 or x?
3/11
Suppose -33*p + 23 = -10. Let d be -2*(13/p + -7). Which is bigger: -49/4 or d?
d
Let p(x) = x**2 - 16*x + 3. Let o be p(-7). Let c = 138 - o. Is -25 bigger than c?
True
Suppose p + 15 = 6*p. Let b(k) = -2*k**2 - 23*k - 58. Let n be b(-5). Which is greater: n or p?
n
Let v = -3927 - -4039. Which is smaller: v or 111?
111
Let a = -11169 - -11257. Do a and 86 have different values?
True
Suppose p = 4*p - z - 2, -5*z + 18 = -p. Suppose 2*t + 958 + 837 = 5*b, 4*t + 3598 = 2*b. Let g be t/(-2275)*42/9. Are g and p equal?
False
Let d be ((-2574)/(-130))/(197/10) - 1. Suppose 4 = -5*f - 1. Is d >= f?
True
Let b be ((-21)/(-28))/((-6)/(-8)). Let u = -1906 - -28598/15. Is u greater than or equal to b?
False
Let j = 94.09 - 93.45. Which is smaller: j or 0.43?
0.43
Let v(w) = w**3 + 64*w**2 + 53*w - 1399. Let n be v(-63). Which is smaller: n or -761?
n
Let r = -1.3 - -3. Let i = r + 2.3. Let u = -87 + 89. Do u and i have the same value?
False
Let p(d) = -2*d - 30. Suppose 7*y = -16 - 19. Let n be (-5 + 1)/(y/(-105)*6). Let q be p(n). Which is smaller: 0.07 or q?
q
Suppose -57 = -3*n + 21. Let x = n - 109. Let j = x + 82. Is j > 1/6?
False
Let j = 0.10991 - -1.49009. Are j and 255 unequal?
True
Suppose -3*r - 153 + 18 = 0. Let z be 34/51*r/(-6). Which is smaller: 3 or z?
3
Let c(t) = -3*t**2 - 6*t + 241. Let w be c(8). Is 1/2118 at most w?
True
Let o(a) = 3*a**2 - 37*a - 3. Let s be o(9). Let q = -49 - s. Is -2 at most as big as q?
True
Suppose 0 = -19*o - 630 + 2226. Let l be -2 - (-1 + -3 + -1). Which is smaller: o or l?
l
Let q = 38.1 + -61.1. Which is bigger: q or -3/77?
-3/77
Let v(l) = -l**2 - 112*l + 112. Let y be v(1). Let b = 0.29 - 0.15. Which is smaller: y or b?
y
Let p be (-1*(-596)/(-12))/(-3 + 8). Is -10 >= p?
False
Suppose 4*v - 2*t = 41222, 4*v = 10*t - 12*t + 41218. Is v less than 10305?
False
Let d = 16 + -11. Let t = 10290 - 10290. Suppose 4*s - d*s = t. Which is smaller: s or -4/51?
-4/51
Let b = -1.92 + 2.465. Let n = 1.455 + b. Which is bigger: n or -191?
n
Let y be (6/(-7))/((-25)/(-35))*5. Let z(s) = -3*s**3 - 12*s**2 - 3*s - 20. Let n be z(y). Which is smaller: n or 213?
213
Let z = 4.156 + -4.566. Is z equal to -2/45?
False
Let k be 4/6*(-6 + -6). Let f be k/6*(-24)/16 + 10. Suppose 7*y = 11*y - f. Which is smaller: 2 or y?
2
Suppose -6*a + 4*a = 2590. Let d = 5259/4 + a. Suppose 77*x - 69*x - 160 = 0. Which is bigger: x or d?
x
Suppose 171*t - 170*t - 68 = 5*r, -3*r = 3*t + 12. Let s = 7 + -3. Is s at least as big as t?
False
Let z be (-3376)/(-841) - 0 - (9 - 5). Is z > 1?
False
Let o = -159.35 + 159.95. Let m = 20.4 - 0.4. Is o > m?
False
Let s = -95 + 142. Suppose -11*y + 483 + 23 = 0. Which is smaller: s or y?
y
Let p(l) = -6*l**2 + 5*l - 1. Let g be p(7). Let t be ((-10)/6)/(g/156). Let a be (2 + 3)*(-12)/(-705). Is a greater than or equal to t?
False
Let s(x) = 105*x - 28. Let t be s(-3). Let c = -635 - t. Is -291 at least as big as c?
True
Let f = -1/243 - 53/243. Is f at most as big as 289.9?
True
Let 