3334 - 24152. Is s at least as big as -825?
True
Let s be 31 + 3336281/(-123565) - (6 + 4/(-2)). Which is smaller: s or 0?
s
Let j(u) = u**2 + 2*u + 15. Suppose 14 = 3*v + 2, -5*t = -3*v + 32. Let k be t/(-6) - 192/(-36). Let m be j(k). Is m smaller than 63?
False
Let x(s) = 8*s - 80. Let p be x(18). Suppose p*l = 54*l + 10. Which is bigger: l or 1/168?
l
Let s = 659 + -659. Is s > 1/879?
False
Let b = 1.367 + -96.367. Does 0.3 = b?
False
Let f(k) = -143*k**2 - 329*k + 999. Let u be f(3). Do u and -1275 have different values?
False
Suppose 0 = -97*t - 126406 - 24131 + 9402. Which is smaller: t or -1456?
-1456
Let t = 13 - 11.2. Let w = 175 + -174. Let f = w - t. Is -2 at least f?
False
Let w(g) = -g**3 + 44*g**2 + 3*g - 121. Let k be w(44). Suppose 54 - 648 = k*l. Which is greater: -53 or l?
-53
Let t be 1668/15 + (14/(-2))/35. Which is greater: 441/4 or t?
t
Let y be (-8 + 2)/(40/(-16) + 4). Let p be y + (-6 - 192/(-20)). Which is smaller: -7/5 or p?
-7/5
Let d(s) = 3*s**2 - s - 2. Let y be d(-1). Let c = 116 + -117.05. Let l = c + 2.35. Is l less than or equal to y?
True
Let h be 2/(-21) + 167219/399. Let z be h*(-6)/(-510) + -5. Which is smaller: 1 or z?
z
Suppose -76812 = -310*w + 483*w. Is -447 != w?
True
Let w be ((-149)/((-3427)/5658))/6. Let q(h) = 6*h + 3. Let r be q(6). Which is smaller: r or w?
r
Suppose 5*c - 14 = -4. Suppose h = c*a - 15, 4*a - 4*h = -a + 45. Suppose -a*w + w - 252 = 0. Is -62 at least w?
True
Let m(v) = -5*v**2 - 66*v + 42. Let i be m(-9). Is 228 at least i?
False
Let s = -227/56 + 75109/18536. Does 0 = s?
False
Let q = -14.78 - -1.08. Let y = -13.3 - q. Which is greater: 0.1 or y?
y
Let p be 1 + -2 - (-32)/(-32). Let o be (0*p/(-14))/(-2). Is o less than 2/49?
True
Let k = -469456/148771 + -40/2807. Is -4 at most as big as k?
True
Let k(z) = 2*z**2 + 8*z + 3. Let i be k(-5). Suppose -108 = -i*w + 4*w. Suppose q - 15 + w = 0. Which is greater: 26/9 or q?
q
Suppose -84 = -12*o + 26*o. Let i(m) = -m**3 - 7*m**2 - 11*m - 17. Let d be i(o). Which is bigger: 118/9 or d?
118/9
Let o = 165 + -161. Suppose -3*r = -o*t + 21 + 36, 0 = -5*r - 4*t - 95. Let l(x) = -x**2 + 5*x - 6. Let v be l(7). Which is bigger: v or r?
r
Let r = 630.756 - 3.156. Let y = 642.524 - r. Let m = -0.076 - y. Is 1 at most as big as m?
False
Suppose -7 - 1 = -s + 4*p, 5*s = 2*p - 50. Let u be (-4)/(-10) - (-1962)/45. Let r = u + -56. Is r bigger than s?
False
Let o be 2*21*13/78. Let r be (0/(0 + -3))/(5 - o). Does 13/10 = r?
False
Let k(m) = -m**3 + 8*m**2 - 14*m - 5. Suppose 581*a - 576*a - 25 = 0. Let c be k(a). Is -6/13 greater than or equal to c?
False
Let f be (-1965)/27 - (-2)/(-9). Let p = f - -72. Let c = -41 + 41.2. Are c and p non-equal?
True
Let v be (-9 - 21/(-7)) + 8. Suppose -v*z + 1 = -c + 18, 0 = 4*c - 20. Let o = -935/12 - -218/3. Which is bigger: o or z?
o
Let h = -181 + 214. Let f be (-3)/33*-2 - 17/h. Is f greater than 72?
False
Suppose -17*g - 14208 = -14208. Which is smaller: -1/26694 or g?
-1/26694
Let l = 14093 + -14084. Is -338 >= l?
False
Suppose 2*n = 2*p - 0*n + 8, -p - 3*n = 24. Let i be 15*9/27 + 73/p. Let l be 3/(1 - (0 + 2)). Is l <= i?
False
Suppose -17748 = -65*w + 31838 + 12814. Which is smaller: w or 958?
958
Let w = 0.1 + -0.3. Let b be 2/(-10) + (2 + -3)*144/(-180). Is b at least as big as w?
True
Let x(p) = p**3 + 9*p**2 + 13*p - 7. Let i(u) = -u**3 + 21*u**2 + 24*u - 50. Let n be i(22). Let d be x(n). Let k = 18 - d. Which is smaller: -9/2 or k?
k
Let b(h) be the first derivative of h**4/4 + 4*h**3 + 11*h**2/2 + 4*h - 13. Let g be b(-11). Suppose -2*w + 2 = 5*z, 0 = -g*z + 5*z. Is 1/12 smaller than w?
True
Let n be (-11 - (-704)/66)/(3595/(-15)). Is 0 greater than n?
False
Let x be 6/21 - (-1008)/(-98) - -10. Let o be (30/14 - 2)*-3. Which is smaller: x or o?
o
Suppose 9*c - 15 = 4*c. Let s = 10 - c. Let q be (62/1)/(-1*(1 - s)). Which is smaller: 11 or q?
q
Suppose -3*i - 2*v - 24 + 29 = 0, -i + 3*v = 13. Let x be ((-1)/(-1))/((-254)/(-6)). Which is smaller: i or x?
i
Let m = -15 - 4. Let a(t) = -2*t**2 - 34*t - 23. Let k(j) = 3*j**2 + 34*j + 20. Let v(d) = 5*a(d) + 4*k(d). Let s be v(18). Is m at most s?
True
Let q = 305 + -248. Let u = -543 + 546. Is q != u?
True
Let o = 271 - 271.0336. Let v = 2.9664 - o. Which is bigger: -1/73 or v?
v
Let m(p) = -p**3 + 5*p**2 + p - 5. Let b be m(5). Let w = 40988 + -2254339/55. Which is bigger: b or w?
w
Suppose 3*x + 12 = 7*x. Let c = 11/4 - x. Suppose 5*o - 21 = u + o, -2*u + 3*o = 17. Is c less than u?
False
Let j(c) = 33*c + 1451. Let p be j(-67). Is p greater than -764?
True
Let m = -1493/237590 + 2/1033. Let n(j) = 270*j + 15660. Let l be n(-58). Which is greater: m or l?
l
Suppose 0 = 414*m - 425*m. Suppose -260*n + 262*n - 58 = m. Are 147/5 and n equal?
False
Let v be (1 - 3)*3/((-18)/195). Suppose 2*d + v = 5*n + 7*d, 0 = -5*d - 20. Which is bigger: 15 or n?
n
Let d be 21063/(-11682) + 1/6. Is -53 at most d?
True
Suppose 295 = 2*k - k. Let r(l) = 2*l**2 + 35*l - 1147. Let q be r(-37). Which is smaller: q or k?
k
Let k be (-1155)/(4 + -1) + 3. Let d = -27743 - -27745. Which is greater: k or d?
d
Suppose -58 = -4*y - 2*w, 5*y + 4*w = 65 + 15. Let f be (-8)/((-30)/(-9) + -4). Are y and f unequal?
False
Let t be 2/6*-3 - 5/(-1). Suppose 5*l - 1 - 4 = 2*s, 2*s + 14 = -t*l. Let c be -2*3/15*l/2. Is -3/5 at least c?
False
Let i = -1893 - -3617. Is i != -0.1?
True
Let a = -1722 + 1664. Which is bigger: a or 1/3?
1/3
Let j be (-44)/(-20) - 2 - 177/(-15). Suppose -2*l - 2*l = -j. Suppose -14*v = -l*v + 231. Is -21 > v?
False
Let y(r) = 110*r + 1523. Let m be y(-14). Which is smaller: m or 0.357?
m
Let w be (-98)/18*(-4)/16. Let y = -28/9 + w. Let s = -1345 + 1344. Which is smaller: y or s?
y
Suppose 0 = 15*t - 1683 - 1812. Suppose t = 17*y - 277. Which is smaller: 151/5 or y?
y
Let t = 1709 - 1707. Are t and -1077 unequal?
True
Suppose 3*o + 7 = 2*o - 4*u, -5*o + 2*u - 145 = 0. Let m = o - 13. Let f(j) = 5*j - 10. Let a be f(2). Is a bigger than m?
True
Let k be (-888)/272*2*(0 + (-2)/(-21)). Is k at least as big as -1?
True
Suppose 3*k = -k. Let i = 165 - 163. Let r be i/8 - 363/1980. Do r and k have different values?
True
Let x = 6494.034 + -6519. Let g = 0.034 - x. Let z = 27 - g. Which is smaller: z or 0.08?
0.08
Let q(k) = 16*k**2 + 62*k - 655. Let f be q(9). Which is bigger: 1196 or f?
f
Let f(n) be the first derivative of n**3 - 7*n**2 + 33*n - 31. Let j be f(-15). Let l be j/323 - (2 + 1). Which is bigger: l or 1?
1
Suppose -5*u - 66 = -3*u. Let b(y) = -y**3 + 7*y**2 - 21*y - 8. Let l be b(3). Which is smaller: l or u?
l
Let k be (-6)/111 + 405405/7537640. Which is bigger: k or -1?
k
Let m = 69 + -67. Let v(g) = 2*g - 11. Let b = -2 + 9. Let t be v(b). Which is smaller: m or t?
m
Let z = -1011/13 - -37693/481. Which is smaller: 1 or z?
z
Suppose -8 = -g + 7. Let h(p) = 6*p - 16. Let d be h(5). Let v be ((-7)/d)/(1 - g/16). Which is greater: -2/9 or v?
-2/9
Let o = 87 - 86.94. Let z = 376.8 - 372. Is o not equal to z?
True
Suppose -689 + 209 = 267*u - 107*u. Suppose j + j + 56 = 0. Let p be j/21 + (-19)/u. Which is smaller: p or -0.4?
-0.4
Let n be 6 + (162/(-24) - ((-217)/28 + 8)). Which is smaller: n or 42/499?
n
Let k(q) = -q - 29. Let y be k(-19). Let l be 19/((-114)/360)*y/(-3). Let w be 30/l - 6/10. Which is greater: -2 or w?
w
Let u = 15/4 + -95/28. Suppose r - 289 - 58 = -5*d, 0 = 4*d + 3*r - 282. Suppose 0 = 2*q + d - 71. Which is greater: q or u?
q
Let p be (1 + 4)*(-2)/185. Let o be (-3 + 3)*(-2)/(6/3). Suppose o = -112*k + 110*k - 2. Is p at most as big as k?
False
Let f = 8.8 - 46.8. Let i = 2319.2 - 2281. Let u = i + f. Which is smaller: u or -2?
-2
Let p be 3/(2208/88)*-3. Which is smaller: 0 or p?
p
Suppose 0 = -9*s + 4530 - 1542. Let w = -349 + s. Which is bigger: -110/7 or w?
-110/7
Let h be -224 + 229 - 179/4. Let c be (-15)/(-6)*9/(18/(-32)). Which is bigger: c or h?
h
Let u be 1*119*(6 - 7). Let h = u - -1429/12. Let j = -3646.05 - -3646. Which is smaller: j or h?
j
Let c = 152 - 172. Let v be -9 - ((-45)/c)/(18/(-48)). Are -102 and v nonequal?
True
Let z(i) = 2696*i + 612. Let t be z(1). Which is greater: 3307 or t?
t
Let i be (3/6)/(4/(-2392)). Let o = -94 - i. Suppose o = -5*g - 0*g. Which is greater: -40 or g?
-40
Let j = -43798/11 -