hich is smaller: 5/2 or y?
5/2
Let l(m) = -m**3 + 4*m**2 - 5*m. Let u be l(4). Which is smaller: -19 or u?
u
Suppose -4*v - 28 = -j, 9 + 35 = -4*v + 5*j. Let r be (1/v)/(24/64). Is -1 > r?
False
Let l(s) = -s - 6. Let b be l(0). Suppose -73 + 63 = 2*o. Are o and b nonequal?
True
Let l be (-1)/(-2) - (-2)/(-4). Let n be (1 + 99/(-105))/((-2)/10). Which is smaller: n or l?
n
Let t = -9 + 5. Is t at most as big as -5?
False
Suppose -6*o + 3*c = -3*o + 3, -3*o + 5 = c. Let u be 5/((-5)/(-2)) + o. Which is smaller: u or 1?
1
Let p be 3*(4 - (-118)/(-30)). Which is bigger: -1 or p?
p
Suppose 3*i = -5*w - 7 + 25, 0 = 2*w. Suppose -i = -m - m. Is m bigger than 4?
False
Let u = -69 - -57. Which is smaller: -10 or u?
u
Let u(c) be the third derivative of c**6/120 + c**5/15 + c**4/8 + 3*c**2. Let k be u(-2). Is k greater than 1?
True
Let x = -40 - -41. Which is bigger: -6/29 or x?
x
Let q = 110 - 768/7. Let c(w) = -w**3 - 25*w**2 - 45*w + 23. Let x be c(-23). Is x <= q?
True
Let g be (-6)/36 + (-14)/270. Let x = -1/54 - g. Which is smaller: x or -0.3?
-0.3
Let u be 249/333 - (-2)/(-3). Which is greater: -1 or u?
u
Let y = 5.6 + -6. Let k be (-3)/5 - (-1)/5. Is y less than k?
False
Suppose -15 = 5*f + o, -4*f - 5 = f - o. Let p be f/12 - 2/60. Suppose -2*q + 6*q - 4 = 0. Do p and q have different values?
True
Suppose 0*n = 3*n + 6, -5*j + n = 3. Let d = 20 + -98/5. Is d greater than or equal to j?
True
Suppose 2 = u - 2*u. Suppose 2*a - 1 = 3*a. Which is smaller: a or u?
u
Let x be 2/1*3/2. Which is smaller: 6 or x?
x
Let b = -33 - -32. Which is greater: -2/3 or b?
-2/3
Let t be (-33)/(-102) + 10/(-30). Is 1 bigger than t?
True
Let z = -1 - -1. Let x = 7 - 2. Which is greater: z or x?
x
Let k be ((-12)/(-144))/((-33)/(-61)). Let s = k - -3/44. Which is greater: s or -2?
s
Let t = 11 - 5. Let g = 5 - t. Let a = 4524/55 - 414/5. Does g = a?
False
Let r = 11 + -10. Which is bigger: 1/18 or r?
r
Suppose m - 2*m = -6. Let g be ((-6)/27)/(2/m). Are -1 and g nonequal?
True
Suppose 2*g + 9*g = 0. Which is bigger: g or -1/58?
g
Suppose 4*i + 8 = 5*c - 3*c, i - 4 = -c. Let y = -2 - 1. Let p = y + c. Is 2 >= p?
True
Let i(f) = f**2 - 5*f - 6. Let h be i(6). Suppose 0 = 3*m - t, 0*t + t = h. Which is greater: m or -4?
m
Let g be (0 - (-84)/8)*(-4)/6. Is g bigger than -5?
False
Let a(o) be the second derivative of o**4/12 - 2*o**3/3 - o**2/2 - 3*o. Suppose 0 = 5*z + 6 - 21. Let t be a(z). Which is smaller: -3 or t?
t
Suppose 9 = 5*d - 1. Let i = 4 + 7. Let g = -10.8 + i. Is d at most as big as g?
False
Suppose 44 = -3*z + 8. Does z = -10?
False
Suppose 0 = 2*x - 4*x - 256. Let z be 2/9 + x/(-144). Is z at most as big as 1?
False
Suppose 0 = 3*a + 2 - 8. Let h(k) = -k**2 - 6*k - 5. Let c be h(-4). Let b = c - a. Which is bigger: -2/13 or b?
b
Let r = 3469/3124 + -47/44. Which is smaller: -1 or r?
-1
Let f = 6 - 1. Let h = f + -6. Let w = -0.3 + 1.3. Is w bigger than h?
True
Let q = 129 - 394/3. Suppose 0 + 4 = -4*s. Which is greater: q or s?
s
Let c(m) = -m**3 - 9*m**2 - 16*m + 5. Let o be c(-7). Which is bigger: 21 or o?
21
Let a be (-54)/2*(-1)/3. Suppose z + 4*z + h = 8, -a = -3*h. Do 0.1 and z have different values?
True
Let z(i) = 3*i - 34. Let k be z(11). Which is bigger: k or -7?
k
Let i = -943/21 - -45. Let w(f) = -f**3 - 2*f**2 - 1. Let y be w(-2). Which is greater: i or y?
i
Let b = 5 - 5.4. Let n = b - -0.3. Let i be (3/4)/((-3)/2). Do n and i have the same value?
False
Let u = 27 - 27. Is u less than 19?
True
Suppose -n + 4 = -3*n. Let v be 1/(33/15 + n). Is 3 smaller than v?
True
Let u = -20 + 11. Is u less than -8?
True
Let y = 6 + -13. Let g = y - -6.9. Is -0.7 <= g?
True
Let y = 41/68 + -6/17. Which is smaller: y or -1.3?
-1.3
Let n(j) = -2*j + 5. Let v(q) = -q + 1. Let y(a) = n(a) - 3*v(a). Let i be y(-5). Which is greater: i or -1?
-1
Let w = 1 - -1. Let l be (13/6)/(-1) - 6/(-9). Is w bigger than l?
True
Let k be 1 + (-18)/(2 - 0). Let r = k + 5. Is r >= -3?
True
Let m = 14.4 + -6.7. Let h = 1.3 + m. Let w = 8.9 - h. Is 2/15 less than w?
False
Suppose -195 = -5*d + 5*p, 2*d - 74 = p - 0. Is 35 > d?
False
Let m(p) = -p + 5. Let x be m(2). Which is smaller: 9/4 or x?
9/4
Let y(k) = -k**3 + 18*k**2 + 42*k - 41. Let u be y(20). Let p be 1/((-2 - 0)*2). Is p > u?
True
Let d = -20/343 + 96563/3087. Let w = -97/3 + d. Is w < -1?
True
Let m be ((-8)/3)/4 + (-98)/(-3). Is 2 greater than or equal to m?
False
Suppose x = -2*y + 4, -y - 2 = -4*x - 4. Suppose 0*o - 2*o = x. Let c be 0*(-2)/(-6) + 0. Is o >= c?
True
Let s be 474/1287 - (-2)/(-6). Let n = s - 74977/1287. Let o = n + 58. Is 1 at most as big as o?
False
Let i = 0.43 + 17.57. Let c = i - 23. Is c less than or equal to 0?
True
Suppose 2*h - 44 = -2*h. Which is smaller: 1 or h?
1
Suppose -4*x + 0*x = 4. Suppose 5*y = 4*p - 14, 2*y = 4*y - 5*p + 9. Let k be (-3)/y*4/48. Is k at most as big as x?
False
Suppose 2*n + 0*n + d - 2 = 0, -2*d = -4*n + 4. Which is greater: 2 or n?
2
Let o = 6 + -2. Let m = o + -1. Let u be 1*m/(-2 + 5). Which is smaller: 2 or u?
u
Let l be 2/(-1) - -3*1. Suppose -2 = -3*c + l. Let t be -3 + ((-26)/(-10) - -1). Do c and t have the same value?
False
Let c = 42 - 41.8. Let n = -0.2 - 0.3. Let f = -0.8 - n. Is f less than c?
True
Let m be 2 - (19 - (5 - 1)). Let l = -28 - m. Is 0.1 greater than l?
True
Suppose 105 = 4*o - 123. Let l = -287/5 + o. Is l <= -2?
False
Let k(s) = s**2 - s. Let l = -3 - -3. Let h be k(l). Does -1/6 = h?
False
Suppose -3*j + 29 = -5*z, 5*j + z - 12 + 1 = 0. Let u(d) = -d**3 + 2*d**2 + 4*d - 2. Let g be u(j). Which is smaller: 0 or g?
0
Suppose 3*d - 3 + 5 = -4*z, 0 = -5*d + 2*z - 38. Let x be 2/d + (-13)/(-12). Let w = -30 - -121/4. Which is smaller: w or x?
w
Let d(n) = -24*n. Let y be d(-1). Suppose 0 = -b - 3*b + y. Which is smaller: 5 or b?
5
Suppose -4*z - 25 = -2*s - 9, -5*s - 10 = 0. Let c = z + 4. Is -1 < c?
False
Let o = -6.3 + 8.3. Is -14 greater than o?
False
Let r = 8 - 19. Let h = r - -10. Which is bigger: h or 2/19?
2/19
Let m(u) = -3*u**2 + 7*u + 9. Let r be m(-6). Let c = 567/4 + r. Let z = 13 + -11. Which is greater: z or c?
z
Let f be 0/1 - (-1 + -1). Suppose 4*m - 6*b = -f*b - 60, 5*m = 4*b - 71. Is m less than or equal to -11?
True
Suppose -2*c - 2*c = -8. Suppose 6 = -n - c*n. Is n <= 2?
True
Suppose 4*f = -2*n - 8, 2*f - 5*n = -2*f + 20. Is 6/13 < f?
False
Let c = -298/9 - -33. Let z = -245/531 + 1/59. Let s = c - z. Which is smaller: s or 0?
0
Let h be 6*(-2 + 0 + 0). Is h at most -14?
False
Suppose 3*t - 3*y = t - 25, -4*y + 45 = -5*t. Let h be (75/(-18))/t + -1. Is h greater than 1/2?
False
Suppose -3*i + 4 = q, 4*i = -4*q - 8 - 0. Suppose -2*g - 11 = -i*b, 12 = -2*g + 7*b - 3*b. Is g smaller than -5?
False
Suppose -9 = -5*l + 91. Suppose -4*a = a - l. Let r = 4 - a. Which is smaller: r or 4/9?
r
Let p = 116 - 100. Which is smaller: p or -1?
-1
Let q = 0.5 - 0.5. Let h = q + -0.1. Suppose 0 = -3*z + z - 6. Which is smaller: h or z?
z
Suppose 3*s - 10 = -1. Let c be 2 - -2*s/(-6). Which is bigger: c or 2/5?
c
Let g be (-3)/4 + 21/(-4). Let s be 54/(-4) - g/4. Let u be 4/s + 11/15. Which is smaller: u or 1?
u
Suppose g = -4*g + 10. Suppose g*p - 8 = -0*p. Suppose -3*x - 7 - 8 = 0, -5*y + 45 = -p*x. Which is bigger: 6 or y?
6
Let u = -0.01 + -1.99. Is u less than or equal to 4?
True
Let n = 21 + -37. Is -16 <= n?
True
Suppose -m - g - 1 = 34, -5*g - 55 = 2*m. Let y be (-3)/(-4) + 62/m. Which is bigger: y or -2?
y
Let s be 56/2*(-3 + 2). Is -28 smaller than s?
False
Let f = 300/7 + -1696/35. Let t(j) = -j - 11. Let p be t(-5). Let k = p - f. Is k less than -1?
False
Let a = -3/67 - -478/201. Suppose -3*i + 4 = 3*u - 4*u, -i = -4*u + 17. Let v be i/2*8/6. Does v = a?
False
Let c = -8569/72 + 119. Which is greater: c or 0?
0
Let d be 0/((2 - 0)*-1). Let j = 1/77 - 544/385. Which is smaller: d or j?
j
Let s(i) = i**2 - 3*i + 1. Let b be s(3). Let d = 0 - -14. Let r = d - 12. Are b and r equal?
False
Let x be (-3 - (-852)/(-56)) + (-6)/21. Is -19 at most as big as x?
True
Let j be (-2688)/(-595) + -4 + 4/(-10). Suppose p - 4*d = -3*d + 1, 2 = 2*p - 5*d. Which is bigger: j or p?
p
Let p be (4 - 1) + 19/(-7). Which is smaller: 25 or p?
p
Let k(f) = -4*f - 1. Let i be k(-1). Suppose 5 = v + 2*z, 10 = 2*v + i*z - 2*z. Let o be v - (1 + 0