y = 3/2?
False
Let i = 2.8 + -3.8. Let b = -15 - -46/3. Is b less than or equal to i?
False
Suppose -11 = -d + 4*w, 0 + 4 = 4*d + 4*w. Suppose -d*a = 2*x + 4, 2*x + 10 = a - 3*x. Let b be (-3)/(a - 15)*-2. Which is greater: 0 or b?
0
Let s = -2725/404 - 1/202. Let y = s - -193/28. Is y at most 0?
False
Suppose 0 = i + 5*b, 5*i + 5*b = -0*b + 20. Suppose 0 = -3*d - d + 3*a + 12, -2*d = -i*a - 20. Let c be -6*(-1 - 18/(-20)). Which is smaller: d or c?
d
Let k = 13 + -11. Does 2 = k?
True
Let s = 1270/543 - 1/181. Which is bigger: 2 or s?
s
Let v = 1/52 - 267/364. Which is smaller: v or -4?
-4
Let i(v) = -v**3 - 7*v**2 - 2*v - 10. Let w be i(-7). Let r = w - -2. Let q = r - 8. Is q smaller than -1?
True
Let q = -0.9 + 1. Suppose 0 = -5*c - 2 + 12. Which is smaller: c or q?
q
Suppose -d - 38 = 4*j, 0*j - 3*j - 5*d - 37 = 0. Let p be 128/72 + (-2)/j. Which is greater: 5/2 or p?
5/2
Let q be -4 - (-3 + 39/9 - 4). Which is bigger: -2 or q?
q
Suppose 0*t - t - 5*m - 14 = 0, -5*t = 2*m + 1. Which is greater: t or -2/13?
t
Let v be 1 + (-6)/7 - 0. Suppose -1 = 3*y - 5*c, 0*y - 5*c = -4*y - 3. Let k be (y*2/(-4))/1. Which is bigger: k or v?
k
Let v = 0.24 + 8.76. Is -5 greater than v?
False
Let h(k) = -8*k - 8. Let f be h(-6). Let n be (-1)/4*f/15. Is -2 smaller than n?
True
Let u = 25 + -18. Is u at most 9?
True
Let j = -193/171 + 13/19. Let r = j - -71/18. Which is greater: r or 4?
4
Let x be (4/6)/(143/33). Is x > -2?
True
Let a = 3 - 1. Suppose -a*y = -7*y. Let t = 0 + -1. Is y at most as big as t?
False
Let a be (-9)/(-21) + 39/7. Let t = 25/4 - a. Is 1.7 bigger than t?
True
Let i be 2 - (-3 - -7)/(-4). Let f be -3 + 4 - (-3)/i. Is f != 2?
False
Let h = 5 + -3. Let i be ((-1)/(-4))/((-39)/32). Let t = 6/13 - i. Which is greater: t or h?
h
Let w(o) = o**2 - 12*o + 14. Let j be w(11). Suppose 4*p - 16 - 4 = 2*q, j*p - 15 = -5*q. Which is greater: 2/3 or q?
2/3
Let u = 0.074 - 2.074. Are u and 0 equal?
False
Let y = -18.3 + 18. Let d = -2.4 + 1.7. Let q = d + y. Which is smaller: q or 3?
q
Let b = -2/189 + -79/189. Let v(m) = m**3 + m**2 - 1. Let w(h) = 4*h**3 + 8*h**2 - 5*h + 4. Let u(c) = -3*v(c) + w(c). Let l be u(-6). Are l and b non-equal?
True
Suppose 0*l = -5*l - 55. Let f = 9 + l. Which is smaller: -3/7 or f?
f
Let x = -42 - -169/4. Let g be -1 + 3 + 0 - 0. Suppose -g*l + l = 0. Are l and x equal?
False
Let p be 4/(-26) - 79862266/(-780). Let m = 203979/2 - p. Let s = -398 - m. Which is greater: 1 or s?
1
Suppose -64 = 4*l - 180. Suppose 5*p = -2*t + 22 + 6, 5*t + l = 4*p. Let b be (-2)/3 + p/9. Is b at least 0?
True
Suppose -8 = 5*w + 12. Let v(a) = -a**2 - 5*a - 5. Let n be v(w). Suppose -6*b + 19 - 19 = 0. Which is smaller: n or b?
n
Let x(v) = v**2 + 2*v. Let u be x(-2). Suppose u = -3*n + 3*z - 3, n + 5*z = 2*n + 1. Let q be 32/14 - (-5)/(-5)*2. Do n and q have the same value?
False
Let t(i) = -i**2 - 4*i - 1. Suppose 8 = 3*r + 20. Let z be t(r). Are 3 and z unequal?
True
Let x(s) = -10*s + 39. Let h be x(4). Which is greater: -8 or h?
h
Let z = -6 + 12. Let u = -3 + z. Let m be u*(-4)/(-6) + 0. Which is greater: m or 1?
m
Let i be (2/(-4))/((-2)/8). Suppose -3*z - i*z = -25. Suppose 2*c - 2*b + 5*b - 27 = 0, c = -2*b + 16. Which is smaller: z or c?
z
Let x be 8/((-1)/(1 - 0)). Let k = 7 + x. Which is smaller: k or 1?
k
Let u be ((-10)/(-69))/(4/(-6)). Let i = 2/115 + u. Let x = -89 - -443/5. Which is smaller: x or i?
x
Let z(i) = 10*i - 3*i**3 - 5 - 6 + 8*i**2 + 2*i**3 + 4. Let h be z(9). Suppose 2*r - 12 = -h*r. Is 3 smaller than r?
False
Let d = 11 - 10.2. Which is smaller: 0.1 or d?
0.1
Let h = -14.3 + 13. Let t be 3/(-3) + 1/2. Which is smaller: t or h?
h
Suppose 3*d + 2 = 5. Let n be (d/(-5))/(8/(-30)). Which is smaller: 2 or n?
n
Let k = -3.9 + 2.7. Let p be ((-2)/(-5))/((-9)/(-15)). Are k and p unequal?
True
Let j be 1*-1 + 0/2. Suppose 0 = t - 2*z - 5, 0 = 3*t - 4*t - 3*z. Let u = j + t. Is -3 < u?
True
Let n(h) = 4*h - 2. Let w be n(2). Let i(u) = u**3 + 5*u**2 - 8*u + 3. Let l be i(-6). Suppose 0 = -w*c + c - l. Are -4 and c equal?
False
Let q = 1.95 + 0.05. Is q >= -0.3?
True
Let t = -21 - -15. Let p = 11 + t. Is p >= 5?
True
Suppose 2*j + 20 = 2*k, j = -k - 2*j - 2. Are k and 6 non-equal?
True
Let s = -5 + 5. Suppose 5*h + 7*j + 141 = 4*j, -4*h - 5*j - 118 = s. Let k be 6/h - (-21)/(-27). Which is greater: 0 or k?
0
Let h(b) = -2*b**3 - b**2 + 2. Let q be h(1). Which is smaller: q or 2/41?
q
Suppose 6*j = -42 - 18. Is j at least as big as -10?
True
Let w be (-5)/(2*(-3)/12). Suppose 0 = 2*p - 4*p - w. Let b be 3/(-9) + p/(-33). Which is bigger: b or 2/5?
2/5
Let y be -3 + (-5)/(-10) + (-7)/(-2). Which is greater: y or -2/397?
y
Let u = -0.14 - -2.14. Which is greater: -1 or u?
u
Let g = 180 - 155. Which is smaller: 24 or g?
24
Let d(n) = 2*n + 3. Let y be d(0). Suppose 5*o = 2*i - 3, 0*i = 4*o + y*i - 16. Does o = 1/11?
False
Let r(m) = m - 13. Let s = 24 - 11. Let a be r(s). Which is bigger: -1 or a?
a
Let u be 6/(-4)*8/30. Let j = -3 - -2.9. Which is greater: j or u?
j
Let j(y) = -y - 1. Let o be j(-3). Suppose -5 = 3*t - o. Let c be ((-1)/3)/((-5)/(-3)). Is t less than or equal to c?
True
Suppose -5 + 4 = k. Which is greater: -1/39 or k?
-1/39
Suppose -2*z + 4*v - 3*v = -14, 3*v = -6. Let u be ((-6)/9)/(4/z). Which is smaller: u or 0?
u
Let v = 89/2 - 45. Let w be 1/(1/(0 + 1)). Which is smaller: v or w?
v
Let t = -1 + -2. Let g be (-2)/t + (-14)/12. Let z(a) = -a**2 + a. Let n be z(0). Which is greater: n or g?
n
Suppose -4*z - 4*j = j - 13, -z + 5*j = 28. Is -5 at most z?
True
Let b = -13 - -19. Let j be 21/18 - (-2)/b. Let y = 1 + -1.1. Which is smaller: j or y?
y
Let j = 2 - 1.9. Let g = 1.2 + -0.9. Let o = g - j. Which is bigger: o or -2?
o
Let m(a) = 49*a - 4. Let r be m(-3). Is r greater than -151?
False
Let f = -8.6 - -8.7. Is 1/3 equal to f?
False
Let i be (2 - (-1 + 1))*1/13. Which is smaller: i or 0?
0
Suppose -2*b = -6 - 0. Let w be (-39)/(-3) - b*1. Let a be (8/w)/((-6)/(-15)). Is a less than 4/5?
False
Let n = -3.8 + 4. Which is smaller: 4 or n?
n
Let k = 0.75 - -0.15. Let y = 0.5 + 0.5. Let b = y - k. Which is smaller: b or 4?
b
Suppose 2*p = -0*p - 20. Suppose 12 = -3*i + j + j, -3*j = -5*i - 20. Let h be (p/i)/((-3)/(-2)). Which is smaller: 2 or h?
h
Let d = -0.2 - 7.8. Let m = d - -8.03. Which is smaller: -1 or m?
-1
Let k(i) = i - 18. Let j be k(11). Which is bigger: -4 or j?
-4
Let d(i) = i - 1. Let z be d(4). Suppose -y = -2*y. Let o = y + z. Which is smaller: 2/5 or o?
2/5
Suppose n = -1 - 0. Let c = -1 - n. Let m be 0/(1 - c/(-1)). Is m less than or equal to 0?
True
Suppose 11*g + 249 = 62. Which is bigger: -14 or g?
-14
Let m = -0.26 - -0.31. Which is greater: m or 2?
2
Let y = -11 + 12. Suppose -x - 4*g = -3, -5 = -x - 5*g - y. Is x < -2/9?
True
Let i(w) = w**3 - 11*w**2 - 14*w + 11. Let x be i(12). Let j = x - -12. Which is smaller: j or -1/18?
j
Let p(u) = -u + 4. Let s be p(-4). Which is smaller: s or 10?
s
Suppose 3*j - 23 = 13. Which is greater: 11 or j?
j
Let q be 6/(-24)*4/(-3). Let r be ((-11)/(-44))/(3/10). Which is smaller: q or r?
q
Let d be (4/6)/((-6)/9). Which is smaller: d or -6?
-6
Suppose 1 = -3*j + 22. Let r(u) = -6 + u**2 - 2*u - 4*u + 1. Let k be r(j). Do 4 and k have different values?
True
Let q be (54/45)/(6/40). Suppose 2*i + 2*i = q. Which is greater: 4 or i?
4
Let f = 3 - 9. Let a be -8 - (-3)/f*-2. Is a equal to -7?
True
Let i = -0.45 + 0.4. Let u = i - -0.05. Which is greater: u or -0.2?
u
Let j be (1 + 6/(-3))*0. Suppose 3*w + 2*f + 0 = 8, 4*f - 12 = -4*w. Suppose -u = -j*u - w. Are u and 1 unequal?
True
Suppose 0 = -0*n + 3*n + 3*c - 15, 11 = 4*n - 5*c. Let q(b) = -b**3 + 4*b**2 + 5*b - 6. Let a be q(n). Let y be 2/4 - 7/a. Which is bigger: y or -2?
y
Let h be 4/(1*84) + 3/(-9). Is -1 equal to h?
False
Let s = 221 + -224. Suppose -b - 2 = 1. Let t(i) = -i**3 - 2*i**2 + 4*i + 2. Let z be t(b). Is z less than s?
False
Suppose 0 = n - o - 41, -n + o + 33 = 2*o. Suppose 4*d + n = x, -2*x + 92 = -0*x + d. Let q = 93/2 - x. Is 1 > q?
False
Let l(f) be the first derivative of f**3/3 - 5*f**2 - 16*f + 6. Let g be l(11). Let c = -14 + 9. Is c less than g?
False
Let x = -0.086 + 0.08. Let k = x - -1.056. Let v = k + -0.05. Which is greater: v or 0.4?
v
Suppose 3*h + 18 = -3*j