i + 1. Let z(n) = 3*n - 5. Let d(q) = -1. Let m(k) = -5*d(k) + z(k). Let x(l) = -4*h(l) + 7*m(l). Let f be x(9). Are f and 5 equal?
True
Let c = 506/7 + -72. Which is bigger: -1 or c?
c
Let j(y) = -y**2 + 2*y + 6. Let d be j(5). Is d smaller than -10?
False
Suppose -2 = -h + 3*h. Let f(i) = i**2 + 4*i - 1. Let s be f(-4). Let o be (s + 8/9)*-2. Is o at least as big as h?
True
Let i = 423/2 - 1499/6. Suppose 3*o - 156 = -o. Let h = i + o. Which is greater: 2 or h?
2
Let o be (5 + -3)*(-6)/52. Which is smaller: -1 or o?
-1
Suppose -3*s = -8*s. Let p be (3 - 105/20)*(-2)/(-6). Is s < p?
False
Let i = -1267/9 + 141. Let w be (-2)/3 + 17/3. Let f = -6 + w. Which is bigger: i or f?
i
Let y = -2/1027 - -2100/23621. Are 1 and y equal?
False
Let m = -17 - -20. Let k = -12.8 + 16. Let y = m - k. Is -0.1 > y?
True
Let v be (0 - -3)/(3/(-2)). Let q(i) = -i + 2. Let u be (3/(-2) - -1)*-6. Let g be q(u). Which is smaller: v or g?
v
Suppose 3*u - 14 + 5 = 0. Let a(y) = -2*y - 3*y + y**2 + y. Let c be a(u). Is -2 > c?
True
Let n = 0.023 + -2.323. Let d = n - 0.7. Let h be 2 + (2 - 3 - 1). Do h and d have the same value?
False
Let p be 1/4 - 1/36. Suppose 3*m = -3*j + 3, -5*m - 31 = -j - 0*m. Let t = j + -7. Which is smaller: t or p?
t
Let c = 12 + -11. Is -4/13 < c?
True
Let i = 14 + -10. Suppose 0 = 2*f + 2*l - 10, 0*f = -2*f + i*l - 14. Let o = 60/11 + -62/11. Is f equal to o?
False
Let a = -21 + 20. Is a > -1?
False
Suppose -u = 3*u + 4. Which is smaller: u or 1/9?
u
Let y(w) be the third derivative of w**6/40 - w**5/60 + w**2. Let c be y(1). Suppose c*u - u + 3 = 0. Which is smaller: u or -1?
u
Let o = 121 - 121.3. Which is smaller: o or 0.7?
o
Let m(j) be the second derivative of -j**5/20 - 7*j**4/12 - 7*j**3/6 - 3*j**2 + 2*j. Let o be m(-6). Is -4/7 not equal to o?
True
Let p(o) = o + 2. Let t be p(-2). Let u be (2 + -3)*(t + -1). Does u = 9?
False
Let p = -9 + 11. Let q be 9/p*6/(-9). Suppose -m - 18 = 3*z, -2*m - 16 = -2*z + 4*z. Is q bigger than m?
False
Let r be 27/12 + -6 + 3. Let j = 4 + -3.9. Which is smaller: r or j?
r
Let y = -2/97 + -91/291. Suppose -5*k + 2*p - 14 + 4 = 0, -3*k - 5*p = -25. Let o = k - 0. Is o bigger than y?
True
Suppose 9*g + 5 = 23. Is 2 bigger than g?
False
Let k(o) = 2*o + 29. Let j be k(-14). Let r be -6*(4/(-3) + 2). Let q = -2 - r. Which is smaller: q or j?
j
Let i(r) = -r**2 - r + 4. Let a be i(0). Let u = 1 - a. Which is greater: u or -2?
-2
Suppose -7*r + 656 = 40. Which is greater: r or 87?
r
Suppose -46*z = -48*z. Which is smaller: 2/37 or z?
z
Suppose 0 = -i - 3*i - 32. Let v = i + 10. Which is smaller: v or 1?
1
Suppose 3*s - 36 = 3*f, -3*s - 2*f + 16 = -0*s. Suppose -18 = -0*m + 3*m. Let a = m + s. Is 2 bigger than a?
False
Let f = -7 - -11. Let x(r) = -2*r - 7. Let c be x(-5). Which is smaller: c or f?
c
Suppose 5*r - x = r + 13, 10 = -2*x. Let z be ((-1)/r)/(-1)*-2. Is -10/9 bigger than z?
False
Let f be 0/((-1)/1) - 0. Let q be f - (2 + 12/(-5)). Suppose -2*j + 4 = 2*j. Which is smaller: q or j?
q
Suppose 3*b + 55 = 2*m, 4*b + 19 + 52 = 5*m. Is -1 greater than b?
True
Let x = -0.5 - -0.7. Suppose 5*y + 2*o - 1 + 2 = 0, 3*y - 5 = -4*o. Let f be 1 - (4/5 - y). Do f and x have the same value?
False
Let s be (-82 + -2)*8/8. Let t = -256/3 - s. Is t <= 0?
True
Let z be 4/14 - 1340/(-14). Let h = -670/7 + z. Let a be 1/(-4) - (-5)/4. Is h at most a?
True
Let u = 1.5 - 1.4. Let p = 1 + -1. Which is greater: u or p?
u
Suppose -4*b + 0 = -5*i - 2, 2*i = 4. Suppose -4*k + c = 3 - 2, -b*k = -2*c + 7. Let u = 1636/9 + -182. Are k and u non-equal?
True
Let b = 62 - 184/3. Is -1/4 <= b?
True
Let v = 1 + 1. Suppose -4*a - 89 = -t, -2*t - v*a + 445 = 3*t. Let b = -803/9 + t. Is b < -1?
False
Let j(o) = o**2 + o + 1. Let t be j(-2). Does t = 1?
False
Suppose 0 = -5*a + 8*a. Let w be (1 - 1) + (-4)/(-2). Suppose 5*f + 2 = -8, w*f - 1 = 5*i. Are a and i equal?
False
Let f = 3.98 + 0.02. Let v = f + -4.1. Which is bigger: -1/6 or v?
v
Let c be 81/(-18)*(-4)/(-3). Which is smaller: -7 or c?
-7
Let t be 0 + (-4)/(0 + 4). Is t smaller than 3/13?
True
Suppose 4*y = -4*m + 16, 4*m - 7 = 3*m + 2*y. Is 5 < m?
False
Let u be 2 + (-3 - 20/(-4)). Suppose 4 = u*w - 5*y + y, 4*w + y - 24 = 0. Which is greater: 7 or w?
7
Suppose 0 = 4*b + x - 4, 0*b + 22 = 5*b - 3*x. Let m(a) = b - 3 - 1 - 3 - a. Let r be m(-5). Which is smaller: 3/8 or r?
r
Suppose -2*q - 16 = -6*q. Suppose 2*u - 12 = -2*u - q*t, 2*t = -4*u + 6. Suppose 5*v + 15 = y, y + 14 - 2 = -4*v. Is y < u?
False
Suppose 462 = 7*s - 5*s. Let c be (-125)/s - 12/(-21). Is 1 less than or equal to c?
False
Let i = 191/465 - 1/93. Let l(q) = -q**2 + 2*q - 1. Let x = 0 + 1. Let m be l(x). Are i and m non-equal?
True
Let l(t) = -t + 12. Let z be l(13). Are -1/9 and z non-equal?
True
Suppose 4 - 19 = -5*h. Suppose 5*w - 2 = h*x, 0*w = 2*w - x - 1. Suppose -2*b = 9 + w. Is b bigger than -5?
False
Let f be ((-12)/63)/(4/(-6)). Suppose n - 5 = -4*n. Do n and f have the same value?
False
Let r = -229/6 - -38. Let y be (24/10)/((-4)/(-10)). Suppose -y = 3*w - 3. Is w < r?
True
Let a be -1*2/3*3. Let l(q) = q**3 + 22*q**2 + 39*q - 22. Let p be l(-20). Is p >= a?
True
Let y = 2.5 + -0.5. Let j = -4 + 2. Which is bigger: y or j?
y
Let h(a) = 6 + a**2 + 0*a + 6*a - 2*a**2. Let k be h(6). Suppose k*w + 4 = 2*w. Are -1 and w unequal?
False
Let j = -445 - -4009/9. Let l be -1 + 3 - 4/4. Which is smaller: l or j?
j
Let h = -105 - -839/8. Let p be 0/(1 + (-1 - 1)). Suppose 0 = 5*l + 2*z, p = 3*l - l - 3*z. Which is bigger: l or h?
l
Suppose -c + 20 = 3*c. Suppose 2*s - c*s + 27 = 0. Let v be (-20)/s - 8/(-36). Which is bigger: v or -2/3?
-2/3
Let m = -6.03 - -6. Let b = 0.37 - m. Is b > -2/3?
True
Let q be 35/10 + (-6)/4. Suppose 3*g - 26 = -3*b - 2*g, q*g - 2 = 3*b. Which is smaller: 4/3 or b?
4/3
Suppose 3*b + 7 = -0*o + o, -7 = 4*o - 5*b. Is o at least -10?
True
Suppose 0 = x + 6*x + 77. Which is smaller: -9 or x?
x
Let w be (12/8 - 796/(-232)) + -5. Suppose -2*d - 2*f = 0, 4*f + 4 = d + f. Are d and w unequal?
True
Suppose -4*u + 3*k + 381 = 0, -6*u = -4*u - 5*k - 173. Let y be (-2 - u/(-51))*-1. Do 0 and y have different values?
True
Let q be 1/(0 + 5/95). Is 19 smaller than q?
False
Let c(g) = -g**2 - 14*g - 47. Let b be c(-6). Which is greater: 2/281 or b?
b
Suppose -f + 3*f - 5*g = 3, 8 = f + 4*g. Suppose f*i + 2 = -14. Let r(v) = v**3 + 2*v**2 - 2*v. Let m be r(-3). Which is bigger: m or i?
m
Suppose -3*l - 3*s + 3 = 0, l + 4 = 8*s - 4*s. Suppose l = -5*b + 8*b - 15. Let p = -0.2 - -0.3. Which is greater: p or b?
b
Let p = 293/3 + -99. Let r be (-18 - -18) + (-2)/(-6). Which is smaller: r or p?
p
Let q be ((-1)/(-118))/((-2)/(-8)). Is -1 > q?
False
Let r = 1212/7 + -9605/56. Is 1 > r?
False
Let o be 24/(-18)*9/(-2). Let n(s) = s - 3. Let u be n(o). Suppose -2*l - l + u = 0. Which is bigger: l or 2/7?
l
Let r = -8 - -13. Suppose -2 = -2*t - k, -k = -r*t + k + 23. Suppose 3*o - 3*i + 9 - 21 = 0, 0 = -t*i - 9. Is o bigger than 0?
True
Let v = 71 + -75. Which is smaller: 4 or v?
v
Suppose 2*j + 55 = 2*d - j, -3*j + 14 = d. Which is greater: 24 or d?
24
Let g = 59 - 59.96. Let v = g + -0.04. Do v and 3/4 have the same value?
False
Suppose -3*p = -3*n - 15, 3*n + 0*p = -2*p + 5. Let o be -18*(-1 - 24/(-22)). Let j = o - -43/33. Is j bigger than n?
True
Let u = -0.37 + 0.07. Let o = u - 0. Which is smaller: 1/3 or o?
o
Suppose -2*r - 1 = -29. Let n = 11 - r. Which is greater: -4 or n?
n
Let w = 497/3 + -164. Suppose 4 = h + h. Which is smaller: w or h?
w
Let k = 3.08 + -3. Let g = 0.04 + k. Let t = g + -0.02. Is t < -0.5?
False
Let j = -0.4 + 0.3. Is 0.9 greater than j?
True
Suppose -4*i = d + 21, -4*i - 3*d - d = 12. Let q = 4 - 11. Let h be q/i*(-3)/21. Are 0 and h equal?
False
Let x(g) = -g**3 + 9*g**2 - 10*g + 5. Let c be x(7). Suppose -7 - c = -5*a. Is a > 10?
False
Let d = -21 + 18. Do d and -4 have the same value?
False
Suppose -5*o + 3*j = 6, 3*o - o + j - 2 = 0. Which is greater: o or -2/39?
o
Suppose -2*l - 30 = 4*q + l, -5*q + 2*l - 26 = 0. Are 2 and q non-equal?
True
Let i = 17 - 16. Is i not equal to 2?
True
Let o = 0 + 4. Let g be (2/4)/(o/24). Which is smaller: 1 or g?
1
Let s(b) = -b**3 + 2*b - 1. Let l be s(-2). Let n be 4 + (-3 + l - 1). Let d be n - (5 - (-4)/(-2)). Which is great