(-2)). Let r = -595 - -41053/69. Which is bigger: k or r?
k
Let t = -93 + 52. Let g(p) = 8*p + 14. Let h be g(-7). Which is smaller: t or h?
h
Suppose -3*j + 146 + 22 = p, -119 = -2*j - 3*p. Let k = j + -53. Is 30/13 at most k?
False
Suppose n + 36 = 2*j, -2*n = 3*j - 7*n - 68. Suppose 2*s - 160 = -5*y, -y + 43 + 7 = 4*s. Suppose 3*l - l = y. Is l not equal to j?
True
Let q be 3*3/(27/12). Suppose 11 = -n + 2*i, 0 = n - q*i + 17 - 4. Are n and -9 non-equal?
False
Let w = -418 + 417.9. Is -487 equal to w?
False
Let k = 0.01 - -0.03. Let b = 0.72 - 0.62. Are k and b equal?
False
Let p = -62/15 + 38/15. Which is greater: -0.13 or p?
-0.13
Let f be 15/9*18/20. Do 2 and f have the same value?
False
Suppose -4*w + w - 5*y + 11 = 0, 2*y = -10. Let s(a) = -1 - 3*a + 14*a + a**3 + w*a**2 + 5 + 0. Let i be s(-11). Which is smaller: 0 or i?
0
Let l = -2 - -2. Let s(q) = 3*q + 4. Let i be s(-2). Let k = l + i. Is k equal to -2?
True
Let v be (-8)/((-4)/(-1)) + (24 - -3). Do 5/4 and v have the same value?
False
Let m be 260/45 - 7/(189/(-6)). Is m at most as big as 16?
True
Let n be (-1)/(-12) - 4/16. Suppose -3*r + 5*z - 151 = 0, 106 = -2*r + z + z. Let o = -511/9 - r. Is o at most as big as n?
False
Let k(w) = -w**3 + 4*w**2 + 13*w + 5. Let s be k(6). Suppose -4*x - 129 = -2*q - s, -5*x - 145 = -2*q. Let n be x/(-58) - (-10)/(-20). Is n at most as big as 1?
True
Let n be 198/4 + 6/24*-2. Let j be -4*1/(-18) - n/(-63). Is j greater than -1/3?
True
Suppose -s + 1 = 4*n - 6, 5 = -s + 2*n. Let j be s/(-3) + 10/6. Suppose w + j = 2*r - 12, -3*r - 1 = 4*w. Do w and -6 have different values?
True
Suppose -5*n - 5 = 0, -h - 3*n - 21 = 20. Let s = 38 + h. Which is greater: s or -1/5?
s
Let c(n) = 12*n + 3. Let p be c(3). Let d be (-9)/5*(-130)/p. Let m(v) = v**3 - 7*v**2 + 5*v + 4. Let j be m(d). Is j less than -4?
False
Let y = 506 + -504. Which is bigger: 2.53 or y?
2.53
Suppose -4*j + 1008 = -12*j. Let d = 89 + j. Which is greater: -36 or d?
-36
Let d be 2*4/(-8) - (-162)/32. Let p = d + -473/144. Is p bigger than 0?
True
Suppose 6*i - 106 = 11*i - 2*b, 3*b = -i - 11. Is 3 less than or equal to i?
False
Let y be (4 - (-98)/(-24))/(14/(-208)). Which is smaller: 2 or y?
y
Let d(y) = y**2 - 16*y + 54. Let o be d(11). Suppose 3*s - 5*i - 22 = 0, 4*i = 6*i + 10. Is o at least s?
True
Let q = 132 - 116. Suppose -8*b - 4*x = -3*b - q, 3*x - 12 = b. Let u = 9/26 + 2/13. Which is smaller: u or b?
b
Let g = -391 + 392. Which is smaller: -9 or g?
-9
Let f(g) = -g**3 + 6*g**2 - 10*g - 4. Let z be f(3). Which is smaller: -78/11 or z?
-78/11
Let y = 8 - 7.4. Which is greater: -66 or y?
y
Let o be ((-5134)/(-102))/((-2)/(-6)). Which is smaller: o or 1058/7?
o
Let i = -19881 + 1312175/66. Let x = 5/22 + i. Which is greater: -0.15 or x?
x
Let x = 6.8 - 6. Let p = -954 + 952. Are x and p unequal?
True
Suppose 8 = 3*k + 2. Let p be 4/235*2490/60. Let n = -5/47 + p. Which is smaller: n or k?
n
Suppose s = -8*s + 36. Suppose -s*d + 12 = -0, -c = -2*d + 8. Which is greater: c or -8/3?
c
Let s = -20 + 14. Let w = 0 - s. Let d = w + -6. Is d greater than or equal to -1/6?
True
Let l be (0 - (-2)/(-5)) + (-1104)/(-60). Let x be (l/84)/(2/(-4)). Which is smaller: x or 1?
x
Suppose -r + 15 = 2*r. Suppose -10 - 20 = -r*p. Let h be (0 - -10)/(4 + -2). Is p greater than or equal to h?
True
Let o = 1703.04 + -1703. Let z = 0.5 - 0. Is o bigger than z?
False
Let r = 497 - 490. Let a = 3.29 - 3.3. Which is smaller: r or a?
a
Let q be 4/18 - 205/2340. Let x = q + -31/52. Which is bigger: 1 or x?
1
Let g(j) = j - 2. Let y be g(-3). Let c = -8 - y. Let s = -99 - -98. Do c and s have different values?
True
Let f be 1/((-16)/134) + 64 + -55. Let g(h) = -h - 1. Let t be g(-2). Let w be 1/(-2) - t/(-2). Which is greater: f or w?
f
Let i = 0 - 0. Let o be (-28)/(-35)*5/2. Let p be o/(-4)*2/(-3). Which is greater: p or i?
p
Let g(k) = -k - 14. Suppose 4*s = l - 34, -12 = -0*s + 2*s + 2*l. Let a be g(s). Let b be a/12 - (1 - 4). Which is smaller: b or 0?
0
Let l = 0.3 + -1.3. Suppose y - 38 = -2*u, 0*u + u + 5*y - 1 = 0. Which is bigger: l or u?
u
Let h(y) = 44*y + 1. Let t be h(-3). Which is smaller: t or -132?
-132
Suppose 0 = 8*u - 3*u - 5*i + 35, 4*i = -3*u - 21. Let s = -3 + 4. Let p(k) = -8*k**2 + 1. Let n be p(s). Is n at most u?
True
Suppose 17*g = -1008 - 794. Is -2 not equal to g?
True
Let f = -87.3 + 136. Let d = 49 - f. Which is smaller: 0.1 or d?
0.1
Let p be (0 + -1)*0 - (-2009)/(-205). Which is greater: -1 or p?
-1
Let f(a) = 4*a + 8. Let m be f(-2). Let u = 7 - 3. Let b = u - 2. Which is bigger: m or b?
b
Let c = 131 + -122. Is 5 at most as big as c?
True
Let m = 0.3 + -2.3. Let y = -2 - m. Let t = -0.6373 + 0.4373. Is t >= y?
False
Let n = 135.3158 - 0.3158. Is -1 > n?
False
Suppose -115*n = -92*n + 23. Is n less than or equal to 3?
True
Let s = 0 - 0. Let h(y) = -y**2 + 6. Let m be h(3). Let i be ((-14)/1085)/(m/15). Which is smaller: i or s?
s
Let x = -33 - -67/2. Let z be 10 + 28/32 + -11. Is z less than or equal to x?
True
Let b = 868 - 1071. Is b less than or equal to -202?
True
Let r = 140 + -100. Let g be 6/14 - (-10502)/(-413). Let s = g + r. Which is smaller: s or 27/2?
27/2
Let b be ((-2)/8 + (-915)/(-60))/(-1). Let a be (2 + -2 - -1)*-17. Do b and a have the same value?
False
Let a be (385/(-45))/(-7) - 8/36. Suppose 0 = -6*b + 3*b + 15. Suppose -4*k = 15 + 1, b*k = 2*r - 20. Which is smaller: a or r?
r
Let j = 0.06 - -0.04. Suppose 0 = 5*y - 4*h - 570, -2*y + 4*h + 452 = 2*y. Let f = y + -713/6. Which is greater: f or j?
j
Let x = 3.1 + -3. Let y = -2.18 + 4.18. Is y equal to x?
False
Let v = -15 + 18. Suppose 2*m + 4*l - v = 5, 12 = 4*m + 4*l. Suppose -m*p - p + 27 = 0. Is p at least as big as 8?
True
Let l = 166 + -96. Let y = 43 - l. Which is bigger: -26 or y?
-26
Let b = -207 + 209.36. Which is smaller: b or -0.1?
-0.1
Let q = 1 + -60/61. Let m(h) = 3*h + 8. Let j be m(-3). Which is smaller: q or j?
j
Let y(w) be the third derivative of w**6/120 + w**5/6 + 3*w**4/8 - w**3/3 - 18*w**2. Let u = -20 - -11. Let p be y(u). Which is bigger: 0.4 or p?
0.4
Let d(v) = -12*v + 20. Let x(b) = -3*b + 5. Let j(h) = 6*d(h) - 22*x(h). Let l be j(3). Is l >= -9?
True
Let x be 22410/(-33080)*(-2)/(-20). Let f = -6/827 + x. Which is smaller: f or 0?
f
Let a be 98/4 - (-7)/(-42)*-3. Let p = a - 36. Are -9 and p unequal?
True
Let b = 25.3 + -25.32. Is b < 2/5?
True
Let j = 100.9 - 101.2. Let m = -5 - 4. Are j and m equal?
False
Let n = 0.84 + -0.04. Let a = -9 + 8.4. Let y = a + n. Is y less than 2/9?
True
Let l = -869 - -868.53. Is l at most as big as -7?
False
Suppose -5*j + 0*j = -20. Suppose -120 = -0*u - 4*u. Suppose 4*o - u = -18. Is j less than o?
False
Let y be -2 + (-3)/(-42)*(-262)/(-10). Is y at most -1?
False
Let h = 2780787/13960 + 9/2792. Which is greater: 200 or h?
200
Let h = -6.9 + -0.1. Let c = h + 14. Is 1/4 less than c?
True
Let s = -63 + 42. Suppose c = 5*j + 106, -j + 4*c = 13 + 12. Is j less than or equal to s?
True
Suppose -47 = -4*v + 37. Let k = 26 - v. Suppose 6 = -k*j + m, -3*m + 5 = -3*j - m. Is j at least -18/13?
True
Suppose -22*k = -47*k + 25. Does 5/77 = k?
False
Let k = -269 - -272.4. Is 1/10 > k?
False
Let c = 32.3 - 47.3. Is c greater than 4.2?
False
Let l(t) = 1 - 3*t - 2*t - t**3 + 6*t - 2*t**2 + t**2. Let o be l(0). Let w = -359/12 + 30. Is o bigger than w?
True
Let z = -12123/2 + 6237. Let s = z - 180. Which is bigger: 1/3 or s?
1/3
Let z = -817 - -924. Are z and 1 non-equal?
True
Suppose -q - 3*p + 2 = 0, 2*q - p = -3*p + 4. Suppose -q*x + 35 = 3*x. Let k = -0.2 - -1.2. Is x greater than k?
True
Suppose 0 = 182*p - 180*p. Which is smaller: p or -4/65?
-4/65
Suppose -253 + 331 = 6*i. Let n(u) = u**3 + u**2 + 2. Let l be (-2)/((-2)/3) - 1. Let a be n(l). Which is greater: a or i?
a
Let w = -21 + 21.17. Let x = 0.92 - w. Let v = 0.15 - x. Is 0.2 equal to v?
False
Suppose 0 = i - 3, t + 2*i - 10 = -0*i. Suppose -x + 6 = -t*x. Suppose -4*g + 2*z + 11 = 1, 0 = -3*g - 5*z + 40. Is x less than g?
True
Let o = -0.29 - -0.37. Let j = -3.08 + o. Let x = -2 + 1. Are j and x nonequal?
True
Let l = 75 - 88. Is l bigger than 1?
False
Let l(u) = 11*u - 10. Let v be l(1). Which is greater: v or -7/54?
v
Let t = -3.3 + 18.3. Let x = 16.4 - t. Which is bigger: 1 