 = 2*t - o. Suppose -18 = 42*k - t*k. Is 9/5 >= k?
False
Let i = -21 - -24. Suppose 2*p - 3*a - 13 = 0, i*p - 1 = 7*p + 3*a. Let b be p/(-4)*(-96)/184. Are -1 and b nonequal?
True
Let y(j) = 4*j**2 - 3*j + 1. Let c be y(1). Suppose 2*o + 3*a + 1 - 3 = 0, 0 = -c*o + 2*a + 2. Suppose 0 = -5*v + 1 + 14. Which is smaller: o or v?
o
Let k be -14 - (-924)/70 - (-16)/20. Is -1559 at least as big as k?
False
Suppose 0 = 2*a - 41 + 29. Let s be 3*(-2)/(-36)*a. Is s > 3/8?
True
Let u(x) = -36*x - 1. Let n be u(-8). Which is bigger: 290 or n?
290
Let a = -2466/7 + 377312/1071. Is a at least -0.05?
True
Let y be (3/4)/((-29349)/72). Let f = y + -333/409799. Is f at most as big as 0?
True
Let k be ((-4)/1 + 210/63)*-450. Let i = k + -404. Which is bigger: -105 or i?
i
Let i(r) be the first derivative of 7*r + 1/4*r**4 + 5/2*r**2 - 8 - 3*r**3. Let q be i(8). Which is smaller: q or -15?
q
Let y(m) = -m**3 + 27*m**2 - 73*m + 24. Let t = -549 + 573. Let w be y(t). Which is bigger: w or 3.28?
3.28
Suppose -40 = 35*l - 39*l. Let a be l/404*12/105. Which is smaller: a or 1?
a
Let v be 1101/(-288) - 0 - 16/(-4). Are 1 and v nonequal?
True
Suppose r + m = -2*r - 12, 3*r - 4*m = -12. Let u be r/(-18) + 847/(-126). Is u > 1/2?
False
Suppose -147*j + 150*j = -m + 2312, 5*j = 5*m - 11540. Is m smaller than 2313?
True
Suppose -245 = -5*s - 3*h - 1019, 2*s + 315 = -3*h. Which is bigger: -114 or s?
-114
Let r = 148 - 148.1. Let t = 119.04 + -3.04. Does r = t?
False
Suppose b - 23 + 7 = 0. Suppose 71*v - b = 67*v. Suppose 0 = t + v*k + 22, -3*t - 5*k + 31 = -5*t. Is -18 >= t?
True
Let a be (24/(-10))/((-30)/1100). Suppose 10*q + 12 + a = 0. Let c = q + 5. Which is smaller: -4 or c?
c
Let l be (7339/293 - 754/58) + -12. Are l and -1 non-equal?
True
Suppose 3*q = -3*v - 399, -9*q + v = 1144 + 133. Is -215 at most as big as q?
True
Let m(k) = -k**2 + 15*k - 36. Let x be m(16). Let z = x - -36. Let v = 15 + -30. Which is greater: v or z?
v
Suppose s - 10*s = 3 - 21. Is s at least as big as 20?
False
Let u(r) = -4*r**3 + 2*r**2 - 2*r - 1. Let x be u(-2). Suppose -4*o - x - 53 = 0. Let d be 54/(-10) - o/60. Which is smaller: d or -1?
d
Suppose 164*k - 5031 = 203*k. Is k less than -140?
False
Let a(r) = r - 11*r**2 + 39 - 32 - 4*r**3 + 5*r**3. Let l be a(11). Is 17 bigger than l?
False
Suppose 0 = -19*x - 20*x - 39. Which is greater: -28/1621 or x?
-28/1621
Let u = -26446/201 + 150/67. Is u less than -1?
True
Suppose -25*a - 2 = 3*o - 24*a, 3*o = -2*a - 4. Is -3/928 not equal to o?
True
Suppose 0 = -3*z + 6*c - 5199, -2*z - 6*c - 3472 = -7*c. Are z and -1738 unequal?
True
Suppose -i - 6 = -0*w - 2*w, 5*w = -5*i - 15. Let o(s) = -s**3 - 5*s**2 - 4*s + 2. Let g be o(i). Let l be ((-3)/(-10))/(36/(-15)). Which is greater: g or l?
g
Let c be -10 - (-847)/88 - 55/(-104). Let r = -8 + 2. Let k = r + 5.9. Which is greater: k or c?
c
Let z(s) = -s**2 - 35*s - 235. Let v be z(-24). Let j = 17 + 9. Which is smaller: j or v?
j
Let u be 2141/(-14852) - (9 + 222/(-24)). Let c = 5/79 - u. Are 1 and c equal?
False
Let n be (-2)/(-42)*13 + 283/(-849). Is n bigger than -0.0674?
True
Suppose 6710*o = 6701*o + 2259. Which is smaller: 256 or o?
o
Let r = 8294/36865 + -23/101. Let v = r - -439/27010. Which is bigger: v or 0?
v
Let l be -26*1 - 2611050/(-80925). Is l equal to 6?
False
Suppose 102*w + 12 = 12. Is w > 14/715?
False
Let s(c) = 2*c**3 - 34*c**2 - 5*c + 86. Let y be s(17). Which is greater: y or 5/4408?
y
Let v = 67.21 - 68.384. Which is greater: 7 or v?
7
Let u(a) be the third derivative of 1/120*a**6 + 0*a + 2/15*a**5 - 1/3*a**4 + 3/2*a**3 + 0 + 12*a**2. Let s be u(-9). Does 3/43 = s?
False
Let g = -0.0141 + -3.5659. Which is smaller: g or 1/6?
g
Let y = 0.06 - -21.94. Let g = y + -22.31. Let k = -0.312 - g. Which is smaller: k or 0?
k
Let u = 30 - 37. Let w(z) = -76*z - 146. Let i be w(u). Is i < 386?
False
Let h(q) = q**3 + 50*q**2 + q - 81. Let c be h(-50). Which is smaller: c or -136?
-136
Let b = 284/5 - 57. Suppose 55 + 1721 = 12*v. Let j = v + -133. Which is greater: b or j?
j
Let w = 4343 - 2723. Let s be (3/(-88))/(w/(-6416)). Let p = -1/594 + s. Is 0.01 greater than or equal to p?
False
Suppose 15*g + 2715 = 72900. Is 4679 > g?
False
Let z be -9393*(119/(-28) - -5). Let p = z + 6976. Which is smaller: p or -70?
-70
Suppose 55*s = 49*s. Suppose 2*z + 5*j + 139 = s, -4*z + 8*z - 5*j = -323. Let v = 125 + -203. Is z < v?
False
Let y be 15 + -16 + -3 + (-136 - 4). Which is smaller: -149 or y?
-149
Suppose 2*z - 5*l - 1118 = 0, 1410 + 293 = 3*z - l. Suppose 5*q - 3*y - 830 = 0, z + 92 = 4*q - 3*y. Which is smaller: 170 or q?
q
Suppose -62 - 214 = 311*k + 35. Which is greater: k or 58/307?
58/307
Let z = 13.275 - -0.725. Let p = 2.01 - 2. Which is smaller: p or z?
p
Let r = -0.05 + -14.95. Let j = r + 56. Let y = -40 + j. Which is bigger: y or -1/2?
y
Suppose -4*w = 7*w - 40700. Is 3699 greater than or equal to w?
False
Let q = -26.1 + 26.15. Is q <= -51?
False
Let y = -338 + 376. Suppose -4*j - 82 = -2*k, -y = j - 2*k - 22. Are -19 and j equal?
False
Suppose z + 858 - 858 = 12*z. Is 1/1378 > z?
True
Suppose -1 = 2*o - 3*o + 4*i, -2*o - 2 = -4*i. Suppose 5*f - t + 646 - 594 = 0, 4*t + 20 = f. Which is greater: o or f?
o
Let v = 15792 - 14488. Which is smaller: v or 1305?
v
Let b = -77.5 + 77. Which is smaller: b or -551?
-551
Let h = 0.863 - 1.23. Let g = h + 0.367. Which is bigger: -0.004 or g?
g
Let p be 36/(-6)*665/(-228). Let s be 0 + 21 - 2*1. Does p = s?
False
Let z = 35098 - 30735. Which is smaller: 13091/3 or z?
z
Let a = -2/7 + -45/14. Let m(s) = 13*s**2 - 66. Let l be m(2). Is a at least l?
True
Let m be (2 - 14/4)*(-540)/3. Suppose -2*h - 2*l = -m, -2*l + 545 = 4*h + 3*l. Suppose 18*o + h = 20*o. Are 64 and o nonequal?
True
Suppose 2*h + 3*p - 238 = 0, 2*p + 0*p = -h + 120. Let b = h + -48. Suppose -4*j + 44 = 5*k, 4*k - 4 = 3*j - b. Is 12 bigger than j?
False
Let q be (-2452)/(5/(-3) - -5). Let w = q + 738. Is w greater than 1?
True
Let x(i) = -4*i**3 - 3*i**2 + 8*i + 4. Let d be x(-4). Let b = 3465 + -3286. Is d not equal to b?
True
Let p(k) = -2*k**3 + 51*k**2 - 112*k - 68. Let a be p(23). Which is smaller: a or 1/27?
1/27
Let g(w) = 8*w - 2. Let l be g(2). Suppose -f - 3*t = -28, 2*f + 2*f = -3*t + 76. Which is greater: f or l?
f
Let c = -0.01 - -0.11. Let v = -4451/6105 + 1/555. Let y = v + 9/11. Are y and c unequal?
True
Let u be (124/8 + 3)*2. Let z(b) = b**3 - 7*b**2 + 5*b + 7. Let l be z(6). Suppose -3*j - l + u = 0. Which is bigger: j or 11?
j
Let o be 5573*(3 - (13 - 121/11)). Is 5573 greater than o?
False
Let z = 36 - 50. Let i = -68323 - -68307. Which is greater: i or z?
z
Let j = -0.3378 - -56.3378. Is j != -35?
True
Suppose 5*f + 31 = -4*u, 3*u = -4*f - 25 + 1. Let n = 13/12 - 5/12. Which is greater: u or n?
n
Let j be (198/48 + -2)*-2 + 4. Is j > 197.9?
False
Let q be (14182/1309*11)/(-2). Is -60 <= q?
True
Suppose 0 = 2*q + 7066*l - 7062*l - 44, -q = -2*l + 2. Suppose 2*u = 5*i - 1, 2*u + 0*u - i = 3. Suppose -u*f + 8 = -f. Which is smaller: f or q?
f
Let q = 6.93 - 10.93. Let f(n) = -8*n**2 - n - 1. Let g be f(-1). Is g equal to q?
False
Suppose 0 = -261*d - 347*d + 5472. Suppose -4*a - 3*v = -3*a + 1, 5*a = -2*v + 8. Suppose 32 = 2*s - u - 4*u, 0 = 3*s - a*u - 48. Which is greater: d or s?
s
Suppose -4*j - 91 - 193 = -4*a, 0 = j + 2*a + 71. Is j not equal to -71?
False
Let w(r) = r**3 + 5*r**2 - 7*r - 2. Let g be w(-6). Let d be (((-4)/(-3))/g)/1. Let q be (142/497)/(2/28). Is q less than d?
False
Let v(p) = 381*p + 446. Let j be v(-5). Is j greater than or equal to -1458?
False
Suppose 0 = -5*p - 5*s, -376*p = -380*p + 5*s - 45. Is p equal to 1562?
False
Let x = 820282/103 - 7964. Let g = x + -435/824. Let v = 1 + -1. Which is bigger: g or v?
v
Let m be (1*(-8)/(-2))/((-8)/(-44)). Suppose 0 = 4*d - m + 2. Suppose -80 = -d*t + 45. Which is smaller: 121/5 or t?
121/5
Let x = -85 - -86. Suppose -8*d = -11*d - t - x, -5*d - 4*t - 4 = 0. Let m = -342 - -7868/23. Which is smaller: m or d?
d
Let h(u) = 37 + 18*u - 16*u - 27 + 32. Let i be h(-23). Let q = i + 5. Do q and -2/45 have different values?
True
Suppose 2*u + 3*y - 72 = y, -5*u - 3*y + 182 = 0. Let l be ((-60)/(-1 + -3))/(u/(-6)). Let v = 385/222 - l. Do v and 1 have the same value?
False
Let s be