d + -0.1. Which is bigger: -2 or n?
n
Let y = -0.1 + 0.1. Let k = 5.5 + -15. Let a = k - -10. Which is smaller: y or a?
y
Let s be ((-48)/(-1376))/(3/(-4)). Is -1 != s?
True
Let s be 313/3 - (-2)/(-6). Let c be s/18 - (-2)/9. Suppose -l + 12 = 2*w - 0, w = -3*l + c. Which is bigger: w or 5?
w
Let l = 11 + 7. Let m be l/(-4)*2/(-3). Suppose -3*r + 3*c + 6 = 0, 0 = r + 2*c + m*c + 28. Is r > -3?
False
Let g(f) be the first derivative of -f**3/3 - f + 1. Let n be g(0). Let k be 130/(-70) + (0 - -2). Which is greater: k or n?
k
Let x = 29/11 - 877/341. Let k be ((-22)/33)/((-4)/(-6)). Is x greater than k?
True
Suppose 2 = 2*g - h - 2*h, -4*g + 4 = 4*h. Let k = g - -1. Let n be ((20/(-3))/5)/k. Which is smaller: -1 or n?
-1
Let c be ((-1)/(-4))/(-1) - 0. Let g be (1 - -1)*(5 - 4). Let r be -1*g + 27/12. Which is smaller: r or c?
c
Let h(d) = -d**3 + 2*d**2 - 1. Let v be h(1). Which is greater: -2 or v?
v
Let u = -28 + 27.8. Is u at least as big as 0.01?
False
Let m = 4.09 + -0.09. Let y = -3 + m. Is 3 less than or equal to y?
False
Let p = -2155/176 + -1/176. Is -11 not equal to p?
True
Let t(v) = -v**2 + 7*v - 1. Suppose 0 = s - 3, -2*o - 5*s + 39 = -o. Suppose -7*j + o = -3*j. Let q be t(j). Which is smaller: 4 or q?
4
Suppose 106 = -5*k - 29. Does k = -25?
False
Let l be -1 + -1 + 2199456/110. Let f = l + -19992. Let h = 16/11 - f. Which is bigger: h or -1?
h
Let z = 4 + -4. Let v be (-27)/4 - (1 - -1). Let m = v + 191/20. Is m at least as big as z?
True
Let n(j) = j**3 - 2*j**2 - 3*j + 3. Suppose -3*a + 3 + 0 = -3*h, -2*h + 5*a = 14. Let v be n(h). Suppose 2*s = -4*m + 7 + 3, 5*s = -v*m + 11. Is 1 > m?
False
Suppose 3*m + 8 = 2*k, 0 = -5*m - 5*k - 4 - 1. Let d = -83/138 + -3/46. Is m greater than or equal to d?
False
Let n = -3 + 0. Let x be n + 3/(-6)*0. Which is smaller: x or -1?
x
Let n = -0.023 - 0.077. Let m = -0.39 - 0.01. Is m less than n?
True
Suppose 0*d + 20 = 5*d. Suppose -d*n - 1 = -5. Let c be -14*(-2)/32 - n. Which is greater: c or -1?
c
Suppose -2*r = -15 - 47. Are r and 32 unequal?
True
Let j = -3 + 7. Let s = -2 + j. Let l be (5/30)/(s/6). Which is bigger: 1 or l?
1
Suppose 11 = 4*w - 5. Let u(s) = -s**3 + 5*s**2 - s + 7. Suppose -y - 3 + 8 = 0. Let m be u(y). Is w > m?
True
Suppose -4*f - 3*q = -4 - 9, 0 = 2*q - 6. Let p = -277 - -3599/13. Is p at least as big as f?
False
Let k be (-4)/(-42) + 136/84. Suppose -r - 4 = -3*f - 15, -r + f = -5. Which is greater: r or k?
r
Let n be ((-2)/7)/((-4)/8). Let p be 25/21 - 4/14. Let u = n - p. Which is smaller: u or 0?
u
Let s be ((-8)/6)/(1/3). Let v be (-168)/9 + s/(-6). Let j be (-14)/16*v/(-42). Is j < 1?
True
Suppose 0*v + 4*v + 36 = 0. Let d be (1/(-8))/(3/v). Is 1 smaller than d?
False
Let u(p) = p**2 + 6*p - 6. Let o be u(-7). Let h be o/1 + -1 + 1. Suppose j = -h + 2. Which is smaller: 8/5 or j?
j
Suppose -2*j = -1 - 5. Suppose 5*x = -2 - j. Is -1 >= x?
True
Suppose -2*t + 7 = -13. Let i = 10 - t. Suppose 3*w - 8*w - 10 = i. Is -1 smaller than w?
False
Suppose -30 = -4*t - t. Suppose t*z - 2*z = 0. Let d = 1.6 - -2.4. Which is smaller: d or z?
z
Suppose 27 = 5*y - 3. Let f be -1 - (-3)/y*2. Let c be (2 + -3)*1/(-2). Which is greater: f or c?
c
Let b = -25 + 24. Which is smaller: b or -2/47?
b
Let f = 5 - 6. Which is greater: f or 5?
5
Let o(a) = a**3 + 9*a**2 - 10*a + 5. Let k be o(-10). Suppose -k*s = -0*s. Which is greater: -2/7 or s?
s
Let d = 5 - 5. Let v = 0.1 + d. Which is bigger: -0.1 or v?
v
Let u(x) = -2*x + 7. Let q(z) = -z - 1. Let v(j) = -3*q(j) + u(j). Let y be v(-10). Which is bigger: y or 5/7?
5/7
Let w = 30 + -41. Is 1 equal to w?
False
Suppose -2*w - 2*g = -6*w - 6, 0 = w + 3*g - 9. Which is smaller: w or 2/3?
w
Let v(l) be the third derivative of -l**7/5040 - l**6/240 + l**5/15 + l**2. Let y(t) be the third derivative of v(t). Let q be y(-9). Is q >= 7?
False
Let v = 5 - 7. Suppose 3*x - 2*u - 3 = 2*x, -x + 5*u = 0. Let l be x + -4 - (2 + 1). Are v and l unequal?
False
Let z = 306406 - 169442669/553. Let m = z + -1/79. Which is bigger: -1 or m?
m
Suppose 3*o - 2*g = -3, 3*o - g + 12 = -2*g. Let y be o + 1 - (-1 + 1). Is y bigger than -2?
False
Let c be 3 - 3*(-310)/(-306). Which is greater: c or 1?
1
Let z be 7/28 + 0/1. Let d = z + 5/12. Are 1 and d non-equal?
True
Let u(x) = -x + 3. Let r be u(6). Let b be 4/6 - (-8)/(-3). Which is greater: r or b?
b
Let n = 255 - 256. Suppose -s - 2 - 2 = 0. Let m = -3 - s. Is m less than n?
False
Suppose 5*g + 3*k = 2*g + 3, 3*k = 2*g + 18. Is -5 at most as big as g?
True
Let o = 4 - 4. Is o < -1/11?
False
Suppose -12 = -2*r - 2*r. Suppose r*u - 8*u + 30 = 0. Let w be 4/(-22)*(u + -7). Is w bigger than -1?
True
Let m = -110 + 110.93. Let g = -0.07 - m. Let q = 0.9 + 0.1. Which is greater: g or q?
q
Let x(g) = -g**3 + 6*g**2 + g + 8. Let y be x(6). Do 14 and y have the same value?
True
Let f = 27 + -21. Is f less than or equal to -2?
False
Let t = -0.2 - -0.3. Let w = -5 - -2. Let o = 2 + w. Is t at least o?
True
Let n = 1 - 1.2. Let x = -22 - -20. Which is smaller: n or x?
x
Let r(o) = -2*o. Let t be r(-2). Suppose t*s = -29 + 5. Let q be ((-1)/(-7))/(s - -5). Is q smaller than 0?
True
Let t = 1.09 + -0.09. Let l = -0.5 - -1.5. Let a = 0.9 - l. Which is smaller: a or t?
a
Suppose -4*a + 4*q - 14 - 2 = 0, 4*a - q + 10 = 0. Let w be 2*(a/(-14) - 0). Which is bigger: -1/4 or w?
w
Suppose -d - 9 = d - 3*w, 4*d + 4*w - 12 = 0. Let m be (-1)/2*2*-1. Is m at least d?
True
Let q = -855266/15 - -56990. Let r = -82/3 - q. Which is greater: r or -3?
r
Suppose 3*x - 4*u = 0, -3*x - 2*u + 27 = 3*u. Suppose 2*b = 5*b + a - 6, b - x*a + 11 = 0. Which is smaller: 2/9 or b?
2/9
Suppose -3*b + 88 = -4*j, b + 38 = -2*j - 16. Let g = j + -30. Let s be 1 + -3 - g/20. Are 2 and s unequal?
True
Suppose 0 = 8*r + 68 - 60. Does -2/35 = r?
False
Let h be (-4 + 0)*-1 + -12. Let g(c) = c + 11. Let t(a) = 1. Let f(m) = g(m) - 6*t(m). Let v be f(h). Which is bigger: v or -2?
-2
Let r(o) = -o - 4. Let q be r(-6). Suppose -10 = -2*c - q*d, -4*c - 4 = d - 3*d. Is c greater than 1/3?
True
Let m = 8 + -8.03. Let b = 2.97 - m. Let y = -4 + b. Which is smaller: y or 0.1?
y
Let a be 6/(-4)*100/(-30). Does 6 = a?
False
Suppose l - 2*l = -15. Let n be ((-12)/l)/(-4)*-1. Are 1 and n equal?
False
Let c = -17 + 9. Let y be c/10*(-3)/6. Is y smaller than 1?
True
Let u = -33/13 - -501/182. Is 1 < u?
False
Let s be (-2 - -4) + 64 + -1. Let n = s - 456/7. Which is greater: 1 or n?
1
Let y(o) = -o**2 - 5*o + 6. Let j be y(-6). Which is smaller: j or -1/2?
-1/2
Suppose 3*f - 5 = -5*d - 0*d, -3*f + 15 = 0. Let c be 3/(-1 + 0 - d). Let v be (c/(-6)*-2)/1. Which is smaller: -2 or v?
-2
Let t be 2 + (0 - (-24)/4). Which is smaller: 10 or t?
t
Let f = 0.58 - -0.32. Which is greater: f or -1?
f
Let d = 60 - 102. Is d at most 1/2?
True
Let s(j) = -j**2 - 11*j - 11. Let y be s(-10). Let m be (-1)/(-3*y/21). Which is greater: -6 or m?
-6
Let s be ((-2)/3)/((-5)/(-15)). Let u be 4/(-18) + 4/18. Suppose y + 27 = k + 4*k, u = 2*y + 2*k - 6. Do s and y have different values?
False
Let g = 4 + -78/19. Let u = 29/95 + g. Let x = 6 - 7. Is x < u?
True
Let m = -90641/110 - -824. Let j = 43/110 - m. Is 0.2 equal to j?
False
Suppose 4*t + 0*t = 0. Suppose t = -4*i - 2 - 2. Is -1/18 less than i?
False
Let i = -0.2 + -0.8. Let h = i + 2. Which is smaller: 0.2 or h?
0.2
Let w = -0.2 + 0.2. Let v = -27 - -40. Let c = 13.01 - v. Which is smaller: w or c?
w
Let l be 6/(-18) + (-10)/(-6). Is l at least as big as -0.1?
True
Suppose 9*j - 3*j + 30 = 0. Which is greater: -3 or j?
-3
Let q = -4.9 + 5. Which is bigger: q or -3/5?
q
Let u = 12 + -11.96. Let i = u - 7.04. Are -0.1 and i equal?
False
Let p = 11 - 8. Suppose -2*l + 10 = p*l. Is 4 at least as big as l?
True
Suppose 3*x + 4*n - 25 = 0, -5*x - 6*n + 45 = -n. Which is smaller: x or 6?
6
Let n = 0.2 - 1.2. Let l be 4/(-6)*(-36)/8. Let t = l - 5/2. Which is bigger: n or t?
t
Let o be 4*2*6/(-36). Is 0 less than o?
False
Let n(w) = w**2 + 10. Let p be n(0). Suppose -3*k - 2*k = p. Let y(v) = v**2 + 3*v - 2. Let s be y(k). Is -5 > s?
False
Let j = 0.3 + -0.2. Let w = 8.1 + -9.1. Are w and j equal?
False
Suppose 5*c - 4*r + 10 = 0, -7 = 4*c - 5*r + 2*r. Let k(t) = -t**2 + 2. Let l be k(c). Is l greater than or equal to -1/2?
False
Let u = -57