s k smaller than 2?
True
Let o be 1*((-8)/(-60) - (-9386)/30). Is o at most 315?
True
Let b(l) = -4*l**2 - 9*l + 24. Let a(q) = 5*q**2 + 8*q - 25. Let v(d) = -3*a(d) - 4*b(d). Let x be v(-14). Is -3 at most as big as x?
True
Let y(t) = -2*t - 26. Let f be y(-13). Suppose -4*b - 130 - 78 = f. Do -51 and b have the same value?
False
Let o(v) = -v**2 + 3*v + 2. Let h be o(4). Let t be (h + (-1)/(-1))/(2/(-24)). Is 15 != t?
True
Let t be ((-4564)/(-20))/((-3)/(-5)). Let m = 397 - t. Does 17 = m?
False
Let u = -578 - -602.7. Let b = 27 - u. Is b less than 0?
False
Let r = 326 - 319. Let g(a) = -7*a**3 - 2*a**2 - 2*a - 1. Let c be g(-1). Is c greater than or equal to r?
False
Let h(i) = -2*i**2 - 12*i + 245. Let l be h(10). Is l less than -75?
False
Suppose 0 = -z - 302 + 235. Is -64 less than z?
False
Let f = 118.1 + -118. Let z = 0 - -0.28. Is z < f?
False
Suppose 73*k + 52*k + 6783 = -198*k. Suppose 1 + 9 = 2*u. Suppose -3*w + 6 = q + 40, u*q + w = -114. Which is greater: q or k?
k
Suppose -4*j = -5*c - 209, c = -3*j + 2*c + 143. Let n = j + -38. Is n smaller than 4?
False
Let i = -396 - -711. Which is smaller: -1 or i?
-1
Let r be (-10)/(-6) - 1 - 1. Let u(s) = 2*s**2 + 12*s + 4. Let b be u(-6). Suppose -b = -5*m + 1. Which is smaller: m or r?
r
Let g(q) = 21*q - 1. Let l be g(1). Let k = l + -19. Let c be k/(-2) - 75/(-6). Which is smaller: 11 or c?
11
Let t be (-10)/(-11)*21/(-35). Which is bigger: -16 or t?
t
Let o be 1 + 2 + 133 + 7. Suppose -44 + o = -11*j. Suppose 2 = -4*x + 4*y - 10, 0 = 5*x - 3*y + 25. Which is bigger: x or j?
x
Suppose -w + 2 = -3, 3*w = -k + 20. Suppose 15 = -k*h, 0 = 4*g - 0*g + 2*h + 6. Suppose -t + 0*t + 2*i + 7 = g, 0 = -i - 3. Is t <= 3?
True
Suppose -8*y - 344 = -0*y. Is y >= -9?
False
Let c = -13 - -4. Let g be 2/(-6)*c/(-3). Let k(q) = q**3 - 24*q**2 + 20*q + 66. Let p be k(23). Which is bigger: g or p?
g
Let a(d) = -5*d - 57. Let r be a(-12). Suppose -2*t + 4 = t + 5*s, -r = 3*s. Which is smaller: t or 15/7?
15/7
Let b be -3*(2 - 0/1). Let r = b - -7. Let t be (3 - (-2 + 5))/r. Which is smaller: -2/7 or t?
-2/7
Let t(m) be the second derivative of -m**3/6 - m**2 - 2*m. Let p be t(-1). Which is bigger: 3/32 or p?
3/32
Let t = -3.1 - 4.9. Are -4 and t equal?
False
Let r = -348 + 347. Which is bigger: -14/5 or r?
r
Let y(w) = w - 23. Let n be y(-36). Which is smaller: -61 or n?
-61
Suppose -3*u + 5*u = 26. Suppose y = 3*p - 3*y + u, 0 = 3*p + 5*y - 23. Is p smaller than -2/5?
False
Let x = -1/65 - -76/715. Which is smaller: 0 or x?
0
Suppose 134 = -4*q + 2*q. Let r = 22 - 22. Which is greater: q or r?
r
Let i(w) = w**3 - w. Let z be i(-1). Let g be 40/(-15)*3/(-2). Suppose q - 2*q - g = z. Is -9 at least q?
False
Suppose g = -0*g + 74. Let s = g - 369/5. Let r = 50 - 151/3. Is s greater than or equal to r?
True
Let k be -3*(-2)/(-27) + 1064/1710. Is k at least as big as -0.02?
True
Suppose s + 2 = 3. Let u be (-2 - (-25 + s)) + 0. Suppose -8 = -4*t - 5*m, 3*t - t + u = 4*m. Which is smaller: -1 or t?
t
Suppose 4*c - 9*b = -7*b + 78, -3*c + 31 = 4*b. Which is smaller: 22 or c?
c
Let t = 1/300 - -397/900. Which is smaller: 13 or t?
t
Let h(y) = -y**3 + 8*y**2 - 13. Let o be h(7). Let i = o + -23. Let f = 16 - i. Which is smaller: 0 or f?
0
Let b = -495 + 496. Which is smaller: -54 or b?
-54
Let u = 58.47 + 0.53. Let q = 62 - u. Do q and -0.6 have the same value?
False
Let m = -19700 + 137355/7. Do -78 and m have the same value?
False
Let p be 19 + -13 - (-62)/(-10). Which is smaller: p or 7?
p
Let h = -33.1 + 29. Let u = h + -4.9. Is 0.2 not equal to u?
True
Suppose -5*r - 25 = 0, 5*a + 2*r - 5*r = 0. Which is bigger: a or -30/19?
-30/19
Let c = 2687 - 2728. Is -58 bigger than c?
False
Suppose l - 2*l = 2*m + 92, 0 = -3*l - 6. Let s = -50 - m. Which is smaller: -16 or s?
-16
Let l be (-105)/(-24) + 4*(-10)/10. Which is greater: l or -13?
l
Let f be 1/3*(-16)/(-24). Is f < -74?
False
Let r be 19/((-4 - -1)/(-21)). Let b = -261/2 + r. Let m = -7 + 10. Is b bigger than m?
False
Let m = -0.432 + -380.568. Which is greater: 0.1 or m?
0.1
Let y = -82.5 - -99.65. Let x = y - 0.15. Let q = x + -17. Are q and 1 non-equal?
True
Let f(s) = -s**2 - 2*s + 4. Let u be f(-4). Suppose -5*t - 4*h - h - 10 = 0, 0 = 5*t - 3*h + 34. Which is smaller: t or u?
t
Let n = 327 - 2281/7. Suppose -b + 8 = 3*l - 0, -4*l - 2*b = -12. Which is greater: l or n?
l
Let x be (-66)/14 + (-6)/21. Let c = -1227 + 1226.98. Which is bigger: c or x?
c
Let j = 5 + -6. Let w = 0.62 + -0.66. Which is bigger: j or w?
w
Let o(y) = y**3 + y**2 + 3*y + 1. Let x be 5/(-15) - (-5)/(-3). Let u be o(x). Suppose 0 = 5*i - 2 + 7. Which is bigger: i or u?
i
Suppose -y - 1044 = 2*y - 4*v, 0 = -y + 3*v - 348. Let f = -1746/5 - y. Suppose 0 = -3*x + 3 + 3, -t = -3*x + 7. Which is greater: t or f?
t
Let a be ((-1)/(-2))/((130/10)/2314). Which is bigger: 91 or a?
91
Let f = -0.85 + 35.85. Let t = 428 + -460. Let k = t + f. Are k and 0.1 equal?
False
Suppose -28*v - 381 = 1775. Is -20 less than v?
False
Let m = 18 + -19. Are -5.3 and m nonequal?
True
Let b = -25697/23 - -1117. Suppose -226*m - 72 = -230*m. Suppose m = -3*g - 5*y, -8 = 2*g - 0*y + 2*y. Is b at least g?
True
Let q = 1201/2 + -601. Which is smaller: 49/3 or q?
q
Let o be -19*(30/(-50) + (-7)/(-20)). Let x = -111 + 111.3. Which is greater: o or x?
o
Let l be (51188/914)/(27 + -35) + 7. Which is bigger: l or 1?
1
Let x = 6 - 8. Let w = -7 + 8. Let b be (w*(-5 + 3))/x. Which is greater: b or -1?
b
Let k be 2/7*11/2. Suppose -2*y - 3*x + 2*x + 11 = 0, 3*y = -4*x + 29. Suppose -y*z - 4*u - 13 = 0, 3*u + 20 - 3 = 5*z. Is z bigger than k?
False
Suppose 11 = 3*h + 20. Let c(k) = -2*k**3 - 4*k**2 - k + 2. Let v be c(-2). Suppose 4*g = 5*g - 2*m + 1, g + m = -v. Is h at least as big as g?
True
Let f be ((-434)/434)/((1/(-7))/((-2)/(-1))). Let b = 36 + -21. Is f less than or equal to b?
True
Let z = -190 + 114. Let y(o) = -o**2 - 11*o + 51. Let x be y(7). Are x and z equal?
False
Suppose -24 - 120 = -9*o. Let j be 25/(-39) + o/24. Is 1 != j?
True
Suppose 5*z - 5*y = -2*y + 23, -5*z + 22 = -2*y. Let f be 3/406 - 2/z. Let b = 6/29 + f. Is b at least 1?
False
Let y(z) = -z**2 + 12*z - 27. Let o(r) = r**2 - 13*r - 18. Let v be o(15). Let a be y(v). Which is greater: a or -28?
a
Let p(r) = -29*r**2 + r + 36. Let m be p(6). Do -1003 and m have different values?
True
Let y be (-48)/(-18)*(-6)/(-40). Which is greater: y or -19?
y
Let s = 45 + -35. Let y be 1/(s/4) + (-7)/5. Which is greater: y or -1/79?
-1/79
Let f = -40 + 86. Suppose 2*s = -6, -5*s = 3*x - 0*s - 123. Is x at least as big as f?
True
Let h(t) = -t**2 + 2*t - 8. Let f be h(5). Let q = f - -14. Are q and -9 equal?
True
Suppose -4*t = 5*j + 275, 7*j - 2*j - 5*t = -230. Does -51 = j?
True
Let v = -44.5 + 44.6. Are -0.82 and v equal?
False
Suppose 19*f = 18*f + 4. Let r(x) = x**2 + x + 4. Let g be r(f). Which is greater: g or 22?
g
Let g be (40/550)/(2244/(-1125) + 2). Which is bigger: g or 14?
14
Let r = 36 + -50.1. Let n = r - -1.1. Let t = n - -17. Which is smaller: t or -3?
-3
Let s = 28.6 - 28.8. Which is smaller: s or -3/4?
-3/4
Suppose 293*z - 1050 = 328*z. Which is greater: -60 or z?
z
Let j = -2 - -8. Suppose -2*c = -2*r - 14, 0 = c + r - 1 - j. Suppose -5*y - 2 = -c. Which is smaller: y or 1/16?
1/16
Let j = -23 - -22.81. Let w = j + 1.19. Which is greater: 18 or w?
18
Let y = -34 + 305/9. Let j = -13 + 13. Which is smaller: j or y?
y
Suppose 11*n + 2505 = 613. Let l be (12/n)/((-3)/(-2)). Which is greater: 0 or l?
0
Let m(y) = -2*y**3 - y**2 + y. Let z be m(1). Suppose -29*d + 39*d + 40 = 0. Which is smaller: z or d?
d
Let t = 2157 + -2199. Is t <= -42?
True
Suppose 20*a - 9 = 11. Do a and -4/125 have the same value?
False
Let h = -16621 - -16716. Let s(d) = -d. Let r be s(0). Is r less than h?
True
Let z = -19313546/87 - -1507568861/6090. Let p = 25553 - z. Let j = 1/35 - p. Which is smaller: 1 or j?
j
Let j = 748 + -747.9. Let v = -32.5 - -17.3. Let u = -0.2 - v. Which is smaller: j or u?
j
Let o = -895 + 38483/43. Let g = -0.02 + 2.02. Let y = 3 - g. Which is smaller: y or o?
o
Let u = -849/44 - -75/4. Which is smaller: 0.3 or u?
u
Let y be -16*(20/8 - 3). Let o = -5 + y. Suppose -r + 2 = -o*r. Is r at most -1?
True
Let f = -99 + 108. Suppose -f*p =