*f + 7. Let y be o(w). Do -3/11 and y have different values?
True
Suppose 2*p - 12 = n, 2*p - 2*n - 13 - 3 = 0. Which is smaller: 3/4 or p?
3/4
Let p = 5 + -5. Are -25 and p nonequal?
True
Suppose -l = -4*k + 17, 0 = l + 4*l - 5*k + 25. Let o be -6 - l - (-4 + 3). Suppose 0 = -3*a - 5 - 1. Are o and a nonequal?
True
Let i = 0.054 + 0.046. Suppose 4*s - 2*b = -26, 2*b + 31 = -5*s + 5*b. Let v = -11 - s. Are i and v nonequal?
True
Let h = 1004 - 4998/5. Is h less than 3?
False
Let d(u) = -u**2 - 8*u + 5. Let h be d(-7). Let i be 22/h*2922/15. Let k = 357 - i. Is -2 at most as big as k?
True
Suppose 215 = 2*z + 59. Let d be 1/3 - z/(-9). Let q be 1/((d/(-6))/(-3)). Which is smaller: 2/3 or q?
2/3
Let m = 0.003 - 11.003. Which is greater: 2 or m?
2
Suppose 5*q - 2*q + 6 = 0. Which is smaller: q or -9?
-9
Let t = -58.82 - -59. Let v = 0.13 - 0.05. Let g = t - v. Is g less than or equal to 1?
True
Let q = 0 - 0.2. Let a = 7 + -10. Let y = a - -4. Are q and y unequal?
True
Let m = 2162/7 - 310. Let t(s) = -s**2 + 7*s. Let p be t(7). Which is smaller: p or m?
m
Let p = -161 - -3700/23. Suppose 4*q = -5*y + 9*y - 4, 4*y + q + 6 = 0. Do p and y have the same value?
False
Let l be 0 - ((3 - 0) + -1). Let h be (6/4)/(l/8). Is h >= -6?
True
Let q = -1 + -6. Let n be (8/(-20))/(q/5). Let y(p) = p + 8. Let k be y(-9). Is k >= n?
False
Suppose -3*d - 36 = 3*d. Which is greater: -1 or d?
-1
Let f(b) = -b**2 + 3*b - 5. Let q be f(2). Let m(h) = -h**3 + 3*h**2 - 1. Let s be m(2). Let t be 8/6*s/(-2). Is q at most t?
True
Let b(y) be the third derivative of y**5/60 + 7*y**4/24 + 7*y**3/6 - 4*y**2. Let a be b(-6). Let f = -2.92 - 0.08. Which is smaller: a or f?
f
Suppose -5*y - d = -23, -11 = -3*y + y - d. Let u = y - 6. Suppose 0 = 5*l - 4*g + 27, -l = -3*l + 5*g - 21. Which is bigger: u or l?
u
Let f = -186 + 271. Suppose f = 5*a - 0*a - 5*y, -a = 5*y + 13. Suppose v + 2 = 0, 0 = -4*l - 4*v + 4 - a. Which is smaller: l or 1/2?
l
Let m = -8 - -7. Let c be (2 + m)*(-2 + 3). Let o = 0.1 - 0.2. Is o > c?
False
Let q = 0.28 - 0.28. Is q greater than or equal to 26?
False
Let t(x) = 2*x**2 - 7*x - 5. Let u be t(4). Let l = -3 - -5. Suppose -3*d = l*d. Which is smaller: d or u?
u
Suppose 0*t + 3*t = -6. Is 3 less than or equal to t?
False
Let b be ((-3)/(-4))/(3/60). Suppose 2*n = -n + b. Let f be (-4 - -1)/6 + 18/4. Which is bigger: f or n?
n
Suppose -2*w + i = -7 - 3, 0 = w + i + 1. Let b = w - 4. Let y(d) = 4*d + 1. Let o be y(b). Which is greater: o or -4?
o
Let y = -463/380 - 3/95. Which is smaller: y or 3?
y
Let u(q) = q**3 - 11*q**2 - 11*q - 11. Let w be u(12). Let y = w + -1. Which is smaller: y or -2/11?
-2/11
Suppose -5*l + 50 = -5*f, f = 4*f + 4*l + 23. Let b be 2 + ((-900)/(-56))/f. Which is bigger: b or -1?
b
Let k = 5/4 - 61/20. Let y = 67/40 + k. Which is bigger: y or 1?
1
Suppose 33 + 27 = 4*s. Which is greater: 13 or s?
s
Let z = -17.3 - -17. Suppose 0 = 2*k + 3*k. Which is smaller: z or k?
z
Let q(c) = -c**2 - 3*c - 1. Let n be q(-1). Let j(u) be the third derivative of -u**4/24 - 12*u**2. Let s be j(n). Is 2/13 greater than or equal to s?
True
Let t = 0.4 + -0.7. Let p = t + 0.3. Let j = 9 + -8. Which is smaller: j or p?
p
Let q = -270478783/319 - -847895. Let a = 20/29 + q. Let v = 3 - 4. Is a equal to v?
False
Let v(h) = 3*h - 6. Let k be v(5). Let w = k + -6. Suppose 8*n = -0*n + 16. Which is greater: n or w?
w
Let a be (-141)/(-15) + 3/5. Suppose 2*i = -a, -u - 3*u - i = 9. Which is greater: -2 or u?
u
Let a be 7/1 + (-3 - 0). Suppose -7 = 3*d - a*u, d + 3*d = 3*u - 7. Which is bigger: -2/9 or d?
-2/9
Let s = 7.08 - 0.08. Let p = -8 + s. Let m = 0 + 0. Which is greater: m or p?
m
Let s = 0.39 - 0.29. Let y = -2 + 2. Which is greater: s or y?
s
Let t(m) = -m + 5. Let q be t(6). Which is bigger: -12/7 or q?
q
Let h = -4 + 2. Let t = 5 - 6. Let b = t + 2. Which is smaller: h or b?
h
Let f = 67 - 69. Which is smaller: f or 0?
f
Let z = -28 - -26. Let n be 5/(-4) + 2/8. Which is smaller: n or z?
z
Suppose 0 = -8*m + 92 + 60. Which is bigger: m or 22?
22
Suppose -2*p + 18 = -4. Let v be 46/p + (-4)/22. Is 3 at least v?
False
Let m = 12 - 52. Is -40 at least m?
True
Let t(r) = r**3 - r**2 - 3*r. Let g be t(-3). Is g greater than 1/2?
False
Suppose -113 = -y - 4*d + d, 0 = 3*d + 3. Let r be ((-8)/10)/(y/(-10)). Is -1 < r?
True
Let w = -1 + -2. Let d = 1 + w. Do d and 1/3 have the same value?
False
Let w = -0.2 - -0.3. Let c = 11 - 5. Let v be (c/4)/(0 - 2). Is w < v?
False
Suppose -28*x = -34*x - 480. Is -81 smaller than x?
True
Let k be 11/(-5) + ((-105)/(-25) - 4). Is -8 at least k?
False
Suppose 0 = 4*x - 4, -z + 0*x + 4*x = -10. Is 12 at least as big as z?
False
Let b = -29 - -43. Suppose 3*v + 2 = f + 9, 2*v = 3*f + b. Let z be -4*(3 + (-5 - -3)). Is z at least f?
True
Let o = 0.06 - -0.04. Is o >= 0.1?
True
Suppose -i - 32 - 3 = -5*n, -2*i = -n + 16. Which is greater: 7 or n?
7
Suppose -t - 14 = -15. Is 2/93 equal to t?
False
Let r be (-6)/18*(3 - -36). Let c = -3 - r. Which is bigger: c or 12?
12
Suppose 27 = 4*d + 7. Suppose 0*r - d*v - 8 = 2*r, -5*r + 1 = 2*v. Let y = 1 + -1. Which is greater: r or y?
r
Let p = 23 + -31. Is p smaller than -8?
False
Let v be ((-18)/(-120))/(4/10). Let t(m) = -m + 9. Let x be t(8). Are x and v unequal?
True
Suppose 5*z + 840 = 9*z. Let h be 28/(-3) - (-6)/(-9). Let r be 8/z*h/(-4). Which is greater: r or -1?
r
Suppose -4*p = p - 10. Let i = p - 2. Suppose 3*y + 0*y = i. Does 1/3 = y?
False
Suppose 3*q - q - 2 = 0. Let z = 4 - q. Let r = -1 + z. Which is smaller: r or 4/3?
4/3
Let i = 85/3 - 941/33. Let f = -3 + 5. Suppose -j + f = 1. Is i less than j?
True
Let u = 77 + -77.05. Suppose -1 = 4*p + 7. Which is greater: p or u?
u
Let i be (-154)/280 + 6/8. Let b = 1 + -1. Which is bigger: i or b?
i
Suppose 0 = -5*q + 5*c - 65, -q - 5 = 5*c - 2*c. Suppose -85 = -5*x - 10. Let t = x + q. Which is smaller: t or 2?
2
Let g(a) be the third derivative of a**4/24 + 2*a**3/3 + 2*a**2. Let z be g(-4). Which is greater: 1/4 or z?
1/4
Suppose -5*s - 45 = -5*x, -4*x = s - 3*x - 1. Suppose -u + 6 + 14 = -3*f, -2*f = 2*u - 8. Let w be u/(-70) + s/(-10). Which is smaller: 0 or w?
0
Suppose 3*y = 30 + 24. Is y not equal to 18?
False
Let a be -1*(0 + -1 + -2). Let x be 3 + a/((-9)/6). Is x greater than 1/11?
True
Let l be 9/6 + (-33)/14. Let m = -22 - -21. Is m less than l?
True
Let k = -73 + 83. Is k != 2?
True
Let f = 3 + -4. Let o be (-5)/(-100) + f/4. Is 5 >= o?
True
Let i be 6/(-27) + 32/(-18). Let v = -2 - i. Let j = -62/225 - -4/75. Which is smaller: j or v?
j
Let y = 2 - 0. Let f be -2*(y + 0)/(-4). Is 2 less than or equal to f?
False
Let z = -8 + 8. Suppose z = k - 2 + 1. Let a be 3 - (4 + -1 + k). Do a and 2/15 have different values?
True
Suppose -5 = -5*d + 5. Suppose -2*l = 0, d*c - 4*l - 4 = -0*c. Let k = c - 0. Is k bigger than 2?
False
Let l be (-2)/(-6) - 0/2. Let z = -4 - -1. Do l and z have the same value?
False
Let j(f) = f**3 + 10*f**2 - 10*f + 10. Let r be j(-11). Is 2/9 at least r?
True
Let i be (16/(-6) - -1)/(1/3). Let p = -2 - -2. Let v = -3 + p. Do v and i have the same value?
False
Let y(m) = 3*m**2 - m + 1. Let p be y(-2). Let a = p - 41/2. Let j = a + 6. Which is smaller: j or 2?
j
Let b(i) = -i - 14. Let d be b(-10). Suppose -2*p + 7 - 15 = 0. Is p at most d?
True
Let o = 97/296 + -63/37. Is 0 equal to o?
False
Let g = 0 - 0. Suppose -5*v - 5 = 0, -3*t + 2*t + 5*v = g. Which is bigger: t or -6?
t
Suppose 0 = 11*r - 5*r + 66. Is r greater than -11?
False
Let u = -20.006 - -0.026. Let c = u + 20. Which is bigger: -2 or c?
c
Let i = 4 - 13. Are -8 and i equal?
False
Let g = 9 + -28. Let z be g/4 + (-2)/8. Let i = -4 - z. Is i less than or equal to 5/6?
False
Suppose -z = -26 - 6. Let n be 15/28 + (-8)/z. Which is smaller: n or -1?
-1
Let g = -7 - -4. Let j = g - -2.7. Which is bigger: j or -1?
j
Let h be (2/(-6))/(4/12). Let d be (-1)/2*-4*h. Is -2 smaller than d?
False
Let r = -56 + 54. Is r smaller than -7/4?
True
Suppose -6*n = -45 - 27. Are n and 13 non-equal?
True
Let b be ((-2)/6)/((-2)/6). Suppose 7*s = 11*s - 12. Which is smaller: b or s?
b
Let b(r) = r. Let j be b(-6). Let q = 8 + j. Suppose 0 = 5*h - 3*u + 45, -5*h - q*u - 20 = -0*u. Which is smaller: h or -2?
h
Let i = 1.25 + -0.55. Let d(b) 