 be 1*(-3)/9*3. Which is greater: v or 3/11?
3/11
Let g(u) = -u + 5. Let p(v) = -2*v + 9. Let c(w) = 5*g(w) - 3*p(w). Let f be c(3). Let x be (1 - 1)*1/(-2). Is x bigger than f?
False
Suppose -10 = 2*o, j - 23 = 2*j + 2*o. Let i be (-125)/10 + (-4)/8. Are i and j non-equal?
False
Suppose 3*n + 3 + 2 = 2*v, v = -4*n - 14. Suppose 3*q = s + 11, q - 2 - 23 = -5*s. Suppose -5*w + 5 = 5*g, 0*g = -w - 4*g + s. Which is bigger: v or w?
w
Let a(y) be the first derivative of y**6/40 - y**4/24 + y**2 + 2. Let p(f) be the second derivative of a(f). Let g be p(1). Is g less than or equal to 4/5?
False
Let y = -0.42 + -0.28. Let d = 0.1 + y. Which is bigger: -0.2 or d?
-0.2
Suppose 2*n = 4*n + 4. Which is smaller: -5/2 or n?
-5/2
Suppose -16 = 3*i + 4*t, -i - 2*t - 18 = -7*t. Let k be ((-5)/10)/((-1)/i). Let m be 12/5 - k/(-10). Which is smaller: 3 or m?
m
Let t = 1.33 - 1.22. Which is smaller: t or -1?
-1
Let a(y) = y + 1. Let c be a(-13). Suppose 4*w + 2*l - 4*l = -52, 3*w - 3*l = -42. Is c less than or equal to w?
True
Suppose -4*v + 10 = -50. Do 15 and v have different values?
False
Let i = 9 + -4. Let s(f) = -2*f**3 - 4*f**2 + 8*f + 12. Let w be s(-3). Which is bigger: i or w?
w
Suppose 3*l = 3*k - 42, 3*l + 18 = -0*l - 3*k. Let a = 10 + l. Is -2/29 greater than or equal to a?
False
Let s(z) = -z**3 - 2*z**2 - 4*z - 3. Let y be s(-2). Suppose -y*w = 5*a + 20, 2*a + 14 - 2 = -w. Let t = a + 6. Which is greater: -3/5 or t?
-3/5
Suppose -4*n = 5*v + 15, 0 = n + 2*v - 4 + 10. Is 1 equal to n?
False
Let s be ((-56)/54)/((-2)/(-24)). Let t = 614/45 + s. Suppose 0 = -5*u + 1 + 4. Are u and t nonequal?
True
Let k be (-15)/((-20)/(-4)) + 34/10. Suppose 3*j - 4*j = -3*m + 11, -5*m = -4*j - 30. Let c be m/(-1) + (-3)/(-1). Is k equal to c?
False
Let s = 330 + -7261/22. Which is smaller: s or -1?
-1
Let a = -0.08 + 4.08. Let t = a - 3.5. Are t and 1 non-equal?
True
Let h be (-434372)/(-424) - (-6)/4. Let b = -1026 + h. Which is bigger: -1 or b?
b
Let p = 0 + 4. Suppose 3*h + 13 = 5*w, p*w + 2*h - 9 = 3*h. Suppose 3*m - m - w = 0. Which is smaller: m or 2?
m
Let m = -11585/33 + 351. Are m and 2/5 equal?
False
Let o be 3/(-5) - ((-4)/(-5) + 0). Let z be 3*2/(-3) - -1. Which is bigger: o or z?
z
Suppose -14 = -z + 5*y, 4*y + 4 = -4. Is z <= 8?
True
Let f = -1/22 - -47/66. Is f less than 73?
True
Let j be 0 - (2 - -2)/(-1). Suppose -b - 5 = j*b. Is 1/8 at least b?
True
Let w = 1 - 1. Let v = 59/52 - 18/13. Which is smaller: v or w?
v
Let z be 2/8 + (-1)/4. Let w = -799/4 + 201. Which is bigger: w or z?
w
Let q(n) = -n - 6*n + 2*n. Let p be q(-2). Suppose 2*z - 4*g + 24 = -2*z, -p = -5*z - 5*g. Which is smaller: z or -3?
-3
Let a be ((-3)/4)/((-4)/16). Let r be -6*1*a/(-6). Suppose w = -0*w + 3*i - 10, r*w + 5*i = 12. Is w != -1/5?
True
Let d be -3 - (-3 + 190/2). Let v = 183/2 + d. Is -4 smaller than v?
True
Suppose 0 = -3*f - 4*l - 14, -4*f - 13 = 5*l + 5. Which is smaller: f or -3?
-3
Suppose -30 = -3*i + 5*i. Let s = 17 + i. Is s >= 1?
True
Let b = -107/5 + 21. Let c = -8 + 11. Suppose 3*q = c*k - 12, -k - 5*q - 17 = -3*k. Are b and k non-equal?
True
Let v = -7 + 18. Which is bigger: v or 12?
12
Let x be (8/10)/(84/(-20)). Which is bigger: 0 or x?
0
Suppose -6*t = -2*t - 40. Let i = 20 - t. Let g be 4/i - 2/5. Which is smaller: -1 or g?
-1
Let w = 44 - 14.8. Let a = -33 + w. Let b = -0.8 - a. Which is smaller: -1 or b?
-1
Let v(x) = x**2 - 3*x - 7. Let k be v(5). Let a(l) = 0*l**3 + 8*l**2 - 7*l - 6*l**2 - 5 - l**k + 6*l**2. Let m be a(7). Is m at least -5?
True
Let l = -18.7 - -19. Which is smaller: 1 or l?
l
Let s = 43 - 59. Which is smaller: -15 or s?
s
Let y = 20 + -36. Let m = 16.4 + y. Which is greater: m or -3?
m
Let b be (-2)/4*(0 + 2). Which is smaller: b or 2/11?
b
Suppose -s - l - 70 = -2*l, l = 5*s + 346. Let f = s + 209/3. Do 2/9 and f have different values?
True
Let l = 8 + -5. Let p = -1 - -3. Which is smaller: l or p?
p
Let s = -0.1 + 0.1. Which is smaller: 7 or s?
s
Let j = -6 - -10. Suppose 3*b - 11 = -i, 1 = -3*b - 3*i + j. Suppose -7*v + 2*v - b = 0. Which is smaller: v or 0?
v
Let v = 10 + -8. Suppose 2*p + 0 = v. Which is bigger: p or 0?
p
Let f = 109 - 113. Which is smaller: -2 or f?
f
Let a = -165 + 1813/11. Suppose -3*b + b + 12 = 0. Let s be (-6)/(-9)*b/4. Is a bigger than s?
False
Suppose 0 - 51 = 3*h. Let n = 12 + h. Which is smaller: n or -6?
-6
Suppose -18 = -5*b + 23*b. Let k = 1 + 0. Is b not equal to k?
True
Let x(b) = b**3 + 4*b**2 - 2*b - 4. Let n be x(-4). Suppose -3*s - 7 = -4*p, 2*s + n = 4*p + 2. Let z be p/9 + 12/18. Which is smaller: -1 or z?
-1
Let x = -0.259 + -11.741. Let o be (0 - 2/(-1))/2. Is o > x?
True
Let z(n) = 5*n - 3. Let j be z(4). Let o = 16 - j. Which is bigger: 1/4 or o?
1/4
Let o = -4.6 - -0.6. Let p = o - -2. Let f = -13.6 + 10.6. Is f less than p?
True
Let f = 28 - 28.06. Let l = -1.2 + 1.09. Let k = l - f. Is 0.1 at least as big as k?
True
Let w = 16 - 12. Suppose r - 5*v = -15, -60 = w*r - 3*v + v. Is r bigger than -15?
False
Let o = -8 + 5. Let k(n) = n**3 + 7*n**2 + 3. Let v be k(-7). Suppose 2*b + v*b + 15 = 0. Is o not equal to b?
False
Suppose 5*b - 25 = -0*b - 2*x, -4*b - 4*x + 32 = 0. Are -4 and b nonequal?
True
Let f(g) = -7*g - 21. Let o be f(-4). Let t be (3 - 1)/((-1)/(-3)). Which is bigger: o or t?
o
Let t = -6 - -9. Is 12/7 less than or equal to t?
True
Let n = 160 + -1277/8. Let q = 4 - 13. Let a = 9 + q. Is n at least as big as a?
True
Let q = 2 + -3. Let k be (-45)/(-21) - (-6)/(-2). Which is bigger: k or q?
k
Let z = 0.3 - -8.7. Let x = z - 10. Which is smaller: x or 2?
x
Let a = 23563/5 - 100047/20. Let y = -293 - a. Which is greater: -0.1 or y?
-0.1
Let b = -1.9 + 2. Let r = -23.7 - -24. Which is greater: r or b?
r
Let g be (-2)/(-9) - 34/180. Is -1 >= g?
False
Suppose 3 - 1 = -p. Let f(l) = l**2 + 5*l - 4. Let c be f(-6). Which is bigger: p or c?
c
Let g(s) = -s**2 - 4*s + 5. Let u be g(-5). Suppose u = 4*z + z. Let b = -13/56 - 1/7. Which is smaller: z or b?
b
Let d(j) be the third derivative of j**4/24 - j**3/6 + j**2. Let o be d(2). Suppose 3*x + 7 = -q, -q + 2*x + 4 - o = 0. Is -1/10 <= q?
False
Let k(z) = -5*z. Let v be k(1). Suppose -3*g - 12 = 4*y, -g + 4*g + 18 = -5*y. Which is greater: v or y?
v
Let x(k) = -k**2 - k. Let d(g) = -g**3 - 4*g**2 - g. Let l(b) = d(b) - 2*x(b). Let s be l(-2). Let a be 4/s + 4 + -1. Is 0 smaller than a?
True
Let p = -349591/11615 - -3162/101. Let q = p + -60/23. Which is bigger: 0 or q?
0
Suppose -6 = -7*m - 13. Let x be (2 + 2)*2/228. Which is smaller: m or x?
m
Let c = -64 - -65. Which is bigger: 7/11 or c?
c
Let k be (28/105)/((-4)/410). Let r = k + 26. Which is greater: -2 or r?
r
Let w = 16 + -15.2. Let q = 0.8 - w. Which is greater: q or 0.2?
0.2
Let s be (4 - -2)*(-5)/15. Let x be (-16)/(-2 - 6/s). Which is smaller: x or -15?
x
Let s = 2 + 0. Let n = 4 - s. Is 0.1 bigger than n?
False
Suppose 3*u + 5*i = -0*u - 12, -3*u + 4*i = -15. Are u and -1/4 unequal?
True
Suppose -12*u - 2 = -10*u. Let v be (-2)/1 + 7984/38. Let k = 208 - v. Is u at least as big as k?
False
Let z = -11 - -21. Let n = 16 - z. Is n not equal to -0.1?
True
Let o be (-8)/3*(-9)/66. Which is smaller: 0 or o?
0
Let f be -14 + 2*3/(-21). Let b = -14 - f. Let l = -0.3 - 0.7. Which is smaller: b or l?
l
Suppose 4*o + 8 = -0, -5*o = 4*k - 2. Is 3 greater than k?
False
Let j = -96 - -73. Are j and -26 unequal?
True
Suppose -19 = 3*h - 1. Let f = h + 8. Suppose -7 - 3 = -f*z. Is 4 greater than or equal to z?
False
Let b = 31/60 - -3/20. Let l(s) = -s + 2. Let p be l(2). Suppose -2*d - d = p. Which is smaller: b or d?
d
Let g(a) = -a**3 + 13*a**2 + 13*a + 16. Let m be g(14). Suppose -w + 2*o = -3*o + 22, 3*o - 18 = 3*w. Which is bigger: m or w?
m
Let z(r) = -r**3 - 7*r**2 - 7*r - 4. Let v be z(-6). Suppose 3*l - 9 = -0*l. Which is smaller: v or l?
v
Let u(q) = -2*q - 6. Let s be u(-5). Suppose s*t - 3*t = 0. Let y = 6/7 + -17/28. Is y != t?
True
Let y be (-28)/(-2)*(-2)/(-4). Let s = 1 + 7. Suppose -3*w + s = -y*w. Is -2 at least as big as w?
True
Suppose 5*c - 15 - 30 = 0. Which is smaller: 12 or c?
c
Suppose -4*u + 50 = 3*m - 0*u, -2*m + 3*u = -39. Which is greater: m or 17?
m
Let s = 33 + -40.9. Let x = -8 - s. Let l be (-52)/(-25) + 0 + -2. Which is smaller: l or x?
x
Le