 - l. Suppose 0 = -a*r + 8*r. Which is smaller: 2/11 or r?
r
Let g = -0.8939 - 0.1061. Let m(d) = -d**2 - 7*d - 7. Let o be m(-5). Suppose -3*j = 2*u - 9, -o*j = u - 0*j - 12. Which is bigger: g or u?
g
Let f = 309 + -309. Which is smaller: -2/21 or f?
-2/21
Let h be 1/(-8) + 16/(-64). Let l be 42/(-56) - (-6)/8. Is l at least h?
True
Let x be ((-5)/(-165))/((-1)/(-60)). Is 3 smaller than x?
False
Let l(k) = -k**3 - 8*k**2 - 9*k - 11. Let y be l(-7). Let z be 1 - (6/(-2) + 7). Is y less than or equal to z?
False
Let l(i) = 1 - i**3 + 2*i - i**2 - i**2 + 2 + 1. Let v be l(-2). Let u be ((-8)/12)/(13/3*-2). Which is smaller: v or u?
v
Let r = 1.3511 - -0.0489. Is -4 smaller than r?
True
Let o be 981/39 - (7 - 712/104). Is o smaller than 2?
False
Let q = 36.22 + -3.02. Let y = q + -33. Let b = 7 - 5. Is b < y?
False
Let n be 4/(-19)*(-23)/92. Is n smaller than 7?
True
Suppose -8*a - 28 = 716. Let y = -58 - a. Is y at least 34?
True
Let z = 38 - 41.9. Let x = z - -2.9. Is x <= -2?
False
Suppose -7*s = -6*s - 4*k + 164, s + 3*k = -171. Which is bigger: -169 or s?
s
Let t = 76 - 128. Let a = t - -54. Are a and 10/7 equal?
False
Let n be (-1 - -1)/(-4*18/24). Suppose -c = 3*c - 40. Let h be (2 + -1)/(c/8). Is h > n?
True
Let c = -52 - 14. Do 0 and c have different values?
True
Suppose a - 4*a = -84. Let x(s) = 2*s**2 - 2*s - 13. Let j be x(-4). Which is smaller: j or a?
j
Let p be 1/3 + (-2096)/(-12). Let h be 2/(-5) + (-4)/p*-5. Which is bigger: h or 2/3?
2/3
Let y be (3/(-2))/(3/36). Let q = y + 17. Which is smaller: 2/159 or q?
q
Let w = 610 + -370. Let l be 8/20 + (-86)/w. Let z = 17 - 18. Which is smaller: z or l?
z
Suppose -p + 1 = 2. Let o be (-272)/10 - p/5. Which is bigger: -26 or o?
-26
Suppose 4*o + 1437 = -3*p, -6*o - 1440 = 3*p - o. Are -476 and p nonequal?
True
Let w = 0 + 2. Let u(o) = o**3 - 7*o**2 + 7*o - 4. Suppose 0 = -11*y + 7*y + 24. Let k be u(y). Is k > w?
False
Let o be 1*-1*(-6 + 6)/(-5). Suppose o = -16*t + 26*t. Which is smaller: 3/7 or t?
t
Let f(i) = -2*i**2 + 3*i + 11. Let s be f(7). Let y be 3/(-9) - 310/s. Which is bigger: 4 or y?
y
Suppose -p = 2*p - 9. Suppose 5*o + 12 = s, -4*s = -2*o - p*o - 18. Let b = -31/4 - -113/12. Which is smaller: s or b?
b
Suppose -5*b + 89 = 3*a, 3*b = -5*a - 27 + 74. Suppose -3*s + b = 3*o - 5, 4*o - 2*s - 20 = 0. Is 3 smaller than o?
True
Suppose -4*w - 107 = 5*b, -4*w - 4*b + b - 101 = 0. Which is greater: w or -21?
-21
Let m be (2/(-3))/(-2*8/24). Which is smaller: 1/299 or m?
1/299
Suppose 3*f - f = -5*j + 333, 2*f = 8. Let a = 65 - j. Which is smaller: a or 3/8?
a
Let g be 6/(-51) - (-48)/119. Suppose -5*l - 3*v = -2*l + 6, -5*l - 3*v - 8 = 0. Let r be (9/(-3) - l)*1. Is g less than r?
False
Suppose 0 = -5*l - 3*n + 6*n + 3, 5*n + 5 = -2*l. Let v(f) = 85*f**2 + 2*f. Let i be v(4). Let s be 12/i - 1/6. Which is smaller: l or s?
s
Let x = -7.14 - -2.14. Is 1 != x?
True
Let t be (-27)/6 + 1/2. Let w(j) = -4 + 7 - 2 + 5 + j. Let i be w(t). Is i greater than 1?
True
Suppose m = -5*i + 13, 7 = -0*m - 2*m + i. Let f be ((-5)/2)/1 - m. Is -22 at least f?
False
Suppose -16*s - 27 + 11 = 0. Is 5/22 > s?
True
Let n(i) = -2*i**2 - 34*i - 2. Let s be n(-20). Which is greater: 3/2 or s?
3/2
Let d be -4 - 0*2/6. Let k be (d/(-10) + -1)*-75. Which is smaller: 44 or k?
44
Suppose 0 = 2226*a - 2221*a - 5. Are -10/421 and a non-equal?
True
Suppose 3*g - g = 3*m - 11, -5*m - 3*g + 50 = 0. Does m = 12?
False
Let f = -59.7 + 60. Let c = -1.6 - -1.7. Which is smaller: f or c?
c
Suppose -37*u + 5222 = -44*u. Is -748 not equal to u?
True
Let f(h) = -h**2 - 2 - 4 + 2*h + 3 + 5. Let g be f(4). Which is bigger: 0 or g?
0
Let w = -20 - -16. Let q = -13/5 - w. Is q greater than or equal to 1?
True
Let b = 0.2 - 0.3. Let k = 53.7 - 51. Let h = k - 2.9. Is h smaller than b?
True
Let g = -265 - -238. Is g greater than or equal to -111/4?
True
Let c(k) = -5*k**2 - 2*k - 5. Let w be c(-3). Let r = w - -44. Is -6/25 <= r?
True
Let b = 9 - 12. Let c(i) = 2*i**3 - 3*i**2 + i - 2. Let p be c(2). Are p and b equal?
False
Suppose 10 = -2*t, -19 = 5*i + 5*t - 4. Let s be 1/((-6)/7) + i/(-6). Is -1 at least as big as s?
True
Let z = -477 + 458. Which is smaller: z or -17?
z
Let r(t) = 11*t**2 + 1. Let n be r(-1). Let u = n + -13. Let s = 89/135 - 11/15. Is s smaller than u?
False
Let d = 181/56 - 27/7. Let o = -3 - -3. Suppose o = t + t. Which is smaller: t or d?
d
Let g be 3/(-6)*-14 - 744/104. Let v be 2 + 0 + (-1)/(-1). Suppose v*c = c. Is c greater than or equal to g?
True
Suppose 0 = 2*n - n - 7. Suppose -n*i = -5*i. Let z(c) = -c**3 - c**2 - 6. Let b be z(i). Is b not equal to -6?
False
Let r = -191789/6 + 31963. Let d(j) be the third derivative of -j**4/24 + j**3/6 - j**2. Let o be d(4). Is o at most as big as r?
True
Let z be 3 - (1/(-7) - 45/(-21)). Which is smaller: -2/47 or z?
-2/47
Let q = 1234 + -854. Let c = q - 563. Let w be c/(-126) + (-4)/14. Is 1 smaller than w?
True
Let w = -11 - -17. Suppose -w = 4*h + 10. Let t be h + (2/(-2) - 0). Which is smaller: t or -6?
-6
Let n(j) = -j**3 - 5*j**2 + 4*j - 9. Suppose 4*y + 11 + 3 = 5*u, 2*u = -y - 10. Let v be n(y). Let h be 0 + 4 - 13/v. Which is smaller: h or 0.12?
h
Let r be (-7)/(1022/2)*(3 + -2). Which is smaller: r or -1?
-1
Suppose -w = -3*v + 379 - 64, -5*v = -4*w - 518. Let o = v - 186. Let f = o + 155/2. Is f at most as big as -4?
False
Let c be (16/(-24))/((-8)/468*3). Which is bigger: 7 or c?
c
Let l = 22 - 12. Let c = l + -10.1. Is 0.3 greater than or equal to c?
True
Let b = -5.7 - -6. Let y = -131.65 + 132. Let v = b - y. Which is smaller: 0.1 or v?
v
Let r be (-4)/(-6)*(-4)/2. Suppose 2*j - 5*w = 4*j - 37, -5*w + 15 = 0. Suppose 12 = -p + j. Is p smaller than r?
False
Suppose 2*w + 8 = -3*b, -w - 3*b - 18 = -4*w. Let i(j) = -j**3 - j - j + 0 + w*j**3 - j**2 - 1. Let g be i(2). Is g bigger than 1?
False
Let v = 35 - 30. Suppose -4*p - 3 = -v*s + 8, 0 = 5*s + 5*p + 25. Is 2/15 less than or equal to s?
False
Suppose 12 + 13 = 5*u, -3*u = 3*p - 249. Let w = -125 + 203. Is p > w?
False
Let a(n) = 2*n**2 - 7*n - 4. Let v be a(4). Let k be ((8/5)/(-4))/(-28) + v. Is 0 != k?
True
Suppose 68 = 2*d - 4*i, 5*i + 5 = -0. Let o = -28 + d. Which is bigger: o or 1?
o
Let a = -52 - -920. Which is bigger: a or 867?
a
Let y(o) = -o**3 + 5*o**2 - 6*o + 10. Let m be y(4). Let j = -3 + m. Which is smaller: 2/5 or j?
j
Suppose 2*n + 4 = 3*m - 3, 5*m + 5*n - 20 = 0. Suppose -m*s - 1 = l - 2*l, -22 = -5*l - 2*s. Let h be l/4*19/3. Is h bigger than 5?
True
Suppose -4*r = 4*v - 60, v = -4*v - 15. Let o be 1/2*(-9)/r. Let s = 1 + -1.03. Which is smaller: s or o?
o
Let o = 11533/22 - 524. Let z = -731 - -24121/33. Let r = o + z. Which is bigger: 0 or r?
r
Let a be 3/(-2) - (3 - 495/102). Let m = 26 + -10. Let h = -15 + m. Is h less than or equal to a?
False
Let w = 0.008 - 53.008. Let l = w + 53. Which is smaller: l or -19?
-19
Let o be (-46)/102 + (-16)/(-136). Which is bigger: -15/4 or o?
o
Let r(t) = -2*t**2 - 30*t + 351. Let j be r(17). Is -737 not equal to j?
False
Let d(t) = -t**2 - 4*t + 10. Let j be d(-5). Suppose j*z = -23 + 103. Is 16 greater than z?
False
Let i(m) = 7*m - 15. Let c be i(-6). Let h = c - -57. Is h at least as big as 12/13?
False
Let s(u) = u - 34. Let l be s(19). Do l and -17 have the same value?
False
Let s = -1 - -13.9. Let c = -12 + s. Which is greater: 3/4 or c?
c
Let b be 2/(-18) + 58/522. Which is greater: 13/11 or b?
13/11
Let h = -1.2818 + 118.4218. Let u = -117 + h. Which is bigger: 1 or u?
1
Let r(i) = -3*i**3 - 2*i + 1. Let n be r(1). Is -7 less than or equal to n?
True
Let w be 6/3 + 72 - -4. Let m be ((-52)/w)/(4/(-114)). Is 21 at most m?
False
Suppose 13 = -2*y + 2*r - 3, 36 = -2*y - 2*r. Suppose 0*w + 100 = -5*w. Let h = y - w. Is 8 greater than or equal to h?
True
Let m(j) = 4*j**2 + 4*j - 10. Let c be m(-4). Suppose x = -c + 27. Is -6 smaller than x?
False
Let r = -2 - 4. Let n = r + 21. Suppose n = 5*s + 5. Are s and 2 non-equal?
False
Let o be 1/(5/(-2))*-5. Let y = -79 - -87. Let k(w) = -4*w + 33. Let u be k(y). Which is greater: u or o?
o
Let n = 331 - 330.69. Is 0 less than n?
True
Suppose 5*c + 32 = -4*x, -50 = 4*c + c - 5*x. Let w be (c/(-16))/((-1)/2). Which is smaller: 1 or w?
w
Suppose d - 12 = -2*d. Suppose g - 3 = y, y