1?
True
Let o = 487690 + -178006966/365. Let w = o - 6/73. Let h = 49.69 + -53.69. Which is bigger: w or h?
w
Suppose -7*u - 2*q = -12*u + 57, -4*q = -16. Let t be u/(-78)*8/(-178). Which is greater: -1 or t?
t
Suppose -501*j + 12 = -513*j. Is j > -10/49?
False
Suppose 14*o = 1431 + 1201. Suppose -o = -13*d + 800. Which is smaller: d or 75?
75
Let k(d) = 2*d**2 - 102*d + 658. Let m be k(8). Let b(c) = c**2 - 13*c + 9. Let v be b(9). Which is greater: m or v?
v
Suppose -3*l + b + 9 = 1, 8 = -l - 5*b. Which is smaller: -0.953 or l?
-0.953
Let q(s) = 550*s + 1649. Let d be q(-3). Which is greater: 2/12099 or d?
2/12099
Let l(i) = 5*i - 7. Let u be l(3). Suppose -u*x + 5*x + 1911 = 0. Let r = x + -51596/81. Is r at least 0?
True
Let q = -8569 - -8571. Let r = -2351 - -35279/15. Which is smaller: q or r?
r
Let k be -3 + 60/16 + -1. Let h = 3/20 - k. Do h and 265 have the same value?
False
Let d = 0.31 - 0.01. Let r = -106 - -101.67. Let w = 8.33 + r. Is w greater than or equal to d?
True
Suppose 139 = d - 4241. Suppose 12*w - 8*w = -d. Let f = w - -73367/67. Do f and 1 have the same value?
False
Let s(y) = -91*y**3 + y**2 + 20*y + 20. Let j be s(-1). Suppose 370 + j = -7*l. Which is greater: l or -71?
l
Let x be (-7 - (-2 - 0)) + (-2277)/(-454). Are -1 and x equal?
False
Let g(y) = y**3 - 13*y**2 - 16*y + 64. Suppose 3*m = 4*x + 27, 0 = -5*m + x - 5*x + 77. Let d be g(m). Does d = -145?
False
Suppose b = 2*i + 6 + 1, 4*b - i = 7. Let w = 13135/2 + -19880/3. Let q = w + 5501/93. Which is smaller: q or b?
q
Let z = 30 - -384. Let r = z + -421. Which is greater: -13 or r?
r
Let k be (-14 + 12 + 5)*-1. Let s be (4/1)/(1/4). Suppose 2*o = -5*a + 45 - s, -3*o + 9 = -4*a. Which is smaller: k or o?
k
Let g be 4*2/4*2. Let s(a) = -3*a**3 - 20*a**2 - 7*a + 28. Let k be s(-6). Let d be 2/14*(-56)/k. Is g at most as big as d?
True
Let u be -3*1/(-3) + -20. Suppose 18*f = 21*f. Suppose f = b + 84 - 68. Is u at most as big as b?
True
Suppose -84 = -13*q + 6*q. Let u be 8/q*(-15)/(-4). Do 2 and u have different values?
True
Suppose 0 = 2*x - o + 658, 15*x + 352 = 14*x - 11*o. Is -326 at least x?
True
Let f(g) = -g - 23. Let j be f(-23). Let v(y) = -y**3 - 2*y**2 - 2*y + 1. Let b be v(j). Let d(w) = 26*w - 5. Let t be d(b). Are 19 and t equal?
False
Let v = 1232492419/210 + -5869071. Let t = v + 298/5. Is 0 at least t?
False
Let v(f) = -f**3 - 19*f**2 + 17*f - 65. Let q = 47 + -67. Let d be v(q). Which is bigger: -21/4 or d?
d
Let u(z) = -z**3 + 20*z**2 + 437*z - 202. Let f be u(33). Which is bigger: f or 42?
f
Suppose 0 = -18*p + 25*p - 847. Let x = p - 149. Which is smaller: x or -26?
x
Let b = 431737463/3571 + -120901. Do b and 0 have the same value?
False
Let a be (-1 + -1)*(11 - 14). Let j be 5 - (-3 - a/(-1)) - -4. Let t be ((-3)/9)/(4/(-36)). Is t < j?
True
Suppose -22 - 10 = -4*f. Suppose 4*h + 4*w = w - 33, 4*w = -h + f. Suppose 0 = -3*o + 4*o + 13. Is o at least h?
False
Let r(w) = -w**3 - 10*w**2 - 11*w - 21. Let h be r(-9). Let t = -21 - -17. Which is bigger: h or t?
h
Let j = -40841131/448 - -91163. Let y = j + -3/64. Is -28 greater than y?
False
Suppose -254 = 4*s + 40*r - 43*r, 0 = 5*s - 5*r + 310. Let q = -126 - -59. Let y be q + (-2 - (-2 - -2)). Which is bigger: y or s?
s
Let s be -21*((-7)/3 + 2). Let w = -30640 + 30628. Which is bigger: w or s?
s
Let j be (24/(-15) - -2)*-3. Let o = -19/20 - j. Let n = -198325 + 198325.12. Is o less than or equal to n?
False
Suppose 5 = -5*b, -7*u = -12*u - 2*b - 837. Is u <= -167?
True
Let t be 4 + 5 + (-3 + 1 - -1). Suppose -t*g = -48 - 0. Let j be g/(-9) - 130/(-6) - 3. Is j equal to 1/4?
False
Let s = -1551 - -71. Let d be 2 + s/(-742) + -4. Is d not equal to -1?
True
Let i = 50702/561 + -1522/17. Let b = 1717 - 1716. Which is smaller: i or b?
i
Suppose -21*s + 5306 = -6*v - 23*s, 4*v = 3*s - 3559. Which is smaller: v or -890?
-890
Let k = -59/6 + 21523/2190. Is 2/7 < k?
False
Suppose -3*r - 2 = -5. Let w = -4501/19057 + 1/1121. Is r < w?
False
Suppose 6 = 2*v - 2*a, 0 - 3 = -v + 5*a. Let m(d) = -v - 17 + 4*d - 6 - 5. Let z be m(8). Is z > -3/98?
True
Let v = -4961 - -4830. Is -120 bigger than v?
True
Let x = 15736 - 15736.1. Which is bigger: -1/1512 or x?
-1/1512
Suppose 4*w = 12, 4*w + 555 = -2*x - x. Let i = -277 - x. Is -89 > i?
False
Let v = 9 + -8.7. Let f = -0.8 - v. Let o = -0.028 + 0.028. Is o != f?
True
Let k be ((-308)/(-6))/(92/414). Let u = 232 - k. Is -174 >= u?
False
Let u = -825/4 + 33801/164. Let o = -1.2 + 0.2. Which is smaller: u or o?
o
Suppose -z - 8 = 2*x + 4*z, 0 = 3*x + 5*z + 2. Suppose -8*s = -x*s - 26. Let o(l) = l**2 - 6*l - 13. Let f be o(9). Which is smaller: f or s?
s
Suppose 5*d - 6*d - 6 = 0. Let w(a) = -2*a - 3. Let q be w(d). Suppose -5*n - 9 = t, q = -t - 4*n + 2. Which is smaller: t or -2/59?
-2/59
Let i = 183.897 + -184. Let u = i - 0.327. Which is smaller: -1/2 or u?
-1/2
Let t be (-564)/(-10) - 12/30. Let j = 54 - t. Is -16 != j?
True
Suppose 1280*w + 102784 = 1296*w. Is 6426 smaller than w?
False
Let z = 5726 - 57227/10. Is 4 equal to z?
False
Let w be 1 - (4 + 142/(-5)). Let b = -376/15 + w. Is b < 1/43?
False
Let t be 12/13*(-99)/(-180). Let o = -4/13 + t. Let j = o + -4/5. Does j = 0?
False
Let c = 1.3 + -0.3. Let t be -75*(-6)/36*230. Let s = 324873/113 - t. Which is bigger: s or c?
c
Let a be 18/(-4)*(-448)/12. Let z = 28 - a. Is -141 not equal to z?
True
Let c be ((1485/(-44))/(-15))/((-6)/3040). Do 1 and c have the same value?
False
Suppose 0 = -3*o - 4*z - 30, 5*o + 3*z = 17 - 45. Which is smaller: o or -40/19?
-40/19
Suppose -4*y + 13 = -31. Suppose 11*o - 308 = y. Let b = -60 - -88. Which is bigger: b or o?
o
Let g = -55 + -38. Let s = g - -24. Let m = s - -68. Do m and -26/3 have different values?
True
Let d = 116.9 - 116.8. Which is greater: 3211 or d?
3211
Let i = -1878 - -1861. Let q = 21 + -14. Which is smaller: i or q?
i
Let t = 9754 - 2506775/257. Are t and 0 nonequal?
True
Let l be 2/(-6) - (-150)/(-9). Let u(o) = 3*o - 16. Let f be u(24). Let w = -72 + f. Which is greater: l or w?
w
Let c(u) = u**3 + 10*u**2 + 22*u + 34. Let q(s) = 5*s**2 + 51*s + 3. Let z be q(-10). Let y be c(z). Are y and 26 unequal?
True
Let r = 418 - 282. Let b = r - 423. Is -288 <= b?
True
Suppose 3*c + 3*f = 2*c - 6, -3*c + 2*f = 7. Let w be (-4 - -4)/(c + 2). Let r be ((-8)/12)/(w - 94/3). Which is bigger: 1 or r?
1
Let u be 1/3*(2 - -1). Let j be (-1 + 76)*(-36)/54. Let p be (-21)/(-6 + -1) - (-154)/j. Which is greater: p or u?
u
Let q be (-1)/((-16)/(-5) + -3). Let f(m) = m**2 + 3*m - 2. Let w be f(q). Let t = -0.067 - -2.067. Is w <= t?
False
Let d = -77 - -72.8. Let g = d - -2.6. Which is bigger: g or -10?
g
Suppose 3*h - 3 = 12. Let k(j) be the second derivative of -j**5/20 + j**4/2 - j**3/3 - 4*j**2 + 961*j. Let l be k(h). Is l less than or equal to 4?
False
Let p = 5477 + -5475. Which is greater: -188 or p?
p
Let v(z) be the third derivative of z**5/60 - z**4/4 + z**3/2 + 3*z**2 + 2*z. Let m be v(5). Which is bigger: m or 25?
25
Let p be ((-18)/(-4) - 4) + (-19316)/8. Let f = -9809/4 - p. Which is greater: -37 or f?
-37
Let f(l) = -38*l - 416. Let q be f(-12). Suppose -4*d + 120 = -d. Is q at most as big as d?
True
Let u = -40640 + 19547830/481. Which is smaller: u or -1?
-1
Suppose 4*w - 973 + 209 = 0. Suppose -3*f + 383 = -y, -4*y + 4*f - 1341 = w. Is y > -382?
False
Suppose -107*m + 28421 = -1143 - 7993. Is 367 less than or equal to m?
False
Let h = -27 + 32. Suppose -r = -k - 2*k + 7, h*k = 4*r. Suppose -2*g - 19 = -r*i, -13 - 9 = -5*i + g. Which is smaller: 0 or i?
0
Let c be 6 - (252 - -6)/6. Let q = c + 36. Is 2/21 greater than or equal to q?
True
Let i = 6 - 3. Suppose -946 = -i*r + 2*v, v + 781 = 4*r - 487. Let p = r + -4768/15. Is p less than or equal to 0?
False
Let j = 547 - 476. Suppose -77*f - 120 = -j*f. Is -24 < f?
True
Let g = -1840121173/267 + 6891851. Let f = -6/89 + g. Let q = f - 11. Which is bigger: q or 0?
q
Let z = -3929 - -3929. Which is smaller: 152 or z?
z
Let y be 158/(-132) - ((16 - 25) + (-92)/(-12)). Let h(s) = s**2. Let j be h(1). Which is smaller: j or y?
y
Let a = -46231.928 - -45974. Let y = 258 + a. Is -2 at most y?
True
Let m be 1 - (5 - 2 - 32). Suppose 3*c + 256 = -5*c. Let y = m + c. Which is smaller: y or -12/7?
y
Suppose 