6022/1217 + -66143. Which is greater: 0 or k?
0
Let x = 4476 - 196973/44. Are -2 and x non-equal?
True
Let u(f) = -f**3 + 23*f**2 - 8*f - 254. Let d be u(22). Is 217/4 at least as big as d?
True
Let r = -4239 + 3903. Which is smaller: -1 or r?
r
Let d be -72 - 0 - (-3 + -5 + 5). Let h be (-2044)/35 - (-2)/5. Let b = d - h. Do -10 and b have different values?
True
Suppose -3*q + 3282 = 5*y, y + 3*q = 436 + 218. Let a be (24/36)/(6/y). Is 73 < a?
False
Let c = -12604 - -13059. Which is bigger: c or 6818/15?
c
Let j be 3512/(-3)*(-29 + 32). Let m be (-3)/12 - (-1 + j/(-32)). Which is greater: m or -0.2?
-0.2
Let h = 527.75 - 10.75. Let x = h + -514. Which is bigger: x or 0.2?
x
Let d be 2/(-39) - 0/2. Let x = -0.01355 - 0.18645. Which is bigger: d or x?
d
Let i = 8.5 - 9.67. Let u = 21.17 + i. Let s = -15 + u. Is 9 smaller than s?
False
Let i = -462.1 + 58.1. Let n = 404.1 + i. Let a = 1 - 0. Which is smaller: a or n?
n
Let z be (9/(-15))/((-1918)/40). Are 0 and z unequal?
True
Suppose -5*n = -0*n - 5, -4*v + 21 = n. Suppose -10 = -5*i, -v*i + 0 + 1 = j. Let z be (4 + j/2)*1. Which is smaller: z or 24?
z
Suppose -563*c + 10353 = -70*c. Let d = 14 + -8. Which is smaller: d or c?
d
Let x be (0/(-3) - -3)*3. Let f = x - 16. Suppose 3*g + 15 = 0, -5*j - 5*g - 70 = -0*j. Does j = f?
False
Let m = 209 - 50. Let r = 155 - m. Is r at most -4?
True
Suppose -12*c - 90 = 3*c. Let h be (2 - -5 - 11) + c/(-2). Which is smaller: h or 7/53?
h
Let p = 140 - 136. Suppose 4 = -2*l - p*k - 24, 0 = -4*l - 4*k - 40. Which is bigger: l or 1?
1
Suppose -l - 1 + 28 = 0. Suppose -l + 3 = -8*y. Suppose 3 = 3*n + 3*d, 2*n - y*d = -6*d. Which is bigger: 12 or n?
12
Let u = 283.1944 + -0.1944. Is u < -1?
False
Let i(l) = -410*l**3 + 2*l**2 + 3*l + 1. Let v be i(-1). Suppose 20*x - 25*x - v = 0. Let k be (-4)/16 + x/(-136). Is k bigger than -1?
True
Let j = -72562655/2148 - -67563/2. Is 0 at most as big as j?
True
Suppose -5*u - 3*u = 0. Suppose -4*c + 8*c - 4 = u, 0 = -2*k + c + 401. Is k bigger than 198?
True
Let n be 5/(-10)*246 + -6. Is -124 < n?
False
Let y = -2591 + 1122. Is y < 1?
True
Let m = -8258 + 7343. Which is smaller: -913 or m?
m
Let a be 80/50*(-5)/(-2) + -3. Is -26/151 <= a?
True
Let d(v) = v**3 + 14*v**2 - 17*v + 28. Let m be d(-15). Suppose 37*z - 21 = -m. Is 72 at most z?
False
Suppose -7182 = -27*z - 3024. Is z > 130?
True
Suppose -4466 = 124*k - 3722. Is 1024 > k?
True
Let l be -2213 - (-8)/40*-5*7. Is l less than -2220?
False
Let v = 7955/115776 - -23/4288. Let j = 45 + -32. Is v equal to j?
False
Suppose -2*v + 4*m - 117 = 123, 0 = 5*v + 2*m + 624. Let a = v - -223. Let p be (-22)/a + 76/99. Does p = 0?
False
Let g = 478 - 2096/5. Which is greater: g or 58?
g
Let x(b) = b**3 + 8*b**2 + 12*b + 3. Let a be x(-7). Let v be (-36)/16*9/((-108)/a). Do v and 2 have the same value?
False
Let z = -261.6 + 240.6. Let j = -1.7 - 34.3. Let o = z - j. Is -2/9 smaller than o?
True
Let o be (-26927)/(-2505) - (-10)/15. Let w = -8/501 + o. Let l(t) = t**3 - 9*t**2 - 7*t - 19. Let a be l(10). Are a and w equal?
False
Let m = -229/4 - -57. Let b be (0 - -8) + 0 + (881106/1881)/(-59). Which is bigger: m or b?
b
Suppose 4*j - 6*j + 24 = 0. Let w be (-11)/(-22)*j/(-2). Let i be (-3 - w) + (-6 - -2). Is i at most as big as -5?
False
Suppose 0 = -4*s - 3*r - 1689 - 201, 3*r = 6. Suppose -1407 = 3*z - 2*j, 0 = 9*z - 2*j + 3009 + 1248. Are z and s equal?
False
Suppose -2*j + l = 131, -96 - 157 = 4*j - 5*l. Let g = -3385.1 - -3385. Do g and j have the same value?
False
Suppose 0 = -6*u + 3*u + 12. Let r be 10/(-206)*(u + -6)/2. Which is bigger: r or 1?
1
Let b = -5.9 + 8. Let w = 265 - 262. Suppose 0*f - z - 7 = -2*f, -w*f + 2*z + 12 = 0. Which is smaller: f or b?
f
Suppose u - 82 = 4*k, -k + 7*u - 23 = 8*u. Let r = -8 + -15. Is r less than or equal to k?
True
Let u be 34/(-16)*-2 + (-6)/(-8). Suppose -u*z = -11*z + 18. Suppose -z = 7*a + 11. Which is greater: -10/3 or a?
a
Let c = -1143 - -1143.0689. Which is bigger: -2 or c?
c
Let u(b) = -16*b + 1000. Let h be u(62). Is -0.023 bigger than h?
False
Let t be (2/(-6) + 1)/(((-20264)/(-6))/(-4)). Is -1 > t?
False
Suppose 44*y = 48*y + 93*y - 291. Which is smaller: y or -2042?
-2042
Suppose 0 = 2*o + 7*o - 387. Let p(i) = -2*i + 201. Let d be p(o). Are d and 117 nonequal?
True
Let u be 5/20 - 2/((-8)/(-6229)). Is -1555 bigger than u?
True
Let d = 73 + 96. Suppose d - 169 = 5*b. Let h = 2122/21 - 101. Is b less than or equal to h?
True
Let t = -0.79 + 0.9. Let v(x) = -48 - 3*x + x**3 - x**3 - 19 + 21*x**2 + x**3. Let g be v(-21). Is g at least as big as t?
False
Suppose -19*m + 21*m - 54 = 0. Suppose -f = -2*g + m, 85 = -2*f - f + 4*g. Which is bigger: 1 or f?
1
Let j = -472 + 431. Which is greater: -54 or j?
j
Let a be ((-18)/(-4683))/((-36)/(-168)). Let v = -379/8697 + a. Is v < 1?
True
Let i be (2 + -2)/(-10 - -12) - 703. Let q = 704 + i. Are 29/15 and q equal?
False
Let o = -3331 + 33343/10. Let l = 3742 - 3738. Are o and l unequal?
True
Let m be -6 + -13 - (-855)/38. Which is greater: m or 325?
325
Let l = 61 - 61. Let q be -1 - l/(3/1). Let v(b) = -b**3 - 4*b**2 - b - 8. Let m be v(-4). Which is smaller: q or m?
m
Let h(i) = -i**3 + 25*i**2 + 12*i + 36. Let u be h(18). Let l be 14/(-8)*u/270. Which is smaller: l or -16?
l
Let r(q) = 24*q - 538. Let k be r(51). Which is smaller: k or 684?
684
Let o be ((-1)/2)/(2/100). Let w be (-4)/10 + (-135)/o + 0. Suppose 0 = w*f - 5*y + 4*y + 9, -23 = 3*f - 5*y. Is 1/42 at most as big as f?
False
Suppose 14*k = 29*k - 120. Let x be ((-33)/(-9) + -3)/(k/36). Which is smaller: 11/3 or x?
x
Let a be (-122)/4*(-142)/19. Suppose 5*b - 93 + 1241 = 4*r, -2*r - 680 = 3*b. Let y = b + a. Is 1 equal to y?
False
Let u be 11 + -27 + (-36)/96*-16. Let g = -14 - -3. Let f = -18 - g. Which is bigger: u or f?
f
Let h = 94 - 106. Let t be 5 - 10 - (-4)/(h/(-15)). Which is bigger: -1/17 or t?
t
Let f = -5090 + 40943/8. Is 28 at most f?
False
Let r = 414 + -274. Let t = 141 - r. Which is smaller: t or 0.075?
0.075
Suppose 1156 = 121*v - 125*v. Let l = v - -485. Are l and 197 non-equal?
True
Let q = 65 - 33. Let x(a) = -85*a - 458. Let m be x(-9). Suppose 14*r - m = 141. Is r < q?
False
Let y = -106252 - -7331248/69. Are -1 and y equal?
False
Let u = -358761/2 - -179382. Let b = 69/5 + -66/5. Is b not equal to u?
True
Let h be (0 - 2)*44/(-451). Let y = h + -103/738. Suppose -4*c - 2 = -5*u + 18, 3*c + 15 = 0. Which is greater: u or y?
y
Let x = 5098/9084933 - 8/4887. Which is bigger: x or 1?
1
Let n = -7353 + 51474/7. Which is smaller: n or -286/5?
-286/5
Suppose 5*y + 4*i + 5 = 0, -5*y + 2*i + 0 - 5 = 0. Let r(u) = -6*u - 5. Let j be r(y). Let c be (-422)/142 - (j + -4). Which is smaller: c or 0?
0
Let p = -38539 + 38376. Are p and -176 nonequal?
True
Let v = -17 + 16.9. Let h = v + 0.04. Which is smaller: 4/3 or h?
h
Let s(l) = l**2 + 19*l + 19. Let r be s(-18). Suppose 2*o = -v + 4*v + 6, -4*v = -2*o + 10. Let g be 1/o*(-2 + r/2). Is 22 equal to g?
False
Let c = -0.7797 - -12.7797. Is c greater than 0.132?
True
Suppose -48*y + 480 = -8*y. Let r be 44*(-15)/(-1120) + y/(-20). Does 1 = r?
False
Let m be (-54)/(-351) + (-8836)/(-26). Which is bigger: 321 or m?
m
Let q = -6184 - -6185. Which is smaller: q or -4/4707?
-4/4707
Suppose 0 = -186*b + 48*b - 24288. Is -171 equal to b?
False
Let o = -94 + 157. Let i be (2/14)/(9/o). Let s = 8/45 - -2/9. Is i < s?
False
Let c = -1302/4757 + 24/67. Is c at least as big as 4?
False
Suppose -5*w - 121 = -2*v, 2*w = 4*v - 103 + 29. Let b = -2 - -2. Which is smaller: b or w?
w
Let v(j) = 5*j**3 + 344*j**2 - 67*j + 231. Let h be v(-69). Which is smaller: h or 161?
h
Suppose -2982 - 24301 = 12*u + 4349. Is u less than -2635?
True
Let n = 33 - 7. Suppose 0 = 2*w - 46 + n. Let k be (-4)/w + (-32)/(-105). Which is smaller: 1 or k?
k
Let u = -236/13 - -3908/221. Let n = 137/835 - -6/167. Is u greater than or equal to n?
False
Suppose 43999 = -237*a + 92*a - 603571. Which is bigger: a or -4464?
-4464
Suppose -l - 6*p = -2*p + 21, -2*l + 8 = -2*p. Is -6/1003 > l?
True
Let b = 130533 - 1305347/10. Let d(m) = -m**3 + 5*m**2 - 2. Let j be d(5). Which is bigger: j or b?
b
Let d = 3160 - 3159.8. Let n = 68.074 - 0.074. Which is smaller: d or n?
d
Let j = 3.01 - -136.99. Let g = 