be k(-7). Let i(v) = v**3 - 4*v**2 + 3*v - 4. Let y be i(3). Is x at least y?
True
Let q(v) be the second derivative of v**4/12 + 7*v**3/6 + 3*v. Let j be q(-7). Is j greater than or equal to 1?
False
Suppose 0 = -3*i - 10 + 1. Let q = -19 + 15. Do i and q have the same value?
False
Suppose -20 - 20 = -4*n. Let y be (-2 + -1 - -14)*1. Which is smaller: n or y?
n
Suppose 0 = 3*n - 7*n + 8. Which is smaller: n or 2/3?
2/3
Let f be 2 + 284/636 + -1. Let z = f + -6/53. Which is smaller: z or -0.3?
-0.3
Suppose -2*h - h = -9. Let s be 4/h - 1/3. Let l = -5.9 - -6. Is s >= l?
True
Let f be 204/(-17)*4/6. Is f greater than -2?
False
Let s be 4444/18 - (-4)/12. Let u = -247 + s. Is u greater than or equal to 1/4?
False
Suppose -5*h = 15, 14 = i - 6*h + 2*h. Suppose -q + i = 4. Which is greater: 6 or q?
6
Let n = -381 + 8003/21. Let z = -11 - -10. Does z = n?
False
Let o = 76/405 - -1/81. Which is smaller: 5 or o?
o
Let t(y) = y**3 + 7*y**2 + y - 11. Let i be t(-5). Is i less than 35?
True
Let j = 8 + -1. Suppose 15 = 5*i - 3*b, 5*i + 2*b = j*b + 15. Suppose s = i*s. Is -1/5 at most s?
True
Let x(t) = 3*t**2 + 6*t - 10. Let n be x(9). Suppose -5*a + 717 - n = 0. Let m = a + -256/3. Which is greater: 2 or m?
2
Let o(r) = -r - 1. Let k be o(-3). Let t be k*(-27)/12*4. Let n be (16/(-6))/(t/3). Is -1 bigger than n?
False
Let v = 53 + -20. Let w be (-2)/11 + (-27)/v. Let s = 0.3 - 0. Which is bigger: s or w?
s
Suppose 2*m + 11 = -3*s, 0 = 4*m + m - s + 19. Let w(t) = 31*t - 2. Let d be w(m). Let r be 8/d + 2/7. Is r > -1?
True
Let s be 2/24*6/4. Let p = -6 + 8. Suppose p = b + b. Which is bigger: b or s?
b
Let w = -9 - -12. Suppose 2 + w = -f. Is -3 at most as big as f?
False
Let x = 2 + -2.1. Let u = -0.4 + 0.3. Let h = x - u. Is h not equal to 1/4?
True
Let y(h) = -h**3 + 7*h**2 + 9*h - 10. Let s = -20 + 28. Let p be y(s). Do -4 and p have different values?
True
Let g = 37617/11 - 3417. Let v = -172/55 + g. Let x(u) = -u - 1. Let y be x(-2). Which is smaller: v or y?
v
Suppose -3*q = -6*q + 42. Which is greater: q or 13?
q
Let a = 4 - 10. Suppose -2*z - 4 = -2*u, 2*u + 3*z - 4 + 0 = 0. Suppose 3*d - 3*y = -18, 0*y + 24 = -4*d - u*y. Is a less than d?
False
Let c = 6.1 + -2.1. Which is smaller: c or -0.3?
-0.3
Suppose 0 = 6*a - 2*a - 16. Let l = 4 - a. Is -2/21 < l?
True
Let t = 48 - 21. Let j = -137/5 + t. Which is bigger: j or 0?
0
Suppose y = -2*y + 60. Let n be 374*(-6)/y - 2. Let k = n - -115. Which is bigger: k or -0.1?
k
Let c be 24/(-162)*-3 - (-116)/(-18). Let s = -15 - -8. Do c and s have different values?
True
Suppose -4*y + 93 = n, y = 2*n + 10 + 2. Let x = y - 21. Which is bigger: x or -4?
x
Let w be (-13)/5 - 3/(-5). Let u be 1/((-1)/(w/(-2))). Which is smaller: u or 2?
u
Let s = -9/2 - -3. Which is smaller: s or -2?
-2
Let m be 201/4 + 5/(-20). Suppose -5*c + m = -2*j + 7*j, 3*c - 18 = 3*j. Suppose -c = 4*l, 3*u + 0*u - l - 2 = 0. Is 1 > u?
True
Let q(o) = o**2 - 25*o + 26. Let b be q(24). Is b greater than 9/7?
True
Let g = -0.046 - 4.154. Let b = g + 4. Is 3 bigger than b?
True
Suppose -4*n + 40 = 4*w, 4*w + 5*n + 27 - 72 = 0. Let v be w/(10/(-4)) - -6. Suppose -v*f - 5 = 3. Are f and -0.4 equal?
False
Let m = 14 + -20. Does m = -5?
False
Let d = 6 + -3. Suppose 5 = 4*y - d. Suppose 0 = -4*u + l + 8, -u + 4*l + y = 0. Is 2 at most u?
True
Let r = -54/77 - -3/11. Suppose -a + 3 = 2. Which is smaller: r or a?
r
Let f = 0.4 + 1.4. Let o = f + -2. Let g = 0.1 + o. Is -3/2 at least g?
False
Let t(w) = w**2 - 6*w + 5 + 9*w + 3*w. Let k be t(-6). Suppose -5*u - k*h + 1 = -h, -7 = -3*u + 4*h. Is 2 greater than u?
True
Let c(l) = -l**2 - l. Let j be c(0). Which is smaller: j or -1?
-1
Let h be (-19)/(-2) + (-3)/2. Let i = h + -8. Let b = -0.02 + -0.98. Which is smaller: b or i?
b
Let c(i) = -i**2 - 9*i - 10. Let b be c(-7). Let x = 25 + -17. Let r = x + -3. Which is bigger: b or r?
r
Suppose -5*k + 6 = -2*s, -4*k + 10 - 2 = 0. Suppose -3*o - 15 = 3*a, -4 = -o + 5*a + 15. Is o > s?
False
Let s be ((3 - 2) + 3)/(-23). Are -1 and s equal?
False
Let y = -1 + -2. Let c = -86.1 - -92.1. Is c equal to y?
False
Suppose -3 = m - n, m = -0*m - 4*n + 17. Let c be ((m - 1) + 1)/(-1). Which is smaller: -1/9 or c?
c
Let q = 0.9 - -0.1. Let r = -1 + q. Does r = -0.1?
False
Let z be (-2)/(-20)*-34 + (-6)/(-15). Which is greater: z or 0?
0
Let q = 1 + -5. Let w = -7 + 6.8. Is w > q?
True
Let p = -12 + 7. Let r = p + 4.9. Is 0.05 <= r?
False
Let p be (0 + 12/20)/((-21)/15). Is p >= -1?
True
Suppose 0*u + 2*u = 4*u. Let h be (2 - 0) + -2 + 28. Let j be 2/(-8) - 1/h. Which is smaller: j or u?
j
Suppose -6 + 7 = p. Do -2 and p have the same value?
False
Suppose 5 = -4*h + 53. Let l(a) = -a - 6. Let j be l(-8). Suppose -r - h = j*r. Which is smaller: 1 or r?
r
Let j = 6 - 6. Let l = -2/119 - 113/357. Is j less than l?
False
Suppose -3*s = f - 54, f - 23 = 4*s + 59. Let b = f - 460/7. Suppose h + 5*q + 14 = 0, -h - 11 = -3*h + 3*q. Are b and h nonequal?
True
Let q = 0.5 + -0.4. Let s = q - 0. Is -6 < s?
True
Let a(y) = 3*y - 2. Let u be a(7). Suppose -u = -4*m - 5*j, 6*m = 3*m - 4*j + 15. Which is bigger: -1/9 or m?
m
Let n = 3 - 3. Suppose n = p + 3*p. Is 1 smaller than p?
False
Let l = 43 - 44. Is l at most as big as 2/99?
True
Suppose -s - s = 0. Suppose 0 = 5*r - 0*r - 5. Is r at least s?
True
Let l(g) be the second derivative of g**6/360 - g**5/20 - g**4/6 + g**3/2 + 3*g. Let v(h) be the second derivative of l(h). Let z be v(7). Is z >= 2?
True
Let b be ((-168)/(-9))/4*(-3 + 0). Is b greater than -14?
False
Let w = 24 - 29. Which is bigger: -8 or w?
w
Suppose 0 = -2*r - n + 14, 0 = -2*r - r + n + 11. Suppose 3*p + 10 = r*p. Do p and 5 have the same value?
True
Let t be (-16)/12*6/4. Let k be ((-6)/4)/(3/(-4)). Let d be k/3 + 15/(-9). Is d bigger than t?
True
Let p = 6 - 8. Let r = 4 + p. Which is bigger: 1/3 or r?
r
Let y(b) = -b**3 - 5*b**2 + 5*b - 4. Let u(m) = -m**2 - 6*m - 6. Let v be u(-6). Let q be y(v). Suppose 0*a + 2 = q*a. Which is greater: a or -0.3?
a
Let i be (-6 - 3)/((-3)/(-4)). Is -11 <= i?
False
Let u = -0.6 - -0.5. Let h = 1/41 + 75/287. Is h at most u?
False
Suppose -3*q = -7*q + 12. Suppose -5*v + 2*v = -q. Is 0 less than or equal to v?
True
Suppose 4*g + 2*f + 38 = 0, -5*g - 17 = -3*g - f. Which is smaller: -17/2 or g?
g
Let z be ((-133)/(-21) + -7)*6/10. Is z at most as big as 6?
True
Suppose 3*u - 2*j = 5, -2*u + 3*j - 8 + 3 = 0. Let g be (u - 2)*(-1)/(-3). Let v = -3 - -4. Is v greater than g?
False
Let d(m) = -3*m + 2. Let q be d(5). Do -14 and q have different values?
True
Let l(j) = -j**2 - 5*j + 6. Let m be l(-5). Suppose 4*b = 8, 3*x - 3*b - 6 = m. Which is bigger: 3 or x?
x
Let t(v) = v**2 + 6*v - 2. Let l be t(-6). Do l and 7 have different values?
True
Let r be (-6 - 79/(-13)) + -3. Which is smaller: -3 or r?
-3
Let a be (4476/10 + 2)/(-2). Let v = a + 226. Is v > 0?
True
Let h = -7 - -3. Let c = -12 + 8. Are c and h nonequal?
False
Let i = 2.3 + -2.4. Let j = 3 + -2.9. Is i bigger than j?
False
Suppose -k + 0*u + 3 = -2*u, 2*k + 12 = -5*u. Let z be 2*(1 + (-3)/6). Let n be ((-1)/1)/(z - 0). Is n at most k?
True
Suppose 5*j - 4 = 6*p - 2*p, -1 = p. Let o be 10/4 - (-5)/(-10). Let x be (o/21)/((-6)/(-9)). Is j <= x?
True
Suppose -4*a - 16 = -5*a. Let f be ((a/1)/2)/(-3). Which is bigger: f or -2?
-2
Let s = -2.3 + 9.3. Which is smaller: s or -6?
-6
Suppose 2*o + 1 = 3*o. Are -1/9 and o non-equal?
True
Let k be (3/6)/(10/2). Let j(s) = s**3 + 4*s**2. Let m be j(-4). Which is bigger: m or k?
k
Let l = 1.4 + -1.3. Let o = 3 + -2.9. Let d = o - l. Are -2/3 and d non-equal?
True
Let j be (1200/(-605) - -2)/(-2). Is j at most as big as 1?
True
Let d(i) = i**3 - 6*i**2 - 2*i + 7. Let y be d(3). Which is bigger: y or -27?
y
Suppose -2*p - 11 = 5*b - 4*b, 0 = 5*b + p + 37. Do b and -0.3 have the same value?
False
Let d = 1649/470 + -2/235. Is d at most as big as 3?
False
Suppose 6 = -2*t - 10. Let r = 5 + t. Is r < -3?
False
Let p be (-95)/(-494)*(-4)/(-5). Which is bigger: 1 or p?
1
Let c = 0.35 + -0.15. Which is greater: c or -0.1?
c
Suppose 1 - 3 = k. Let h = k + -4. Is -6 less than or equal to h?
True
Let c(o) be the first derivative of -o**2/2 - 3*o + 4. Let n be c(-8). Let f be (-11)/n + (-2)/(-10). Is f equal to 0?
False
Let l = -1