pose -r*n - 7*n + 504 = 0. Suppose 2*g + s - 40 = 0, 4*g = 5*g + s - 22. Is n equal to g?
True
Let o be ((-265388)/442180 - 3/(-5)) + 21 + -21. Which is smaller: o or 0?
o
Let b be 6/(-13) - 1959520/(-1924). Is b less than 1018?
False
Let f = -228545/49 - -4664. Let o = f - 173/392. Suppose -t - 4*x + 3*x = 5, -23 = 3*t + 5*x. Which is greater: o or t?
o
Let f = -14.6697 + 0.7933. Let k = -0.3536 + f. Let m = k + 14. Is -2/9 <= m?
False
Let v = 3/157 - -293/1099. Let m = 7 + -43. Let t = -35.6 - m. Which is greater: v or t?
t
Let g = 32530 - 33568. Which is bigger: -1047 or g?
g
Let v = -444157/5 + 89187. Which is greater: v or 356?
356
Let b = -45186 + 45186.7. Let q = -61 + 64.1. Let p = -3 + q. Is p equal to b?
False
Let n = 874 + -862. Which is smaller: 1 or n?
1
Suppose s + 5 = -5*r, -3*r - s - 3 = -5*s. Is r less than or equal to -61/37?
False
Let t = 5 + -11. Let c be ((-3)/(-10))/(t/8). Let z = 446 - 456. Which is smaller: c or z?
z
Let j(h) be the third derivative of -3*h**5/20 + h**3/2 + 97*h**2. Let l be j(1). Which is smaller: l or -8?
-8
Let u = -2 - -3. Suppose 1070 = 33*i - 28*i. Let w = i - 2563/12. Is u > w?
True
Let p = 15263/222 + -413/6. Let j(y) = -y**3 - 9*y**2 - y - 7. Let z be j(-9). Suppose 7*x = z*x. Are p and x equal?
False
Let q = 2 + 0. Let t(g) = -2*g**2 - 124*g - 101*g + 225*g. Let d be t(q). Is d <= -0.3?
True
Let p = 5 + -13. Let m = -320719/28890 + 4/2889. Let k = -23/2 - m. Which is bigger: p or k?
k
Let m = 27925/17 - 1642. Let d be (-33)/(-3)*(-13)/(-143). Which is greater: d or m?
d
Let p = 1.47 - 1.27. Which is greater: p or 69?
69
Let y = -260/291 + 4023791/4503225. Are 1 and y equal?
False
Let y = -1292 + 1258. Which is bigger: y or -38?
y
Let x be (((-12)/6)/1)/(-2 + (-3)/(-3)). Which is bigger: 1216 or x?
1216
Let s(z) = 30*z - 12. Let m be s(3). Suppose -25*d + 28*d = m. Suppose -d*u + 17*u = -153. Is 19 equal to u?
False
Let t = 97 - -470. Let c = 567 - t. Which is bigger: 30 or c?
30
Let b = -0.708 + 0.472. Let t = 0.652 + b. Do 0 and t have the same value?
False
Let p be (-8)/14*21/6. Let v be 108/15 - (p + 44/20). Let d = v + -6. Which is greater: d or 7/5?
7/5
Let u = -1345 - -12101/9. Let a be ((-4)/3)/(3/(-9)). Suppose 3*t = -3*l, -a*t = 2*l - 4*l. Which is greater: u or l?
l
Let u be -2*4/(-12)*3. Let k be (u - 2) + (5 - 5). Suppose 5*i + 6 - 1 = k. Is i < -6/5?
False
Let l = 359/4 - 85. Let y = -13/4 + l. Which is smaller: y or -4/7?
-4/7
Let r = 19471/2 - 2200343/226. Is r <= 0?
True
Suppose -5*d = 3*s - 63653, 5*s - 12691 = -58*d + 57*d. Which is smaller: d or 12738?
d
Let a = -1456 + 4369/3. Suppose 3*m + 5*n - 19 = -0, -4*m - 3*n + 7 = 0. Which is smaller: a or m?
m
Suppose 4*m - 2472 = 28*m. Let z be -2 - (m - 9/(9/4)). Is z < 105?
False
Suppose -2*q - g + 17 = 0, -4*q - 35 + 75 = 4*g. Suppose 0 = -5*h - 38 - q. Let x = -4109/500 - 4/125. Is h less than x?
True
Let w be (-5)/3 + (-16050)/(-18). Let q be w/6 + (-4)/3. Let l be (7/q)/((-4)/(-6)). Is l equal to -0.2?
False
Suppose -d - 4 = -5*m, 13*m = 18*m + 4*d + 16. Let x be (-1)/2 - 663/(-1350). Is m greater than or equal to x?
True
Suppose -32*u - 1881322 - 34718 = 88*u. Is -15967 at most u?
True
Let n = -8/355 + -8368/6745. Let j = 4433.8 + -4432.8. Which is bigger: n or j?
j
Let u = -43.5 + 18.2. Let v = 26 + u. Let y = 63 + -443/7. Which is bigger: v or y?
v
Let g be 0 - 271/(-4) - 4/(-16). Suppose -69*l - 22 = -g*l. Is 0 at most l?
False
Let o be -2 - (-3)/5 - -2. Let t = 0.0428155 + -0.1628155. Is o >= t?
True
Let n(g) = -5*g**2 - 10 + 0*g**3 + 23 - g**3 + 6*g. Suppose 3*i - 7*i = -8, -4*i = 5*s + 17. Let a be n(s). Is a bigger than -15?
False
Let j be 1091*(-2)/3270 - 22/(-33). Are 1 and j non-equal?
True
Let m be (-1)/(-3*9/27). Which is bigger: 448 or m?
448
Let x = -494 - -493. Let c = 7 + 182. Is x < c?
True
Let a(j) = 35*j + 248. Let w be a(21). Suppose -w = -4*r - 911. Is r greater than 19?
False
Let i = -10488 - -10481. Does -2/483 = i?
False
Let n be (((-2)/(-1))/(-2) - -1) + (229 - 173). Is -6/29 smaller than n?
True
Let w(o) = 4*o**3 + 4*o**2 + 4*o + 48. Let d(t) = 3*t**3 + 5*t**2 + 5*t + 45. Let z(i) = 5*d(i) - 4*w(i). Let n be z(10). Is 34 < n?
False
Let s be (3/(-15))/(-1 - -2). Let x(l) = 2*l**2 + 4*l. Let h be ((-18)/12)/(-2 + (-33)/(-12)). Let y be x(h). Which is smaller: s or y?
s
Let j be 995948/234 + (-9 - (-79)/9). Let n = 4256 - j. Is 0 < n?
True
Let g(u) = u**3 - 13*u**2 + 85*u - 259. Let b be g(6). Let l be 6 + 1158/(-114) + (2 - -1). Is l less than b?
True
Let k = -52 - 55. Let b = 50783 + -50891. Is k at most as big as b?
False
Let q = 782 - 790. Let p be 90/54 - q/6. Let h = 349/117 + 31/39. Which is smaller: h or p?
p
Let d be (1 + (-61)/58)*-2. Suppose 5*w = -t + 199, -12*w + 15*w + 2*t - 118 = 0. Suppose 1 = -45*g + w*g + x, 3*g + 5*x - 5 = 0. Is d > g?
True
Let p be ((-28)/(-9))/(-7) + (-6546)/(-756) + -8. Which is smaller: p or 78?
p
Let f be (-4)/((-32)/(-4))*-4462. Suppose 16*q - 39*q + f = 0. Does 99 = q?
False
Let j(x) = -2*x + 2. Let o be j(0). Suppose 0*i = n - i, o*n - 30 = -4*i. Suppose -v + 8 = f + f, -35 = 5*v - n*f. Which is smaller: 0 or v?
v
Let h(f) = 41*f - 18*f + 53 - 28*f. Let y = -7 + 19. Let a be h(y). Is -8 at least a?
False
Let x = 344 - 339. Suppose x*r = 28 - 18. Is r at least 1?
True
Suppose 0 = -2*s + 2*r + 44, s - 5*r = -0*r + 38. Suppose 8*g + s - 26 = 0. Is 34 greater than g?
True
Let s be (-15)/3*(-12)/15. Let p = -3 + s. Let l = -5342 - -5342. Is p less than l?
False
Suppose 0 = 2*c - 2*w - 179 - 301, -c + 2*w + 239 = 0. Let u = 242 - c. Which is bigger: u or -1/3?
u
Let b = -21 + -3. Let q be (-110)/(-9) + b/108. Let l(i) = -i**3 + 13*i**2 - 15*i + 29. Let r be l(q). Are r and -13/2 equal?
False
Suppose -x - x - 3*s = -61, 4*x + 2*s = 142. Suppose -2*g = 3*m - x, -2*g + 3*m + 4 = -10. Which is smaller: g or 14?
g
Suppose 2862943 = 17*p + 264*p - 3068967. Is p >= 21110?
True
Let x = 349/8 + -1433/40. Is -11 > x?
False
Let c be (69 - 56) + (-122)/12. Is c > -3?
True
Let g be (4/(-2))/(-2)*(50 - 50). Is g greater than or equal to 33.1?
False
Let w be ((-815)/(-10))/((-2)/4). Let x(u) = -135*u**2 - 773*u + 61. Let d be x(-6). Is w at most d?
True
Let p(d) = -d**3 - 16*d**2 + 13*d - 53. Let b be p(-17). Is 10 less than b?
True
Let f be -4*(46 + -27)*(98/60 - 0). Which is smaller: f or -124?
f
Suppose 910 - 265 = 103*y - 488. Let j(q) = 2*q - 12. Let k be j(8). Suppose -i - 36 = -k*i. Which is smaller: i or y?
y
Suppose -7570 = 9*g - 19*g. Is 758 less than or equal to g?
False
Let m = 107 - 3193. Is m greater than -3085?
False
Let z(k) = 9*k**3 + 5*k**2 + k - 2. Let g be z(-3). Let d be 2/(-212)*(-17 + g/(-7)). Let s = -3 - -2. Which is greater: s or d?
d
Let t = -254 - -225. Let r = -211.8 + 183. Let k = t - r. Which is bigger: -0.16 or k?
-0.16
Let p be 1/(-4) + (-4 - 452298/984). Let a(r) = -31*r**2 - 6*r + 8. Let z be a(-4). Let f = p - z. Which is smaller: f or -1?
-1
Suppose -138*u = -195*u + 100776. Which is bigger: 1765 or u?
u
Let c = -32186 - -33754. Which is greater: c or 0.9?
c
Let v = -1.991 - -0.201. Let m = v + 1.907. Which is bigger: m or 0.2?
0.2
Let s be 197 - (2/(-1) + 1). Suppose -4*c + 796 = 4*z, -3*c + 5*z - 144 + 749 = 0. Which is greater: s or c?
c
Let s(b) = -659*b - 3674. Let n be s(-3). Which is bigger: n or -1699?
n
Let v = -359 - -96. Let n = 267 + v. Let r = -0.3 - -1.3. Which is smaller: r or n?
r
Let x(j) = -2*j - 1. Let n(b) = 2*b - 69. Let l(w) = n(w) + 5*x(w). Let v be l(-10). Suppose m + 3 + 1 = -2*y, 3*y = -4*m + 9. Is m >= v?
True
Let s = -24344162/925 + 26318. Are s and -1 non-equal?
True
Let a = 20114394025/35349 + -569023. Which is smaller: a or -1?
-1
Suppose 3*z + 222 = -5*x, x = -2*x - 5*z - 146. Let y(h) = -h**3 + 89*h**2 + 484*h - 1361. Let p be y(94). Which is greater: p or x?
x
Let f be (464/(-24))/((-12)/(-342)) + -2 + -1. Are f and -548 nonequal?
True
Let d(o) = o**3 + 6*o**2 + 4*o + 15. Let y be d(-6). Let q be 3/(2/((-6)/y)). Let j be (q - 0)*(-378)/30. Are -13 and j equal?
False
Let n = 5.95 + -415.95. Let x = n - -409.9. Which is bigger: x or 13?
13
Suppose -105*c = -49*c - 30*c - 1820. Which is greater: 99 or c?
99
Let d be 87 + -13 + (-36)/(-12). Suppose -80 = -b - s, 0 = -2*b + 2*s - s + 151. Let q = d - b. Which