k. Which is bigger: m or -2?
m
Let v be (-87086)/(-910) + -2 + 2. Let t = v - 670/7. Does 0 = t?
False
Let i = -23 + 45/2. Let a = -8.66 - 3.34. Which is bigger: i or a?
i
Suppose -b + a = -6*b + 268, -278 = -5*b + 4*a. Suppose -2*o = 2*u + 20 + b, -u - 72 = 2*o. Let m be ((-4)/(-70))/((-5)/o). Is 0.6 less than m?
False
Let c(r) = -3*r**3 - r**2 + r. Suppose -2*p + 5*n = 21, -3*p - 5 = -4*n + 9. Let b be c(p). Which is bigger: -29 or b?
b
Let y be 0 - 15 - ((-52)/13 - -9). Suppose 0*r - 4*c = -3*r - 72, 4*r + 4*c = -68. Is y < r?
False
Let g = 43 + -22. Suppose 0 = v - 2*v + 3*h + g, 16 = v - 2*h. Let a be 102/(-42) + v/14. Is -7/3 not equal to a?
True
Let k = 28 + -24. Let t = -14 - -14. Suppose j = -q - 7, t*q - 7 = 3*j - k*q. Is j less than or equal to -3?
True
Let f be -3 + (-326)/(-88) + 2/(-8). Are -1/2 and f non-equal?
True
Let v(x) = x**2 - 18*x - 14. Let h be 3/(-12) + (-69)/(-4). Let d be v(h). Is d < -31?
False
Suppose p - 4*p = -3. Suppose p = q - l, 7*q = 6*q - 4*l + 6. Let t be 2/(-1) - (0 - 2). Is t at most q?
True
Let d = 103/3 + -718/21. Suppose -2*l - 2*l + 4 = 0. Is d less than l?
True
Let k = 379 - 319. Which is bigger: 61 or k?
61
Let t = -17.3 + 7.4. Let x = 0.18 - -9.82. Let g = x + t. Does 0.03 = g?
False
Suppose -2*v + 40 = -0*v. Suppose -2*f + 39 = -5*z + 4*z, z - 45 = -2*f. Which is bigger: f or v?
f
Suppose 0 = 2*l - 4 - 2. Suppose -3*x + l = -3. Suppose -a = 5*j - 1, -x = -5*j + a - 3*a. Do j and -2/29 have different values?
True
Suppose 3*v = -2*b - 5, 2*v = -3*v + 5*b. Is v at least as big as 1/669?
False
Let b be (4 + 264)*((-49)/(-14) + -1). Which is greater: 669 or b?
b
Let q(a) = -a**2 + 14*a + 15. Let c be q(15). Suppose c = -3*u - 11 + 11. Does u = 2/133?
False
Let i = 118 + -116. Let y(o) = o**2 - o - 3. Let x be y(i). Is x != -1/28?
True
Suppose 4*q - 246 = 5*y, q - 61 = -5*y + 6*y. Let f = -3347 + 3407. Which is smaller: f or q?
q
Let b be (-144 - 8)/(0 - 2). Suppose -b = 3*c + 2*k - 7*k, -k = 5*c + 108. Let d be -3 + (-2 - 112/c). Which is greater: 1 or d?
1
Suppose -2*p - 10 = 0, 9*m - 4*m - p = 5. Let q = 1065 - 20239/19. Is q > m?
False
Suppose 2*a + k + 2 = 0, 0*a + 4 = 2*a - 2*k. Suppose -5*h + 15 = -4*p, 2*h + 4*p - 8*p = -6. Let j = -27/4 + h. Is a > j?
False
Suppose 190 = 6*r - r. Let t = -270/7 + r. Which is smaller: t or -1?
-1
Suppose -2687 = -9*x - 1832. Which is greater: x or 854/9?
x
Let c = -4416929/664 - -6652. Which is greater: -1 or c?
c
Let o = 13 - 11. Suppose -o*w - 64 = -18. Let k = w - -43/2. Which is smaller: k or -1?
k
Let u = 12880 - 6092242/473. Is 0 != u?
True
Let x = -186597/7 + 26603. Which is smaller: -55 or x?
-55
Let i = -314.87 - -315. Which is bigger: 6 or i?
6
Let t = -3.2 + 3. Let l = t + 0.3. Let r = -552 - -554. Is l != r?
True
Let h be (-5)/((-125)/5230) + 2/(-10). Which is bigger: 208 or h?
h
Let u be 0 + (5 - 2*3/2). Suppose -5*k - 4*r = -1 - 34, 5*k - 5*r + 10 = 0. Suppose -k*h = -0 - 3. Are u and h equal?
False
Let m be (3 + -1)*6/(-4). Let o be ((-1)/m)/(-1)*0. Let r = 2/19 + -35/152. Which is bigger: o or r?
o
Let r = -69.9 - -74. Let n = -63 + 62.9. Let z = n + r. Is -1/3 not equal to z?
True
Let v be ((-2)/(-2))/((-9)/(-18)). Suppose -2*n = 4 - v, 0 = 3*x + 3*n. Is x less than or equal to 2/29?
False
Let l = -109 - -112. Suppose -l*u = u - 2*u. Let i = 838 - 29332/35. Which is bigger: u or i?
u
Let q be -2 - (-6 - 272/(-40)). Is q at least 0.5?
False
Let m be ((6 - 3) + 14)*6. Suppose -90 = 2*l - m. Which is smaller: l or 3?
3
Suppose -4*p = -5*p + 11. Suppose 0 = -14*k + p*k - 21. Which is bigger: k or -2?
-2
Let m = 402 + -400.7. Which is greater: 25 or m?
25
Let n(h) = 22*h - 604. Let o be n(34). Which is smaller: 146 or o?
o
Let y be -4*(-10)/(-4) - -4. Let q = y - 9. Is -15 < q?
False
Let b = 349 - 349. Let k(l) = 3*l - 5. Let n be k(4). Let m = 4 - n. Is b < m?
False
Let p = 250 + -252. Is p <= -190?
False
Let j = 11/27 - 175/297. Is 1 not equal to j?
True
Let j = -4541563/14 - -324256. Let a = -734/7 - j. Which is greater: 37 or a?
37
Let c = 54.948 + 0.052. Let d = c + -59. Let m = -1 - -4. Are d and m non-equal?
True
Let l = -90 - -90.049. Let b be ((-12)/(-45))/(4/(-10)). Is l greater than b?
True
Let o = -2 - -7. Suppose -2*r - 6 = 2*g, 4*g + 12 = 16*r - 13*r. Suppose -o*j + 4*j = r. Which is bigger: j or -2?
j
Let k = 713/140 - 25/28. Is k greater than or equal to 4?
True
Let s(a) = -25*a. Let b be s(-1). Let z = b + -25. Suppose z = -h - 4*r - 13, 0 = 4*h - 0*h + r + 52. Is h at most -15?
False
Let j(c) = -c**2 + 2*c + 3. Let o be j(-1). Suppose o - 6 = -6*h. Which is bigger: h or -2/45?
h
Let b = 22.1 + -21.1. Let o = -8.96 + 9. Let i = o - 0.09. Is b greater than or equal to i?
True
Let r be 1 + -1 + 0 + 1092/13. Suppose -7*a + 4*a = j - r, -a = -j - 28. Which is smaller: a or -2/5?
-2/5
Let x = 0.8 + -1. Let l = -110.4716 + -0.1284. Let m = -111 - l. Is m <= x?
True
Let u = 0.08 - 0.28. Let g = -0.2 + 0.6. Let a = g + u. Which is greater: a or 0.05?
a
Let c be 1 - 3 - -1*1. Let d = 2564 + -351266/137. Which is smaller: d or c?
c
Let y = 181 + -182. Are 2/875 and y unequal?
True
Let w = -83/168 - 43/24. Let k(p) = -p**2 + 6*p - 10. Let h be k(4). Is w != h?
True
Let l(r) = -r**2 + 10*r - 25. Let m be l(4). Let p be (-10)/(-45) + 130/(-666). Which is bigger: p or m?
p
Let i(j) = -j**2 + 7*j + 10. Let x be ((-29)/2)/(3/(-6)). Let k = x + -21. Let l be i(k). Is 1 > l?
False
Let u be 3 + (-100)/36 - 47348/36. Let p be -3 - (u/450 - 2/(-9)). Suppose 3*h - 5*f = 5, 2*f + 2 = 4*h - 0*f. Which is smaller: h or p?
p
Let y be ((-17)/(-3))/(5/15). Let r = 13 - y. Let v be (9/(-6))/(2/r). Are 0.1 and v nonequal?
True
Let j be -8*1*1/(-2). Suppose 9*p = j*p. Let u = -12 + 12. Are u and p nonequal?
False
Let q = -17 - -27. Suppose -2*o + q = 16. Is o not equal to -3?
False
Let t = -3.7 + 7.7. Which is greater: t or 1/2?
t
Suppose 14*i = -3*i + 8602. Is 0 smaller than i?
True
Let l(k) = -k**3 - 5*k**2 - 5*k - 6. Let y(a) = a**3 + 2*a**2 - 3*a - 4. Let p = 2 + -5. Let z be y(p). Let j be l(z). Is j greater than or equal to -2?
True
Suppose -9*j + 13*j - 560 = 0. Which is smaller: j or 139?
139
Let r(m) = -2*m - 16. Suppose 0 = h - 4 + 12. Let x be r(h). Suppose x = 2*n + z - 1, -4*z + 10 = -n - 3. Which is bigger: -3/13 or n?
-3/13
Let g(j) = -7*j - 4. Let k be g(-3). Suppose -3*s + 5*a + 47 = -11, 0 = 4*a + 8. Do s and k have the same value?
False
Let n = -1.8 + 2. Let r = 15165 + -14634227/965. Let w = r + -3842/8685. Is w at least n?
False
Let n = -3207 - -3211. Which is bigger: 8 or n?
8
Let k = -1289 - -150811/117. Suppose -2*s + 0*s = 5*g - 11, 13 = -2*g + 5*s. Is k at least g?
False
Let s = 429 - 204. Let h be (2/(-10))/((-18)/s). Suppose 5*t + 2*b - 11 = 0, t + 0*b = -2*b - 1. Which is smaller: h or t?
h
Let o = 187 - 106. Suppose 4*p + o = p. Let z be (p/15)/(8/10). Which is smaller: z or -2?
z
Let w = -9 + -5. Let q = 16 + w. Suppose 3*o = -u - 4*u - 5, 4 = -4*u - q*o. Is -1/5 less than u?
False
Let b = 589 + -615.1. Let f = -5.1 - b. Suppose 5*s = a - 26, -a - 24 = -0*a + 5*s. Is a smaller than f?
True
Let q be ((-1)/3)/((-282)/(-36)). Let g(y) = y**2 + 5*y + 1. Let x be g(0). Which is greater: q or x?
x
Let i = -210 - -213. Which is greater: -61 or i?
i
Suppose -31 = -x + 3*q + q, -5*x + q + 60 = 0. Suppose -3*j - 66 = -7*j - 5*c, -8 = -4*c. Is j bigger than x?
True
Let i(q) = -2*q**3 + 2*q**2 - 1. Let n be i(1). Let r be 1 + n/((-3)/3). Suppose -r*p - 16 = 2*p. Is p != -4?
False
Let i(y) = y. Let t be i(2). Let q = t - -27. Let k be ((-54)/(-45))/((-6)/(-140)). Which is smaller: q or k?
k
Suppose f = 5*j, f - 3*j = -j + 3. Suppose -444 = i - f*i. Let t be i/(-21) - 2/(-7). Is -2 not equal to t?
True
Suppose 2*l = 2*r + 386, 3*r - 40*l = -45*l - 611. Is r < -192?
True
Let d(w) = -w**3 + 2*w**2 + 6. Let a be d(3). Let c(l) = 3*l - 14. Let v(y) = -y + 1. Let q(n) = c(n) + 4*v(n). Let j be q(-7). Is a not equal to j?
False
Let b = 146.03 - 147. Which is smaller: b or -2?
-2
Let y = 5049 - 459439/91. Which is greater: y or 1?
1
Let q be (-1)/(-2)*70/63. Let s = q + -17/63. Let m = 0.016 + -0.216. Which is smaller: s or m?
m
Suppose -4 = 7*r - 5*r. Let x = 14 - r. Is x < 14?
False
Let q be 4*1 - 672/147. Which is bigger: q or 0?
0
Suppose 0 = -2