. Let d be 2/(-5) - (-4)/10. Which is greater: d or p?
d
Suppose 5*y - h + 11 = 2*h, 2*y = -2*h + 2. Which is bigger: -6/7 or y?
-6/7
Suppose -3*n - 4*y = -4, 2*y = -2*y + 4. Suppose -r + 4*u - 5 = -0*u, -5*r + 25 = 5*u. Does n = r?
False
Let x = -12/19 + -2/57. Are x and -1.1 equal?
False
Let t = 3 + -2. Suppose 6*z - 6 = -0*z. Is z at most t?
True
Let q(o) = 6*o + 30. Let l be q(-5). Is l < 2/87?
True
Let v(s) = 3*s**3 - s**2 - s. Let x be v(-1). Let y be -3*(1 - 4)/x. Suppose 0 = 2*q - 2*w + 10, 7*q - 4*q + 17 = 4*w. Is y at least as big as q?
True
Let i(g) = g**3 - 9*g**2 + 7*g + 10. Let o be i(8). Suppose 2*y - 4 = -o*y. Suppose y = -3*s + 4. Is s at most 2?
True
Suppose -2*b + 5*h = -6, -6*b - 29 = -3*b + 2*h. Let v(f) = f**2 + 6*f - 9. Let d be v(b). Let n be (4/(-20))/(2/d). Do 0 and n have different values?
True
Suppose -5*g - 2*x = -11, -3*g + 6 = -x + 2*x. Let r = -1.3 - -1. Let u = 0 + r. Which is smaller: g or u?
u
Let o(g) = 4*g - 3. Let s be o(-3). Let k be (-5)/s - 13/21. Let r = -2 + 2.2. Is r < k?
False
Suppose -2*w + 8 - 26 = 0. Which is bigger: w or -7?
-7
Suppose 0 = 2*r + 2, 1657 = 2*k + 3*k + 3*r. Suppose -u = 4*z - k, -2*z - u + 85 + 83 = 0. Let h = -413/5 + z. Which is greater: h or 0?
0
Suppose 85 = -5*j - 0*j. Which is smaller: -18 or j?
-18
Let g = 7/22 - 5/154. Let r = -29485/126 - -2090/9. Let q = g + r. Is q not equal to -2?
True
Let r = 5 + -16. Let x be ((-3496)/r)/(2/1). Let h = -159 + x. Is 1 less than h?
False
Let o = 77 + -223/3. Which is smaller: 3 or o?
o
Let y be ((-48)/(-160))/((-1)/((-4)/3)). Is 42 less than y?
False
Let j = -35 - -29. Which is smaller: -7 or j?
-7
Suppose -2 = -3*h + h. Suppose 4*i - h - 35 = 0. Which is smaller: 8 or i?
8
Let b = 2/1041 + -9379/5205. Is -1 less than b?
False
Let q = -5 - 11. Let d be q/(-24) + (-1)/2. Is 1 bigger than d?
True
Suppose 9*j - 4*j - 35 = 0. Are 10 and j equal?
False
Let d be (2 + -1)/(3/3). Suppose -4*w = -25 + d. Are 2 and w equal?
False
Let q(g) = -g - 11. Suppose 4*b + 17 + 9 = -2*j, -5*b + 5*j - 70 = 0. Let o be q(b). Which is smaller: -1 or o?
o
Let a = 0.1 + 0. Let b be ((-14)/21)/((-1)/3). Suppose b*p - 2 = -8. Which is smaller: p or a?
p
Let y(x) = -x**2 - 4*x + 12. Let r be y(-6). Which is bigger: r or -2/191?
r
Let f = 2 + -13. Is f > -11?
False
Let c(s) be the third derivative of -2*s**2 + 0*s + 1/24*s**4 - 1/3*s**3 + 0. Let l be c(0). Is -2 != l?
False
Let k be -1 + (2 - 2) - -20. Let f be 2*1/2 + k. Let s be 2/(-8)*32/f. Which is smaller: s or -1?
-1
Let l be 2/(-3) + 24/9. Let y = 1 + 2. Suppose 4*t - 3*p - 17 = 0, -p - 3*p = y*t + 6. Is l greater than t?
False
Suppose -22 = -3*c - 10. Let f be ((-3)/c)/((-1)/(-4)). Let i = -3 - f. Is i not equal to -3?
True
Suppose 2*a - 3 = 4*o + a, 5*o + 2*a = 6. Let f be -4 + o + (6 - 4). Is f at least -10/3?
True
Let r = 9 + -9. Is -1/5 greater than or equal to r?
False
Let r = -57/8 - -7. Suppose -3*t = 1 - 4. Is r equal to t?
False
Let t = 48 - 90. Is -43 less than t?
True
Let v(s) be the first derivative of -s**4/4 + 8*s**3/3 - 4*s**2 + 7*s - 4. Let o be v(7). Which is smaller: 1/10 or o?
o
Let o = -123/4 - -823/24. Let h = -25/6 + o. Which is smaller: -1 or h?
-1
Let k be 0*(-2 + 4 - 1). Suppose 2*s + 2 = -k. Let m be (s + 2/3)*0. Which is smaller: m or 5?
m
Let f = -60 + 61. Which is smaller: f or -4/43?
-4/43
Let h be -3 + (4 - 2) + 1. Let d(c) = -c - 1. Let t be d(h). Let j be 3/(129/(-6) + 2). Which is bigger: j or t?
j
Let g be -2 + -1 + 0 + 3. Let q be 788/(-1800) + (-2)/9. Let v = 3/50 + q. Is g less than v?
False
Let w = -34 + 33.9. Is 0.055 less than or equal to w?
False
Let c(g) = 5*g + 24. Let m be c(3). Which is smaller: 38 or m?
38
Let m be (-8)/12 + (-16)/(-6). Suppose s = -m + 5. Let u be ((-2)/(-2))/(2 - s). Is -4 equal to u?
False
Suppose 5*b - 2*b = 0. Suppose 0 = 4*c - 5*i - 21, i + 0*i + 5 = b. Let y be (30/(-4))/5 - 1. Is c >= y?
True
Let p(t) = t**3 + 7*t**2 + 1. Let w be p(-7). Which is smaller: w or -1/11?
-1/11
Suppose -4*o + 6*o = 0. Is 1/9 greater than or equal to o?
True
Let n be -23 + (-3 - (-5 - -1)). Let y be (-70)/n - 8/44. Let j = -63 + 129/2. Which is greater: j or y?
y
Let j be -1 + 0 - (-141)/126. Let s = 1/21 + j. Is s less than 0?
False
Let d be ((0 + 0)/2)/1. Let a = -12 - -15. Suppose 4*u - a*u = 3*w + 6, -u - 3*w - 12 = d. Is -2 >= u?
True
Let l(c) = c**3 - 6*c**2 + 5*c + 3. Let u be l(4). Does u = -10?
False
Let a = -5 + 7. Suppose w - n - 1 = -a, 2*w - n + 2 = 0. Let t = -2 - w. Which is bigger: 0 or t?
0
Let n(x) = -x**3 - 8*x**2 - 3*x + 24. Let s be n(-6). Does s = -31?
False
Let b(z) = z**2 - 8*z + 1. Let k be b(7). Let m be 10*1/k*-3. Let q be ((-2)/(-5))/((-1)/m). Do -3/2 and q have the same value?
False
Let y = -2.8 + 3. Let u = -0.3 + y. Suppose d + 5*x = -3*d - 18, -d - x = 4. Is u != d?
True
Let m = -0.02 - 1.9. Let t = m - 0.08. Which is bigger: 1/4 or t?
1/4
Let o = -8/15 - -2/15. Is 8 less than or equal to o?
False
Let d(i) = -2*i - 3. Let l be -1*(-2 + 6) + 1. Let t be d(l). Let g be t/1 - (2 - 1). Which is smaller: g or 0?
0
Let l(q) = q**3 + 9*q**2 - 11*q - 10. Let z be l(-10). Let m = 768/5 - 153. Which is smaller: z or m?
z
Suppose -3*k + 37 + 23 = 0. Is k at least as big as 21?
False
Let j be (0 - 1) + (0 + 0)/(-14). Let b = 1 - 1. Let y be 1 + b + 0 + -2. Are j and y unequal?
False
Let g be ((-6)/(-4))/((-18)/24). Let n(m) = -m. Let l be n(-3). Let r be g - l/(15/(-7)). Which is bigger: r or -1?
r
Let f(y) = 7 + y + 9 - 4. Let a be f(-8). Suppose a*p + i = 2, -2*i - 3 = 2*p - p. Is 3/7 smaller than p?
True
Let c = 0 - 0. Let s = c - 1/2. Which is bigger: s or -1?
s
Let p = 4 - 4. Let s be (2/22)/(10/254). Let t = 21/11 - s. Which is smaller: t or p?
t
Suppose -3*o = -6*o + 12. Suppose o*m + 1 = -23. Let i be m/(-5)*10/4. Is i less than or equal to 3?
True
Suppose -4*u + p = 6*p + 9, -2*u + 2*p = -18. Is -2 at least u?
False
Let d(z) = -z**2 + 11*z - 9. Let f be d(10). Do -1/6 and f have the same value?
False
Let g be ((-12)/5)/(3/(-10)). Is 8 at most g?
True
Let j = 1 - 1. Let q be (-6)/(-4) - (j - 0). Which is smaller: 2 or q?
q
Let t be ((-3)/(-2))/((-5)/(-30)). Let i be ((-10)/(-15))/((-6)/t). Which is smaller: i or -1/25?
i
Suppose 14 = 2*a - 0. Which is bigger: 10 or a?
10
Let l = -11/2 - -137/26. Is l equal to -1?
False
Let s = -8 - -5. Is s > 0?
False
Suppose 2*x = 8*w - 4*w + 14, 5*w + x = 0. Let a = 7012141/63 - 111309. Let h = a - -44/9. Which is bigger: h or w?
h
Suppose 2*h - 6*h = 36. Which is bigger: h or -7?
-7
Let p be (-33)/(-7) + 8/28. Suppose -d + p*l = -8, -3 = l - 2. Let n be d - 74/18 - -1. Which is smaller: n or -1?
-1
Let p be 55/25 - (-1)/(-5). Is 2/9 smaller than p?
True
Let p(v) = v + 43. Let s be p(20). Is 62 greater than s?
False
Suppose -22 = -f - 5*m, -m = 2*f - 51 - 2. Let l be ((-2)/(-3))/(6/f). Suppose -5 = z - l. Is -2 <= z?
True
Let p = 5 - -7. Let f(t) = 2*t**3 - 9*t**2 - t - 9. Let n be f(5). Is p smaller than n?
False
Let k be 6/(-9)*9/6. Suppose a - 1 = 0, 11 + 12 = -5*m + 3*a. Which is smaller: k or m?
m
Let v = -8.5 + 0.5. Let z = 5 + v. Is 2/5 < z?
False
Suppose 5*p - 14 = -2*r, -3*r + 0*p + 8 = p. Let f be 18/8 + r/(-8). Let u(i) = -2*i + 2. Let o be u(f). Which is bigger: o or -1?
-1
Suppose -v + 4*h = 2*h - 51, -v + 3*h + 53 = 0. Is 46 less than v?
True
Let b(g) = g**3 + 20*g**2 + 6. Let p be b(-20). Let j be 6/(-9) + (-8)/p. Let x = 3 - 4. Which is bigger: j or x?
x
Let l(j) = j**3 - 7*j**2 + 6*j - 1. Let v be l(6). Let o = -3 - v. Is -2 at least o?
True
Let t be (-6)/(-2)*(2 + -1). Suppose -20 = -t*m - m. Let n = 14 - 10. Which is smaller: m or n?
n
Let v = 3 + -15. Let i = v - -13. Let n be (-3)/3 + (-10)/(-6). Do n and i have the same value?
False
Let z = -1 + 2. Let n be (0/(z*-2))/(-1). Is -2/9 at least as big as n?
False
Suppose -50 = -3*z - 5*a, 3*a - 16 = -a. Let n be (-42)/(-5) + (-4)/z. Let u = n - 11. Which is smaller: u or -2?
u
Let y(d) = -2*d**2 - 10*d - 4. Let w be y(-3). Is w bigger than 3?
True
Suppose -4*h = 4*t - 4 - 4, -2*t + 10 = 4*h. Let z = -13/5 + h. Which is bigger: z or 1?
1
Let h be 7 + -8 - 26/(-36). Let a = h + 4/9. Let l be 1/4 + 6/8. Which is greater: l or a?
l
Suppose 22 + 13 = -5*d. Let h = -4 - d. Is h bigger than 5?
False
Let k be ((-1)/10)/((-30)/(-20