)*-5. Is n != -2/109?
True
Let p = -52710 + 9118867/173. Which is smaller: -1 or p?
-1
Suppose 2*c = 3*r + c - 13, 0 = 2*r - 5*c - 26. Let l = 2884/369 + -5293499/2952. Let k = 1788 + l. Is k greater than or equal to r?
False
Let i(m) = 7*m + 1. Let z be i(1). Let o be (-1)/5 - (-2079)/(-105). Let p be (-28)/(-7)*(-35)/o. Which is greater: z or p?
z
Let q be 2 + (-2)/2 + 1. Suppose -4*u - 14 = 5*r + 14, -q*r = -2*u + 22. Let g be 3*(r/(-20))/((-12)/(-10)). Which is bigger: 1/43 or g?
g
Suppose 0 = 36*f + 125 - 89. Which is smaller: f or -1234?
-1234
Let y = 45 - 346. Let i = 237 + y. Is i less than or equal to -191/3?
True
Suppose 5*s + 3*k - 3434 = 0, -3*s - 4*k = -3424 + 1357. Is s at least as big as 695?
False
Let i = -193 + 187. Let a be ((-12)/(-18) - 1)/((-2)/i). Is 97 less than a?
False
Let g = -0.044 - -0.117. Let w = -24.073 + g. Let d = -34 - w. Which is smaller: 1 or d?
d
Let r be -15 + (-110093)/(-7120) + (-1)/16. Let u be (-2)/(-2)*-1*2. Let h be u/5 - 6/(-15). Is r > h?
True
Let g be (1/5 - (-16)/(-80)) + 1. Let b be 1 - g - (-15 - -7)/8. Is b < 7/13?
False
Let n(d) = -63*d - 1437. Let a be n(-23). Which is smaller: 109 or a?
a
Let p(k) = k**2 - 7*k + 14. Let m be p(4). Suppose 20 = 5*l, -m*l + 55 = -5*q - 113. Suppose 3*y + 153 = -5*o, -3*o = -0*o + 2*y + 91. Is q smaller than o?
False
Let x = 4329 - 3774. Are x and 3329/6 nonequal?
True
Let j = 0 - 34. Let m be 1/(((-36)/j)/(-3)). Let y = -26173 + 26170. Is y equal to m?
False
Let b = 36708 + -36710. Is 8608 != b?
True
Let j(z) = -z**3 - 3*z**2 + z - 12. Let w be j(0). Let a be 3/(-2)*(-1000)/w. Is -126 >= a?
False
Let q(k) = 4*k**2 - 4*k - 50. Let f be q(-5). Let u be ((-120)/f - -2)/(2/70). Suppose -2 - 34 = -4*b. Which is bigger: b or u?
u
Let c(z) = -8*z + 3*z**3 + 3*z + 2 + z**3 - 3*z**2 + z**2 + 1. Let n be c(1). Which is bigger: n or 668?
668
Suppose 69 = 4*k + c - 0*c, 75 = 5*k - c. Suppose -10 = -d + 4*r, d - 6*d - r + 29 = 0. Let g be k/(-30)*d/8. Which is bigger: g or 10/3?
10/3
Let f = 18 - 16. Suppose f*p = -4*o + 12, -o + 4*p - 5 = 10. Let c be o/138*((5 - 5) + -4). Which is smaller: c or -1?
-1
Let v = -1488 - -81816/55. Is 0 not equal to v?
True
Suppose -4 = -3*r - 0*r + i, 16 = 4*r + 4*i. Let j = 2830 + -2828. Suppose 3*z = r - j. Is z at least -7?
True
Let v = -58879 + 58867. Suppose 0*l + 55 = -5*l. Which is greater: l or v?
l
Let a = -457 - -683. Let d = 323 - a. Which is smaller: 98 or d?
d
Let v be (15 + 0)*27/15. Suppose 309 = 5*x + q, -3*q = x - v - 46. Let j = -44 + x. Is j less than 19?
True
Let g = 306171 - 306173. Let p(u) = u**3 + 3*u**2 + 5. Let k be p(-4). Let j = -76/7 - k. Which is smaller: g or j?
g
Let m = -1.7421 + -3446.2579. Which is smaller: 0.5 or m?
m
Suppose 6053*k - 6051*k - 2*f = -10, -5*f = 3*k - 33. Which is smaller: k or -48/775?
-48/775
Let a = -1719.2 - -1719. Is -0.563 greater than or equal to a?
False
Let p(l) = -l**3 - 8*l**2 - 8*l + 1. Let j be p(-11). Suppose -2*y - 6*c - 226 = -c, 3*c = 4*y + j. Is -113 smaller than y?
False
Suppose 0*f = 5*f - 4*d - 1637, -4*f + 2*d + 1312 = 0. Suppose -6*v - 25 - f = 0. Let t = v + 120. Is t equal to 61?
True
Let o(d) = d**3 + 7*d**2 + 20*d + 38. Let q be o(-6). Let g = -27 + 12. Let x be 1*6/g - q/40. Which is bigger: x or 2?
2
Let c be 68/(-28) + 3 - 18/7. Suppose -2*g - 12 = 2*i, 2*i + 4*g - 1 = -19. Is i >= c?
False
Let r = -4356 - -135906/31. Is r bigger than 29?
False
Let h = -18 + 27. Suppose -19*k - 88 = -30*k. Suppose a + 0*x - 4*x - 6 = 0, -5*x = -a + k. Do h and a have different values?
True
Suppose 10*z - 3*z - 497 = 0. Suppose z - 17 = -3*g. Let d = 33/2 + g. Which is smaller: d or -3?
-3
Let d be 2/26 - (9 - 329659/1573)/2. Is 101 != d?
True
Let o(l) = -l**3 + 25*l**2 + 101*l - 231. Let p be o(29). Is p < -664?
True
Let z = 208 - 224. Let o = 33 + -49. Let p = z - o. Are 0.09 and p non-equal?
True
Let l = -41 - -40. Let f = 221 + -236. Is f greater than or equal to l?
False
Suppose -6438 = -299*d + 336*d. Which is greater: -167 or d?
-167
Let x be 4 - 1 - (-2)/(-3)*6. Let v be -3 - (-23 + -1) - x. Which is greater: v or 144/7?
v
Suppose 10*j + b = 13*j + 1001, 0 = -4*j + 3*b - 1333. Let r = j + 335. Which is smaller: 9/73 or r?
9/73
Let x = -2.06 - -3.06. Suppose 2*s = -21 - 35. Let m be (s/8)/((-1)/(-18)) + -1. Is m < x?
True
Suppose -2*a = -2*u - 0*a + 14, 4*u + 4*a - 28 = 0. Suppose 243 = -141*m - 180. Which is smaller: m or u?
m
Let m be (4 + (-57)/12)*(-8)/3. Suppose -m*q = 12 - 18. Which is bigger: q or 7?
7
Let d = -15236.5 - -15236. Let z = -0.14 + 0.42. Is z > d?
True
Let o(f) = 2*f**2 + 2 - f**2 - 2*f**3 - 3*f**2 + f. Let t = 83 - 85. Let i be o(t). Which is greater: i or 9?
9
Let l = 3.34 + -3.4126. Let x = 0.3726 + l. Let h = 7 + -10. Is h at most x?
True
Suppose 2*w + w = 0. Suppose -3*m + w = -3. Let k = 102 + -91. Does m = k?
False
Let c = 32 - 30. Suppose 120 = z - 3*o - 118, 2*z - 484 = c*o. Is 245 at least z?
True
Let c = 0.412 + 0.088. Let x(q) = 8 - 9*q + 8 + 5*q. Let n be x(4). Is c less than n?
False
Let l be -5 - (-27)/3 - (168 - -1). Let p = l - -100. Which is smaller: -66 or p?
-66
Let q(i) = i**3 + 8*i**2 - 129*i - 15. Let u be q(-16). Let v = 1799/14145 + 2/615. Is v <= u?
True
Let o(i) = -2*i + 31. Let k be o(11). Suppose 20 = 4*d + 4. Suppose 0 = -13*y + d*y - k. Which is greater: 1/6 or y?
1/6
Let c = -0.289 + 13.389. Let h = -12.6 - c. Let l = h + 26. Do -5 and l have the same value?
False
Let t be 370/(-12) + (-53)/318 + 9. Suppose -92 = -4*j + 8*j. Does j = t?
False
Let h(z) = -4*z**2 - 34*z - 69. Let q be h(-3). Is -204/65 > q?
False
Let b be -1*12/(1 - 2). Suppose 5*q - 56 = -2*a, -13*a = -30*a + 20*a + 6. Do b and q have the same value?
True
Let q(i) be the third derivative of -i**6/120 + i**5/15 - i**4/8 + 13*i**3/6 + 34*i**2 + 2*i. Let p be q(4). Does p = -10?
False
Suppose f + 5*h = 55, -4*h - 9 + 213 = 4*f. Suppose -44*n - 564 = -f*n. Is n at least as big as 93?
True
Let w = 56 + -42. Suppose -5*z + w = -6. Suppose 4*k - 3*j - 9 = -35, -5*k - z*j - 17 = 0. Which is smaller: k or -7?
-7
Let w(g) = -11*g + 80. Let h be w(7). Suppose h*i = -49 - 14. Which is smaller: i or -3?
i
Let i(f) = -f**2 - 2*f + 60. Let z be i(7). Is z != -0.0135?
True
Suppose -31*i = -9*i - 110. Suppose -s + 6*s - 52 = 4*p, 2*s - 48 = i*p. Which is greater: -47/6 or p?
-47/6
Let s be (-117652)/60 - 16/120. Which is smaller: s or -1960?
s
Let j = -0.8765 + 3.8765. Let p = -3.3 - -3.333. Which is smaller: p or j?
p
Let w(z) = 20*z + 421. Suppose 2*x = -5*y - 47, 2*x + 45 = -8*y + 5*y. Let v be w(x). Which is greater: v or -2/439?
v
Let d(h) = 10*h**2 + 233*h + 90. Let u be d(-23). Suppose 0 = 2*m - 8, 3*k + m = -m + 197. Let c be (-1)/((-3)/k*1). Are u and c equal?
True
Suppose 4*k + 383002 = -292774. Let q = -1353605/8 - k. Let m = -256 - q. Which is bigger: m or 0?
m
Suppose -383*o + 75117 + 47443 = 0. Which is greater: o or 330?
330
Suppose -3*o - 2*h + 13 = 0, 142*h - 145*h + 22 = 2*o. Which is smaller: -24/529 or o?
o
Let s = -285 + -228. Let y = s + 169. Is -344 equal to y?
True
Suppose j + j = -10. Let o be j/(-6)*6/(-280). Suppose -70*s - 5*h = -69*s + 15, 2*s = -h - 3. Which is greater: o or s?
s
Suppose 31 - 41 = -2*q - 4*c, 5*q - 25 = 2*c. Suppose 473 = 16*u - q*u. Is u at least as big as 48?
False
Let n(o) = -2*o**2 + 2*o + 1. Let w(m) = m + 1. Let s(h) = -n(h) - 4*w(h). Let g be s(4). Suppose -5*i = -2*x - 4, 4 + 2 = -4*i - g*x. Which is bigger: 30 or i?
30
Let p = 130.6 + -130.7. Is -59.1 greater than p?
False
Let n be (-1)/((-2)/7)*-4. Let v be (-2)/n - 132/385. Suppose r = 2*d + 6, -18 = -5*d - r - 19. Which is bigger: v or d?
v
Let s(g) = g**3 + 7*g**2 - 4*g + 5. Let c be s(-8). Let o = c - -28. Let x be (o - 2)/((-4)/(-16)). Which is greater: x or -13/3?
x
Let x be (4 - 0)*(756/945 - 21/20). Which is smaller: x or 2/18367?
x
Let d = -241 + 241. Suppose -2 = b - h, -4*b + h - 5 = -d*b. Which is greater: -4/97 or b?
-4/97
Let n(w) = -24 - 17 - 3*w - 16*w**2 + w**3 - 10*w. Let b be n(17). Suppose 5*z - b + 17 = 0. Which is smaller: z or 14/5?
z
Let s = -9400 + 9704.2. Which is smaller: 1 or s?
1
Let x = 1653 + -1653. Is x not equal to -21/311?
True
Let n be (-4)/42 - 54272/(-5376). Which is smaller: 1.72 or n?
1.72
Let x = 5 + -6. Let r be 970543