5)/((-10)/v). Are p and 6 unequal?
False
Let i = -22 - -15. Let y = 28 + i. Let c be (-10)/(-6) + (-14)/y. Is 5/3 less than or equal to c?
False
Suppose 2*b + 2*q = 5 - 1, 4*q = 4. Suppose 3*m + 4 = b. Is 1/14 at least m?
True
Suppose -23*y + 27*y = -124. Which is smaller: y or -29?
y
Suppose -2*a = -2*k + 10, 0*k - 2*k - 6 = 2*a. Let l be (-4 + 2)/(4/10). Which is bigger: l or a?
a
Suppose -5*l + 10 = 5*d, -2*l + 2 = 3*d + 2*l. Let t be (-1)/(2/d*-1). Which is bigger: t or -2/3?
t
Let y(f) = 2*f**2 - 3. Let x be y(7). Is -1 at least as big as x?
False
Let v be 2/(-6) + (-4)/15. Suppose 0 = 5*w - w. Is w < v?
False
Suppose -6*p + 13 = -161. Which is smaller: p or 30?
p
Let i = 15 + -15. Is i < 0.06?
True
Let x(s) = -s + 1. Let i be x(-2). Suppose 0 = 5*a - 2*p + 1, i*a = -2*a + 4*p + 3. Let o be (a/(-4))/((-6)/8). Are o and 0 nonequal?
True
Let i = 2 + 0. Suppose 0 = 2*m + i*m - 4. Let p be (-4)/(-14) - (-18)/(-14). Is p smaller than m?
True
Suppose 9*f - 15 = 4*f. Which is greater: f or 11/3?
11/3
Let u = 22 + -43/2. Let i = -13 + 12. Which is smaller: u or i?
i
Suppose -13*d = -8*d + 30. Which is bigger: -0.4 or d?
-0.4
Let m = -5 + 4. Let x be 2/(12/(-499)) - 3. Let n = -86 - x. Which is smaller: m or n?
m
Suppose 10 = -n + 5, -3*g - 2*n - 16 = 0. Which is bigger: g or -18/17?
-18/17
Let w be (6 + -2)*2/8. Let s be ((-7)/(-245))/((-4)/10). Is w <= s?
False
Let w = 46 + -139/3. Let n be 1 - 3 - (0 - 2). Is n equal to w?
False
Suppose 9*m - 11*m = 28. Which is greater: -16 or m?
m
Suppose 3*i - 8 = i + 2*v, 0 = -4*i + 2*v + 10. Which is bigger: 4/37 or i?
i
Let s be -6*6/16*4. Let a = s - -14. Suppose a*m - 2*u = 4, 2*m + 8 = -4*u - 0. Which is bigger: -1 or m?
m
Let a = 78 + -78. Let m(b) = b - 2. Let d be m(0). Is d less than a?
True
Let s(y) = -y**2 - 2*y - 2. Suppose -2*b = 2 + 2. Let a be s(b). Do a and 1 have different values?
True
Let w(z) = -z**2 + 7*z + 5. Let b be w(8). Let k be b/(-2)*40/15. Let q be 0 + (2/(-1))/k. Is -1 smaller than q?
True
Let c(o) = 3*o**3 + 2*o**2 - o - 1. Let g be c(1). Suppose -3*j = g*h - 3, -2*j - 5 = -h - 5*j. Which is greater: 1 or h?
1
Let g = 3.4 + -3. Is g less than 1/4?
False
Suppose 2*u = -6, q - 6*u - 27 = -u. Is 11 less than or equal to q?
True
Let u be -1 - (0 - (7 - 3)). Suppose -2*q - 2*p = 28, -32 = -q + 3*q + 3*p. Let b be (6/5)/((-3)/q). Which is greater: b or u?
b
Suppose -7*d + 2*d - 5 = -p, -5*p - 3 = 3*d. Which is bigger: -0.048 or p?
p
Let r = -3/19 + -10/57. Are r and 1 equal?
False
Let i = -32/45 + 10/9. Is i <= 1/4?
False
Let p = 0.006 + -0.006. Let k = -49/5 + 8. Let j = k - -71/45. Is p < j?
False
Let g be (-18)/153 + (-208)/(-34). Which is greater: g or 1?
g
Suppose d = k - 3, d + 2*d = -3*k + 9. Is 2 >= d?
True
Let s be (-8)/(-6)*6/52. Suppose 0 = -0*i + 2*i + 6, 3*v + 5*i + 12 = 0. Does s = v?
False
Let d(m) = -m + 6. Let q be d(3). Suppose 0 = 4*s - q*s. Let b be (-2)/(-8) - 6/16. Which is smaller: b or s?
b
Suppose -4*v + 0 = 4. Let b = 2 + v. Let u = -3 - -3. Is b less than or equal to u?
False
Let a(t) = t**2 + 2*t + 3. Let h be a(-2). Let d be h + (-3 - -4)*-3. Does 2/67 = d?
False
Let c be (-1)/((-32)/(-10) + -3). Is c < -3?
True
Suppose 0 = 10*u - 8*u - 20. Which is greater: u or 11?
11
Let g = -1304/7 + 186. Suppose 0 - 3 = -3*s. Suppose -2 = b - s. Is b <= g?
True
Let p(g) = g**3 + 10*g**2 - 25*g - 12. Let l be p(-12). Let o = -421/50 - -17/2. Is l smaller than o?
True
Let u be (-60)/(-16)*2*2. Is u > 14?
True
Let i = 4 - 3. Let z be ((-60)/54)/((-4)/30). Let q = 8 - z. Is q < i?
True
Let q = 20 - 14. Let y(g) = g - 7. Let d be y(14). Which is bigger: q or d?
d
Let y = -20 + 19.9. Is -3 smaller than y?
True
Let a = 26/55 + -3/11. Suppose -6 = -0*z + 3*z, 2*t - 2*z = 2. Are a and t equal?
False
Let t = -1 + 4. Suppose -t*c = 3*m + 3, c - 1 = -3*m + 2. Suppose m*i = -3*i. Is 1/2 bigger than i?
True
Let p = -7.6 + -0.4. Let d = p - -7. Which is smaller: -2 or d?
-2
Let x(z) = z**2 + z + 3. Let f be x(0). Suppose -f*a + a + 10 = 0. Suppose 2 + 3 = -a*d. Which is bigger: d or -1/6?
-1/6
Suppose 0 = 4*q - 5 + 1. Let v be (-1 - 0)*q*27. Let y be 32/63 - (-6)/v. Which is greater: -1 or y?
y
Let r = -121 + 126. Which is smaller: 6 or r?
r
Let g = -1 - 4. Let u = 4.64 + g. Let n = u + 0.06. Do n and 1 have the same value?
False
Suppose 0 = 3*a - 2*i - 5, -4*a + 2*i = -0*a - 6. Let m(x) = x - 19. Let z be m(18). Which is greater: z or a?
a
Let c = -10 - -9. Are 1/3 and c non-equal?
True
Let g be (-68)/15 + 18/54. Which is greater: g or -5?
g
Let r = 2 + -6. Let v = 2 + r. Let d = 0.2 - 1.2. Does d = v?
False
Let z = -38 - -37. Is z greater than or equal to -2/59?
False
Suppose -4 = -k + 1. Let n(q) = q + 9. Let v be n(0). Suppose -k*m + 6 = 4*c - 6*c, -v = -m + 3*c. Which is greater: m or -0.1?
m
Let s = -763 + 35863/47. Suppose 102 = 9*w + 111. Which is smaller: s or w?
w
Let k = 0.05 + -1.25. Let l = -0.2 - k. Suppose 6 = -4*f + f. Is l < f?
False
Suppose -4*n = 2*d - 0*d + 8, -5*n + 10 = 0. Is d smaller than -0.1?
True
Let p = -178.09 - -178. Is p < 1?
True
Let x(j) = -j**3 - 14*j**2 - 14*j - 14. Let l be x(-13). Are -9 and l non-equal?
True
Let y = 154 + -107. Which is smaller: -0.1 or y?
-0.1
Suppose 5*z = -9 + 4. Let x = 432/1561 + 2/223. Is x bigger than z?
True
Let b = -1 - 0. Let x be b/(-2) - 5/5. Let j be (4/(-6))/(1/3). Is j at least x?
False
Let l be (-1)/(-4) + 14/8. Let i(k) = k**3 + 4*k**2 + 2. Let b be i(-4). Is b >= l?
True
Let h = -37.3 - -35. Let g = h - -2.4. Which is bigger: 0.2 or g?
0.2
Let k = -89.08 - -89. Which is greater: -1 or k?
k
Let w = -0.41 + -9.59. Is w at most 2/5?
True
Let u = 30 - 32. Let z = 3 - 4. Let c be (z/u)/(5/30). Do c and 3 have the same value?
True
Let w = -22017 - -110443/5. Let v = w - 72. Is v bigger than 2/5?
False
Let a be ((-14)/(-21))/((-4)/6). Let b be (-10)/4 + a/2. Let g be (6 + b)*(-2)/(-12). Which is greater: g or 2/11?
g
Suppose 7*y - l - 5 = 5*y, -4*y + 5*l + 19 = 0. Which is smaller: -2/7 or y?
-2/7
Let z = 0.95 + 0.05. Let n = 0 - -6. Is n at most z?
False
Let j = 0.8 + 8.2. Let m = 2.2 - 0.2. Which is greater: j or m?
j
Suppose -4*t + 34 = -2*b, 3*t - 19 = t + 3*b. Let f = t + 0. Let s(v) = -v**3 + 7*v**2 + 8*v. Let o be s(f). Are 0 and o equal?
True
Let f = 9 + -17. Which is smaller: -10 or f?
-10
Suppose 0 = 4*b - 16, 0*b - 36 = -4*v + 2*b. Which is bigger: 8 or v?
v
Suppose -r + 2*a - 8 = -0*a, -5*r - 2*a = -20. Let q be ((-4)/3)/((-4)/6). Is r at most q?
True
Suppose 2*b + b - 6 = 0. Suppose -20 = -3*h - v, h - 2*v - 4 = -b. Let j be ((-3)/h)/(5/(-4)). Is 1 equal to j?
False
Let x be ((-18)/5)/((-40)/50). Is -2/19 not equal to x?
True
Suppose 4*y = 3*r + 17 - 0, -10 = -5*y. Let f be 0*(r/6 - -1). Are 1 and f unequal?
True
Let s = 739 + -24383/33. Do s and 0 have the same value?
False
Let t = 35 - 34. Which is smaller: -3/17 or t?
-3/17
Let y(x) be the third derivative of x**5/60 + x**4/24 + x**3/3 + 2*x**2. Let p be y(-2). Let h be p/18 - 48/(-27). Is h greater than or equal to 2?
True
Suppose 3 = -h + 4*h. Let j = -19 - -29. Let x be 2/4*(-4)/j. Do x and h have the same value?
False
Let o(s) = -2*s**2 + 3*s + 12. Let n(w) = -5*w**2 + 10*w + 35. Let g(x) = 3*n(x) - 8*o(x). Let q be g(-4). Is q greater than 0.4?
True
Let r = -22 + 19. Which is greater: r or -2?
-2
Suppose -3*p - 3 = -z, 5*p - z + 1 = 2*z. Let n = -23 + 20. Are n and p non-equal?
True
Let m(o) = -o**2 - 11*o - 1. Let x be 1/2 + 92/(-8). Let z be m(x). Is z bigger than -3/7?
False
Suppose 2*u - 9 = -u. Let m be -4 - (9/u)/(-3). Suppose 5*f - 6 = -16. Which is smaller: f or m?
m
Let r = -3 - -1. Let p(k) = -k**3 + 1. Let q be p(-2). Let h be -2 - r/q*6. Which is smaller: h or 0?
h
Let r = -0.3 - -0.4. Is r greater than 9?
False
Let t = -2.1 - -13.1. Let i = -11 + t. Suppose -8*l + 4*l = 12. Which is smaller: i or l?
l
Let a be 1672/(-40) - 1/5. Which is greater: a or -0.1?
-0.1
Let z(j) = j**2 + 7*j + 11. Let r be z(-5). Is 2 != r?
True
Let u be 0 - (-6)/(-8) - 119/(-252). Is 0 at least u?
True
Let d = -11983/532 + -47/76. Which is greater: d or -24?
d
Suppose -l + 4 = 5. Let h be (131/4)/(-1) + -2. Let v = 35 + h. Are v and l unequal?
True
Let u = -33/26 + 10/13. Let c be -2 + 3 - (-728)/(-721). Let r = 215/927 + c. Is u <= r?
True
Suppose 2*n 