 = 4*d - 193, -b + 4*d = 87. Do b and g have the same value?
False
Let g be 5/(80/(-6)) + 301/(-8). Which is smaller: -35 or g?
g
Let u = -155 + 156. Is -2/49 at most u?
True
Suppose -21 = -4*a - 1. Suppose -l + a*l + 20 = -2*r, 12 = 4*l. Let s = 17 + r. Which is smaller: -6 or s?
-6
Let x(z) = z**2 - 8*z + 15. Let v be x(8). Suppose -3*y = -6*y - v. Let t be 8/(-3) - (-4)/6. Which is greater: y or t?
t
Let t = 9345/3551 + -24990261/10155860. Let p = -3/143 + t. Which is smaller: p or 1?
p
Let p = 32705/1348 + -4/337. Let b = p - 23/12. Let l = -23 + b. Is l at most 0?
True
Let x = 77.5 + -77. Let r = x - -1.5. Which is bigger: r or 0?
r
Let v(s) = -7*s**2 + 68*s + 12. Let f be v(9). Which is bigger: 284/5 or f?
f
Suppose 0*p + 2*p - 88 = 0. Let c = -47 + p. Which is greater: -2/3 or c?
-2/3
Let w(n) = 9*n. Let c be w(5). Let j = 44 - c. Do j and -2/3 have different values?
True
Let o = 7 + -3. Suppose -o*s = 2*h + 2, -2*s = -3*h + 3*s + 30. Suppose -5*l = -3*w + 15, -5*l - 15 = -h*w + w. Which is bigger: w or 1/14?
1/14
Let l be 0*(0 + 0 + 1). Suppose l = -4*d + 3*d. Let g = 830/7 - 4129/35. Is d < g?
True
Let v(u) = 16*u - 3. Let k be v(3). Let h be (-6)/(-27) + (-10)/k. Let q be (6/(-2) - -4) + 101/(-103). Is h equal to q?
False
Let g = -1486/81 + 616397/1134. Let x = g + -525. Is x > -1?
True
Let g = -1539 - -1455. Is g > 6?
False
Let q = 1.7059 + -0.0059. Which is bigger: q or -2/3?
q
Let z = 19.2 - 22. Let w = -3.8 - z. Which is greater: -14 or w?
w
Let h = 6069/5 + -1210. Which is bigger: 3 or h?
h
Suppose -4*z + 36 = -0*z + 5*l, 4*z = -3*l + 36. Let r be (-14)/(-63) + (-2)/z. Is 0 smaller than r?
False
Let s = 1.94 + -4.94. Which is bigger: s or 15?
15
Let l(u) be the first derivative of -u**4/4 - 10*u**3/3 + 11*u**2/2 - 3*u + 3. Let c be l(-11). Let s be (12/8 + c)/9. Which is greater: 1 or s?
1
Let b = 0.136 + -197.136. Do -2/5 and b have the same value?
False
Let y = 41 - 40. Let m = -13 - -18. Suppose 5*z = x + x + 8, z - m*x = 20. Is z equal to y?
False
Suppose -v = 21 - 103. Are v and 82 equal?
True
Let k = -0.09 + -0.11. Let b = -0.27 - k. Let f = b - -0.27. Which is bigger: -1/2 or f?
f
Let q(l) be the first derivative of l**3/3 + 3*l**2/2 - 63*l + 19. Let z be q(6). Are -0.1 and z nonequal?
True
Let l be 515/1236*8/110. Is 0 at least as big as l?
False
Let r = 0.0092 - -0.0908. Is 13/29 greater than r?
True
Let h(b) = -b + 14. Let s be h(15). Let m be (s - -2) + -2 + 21. Suppose f - 5*j = -0*f - 5, 5*j - m = 4*f. Does f = -2?
False
Let f be (-46)/(-2) - 13/(26/(-8)). Suppose 51 + 3 = 2*i. Is i less than or equal to f?
True
Let q be 6/(-69)*(-3 - -3 - -1). Which is bigger: q or -5?
q
Let l = 245 - 32. Is 214 <= l?
False
Let z be -7*(-6 + -1) - (-76 - -82). Which is bigger: z or 222/5?
222/5
Let l = 9.91 - 10. Let j = -84 - -84. Is j smaller than l?
False
Let o = 11.84 + -7.45. Which is smaller: 1 or o?
1
Let z = -153/8 + 4147/216. Let r = -7/459 + z. Is r bigger than 0?
True
Suppose -3*p + 10 = -2*p + w, -3*p + w = -10. Suppose -p*l + 15 = -m - m, 10 = -2*m. Is l bigger than 10/7?
False
Let z be 11 + 209/(-22) + -1. Which is smaller: z or 0.006?
0.006
Let l = 0.3 + 0.9. Let t = l - -25.8. Let j = t - 29. Is j equal to -7?
False
Let j(f) = -2*f**3 + f**3 + 0*f**2 + 12*f - f**2 + 19 + 13*f**2. Let p = -1 + 14. Let d be j(p). Which is smaller: 5 or d?
5
Suppose -10*i - 5 = -25. Suppose i*f - 6 = -4*f. Is f less than 1/10?
False
Let j = 690 - 674. Let s = 5.9 + -6. Which is bigger: j or s?
j
Let n(h) = -h**2 + h. Let p be n(0). Let k be 90*13/(-4862) + (-2)/(-11). Is p smaller than k?
False
Suppose 2*h = -5*p + p + 130, 2*p + 53 = h. Suppose 0 = w + 3, h = -2*j - w + 2*w. Let m = j - -28. Is m greater than or equal to -6?
True
Let u = -12 - -14. Let y = -2 + u. Let i be (-4)/(-10) + 4/(-10). Are y and i non-equal?
False
Let j(f) = -3*f - 55. Let g be j(-18). Which is greater: 2/431 or g?
2/431
Let y(m) be the second derivative of -m**5/20 + m**4/6 + m**3/3 - 3*m**2/2 + 6*m. Let b be y(2). Which is smaller: b or 6?
b
Let i = -366 + 367. Which is smaller: i or -652?
-652
Let f = 18 + -18.7. Let i = 0.6 + f. Let y = -331/2405 + -3/185. Is i > y?
True
Suppose -5*m - 16*l + 45 = -11*l, -3*m = -3*l - 3. Is m at least as big as -4?
True
Let d = 3617 - 488297/135. Is d less than or equal to 1?
True
Suppose -5*r = l - 10*r, 5*l - 3*r = 0. Which is smaller: 5/63 or l?
l
Let i(z) = z**2 + 5*z + 4. Let o be i(-3). Suppose -4*h - 76 = 4*l, -62 = 2*h + h - 2*l. Let r be (3/6)/(2/h). Is o > r?
True
Suppose -5*k + 29 = -31. Which is greater: -15 or k?
k
Let b be 27/(-15)*(-5)/4. Let y be 18/(-9) - (1 - 2). Let q be (-4)/(-8) - y/2. Is q less than b?
True
Suppose 3*z + 15*a - 17*a + 57 = 0, 3*z + 4*a = -39. Which is smaller: z or -16?
z
Suppose -117*m - 725 = 504 - 410. Suppose x - 3 = n + 2, -4*x = 3*n + 29. Is n < m?
False
Let n be 4/(5/((-15)/9) - -4). Suppose 0 = -n*o + 2*o - 3*z - 5, 4*o = -5*z - 9. Is o < 3/40?
True
Suppose 0*p - 5*p - 3*m + 8 = 0, -3*m = -4*p + 1. Is -1/976 less than p?
True
Let z be (2/(-5))/(7/((-105)/(-9))). Is -0.47 >= z?
True
Let s = -0.98 + -12.32. Let k = -13 - s. Is 2/23 at least k?
False
Suppose -19*w = -16*w + 12. Let p(r) be the third derivative of -r**4/24 + r**3/6 + 4*r**2. Let l be p(6). Which is bigger: w or l?
w
Let f be 3 + 4 + -14 + -2. Let u be (f/(-2))/((-6)/8). Let w be (u/9)/(3/(-9)). Is w >= 3?
False
Suppose -5*y + 8*y + 26 = w, 0 = y - 5. Is w < 47?
True
Let h be (-261)/12*-46 - 10/4. Is 999 at least h?
True
Let m(b) = b**2 - 10*b + 7. Let y be m(7). Let z(h) = 4*h**3 + 9*h**2 + 6*h - 5. Let j be z(-2). Which is greater: y or j?
j
Let s = 0.007 + -0.107. Let j = -0.16 - 28.84. Which is bigger: s or j?
s
Let s(t) be the second derivative of t**5/20 - 7*t**4/12 + 8*t**3/3 - 5*t**2 - 15*t. Let v be s(5). Is 21 <= v?
False
Let i = -1.15 + -1.05. Is i <= 12?
True
Suppose 7*n - 8*n = 2. Which is bigger: -7 or n?
n
Let y = -816 + 815. Is y > 1/526?
False
Let p(j) = -j**3 - 5*j**2 - 6. Let r(q) = -4*q**3 - 14*q**2 - 19. Let k(c) = 7*p(c) - 2*r(c). Let a be k(7). Let x be (a/30)/(9/9). Is x bigger than 0?
False
Let f = -14/1263 - -7058/29049. Which is smaller: 1 or f?
f
Let j(b) = b**3 + 7*b**2 - 8*b - 17. Let a = -53 - -45. Let o be j(a). Is -17 bigger than o?
False
Let u(k) = k**3 - 2*k**2 + 1. Suppose 5*b + 11 = 16. Let l be b/(7 - 3 - 3). Let r be u(l). Which is smaller: r or -0.2?
-0.2
Let x be 7/((-105)/(-6)) - 13/20. Let s be 1 + (-5)/((-10)/(-4)). Are x and s non-equal?
True
Suppose -5*r + 40 = -a - a, r - 8 = 4*a. Let u = -5 + r. Let x = 0.06 + -0.06. Which is smaller: u or x?
x
Let p(s) = 4*s + 1. Let a be p(-1). Let x = 24 - a. Let j be (-4)/18 - (-141)/x. Is j equal to 7?
False
Let a be 5 + 0/(-1) + -2. Let p = 69 + -65. Suppose 5*q + 23 = -a*k, 0 = -4*k + p + 12. Do q and -7 have the same value?
True
Let i = -51/10 + 13/5. Suppose 3*x = -2*w - 3 - 15, 3*w + 5 = x. Let b(z) = 5*z**2 + 14*z - 5. Let m be b(w). Which is greater: i or m?
m
Let h = -23.81 + 24. Let o = h + -0.29. Is 1.2 <= o?
False
Let w(n) = -n**3 - 6*n**2 + 3. Let i be w(-6). Let z(f) = -3*f + 141*f**2 + 3 - 140*f**2 - 8 + 4. Let x be z(i). Are -2/21 and x equal?
False
Let x = -8 + -6. Suppose -4*s + 4*w = 36, -19*w = 4*s - 21*w + 44. Which is greater: s or x?
s
Let i = -473.05 - -473. Let x = 4 + -4. Which is bigger: i or x?
x
Suppose 0 = -5*y - 11 + 31. Let t be (14 - 4)*2/y. Suppose -3*f + 4*a - 8 = 0, 4 + 2 = -t*f + 3*a. Is 1/12 equal to f?
False
Let x be 3/6*-2*4/4. Let t be x/2 + 88/2656*14. Which is bigger: t or -1?
t
Let x = -6.8 - -8. Let b = x - 0.2. Let t = -7.41 - -2.41. Which is bigger: b or t?
b
Let s be (862 + 0)/((-27)/(-36)). Let x = 1131 - s. Let g = x + 17. Are -2 and g unequal?
True
Let d = -431.8 + 407.861. Let m = 0.061 - d. Let o = -876.9 + 877. Is o greater than m?
False
Suppose -103 = -3*r - 0*y - 5*y, 3*r = y + 91. Let v = r + -28. Which is smaller: 5 or v?
v
Let b be (0 + 0 + 1)*-1. Let s = 38759/1320 + -235/8. Let c = s - -7/33. Is c at most b?
False
Let p = 31 - 18. Let j = p - 15. Is 14 greater than j?
True
Let i be (-2)/5*(-1 - 26/(-91)). Let n(d) = d + 9. Let z be n(-7). Let m be 0 + z + 1/(-2). Which is greater: m or i?
m
Let p = -380 + 274. Which is smaller: p or -4?
p
Let v = -33 - -23. Let y b