n be -3 + 1 - (-2 + 1)*-13. Which is greater: w or n?
n
Let h = 1.0682 - 0.0682. Suppose 0 = -3*p - 14 - 4. Which is smaller: p or h?
p
Let k be (-1)/(-6)*38 + 16/(-48). Do -2 and k have the same value?
False
Suppose -58 + 39 = -l. Let f be (18 - (-1)/1)/1. Is l at least as big as f?
True
Let g = -4 - -5. Let p = 0.01 - 0.13. Let s = -0.12 - p. Which is greater: g or s?
g
Let j = -269 + 268. Is 22 bigger than j?
True
Let s be 34/289 + (-2196)/170. Which is bigger: s or 0.1?
0.1
Suppose -8*q + 18 = -14*q. Let u be q + (2 - (-18)/3). Is u not equal to 30/7?
True
Suppose -h = -5*h. Suppose -l + 2*l = h. Is -2 less than or equal to l?
True
Let k be 0/(3/(-3)) - -3. Let n = k - 1. Let s be (-2)/(-5) + n/(-5). Is s less than 8?
True
Suppose 2*h + 2*f = 0, -h - 6*f + f - 8 = 0. Suppose 3*m - 5*y + 35 = 6*m, -y = h*m - 28. Which is greater: m or 14?
m
Suppose -3*v - 12 = 0, 0*v = 5*m - 4*v - 26. Let q be 1 + m + (1 + -2 - 1). Let a = 212/9 + -70/3. Which is greater: a or q?
q
Let b be (2 + 44/(-12))*-3. Suppose -3*n + 23 + 35 = -4*r, -b*n - 2*r + 62 = 0. Which is smaller: 16 or n?
n
Let z = 36 + -63. Suppose 0 = -2*f - 283 + 231. Which is smaller: f or z?
z
Suppose -3*w = 3*n - 153, -3*w + 71 + 83 = 2*n. Let g = -51 + w. Let i = 82 - 903/11. Is g < i?
False
Let k be (-10)/(-16)*522/1160. Are k and 1 equal?
False
Suppose -85*r + 82*r = -48. Which is bigger: r or 19?
19
Let u(s) = -2*s - 11. Let y be u(5). Let t be 106/6 - 7/y. Suppose -3*p + t - 3 = 0. Are p and 3 equal?
False
Let l be 6 + (-10 + 4)/(-6). Which is smaller: 6 or l?
6
Let i(b) = 3 + 1 - 9*b**2 - 6*b - b**3 + 17*b + 0. Let a be i(-10). Let r = a + 13. Which is bigger: 5 or r?
r
Suppose -59*p = -61*p - 5*y - 105, p = -2*y - 54. Which is bigger: p or -57?
-57
Let m = 1548 + -3169/2. Is -38 <= m?
True
Suppose -23 = -f + 5*o, f + 4*o + 10 = -3. Suppose 37 = 4*m - f*m. Are 37 and m non-equal?
False
Let f = 8.8 - 9. Let x = 0.2 + f. Let w be 3/(-54)*2*1. Which is bigger: w or x?
x
Let n = -0.8 - 0.2. Suppose 0 = 760*c - 761*c - 30. Is c less than or equal to n?
True
Suppose -3*a = a - a. Suppose 0 = 8*j - 3*j + 20, a = l + 2*j + 13. Which is bigger: -2 or l?
-2
Suppose 72 = -3*f - 5*y, -3*y + 4 = -5. Let p be (114/(-9))/((-16)/36). Let u = f + p. Which is bigger: 0.2 or u?
0.2
Suppose -7*t = -3*t - 136. Suppose -t*n + 3 = -33*n. Is n greater than 5?
False
Let a(p) be the first derivative of p**2 - 8*p - 1. Let o be a(6). Let t(x) = -x + 22. Let b be t(20). Is b > o?
False
Let m be 2/(-1) + 4235/2065. Which is greater: m or 1?
1
Let a be (1 - (-19813)/(-15421)) + (-564)/(-1974). Is a less than or equal to -1?
False
Let u be (76 + -36)*((-46)/44 - -1). Which is smaller: -2/5 or u?
u
Let z(p) = p + 6. Let x be z(-7). Suppose 0 = -3*k + 3*f - 93, -k = -6*k + 2*f - 161. Let d be 2/(-4 - k/12). Is x smaller than d?
False
Let w be (2/3)/((-12)/18). Which is greater: w or 5/31?
5/31
Let n = 0.16 + 0.08. Let t = -80.96 + 81. Let u = t - n. Which is smaller: -4 or u?
-4
Let t = -633 + 603. Are t and -32 equal?
False
Suppose -4*c + 12 = 4*i, 4*i = -5*c + 1 + 11. Is 13/67 at least c?
True
Suppose -2189 = -9*d + 124. Is d greater than 259?
False
Let d = 0.18 - 2.38. Let p = d - -3.2. Let w = 4/33 + 6/11. Which is smaller: p or w?
w
Let n(q) = q**3 + 8*q**2 + q + 8. Let t be n(-8). Let p be 273/15 + 1/(-5). Let m be (-53)/p - -1*3. Which is greater: t or m?
m
Let q = -1 + 0. Let f be (q + 0)*(-3)/3. Which is smaller: f or 9/8?
f
Let y(c) = 2*c - 2. Let v be y(-2). Let b be (2/v)/(4/21). Which is greater: b or -3?
b
Let g = 430.85 - 431. Are 7/13 and g equal?
False
Suppose 27*x - 12 = 23*x. Let r(j) = 2*j**2 - 7*j - j**2 - 4 - x*j**2 + 0. Let u be r(-3). Which is smaller: -1/3 or u?
u
Suppose 14 = -5*n - 26. Let f(q) = -q + 1. Let h be f(n). Is h greater than or equal to 11?
False
Let j = -5 + 8. Let p = j + -1. Let r = p + -2.2. Which is bigger: 1 or r?
1
Let g be (1*(-1)/(-3))/(60/(-13005)). Is -71 != g?
True
Let h be (-1 - -19)*(-48)/450. Let l = 1321/675 + h. Let z = l + 77/108. Is 1/2 bigger than z?
False
Let y(i) be the second derivative of i**4/12 + i**3/6 - 5*i**2/2 + 9*i. Let u be y(-3). Are u and 3/2 non-equal?
True
Let p be (-27)/(-9)*4/642. Let v = -4940/963 + p. Which is bigger: v or -5?
-5
Let t be 10/8*(-5)/25. Suppose 5*a + 6 = -3*r + 25, -3*r - 26 = -4*a. Let x be -2 + 5 + a/(-2). Is x bigger than t?
True
Let l = 11 - -20. Let z = 44 - l. Let f = 0.03 + -1.03. Is z greater than f?
True
Let g(j) = -3*j**3 + 3*j**2 + 3*j - 9. Let q be g(2). Suppose 2*o - 4*o + 42 = 0. Suppose 0 = -2*w - 7 - o. Is q > w?
False
Suppose 4*x = b - 1, 8*x = 5*x + 3*b - 12. Suppose 27 = 5*j + 5*s - 3, -1 = -s. Which is smaller: j or x?
x
Let c = -2/2611 - 724/28721. Suppose 0 = -2*j - 3*j. Which is smaller: c or j?
c
Let t(n) = 11*n + 17. Let l be t(8). Do 106 and l have the same value?
False
Let j(p) = -p**3 + 8*p**2 - p + 4. Let t be j(8). Let f be (-5 + -16)*t/6. Let b be ((-10)/(-8))/(-1) - -1. Which is greater: b or f?
f
Suppose -q = -3*q. Suppose -5*z = 5*c - 15, -z + q*c = 5*c - 3. Suppose -5 = -z*k - 2. Is k greater than 4?
False
Let v be (-2 - 8/(-6))*12. Let t be (-20)/(-5)*(-2 - (-21)/6). Let h be (t/v)/((-3)/24). Does 4 = h?
False
Let b = 1433855/35123 + -18/3193. Let i = -41 + b. Let q = -63/10 + 179/30. Which is greater: q or i?
i
Let c(q) = q**3 - 12*q**2 + 17*q + 31. Let b be c(10). Is -4/175 greater than or equal to b?
False
Let g = -19420/39 + 498. Which is smaller: 1 or g?
g
Let z be (-6)/(-2) + (2 - (-3 - -3)). Suppose -23 = -3*j - 4*d, -5*j - z*d = -6*d. Is j greater than -1/36?
True
Let g be (-8)/(-64) + (-395)/(-40). Which is greater: g or -7?
g
Suppose -4*u = -3*t, t - 2*u = 2*t + 10. Let b be (-18)/3 - -4 - t. Is 2 <= b?
True
Let z = -1 + 1. Let t = 0 + z. Let s(i) = i + 8. Let m be s(-4). Which is smaller: t or m?
t
Let d = 8.2 + -41.2. Let n = d - 27. Is n at least -1?
False
Let i = -14 + 52. Let w = -191/5 + i. Do w and 1 have the same value?
False
Let x = 9.57 + -0.97. Let w = -1.4 - x. Let i = w + 11. Is 2/5 <= i?
True
Let t be 10*((-23)/(-95) + (-32)/160). Let y = -1 + 0. Which is smaller: y or t?
y
Suppose -4*r - 8 = 3*f, 9*f - 4*r + 48 = 5*f. Let z = 12 - 21. Which is smaller: z or f?
z
Let d = 1709 - 63239/37. Suppose -5*t - 5*h + 20 = 0, -4*t + h - 2 = -3*t. Which is smaller: d or t?
d
Let d = -1.568 - -1.55. Which is greater: d or 1?
1
Let k = -48.027 + 0.027. Let m = 49 + k. Let h = -0.1 - -0.2. Is h > m?
False
Let v = 4.22 + 0.12. Let z = v + -0.34. Which is smaller: z or 2/5?
2/5
Suppose -18*u = -20*u. Suppose u = 2*g + r, 0 = -r - r. Which is smaller: -5/9 or g?
-5/9
Let y = 4381022/217 + -20189. Are 1 and y non-equal?
True
Suppose -15 = -0*z - 3*z. Suppose -z*g = -2*g - 30. Let u be (g/15)/(2/3). Which is bigger: u or -1/18?
u
Let k(y) = -14*y - 757. Let h be k(-54). Are h and 5/48 nonequal?
True
Suppose -72 + 77 = 5*z. Which is bigger: -1/955 or z?
z
Let q be 67/(-45) - (0 - 3). Let u = q + -10/9. Let c = 0.116 - -0.884. Is u bigger than c?
False
Let g = -5 + 3. Let c = g + 1. Let m = 11038 - 11036. Which is smaller: c or m?
c
Let u(d) = -22*d + 376. Let s be u(18). Which is bigger: s or -2?
-2
Let t be (-3 + (-1180)/(-392))/((-4)/(-211)). Let g = 8/49 - t. Is g >= 0?
False
Let c be (-4)/8*2 - -1. Suppose -4*y - 4 = c, 2*p + 2 = 3*p + 3*y. Suppose -2*v + 1 = -p. Is 2 at most v?
True
Suppose -7*g = -6*g + 8. Let f = -20 + 13. Let v = f + 0. Which is smaller: v or g?
g
Let d be 3 + (-14 + 5 - 0). Let r(g) = -7*g - 31. Let f be r(d). Is f less than or equal to 14?
True
Let m be (-10 + 3 - 1)*1. Let t = 9 + m. Let f be (13/(-130))/(4/(-5)). Is f greater than or equal to t?
False
Suppose 0 = 4*t + 5*l - 1, -19 = -t + 5*l. Let g = 5 - t. Which is bigger: 3/23 or g?
g
Let c(q) = -3*q**2 + q - 7. Let u be c(5). Let w = 14893 + -14970. Is u less than w?
False
Let o be -2*(-2)/30*-3. Suppose -17 = -6*b + 7. Suppose 6*j = 5*j - 5, -2*v + b*j = -22. Is v not equal to o?
True
Let d be 4*(1 + 1 + 2). Suppose -4*i + 4 = -12. Suppose -4*z = 2*f, 3*f - i*z - d = f. Do f and 9/2 have the same value?
False
Let g = 2 - 4. Suppose 0 = -i - 5*m + 2, -17 = 5*i - 99*m + 97*m. Is g less than i?
False
Suppose 9*x = -13*x - 6*x. Which is greater: -4/13 or x?
x
Let g = 0.01 + 5.99. Let c = -2.775 +