3*i. Suppose -l = 5*q - 5, -3*l + l - r*q = -3. Which is smaller: l or j?
l
Suppose -2*b + 75 = 21. Is -0.1 not equal to b?
True
Suppose -4*v + p - 23 = 0, 2*p + 6 + 20 = -4*v. Let k = -3 - v. Suppose 2*m + 23 = 5*g, 2*g = -k*m + 10 + 3. Which is smaller: g or 4?
4
Let g(p) = -3*p + 18. Let v be g(14). Is -1 smaller than v?
False
Let h = 0 + 1. Let c = -5.2 - -0.2. Let q = c + 6. Is q less than h?
False
Let w = 93 - 94. Which is smaller: w or -1/43?
w
Let q = 1.1 + -15.1. Let a = q + 14.2. Which is smaller: 0.8 or a?
a
Let j = 5 + -9. Let k be 3/1*(-14)/(-6). Let u(l) = -l**3 + 8*l**2 - 7*l - 5. Let x be u(k). Which is greater: x or j?
j
Let w be 5 + -3 + -2 - -3. Let t be (w - (0 - -2))*4. Is t at least 5?
False
Let z be 2/(-2) - 4/(-2). Suppose l - 2*k - z = 0, -l - 2*l + 2*k = 1. Which is smaller: 3/4 or l?
l
Let t(x) = -3*x**3 + 2*x**2 + 2*x + 1. Let i be t(-1). Let r be 6/(-4)*i/6. Let p be -1*(-16)/42*51/68. Do p and r have the same value?
False
Let q(c) = c**3 + 6*c**2 - 4*c + 5. Let v be q(-7). Is -16 bigger than v?
False
Let v = -2 - -9. Suppose v = -4*o + 3. Is -0.01 > o?
True
Let k be (2 - 5) + (-7126973)/(-2375657). Let c = k - -1848260948/235190043. Let o = c + -84/11. Is o > 2/3?
False
Let k = 14 + -15. Let o = 4 - 8. Is k at least as big as o?
True
Let s = 9 - 7. Is 2 equal to s?
True
Suppose 4*c + 19 = 7. Let l = c + 6. Is 4 > l?
True
Let m(q) be the second derivative of -q**3/6 - 2*q**2 - q. Let v be m(-3). Let z = 2 - 3. Is z smaller than v?
False
Let g = 283 - 475. Let t be 1*-2 + (-4068)/(-21). Let b = g + t. Which is smaller: -1 or b?
-1
Suppose 0*i = 6*i - 6. Is 2/9 != i?
True
Let b be 1 - (-3)/((-9)/12). Let x be b/5*(0 - -1). Do x and 1 have different values?
True
Let m be (2 - 1)/((-8)/(-88)). Is m < 11?
False
Let o = 34 + -33. Which is smaller: o or 46?
o
Suppose -5*q = 0, 6*v - 65640 = 2*v + 3*q. Let c = 48791/3 - v. Let h = -145 - c. Which is bigger: 0 or h?
h
Let z = 13 - 26. Let x = -21 - z. Which is greater: x or -9?
x
Let d be ((-2)/(-4))/(5/100). Let r = d - 8. Let a be 9/(-6)*r/(-3). Is a at most 0?
False
Suppose 4*j - 14 = 2. Suppose j*m = 4*p + 20, 8*m - 2*p = 4*m + 26. Is m greater than or equal to 8?
True
Let b be (-2)/(22/8 + -3). Suppose 3*u + u = b. Which is greater: u or 1?
u
Let d(w) = w - 1. Let g be d(6). Suppose g - 4 = -v. Do -3/5 and v have the same value?
False
Let y be 24*9/(-24)*2. Let q = 34 + y. Let p = q + -22. Which is smaller: -5 or p?
p
Let o be 4 + 2/(-1) + -2. Which is smaller: o or 1?
o
Let f = -18771 + 187859/10. Let d = 29/2 - f. Is 1 smaller than d?
False
Suppose 15*i + 231 = 22*i. Is 32 <= i?
True
Suppose 2*z + 6 = 2. Are 0.2 and z unequal?
True
Let g = 8.6 + -8. Let b = -2.2 + 3. Let n = b - g. Which is bigger: n or 0?
n
Suppose 0*v - 3*v + 6 = 0. Suppose 3*o = -5*x + o - 4, 8 = 4*x - 4*o. Suppose -4*q = v*y, x*y - 5*q = -y. Is -1 <= y?
True
Let v = -14 + 5. Let t(c) = c**2 + 5*c + 3. Let j be t(-3). Let y be ((-1)/v)/((-1)/j). Do y and 1 have the same value?
False
Let u be (1/(-10))/((-3)/(-24)*2). Is u bigger than 14?
False
Suppose 0*o + 12 = 4*o. Suppose o*f + f = 0. Which is smaller: f or 8/9?
f
Let q(h) = -h + 1. Let s be q(1). Suppose s*k + k = 0. Which is smaller: -2/17 or k?
-2/17
Suppose 2 = w + 5. Let z(l) = 4*l**2 + 3*l. Let q be z(w). Let g be 3/(-18)*q/12. Which is smaller: g or -1?
-1
Suppose 4*b + 5*j = 6*b - 4, 0 = 4*j + 8. Let q = 0.3 - 3.3. Do q and b have different values?
False
Let g be (0 - -1)*(4 + -3). Let p = -18 + 37/2. Which is smaller: p or g?
p
Let f be (-445)/(-4 - 1) - 3. Is 86 >= f?
True
Suppose -3*j = 2*f - 17, -4*j + 16 = -2*f - 2. Is 3/82 at least f?
False
Let y(h) = h - 16. Let u be y(20). Is u at most as big as -1/5?
False
Suppose -16*a + 87 = -13*a. Is a < -0.1?
False
Let k(j) = -j**3 - 5*j**2 - 5*j - 4. Let w be k(-3). Let f be 7 + w - 5*-1. Suppose -p - 5*v - 9 = 7, f*p - 1 = 2*v. Is p at least as big as -1?
True
Let t be -1*(-3 - (-2 + -4)). Which is greater: 1 or t?
1
Let k be (-2)/(1 + (-39)/21). Is k at least 2?
True
Let b be 2/(-3) - (-121)/24. Let j = -29/8 + b. Is 1 less than j?
False
Let d = 0.23 - -0.77. Is 0.9 greater than d?
False
Suppose -17*j = -8*j - 9. Let l(c) = 2*c - 7. Let b be l(5). Let o = 0 + b. Which is bigger: j or o?
o
Suppose -4*p + 2 = -2. Let r be (-3)/p + 29/9. Which is smaller: 0 or r?
0
Let k be -874 + -1 + (1 - -3). Let r = k - -9593/11. Is r >= 1?
True
Suppose 1 = -3*k + 4. Which is greater: k or -20?
k
Let i(a) = 6*a - 5. Let y(v) = 17*v - 14. Let k(h) = 11*i(h) - 4*y(h). Let j be k(-4). Is j at most 9?
True
Let i be 4 - 1 - (-150)/(-42). Is i >= 2?
False
Let h = -3.5 + 3. Let m = -2.5 - h. Let s = m - -1.8. Which is smaller: s or 2/7?
s
Let f(r) = -2*r + 8. Let d be f(4). Does d = 2/5?
False
Let b(a) = -3*a**3 - 3*a**2 + 2*a - 1. Suppose 2*u + 9 = -1. Let r(h) = 6*h**3 + 5*h**2 - 3*h + 2. Let t(n) = u*b(n) - 3*r(n). Let g be t(-1). Is 2 less than g?
True
Suppose -3*p + 2*p - 62 = 0. Let d = p - -1052/17. Which is smaller: d or 0?
d
Let y = 6.02 + -0.02. Which is smaller: -2/7 or y?
-2/7
Let b be (-3)/(-48)*(-6)/(-1). Let j(v) = v + 4. Let h be j(-5). Is h not equal to b?
True
Suppose 1 + 3 = 4*j. Suppose 2*n = -3 - j. Let x be 2*n/12*-2. Which is smaller: x or -1?
-1
Let q = 3.92 - -0.08. Do q and 3 have the same value?
False
Let r be 1/1 - (-1 - 340). Let g = -656 + r. Let t = g - -4712/15. Is t less than or equal to 0?
False
Suppose -41 = -7*s - 27. Which is bigger: s or -12?
s
Let v be (-16)/(-24) - (-46)/(-2). Let q = v - -22. Is 0 >= q?
True
Let a = 631/7 + -90. Is a greater than or equal to 1?
False
Let w = -0.09 - -0.13. Let y = w - 0.14. Which is smaller: y or 10?
y
Let o = 25.2 + -25. Let p be (2/(-8))/(5/30). Which is greater: p or o?
o
Let p(w) = 2*w**2 - 3*w - 5. Let u be p(5). Let x be (-3)/(u/4)*-10. Suppose -13 - 23 = -9*z. Is z less than x?
False
Let i be ((-2)/(-515))/(3/(-15)). Which is smaller: i or 0?
i
Let n = 45 - 45.8. Is n >= 0.2?
False
Suppose 0 = 5*s - 4*f - 8, -s + 2*f + 4 = -0*f. Let q = s + -1. Is -6/7 not equal to q?
True
Let q = -0.25 - -0.15. Let y = 1.1 + -1. Let i = -0.1 + y. Which is greater: i or q?
i
Let j be 9*(0 + (-4)/(-12)). Suppose j*r = -0*r - 3. Which is smaller: 1/9 or r?
r
Let t = -27 + 31. Suppose -4*y = t - 12. Let w = 5/8 - -1/8. Do y and w have the same value?
False
Let j(r) = r**2 + 6*r - 7. Let c be j(-7). Does 4/7 = c?
False
Let j be -2*(-51)/(-144) - (-3)/9. Which is greater: j or 5?
5
Let z = -4.86 - -5. Let b = z + 0.76. Let q = b + -0.9. Which is smaller: q or -0.1?
-0.1
Let p = -21 - -20.96. Which is bigger: p or 2/5?
2/5
Let n = 0.02 + -0.62. Let v = n + 0.65. Let x = v + -1.05. Which is bigger: 2 or x?
2
Suppose 0 = -2*a - 1 + 3. Let o be a*5 - 2/1. Suppose 0 = o*r + g + 1, -r - g - 1 = -0*g. Are 2/9 and r unequal?
True
Suppose -8*i = -13*i - 50. Which is smaller: i or 0.2?
i
Let i = -7 + 8. Suppose -z + 4 = 2*n, 4*z - 48 = -3*n - 7. Suppose l - 3*l + 4 = 0, -4*k + z = 3*l. Is k < i?
False
Let v(q) be the second derivative of -q**5/20 - 5*q**4/12 + q**3/6 + 3*q**2 + 2*q. Let i be v(-5). Let s be -1 - 3/((-3)/2). Are s and i nonequal?
False
Let q = -1.2 - -11.2. Let h = q - 6. Let g = 4 - h. Is g less than -1/3?
False
Let s = 276/665 + -2/133. Let q = 0 + -1. Which is bigger: s or q?
s
Let k = -4 - -4.01. Let b = 10.09 - 10. Let o = k + b. Are o and -2/3 non-equal?
True
Let f = 38 - 115/3. Let g = 6 + -2. Let n = -5 + g. Which is smaller: n or f?
n
Suppose 7 + 1 = 4*f. Which is smaller: f or 2/3?
2/3
Suppose 1 = -3*p - 2, -3*v = -3*p + 24. Let a be (1/(-3) - 0)*v. Let u = a - 2. Which is smaller: -2 or u?
-2
Suppose c = -4*c. Suppose c*v = -3*v + 9. Do v and 3 have the same value?
True
Suppose 5*a + n + n = 5, 5*a + 20 = 3*n. Let l be (-2)/6 + 10/(-24). Which is smaller: l or a?
a
Suppose -2*q - 2 = -5*t, -t - 2*q = 2*t + 2. Which is smaller: t or -2/9?
-2/9
Suppose -2*k + 1 = 5. Let y = k - -2. Suppose i + y = 2. Is 3 less than or equal to i?
False
Let y = -8.7 - 1.3. Let h = 9.8 + y. Is h <= 1?
True
Let q = -37 - -55. Which is smaller: q or 2?
2
Let q = -55 - -604/11. Is 0 at most q?
False
Let x = 147/4 + -37. Let n be 2*1/(-6)*-3. Is n smaller than x?
False
Suppose -t = 5*g + 32, -4*t + 1 - 9 = -4*g. Let a(i) = -7*i**2. Let x be a(-1). Does t