an or equal to c?
True
Let j be -4 - ((-3454)/968 - 3/8). Is j < 1?
True
Suppose -6*a - 10 = -4. Let u be 4 - 3 - a - 0. Suppose u*o + 5*n = -13, 0*o + 5*o + 21 = -n. Which is smaller: o or -7?
-7
Suppose 0 = -3*j - 2*h + 50, 8*h - 10*h + 14 = j. Suppose -15*l - 3*l + j = 0. Is -2/1051 not equal to l?
True
Suppose 13*z - 9*z = y + 74, 2*y - z = -127. Is y at most as big as -74?
False
Let u(t) = 45*t - 2193. Let p be u(49). Let m(y) be the first derivative of 2*y**2 - 42*y - 1. Let b be m(p). Does 6 = b?
True
Suppose 0 = -3*z - 2*z - 175. Let v = 7576 - 7617. Let m = v - z. Is m less than or equal to -4?
True
Let x = -1495/18 + 748/9. Are 2/9 and x unequal?
True
Let p = 175274209/538 - 325789. Let f = -2/269 - p. Are -48 and f equal?
False
Let u be 2/12 - (-4)/(-48)*14. Which is greater: -196/5 or u?
u
Suppose 0 = -5*c + c + 240. Let y = 73 - c. Suppose -5*q - 38 = -y. Is 5 greater than q?
True
Let r be (-3)/(-5)*(-2)/10. Let u(a) = -918*a - 57834. Let w be u(-63). Which is smaller: r or w?
r
Suppose -7 = -5*y - 4*a, 5*a + 11 = 2*y - 5. Suppose y*k - 4*n - 502 = 0, -3*n - 498 = -3*k - 0*k. Let m be (-36)/k - (-1016)/(-126). Is -8 greater than m?
True
Let v(l) = 11*l**3 - 2*l**2 - 2*l - 1. Let n be v(-1). Suppose -3*c = -3, -c - 1 = 2*u - u. Let d be (-20)/(-15)*n/u. Which is smaller: 7 or d?
7
Let u be (-2)/(-9) - (4118/(-18) - 7). Suppose -2*l = t - u, 3*l - 445 = -4*t - 96. Is l >= 117?
True
Let o be (988/13)/19 + (-2004)/502. Is o at least -3/2?
True
Let x = -19806 + 20615. Is x <= 9?
False
Let b = 3898 - 3047. Which is bigger: 0 or b?
b
Let g(z) = z**2 - 5*z + 6. Let p be g(4). Suppose -p = -2*w - 26. Let t be (-176)/52 - w/4. Is 1 != t?
True
Suppose 185*y + 181*y = 337*y - 354873. Is y > -12238?
True
Let p(d) = -3*d - 1. Let i be 506/(-154) + (-4)/(-14). Let c be p(i). Suppose 23 = -5*x + 5*u + c, -3*x + 11 = 2*u. Which is bigger: -3/62 or x?
x
Let a(w) = -411*w + 1579. Let o be a(-5). Which is smaller: o or 3636?
o
Let d(y) = -52*y - 6589. Let m be d(-128). Let g = 1/180 - -12149/180. Is g greater than or equal to m?
True
Suppose -3*i + 97 = -2*m, 0 = m + m - 5*i + 103. Let c = -3817.97 - -3818. Which is smaller: c or m?
m
Let k = 3948 + -3946. Is k at least -4/565?
True
Let x be (-6)/42 + (-1677)/336*2. Let b = 75/8 + x. Which is smaller: b or -7?
-7
Suppose -7*u + 4994 = 4*u. Suppose u + 379 = 7*b. Is 119 > b?
False
Let l = 8116 + -8351. Is l greater than or equal to -228?
False
Let a = -19653 - -19653. Which is smaller: a or 8/3679?
a
Let n = 94 - 93.99. Let i = -67.01 + n. Let h = i - -67. Is h <= 15?
True
Let c = 164068 - 1148968206/7003. Is c bigger than -1?
True
Suppose 0 = 3*b + 15, -4*y - 3*b - 2*b - 5 = 0. Suppose -y*l + 60 = -7*l. Let k = -31 - l. Are -3/11 and k equal?
False
Let v be (-378548)/303*(-6)/(-10) + (-8)/(-5). Which is bigger: v or -747?
-747
Let u be ((3 - 4)*0)/3. Suppose u*s - 9 = -3*s. Let n be (-4*(-5)/30)/(6/9). Which is greater: s or n?
s
Let x(n) = -n + 1. Let c be x(-1). Let j = -1.093 + 0.133. Let l = j - -1.16. Is l at most c?
True
Let m be (-20)/110 + (-2780)/(-44) + -4. Suppose -2198 = m*c - 45*c. Which is greater: -158 or c?
c
Suppose 4*r - d - 1194 = 0, -5*r = 2*d - 1902 + 403. Let k = 358 - r. Which is smaller: k or 58?
58
Let h = -2.75 - -11.85. Let w = 9.2 - h. Are w and -29 unequal?
True
Let z = 1719/62 + -7/31. Let r = 1198 - 1785. Let b = -560 - r. Which is smaller: z or b?
b
Let m = -1270789 + 31765102/25. Let h = m - -185. Which is bigger: 1 or h?
1
Let r(a) = -a**3 - 16*a**2 + a + 22. Let i be r(-16). Let v be 118/i + 4/3. Suppose -k + v = -0*k. Is 20 >= k?
False
Let j = -17505 + 17618.079. Let c = -113 + j. Let r = c + -0.115. Which is greater: r or 0?
0
Let h = 4705/24 + -196. Let l = -80 - -80. Which is smaller: l or h?
l
Let s(g) = -g**3 + 6*g**2 - 10*g - 2. Let l be s(5). Let x(n) = 8*n + 121. Let v be x(l). Is v smaller than -95?
False
Let n = 1085 - 1084. Let j be ((-4)/192)/1*(-10)/(-8). Which is smaller: n or j?
j
Suppose 0*o + o + 4 = 3*w, 4*o = 5*w + 5. Let a be 1/1*12*(-25)/(-100). Suppose -b + 8 = -3*g, -a*g + g = -5*b + 53. Do b and o have the same value?
False
Let n(x) be the first derivative of -2*x**3/3 + 29*x**2/2 - 54*x - 115. Let i be n(13). Which is bigger: i or -17?
i
Let k(f) = 5*f**2 + 48*f + 28. Let v(i) = -i**2 - 14*i + 63. Let p be v(4). Let b be k(p). Which is greater: -3/622 or b?
b
Let r = -4794895/186 + 25779. Let m be (14/(-414))/(62/30). Let y = r + m. Is -1 greater than or equal to y?
False
Let y be -72 - -34 - -29 - -26*9. Suppose 3*c - 4*w + 665 = 6*c, -4*c - w + 904 = 0. Is c bigger than y?
True
Suppose -5*q + 4*q + 85 = -u, -4*q - 8 = 0. Let k be 0 - u/(-36) - (17 + -19). Are k and 0 nonequal?
True
Let d = -0.63 + -0.17. Let b = 0.2 + d. Let x = b + 3.6. Is -1 not equal to x?
True
Let c(y) = 7*y**2 + 7*y - 18. Let m be c(2). Let o be (-12)/130*m/(-72). Is o at least as big as 0?
True
Suppose 7*m - 4841 = -12191. Do -1047 and m have the same value?
False
Let d = 37721 + -37741.947. Let z = 0.053 - d. Let k = z + -21. Which is smaller: k or -0.1?
-0.1
Let z be (65/(-26) - -3)/(12/(-105)). Which is smaller: z or -3?
z
Let i = -0.03 - -0.23. Let q = -38 + 35. Let w be (102/(-4))/q + 6/12. Is i bigger than w?
False
Let v = 3862.35 - 3864. Which is greater: v or 0.2?
0.2
Let q = 7084216/5523 + -16/1841. Let j = -1270 + q. Which is smaller: 13 or j?
j
Let j = 146.3 + -153.73. Let w = j - 29.81. Let v = 37 + w. Which is bigger: -1 or v?
v
Let p be ((-1610)/6 - 1)/(28/21 - 2). Are p and 403 unequal?
True
Suppose -889 - 545 = 6*c + 3*b, 3*c = 2*b - 731. Which is bigger: c or -224?
-224
Suppose -4874 = 4*i - 5*h, -5*h - 8 = 2*i + 2414. Are 2/9 and i unequal?
True
Let l = -564797 - -3970934/7. Do 2478 and l have different values?
True
Suppose 0 = -4*h + 3*y + 32, -5*h + y = -4*h - 8. Suppose -261 = 17*k - h*k. Which is smaller: k or -194/7?
k
Suppose 0 = g + 1204 - 313. Let y = g - -748. Is -431/3 at most as big as y?
True
Let g(v) = v**3 - 10*v**2 - 4*v + 41. Let m be g(10). Let y = -1/838 - 1483/161734. Let q = y - -223/2895. Which is smaller: q or m?
q
Let s(j) = -62*j - 929. Let t be s(-15). Let d be 2/(-7) + (-11713)/91. Let u be (24/32)/(d/(-16)). Which is smaller: t or u?
u
Let l = -94/35881 + -61307187/5130983. Let p = -205/13 - l. Is -3 at least p?
True
Let s = 0.03831 - -40.96169. Which is bigger: s or 0.013?
s
Let d be -4*195/(-20)*(-49)/21. Let w be (-1)/2*(4 + d/26). Is -48 at most as big as w?
True
Let f(r) = 36*r + 2086. Let g be f(-58). Let o = 22 - 7. Suppose -4*s - 75 + o = 0. Is g at least as big as s?
True
Let z = -104/7 + 1677/119. Suppose 4*i + 2*h = 2, -i + 3 = 488*h - 485*h. Are i and z equal?
False
Let p be 1190/(-42) - 3/9*-1. Let i be (10/(-15))/((-20)/(-804)). Are i and p non-equal?
True
Let b = 19.7 - 10.3. Let f = 7 + 2. Let s = b - f. Which is greater: -1 or s?
s
Let n be -6 + 4 - (0 - -3). Suppose -9*a + 18*a - 324 = 0. Let r be ((-4)/3)/(a/54). Is r equal to n?
False
Let p = 0.744 + 36.356. Let y = 18.2 - p. Let m = y - -19. Is m less than -8?
False
Suppose -58*l = -48*l - 10. Is l less than or equal to -1/297?
False
Let a = -0.76 - -0.86. Let r = 16.9 + 9.7. Let j = -5.4 - r. Is j != a?
True
Suppose 2*z = 3*f + 28, 3*f - 4*z = -6 - 26. Let d(a) = 13*a**2 - 267*a + 937. Let p be d(16). Is f at most p?
True
Let n = 3587 - 3564. Let v = -11 + -40. Let z = v + 73. Which is greater: z or n?
n
Let i be (-2)/13 + 4812404/2444. Let o = i - 1969. Which is greater: o or -1?
o
Let k(i) = 34*i - 525. Let b be k(13). Is b less than -247/3?
True
Suppose -24*z + 75 = 99. Are z and 1/577 equal?
False
Let m be (-2 + (-6)/(-2))/((-1)/(-98)). Suppose m*p - 7 = 105*p. Is 4/119 at most p?
False
Let b = 43 + -38. Let m(f) = 2*f**2 + 4*f + 17. Let o be m(b). Suppose 7*x - 10*x - o = 0. Is -28 < x?
False
Suppose -16 = -5745*d + 5729*d. Is 5/53 at most as big as d?
True
Let d = -4/10649 + -49977/8700233. Which is smaller: -1 or d?
-1
Let a = 3342 + -3381. Let d(v) = -v**3 - 8*v**2 + 8*v - 11. Let f be d(-9). Do f and a have different values?
True
Let h = -6294 - -1521. Which is bigger: -4771 or h?
-4771
Suppose -4*g - s + 68 = s, 5*g = -3*s + 83. Suppose 29*r + 19*r + 646 = 86*r. Is g smaller than r?
False
Suppose 2*s = -21*s + 138. Suppose 5*x = -2*p +