t be (2/(-3) - 0)/(2/(-387)). Suppose 5*j - 260 = 3*x, -x + 42 = -2*j + t. Let s = -2891/34 - x. Is s at most as big as 0?
True
Suppose 27*x - 29*x + 28 = 0. Suppose -5*d + x = i - 2*d, -3*d - 34 = -5*i. Suppose -v + i = -c, c - 4 = -v - 6. Is 40/9 <= v?
False
Let t be -10*4*(-5)/343900. Is t less than 1?
True
Let f = 9.587 - -0.213. Let h = f + -9.4. Is 2 < h?
False
Let a(s) = -5*s + 2*s - s + s - 23. Suppose -12*v - 6*v = -36. Let c be a(v). Do -28 and c have the same value?
False
Let b be 380/4 - (17 + -11). Suppose -y - 3*w - 22 = b, 4*y + 451 = -5*w. Is y greater than -114?
False
Let t = 426 + -427. Let d(u) = 44*u - 9. Let c be d(t). Which is smaller: -157/3 or c?
c
Let p = 429911/3 + -141351. Is p <= 1953?
True
Let a = -17331/2 - -8665. Which is bigger: -2/19253 or a?
-2/19253
Let s = 21430 + -44483/2. Which is smaller: s or -811?
s
Let t = 32 - 218/7. Let r(h) = -12*h + 19. Let d be r(2). Let k(o) = o**3 + 6*o**2 + 7*o + 10. Let l be k(d). Which is greater: l or t?
t
Let j = 3404 + -2322. Which is greater: -4 or j?
j
Let q = 913.5 - 415. Let c = 499 - q. Which is bigger: -6.1 or c?
c
Let m = -262 - -11003/42. Let g(k) = -14*k + 19. Let w be g(1). Let p be 2/w + (168/15)/(-8). Which is smaller: p or m?
p
Let m = 506 - 881. Which is smaller: -373 or m?
m
Suppose 5*j + 28 = 19*j. Suppose -4*x + 425 = -3*k, -7*x + 260 = -j*k - 9*x. Is -135 smaller than k?
False
Let n be (-659103)/(-4233) - (-2)/(-51) - (-4)/3. Is 157 > n?
False
Let x = -5211 + 5211.03925. Is -1/2 > x?
False
Let s be 2*(2 - 6 - -3)/2. Which is smaller: -4/7247 or s?
s
Let k = -268217/18 - -14908. Which is smaller: k or 0.1?
0.1
Let w = -91 - -96. Let y be w/(-1 + -4) - -4. Let r = -2/733 + 11009/5131. Which is smaller: y or r?
r
Suppose 4*x - 4 = 0, -2*s - 27*x = -25*x - 9502. Is 4750 bigger than s?
False
Suppose 0 = -3*j - 0*j - 5559939. Let d = -917390827/495 - j. Let v = d + 32/45. Which is bigger: v or -2?
v
Let s be (-80)/(-138) + -40*23/(-10580). Is s <= 0.57?
False
Let i = -3611 + 14445/4. Which is smaller: i or 1056?
i
Let r(d) = -d**3 + 7*d**2 + 6*d + 18. Let u be r(8). Suppose -3*m + 0*a - 3*a = -534, -u*a = -6. Which is bigger: 174 or m?
m
Let o = -0.9447 + 1.7447. Let i = 1.08 + -0.08. Which is bigger: i or o?
i
Let h = -7.544 - -7.544. Which is bigger: h or 1041?
1041
Let o = -26 + -5. Suppose -15 = -3*s, 3*z - z + 149 = -5*s. Let k be (1769/z)/(((-4)/3)/(-2)). Which is greater: k or o?
k
Let p(z) = -2*z**2 - 315*z - 1818. Let h be p(-6). Which is greater: h or 216/215?
216/215
Suppose 0 = -80*g - 2*g - 99 + 17. Is 13/44 > g?
True
Suppose 33*f = 3*l + 34*f - 9, -l - 2*f + 8 = 0. Let k be (-12)/9*18/(-26). Which is smaller: l or k?
k
Let b(h) = -h + 29. Let m be b(32). Let a be (848/(-18))/(-8) - m. Is 10 greater than or equal to a?
True
Let y = 11266 + -11263. Which is smaller: -0.0366 or y?
-0.0366
Suppose -o = 2*a + 3*a - 178, 0 = -a - o + 38. Suppose -4*h = 4*v - 3*v + 28, 5*h - 4*v + a = 0. Let f(i) = 2*i - 5. Let x be f(h). Which is smaller: x or -17?
x
Let m = 190 - 188. Suppose 0 = -5*q - m*i + 716 - 206, -5*i + 425 = 4*q. Is 98 at most q?
True
Let s(v) = 5*v**2 + 3*v - 1. Let j be s(3). Let w = -27838 - -27893. Which is bigger: w or j?
w
Let l = -20277 - -22820. Is 2544 smaller than l?
False
Let r(l) = -185*l + 1862. Let b be r(0). Which is smaller: -1 or b?
-1
Suppose 0 = -26*s - 254 + 202. Which is greater: -59/75 or s?
-59/75
Let d = 145.4 + -148.7. Which is smaller: d or -1/11?
d
Let p = -1811.0223 + 1811. Which is smaller: 1/3 or p?
p
Let x = 32 + -20. Suppose 35 = 4*d + j, 414*j = d + 419*j + 53. Is d >= x?
True
Let i be ((-6)/8)/((-145)/(-3480))*94/6. Are i and -2265/8 unequal?
True
Let h(s) = -3*s - 1. Let n be h(3). Suppose -v + 3*v + 12 = 0. Let u be (-2)/(-5) - v/(-10)*19. Is u at least as big as n?
False
Suppose 0 = 46*s - 313922 + 48410. Which is smaller: s or -1?
-1
Let s(m) = m**3 - 15*m**2 - 3*m + 34. Let f = -150 - -165. Let c be s(f). Is -2/11 > c?
True
Let z(o) be the third derivative of -o**5/60 - 5*o**4/24 - 5*o**3/6 + 12*o**2 - 4*o. Let q be z(5). Do q and -109/2 have different values?
True
Let g be (4 - 6) + (-2 - -6). Suppose c = 4*s - 24, 3*s - g*c - 3 = 4*s. Suppose -22 = 3*h + s*u, 0 = -5*h + 2*u - 5*u - 10. Which is smaller: h or 2/65?
2/65
Let i = -5914 - -5476.7. Let j = i - -431. Which is greater: j or -2?
-2
Let u = -0.944 + -37.956. Let b = u + -0.1. Is 2/3 smaller than b?
False
Let i = 0.265 + 0.735. Is 9/1405 greater than i?
False
Let x be (-21)/42 - 283/154 - (-10 - -8). Is 1 < x?
False
Let r be -3 + 7 + 2024/(-143). Let m = 916/39 + r. Which is smaller: m or 14?
m
Let r(m) = -m**2 + 22*m + 13. Let d be r(21). Suppose 2*t + 4*o = -d, 1 + 7 = -4*t + 4*o. Which is smaller: 2/3 or t?
t
Let o be 1965/1*((208/16 - 11) + -1). Which is smaller: 1963 or o?
1963
Let r = 1842 + -1834. Let l = -9 + 12. Suppose -l*s + 14 + 7 = 0. Do r and s have the same value?
False
Let u(c) = c**2 + 18*c - 17. Let z be (-19)/(3 + 10/(-5)). Let d be u(z). Suppose r + 2*f = 7, 2*r + 4*f - d*f - 6 = 0. Is -2/7 greater than r?
True
Suppose 4*c + 0*c - 5*b = 51, -5*b = -5. Suppose -241*p = -243*p + 24. Is c less than p?
False
Suppose k - 571 = -2*n, -2*k + 1275 - 421 = 3*n. Let l = -127 + n. Which is smaller: 160 or l?
160
Let g be (-615771)/(-950) + (-2)/25. Let f = g - 648. Which is bigger: 3 or f?
3
Let p(s) = s**3 + 10*s**2 + 6*s - 6. Let g be p(-8). Is 84 >= g?
True
Let u = 10463 + -10463. Which is bigger: -3/1192 or u?
u
Let b = -116.58 - -119.58. Which is smaller: b or -333/22?
-333/22
Suppose 38*i - 5564 = 592. Let y be (-7)/(((-12)/69)/4). Does y = i?
False
Let o = -30549 - -30550. Are 3/11734 and o nonequal?
True
Suppose 75*t = -84*t + 18*t. Is 1/834 less than or equal to t?
False
Let g(o) = o**3 - 31*o**2 - 3*o + 94. Let u be g(31). Is -12/2015 not equal to u?
True
Suppose 20 + 58 = -72*z - 6*z. Which is smaller: 1/683 or z?
z
Suppose 0 = -3*t - i - 500, 5*i = 4*t - t + 506. Let k = -178 - t. Which is greater: -13 or k?
k
Let d be (-1)/(242/140 - (-9)/(-5)). Is d smaller than 27?
True
Let i = 15544 - 15484. Which is smaller: i or 10.9?
10.9
Suppose 5*g = 5 + 20. Let u be g/9 + 1/(-2). Let l = -49061 - -49060. Which is smaller: u or l?
l
Let y = -4 + 5. Suppose 0 = 23*x + 10*x - 830 + 797. Is x < y?
False
Let c = -2779 + 3364. Which is bigger: 8/7 or c?
c
Let z = -1.15214 + 0.10324. Let d = 0.0489 + z. Which is smaller: d or 1/299?
d
Let d(y) = 1316*y - 16195. Let g be d(12). Let r = 0.1 - 1.1. Is r at least as big as g?
True
Let o = -53 + 54. Let u = o + -1.03. Let r = -0.97 + u. Which is greater: -9/2 or r?
r
Let j = 2842 - 2847. Which is smaller: j or 88?
j
Let c = -5 + -79. Let w = 425 + -423. Which is greater: w or c?
w
Suppose -v - 452 = 4*k, 4*k + 444 = 5*v - 4*v. Let c be (6/(-10))/(k/(-80)). Do -1/10 and c have the same value?
False
Suppose 4*v = -c + 860, 3*c = -5*v - 32 + 1100. Suppose 0 = 5*o + 3*o + v. Let m be 2/((-36)/o*(-1)/2). Which is greater: 0.14 or m?
0.14
Let d = -2042/9 + 173561/765. Is d greater than 2.9?
False
Let o = 319 - 638. Let w = o + 339. Which is smaller: w or 17?
17
Let l = 10983 - 10703.8. Is -0.1 < l?
True
Let r = 45884 - 45886.0897. Let d = r - 0.0003. Let q = d + 0.09. Are q and -10 equal?
False
Let q = 32 - 27. Let b be ((-10)/15)/(0 + q/(-507)). Let z = b + -27388/405. Which is greater: z or 0?
0
Let b be (-1391)/2264 - 1/4. Let p = 3/283 - b. Suppose -76 = -212*j + 87 + 49. Is j greater than p?
True
Suppose 0 = -c + 37 - 19. Suppose 3*z + 6 - c = 0. Let a be 5/2 - z/8. Which is smaller: a or 5/4?
5/4
Suppose -1555*n - 91519 = -1465*n + 678701. Which is smaller: -8557 or n?
n
Suppose -7*f = -8 - 41. Suppose -2*t - 6 = -n, n - t = 2*t + f. Which is smaller: n or -2?
-2
Let h = -984 + 489. Let c be (h/2)/(-9)*-2. Let p be 1/(0 + (-5)/c). Is 10 less than or equal to p?
True
Let m(z) be the second derivative of -z**3/2 - 9*z**2/2 - 42*z - 1. Let j be m(-3). Which is bigger: j or -7/15?
j
Let k = 16513.1 + -16510. Do k and 93 have the same value?
False
Let s = 18602.8 - 18598. Is -316 smaller than s?
True
Suppose 35*n = 40*n + 3*b + 387, 0 = b + 9. Let d(r) = 11*r - 5. Let o be d(-6). Which is bigger: n or o?
o
Let y be 2/(-7) + ((-306)/21)/(-2). Suppose y*x + 8*x = 5*x. Suppose x = -18*p + 20*p + 16