. Suppose 0 = -7*r - 14 - t. Let m(g) = -g**2 - g + 1. Let s be m(r). Is s >= -7/3?
True
Let q be ((-4)/3)/(-8*(-6)/93672). Which is greater: -2604 or q?
q
Let r = 63 - -6. Suppose 2*a = j + 102, -j = -3*a + 85 + r. Which is smaller: 51 or a?
51
Let c(d) = 175*d - 342*d + 176*d - 4. Let b be c(9). Which is smaller: 76 or b?
76
Let i = 77 + -73. Suppose -i*s = -4*h + 332, -4*s + 0*s = 12. Is 79 >= h?
False
Suppose -6*x = -5*x - 23. Suppose x*m = 239 + 612. Is m > -1/2?
True
Let j = 17 - -3. Let d = 306751 + -306732. Which is smaller: j or d?
d
Let f be (0 + 0/(-5))/(0 - 2). Let c(x) = -8*x - 108. Let q be c(f). Which is bigger: -109 or q?
q
Let c = 126 - 180. Let d be (c/21*1)/(117/(-42)). Which is greater: 0 or d?
d
Suppose -249 = 3*d + b + 145, 4*d - 2*b + 532 = 0. Let m = 5914 + -6047. Is d bigger than m?
True
Let j = 1618 + -1616. Suppose -24 = o - 3*o. Suppose 3*y - 3 = 0, -3*c + 6 = 3*y - o. Which is bigger: j or c?
c
Let n = 74 + -55. Suppose 4 = -18*s + 19*s. Suppose 0 = -s*u + 3*u + n. Which is greater: u or 20?
20
Suppose -164 + 164 = -2*t. Let f be (1 + t)/(-1) + (-58)/(-14). Suppose -s - 4 - 3 = -4*r, s = r + 2. Which is smaller: r or f?
r
Suppose -4*m = 2*w - 28, 41*w + 27 = 3*m + 44*w. Suppose 125 = n - m*q + 2, -3*n + q = -439. Which is smaller: n or 147?
147
Suppose r = 5*g + 5, 6*r + 2*g + 94 = g. Suppose u + d + 17 = 0, 0 = u - 2*d + 15 + 2. Which is greater: r or u?
r
Let t be 2 + (-560)/(-189) + -5. Let k = -59 + 83. Let v = 23 - k. Are t and v equal?
False
Let k = -6.3218 - -6.1. Which is smaller: k or 2?
k
Suppose -2*k - 2*h = -102, -28 = -2*k - h + 69. Let j be 3 - -22*(-3 + (7 - 2)). Which is bigger: j or k?
j
Suppose -5*i + 35 = 425. Suppose -232 = 3*v + 6*c - 2*c, -230 = 3*v + 5*c. Is v less than i?
True
Suppose 25*r = -21*r - 2*r. Let i(h) = 2 - 2*h**2 + h + 8*h**2 - 3*h**2. Let z be i(r). Do z and 7/5 have different values?
True
Let y(c) = 4*c**2 + c. Let m be y(-1). Suppose 0 = 11*n - 8*n - 21. Suppose 0 = m*p - n*p + 4. Which is smaller: -3/13 or p?
-3/13
Let m(o) = -o**2 + 6*o + 11. Let n be m(7). Let c be (-32)/4*(-2 + n). Let g = c - -12. Is g equal to 8?
False
Let z = 5792 + -5791. Which is greater: 55 or z?
55
Let a be -1 - (3 + 421041/(-97560)). Let i = -37/120 + a. Let u(f) = -4*f - 28. Let h be u(-7). Is h <= i?
True
Let m = -383 - -736. Let d = m - 358. Suppose 3 = -o - 4*g + 2*g, o - 5*g = -10. Is o < d?
False
Suppose 4*l = -3*s + 1294, -4*s - 1280 = 8*l - 12*l. Let g = l + -641/2. Is g bigger than -4?
True
Let m = -173 + 361. Let l = -175 + m. Let t be 3 + 12 - (-1 + 3). Is t at least as big as l?
True
Suppose -2*g + g = 3*x + 9, -3*g - 12 = 4*x. Let u = 775 + -938. Let t = u + 162.7. Which is smaller: t or x?
x
Suppose 5*t - 28 = 457. Let y = -125 + t. Let x be (-3)/(22/y + 1). Is x equal to -14?
True
Let s be (42/(-30)*(-30)/70)/(2/7390). Is 4433/2 equal to s?
False
Suppose 2*d + 2*r - 3906 = 0, 4*d - 4*r - 1355 = 6433. Let z be (-6)/(-9)*(-18)/d. Which is smaller: z or 0?
z
Let b be (1 - (8 + -4)) + -1. Let u(t) = -4*t**2 + 3*t + 2. Let o be u(b). Is -75 less than or equal to o?
True
Suppose 5*u = 7 + 8. Suppose -u*z = 3*h + 12, -5*h - 2*z + z - 4 = 0. Let j = -623/15903 - 13/513. Is j greater than h?
False
Let b be (-47)/(-423)*(0 + -4 + -5). Which is smaller: 1/472 or b?
b
Suppose 0 = -2*d + 68 - 16. Suppose 0 = -4*m + 42 - d. Suppose j + 5*y - y = 7, -4*j - 4*y = -m. Are 2/55 and j nonequal?
True
Let p be -1*7/(-3) + 260/390. Suppose -3*g - 4 - 5 = -p*h, 4*g + 5*h = -12. Which is greater: g or -15?
g
Suppose 0 = 4*p - 22 - 282. Let m = -1850 - -1851. Do p and m have the same value?
False
Suppose -6*r + 2*h - 85 = -r, -4*h - 55 = 5*r. Let t be (r/40)/((-15)/(-4))*4. Is -4/9 != t?
True
Let o = 22 - 1. Let f(v) = v**2 - 166*v - 657. Let i be f(-4). Are o and i unequal?
True
Let a(p) = p**2 - 8*p - 12. Let o = 194 + -187. Let q be a(o). Which is bigger: q or -200/11?
-200/11
Suppose -5*j - 699 = 581. Let x = -3604 - -3349. Do j and x have the same value?
False
Suppose 197*g = 307*g - 185719 - 650611. Which is greater: 7606 or g?
7606
Let y(k) = -54*k + 584. Let q be y(73). Which is bigger: -3357 or q?
-3357
Let p(u) = -u**3 - 9*u**2 - 7*u + 13. Let w be p(-8). Suppose -l = w - 16. Let z(g) = -g + 3. Let y be z(l). Which is smaller: y or 2/7?
y
Let t = 2879/1890 - -74/135. Which is smaller: 2/17 or t?
2/17
Let g(q) = 4*q + 22. Let d be g(-5). Suppose 0 = 3*n - 15, -4*z - 23 = -3*z - 5*n. Suppose -66 - d = z*r. Which is bigger: r or -33?
-33
Suppose -987 = 3*m - 6*c, 5*c = 4*m + 611 + 687. Which is smaller: -1584/5 or m?
m
Suppose 3*g = -2 + 5. Let n = g - -15. Let v = 4668 + -4653. Which is smaller: v or n?
v
Let c be ((-1265)/(-644))/11*8/(-22). Which is smaller: c or -6?
-6
Let z be (-2)/(-954)*(-21)/1470*-14. Which is bigger: 1 or z?
1
Let t be (-2827898)/2982 + (-10 - 592/(-56)). Let q = 2843/3 + t. Are 0.1 and q equal?
False
Let y = -877927/33 - -26599. Let n = y + 841/330. Is n greater than -3?
True
Let c = 232 - -338. Let k be (-20)/(-6)*(3 - c/85). Let m = -1163/68 - k. Is -6 at most m?
True
Let i = 5237 + -5477. Does -246 = i?
False
Let u = 2392 + -2479. Which is smaller: -85 or u?
u
Let j be (-21)/(-231) - (-3620)/(-11). Are -318 and j nonequal?
True
Suppose 0 = 4*g + 23*n - 22*n - 5, -4*g = -12*n + 60. Is g >= 103/113?
False
Suppose -144*x + 189*x - 540 = 0. Is -4/21 <= x?
True
Let q = -69 - -259. Let r be ((-2562)/(-244))/(1/18). Is q less than or equal to r?
False
Let o be (26 + -1 - -3)/((-602)/(-147) + -4). Does o = 261?
False
Suppose 0*v + 38 = -3*l + v, -2*l + 2*v - 28 = 0. Let i be 0/(-5) - l/30. Let z(s) = -s + 7. Let h be z(5). Which is smaller: h or i?
i
Let m = 9252 + -13139. Is m smaller than -3888?
False
Let q = -683.9 + 737. Let g = q - 14.1. Which is smaller: -2/9 or g?
-2/9
Let w(h) = -6*h + 1. Let b be w(4). Let a be (65/(-15))/(11/33) + 7/(-1). Which is smaller: b or a?
b
Let q(c) = 4*c**3 + 21*c**2 + 31*c + 130. Let i be q(-5). Do i and 0 have different values?
False
Suppose -255 = 5*i - 0*i - 5*q, 4*q = 5*i + 260. Let t = -38 - i. Suppose 4*l + 5*v = -t, l + 6 = 2*l - 4*v. Which is smaller: l or -1?
l
Let r(x) = -119*x**2 + x - 6. Let t be 1 + (-8)/72*-9. Let f be r(t). Which is smaller: f or -479?
f
Suppose -4*j = 5*n - 0*j + 7, -6 = 2*j. Let q be (n/7)/((-50)/(-5425)). Which is bigger: q or 16?
16
Suppose 0 = -t + 26 - 1. Suppose -t*u + 972 = -13*u. Which is greater: u or 80?
u
Let m(g) = 22*g - 1235. Let d be m(56). Are -105/67 and d equal?
False
Let j = -35.5 - -23.5. Is -11.7 <= j?
False
Let q be ((-1222)/285)/13 - 2/(-5). Which is bigger: q or 0?
q
Let a = 322 - 790. Let n = 468.06 + a. Are -3 and n nonequal?
True
Let h be 5 + 9*7/(-21). Suppose -3*f + 3 = -y, h*f + 2*y = 6*y + 2. Is 15/22 bigger than f?
False
Let m = 11692 - 11691.5. Is 279 != m?
True
Let t = -21662 - -21744. Which is smaller: 2 or t?
2
Let t = 0.4723 + -0.4324. Which is bigger: t or -0.1?
t
Let w = -1.94 + -0.06. Let b = -15321 + 15589. Is b greater than or equal to w?
True
Let k = 103 + -171. Let v = k - -67.27. Which is smaller: -1/4 or v?
v
Suppose -2*i - 3*i = 2*z - 25, -4*i + 5*z = 13. Suppose 2*y - 18 = r, 2*y = 5*r + i*y + 68. Let q(j) = -2*j - 33. Let a be q(r). Is a at least as big as -7?
True
Suppose -2*b + 2*k + 406 = 0, k = -5*b + 484 + 549. Let x = -206 + b. Is 2/17 equal to x?
False
Let r = 4412/7 + -628. Let z = 63 + -62. Which is smaller: z or r?
z
Suppose 46 + 109 = 5*c. Let p = 789 + -706. Suppose 77 + p = 5*n. Is n smaller than c?
False
Let l be (-52)/(-104) + 58/4. Let o be (-9)/l*(-14)/(-42). Let r = 91/120 - 5/8. Which is smaller: o or r?
o
Let d be 74/(-444) - (-1790)/12. Let t(m) = -m**3 - 15*m**2 - m - 15. Let h be t(-15). Are d and h equal?
False
Let c = -12458 + 13991. Is c > -0.1?
True
Let c(d) = d**2 + 4*d - 5. Let v be c(-5). Suppose -2*j = 4*b - 178 - 972, j = b + 566. Let o = 9680/17 - j. Is v <= o?
True
Let p = 1/248 - 4969/2232. Let c = p + -91/36. Which is bigger: -6 or c?
c
Suppose 25*k = 26*k + 116. Let r = -113 - k. Let g be (3/6)/(2/(-4)). Are g and r nonequal?
True
Let o(k) = -20*k**2 - 96*k + 19. Let y be o(-5). Let h be 10/(-20) + (-2)/(-116). Are h and y non-equal?
True
Let l = 9114.8 + -9163.8. Let r = -2 + 2. Let t = r + 1. Is l smaller than t?
True