
Suppose -5*q + 1643 = u, 0 = -5*u - q - 2*q + 8193. Let v be 2/(-9) - (-13)/(u/12628). Which is bigger: 101 or v?
101
Let l = -2362/17 - -139. Let k = 1780497/7 + -255091. Let t = k + 734. Is t > l?
False
Suppose 7*a - 9*a = -14. Let n = -94 + 97. Suppose -n*j = 4*j + 7. Which is smaller: a or j?
j
Let j = -260 - -252. Let l be ((-12)/j)/((-51)/(-34)). Which is smaller: 19 or l?
l
Suppose i = -4*k - i + 162, -210 = -5*k - 5*i. Suppose 31*g - k*g = -152. Is g smaller than 8?
False
Let l = 9607 + -4483. Let r = -266467/52 + l. Let o = 3/26 + r. Do 10 and o have the same value?
False
Let o = 98.9 + -96.9. Let p = -64 - -22. Is o <= p?
False
Suppose 24 = 4*s, -c + 21 = -3*s + 37. Is 271 bigger than c?
True
Let h = 2245/46 + 39/23. Let p be 12 - 9/(18/(-76)). Is h at least p?
True
Suppose -2*j + 0*j - z + 649546 = 0, -4*z = 3*j - 974329. Let c = 34100564/105 - j. Let a = 27/7 + c. Which is bigger: -1 or a?
a
Let a(r) = -33*r - 3. Let d be a(-7). Suppose 3*p = -y - 220, 2*p + p = -3*y - d. Is -70 at least p?
True
Let h = 734 + -424. Let d = 303 - h. Which is greater: 2 or d?
2
Let v(i) = -i**3 + 22*i**2 - 18*i + 146. Let g be v(21). Is 212 at most as big as g?
False
Let s = -939.5 + 721. Let u = s + 191. Which is smaller: 1 or u?
u
Suppose 0 = -5*z - 2*t + 758, -29*t + 31*t - 450 = -3*z. Which is greater: 161 or z?
161
Let t be 2/(-3) + 36/14. Let k = 8768 + -8766. Are k and t unequal?
True
Let t = -0.309 - 0.091. Let a = 0.68 - 2.6. Let b = 0.72 + a. Is t less than or equal to b?
False
Let o be 7*10*2/4. Suppose 2*n - 100 = 4*i, 5*i = 5*n + 7*i - 166. Which is smaller: o or n?
o
Suppose -2*z - 43 = 3*b - z, 2 = -2*z. Let d be (-371)/b + 9/(-6)*1. Is 2 != d?
True
Let o = -2247.732 + -271.208. Let x = o + 2477. Let w = x + 42. Is w less than or equal to -1/3?
False
Let y be (101565 - 1)/((-52)/188). Let s = -367020 - y. Let h = s - 173. Is -1 < h?
True
Suppose -5*j - 3*u + 2 = -0, 0 = 5*j - 5*u - 10. Let z = 391007 - 341349113/873. Which is bigger: z or j?
j
Let w = 0.02 + -0.11. Let u be (27/(-5))/9*5/(-6). Is u < w?
False
Let d = -10.325 + -0.075. Let a = 8.4 + d. Are a and -3 nonequal?
True
Let v be ((-16)/14 + (-37020)/168)*4. Is v not equal to -881?
True
Suppose -9176 - 12023 = 5*l - 4*j, 16960 = -4*l + 3*j. Let b = 152693/36 + l. Let y = -7/9 - b. Which is smaller: y or 0.07?
0.07
Let p = -16537 - -19447. Which is smaller: 2904 or p?
2904
Let h = 5651/10 + -565. Let p(t) = 3*t**2 - 2*t + 1. Let o be p(1). Let g be (-3 - 0) + o + 1. Which is smaller: g or h?
g
Let b = 675528.09 + -675528. Let o = 0.88 - 0.6. Is o greater than or equal to b?
True
Let s = 440 + -668. Let m = s + 236. Is -2/19 at most as big as m?
True
Let o be (-9 - -5)/(-8 + 4). Suppose s + 3*z = 8 + o, 12 = -3*s + 4*z. Is s less than or equal to 24/19?
True
Let s(n) = -7*n**2 - 5*n - 2. Let f be s(5). Let m be ((-23)/((-7084)/17760))/((-6)/21). Let g = f - m. Which is smaller: g or 1?
g
Let a = 370271/1729 - -99/1729. Which is greater: 214 or a?
a
Let c = 80 + -40. Suppose 4*r + q + 187 = 0, 4*q = 6*r - 3*r + 145. Let w = -233/5 - r. Is c not equal to w?
True
Let r be (-3)/2*(-48)/645*31110/(-408). Which is smaller: -10 or r?
-10
Let w be 696528/(-192) - (15/20)/3. Are w and -3628 non-equal?
False
Suppose 10*q - 5*q + z - 9 = 0, -5*z - 5 = 0. Suppose -q*r + 7*x = 2*x + 97, 0 = -2*r - 5*x - 47. Let f be (-387)/12 + (-9)/r. Is -33 at least f?
False
Suppose 2*d - 8 = 2*p, 5*p - 3*d + 0*d = -18. Let j be 2 - (p + 7 + -4). Suppose 0*o = -2*o + 3*x - 23, 2*x - 24 = j*o. Is o > -11?
False
Let l = 5.4 + -63.4. Let t = -82 - l. Is 5 less than or equal to t?
False
Let a be (5140/(-25))/(26/20). Let v = 158 + a. Let n(p) = -p**2 + 5*p. Let r be n(5). Which is smaller: v or r?
v
Suppose -15*i - 21135 = 9848 - 5093. Does i = -8636/5?
False
Let v be 3/5 + 1098/(-305) + 1520/498. Which is bigger: v or 0?
v
Let n(d) = d**3 - 15*d**2 - 3*d - 285. Let p be n(16). Is p equal to -81?
False
Let g(y) = -y**2 - 13*y - 6. Suppose -l = 4*l + 60. Let h be g(l). Suppose h*x = 3*x + 3. Which is smaller: x or 3/5?
3/5
Let k = -5.8 - -4.1. Let f = -1.439 - 0.238. Let m = k - f. Which is smaller: m or -1/3?
-1/3
Let v(c) = c**3 + 4*c**2 + 30*c. Let j(k) = 2*k**2 + k + 1. Let w(m) = -5*j(m) + v(m). Let o be w(8). Which is greater: 324 or o?
324
Suppose -2*f - 26 = -5*x, 2*f = -2*x + 18 - 58. Let o be ((-10)/(-4))/((-27)/f). Let q(g) = g**3 + 4*g**2 - 5*g + 3. Let w be q(-5). Which is smaller: o or w?
o
Let s(j) = 16*j**3 - 2*j**2 - j - 3. Let a be s(-3). Let h = -445 - a. Let g = 2664/11 - 242. Which is smaller: h or g?
g
Let n(b) = -b**3 + 3*b**2 + 6*b - 6. Let o be n(4). Let a = 0.501 + -0.463. Let m = -24.038 + a. Which is smaller: o or m?
m
Let n(f) = 2*f - 1. Let z be n(-9). Let k be -2 + 241/7 - (-6)/(-14). Let s = k + z. Is 13 less than or equal to s?
True
Let w = 15.5 - 15.79. Let r = w - -0.49. Is r < 2?
True
Suppose -50 = -5*p + 5*z, 4*z = 5*p - 0*z - 47. Let n(i) = -11*i**2 - 26*i + 17*i**2 + 9*i**2 + 4 - i**3 + 0*i**3. Let v be n(13). Is p greater than v?
True
Let l be (0 + 1)*(14 + -15). Let q be (-14)/(-4)*51/(-476)*8. Which is smaller: l or q?
q
Let q = 364046 - 363994. Let p = -0.3 + 0.2. Which is smaller: p or q?
p
Suppose -2 = 6*l + 22. Let u be (-5 - l)*-3*(-50)/(-3). Let j = -51 + u. Is -21/10 smaller than j?
True
Let w = 250.8 + -318. Let i = w - -67.1. Which is bigger: 0 or i?
0
Suppose 404 = 5*i + 434. Let f be (i/8)/((-54)/(-60)). Which is smaller: -1 or f?
-1
Let t = 747/7 - 107. Let v be 0*((-15)/10 + 1). Suppose v = -5*a, -2*q + 2*a - a = 0. Is q at least as big as t?
True
Let v be 16/(-48) - (-1549)/3. Suppose 3*b = -k + 8*b - 255, -2*k + 4*b = v. Is k greater than -260?
False
Let q(i) = -11*i**2 + 275*i - 92. Let n be q(13). Is 1625 > n?
True
Let t be -1*(4/6 - (-96)/72). Let d = -20.9 - -22. Let k = d + -0.1. Which is smaller: t or k?
t
Suppose 4*i - 5*k + 28 = 0, -2*k = 22 - 14. Which is bigger: i or -7?
-7
Let w = -43 + 50.76. Let c = w - 7.86. Let z = -0.74 + 0.28. Are c and z non-equal?
True
Suppose -2*p + 5*o + 20 = 0, -15*p + 14*p + 8 = -2*o. Let y be (5/20*p)/3. Is 1/118 >= y?
True
Let w = -53025/17 - -3119. Is w at most -116?
False
Suppose 7*p + 42 - 105 = 0. Suppose -h + p = -4*h. Suppose 3*c = 5*b - 42, 3*b - 6 = -5*c - 42. Which is smaller: c or h?
c
Let l = 122823 + -3562274/29. Is -13 greater than or equal to l?
True
Let w be 3 - (-5 + 2) - 150. Is -140 <= w?
False
Let i(w) = w**3 - w**2 - 3*w + 86. Let f be i(0). Which is smaller: f or 79?
79
Let r(k) = 3 - 1 + 6*k + 0*k - 2*k. Let f be r(0). Let m be f - 6 - 16/(-4) - 11. Are -8 and m non-equal?
True
Let k = 17 - 35. Let a be (-4 + 16)/6 + 80/(-4). Is a less than or equal to k?
True
Let t = -10166.90444 - 0.09556. Which is bigger: t or -0.1?
-0.1
Suppose -x + 5*h = -46, x - 2229 + 2273 = -5*h. Are x and -26/1307 non-equal?
True
Let d(g) = -g**3 - 33*g**2 - 139*g + 40. Let c be d(-28). Suppose c*y - 108 = -96. Which is smaller: -2/493 or y?
-2/493
Let g = 389 + -214. Let o = -383 - -558. Is g >= o?
True
Let q be (-13949493)/(-23254605) - 3/5. Which is smaller: 0 or q?
q
Suppose -307 - 492 = 3*z - 4*h, 2*h = 2*z + 532. Which is bigger: z or -259?
-259
Let v = -4.2 + 200.2. Let b = 196 - v. Which is smaller: 0.17 or b?
b
Let z = 458 - 484. Let r = -935 - -1817/2. Do r and z have the same value?
False
Let s = 35.89 - 34. Let r = 2.09 - s. Which is greater: r or -3/4?
r
Let q(w) = w**2 - 75*w + 351. Let x be q(5). Which is smaller: 1/10971 or x?
1/10971
Let k(w) be the second derivative of 5*w**3/2 - 411*w**2/2 + 62*w. Let g be k(27). Suppose -8 = -5*q + 17, 3*q - 36 = 3*a. Is a > g?
False
Suppose 0 = 5*p - 1885 - 505. Suppose 8*y - 590 = 3*y + 5*g, 0 = 4*y + 2*g - p. Is 121 equal to y?
False
Let t be ((-2)/4)/(-11 - (7 + 1200/(-64))). Which is bigger: t or 2671?
2671
Let u = -20 - 140. Let a = u + 152. Are a and -4 non-equal?
True
Let h = -1151 - -1160. Let m be (-25)/3 + (-1)/(-3). Let p be h/((-18)/m) - 3. Is -2/3 > p?
False
Let y = 5060 + -5162. Is y != 0.1?
True
Let k(z) = -6*z + 4. Let l be k(1). Let j be (6 + 0)/l + -3 - 0. Let i be ((-14)/8)/(1/4). Which is smaller: j or i?
i
Let d = 3999.5 + -3999.2. Do 5.1 and d have the same value?
False
Let a(c) = 3*c**3 - 3*c**2 + c + 1. Let t be a(1). Suppose 26 = -g 