 bigger: p or y?
y
Suppose 0*f = 4*f. Let a(m) = -m + 4. Let j be a(f). Suppose -j*k - 4 = -0*k. Is 1/4 smaller than k?
False
Suppose 4*a = 3*a + 3. Let w = -2 + 3. Is w less than or equal to a?
True
Suppose 2*j - 26 - 12 = 0. Is 21 > j?
True
Let z be ((-18)/33*(-4)/6)/(-2). Let o = 8 + -5. Suppose 2 = o*l - 2*l. Which is bigger: l or z?
l
Let s = 0.4 - -0.6. Let l = 3 - s. Is l less than or equal to 2?
True
Suppose -5 = -2*w - 29. Which is greater: w or -13?
w
Suppose 5*l + 12 = 8*l. Suppose 0 = -5*z + z. Suppose z*x + x - l = 0. Which is bigger: x or 3?
x
Suppose -r - 4*r = 4*a - 20, 5*a = r + 25. Let q be (r + 0)/(-12 - -11). Is q > 1/8?
False
Let p = -7 + 2. Let y be 0 - p - (-1 + 2). Is y greater than 5?
False
Let w = 5/3 + -41/21. Is 4 greater than or equal to w?
True
Let l = 16 - 15. Let a = -571/4 + 144. Which is smaller: a or l?
l
Suppose -25 = -4*i - o, 0 = -o - 2 + 3. Let t be 2 - -4*i/(-8). Are t and -3/7 nonequal?
True
Suppose 2*j - 5 = -q - 4, -2*j - 2*q = 2. Suppose 7*s - j*s = 0. Let g = s + -2. Is -2 at most as big as g?
True
Let k = 0.06 + 0.94. Which is smaller: 18 or k?
k
Suppose 12 = 4*g + c - 6*c, 0 = -2*g + c. Let o be 35/(-14)*(-36)/(-10). Let a be (-3 - o/3)/g. Are -3/4 and a non-equal?
True
Let s(w) = -w + 2. Let j be s(0). Suppose -i = j*i. Is -1 equal to i?
False
Suppose -4*g + 5 = g. Which is smaller: g or 2/69?
2/69
Suppose -3*q - 25 = 2*q. Are -6 and q equal?
False
Suppose 21 = 4*n + 1. Let r = n - 3. Let w be (4/(-6))/((-16)/12). Which is bigger: w or r?
r
Suppose 23 - 83 = -6*h. Is 3 at least h?
False
Suppose 0 = -z - d + 7, 5*z + 2*d + 0*d = 23. Which is smaller: 3/2 or z?
3/2
Let b(u) = u**3 - u + 80. Let w be b(0). Let c be 2/5 + w/(-75). Which is bigger: 0 or c?
0
Let f(x) = -x + 2. Let l be f(2). Suppose -5*p + 17 - 7 = 0, 2*r - 2*p - 4 = l. Suppose -3*z = -5*z + r. Does 1 = z?
False
Suppose 4*f - 60 = 60. Let y be f/4 - 1/(-2). Which is bigger: 7 or y?
y
Suppose 2 = 2*z - 2. Suppose 0 = -t - z*t. Suppose 4*c - 28 = 5*w, 0*w - w - 14 = -5*c. Which is bigger: c or t?
c
Let h = -1981/18 + 110. Which is bigger: 1 or h?
1
Let o = 2 - 3. Let q = -242/3 + 1021/15. Let f = -383/30 - q. Is f at most as big as o?
False
Let c(l) = 3*l**2 - 1. Let s be c(1). Let d = s + -1. Which is smaller: -2/27 or d?
-2/27
Suppose -48 = 3*w + 15. Which is smaller: w or -22?
-22
Let p = -17/133 - 2/133. Suppose 2*d + t + 1 = 2*t, 0 = -d - 5*t + 16. Which is smaller: p or d?
p
Suppose -3*d + 18 - 6 = 0. Suppose -5*f = 4*y, -3*f = y - d*f. Which is smaller: y or -2/3?
-2/3
Suppose -2 = 2*l + v, -2*l - 21 = l - 3*v. Let f be -1*(l/3 + 0). Which is bigger: -1/12 or f?
f
Let u = -34 - -29. Which is smaller: -16/3 or u?
-16/3
Let j = 12 + -82/7. Is j > 5?
False
Suppose 4*h - f + 22 = 2*h, 0 = -5*h - 5*f - 55. Which is bigger: -10 or h?
-10
Let d = 0.93 + 0.07. Suppose 3*s + 4 = 5*b, 3*s + 0 = 2*b + 2. Is d >= s?
False
Let w = -42 - -43. Are w and 5/7 non-equal?
True
Let p = -98 - -69. Which is greater: -28 or p?
-28
Let x = 3/2 - 2. Let w = 57 - 53. Which is greater: x or w?
w
Suppose 4*t = -2*q, 5*q - 3*t = 6*q - 5. Is q < -2?
True
Let h(s) = -s**3 + 4*s**2 + 6*s - 6. Suppose 4*k = 10 + 10. Let n be h(k). Let d = -11 - -8. Which is bigger: n or d?
n
Suppose -4 = -4*x + 4*o, -3*o + 4 = o. Let s be ((-16)/x)/(2 + -4). Which is smaller: s or 7?
s
Let z = -4 + 3.83. Which is greater: -2/3 or z?
z
Let k = 2.3 + -0.3. Let p = -1.6 - -1.1. Is k at most p?
False
Let c be 8/60 + 4/6. Let i be ((-1)/(-3))/(4/12). Which is smaller: i or c?
c
Let h be ((-9)/(-11))/(9/(-6)). Is h >= -3/7?
False
Suppose 2*i + 12 = 6*i. Let k(c) = -i - 2 - 4 - c + 5. Let r be k(-4). Which is smaller: 2/9 or r?
r
Let d = -9.137 - -0.037. Let y = d + 9. Is 1/9 at most as big as y?
False
Let d be (-509)/15 - 2/5. Let v = d + 34. Which is greater: v or 1?
1
Let w be 14/(-28) + 1/2. Which is greater: -32/5 or w?
w
Suppose -z + 25 = 4*z. Let b = 7 - z. Which is greater: 1/2 or b?
b
Suppose g + l = 1 + 6, 0 = 4*l - 4. Suppose g*s = s. Is s at least 0.3?
False
Suppose 3*p = -4*k + 6 + 19, 5*k = 2*p + 14. Let x be k/(-15)*9/6. Let r = 0 + 0. Is x bigger than r?
False
Let q(s) = s**2 - 4*s + 3. Let p be q(3). Suppose -u + p - 2 = 0. Is u < -1/2?
True
Let c = -0.06 - -0.56. Is c <= 8?
True
Let q be 144/(-32)*(-1)/3. Let y(z) = -z - 2. Let r be y(-4). Are q and r unequal?
True
Let f = 7 - 6. Let n = -0.1 - -0.5. Let k = -0.5 + n. Which is bigger: k or f?
f
Let m be (10 - 1) + 0 + 2. Suppose -2*h = m - 1. Which is smaller: -4 or h?
h
Let r(d) = -d - 7. Let o be r(5). Is o != -6?
True
Let v(t) = t**2 - 4*t + 2. Let n = 4 + -1. Let s be v(n). Which is smaller: s or -2/11?
s
Let y(u) = -3*u + 1. Let l be y(1). Let h = -2 + 0. Let p = h - -3. Is p at most l?
False
Let t = -203 + 178. Is t less than -24?
True
Suppose -5*x = -0*x - 25. Suppose x*y + 5*n + 15 = 0, -y = 4*y + 2*n + 9. Let b = 8 - 8.3. Is y bigger than b?
False
Suppose -144 - 21 = 5*b. Let u = b - -98/3. Is u equal to -3?
False
Let c(t) = t**2 - 5*t - 2. Let h be c(-1). Which is greater: h or 23/5?
23/5
Let y = -8 - -10. Let m(b) = -b**3 + b**2 + b - 1. Let r be m(y). Let i(d) = d**3 - 2*d + 1. Let c be i(-2). Is r bigger than c?
False
Suppose -3*y - 38 = 19. Is y greater than or equal to -18?
False
Let z = 0.9 - -0.1. Suppose 23 - 5 = 5*l + b, 4*b + 8 = 0. Let j be (-1)/(-3)*(-3)/l. Which is smaller: z or j?
j
Suppose h + 3 = 0, -3*w - 3*h + 8*h = -15. Suppose -t + 3 = w, 2*i - 1 = t - 0. Which is smaller: 2/3 or i?
2/3
Suppose 3*t + 404 = 296. Is -37 less than t?
True
Let y = 0 - 0. Let j = -1/20 - -7/20. Does y = j?
False
Let d be 2/(-3) - (-9712)/360. Let b = 238/9 - d. Which is smaller: b or -1?
-1
Let j be (-1)/5*(-4)/(-4). Let q = -16 + 17. Which is greater: q or j?
q
Let d = 0.31 - 0.11. Let l = 0 + 0.2. Is l at most as big as d?
True
Let p(w) = -w**3 + 3*w**2 - 3*w + 3. Let f be p(3). Suppose 0 = -4*z - 16. Which is bigger: f or z?
z
Let h = -42 + 34.2. Let c = h + 8. Which is smaller: 0 or c?
0
Let v = 3 - 2. Let b = -101/5 - -20. Is b >= v?
False
Suppose 0*l = l - 3. Are 3 and l nonequal?
False
Let j = 0.4 - 0.22. Let q = j + -0.08. Do 6 and q have the same value?
False
Let u = 6 - 5. Let a be (-8)/(-70) - 6/(-21). Which is greater: u or a?
u
Let w = -2/9 + 47/90. Which is smaller: 1/4 or w?
1/4
Let n(h) = -3*h + 7 + 0*h - 4. Let o be n(2). Which is smaller: o or -1?
o
Suppose 12*y - 8*y - 4 = 0. Let o = 1020/23 - 44. Let q = o + 29/115. Is y less than q?
False
Let m(i) = -2*i + 7. Let s be m(9). Is -11 bigger than s?
False
Let w be (-9)/(9/3) - -7. Suppose 2*p + 14 = -5*q, w*p + 5 = 17. Which is smaller: -1 or q?
q
Suppose 0 = -r + 5*r + 4. Let z be 2/(-3) + (-2)/6. Let o = z - r. Is 0 < o?
False
Suppose -5*z = 5*s - 56 - 59, 5*z = 3*s + 91. Suppose -4 = -3*v + z. Let p be (4/6)/(v/36). Is p <= 3?
True
Suppose 21 = -4*w - 11. Let m = -0.7 + 1.7. Is w not equal to m?
True
Let p = -21.5 - -20.41. Let o = p - -0.09. Does -1 = o?
True
Let j(z) = -z**2 + 11*z - 19. Let w be j(8). Suppose f + 4*k + 1 = -7, 0 = k. Let i = w + f. Is -3 at least i?
True
Let i = -143 - -712/5. Which is smaller: -1 or i?
-1
Let a = -14 + 10. Let p(l) = l - 8. Let q be p(8). Let c be (-2 + 6)/(q - 1). Is a < c?
False
Let a = -6.3 - -1.3. Let u = -6 - a. Is -0.2 at most as big as u?
False
Suppose -4*k + k - 99 = 0. Is -0.1 less than k?
False
Let u = -15 - -14.4. Let l = -0.5 - u. Which is smaller: -0.2 or l?
-0.2
Let i = -49 + 43. Which is bigger: i or -4?
-4
Let h be (-1200)/(-153)*(-138)/(-28). Let n = h + 834/17. Let t = n + -88. Is t at most 4?
True
Let t be ((-4)/(-14) - 28/(-245))*10. Suppose -2*g = l - 2, -2*g + 0 = 2*l - 2. Is g < t?
True
Let x = 5 + -4.97. Let b = 0.42 - -0.55. Let z = b + x. Which is greater: z or -2?
z
Let z(l) = 2*l - 8. Let h be z(6). Suppose 2*b = -2*r, -2*r + 5 = -h*b - r. Let s(x) = -x**2 + 1. Let f be s(b). Which is bigger: 3/4 or f?
3/4
Let q be 5/(-4) + (-2)/(-8). Which is smaller: 2/9 or q?
q
Suppose -3*t = 2*t + 20. Let k be (-2)/t*(-10)/5. Let a = 40/117 + -3/13. Which is greater: k or a?
a
Suppose -5*b + n + 2 = -0, -5*b = 5*n + 10. Suppose a - 4*a + 15 = b. Let p be (2/6)/(a/(-3)). Which is smaller: 1 or p?
p
Let j(y) be the third derivative of -y**4/24 + y**3 + 2*y**2. Let k be j(7). Which is g