+ 49. Let f be (s/(-5) + -1)*-5. Which is bigger: -3/7 or f?
-3/7
Let v = -72 - -47. Do v and -99/4 have the same value?
False
Suppose 0 = 3*q - 7*q. Let i = 5 - q. Let y = i + 3. Which is greater: y or 10?
10
Suppose 4*n + a - 52 = 23, -a = -3*n + 65. Is 21 <= n?
False
Let s(w) = w**3 - 17*w**2 + 7*w - 112. Let v be s(17). Do 12 and v have different values?
True
Let q = 17 + -18. Is q at least -1/59?
False
Let k be 44/(-2)*(1 - (-5)/(-4)). Let z = k + -91/16. Is z at most 1?
True
Let h be (-2)/(-76)*(-140)/10. Which is smaller: h or -1?
-1
Let u(y) = -y**3 + 2*y**2 + 3*y. Let l be u(2). Let w(k) = k - 2. Let o(h) = -h**3 - 8*h**2 + 9*h + 9. Let d be o(-9). Let a be w(d). Which is smaller: a or l?
l
Let q(x) = 122*x**2 + 4*x + 8. Let h be q(-2). Is h less than or equal to 486?
False
Let z = -935 + 803.7. Let a = z - -124. Let q = -8 - a. Is 3 greater than q?
True
Let j = -0.26 + -3.74. Let k = -256 - -255.6. Which is greater: j or k?
k
Let g = 33 - 35. Let j be (-112)/g - 36/12. Suppose 93 = 3*s + 3*h, 4*h + j = 2*s + 3*h. Is 27 greater than s?
False
Let j(h) = h + 7. Let o be j(-3). Let r be o/(-6) + (-8)/(-14). Is r greater than or equal to 0?
False
Let i = 16 + -14. Suppose -2*d = 4*x - 38, -3*d = -i*x - 7 - 10. Which is smaller: d or 10?
d
Let j be (-1380)/(-730)*7/3. Let d = -82151/292 - j. Let n = 284 + d. Do n and 0.1 have different values?
True
Suppose 4*i - 16 = -24. Is i > 0?
False
Let j be ((-66)/(-4))/(26/(-364)). Let g = 178699/8 + -22568. Let q = g - j. Which is greater: q or 0?
q
Let c = 11/46 - -1/92. Let r = -2 + 1.8. Are c and r unequal?
True
Let u = 0.027 - 0.337. Let p = u + 8.11. Let m = p + -8. Which is smaller: m or -0.04?
m
Suppose 0 = 4*i - 3*u + 19, 0 = 5*i + u - 2*u + 10. Which is smaller: 7 or i?
i
Suppose -q = 3*q + 84. Let d be (-70)/q*18/10. Suppose -d*u - 8 + 50 = 0. Is u at most 8?
True
Let r(s) = -16*s - 91. Let y be r(-6). Is 1.1 smaller than y?
True
Let x = -18 - -19. Let q be 2/(-6) + 234/527. Let t = q - 4/51. Is t greater than x?
False
Let m = 339.65 + -340. Let k = 0.25 - 0. Let i = m + k. Which is greater: i or 15?
15
Let r = -31 + 35. Suppose -2*i - r - 10 = 0. Let l be 1/i*(4 + -3). Which is smaller: -1 or l?
-1
Suppose 159 = 2*m + 5*s - 63, s = 4*m - 466. Is 114 >= m?
False
Let c be (-4 - (-6830)/75)/13. Let o = c + -2/65. Are o and 8 nonequal?
True
Let j = 14 + -12. Let a be 147/12 - j/8. Let q = a + -11. Is q at most as big as 1/4?
False
Suppose 452 = -3*c + 7*c. Suppose 0 = -6*q + c - 35. Is 12 greater than q?
False
Let u = -84 - -84.227. Are 0.2 and u nonequal?
True
Let j be 1/(-1 + (-20)/(-15)). Suppose -p - j*n - 2*n = -25, 0 = -2*p + n - 5. Is -22 less than p?
True
Let u = 22.8 + -3.8. Let p = 19 - u. Which is smaller: p or 3?
p
Let c be (-3 + 4)*(-1 - 2). Let h = 461.9 - 462. Which is smaller: h or c?
c
Let b(w) = -2*w + 5. Let j be b(-5). Suppose 6*k + 4 = 16. Suppose 0 = -k*f - 21 + j. Is -5/3 greater than or equal to f?
True
Let m be (2162/483)/((-7)/(-183)) - 4. Let s = m - 113. Suppose 2*p = -2, -3*y + 5*p = 2*y. Which is bigger: y or s?
s
Suppose -6*b + 16 = -4*b. Let j = 5 - b. Let y be (((-15)/21)/5)/j. Is -1 less than or equal to y?
True
Suppose 0 = 3*u - 6 - 21. Let l = 37 - 36.7. Let m = 0.7 + l. Which is smaller: m or u?
m
Let p be 31/66*2 + -1. Let a = -746 - -746. Which is smaller: a or p?
p
Suppose -46 = -4*p - 2*v, -p - 4*v - v + 34 = 0. Suppose 0 = -4*f + 2*j - 5 + 3, 2*f - p = 3*j. Is -3 bigger than f?
False
Suppose 0 = -7*n - 6*n + 624. Is -2 greater than n?
False
Suppose -39 = -2*t - 5*z + 6, -t + 5*z = 0. Let y(p) = -8*p. Let q be y(4). Let c = t + q. Which is smaller: -16 or c?
c
Let k = 214 - 209.2. Is -2 <= k?
True
Let q = 176 + -175.757. Which is smaller: -2/5 or q?
-2/5
Let k = -11 - -11. Let i(w) = w**2 + w - 68. Let z be i(0). Let u be 1*-4*2/z. Is k > u?
False
Let i = -37 - -35. Let k be (1 + i)/((-5)/(-10)). Which is greater: -14/11 or k?
-14/11
Let m = 3520/15867 - -2/5289. Which is bigger: m or 17?
17
Let c = -10.8 + 9. Let r = -23 - -25. Let z = c + r. Which is smaller: -2/9 or z?
-2/9
Let k(c) = -c**3 - 12*c**2 - 34*c - 2. Let j be k(-8). Which is greater: j or 5?
j
Let c be 808/(-126) + 220/(-495). Is -6 at most c?
False
Let f(r) = -r**2 + 17*r - 51. Let x be f(13). Is 28/47 at least as big as x?
False
Let h = 39.2 - 40.2. Is h less than or equal to 34?
True
Let x = -3 - -2. Let h(w) = 5*w**3 - w. Let p be h(x). Which is smaller: -6 or p?
-6
Let p = 952 + -886. Is -9 < p?
True
Let i = 916 - 1460. Which is smaller: i or -545?
-545
Suppose 4*b = 4*l + 21 + 107, 10 = 5*b. Let k = l + 26. Which is greater: -8 or k?
k
Suppose 150 = -4*j - 10. Let z be (-2)/1 + j/(-18). Suppose -55*p = -41*p. Which is greater: z or p?
z
Let w = -10 - -9.97. Let m = -0.97 - -0.9. Let k = m + w. Are -1/5 and k unequal?
True
Suppose -12 = -4*d + 7*d. Suppose 3*m + 1 = -14. Is d greater than or equal to m?
True
Let g be 30/(-140)*21/(-3726)*-3. Which is bigger: 1 or g?
1
Let s = -404 - -436. Do 164/5 and s have different values?
True
Let o = -1328 + 1333. Suppose 0 = -s - 4*u - 0*u - 1, 0 = -5*s + 2*u + 17. Is o <= s?
False
Let d(t) = -t**2 - 2*t + 4. Let c be d(-3). Let a = 1.89 - 0.09. Let h = 1.8 - a. Which is bigger: h or c?
c
Let l be (26/78)/((-1)/(-63)). Let f be 1 + 1*(-51)/l. Is f > 0?
False
Let x = 14546 + -916448/63. Let o = x + 13/18. Which is smaller: -4/7 or o?
-4/7
Suppose -5*j + 39 + 6 = 0. Let r be (44/55)/((-3)/15*-2). Suppose u - j = -r. Which is bigger: 8 or u?
8
Let v(l) = -2*l**2 - 26*l + 30. Let o be v(-14). Suppose -12 = -4*h - r + 1, -4*r + 16 = 4*h. Which is smaller: h or o?
o
Let f(b) = b**3 + 9*b**2 - 14*b + 11. Let g be f(-11). Which is smaller: g or -76?
g
Let v = -15.815 - -1.005. Let f = -15 - v. Is 1/5 smaller than f?
False
Let w = 1494.6 - 1492. Is w > -7?
True
Let l = -3 + 11. Which is greater: -8 or l?
l
Let i(c) = 2*c - 10. Suppose 1 = k, -54 = -5*x - 0*k - 4*k. Let h be i(x). Which is smaller: 14 or h?
h
Let p = 51 + -51. Suppose p = -u + u - u. Which is greater: u or -0.06?
u
Let r = 741/1972 + -49/68. Is -1 smaller than r?
True
Let k = 6179/171 - 311/9. Is 2 > k?
True
Let x(a) = -a**3 - 4*a**2 + a + 2. Let b be x(-2). Let v be 12/b + 35/25. Does v = -1?
False
Let i = 25 - 22. Suppose m + 26 = -r, -i*m - 98 = r - 3*r. Is m != -30?
False
Let d(m) = -m**2 - 4*m + 4. Let k be d(4). Do k and -26 have the same value?
False
Let v(k) = -k**3 - 8*k**2 + 8*k - 13. Let h be v(-9). Let j be 0 - h*(-2)/20. Let o = -238 - -211. Which is smaller: j or o?
o
Suppose -9*q = 17*q. Which is smaller: 2/181 or q?
q
Let f be (60/18)/(38/(-1)). Let u = f + -731/114. Is u at least -7?
True
Let u = 1.8744 - -0.0256. Which is smaller: u or -2/9?
-2/9
Let z(j) = 14*j - 66. Let q be z(-16). Is -290 less than q?
False
Suppose -k - 8 = -z, 2*z - 4*z + 31 = -5*k. Let x be (4/2 - 3)*z. Let n be (-6)/x + (-1)/(-2). Is n less than or equal to 0?
False
Let j = -1719 - -1724. Which is smaller: j or 15?
j
Let s(y) = 8*y + 20. Suppose -28*x = -31*x - 9. Let p be s(x). Which is smaller: -13 or p?
-13
Let l = 6 - 4. Suppose 2*g + 400 = 4*i, -i + l*g - 7*g + 78 = 0. Let q be i/21 - (-1)/3. Is q at least as big as 4?
True
Let o be (-15)/(-30) + ((-87)/(-222) - 1). Which is smaller: -1 or o?
-1
Let o = 15 + -167. Let v be (5 - o/(-36))*4/(-14). Is v <= 9/2?
True
Let g = 73 - 49. Let a be (-2)/(-28)*g/(-18). Which is smaller: a or -0.05?
a
Let s be 49 - 39 - 508/(-18). Which is smaller: 39 or s?
s
Let t(h) = 44*h**2 + 99*h + 100. Let r be t(-1). Which is greater: r or 48?
48
Let j = 1/3735 - 1624732/26145. Which is smaller: -63 or j?
-63
Let w = -4 - -42. Let f = -77 + w. Which is greater: f or -41?
f
Let i = 62.996 - -0.004. Which is bigger: i or -3?
i
Let p be (6/4)/((-84)/2528). Let d = p + 45. Is d >= -1?
True
Let c be 64/11 - -1*4/22. Suppose p - 4*i = 1, 4*p + 3*i - c = -2. Which is smaller: -1/14 or p?
-1/14
Let g = -940 - -268. Let f be 6/39 + g/(-26). Do 27 and f have different values?
True
Suppose 0*o + 4*o + d = 38, -o = 2*d - 13. Let l = 11 - o. Which is smaller: l or 0.9?
0.9
Let w be (-1 - (-1012)/(-18)) + 0. Let c = -57 - w. Let l = 500 + -499. Which is bigger: c or l?
l
Let x be (-496)/(-10) - 12/(-30). Suppose -4*d = d - x. Suppose -2*o + 44 = 2*o. Which is smaller: o