Let p be ((-8)/8)/((-1)/(-35)). Let k = p + 43. Let i be (-3)/4 + 11185/(-1540) + k. Which is bigger: i or 0?
0
Let r = 20014 + -18161. Which is greater: 1854 or r?
1854
Suppose 5*r - 4*s + 266 = 0, r + s = -0*s - 55. Suppose -2*h - 39*v - 36 = -40*v, -2*v = -8. Let c = h - r. Which is bigger: 40 or c?
40
Suppose 25 = 120*z - 121*z. Let x be 29/(-9) - 36/(-162). Which is smaller: x or z?
z
Let x(w) = 3*w + 13. Let u be x(-10). Let z = 1904.5 - 1904.9. Which is smaller: z or u?
u
Let y be (-1)/(((-10)/4)/5). Let m be -2 - (-55 + 13) - (21 + -8). Is m at least as big as y?
True
Let i = -0.36 - -0.46. Let w = 0.03995 + -167.03995. Is w at most as big as i?
True
Let f be (-22)/5 + 4 + 65975/125. Is f greater than 527?
True
Let z be -12 - 184/(-16) - 5. Let w = -11 + 11.01. Which is bigger: z or w?
w
Suppose 69*r - 64*r = -85. Let y(a) = -15*a - 211. Let d be y(r). Is d <= 44?
True
Let t = 0.115 + -0.128. Let p = t - 2.987. Which is smaller: p or 10?
p
Let n = -1916 - -1916. Is n bigger than -5/524?
True
Let j(o) = -194*o + 436. Let w be j(6). Let m = w + 728. Is m bigger than 2/1593?
False
Suppose 7*l + 20*l = 6*l + 21. Let g = -773/7 - -74173/672. Is l at least g?
True
Let v = 17599 - 15770. Which is smaller: v or 1830?
v
Let l = -69.6975 + -0.3025. Is l greater than -1?
False
Let f be 5*(3 + -7 + 7/5 + 3). Which is smaller: 95/94 or f?
95/94
Let w = -22 - -22. Suppose w = -f - f + f. Let n be (f - (-4)/(-150))*10. Is n greater than 0?
False
Let w = -95 + 108. Let k be (0 + 1 + 1)*(-3 + w). Is 21 smaller than k?
False
Let o = -3 + 0. Suppose -23 = 18*d + 157. Let k be d + ((-3 - -3)/(-6) - -2). Which is greater: k or o?
o
Suppose -3*u - 4*h + 92 = -2*h, -u - 2*h + 36 = 0. Suppose a + u = -2*s, 29 + 86 = -5*a - 5*s. Is -195/11 > a?
True
Suppose 750*l = 756*l - 270. Are l and 59 equal?
False
Let y(k) = 21*k + 202. Let a be y(76). Which is smaller: 1797 or a?
1797
Let u be 94*((-3)/(-9))/(2/6). Suppose -4*y - 564 = -10*y. Is y less than or equal to u?
True
Let l(i) = 134*i + 111 - 46*i - 44*i - 47*i. Let r be l(35). Is r greater than 5?
True
Let p = -1.536 - -0.056. Let x = p - -0.48. Is x bigger than -22?
True
Let y(f) = -5*f**2 + 2*f + 33. Let u = -172 - -164. Let o be y(u). Is -302 equal to o?
False
Let h be (-2 - (-42)/20)*-4. Let r = 0.00624 + 2.89376. Is h at least r?
False
Let k be 118/10 - 3 - (-16)/80. Suppose -15 = 6*z - k. Let b be (8/(-132))/((-14)/(-6)). Does z = b?
False
Let k = 7335589/146545 - 1752/35. Is k bigger than 1?
False
Suppose 0 = -3*p + 18, -45*d + 89*d + 4*p = 46*d + 24. Let g be (-308)/(-155) + 0 + -2. Which is smaller: g or d?
g
Let s = -37210 + 484132/13. Is s equal to 32?
False
Let c be 16980/16 - (390/440 - 8/(-22)). Which is bigger: 1061 or c?
1061
Let p = 0.27 - 376.27. Let l = p - -384. Is 1 != l?
True
Let a(b) = -b**2 + 51*b - 775. Let k be a(23). Which is smaller: k or -127?
k
Let q = 487 - 485. Let r be (-330)/55*(-1)/q. Let j = -0.06 + -8.94. Which is greater: j or r?
r
Let v(r) = r**3 - 101*r**2 + 473*r + 672. Let p be v(96). Is p greater than 4/371?
False
Let d = 253.2 + 0.8. Let y = 133 - d. Which is bigger: 1 or y?
1
Suppose -3*c = -v - 17 - 2, -c + 1 = v. Let p = -450807/2918 + -12/1459. Let n = -151 - p. Which is bigger: c or n?
c
Let q(r) = -2*r + 19. Let l be q(7). Suppose 2 = -l*p + 7. Is 3/91 not equal to p?
True
Suppose 16 = d - 5*h + 14, 5*d - h = 10. Let j be (-1 + d)*17 + -3. Which is greater: j or 13?
j
Let k = 50 - 41. Let r be -18*(2 - 15/k). Is r less than or equal to 20?
True
Suppose 617 = -2*f + 153. Let t = f - -252. Is 12 not equal to t?
True
Let a be 135 - (4 - (4 + 0)). Let y = 3510 + -3375. Is y bigger than a?
False
Let h = -22600 - -19068. Is h at most -3532?
True
Let i = 36.5 + -35.06. Let v = -1.4 + i. Is 19 <= v?
False
Let s = 4602 - 4615. Do s and 15 have the same value?
False
Suppose 3*o = -d + 121, 0 = -4*d - 3*o + 766 - 246. Suppose -5*f - 80 = -4*t, -10*t = -5*t + 2*f - d. Are t and 9 equal?
False
Let z(f) = -10*f + 124. Let a(c) = 7*c**3 + c**2 - c + 25. Let j be a(0). Let b be z(j). Is b less than -124?
True
Let a = -82920 - -82885.011. Let c = -0.011 + a. Let z = 34 + c. Which is bigger: z or 6?
6
Let o = -10 + 29. Suppose -5*c - 20 = -3*c. Let q be c/(-4)*(1 + (-33)/(-5)). Is o less than or equal to q?
True
Suppose -418 - 226 = 2*l - t, 664 = -2*l - 4*t. Let d = l + 316. Is d != -44/5?
True
Let r be 3/5*(-2270190)/1612. Let m = r - -845. Which is bigger: 1 or m?
1
Suppose 0 = 16*x + 108*x + 1011 + 2461. Which is smaller: x or 0.25?
x
Let p be 1100/(-440) + (37494/(-69992))/(12/(-56)). Is 0 less than p?
False
Let g = -5059514/35975 - -3516/25. Let f = g - -201386/266215. Is f at least 0?
True
Let p = 7833.4 - -27.6. Which is bigger: p or 0.1?
p
Let h be (2/60)/((-72)/(-19392)). Let l = -1189/90 + h. Let u = -23/6 - l. Are u and 70 unequal?
True
Suppose w - 9*w - 64 = 0. Let d be 3/(-2)*w/24. Let s be (1 + -2)*(1 - 14). Is d <= s?
True
Let i(t) = -7*t**3 + t - 3. Suppose 3*x - 25 = 5*q, -4 = -q - 3*x + 9. Let d be i(q). Let h = d + -46. Which is smaller: 4 or h?
4
Let j = 49310 - 39595928/803. Let f be (5/(-15))/(2/6). Which is bigger: j or f?
j
Suppose 3*w = m - 2*m - 133, 2*w + 2*m = -94. Let s = w + 52. Suppose -10 = 4*h - 3*i, h - 2*h = 5*i - s. Is h at most as big as -1?
True
Let v = -1276 - -907. Are 7 and v non-equal?
True
Let n = -37 + 15. Suppose 21*c = 15*c - 1020. Let u = c - -146. Is n < u?
False
Let o = -858343/674 - -2547/2. Let a be (3 - 1) + -14 + 12. Which is bigger: o or a?
a
Let r = -167 - -59. Let q = -196 - r. Is -86 less than q?
False
Suppose -15 = -4*d + y, 13*y = -3*d + 14*y + 10. Suppose d*m = -16 + 36. Which is greater: -4/5 or m?
m
Let n = 2 + -5. Let i be -1*7 - (5 + n). Let b = 5 - 15. Is b at least as big as i?
False
Let r = -384 - 199. Let g = r + 588. Is 5 greater than g?
False
Let k(d) = 2*d - 1. Let f(j) = 20*j + 33. Let o(a) = f(a) - 2*k(a). Let u be o(-3). Do u and -14 have different values?
True
Let t = -14386510261689/2980 + 4827688056. Let v = t - 264/149. Let h = v - 176/5. Which is greater: 11 or h?
h
Suppose -15*r + 10*r - i = -4878, 2*r = 4*i + 1982. Which is bigger: r or 978?
978
Let s be (1 + -2)*(5 + -5). Let v = -663 + 28510/43. Which is greater: v or s?
v
Let h be 1992/(-6528) - ((-210)/51 - (-6 - -2)). Is h > -0.229?
True
Suppose 52 = 5*b - 48. Let j be 54/8 - 15/b. Let c be 1 + 3 + j/(-2). Are 2/5 and c non-equal?
True
Let c = 1246/11 - 11126/99. Suppose -j + 3 = 4. Is c at most j?
False
Suppose 193439 = 178*m - 89581. Does m = 1592?
False
Let y = -0.1385 + 8.1385. Let h = 23/3 + -221/30. Is y smaller than h?
False
Suppose -5475 = -216*u - 11209 - 13058. Is -883/10 at most u?
True
Let j = -1367471/62 + 22057. Let z = j + -15821/682. Which is greater: -22 or z?
-22
Let o be (12/(-9))/((-1)/3). Let u be 14/o*(-52 - -46). Is u smaller than 6?
True
Suppose 4*r = 15 + 21. Suppose i - 3222 = 7*i. Let z be (-2)/120*i + (-2)/10. Which is smaller: r or z?
z
Let r = -1.68 - -1.58. Let p = 8 - -160. Do p and r have the same value?
False
Let o = 6955808386415/467 + -14894676924. Let d = o + 12285. Is d < 1?
True
Suppose -23*u + 218 + 449 = 0. Let x = 72 + -49. Which is bigger: x or u?
u
Let q be ((-4)/50)/((-531)/5640). Let a be (8 - (-644)/(-105)) + -1. Let n = q - a. Which is bigger: -1 or n?
n
Let s = 14099 + -15860. Which is bigger: s or 0.1?
0.1
Let y = -249232/129 - -1932. Let o = -4980 - -4980. Which is smaller: o or y?
y
Let v(g) = 0 - 4*g + 1 + 12 + 0. Let w(i) = -i**3 + 14*i**2 - 2*i + 31. Let u be w(14). Let j be v(u). Which is smaller: 1/51 or j?
1/51
Let o be (-13 + (-115)/(-10))/((-9)/(-6)). Which is bigger: -2/5247 or o?
-2/5247
Let l = -27 + 24.3. Let m = l + -3.3. Let u = -0.98 - 3.02. Is u greater than m?
True
Let y = 30225 - 30290. Is y <= 1/83?
True
Let v = 1355 + -1215. Do v and 1/2 have the same value?
False
Let i = 5 - 2. Suppose 0 = 3*n + i - 9. Suppose o = 4*z - 15, 6*z = n*z + 4. Does o = -34/3?
False
Suppose 0 = k - 5*k. Suppose k = 28*u - 25*u + 90. Let c be -6*(-3)/6 + -35 + 32. Is u at most as big as c?
True
Let v = 0.0733 + 136.7267. Which is greater: 0.1 or v?
v
Let h = -36332 + 351221445/9667. Is h greater than -1?
True
Let s = -151 + 97. Let f = s - -193/3. Are f and 10 nonequal?
True
Let j = 7997 + 