d -3 equal?
False
Let o(q) = -16*q - 3. Let c be o(-2). Let j = c + -16. Let z be (-1 - -2)*(-2)/j. Is 0 < z?
False
Let m(f) = f**3 + 4*f**2 - 3*f - 12. Let s be m(-4). Which is smaller: 25 or s?
s
Let h(q) = q + 3. Let z be (-1*2)/(-1) + -5. Let y be h(z). Let k be (-1)/(((-44)/(-10))/((-16)/(-20))). Which is smaller: k or y?
k
Suppose 8*j = 7*j - 1. Which is bigger: 2.2 or j?
2.2
Suppose 7*z - 4*j = 4*z - 17, 0 = -z + 5*j - 24. Let l be z - -1 - (1 - 0). Let g = -3 - l. Is -5 smaller than g?
True
Suppose -5*d = -2*d. Let u(m) = -m + 14. Let y be u(10). Let j be 3 + ((-14)/y)/1. Is d at most j?
False
Suppose v = 2*v + 6. Let s(c) = -7*c - 5. Let q(x) = -6*x - 5. Let l(n) = 6*q(n) - 5*s(n). Let g be l(v). Which is bigger: g or 1/5?
g
Let t = -7 - -3. Which is smaller: -2 or t?
t
Let h = 221/30 - 49/6. Suppose 0 = -7*v + 5 - 19. Which is bigger: h or v?
h
Let a be ((-2)/3)/(2 + 7). Which is smaller: 1 or a?
a
Suppose -2*h - h = -d - 1, 19 = h - 5*d. Is -1 smaller than h?
False
Let r(o) = 5*o - 3*o**2 + 2 - o**2 - o**3 - 1. Let a be r(-5). Is a <= 7/6?
True
Suppose 0 = -0*h + h - 2*v, -2*v + 40 = 4*h. Suppose 2*r + h*q - 3*q - 25 = 0, 0 = 4*r - 3*q + 15. Is r != -1/6?
True
Suppose -3*v + 0*v = 9. Let f(o) = -o**2 - o + 4. Let b be f(v). Let w be ((-3)/(-9*1))/((-11)/33). Is b <= w?
True
Let g = -0.1 + -1.9. Let c(b) = -4*b - 1. Let h be c(-1). Suppose -4*v - h*p - 21 = 0, 12 = -v + 2*p - 5*p. Is g <= v?
False
Let q be ((-7)/3)/(1/12*4). Is q not equal to 1?
True
Let b = 1947/2 + -1003. Let v = b + 28. Is v <= -3?
False
Let s = -4 - -6. Suppose -3 = y - s. Let b be (-6)/4*(-4)/(-3). Which is smaller: y or b?
b
Let k be 42/54 + 2/(-2). Is k less than -0.2?
True
Let o be 2 - 2 - (-2)/(-4). Let x(d) = d + 7. Let v be x(-6). Let q(m) = -2*m**2 + 2*m - 2. Let y be q(v). Which is greater: o or y?
o
Let q(y) = -3*y**3 - y**2 + 1. Let j be q(-1). Let s be 4 + (j*-1)/3. Is 4 less than or equal to s?
False
Let w be 4 + (-4 - 5/30). Which is smaller: w or 3?
w
Suppose -5*k = -0*k - 5. Is 2/9 less than k?
True
Let j = -9 + 9. Let c = -1 - 1. Which is bigger: c or j?
j
Let f = -0.1 - -4.1. Let q = -18.9 - -19. Which is smaller: f or q?
q
Suppose 5*m = 9*m. Suppose 0 = -r + 1 - m. Which is smaller: r or -1?
-1
Let k be 6/4 + -6 + (-174)/(-36). Do 27 and k have the same value?
False
Let r(w) = -3*w + 1. Let o be r(-1). Let p be (-3)/(-2)*o/6. Which is bigger: p or 2/17?
p
Let c(d) = -d**2 - 5*d. Let t be c(-5). Are t and 0 nonequal?
False
Let d be (-10)/4*4/(-15). Suppose 4 = -4*r + 3*g - 2, 2*r = -5*g + 10. Is d bigger than r?
True
Let j = 59 - 53. Let y(t) = 2*t**2 - 14*t - 1. Let w(u) = u**2 - 7*u. Let g(f) = 13*w(f) - 6*y(f). Let k be g(j). Which is bigger: -1 or k?
k
Let m = -2.98 - 0.02. Let b = 0 + m. Let i = 3 + b. Is i at least as big as 2/5?
False
Let c be ((-119)/28)/(-17) + (-67)/(-52). Which is smaller: c or 1?
1
Let f = -19 - -21. Which is greater: f or 9/7?
f
Let g = 62 + -68. Is g not equal to -4?
True
Let a(o) = -o**3 + 9*o**2 - 8*o + 8. Let i be a(8). Let f be (-3 - 3)*(-2)/i. Are -2/9 and f equal?
False
Suppose 3*a - 4 = 2*a. Let o be 12/(-14)*a/(-12). Let i = 0.3 - 0.6. Which is greater: o or i?
o
Let m(p) = p**2 + 4*p + 2 + 0*p + 1. Let x be m(-2). Which is smaller: x or -1/7?
x
Let l be (-9)/30*(-8 + 2). Let i be (2 - 3)*6/(-2). Is l less than i?
True
Suppose 2*l - 3*n - 8 = -4*n, -3*l + 2*n = -5. Let o = 4 - l. Suppose 3*h + 2 = 8. Is h < o?
False
Suppose -3 + 11 = -2*f. Which is smaller: -6 or f?
-6
Let d(b) = b - 9. Let g be d(11). Suppose -6 = -g*k + 4. Do 5 and k have different values?
False
Let m = -4 + -6. Let d be m/4*(-8)/(-50). Which is smaller: d or 0.1?
d
Let p(h) = h**3 - 6*h**2 - 3*h + 5. Let b be p(6). Let q = -13 - b. Which is smaller: q or -2/11?
-2/11
Suppose -25 = 5*y, p - 166 = -2*p - 4*y. Which is greater: p or 63?
63
Let k(u) = -u**2 + 14*u - 1. Let b be k(14). Which is greater: 2/121 or b?
2/121
Suppose 0*q - 1 = -3*q + 2*v, -4*q = 3*v - 24. Let a be ((-3)/6)/(q/30). Is a at most 2?
True
Suppose -75 = 2*w + w. Let l = w + 19. Are l and -6 equal?
True
Let t(w) = w**3 - 4*w**2 - w - 9. Let y be t(4). Is y at least -13?
True
Suppose 5*a + 4*g + 85 = 0, a + 10 = 2*g - 7. Is -19 less than a?
True
Let z = 1 + -0.5. Let j = 0.5 - z. Which is smaller: j or -0.01?
-0.01
Let m(x) = 3*x - 15. Let z be m(0). Which is smaller: -13 or z?
z
Suppose -5*z + 4*w = -2, -4*z + 0 = -w - 6. Suppose 5*y + z = 4*d - 0*y, -4*d + 4*y = 0. Let m be (0 - d) + (-7)/14. Do 3 and m have different values?
True
Let c be 4/7 + 4152/84. Is 49 equal to c?
False
Let s(y) = -3*y - 11. Let p be s(-5). Suppose 18 = -p*d + 2*g, -21 = 5*d - g - g. Are -7 and d nonequal?
True
Let p = 1.4 + -3. Let h = p + 1.7. Is h less than or equal to 6?
True
Let t(k) = -9*k**2 + 9 - k**3 + 2 - 1 - 7*k. Let g be t(-8). Which is greater: 0 or g?
g
Let c(w) = w + 4. Let u(r) = r**2 + 7*r - 2. Let p be u(-6). Let a be c(p). Let f be a - -2 - (-5 - -1). Which is smaller: f or 1?
1
Let k be -4*((-2)/8 - (-15)/(-2)). Is 32 less than k?
False
Let s = 0 + 3. Suppose p - s*p = o - 10, -p - 3*o = -15. Are 3 and p nonequal?
False
Let t = 1.81 - 1.9. Let k = 0.11 - t. Is k at least as big as 4/3?
False
Let g(b) = b**2 - 3*b - 4. Let y be g(4). Let m = y + -1. Let t = 2.8 + -3. Which is greater: m or t?
t
Let n(v) = 489*v - 7. Let j be n(6). Let w = j + -14692/5. Let f = w - -12. Which is smaller: 1 or f?
f
Suppose -h + 3*h + 1 = 5*g, -2*g + 4*h - 6 = 0. Suppose -g - 1 = 2*m. Let d = -1747/15 - -349/3. Which is smaller: m or d?
m
Let h = 7 - 5. Is 3 less than or equal to h?
False
Let g(f) = f**3 + 6*f**2 + 2*f + 7. Let m be g(-6). Is m bigger than -6?
True
Suppose -4 = -4*g, 2*g - 7*g - 13 = -3*v. Let i be (-4)/(-6)*v/(-4). Let b = -17 + 14. Which is greater: i or b?
i
Let a be 4/(-18) - 110/(-90). Which is bigger: a or 1/2?
a
Let m be (-4 + 1)/(-1 - 0). Let x = m - 2. Is -2/15 bigger than x?
False
Let d = 514 + -2578/5. Are -2 and d equal?
False
Suppose g + 2*g - 9 = 0. Suppose 0 = -3*v + 6*v + g. Let r be (v/2 + 1)/(-1). Is r < 0.1?
True
Let w(h) = 7*h - 4*h - 2*h - 6. Let a be w(5). Which is smaller: -2 or a?
-2
Suppose -16 = -5*j + 24. Let x be (-28)/j*(-1)/7. Is 0 at most as big as x?
True
Let b(h) = -h**3 + 5*h**2 - 6*h + 10. Let m be b(4). Let j = -283 + 1985/7. Which is smaller: j or m?
j
Let h = 12 - 11. Let x be (5/(-18))/(5/(-15)). Are x and h non-equal?
True
Suppose 0 = -4*g - 2*q + 170, -3*g + 135 = 3*q - 4*q. Is g at most as big as 44?
True
Let r = 20 - 19.6. Which is smaller: -2 or r?
-2
Suppose -t + 5 = -2*t - 4*k, 2*t = 2*k + 10. Let u = t + -7. Is -5 bigger than u?
False
Suppose -k - 3 = -17. Let x be ((-4)/k - -1) + 0. Is x > 1?
False
Let s(l) = l**3 - 4*l**2 - 11*l. Let n be s(7). Is 0 > n?
False
Let h be ((-307)/1)/(-19 + -1). Let q = 65/4 - h. Let x = 13/20 - q. Is -1 bigger than x?
False
Let t be -1 + (1 - (-2)/3). Let f = -5 + 9. Suppose -5*i - 5 = -l, 0*l = -2*l - f*i - 4. Is l greater than or equal to t?
False
Let j(r) = -r - 4. Let i be j(6). Let v be ((-24)/(-10))/((-2)/i). Suppose -4*x = -8*x + v. Do 3 and x have different values?
False
Let c(k) = -k**2 + 4*k - 1. Suppose -16 = -0*o - 4*o. Let x be c(o). Which is smaller: -3/8 or x?
x
Suppose -4 = r + 4*r + 3*u, r + 4*u = 6. Which is bigger: r or -31?
r
Let x(b) = -b**2 - 4*b - 4. Let c be x(-4). Let i be (-7)/(-28) - 2*(-31)/8. Let o be (c/i)/(1/(-4)). Is 0 smaller than o?
True
Suppose -2*x = -g + 3 + 3, g + 2*x = 18. Let n be g/5*(-5)/10. Suppose b + 4*b = 0. Which is bigger: b or n?
b
Let y = 8 + -13. Let g = -5.1 - y. Let r(q) = -q**3 + 4*q**2 - 2*q - 4. Let m be r(3). Which is greater: g or m?
g
Let t be (-1 - 3)*(-3)/(-6). Suppose 0 = 8*u - 3*u + 20. Let i = u + 3. Which is smaller: t or i?
t
Suppose 7*p = 2*p - 35. Let s be 3 + ((-76)/p)/(-4). Are 2/7 and s unequal?
False
Suppose 2*h - 33 = -h. Let a(j) = -j**2 + 12*j - 12. Let c be a(h). Let o(b) = b + 3. Let s be o(-5). Which is smaller: c or s?
s
Suppose -5*h - 4*k = -2*k - 9, 0 = h - 2*k + 3. Suppose 5*z = 10 - 0. Suppose -z*n = -n - h. Is 0.1 bigger than n?
False
Suppose 3 = -5*r + 133. Is r greater than or equal to 1?
True
Suppose -r + 4 = r. Let c be 2 - (r - 2)/(-2). Let a = c - 7. Is -5 <= a?
True
Suppose 10*v - 15 = -185. Is v >= -16?
F