s smaller: 3/62 or v?
v
Let k = 0 + 1. Let j be 5/(-4)*(-1)/(-5). Is j bigger than k?
False
Let r = 3/14 - 157/700. Which is greater: r or 0?
0
Let c be (3/(-3))/(6/148). Are c and -25 equal?
False
Suppose 8 = r - 5*r. Suppose -a - 2*a = 0. Let c be -2 + 2 + (a - 2). Is c not equal to r?
False
Let v = 0.04 + 9.96. Let b = -9.8 + v. Which is greater: b or 0.04?
b
Let y = -73 + 72.8. Which is smaller: -3/2 or y?
-3/2
Let p(n) = -n**2 + 1 + 11*n + 2 + 1 + 0. Let r be p(11). Is 4 at least as big as r?
True
Let w be 10/25 + 321/(-840). Do w and -1 have different values?
True
Suppose 0 = 2*r + 2*r - 8. Suppose -2*k + 3*g - r + 4 = 0, k - 1 = 5*g. Which is smaller: -1/6 or k?
-1/6
Let q = 17/4 + -87/20. Is 1 at most as big as q?
False
Let o be 0 - (-3)/(21/503). Let y = -72 + o. Is y less than or equal to 1?
True
Let a = 515/2358 - -1/262. Let z = -9 + 10.2. Let m = z + -1.2. Does m = a?
False
Suppose 14 = 3*l - 31. Let y be 5/6*l/50. Suppose -2*v = -5*s - 3, -2*s + 4*s = 4*v + 2. Which is smaller: v or y?
v
Suppose 4*f = p - 2 - 13, f = p. Let y be (-3)/(2 + p) - -53. Let k be (-16)/(-4)*(-3)/y. Which is greater: -4 or k?
k
Suppose -4*o = 2 - 6. Let k = 1 + 2. Suppose 5*v + 3*p + 10 = 1, -15 = k*v + 5*p. Which is smaller: v or o?
v
Let z = 34 - 35. Is z < -2?
False
Let m = 3.4 - -3.6. Which is bigger: m or -2?
m
Suppose -1 - 7 = -4*p. Let d be (1/2)/(p/(-8)). Let k be (-64)/126 - d/7. Is k greater than 1?
False
Let t = 2 - 3. Let f = 1.6 + t. Let q = f - 0.4. Is q at least as big as -0.1?
True
Let l = -75 + 54. Let t = l - -12. Which is greater: t or 1?
1
Let d be ((-6)/(-5))/(12/15). Let u be 2*3/(-6)*-1. Is d < u?
False
Let o(f) = -f**3 + 5*f**2 + f - 1. Let y be o(5). Let h be (-5)/(1 - (y - 2)). Are h and 4 unequal?
True
Let g(x) = -x + 4 - 5 - 2. Let d be g(-2). Let p(i) = -i**2 + 20*i + 93. Let u be p(24). Is u bigger than d?
False
Let s(m) = -m**3 - 14*m**2 - 14*m - 13. Let v be s(-13). Is 1/87 at most v?
False
Let k(w) = 3*w - 27. Let o be k(9). Is o at least 0?
True
Suppose 3*u - 3 - 6 = 0. Let w(n) = -n + 4. Let f be w(u). Which is bigger: f or -1?
f
Let k be ((-56)/70)/(4/(-70)). Suppose 4*i + 1 + k = 5*l, 2*i + 40 = -4*l. Are -11 and i equal?
False
Let y be (14/4)/(-7)*-34. Let r = -17 + y. Is -1 not equal to r?
True
Let q be 6/202*12/(-18). Which is smaller: 1 or q?
q
Let p(v) = v**3 - 10*v**2 - 12*v + 11. Suppose 0 = 4*j + 20, 0 = -4*h - 3*j - 0 + 29. Let r be p(h). Let i be (1/(-3))/(1/(-3)). Which is smaller: i or r?
r
Suppose 3*v - 1 = 2. Let a = v - 3. Let m = 0.2 - 0. Are a and m equal?
False
Suppose -4*f = -3*f + 1. Let j = 1 - f. Suppose 0 = -j*t - t. Which is bigger: t or -1?
t
Suppose -17 = -3*y - 3*j + 2*j, 5*j = -2*y + 33. Suppose -h + 20 = y*h. Suppose -12 = -4*k - h. Does 2 = k?
True
Let d = 0.77 + 0.23. Let o = -0.7 + 0.2. Is d greater than o?
True
Let o = 0.41 + 1.69. Let k = o - 2. Let g = k + -0.2. Is g less than 2/11?
True
Let p(c) = c**3 + 5*c**2 - 2*c - 11. Let z be p(-5). Which is greater: -2/101 or z?
-2/101
Let w = 10 + -12. Which is greater: w or -8/11?
-8/11
Let c = -16 + 15. Which is greater: 4/9 or c?
4/9
Let i = -8 + 11. Let w be i + 30/(-9) + -1. Is -1/3 greater than or equal to w?
True
Suppose -5*s + 0*s + 15 = 3*k, 4*s - 5*k = -25. Suppose -o - 2*o = s. Is o < -2/31?
False
Let k(x) = -x**2 + 5*x - 5. Suppose 2*z + o + 3*o - 16 = 0, -3*z = 2*o - 16. Let a be k(z). Let w be (-40)/75 + 3/15. Is a >= w?
False
Let i be (-11 - 16/(-4))*-1. Is 0.07 bigger than i?
False
Let u(n) = n**3 - n**2 + n - 2. Let k be u(2). Suppose 2*a - 2 = k*a. Let m(l) = 2*l**3 - l. Let s be m(a). Are s and -1 unequal?
False
Let d(q) = q**2 + 10*q + 6. Let f(w) = 2*w**2 + 21*w + 13. Let u(y) = -13*d(y) + 6*f(y). Let p be u(-4). Is p greater than or equal to 2/3?
False
Let r(l) = -l**2 - 6*l - 6. Let b be r(-4). Let a be (-36)/(-60) - b/(-5). Let c be 0/1 - 2/10. Which is smaller: a or c?
c
Let k be 2/(-5) + (-9)/15. Which is bigger: k or -3?
k
Suppose 2*i = i - 4*v + 2, 5*i + 3*v + 7 = 0. Let y be 3/30*12/i. Which is greater: 0 or y?
0
Let x = -91/4 - -179/8. Is x at most 1?
True
Let n = -11/35 + -39/35. Which is greater: 0 or n?
0
Let h be 5 + -6 + 18/14. Which is bigger: h or 1?
1
Let h = 9 - 12. Which is bigger: h or -5/3?
-5/3
Let s be (-22)/(-33) + 368/6. Is 61 != s?
True
Let k(l) = -l**2 - 17*l - 35. Let w be k(-11). Is w at least as big as 33?
False
Suppose -2*c = 5*q - c + 20, 4*c - 12 = 3*q. Which is smaller: q or 0?
q
Let n(x) = -x**2 - x + 8. Let t be n(-9). Let r be 2*-1 - t/24. Which is smaller: 0.2 or r?
0.2
Let l be (-5 - -3) + 2 - -3. Suppose 5*p + 15 = 3*r + l, 20 = 5*r + p. Is 4 at most as big as r?
True
Let f be 0*(0 - 1)*1. Let a(s) = -s**2 + s + 5. Let g be a(f). Suppose -3*d - 11 = 5*u + 9, 3*u + 12 = -g*d. Which is smaller: d or -1?
-1
Suppose -3*h + 20 = -8*h. Let m = -7 + 2. Which is greater: h or m?
h
Suppose 4 = 4*t - 5*q, -2*t - 4*q = t + 28. Let i = t + 4. Let o be 1/(-3)*(-3)/2. Is o greater than i?
True
Let m be 3606/20 + 7/14. Suppose 4*c - 6*c - 364 = 0. Let x = m + c. Is -2 less than x?
True
Let g be 5 + -3 + (177 - 1). Let o = 210674/7 + -29918. Let x = o - g. Is 3 at least x?
True
Let v = 1388/7 + -198. Is v less than -16?
False
Let f(u) = 0*u**3 + u**2 + 0*u**3 - 4*u - 6*u**2 - u**3. Let q be f(-4). Let j be 27/(-60) - 1/(-4). Which is greater: q or j?
q
Let c = 9 - -1. Suppose 0 = -p - p - c. Which is greater: p or -3?
-3
Let s(j) be the second derivative of j**4/24 + j**3/2 - j**2/2 + 2*j. Let y(o) be the first derivative of s(o). Let m be y(-3). Which is smaller: m or -2/3?
-2/3
Let i(k) = k**3 + 3*k**2 - 3*k + 1. Let x be i(-4). Let t be (x - 2)*(-2)/15. Which is smaller: t or -2?
-2
Let i = 59 - 58. Which is smaller: -3/13 or i?
-3/13
Let s be ((-2)/(-7))/((-2)/(-14)). Suppose -s*z - 1 = -3. Suppose 2 = 2*v - 0. Is v > z?
False
Let c = 21 + -17. Let j = -43/78 + -3/26. Do c and j have different values?
True
Let t = 0.032 - -6.868. Let b = t + -7. Do 2/5 and b have the same value?
False
Let p be 240/(-36) + 5*1. Do -1 and p have the same value?
False
Let f(c) = c - 7. Let z be f(7). Is 2/5 bigger than z?
True
Let z = 37 - 41. Let i(j) = -j**3 - 8*j**2 - 4*j + 1. Let c be i(-5). Let q be 120/c - z/18. Which is greater: -3 or q?
q
Let n = -181 - -264. Which is smaller: n or 82?
82
Let b(z) = -z - 2. Let f be b(-2). Suppose f = -2*r - 0 - 4. Let h be r/((-3)/(-9) - 1). Which is smaller: 2 or h?
2
Let w = 6 - 6. Suppose 6 = -o + 2*g - w, 5*o = 3*g - 2. Suppose -o*a - 8 = -l, 3*a - 5*l + 4 = -22. Which is smaller: a or 0?
a
Let u(m) = -8*m - 3 + 7*m - 1. Let b be u(-2). Let g be (-6)/(-33) - b - 2. Which is bigger: -1 or g?
g
Suppose -3*v = 2*v - 10. Let l be (12/3)/((-6)/(-15)). Suppose -7*d = -2*d + l. Which is smaller: d or v?
d
Let z = 13.2 - 12. Is z at most 0?
False
Suppose -c - 2*o + 2 = 0, -23*c + 21*c - 5*o = -4. Let b = 9/4 + -3/2. Which is smaller: c or b?
b
Let j(t) = 117*t - 1. Let z be j(-1). Let k = z - -350/3. Let i(n) = n**2 + 12*n - 15. Let o be i(-13). Which is smaller: o or k?
o
Let n(z) = -3*z**3 + 4*z - z + 7*z**2 + 4*z**3 + 10. Let u be n(-7). Does u = -11?
True
Let r(q) = -q**2 + 4*q + 4. Let f be r(5). Let x = -105/388 + 2/97. Which is bigger: x or f?
x
Suppose -3*m + 1 = -2*m. Which is smaller: -2/19 or m?
-2/19
Suppose 0 = -p - 3*x + 13 - 6, 2*x - 4 = 0. Which is bigger: p or 5/19?
p
Let v(i) = i**2 + 4*i - 3. Let p be v(-5). Suppose 3*w - 9 = -0*w. Is w at least p?
True
Let g(c) = -2*c**2 - 34*c - 12. Let q be g(-17). Which is smaller: -32/3 or q?
q
Suppose -3*n + 38 = -4*n. Let b = -112/3 - n. Is b != 0?
True
Let l = 59 - 292/5. Let u(w) = w - 2. Suppose 0 = 5*j + 3*z - 35, z + 2 + 1 = 2*j. Let k be u(j). Is k > l?
True
Suppose 5*p - 28 = -5*b - 8, 4*b = -p + 13. Is p <= 3?
True
Let f be -16*8/16 + 31. Let x = -31 + 54. Is x < f?
False
Let b = 2 + -12. Let m be 6/(-1)*b/(-4). Let j be 2/(3 - m/1). Are j and -1 equal?
False
Let i = -6 + 5. Let u = i + 5. Is u <= 2?
False
Let i = -9 - -4. Let r = i - -3. Is r <= -0.2?
True
Suppose m + 2*q - 3 = 0, -3*q = -5 + 2. Which is smaller: m or 5/9?
5/9
Suppose 0*y - 5 = -y. Suppose 6 = y*h + 1. Let n be 1/(-1) + 1 - 0. Is n greater than h?
False
Let q(t) = t**3 - 6*t**2 + t - 4. Let i be q(6). Let a = 2 - i. Is 0.2 less than a