r m?
1/3
Let p = 1565/4 - 395. Which is greater: p or -3?
-3
Suppose -g = 4*g + 80. Let w be g/7 - 10/(-35). Let l be (-1)/(-2)*-1*2. Which is smaller: w or l?
w
Let y be (-1602)/(-2295) - (-1)/(-3). Let o = -3/85 - y. Let x = -1.1 - -0.1. Is o > x?
True
Let d(a) = a**2 + 2*a. Let y(v) = v**2 - 6*v - 10. Let o be y(7). Let u be d(o). Suppose -3*b + 18 = -u*f, 5*b - 21 - 5 = 3*f. Is f != -1?
True
Suppose -h + 5 = 4*h. Suppose -15 = -4*i + 9. Let u be ((-1)/2)/(i/(-4)). Is h <= u?
False
Let z(g) = g**3 - 4*g**2 - g + 4. Let v be z(4). Let d be -1 + 3 + v + 0. Which is smaller: d or 3?
d
Suppose z + 2*z - 11 = -2*f, 0 = -z - 3. Let l = f - 10. Suppose 0*g + g - 1 = l. Is 0 less than or equal to g?
True
Let d be -2 - (-3)/(0 - -1). Let w = 30 - 12. Let z = w + -17. Is d less than or equal to z?
True
Let u = -13099/2 + 6737. Let b = 182 - u. Which is smaller: -5 or b?
b
Let h(c) = -c**3 - 4*c**2 + 4*c + 4. Let j be h(-4). Let r be (2/6)/(2/18). Let z be r/6 - (-10)/j. Is 0.1 smaller than z?
False
Let t = -6 - -3. Let p = t - -2.2. Let d = p + -0.2. Which is smaller: -1/2 or d?
d
Let c(w) be the second derivative of w**3/6 - 3*w**2 + 3*w. Let n be c(3). Which is bigger: -5/2 or n?
-5/2
Let w be (7/(-22))/(3775/(-25980)). Let n = -6/755 + w. Which is greater: n or 2?
n
Let q be 2/(-3)*99/136. Let z = -4/17 - q. Let k(g) = g + 7. Let u be k(-6). Which is bigger: u or z?
u
Let c = -96.4 + 57.1. Let w = c - -41. Are w and 2/7 equal?
False
Suppose -5*c = -4*n - 36, 3*c - 29 = -0*c - 5*n. Suppose -c = 5*z + 7. Let h = 1 + z. Which is bigger: -1 or h?
-1
Let f(i) be the second derivative of -1/6*i**3 + 1/12*i**4 + 0*i**2 + 0 + 3*i. Let l be f(1). Which is bigger: l or 1?
1
Let d be (3 - 1)/2 - 1. Let m = 5925 - 88837/15. Let p = m + -16/5. Which is greater: p or d?
d
Let h(v) = 3*v - 12. Let c be h(6). Which is smaller: 5 or c?
5
Let f(h) = -4*h + 2. Let v be f(-2). Let c be (-13)/v - (-4 + 3). Suppose 4*o - 5*o = 0. Which is smaller: o or c?
c
Let m(v) = 5*v - 2. Let z(k) = k. Let f = 0 - -4. Let b(g) = f*z(g) - m(g). Let o be b(2). Which is smaller: o or 4?
o
Let a = 2657/102 - 157/6. Which is bigger: a or 1?
1
Let r = 0 - -1. Suppose -4 = -3*y + 2*k, -2*k - 17 = 4*y + 1. Which is smaller: y or r?
y
Let h(b) = -b + 1. Let u be h(0). Let f be u + (-1 - -5) + -3. Which is smaller: 3 or f?
f
Let w(z) be the third derivative of z**5/30 + z**4/8 - 3*z**2. Let b be w(-2). Let o be 1 - -1*2/(-4). Which is smaller: b or o?
o
Suppose -3*p = 2*p. Suppose p = 4*n - n + 4*a - 53, -5*a + 40 = 2*n. Suppose -2*l - l = -n. Is 4 less than l?
True
Let x be (-5)/(15/6) + 0. Let s be (-2)/(-13) + -1*(-33)/39. Is s greater than x?
True
Let z be 90/(-21) - (-6)/21. Let x be ((-6)/(-28))/(z/42). Which is greater: x or -2?
-2
Let r = -18 - -27. Let h = r - 8. Is h != -3?
True
Let u be 1/4 + 2/(-8). Let s = u + 0. Let d = 4 - s. Which is smaller: d or 3?
3
Let d = 17 - 17. Suppose d*a + 6*a = 0. Which is greater: a or 3/11?
3/11
Let z(h) = h**2 - 8*h - 7. Suppose 3*i + i - 4*c - 40 = 0, -4 = 4*c. Let q be z(i). Which is smaller: -2/5 or q?
-2/5
Let v = 5 + -3. Suppose -10 = -v*w, 3*k + 2*w - 27 = 7. Suppose 3*g = k*g + 40. Is g >= -7?
False
Suppose 2*d + 20 = 3*s + 2*s, -5*d - 33 = -4*s. Suppose -r = s*t - 6, -5*r = 4*t - 0*t - 24. Let y = r + 0. Is 1 >= y?
False
Let n be (1/(-4))/((-2)/8). Which is smaller: 1/4 or n?
1/4
Let x(c) be the first derivative of -c**4/4 - c**3 - c**2 + 2. Let m be x(-3). Let n(b) = -b**2 + 6*b - 1. Let d be n(m). Is 1/5 bigger than d?
True
Let v = 68 + -65.1. Let j = -1.9 + v. Which is smaller: -2 or j?
-2
Suppose 0 = 2*c - 2 - 2. Let l be (-1)/2 + 2 - c. Suppose 2 = -5*v - b, 3*b = v + 7*b + 8. Which is smaller: v or l?
l
Suppose n = -3*u + 5 + 2, -31 = 3*n - 4*u. Is -5 >= n?
True
Let j = -4 - -4.1. Which is smaller: 7 or j?
j
Let n be 2/7 - (-2)/(-7). Let u be (1 - (-8)/(-7))*5. Let l = u - -3/14. Which is smaller: n or l?
l
Let w = 473/3 + -633/4. Is 0 greater than w?
True
Suppose 3*q - 35 = g, 4*g + 10 = 2*q - 3*q. Let c be (-2 - -5)/(2/6). Which is smaller: c or q?
c
Let c(g) = g**2 - 26*g + 44. Let h be c(24). Let w(v) = -v**3 + 3*v**2 + 3*v + 1. Let j(k) = k + 1. Let s be j(3). Let l be w(s). Is h > l?
False
Let x(a) = 4*a - 2. Let k be x(-7). Let b = 89/3 + k. Which is smaller: 2/29 or b?
b
Let q = -23 + 26. Does 3 = q?
True
Suppose -4*j - 5*o + 12 + 0 = 0, -2*j + 5*o + 6 = 0. Let f be (2/4)/(j/18). Suppose f*z = -z. Is 0 less than z?
False
Let t(d) = -6*d**2 - 5*d + 3. Let u be t(-5). Let v = u + 1102/9. Does -1 = v?
False
Let w = 4 - 10. Let v be (-2)/(-140) + w/(-21). Let n = v - 49/30. Are n and 0 unequal?
True
Suppose 0 = 6*v - 7*v + 3. Which is smaller: 11/5 or v?
11/5
Let f be (-2)/((-33)/((-3)/1)). Let q be 1/2*2*1. Let k = q - 2. Is k != f?
True
Let i be (36/24)/((-3)/(-2)). Suppose y = -0*y. Is i smaller than y?
False
Suppose 4*z - 6*g = -g - 4, g = -3*z - 22. Let r = z - -2. Suppose 0 = 2*v + 5 + 1. Are r and v equal?
False
Suppose -2*w - 9 = w. Suppose 4*n = 3*c - 20, -c = -6*n + n - 14. Which is bigger: w or n?
n
Let u be 2/7*(-28)/36. Let w(x) = x**3 + 9*x**2 - 10*x. Let t be -9 - ((-6)/3)/(-2). Let r be w(t). Are u and r nonequal?
True
Suppose 0 = l + 4*n + 24, 0*n + 90 = -5*l - 5*n. Let d be l/90 - 16/72. Is -2 greater than d?
False
Let t = 9 - 13. Let h = 0 - -0.4. Let q = 0.6 + h. Is t greater than or equal to q?
False
Let h = 1.1 + -1.1. Let j = 3.5 - 0.5. Which is greater: j or h?
j
Let j be ((-12)/(-69))/(3/9). Which is smaller: j or 1?
j
Let y be -21*(7/3 - 1). Which is bigger: y or -27?
-27
Let m(b) = -b**3 - b**2 + 3. Let t be m(0). Let x(w) = -w + 5. Let v be x(t). Are v and 1 nonequal?
True
Suppose -5*n - z - 23 = -0*z, 3*n + 27 = -5*z. Let w = n - -8. Suppose -w*s = -8 - 0. Is s bigger than 3/2?
True
Let p be (2/(-4))/(299/(-26)). Is p at most 0?
False
Let d = 3 - 0. Let w = d - 4. Is -1/7 bigger than w?
True
Let q = 19.959 + 0.041. Let s = -17 + q. Which is smaller: -1 or s?
-1
Let u = -0.7 + 0.65. Which is smaller: u or 0.2?
u
Let r(q) = q - 3. Let p be r(5). Let j = p - 1. Suppose 2*c = -c. Is c <= j?
True
Let l = 4 - -4. Let s = -7.7 + l. Let a = -0.3 + 0.2. Which is smaller: a or s?
a
Let g be 0 - 0 - (-2 + 3). Suppose n + s - 2 = 3*n, -2 = 2*n + 3*s. Is n at most g?
True
Let c = 4 + -4. Let u = 14/51 - -1/17. Which is smaller: c or u?
c
Let k = 17 - 11. Let r = -11 + k. Let q be (6/(-5))/(21/70). Which is smaller: r or q?
r
Let g(t) be the first derivative of t**2/2 - 5*t + 1. Let s be g(8). Let v be (-1)/(34/(-12) + s). Does v = -6?
True
Suppose -5*g - 4 = -19. Suppose -v = -g*v. Let p be 2/(4 - (-8)/(-4)). Are v and p unequal?
True
Let r be (-2)/15 - 18/540. Which is smaller: -1 or r?
-1
Let y be (5 + 3)/(1/3). Is 24 equal to y?
True
Let q(j) = -j**3 + 8*j**2 - 8*j + 10. Let u be q(7). Let d(k) = k**3 + 8*k**2 + 8*k + 10. Let s be d(-7). Is s smaller than u?
False
Let j be (-4)/(-6)*(-30)/(-40). Which is smaller: -8 or j?
-8
Suppose 0 = -2*u - u + 90. Let g be ((-18)/u)/((-1)/10). Suppose -5*b + 2*s - g = -s, 5*s = -3*b + 10. Which is greater: -6 or b?
b
Let c = 4 - -15. Is c bigger than 19?
False
Let u = 652534/35 + -18646. Let d = u + 18/7. Which is greater: d or 2?
2
Let j be 2 + (-1)/((-5)/280). Which is greater: 59 or j?
59
Let r = 14059 - 787385/56. Let x = -2/3225 - -9787/180600. Let c = x - r. Which is bigger: 1 or c?
c
Let l(q) = 2*q**2 + 10*q + 13. Let p be l(-6). Which is smaller: p or 24?
24
Let g(q) = -q**2 + 5*q - 3. Let p be g(3). Suppose h = -p*b, 5*b = -3*h + 6*h. Which is greater: 1 or h?
1
Let y be (202/1688)/((-18)/(-32)). Let l = -941/7 - -198537/1477. Let d = l - y. Which is greater: d or 0?
0
Let c(s) = -s + 9. Let w be c(6). Which is smaller: w or 1?
1
Suppose 0 = 7*p - 3*p. Let d = p + 1. Suppose 0 = -n + 1 - 2. Which is smaller: d or n?
n
Let g be 1*(52/(-28) + 3). Is -1/3 at least g?
False
Let r = -88/13 + 297/65. Which is smaller: r or -2?
r
Let d be 112/6 - 6/9. Suppose 2*s + d = 3*l, 4*s - 3*s + 2*l + 9 = 0. Does -8 = s?
False
Let o = -9.4 - -10. Let r = 0.6 - o. Which is bigger: r or -2?
r
Let g = 13 - 8. Let o be (-3)/45 - (-2)/g. Let j(w) = w**3 + 5*w**2 - w - 5. Let n be j(-5). Is n bigger than o?
False
Let n(d) = -d**3 + 3*d**2 + d + 3. Let k be n(4). Are -11 and k equ