5224. Let o = 3/26 - l. Is u bigger than o?
False
Suppose -3*a + 3*b - 41 - 115 = 0, -a = -4*b + 64. Let g = a - -193/4. Which is smaller: 0.1 or g?
0.1
Let f = -1 - -1. Suppose -2*b + 5*b + 3 = 0. Is f at least b?
True
Suppose 2*f = -42 + 16. Which is bigger: f or -12?
-12
Suppose -5*z = -3*z - 6. Suppose -z*p + 12 = -0*p. Let j be (8 - 9)/(-2*(-1)/(-10)). Is j smaller than p?
False
Suppose -23 = a - 9. Is a at most as big as -14?
True
Let u be 6/(-9)*162/(-4). Suppose -u = -3*x + 9. Is x greater than or equal to 13?
False
Let u = -30785/43 - -716. Does 1 = u?
False
Let a = -70 - -71.4. Which is bigger: a or -2?
a
Let u be (2 + -1)/(1/5). Are u and -2 unequal?
True
Let w(z) = z + 3. Let q be w(-3). Suppose q = 4*k - 0 + 4. Let f(p) = p**3. Let j be f(k). Which is smaller: j or 1?
j
Let o be 8/114*((-441)/70 + 6). Which is smaller: -1 or o?
-1
Let n = -192 + 100. Let k be (2/n)/(6/12). Is 0 less than or equal to k?
False
Let u = -121/7 - -17. Let j be (2 + -3 - -2) + -2. Let b be j/((-2)/(-4)) + 1. Which is smaller: u or b?
b
Suppose -t + 8 = -4*v, 2*t + 10*v = 5*v - 10. Suppose t*j + j = 3. Let u be 0 - ((-6)/2)/j. Is -1/9 >= u?
False
Let c = 213 - 5095/24. Let o = 185/4 + -367/8. Let l = c - o. Is 0 greater than l?
False
Let b = -262 + 8124/31. Is b < -1?
False
Let r be 8/12*(-6)/(-4). Suppose r = 6*l - 5*l. Is l greater than -0.03?
True
Let f(u) be the third derivative of -u**4/24 - u**3/6 + 2*u**2. Let a be f(4). Let v = 4 + a. Which is greater: 0.1 or v?
0.1
Let s(q) = -q + 4. Let l be s(-3). Suppose l*v + 3 = 4*v. Is v bigger than -6/13?
False
Let z(o) = -2*o**2 - 7*o - 2. Let r be z(-3). Does r = 2/49?
False
Let l be (-50)/(-460) + (-1)/10. Which is smaller: l or 1?
l
Let f be (36/10)/(20/50). Which is greater: f or 7?
f
Let l be (-52)/(-176) - 1/(-4). Let z be (-4)/10 - (-6)/15. Which is greater: l or z?
l
Let u be (-62)/(-25) + 30/(-15). Which is smaller: u or -1?
-1
Suppose 5*o - 4*d = 7, -3*o = -3*d - 3 - 3. Let f = -37 + 37. Which is smaller: o or f?
o
Let l be (-12)/(-8)*(-4)/(-6). Let a = -1 - 3. Let m = a - -4. Which is bigger: m or l?
l
Let s be 0 + 1 - 3/4. Let j = -21.3 + 22. Is s < j?
True
Suppose 3*k - 2*k = -1. Let o(r) = 2*r - 6. Let q be o(7). Let z = q + -9. Do z and k have different values?
False
Let b = 73/2 + -36. Which is bigger: b or 3?
3
Let k = 3 - 10. Is k <= -2?
True
Let m be 0 + 6 + (-2 - 0). Suppose -m*l = -3*l + 10. Do l and -10 have the same value?
True
Suppose -6*u = -8*u - 10. Which is smaller: u or -4?
u
Let b be (6/(-1))/(-3*1 - -1). Suppose -4*s + 21 = -v, 4*s = 3*v - 7*v - 4. Which is smaller: s or b?
b
Let j = -26.47 - -0.47. Let p = 26.1 + j. Is p less than or equal to -2/11?
False
Let a = -19 + 56/3. Let b(l) = -l**2 - 9*l - 19. Let t be b(-5). Is a greater than t?
False
Suppose 44 = 3*y + y. Is y less than or equal to 11?
True
Let b = 0.123 - 0.023. Which is smaller: b or -34?
-34
Let p = -457/13 + 35. Which is smaller: p or -1?
-1
Suppose 30 = -5*m + 10. Suppose 2*l + 4 = -2*s, 3*s = s + 5*l - 11. Is s at least as big as m?
True
Let b be ((7/(-4))/(-1))/(1/4). Let x be ((-1)/1)/((-1)/7). Is x at least b?
True
Let q be ((-374)/(-171) - 2) + (-16)/72. Let s = 0 - 0. Is s <= q?
False
Let l = -15 + 24. Suppose 0*y + 40 = 5*y. Are y and l equal?
False
Let x = -111 - -115.08. Let b = x + -4. Is b less than or equal to 0?
False
Let n = -0.05 - -0.02. Let k = -1.97 + n. Let p = k - -1.8. Which is smaller: p or -1/3?
-1/3
Let m(j) = 4*j**3 + j**2 - 1. Let x be m(1). Suppose -u = x*u + 10. Which is greater: 1 or u?
1
Let a be 1/2 - 415/(-10). Suppose v = -2*v + a. Let s be v/(-10) - (-2 - -1). Which is smaller: -1/3 or s?
s
Let v be -39 + (2 - -14)/4. Is -34 > v?
True
Let p = -16552/125 - -662/5. Let l = -486/875 + p. Which is greater: -2 or l?
l
Let r(i) = -i**3 - 3*i**2 + 4*i + 1. Let b be r(-4). Suppose y - 89 = -3*o, 4*y + 18 = o + 2*y. Let v be ((-2)/(-14))/(24/o). Which is bigger: b or v?
b
Let b be -2 - (1 + (-11)/3). Let z = -31.3 + 30. Let d = -0.3 - z. Which is smaller: d or b?
b
Let f = 164 + -89. Let q be (0 - -3)/(f/(-10)). Is -3/2 >= q?
False
Let i(o) = -o**2 - 23. Let q be i(0). Let g = -91/4 - q. Does g = -3?
False
Let d be 65/26*(-2)/(-5). Are 6/11 and d non-equal?
True
Let d be (105/(-14))/((-2)/(-15)). Let a = d + 56. Which is bigger: -0.1 or a?
-0.1
Let n be (-212)/7 - (-8)/28. Let a be n/(-9)*4/10. Let g(y) = y + 9. Let x be g(-7). Is x at most as big as a?
False
Let j = -1 - -0.1. Let w = j + 0.9. Is -9 not equal to w?
True
Let h = -1 - -3. Let m be (7 + -8)*(5 - 0). Let s be (-3)/m - 33/30. Is s equal to h?
False
Let r = 0 - -8. Which is smaller: r or 5?
5
Let r be 104888/(-72) + (-4)/18. Let v = r - -4427/3. Let i = 18 - v. Is -2 at most i?
True
Suppose -3*x + x = -0*x. Suppose 0 = 4*w + 2*n + 10, w - 2*n - 3*n = -30. Let u be (-4)/10*w/(-3). Which is bigger: x or u?
x
Let y be -2 - ((4 - 3) + -7). Suppose -9*p + 7*p - y = 0. Let b be p/(-5) + 24/(-110). Is b bigger than 1?
False
Let v(q) = -q**2 - q + 21. Let j be v(0). Suppose 4*r = -n, -2*r + 3*r = 5*n - j. Let d be ((-2 - -2) + -2)/4. Which is smaller: r or d?
r
Let g(t) = -4*t - 7. Let o be g(-6). Suppose b + 5 = 10. Suppose 2*a - 5*k - 2 = o, -2*a - b*k - 31 = 0. Is a greater than 0?
False
Suppose 2 = 3*r + 38. Let w be 0 + 27/r - -2. Let n(s) = -s. Let f be n(-1). Which is smaller: f or w?
w
Let a be 1*(-2 + 4 + -1). Do a and 4/51 have different values?
True
Let y = 11 - 17. Let g = -8 - y. Which is smaller: -1/8 or g?
g
Let g be 138/(-1122) + (-2)/(-11). Let o be 1/(1 + (3 - 3)). Let p(f) = f**3 - f**2 - f + 1. Let y be p(o). Which is bigger: y or g?
g
Suppose 100 + 116 = p. Let k be 2/(-9) + 129/p. Are 0.2 and k non-equal?
True
Let o = 8 + -6. Suppose -o*k - 8 = -4*r, -r - 4 = -0*r - 2*k. Which is greater: r or 3?
r
Let z = 0.024 + 4.176. Let a = z - 4. Which is smaller: a or -2/5?
-2/5
Let m = -8 - -54/7. Suppose 0 = -k - 1. Which is smaller: k or m?
k
Suppose 4*k + p + 6 + 2 = 0, p + 2 = -k. Let l be 10/8 + (-1)/4. Let n be 1 - (l + k*1). Which is smaller: 3/4 or n?
3/4
Suppose -2*r = 19 - 19. Is -5 at most as big as r?
True
Let l(d) = d**3 - 8*d**2 - 11*d + 18. Let n be l(9). Let v(h) = -h**2 + 4*h - 3. Let y be v(3). Is y at least as big as n?
True
Suppose 4*k = 6*k - 2. Is k bigger than 2.4?
False
Suppose -2*t - 30 = -10. Let v = 5 + t. Is -6 equal to v?
False
Let t be 170978/26 + 7 + -4. Let f = -6745 + t. Let j = f + 166. Which is smaller: j or 0?
0
Suppose 130 = -5*v - 3*x, -4*v + x = 6*x + 104. Let f = 15 + v. Let i = 7 + f. Is -1 > i?
True
Let r = -4209/13496 + 17/56. Let s = r - 225/1928. Is -0.1 equal to s?
False
Suppose 4 = 2*u - 3*u + 5*d, -d = -1. Which is greater: 1/5 or u?
u
Let g = -3.5 - -2.8. Which is smaller: g or 0?
g
Let k(z) = 13*z**2 - 4*z - 12*z**2 - 4 + 5. Let u be k(4). Let b = 80 + -481/6. Are b and u equal?
False
Let r be 84/35*(-10)/(-4). Let x be (2 - 20/r)*3. Which is greater: x or -1?
-1
Let s = -3129 + 9193. Let d be s/90 + 4/10. Let w = 68 - d. Is w greater than -1?
True
Suppose -3*l = 2*x - 5, -4*l + 2*l + 12 = -3*x. Let b be (10 + -12)*1/2. Which is bigger: b or x?
b
Let h(s) = s - 1. Let t be h(0). Suppose -23*a + 35*a = 0. Which is greater: a or t?
a
Let h = -35 + 35.5. Let f be -1*1 + (-2 - -1). Let s be f + (2 - (1 - 1)). Which is bigger: h or s?
h
Let l = -5 + -9. Let j be 1/(-1*l/(-4)). Let c(b) = -b - 2. Let i be c(-2). Are i and j non-equal?
True
Let s(t) = t - 3. Let o be s(5). Suppose -o*a - 22 = 4*k - 6, 4*k + 28 = -5*a. Which is smaller: 0 or k?
k
Let y = -1/62 - 493/186. Which is smaller: -1/4 or y?
y
Let p = 23 - 19. Suppose -27 = -3*w - o - 4*o, 4*o = w + 8. Suppose 4*g = -3*l + 22, 8 = g + w*l - 2*l. Is g less than p?
False
Let c(j) = j**3 + 4*j**2 - 5*j - 2. Let p be c(-5). Let y be 2/(-11 + p + 2). Do 1 and y have the same value?
False
Let i = 4 - 11. Is -6 smaller than i?
False
Suppose 3*o - 11 = -2*s + 3, 3*s - 10 = o. Let r be -2*1 + (10 - 6). Is r greater than or equal to s?
False
Let n = 2.328 + -2.2. Let l = n + 0.932. Let q = l - 0.06. Which is greater: q or 2/7?
q
Suppose 0*s = -3*s + 6. Suppose s*w = -w. Which is bigger: w or -1/3?
w
Suppose c + 3*c = 16. Let s = -3 + 8. Which is greater: s or c?
s
Let h(c) = -c**3 + 12*c**2 - 11*c - 10. Suppose -3*q - 4*