0. Which is smaller: d or 24/11?
d
Suppose 0*s - 3*k = -2*s + 16, 4*s - 4*k = 24. Suppose -3*m = -5*j + m + 35, s*j - 21 = 3*m. Which is smaller: -2 or j?
-2
Let g = 5 - 2. Let d = 13/5 + -3. Which is smaller: d or g?
d
Let v(f) = -f**3 + 8*f**2 - 13*f + 7. Let n be v(6). Do 3 and n have different values?
True
Let g be ((-2)/3)/((-26)/(-6)). Let s = 7 + -8. Which is greater: s or g?
g
Let h(u) = -3*u + 9. Let z(v) = 4*v - 9. Let r(n) = 3*h(n) + 2*z(n). Let f be r(10). Is 1/5 greater than f?
True
Let x be 2*((-21)/6 + 1). Let t be 22/x + 4/10. Let z be t/26 + 2/182. Which is smaller: z or -0.1?
z
Let j = -41.2 + 30. Let x = j - 0.8. Let d = 9 + x. Is d >= 0.1?
False
Let o(v) = -v**3 + 11*v**2 + 2*v - 15. Let t be o(11). Let q = t - 8. Let g be -3*(-1 + 28/18). Is g < q?
True
Let p be (1/(-8))/(3/(-18)). Which is smaller: 0.3 or p?
0.3
Let s = 1.2 - -2.8. Which is greater: -4 or s?
s
Let d = -2.3 + 2.5. Let s be ((-18)/15)/((-4)/10). Let t = -3 + s. Which is greater: d or t?
d
Let p be (4/(-6))/((-1)/12). Let t(f) = f - 2. Let a be t(p). Suppose 3*v = -y - 5, 0 = y + 4*v + 2 + a. Which is smaller: y or 3?
3
Let s(b) = 2*b + 1. Let p be s(-5). Let x be p/3 + (3 - 0). Which is smaller: 2/21 or x?
x
Let p be (0 - -1)/(1/7). Let u be (-99)/21 - 2/p. Let l = 3 - 4. Is u less than or equal to l?
True
Let v = -213 + 2341/11. Which is bigger: v or -1/7?
-1/7
Let v be 2/9 - 430/(-90). Suppose v*u - 27 = 2*y, 4*y = -4*u - 3 - 9. Is y at least 0.1?
False
Suppose -3*y - 30 = -27. Is -1/4 < y?
False
Let i(b) be the second derivative of b**3/6 - 5*b**2/2 - b. Let c be i(8). Let d = 3 - c. Are d and -1/7 nonequal?
True
Let q = -7 + 10. Let m = 0 - q. Let c be ((-12)/(-36))/((-6)/9 + 1). Which is smaller: m or c?
m
Suppose 0 = 4*d + 5 + 31. Let q(y) = -y**2 - 8*y + 9. Let m be q(d). Which is greater: m or 2/5?
2/5
Let t = 2 + -2.01. Let c = 3.99 - t. Which is bigger: -1 or c?
c
Let b = 0.4 - 0.9. Let a = b - -0.6. Let t = 0.3 - a. Which is greater: t or -0.3?
t
Let i = 0.5 - 0.7. Suppose 99 = 3*a + 621. Let r = a + 1220/7. Which is smaller: i or r?
i
Suppose 5*j + 41 = -4*s, -5*j = -3*s - 0 - 22. Let k be 276/s*(-6)/4. Let m be 10/35 - k/14. Is -3/2 at most m?
False
Let h(a) = a**2 + 20. Let z be h(0). Let t be 4/(-36)*z + 2. Is t > 0?
False
Let b = 11.1 + -10.8. Which is smaller: -0.06 or b?
-0.06
Let f be 1/(-5) - 156/(-30). Let g = f - 7. Which is greater: g or -1?
-1
Let m = 12 + -15. Is m at most -3/7?
True
Let m = 36 - 35.7. Which is smaller: m or -6?
-6
Suppose 6 = -2*b, 4*l - l = -3*b - 9. Let d = l - 1. Are d and 2/9 equal?
False
Suppose 3*q + 13 = 5*b - 0, -2*b + 18 = 2*q. Let f be (-11)/(-4) - (-1)/4. Suppose 5*g - 21 = f*j, 3*g + j = -g + 10. Is g smaller than q?
True
Suppose 0 = 4*c - 5*q - 2 + 58, -5*q = -5*c - 65. Let m be (1/3)/((-3)/c). Suppose 2*r = -3*l + 8, -2*l + 4*r = -0*r. Is m equal to l?
False
Let d = -5 + 0.9. Let o = d + 4. Let b = -0.3 - o. Is b < 0?
True
Let q = -23362/51 + 458. Do 0 and q have different values?
True
Let m(v) = -2*v - 1. Let h be m(-2). Let w(d) = -4*d - 32. Let k be w(-8). Is h greater than k?
True
Let q(o) be the second derivative of -o**4/12 - 7*o**3/6 + o**2 + 2*o. Let m be q(-7). Is m bigger than 3/5?
True
Suppose 4*q - 12 + 4 = 0. Let a(g) = -g**3 + 2*g**2 + 5*g - 3. Let r be a(3). Which is bigger: r or q?
r
Let x(u) = -u - 1. Let f(b) = -b - 2. Let w(a) = -f(a) + 4*x(a). Let l be w(-3). Is l < 6?
False
Let v be (2/4)/(4/16). Suppose -5*s - 7 = -2*c + 4*c, 3*c + v*s - 6 = 0. Let n = c + -3. Which is smaller: -4 or n?
-4
Let r be 0 - (1 + (5 - 3)). Which is bigger: 4 or r?
4
Let y = -9.16 - -9.2. Let f = -0.26 - -0.3. Let j = y - f. Which is smaller: j or 1?
j
Suppose o + 0 = 3. Let w be o/(-21) - (-8)/7. Which is greater: w or 3?
3
Suppose p = -p + 64. Are p and 32 unequal?
False
Let l(k) = k**3 + 8*k**2 - 10*k - 12. Let b be l(-9). Let m be 1*((b - -1) + 2). Is m greater than -1/3?
True
Suppose -2*v - 3*v + 2*a = -15, 4*v + 4*a + 16 = 0. Which is bigger: 3 or v?
3
Let y be 12/10 + -2 + 1. Suppose 3*h + w - 5 = 4, -4*h - 5*w + 1 = 0. Let g be (4 - h)*(-1)/(-2). Is g < y?
True
Let j = -3 + 7. Let k = -1 + j. Let h = 0 + k. Which is bigger: 2 or h?
h
Let z be ((-8)/10)/(2/5). Let v(l) = l**2 - 2*l - 2. Let r be v(3). Let m = z + r. Which is greater: -1/4 or m?
-1/4
Let n = -0.2 - -0.18. Let c = 0.82 + n. Let j = c + -0.3. Which is smaller: 0.1 or j?
0.1
Let w be (-45)/(-42) - (-1)/(-2). Let h(b) = -b**3 + 3*b**2 + 4*b + 5. Let y be h(4). Let m = y - 4. Is m bigger than w?
True
Let t be (-1 - -8)*9*1. Let l = 317/5 - t. Is 5 < l?
False
Let h = -5 - -6. Let p = -1 + h. Is 6 greater than p?
True
Let a(i) = -i - 4. Suppose 2*j = 2*m - 4*m - 10, j - 4*m - 5 = 0. Let f be a(j). Let g = 0 + 0. Which is bigger: g or f?
g
Suppose 3*v = 3*j + 2*j + 17, 17 = -j + 4*v. Does 2/5 = j?
False
Suppose -5*u + 135 = -3*a, -2*a = -5*u + 49 + 41. Which is bigger: a or -44?
-44
Let i be (-949)/195 + 2/(-15). Let k = 8 - i. Is 13 less than k?
False
Let v(s) = s**3 - 4*s**2 + s - 3. Let a be v(4). Let f be a/(-3)*54/24. Suppose 2*z = z. Is f at most as big as z?
True
Suppose -5*n + 30 = -2*o + 3*o, -4*n = -3*o - 5. Suppose n*x + 8 = 23. Do x and 2 have the same value?
False
Let c(t) = -2*t**2 + 3*t - 1. Let l be c(2). Let k(h) be the third derivative of -h**5/60 - h**4/8 - h**3/3 + 2*h**2. Let m be k(l). Is -1 greater than m?
True
Suppose -4*u + 76 = -6*u. Let p be (-2)/6 + u/(-42). Is p > 0?
True
Let i = 11/4 - 41/12. Which is smaller: i or 0.4?
i
Let q be (-16)/(-6) + 0 + -2. Let a = 0.1 + 0. Let f = 0 + a. Is f > q?
False
Let y be (-12)/(-5) + 4/(-10). Suppose -y = p + 4*o, -o = 2*o. Is p <= -2?
True
Let f(s) = s**3 + s**2 - s + 1. Let k be f(0). Let y be (-4)/6 - k/3. Let r = 167 - 1167/7. Which is bigger: y or r?
r
Let x = 67448/5 - 13644. Let k = x + 155. Let h be (-2)/(-9) - 16/(-90). Which is bigger: k or h?
k
Suppose -26 = 3*x - 4*l, 4*x + 18 = 4*l - 14. Let q(h) = -2*h**2 + 7*h. Let r be q(4). Which is greater: x or r?
r
Let p(z) = z**2 + 9*z + 12. Let b be p(-8). Let s be 39/4 - b/(-16). Let o be (-2)/s*(-10)/8. Is 1 bigger than o?
True
Let n = 50/3 - 16. Suppose 5*q - 4*p = 20, 5*q = 3*q - p - 5. Let t = q + 1. Is t greater than n?
True
Suppose 10 = -2*o, -4*k - 30 = 5*o + 11. Let s be k/(-6) + 10/(-6). Which is greater: s or 2?
2
Let k = -0.1 + 0.2. Let g = 0.12 + 4.88. Let j = g - 7. Which is smaller: j or k?
j
Let u be 6/(-9)*12/(-20). Let j be 57/(-4) - 2/(-4). Let r = -14 - j. Which is greater: u or r?
u
Let f(h) = h**3 + 12*h**2 + 18*h - 23. Let m be f(-10). Let l = -4 - -1. Is m at most l?
True
Let g(n) = -n**2 - 10*n + 4. Let u be g(-10). Suppose -11 - 13 = -u*q. Suppose -3*t = -q*t. Which is smaller: -1 or t?
-1
Let n be ((-40)/(-6))/(110/15). Let g = 0 + 0. Is g > n?
False
Let j(g) = -g**3 + 5*g**2 + 7*g - 6. Let p be j(6). Is p <= -1/8?
False
Let l = -5 + 8. Suppose 0 = o + o. Is l at least o?
True
Suppose -3*d = -5*x - 6*d + 3, -2*x = -4*d + 4. Suppose 8 = m + 3, x = -4*l - 5*m + 45. Is 4 at most l?
True
Let v be 2/(-11) + (-222)/(-11). Suppose 0 = 4*l + 8 + v. Let h = 0.4 - 0.3. Which is smaller: l or h?
l
Let k(g) be the second derivative of g**3/6 + 5*g**2/2 + g. Let c be k(-4). Suppose -j + 0*j = c. Which is smaller: j or -2/13?
j
Let a(m) = -m**2 - 5*m - 2. Let p be a(-5). Let t be 1 + p/4*-26. Let x be t/(-10) + 4/4. Is x bigger than 2?
False
Let m = -0.6 - -4.2. Let s = -4 + m. Let j = 0.4 + s. Which is greater: 0.1 or j?
0.1
Let h be (-2509)/(-832) + (1 - 4). Is h smaller than 1?
True
Let u be (-494)/(-372) - (-2)/(-2). Let w = 5/31 - u. Which is greater: 0 or w?
0
Suppose 3*d = 3*f - 72, 2*f - 3*d + 2*d = 47. Is 22 at least as big as f?
False
Let a(i) = -i**3 - 7*i**2 - 9*i - 4. Let w be a(-6). Let h be w*(-2)/(-8) + -3. Is h less than 0.6?
True
Let g = 24 - 23. Are 1 and g nonequal?
False
Suppose 6*j = j - 5*n + 50, 4*j = 2*n + 28. Let p be (-4)/18*(-12)/j. Suppose -f - 12 = -4*f, -17 = d - 4*f. Is p bigger than d?
True
Let s be 0 + 0 + 3 + 1. Suppose -s = 2*u + 2*u. Suppose -q = 2*q. Which is smaller: q or u?
u
Let c be (-2 + 13/6)*-4. Suppose 9 = -4*x + x. Let m = 2 + x. Which is smaller: m or c?
m
Suppose -8*r + 4*r + 84 = 0. Is 20 greater than or equal to r?
False
Let r = 0.2 - 0.3. Let k = -0