1?
-1
Let p = -4 - -3. Let f be 4 + (0 - 3/(-3)). Suppose -3*y + 2*d - 13 = 6*d, 19 = -f*y - 4*d. Which is smaller: y or p?
y
Let l(g) = g**2 - 4*g - 3. Let t(p) = 1. Let x(y) = l(y) - 3*t(y). Let c be x(5). Let n be (3/(-36))/(c/3). Which is smaller: n or -0.7?
-0.7
Let f be (4/(-6))/((-4)/24). Suppose f = -l, -x + 2*l + 20 = 2*x. Which is smaller: 6 or x?
x
Let m be (-3)/(-2)*36/63. Let x = 13 - 11. Are m and x equal?
False
Let s(m) = -2*m + 22. Let g(z) = -2*z + 23. Let c(y) = -3*g(y) + 4*s(y). Let r be c(8). Which is smaller: r or 10/3?
r
Let x be 4/18 + (-21875)/63. Let h = -8677/25 - x. Which is greater: h or 1?
1
Let z(u) be the third derivative of u**6/720 - u**5/60 + u**4/24 + 3*u**2. Let g(x) be the second derivative of z(x). Let j be g(0). Which is smaller: 0 or j?
j
Let t be 0/(-2 + 3 + 0). Let d = t - 0. Suppose -3*i = 5*r - 4*r + 1, 3*i - 2*r = 2. Is i less than or equal to d?
True
Suppose -t + 2*g = 3, 2*t - 3*g + 2 = -2. Let o(n) = 2*n**3 - n**2 - n - 1. Let q be o(-1). Let h = q + 5. Does t = h?
False
Let r(q) be the second derivative of -q**5/20 + 5*q**4/12 - q**2 - 2*q. Let l be r(5). Are -3/2 and l non-equal?
True
Let l(d) = -d**3 - 8*d**2 - 8*d - 8. Let r be l(-7). Is 2/99 < r?
False
Let z = -0.947 + -0.053. Which is bigger: z or -12?
z
Suppose 2*g - 8 = 5*j, -g - j - 3 = -0*j. Is 2/17 at least as big as g?
True
Let w = -17256553/34636 + 412/1237. Let r = 498 + w. Let g = r - 71/140. Is g less than or equal to -0.2?
True
Suppose -2*p = k - 10, 3*k + p + 14 = 6*p. Suppose y - k = 1. Is 3 less than y?
False
Let h(y) = y - 2. Let o be h(5). Suppose 2 = -o*p - 1. Suppose 0 = s + 2*s. Which is smaller: s or p?
p
Let i = 4.3 + -4. Let b = 1.3 - i. Let d = b + -2. Which is bigger: 0.3 or d?
0.3
Let y be (-2390)/(-18)*2/(-25). Let s = y + 52/5. Let u = 2 + -3. Which is smaller: u or s?
u
Suppose -2*q - 2*w + 2 = 14, 5*w + 18 = -q. Let b = 2 + q. Let j be -1 + -1 + 5/3. Which is greater: b or j?
j
Let s = -4.8 - -4.75. Which is smaller: s or -0.2?
-0.2
Suppose 104*m - 103*m - 9 = 0. Is m > 0.06?
True
Suppose 0 = -3*i - 0*i + 4*t - 3, -2*t + 6 = 0. Let z = 1.6 + -1.6. Which is bigger: i or z?
i
Let c(y) = 3*y - 6. Let o be c(5). Suppose -r + o = -4*r, 2*r = 2*p - 12. Suppose 4*g - 2*i + 3*i - 4 = 0, -2*g - 12 = 4*i. Is g >= p?
False
Let n be 1/(-2)*-2 - 0. Let k be (-22)/10 - (n - 2). Is k < 0?
True
Let y = 5.5 - 6.2. Let j = -6 - -5.3. Let t = j - y. Is 3 not equal to t?
True
Let w = -1 - -12. Is w <= 11?
True
Let f be (-8)/(-3) - (0 - -2). Is -0.2 less than f?
True
Let m = -97 - -212. Is 114 >= m?
False
Suppose -56 = 3*z + 10. Let k be (-22)/18 - z/99. Is k greater than -1?
False
Let c = 20 - 8. Let x = -5 + c. Let g = x - 8. Which is bigger: -2 or g?
g
Let c = -1408/7 - -202. Which is bigger: c or 1?
1
Let a = -15 - 0. Let x be 12/(-2)*(-10)/a. Let q = 3 + x. Which is bigger: 0.3 or q?
0.3
Suppose 0 = -7*w + 3*w + 20. Let x be w/(-60) + (-2)/8. Is x less than 2?
True
Let u(c) = -c**2 - 8*c - 6. Let p be u(-7). Suppose 5 - p = d. Suppose g + 3*g = 4*w - 8, d*w - 2*g = -2. Is w <= -3?
True
Let n = 15 - -4. Which is smaller: -2/5 or n?
-2/5
Let w be 2/(-8)*2*-2. Let y = 43 + -52. Which is smaller: y or w?
y
Suppose -v - 10 = 2*d, 3*d - 2*v = 2*v - 15. Suppose 7*a = -14 - 28. Are a and d nonequal?
True
Let t(k) = 2*k**2 + 3*k + 5. Suppose 0 = -5*a + 25, -2*n - 3*a = n - 9. Let o be t(n). Is 9 equal to o?
False
Let z(o) = -o**2 + 6*o - 6. Let x be z(4). Suppose 2*l + 3*h - 4 = 3*l, -x*l - 5*h + 3 = 0. Let y be ((-2)/10)/(l/1). Which is greater: y or 1?
1
Let z = -33 + 38. Do z and 5 have the same value?
True
Let i = -0.81 + 0.71. Which is smaller: 72 or i?
i
Let s(t) = 0*t + 6 - 7*t + 0 - 3 + t**2. Let q be s(6). Which is smaller: q or -1?
q
Let h(s) = s. Let n be h(-9). Let y be 1*2*n/(-6). Suppose -y*a + 43 = r + 4*r, 0 = 2*a + 4*r - 32. Is 6 equal to a?
True
Let h = 8.95 + -9. Is 1/4 smaller than h?
False
Let l(x) = -x**3 - x**2 + 2*x - 1. Let t be l(-2). Let s = -1/36 - 13/18. Which is smaller: t or s?
t
Let n be (-4)/(-8) + (-1)/(-2). Let q = 4 - 10. Let s be 4/12 + (-1)/q. Is n > s?
True
Suppose -5*o + 17 = 12. Is o greater than 5/11?
True
Suppose 4*v = -8 - 4. Is 0 != v?
True
Let g = 5 + -1. Let v(h) = h**2 - 4*h + 2. Let r be v(g). Let f be r/4 - (-51)/(-78). Is f <= -0.1?
True
Suppose -5*v + 13 = -7. Let u be (1/v)/((-5)/4). Let d(n) = n. Let q be d(1). Is q bigger than u?
True
Let b = 25 - 22. Suppose 5*k + b + 12 = 0. Is k bigger than -1?
False
Suppose -3*c - 76 = c. Suppose -5*a + 5*d - 70 = 0, -29 = 3*a - 2*a + 2*d. Is a > c?
False
Suppose 4*j + 4*h = -h + 23, 2*j + 11 = 5*h. Is 4 greater than or equal to j?
True
Let n(f) = -f**2 - f + 1. Let p be n(0). Is p equal to 1?
True
Let l = 0.1 + -1.1. Let x = -32 + 47. Let n be (4/(-10))/(x/(-25)). Which is smaller: n or l?
l
Suppose -4*y - 3*g + 200 = 0, -5*g + 0*g + 208 = 4*y. Is y at least as big as 46?
True
Let r = 0 - 1. Let j be 1/(-2)*(-5 + (-2)/2). Which is smaller: r or j?
r
Let h(t) = t**2 + 6*t + 6. Let y be h(-6). Let r(x) = 4*x + 6. Let a be r(-3). Let p = y + a. Is 4 less than p?
False
Let h = -166/5 + 28. Let q = h + 5. Is q > -1?
True
Suppose 5*l + 4*a - 45 = 0, -5*l = a - 15 - 15. Let c(n) = n**3 - 2 - 1 - 5*n - 3*n**2 - n**2 + 6. Let m be c(l). Which is greater: 2 or m?
m
Let q = 250315/76968 + 25/2138. Let k = -27/8 + q. Is k not equal to 0?
True
Let b = -48 + 37. Which is smaller: b or -3?
b
Suppose 2*l + 4 = 4*v - 2*l, -3*v = -5*l - 3. Suppose 6 + 6 = 2*t + 5*d, 3*d = 6. Is v < t?
False
Let c = 154/5 + -33. Which is smaller: c or -2?
c
Suppose -m = -4, 4*c - 4*m - 96 = -2*m. Which is smaller: 25 or c?
25
Let x = 12 + -16. Let w(l) = l**2 + 3*l - 3. Let v be w(x). Which is smaller: v or 3?
v
Let l = 9 - 4. Suppose l*k = 8*k. Let d = -210 - -1894/9. Which is smaller: d or k?
k
Suppose 0 = 4*l - 3*v + 95, 0 = -5*l - v - 58 - 37. Is -41/2 at most as big as l?
True
Let q be ((-8)/10)/(378/(-135)). Which is smaller: -46 or q?
-46
Let m(q) = -q**3 - 3*q**2 - 4*q - 2. Let c be m(-2). Suppose -c = -5*b - 7. Is 2/7 at least as big as b?
True
Let h = -31 + 36. Is h greater than or equal to 0?
True
Let v = -1415 - -114617/81. Are -1 and v nonequal?
True
Let j = -57 + 57. Is -3/41 less than j?
True
Let o = -2 + 5. Suppose 0 = o*x - 5*x. Which is smaller: x or 2/9?
x
Let o(q) = 2*q**2 + 7*q - 2. Let w be o(-6). Let k = w - 16. Suppose -4*b = -2*j - 10, -j + 11 = 5*b - k. Which is smaller: 1 or j?
1
Suppose 8*s - 13*s - 65 = 0. Is -13 greater than s?
False
Let h(i) = 2*i**2 - 4*i + 1. Let p be h(-3). Which is bigger: p or -2/3?
p
Let c = 5/4 + -13/20. Is c greater than 2/3?
False
Let l(h) = h**3 - 9*h**2 + 9*h + 9. Let n be l(7). Let r be 13/18 - (-13)/n. Which is greater: r or 0?
r
Let d = 0.1 + 0.1. Let w = 10.8 + -11. Which is bigger: d or w?
d
Let a(i) = 0*i - 1 - 7*i - 13*i**2 - 5*i + 10*i. Let r be a(-1). Which is smaller: r or -13?
-13
Let x = 12 + -9.9. Is x bigger than -2?
True
Suppose -4*o + 16 = -16. Let k(s) = s**3 - 9*s**2 + 9*s - 7. Let v be k(o). Suppose -j + 0*j + 4*l - 6 = 0, l = -5*j + 12. Is v >= j?
False
Let y(w) be the second derivative of -w**5/20 - 2*w**4/3 - 7*w**3/6 - w**2/2 + 2*w. Let z be y(-7). Let j be (z + (-1)/(-2))/1. Does j = 2?
False
Let w be 5/(10/(-4)) - 0. Let s = w + 2. Suppose s*i + 3 = 3*i. Is 1/3 <= i?
True
Let v = 5 + -4.9. Let c = 2 + -12. Is c < v?
True
Let x = -21 - -19.2. Let u = -1 - -3. Let i = u + x. Which is greater: i or 2/5?
2/5
Let q = -66.2 - -66. Is q at least as big as 0.5?
False
Let i(a) = 89*a + 1. Let q be i(-1). Let n = -63 - q. Suppose 3*h + 4*d = d + 9, 5*d - n = 5*h. Is -2 >= h?
False
Let g = 230/7 + -33. Which is smaller: 0 or g?
g
Let a = -2 + 2. Let i = 31/2 - 16. Is i equal to a?
False
Let h(q) = q + 5*q**2 + 2 - 4*q**2 + 3*q. Suppose 0 = 3*c - 4*c - 3. Let s be h(c). Which is greater: s or 0?
0
Let r be (-4 + 1)*(-20)/(-12). Let c be (2/5)/(r/(-25)). Let h be -1 + 2 - 1*c. Is 0 smaller than h?
False
Let u(p) = p**3 + 8*p**2 - 19*p + 10. Let x be u(-10). Which is greater: 3/59 or x?
3/59
Let k(u) = u**2 - 2*u + 3. Let h be k(2). Suppose -h*o = t - 11, t - 1 - 2 = -o. Which is smaller: 3 or o?
3
Suppose 2*h - 5*h + 3 = 0. Is 1 < h?
False
Let u(f) = -2*f - 30. Let x be u(-13). Is 2 at most x?
False
Suppo