*n - 270. Suppose 0 = n*z + 49 - 49. Is z at most -2/87?
False
Suppose 0 = -4*v - 2*w + 14, 14*w = -5*v + 11*w + 16. Suppose 0 = -3*p + 5*x - 240 + 782, -10 = -v*x. Is 0.1 >= p?
False
Suppose -29*d + 7 = -22. Suppose -3*p - 3*f = -7*p - 48, -f = 2*p + 14. Which is bigger: p or d?
d
Let w be 0 - (-47910)/(-2079)*(-1455)/10. Let d = 3353 - w. Is d > 1?
False
Suppose -3*j = 3*v - 1554, -38*v - 494 = -39*v + 5*j. Suppose 515*c - v*c = -1. Which is bigger: c or 3/205?
3/205
Let p = 10.4 - 153.4. Let u = -142.2 - p. Is u less than or equal to -14?
False
Let d(u) = 6*u + 3. Let h(x) = -3*x - 2. Let s(w) = 3*d(w) + 7*h(w). Let o be s(5). Let m be (-3)/4 + 185/o. Which is greater: m or -9?
-9
Let i(l) = -l + 6. Let c(f) = -f + 5. Let x(h) = h**3 - 5*h**2 - 8*h + 10. Let j be x(6). Let p(u) = j*c(u) + 3*i(u). Let d be p(-5). Is d at most 3?
False
Suppose -3*n + 47 = 4*l - 103, -l + 44 = 4*n. Suppose 19*i = 15*i - l. Is -7 at least i?
True
Suppose 0 = -6*z + 35 - 119. Let m be (-831)/z*(-8)/(-332). Let v = m + -12/83. Which is smaller: 0 or v?
0
Let o(c) = -7*c - 31. Let t be o(-5). Let x(h) = -10 + t + 3*h**3 - 2*h - 9*h**2 - 4*h**3 - 12. Let b be x(-9). Does -2/29 = b?
False
Suppose -3*x + 21 = b, -262*x + 261*x = -2*b + 7. Which is greater: b or 3.41?
b
Let t = 0.195 + 3.725. Let k = 334.12 + -333.2. Let j = k - t. Which is bigger: j or -1/6?
-1/6
Let w = -64/9 + 22/3. Suppose 0 = 3*y - 5*d - 17, 96*d + 21 = -y + 91*d. Which is greater: w or y?
w
Let a(k) = 4*k - 29. Let x be a(-14). Let n = 172 + x. Let y = n - 98. Is -15 greater than y?
False
Let u = 440.4 - 441.2. Which is bigger: u or -88/7?
u
Let g be 831/(21/7)*1. Let s = g - 275. Which is greater: 5/2 or s?
5/2
Let y be ((-4998)/595)/((-19)/(-5)). Let p(w) = w**3 - 16*w**2 + 14*w + 13. Let i be p(15). Which is greater: y or i?
i
Let v = 0.6 - 33.3. Let f = v - -31.7. Is -162 > f?
False
Let y(n) = 3*n**3 + 2*n**2 - 6*n - 6. Let d be y(-4). Let f be -1 - d/(1 - 3). Let c be ((-1)/25)/(f/40). Is c > 0?
True
Let u be (-13)/((-1365)/(-616)) + (-6)/45. Let z be (22/154)/((-21)/u). Are -1 and z non-equal?
True
Let b(j) = -j**3 - 14*j**2 - 49*j - 5. Let x be b(-7). Let c be (-1 + 0)/((-5 + x)/(-90)). Which is bigger: c or 0?
0
Let b(g) = g**3 - 18*g**2 - g + 22. Let q be b(18). Let o be q/10 - 4/5*-2. Suppose -t + 1 = o, -1 = -a + 2*t. Which is greater: a or -1/30?
-1/30
Let x be (72/14)/((-208)/8008). Are x and -593/3 unequal?
True
Let r be 0 + 0 + (-2 - 0). Let j be (r - -3)/((-2)/3). Let w = 5/4 + j. Which is bigger: w or -1?
w
Let u = -0.105 + 0.381. Let w = u - 0.176. Does 55 = w?
False
Let a = -12 + -23. Let t(v) = -5*v - 150. Let f(y) = -y + 149. Let b(u) = -2*f(u) - 3*t(u). Let m be b(-11). Are m and a unequal?
False
Let g = 8 - 4. Suppose 4*o = -5*k + 37, -12 + 4 = g*o. Suppose 7*a + 6*c = 3*c + 104, -3*a - 3*c + 60 = 0. Is k < a?
True
Let o be 876974/35 - (-12)/(-30). Let p be o/62775 - 4/10. Is p equal to 0?
False
Suppose -3*v - 7 = 5. Suppose -4680 = -2*f - 4678. Is f less than or equal to v?
False
Suppose 19*t - 84 = -9*t. Let b be t + -8 - 6/((-24)/164). Is b <= 36?
True
Suppose 0 = z + 4*s - 25 - 26, -5*s - 153 = -3*z. Suppose -3*w + 495 = -3*v, v - 5*w + 122 + z = 0. Which is smaller: v or -162?
v
Let r be (-2716)/(-32) - 3 - 1/(-8). Which is greater: -19 or r?
r
Suppose 0 = -4*s - 8, -5*l - 38 = -27*s + 31*s. Is 60 bigger than l?
True
Let x(w) = -w**2 + 2*w + 29. Let o be x(6). Let n be (-6)/15 + 3*o/100. Are n and -27 equal?
False
Let a be 14/(-21) + 694/168. Let s = -7/4 + a. Let n(i) = -i**3 + 16*i**2 - 24*i + 137. Let p be n(15). Which is greater: p or s?
p
Let t = 0.12 + -0.02. Let n = 78 - 72. Let z be (-84)/9*n/(-4). Which is greater: t or z?
z
Let s be (46 + -4)*(-22)/(-152 - 24). Is 0.07 bigger than s?
False
Let i be (-3843)/(-3255) - (-6)/(-10). Let f = i + 8/93. Is f less than 47/3?
True
Let g be 3/(-5) + (-1 - (-1455274)/1240). Let c = 1172 - g. Which is bigger: c or -1?
c
Let m = -33 - -40. Suppose -4*c = -w + 15, 0 = 2*c - m*w + 5*w. Is c <= -3?
True
Let q be (-104)/(-16) + 4/(-8). Let v(l) = 9*l**2 - 19*l - 7. Let z(u) = 4*u**2 - 9*u - 3. Let c(w) = -3*v(w) + 7*z(w). Let r be c(q). Is 5/17 greater than r?
True
Suppose -5*x + 5 = -4*d + 20, -3*d = 2*x - 17. Which is smaller: x or 32/75?
32/75
Let m = -12648231/38120 - -3/7624. Let i = m - -998/3. Do 1 and i have different values?
True
Let p(a) = 2*a**2 + 25*a - 69. Let u be p(4). Suppose 5*t = i - 247, -65*i + u*i = -3*t - 151. Which is smaller: t or -47?
t
Let w = -228 - -228.386. Let d = w - 0.386. Let b = -0.03 - -0.11. Which is bigger: d or b?
b
Suppose -r - 3 - 3 = -y, -3*y + 12 = -r. Suppose -12 = -y*d + 2*s - 2, -25 = -2*d + 5*s. Let u = 555/23 - 24. Is d greater than or equal to u?
False
Suppose r + 7 = 3*a, -5*a + 1 = -5*r - 7*a. Let j be 3/r*(3 - 4)*1. Suppose 15 = j*m - 5*b, 5*m - b - 25 = b. Is 10 < m?
False
Let y(l) = -3*l**3 + 11*l**2 + 19*l + 3. Let m be y(-2). Let d = m + 255. Are d and 287 equal?
False
Let m = -1.5 + -2.5. Let k(t) = -190*t - 1757. Let l be k(-9). Which is bigger: l or m?
m
Let l(h) = -299*h - 228. Let t be l(14). Which is bigger: t or -2?
-2
Let w be 52/12 - ((-33)/22)/((-6)/20). Let t = 1.02 + -1. Which is greater: w or t?
t
Let l be ((-22)/35695 + 0)/((-2)/10). Let i = -7 + 8. Which is greater: i or l?
i
Let d(m) = 11*m**2 - 22*m + 75. Let l(p) = 5*p**2 - 11*p + 37. Let r(h) = 4*d(h) - 9*l(h). Let y be r(7). Let i be (3/15)/(3/15). Is y smaller than i?
True
Suppose 4*f = l - 196, -9*l = f - 12*l + 60. Let t(z) = z**2 + z - 48. Let b be t(0). Is b at least f?
True
Let f be (-124)/2790 - 374408/(-180). Is 2079 greater than f?
False
Suppose 8*c - 2304 = -2288. Which is greater: c or 0.073?
c
Let d = 870 + -9598/11. Let r be 5*(6/4)/(5/(-2)). Which is bigger: d or r?
d
Suppose -33 = -5*a + 3*u + 17, 0 = 5*u + 25. Let h be (-3)/(6/(-236)) + (-2 - -4). Suppose 0 = -a*k + 12*k + h. Which is bigger: -21 or k?
-21
Let w = -267 - -184. Let z = -76 - w. Suppose 0 = 13*j - 9*j - z*j. Which is smaller: -4/17 or j?
-4/17
Let m(l) = -l**3 + 5*l**2 + 26*l + 11. Let j be m(8). Let r be (j + -4)*(-1)/1. Is r bigger than -19?
False
Let h = -175235/3552 + 1/1184. Let j = -11402/231 - h. Which is greater: j or -3?
j
Let z be 94/(-392) + 1/(-4). Let r(p) = -p**2 - 277*p + 2574. Let f be r(9). Which is bigger: z or f?
f
Let g = -1805/73429 + 3/757. Let v(l) = 38 + 21 + 3*l - 17 - 10*l. Let d be v(6). Which is smaller: d or g?
g
Let l(v) = 9*v - 11*v - 12*v - 3. Let z be l(5). Which is bigger: -71 or z?
-71
Let j be ((630/(-20))/21)/(53/(-14) - -4). Is 26 at least as big as j?
True
Let z = -93.809 + -1.091. Let j = -9644 + 9739. Let g = z + j. Which is smaller: g or 3?
g
Let r = 285.16 - 285. Let q = -67.3 + 63.3. Is r smaller than q?
False
Let k(l) = 89*l - 182. Let w be k(3). Which is bigger: w or 76?
w
Let o(k) = 3*k**2 + 39*k + 8. Let d be o(-16). Let p = 154 - d. Let n = 8 - 7. Which is greater: p or n?
p
Let h be (-1)/3*0 - 610/1100. Let k = 21/22 + h. Is -3.9 at most as big as k?
True
Let b be ((-2528)/(-88) - 6)*(-2172)/10. Let l = b + 4944. Is 9 equal to l?
False
Let w be ((-1)/(-3))/(3/(-1881)*93/3). Which is bigger: w or -6?
-6
Let b = 122 + -122. Suppose b = 9*j - 6 + 6. Is -2/249 != j?
True
Let p(d) = 2*d**2 + 10*d - 16 - 6*d**2 + 10*d**2 - 7*d**2. Let y be p(7). Let h be y/(-7)*(60/(-25) - -2). Is -3 greater than h?
False
Let p be (365 + -369)*((-2)/8)/(-1). Is p at most -4/1229?
True
Suppose 3*u + 4*s - 297 - 117 = 0, u = -5*s + 138. Let c be (16/56)/((-5)/(19460/(-8)) + 0). Are u and c non-equal?
True
Let z = 19.044 - 18. Let h = z - -0.956. Which is smaller: -0.24 or h?
-0.24
Let x(u) = -337*u + 4. Let t be x(1). Let v = t + 366. Which is smaller: v or 30?
30
Suppose 6*m + 2 = 14. Suppose -3 = -m*l + 1. Let a be -1*(l - 2)*1. Is a not equal to -1/76?
True
Let j be 7 - 19 - -8 - -9. Suppose 3*n - d + 105 = 490, -488 = -4*n - j*d. Which is smaller: -3 or n?
-3
Let o be ((-14 - -28) + -14)/4. Is 7/737 < o?
False
Let u be (1516/7)/2 + (-4)/14. Suppose -38*o - u = -35*o. Is o > -36?
False
Let x = 1256.6 + -1069.98. Let f = -186 + x. Is 1/4 at most as big as f?
True
Let l be ((0/2)/1)/1. Let y = 2673/2504 - 295/313. Which is smaller: y or l?
l
Let q be (4 - (-105)/(-28))/(-1). Let b = 0.1 + -2