d?
d
Let d = -0.16 + 17.16. Let i = 18 - d. Is i less than or equal to 1?
True
Let l(h) = h**3 - h**2. Let v be l(1). Suppose v = 4*n - 3*c, 5*n - c = -3*c. Are n and -6/11 non-equal?
True
Let s = -5 + 5. Suppose 0 = -5*a - s*a. Suppose 3 = n - a*n. Which is bigger: n or 5/2?
n
Let b(k) = -3*k + 24. Let p be b(8). Is p smaller than 1/4?
True
Suppose 75 = -27*g + 22*g. Is -15 bigger than g?
False
Suppose 4*o - 128 = -4*f, -2*o + 0*f = 5*f - 79. Suppose -o = 2*c - 5. Are -11 and c nonequal?
False
Let y(r) = r**3 - 9*r**2 - 10. Let n be y(9). Which is smaller: n or -9?
n
Let c(p) = -p**2 + 5. Let m(d) = 3*d**2 - 14. Let w(s) = -11*c(s) - 4*m(s). Let y be w(-1). Let v(t) = -2*t - 17. Let i be v(-9). Which is smaller: y or i?
y
Let d(m) = -2*m**2 + 2*m - 1. Let x be d(1). Let a = 0 + x. Suppose -1 = -3*l - 7. Is a at least l?
True
Let h = -1 - -1. Let s = 21 + -21.2. Is s equal to h?
False
Let r = -15.65 - -16. Let i = r - -0.05. Let c = i + -0.3. Which is smaller: 0.2 or c?
c
Let f be -3 + (-32)/(-4) + 3. Let d be -1 - -2 - f/4. Let z be 23/44 - 2/8. Is z less than or equal to d?
False
Suppose v = 7 - 3. Are v and 1 equal?
False
Let i be -3 + -5*(-4 + 3). Which is smaller: i or 6/7?
6/7
Let u(k) be the third derivative of k**4/24 + k**3/3 + 3*k**2. Let j be u(-2). Which is greater: j or 2/15?
2/15
Let y(o) = -o**3 - 8*o**2 - 5*o + 8. Let v be y(-7). Let c(q) = -q**3 - 5*q**2 + 5*q - 3. Let k be c(v). Is 2 at most k?
True
Suppose 3*j = 2*u + 4, 0 = j - 5*u - 9 - 1. Let o be -1 + j + 0 + 0. Let q be 15/(-28) - ((-39)/12 - -3). Which is bigger: q or o?
q
Let c = -6.7 + 9.4. Let a = c - -0.3. Which is greater: 0.2 or a?
a
Let l = -417 + 4584/11. Let v = 37/55 + l. Let n(s) = -s + 5. Let p be n(5). Is v <= p?
False
Let k be (4/(-3))/((-2)/(-6)). Let y = 6 + k. Let f be 0/1 - y/(-5). Do f and 1/2 have the same value?
False
Suppose 3*y - 5*m - 51 = 0, -57 = -3*y - y + 3*m. Let u be (1 - 26/y)*-2. Which is bigger: 3 or u?
3
Let a = 3 - 2.98. Let j = a + -0.22. Let i = -3.8 + j. Which is bigger: 1 or i?
1
Suppose 1 = -5*h + 81. Let m be (h/(-5))/((-24)/60). Is m smaller than 9?
True
Let z = 2.9 + -3. Let m be (-2)/(-3 + (-70)/(-22)). Let l = -53/5 - m. Is z > l?
False
Let z = -4.58 - -0.58. Let j be (-3)/3 - (-6)/9. Which is bigger: j or z?
j
Let z = 1/47 + -81/1598. Let r = 21/136 + z. Does r = 1?
False
Suppose -m - 5*r = 5 + 7, -3*m + 4*r = -2. Let k be 1*((m - -4) + 3). Suppose -4*v = -k*v. Are -2/31 and v equal?
False
Let t = 28 - 27. Which is smaller: 3/14 or t?
3/14
Suppose 12 = -5*m + 3*d, 4*m - 4 = -0*m - d. Let n = -223/3 - -75. Is n < m?
False
Let g be -6 + 2 + 355/70. Is 1 less than g?
True
Suppose -9*f = -7*f - 22. Which is bigger: f or 10?
f
Suppose 5*v - k - 3*k + 166 = 0, 102 = -3*v + 3*k. Let q be (-52)/14 + v/105. Which is smaller: -3 or q?
q
Let w(n) = 2*n**2 + 13*n + 4. Let g be w(-8). Is g at least as big as 25?
True
Let i(m) = -m**2 + 8*m + 4. Let a(r) = -6*r**2 + 40*r + 19. Let h(w) = -2*a(w) + 11*i(w). Let c be h(-7). Is 0 greater than c?
True
Let l be 18/8 + (-2)/8. Let q be 3 + l/2 - -1. Suppose -7 = q*t + 8. Is t at most as big as -3?
True
Let o = 0 - -1. Let a = -45 - -44. Which is greater: o or a?
o
Suppose 4*r - 2*r - 6 = 0. Let t = -12.6 + 12. Let j = t + 2.6. Is j bigger than r?
False
Let m = 5 + -5.1. Which is smaller: -10 or m?
-10
Let n = 8 - 8.15. Let x = 0.08 + n. Let a = x - -0.04. Which is bigger: 0 or a?
0
Let i be 1/2 + 7/(-2). Let j(p) = -4*p**3. Let x be j(-1). Suppose -23 = f + 5*a, x*f = 2*a - 4 - 0. Do i and f have the same value?
True
Let l = 0.8 - 0.81. Let u = l + -7.99. Is 1/3 at most as big as u?
False
Let o(k) = k + 8. Let i be o(-7). Let f(l) = -l**2 + l. Let r be f(i). Suppose -2*u + u = r. Is 0 < u?
False
Let i be (-2)/(((-12)/(-45))/(-2)). Is i < 16?
True
Let j be (-45)/10*1/(-3). Which is smaller: 1/9 or j?
1/9
Suppose 3*z - m - 4 = 0, -z + m = 4*z - 4. Is 1/5 at most z?
False
Let c = -27 - -30. Suppose r = v - 3, -2 = 5*r - 3*r + 2*v. Let p = r - -2. Which is smaller: c or p?
p
Let s be (1 - -1) + 4 + -2. Let w be (s - 2)*2 - 2. Suppose -w = 3*d - 5. Does d = -1?
False
Suppose -15*q + 12*q + 3 = 0. Which is smaller: q or 4/27?
4/27
Suppose 2*s + 0*s = 5*s. Is 2/117 at most s?
False
Let a be (-12)/(-18) + 6/(-9). Is a at most -4/15?
False
Suppose 0*d - 4*d - 8 = 0. Let j = -0.2 + 1.2. Is d less than j?
True
Suppose 5*t + 0*t - 35 = 0. Suppose 3*q = -2*g - 0*q - t, 0 = 5*g - 3*q - 35. Let z be ((-2)/g)/((-3)/(-2)). Which is smaller: z or 1?
z
Let n(c) = 2*c - 6. Let k be n(5). Suppose k*m - 2*m - 60 = 0. Let r = m - 119/4. Is r at least as big as 5?
False
Let b = -1 - -0.9. Let i = -4 + 7. Let l = i + -5. Which is smaller: b or l?
l
Let d be 3/(-6)*(-4)/47. Is d > 0?
True
Let s(g) = g. Let m be s(-5). Is m < -1?
True
Let z = 2/111 - -11/74. Let m be 10/25 - 3/(-5). Which is greater: z or m?
m
Let c be 1/(-3) + 16/(-6). Is -3 at most c?
True
Suppose 0 = y + 4*z + 12, -2*z = -4*y - 0*z + 24. Let i(q) = q**3 - 3*q**2 - 5*q + 4. Let g be i(y). Let r be (-2)/4*0/2. Is g > r?
False
Let q(w) = -w**2 + 24. Let p be q(0). Is p less than 23?
False
Let i = -0.0411 - -0.0411. Let b = 13771/37590 - -2/6265. Let g = 2/15 + b. Is g <= i?
False
Let a(d) = d**2 + 9*d + 1. Let x be a(-9). Is 1 greater than or equal to x?
True
Let t be (-4)/2*(-15)/6. Suppose -r = -5*d + 33, d + 65 = -t*r + 6*d. Let i(z) = -z**3 - 8*z**2 + 2*z + 12. Let f be i(r). Do f and 1/2 have different values?
True
Suppose v + 5 = -4*n + 3, 3*n - 2*v = 4. Which is greater: n or 7/6?
7/6
Let j = -15 - -15. Let b = -0.89 + -0.11. Is b smaller than j?
True
Let b = -87590995273/4920886740 + -1034/1895565. Let c = -1/2596 - b. Let r = c - 179/10. Is r less than 1?
True
Suppose 3*o = -2*m - 1, m + 2*m + 4*o = 1. Let r be 8/(-10)*(-20)/8. Suppose m - 1 = -r*y. Does -4 = y?
False
Let r(k) = k**2 + 6*k. Let v be r(-5). Let z be (-2)/3*(-2 - v). Is z smaller than -4/3?
True
Let r be 0/(-2)*9/18. Let o be 1 - (0 - (-6)/2). Which is smaller: o or r?
o
Let i be 3/(-2)*154/33. Is -7 bigger than i?
False
Let m(g) = -g**2 + 4*g + 2. Let r be 18/2 + (-1)/1. Let p = 13 - r. Let k be m(p). Is k greater than or equal to -3?
True
Let h = -4 - -3.4. Let v = -0.56 - -0.06. Let f = v - h. Is -4 at least f?
False
Let k = 221/4 - 1033/20. Which is bigger: k or 3?
k
Let b = -4.03 - -0.03. Let l = 3 + b. Is 0.3 bigger than l?
True
Let i(k) = -k**3 - 4*k**2 - 4*k - 3. Let y be i(-3). Suppose s + y = -1. Let r = 286/7 + -41. Which is smaller: r or s?
s
Let r(n) = -14*n - 63. Let f be r(-5). Do 4 and f have different values?
True
Suppose -w - 20 = 4*w. Let l = w - -8. Suppose m = l*m + 6. Which is bigger: m or -3?
m
Let d be -3*(-2)/(-3) + 1. Let w = 11 - 7. Suppose -w*f = -2*f. Which is greater: d or f?
f
Suppose 0 = 4*s - 7 + 27. Which is smaller: s or -9?
-9
Suppose 2*b = 6*b - 8. Which is smaller: 0 or b?
0
Suppose 0 = 3*g + 4*o - 2*o + 2, -3*g + 4 = 5*o. Let k be 4 + -1 + (g - -4). Let w(a) = 2*a**3 - 2*a**2 - 2*a + 1. Let l be w(2). Is l > k?
False
Suppose -2*r + 13 = h, h = 4*r - 13 + 2. Suppose -m = r*m. Let g = -31 - -156/5. Is m at least as big as g?
False
Suppose -75 = -2*y + 5*y. Let r be 260/y - 3/5. Which is greater: r or -10?
-10
Let y = 0.19 + 0.21. Let m = -9 - -6. Which is greater: m or y?
y
Let c(r) = -r**2 - 8*r - 5. Let f be c(-5). Suppose 5*o - 5 = f. Suppose 4 = -y - o*y. Which is smaller: y or -2/5?
y
Let k(q) = -5*q**3 - 2*q - 1. Suppose 0 = 5*l - 7*l + 2. Let w be (2 - l - 0)/(-1). Let o be k(w). Which is smaller: o or 7?
o
Let s = -4.6 + 6.4. Is s smaller than 2/7?
False
Let g = -3 + 5. Let b(v) = 0*v - g*v - 4 + 3*v - 4. Let i be b(9). Which is bigger: i or 3?
3
Let n = -28.7 - -14.74. Let i = n - -14. Let d(r) = r**2 - 3*r + 1. Let q be d(3). Which is smaller: q or i?
i
Let n(i) = -i**2 + 6*i + 1. Let r be n(3). Suppose 5*s = 5*j + r, 0*s - j - 3 = -2*s. Let w be 5/20 + (-2)/40. Which is smaller: s or w?
w
Let u = 327 + -24197/74. Let c = -141/518 - u. Which is smaller: 2/9 or c?
c
Suppose 2*x = -3*z + 2*z - 4, -4*z + x = 52. Are -12 and z unequal?
False
Suppose 0 = q - 4 + 1. Suppose q*v = 2*p - 1, 7*p = 2*v + 2*p - 3. Let b = 6/11 + -7/33. Is b smaller than v?
False
Let a(t) = -t**3 - 8*t**2 - 9*t - 14. Let v be a(-7). Which is smaller: 6/7 or