= -197/513 - -8/19. Which is bigger: i or o?
i
Let f(x) = -44*x**2 - 14. Let y be f(0). Are y and 304 non-equal?
True
Let x = -1291654890/8893 + 145244. Which is bigger: x or 0?
x
Let b = 289227/2 + -66811039/462. Let f = b - 20/21. Which is smaller: f or 6?
f
Let m = -2354 - -2358. Which is smaller: m or -139?
-139
Let x = -104 - -117. Let c be x + (2 + -3 - 3). Suppose c*g - 10*g = 9. Which is smaller: -3 or g?
g
Let c(n) = -21*n - 11. Let p be c(-2). Let g = 35 - p. Let r be (-3)/(((-3)/(-84))/(g/24)). Which is bigger: r or -15?
r
Let m = -43747/8 - -5474. Is -4/5 bigger than m?
False
Suppose -5 = -5*r + 2*u, r + 16 - 20 = u. Is r bigger than -51/92?
False
Suppose q = 2, -5*j - 22*q + 58 = -23*q. Suppose 18*d = -3*z + 14*d - 15, -5*d - j = 3*z. Is z less than or equal to -26?
False
Suppose -2759*d = -2820*d + 61. Are 2/32851 and d unequal?
True
Suppose r - 2*r = 0. Let c be (-4768)/24 + 3 + (-2)/6. Let l be c/600 - (44/24 + -2). Do l and r have the same value?
False
Suppose 13 = -5*t + 3, 3*i = -t + 1249. Let f = 417 - i. Is -4/21 at least f?
False
Let b be -2 + 104/13 - (-116)/(-19). Which is smaller: -339 or b?
-339
Let s be (60/975)/((-6524)/210). Is 1 greater than or equal to s?
True
Let i be 36/63*(-7)/(-2) - 2. Suppose i = 3*s - 5*v + 396, 5*s + 26*v + 660 = 22*v. Which is smaller: -130 or s?
s
Suppose -4*z = -m - 8, 3*z + 5*m + 21 = 4. Let q be (0 - (z + 1))*(15 + -23). Let g(l) = 2*l - 32. Let a be g(q). Is 4/7 greater than or equal to a?
True
Let m be 24/((-9)/(-3)) - 6801544/850164. Is m at least 0?
False
Let g = 125739/10 - 12649. Which is greater: -74 or g?
-74
Let n be 8/(-12)*(-4)/(8/87). Let b be (5 + n/(-2))/(2/124). Is -590 > b?
False
Let t be 25884/(-21) + (-2086)/(-149). Which is smaller: -1219 or t?
-1219
Let p be 11 - 120/12 - (-1 + -2). Suppose -p*v + 2*c = 40, -v + 4*c = 7*c + 10. Which is bigger: v or -14?
v
Suppose 5*n + 11 = -3*y, 27*n - 2*y = 23*n + 22. Which is greater: -356.2 or n?
n
Suppose -2*m = m - 6. Let j be -1 + (m/(-3) - (-80)/(-24)). Let z be (8/j)/(1/5). Is z != -6?
True
Let s(d) be the third derivative of d**4/8 - d**3/3 - 6*d**2. Let h be s(-3). Let w(n) = -n - 10. Let p be w(h). Which is greater: 9 or p?
9
Let k be (-3)/(-5) - 273/5 - (126 - 118). Which is bigger: k or 1/60?
1/60
Suppose 2*i - 10 = 0, -i = 4*c - 4*i + 567. Let s = -141259/8 - -17519. Let w = c - s. Is 0 greater than w?
False
Let u be (11 + -31 - -12) + 8 + 4 + -4. Which is smaller: u or 42/115?
u
Let v be 10206/24 - 3*(-3)/12. Let o = v + -413. Does o = 9?
False
Let n = -217 - -250. Suppose 5*g - n = 47. Let y = 2786 - 11075/4. Which is smaller: y or g?
g
Let i = 5627 + -6836. Which is greater: i or -1210?
i
Suppose -6*l + 4147 = -4*l + q, 4*q - 6208 = -3*l. Is 2077 <= l?
False
Let t = 7517 - 7513. Are 3/2 and t non-equal?
True
Suppose 16*b - 339 = 237. Suppose 41*q + 5 = -b. Is q less than 0?
True
Let u = -0.43 + 2.13. Let p = u - 1.6. Is p at least -1/27?
True
Suppose -14*n + 6 = -20*n. Suppose -2*f + 8 = 14. Let o be ((-20)/f)/((-8)/12*n). Is o at most 10?
True
Suppose -f = -4*x + 5*x + 2, -22 = x - 4*f. Let b be 6 - (-42)/(-7)*x. Which is smaller: b or 2/5?
2/5
Let i be (-25)/(-150) + 1282/12. Suppose 9*r + 116 = i. Which is bigger: 1/442 or r?
1/442
Let v(z) = -32*z + 30. Let g be v(6). Let q = -107 - g. Are 54 and q nonequal?
True
Let k = 0.03329 - 0.10329. Is -70 greater than k?
False
Let i = 17552 - 17552.1. Are 17009 and i equal?
False
Let s = -1.069 - -0.99. Let j = s + -0.491. Let z = j - -0.52. Is -0.4 < z?
True
Suppose -5*d = z - 2*d + 669, 2608 = -4*z + 5*d. Which is smaller: z or -647?
z
Suppose 190*v - 109*v = -643221. Which is smaller: -7940 or v?
v
Suppose -16 - 34 = -z + 5*a, -4*z - 5*a = -200. Let w be 10/z*30/(-16). Let o = w - -15/8. Which is smaller: 1 or o?
1
Let k be 6*2/6*2. Suppose k*j = 3*j. Let s be ((-1)/45)/((-7)/147). Which is smaller: j or s?
j
Let v(c) = -c + 18. Let r be v(16). Suppose 2*o + 14 = 5*p, p - 2*p - r*o - 2 = 0. Suppose -84 = p*f - 5*z + z, 4*f = 2*z - 174. Is -44 > f?
False
Let f = -558/337 + 103947/37744. Let k = -10189/16 - -637. Let x = f + k. Which is greater: x or 0.2?
x
Let y(r) = 63*r - 38*r - 26*r - 16. Let o be y(-14). Let n(v) = -v**2 - v + 1. Let z be n(-2). Is z smaller than o?
False
Let a = -56376/11 + 5124. Let n = 0.1 - 0.2. Which is greater: a or n?
n
Let s = 111.87 - -2.13. Let u(d) = -2*d**3 - 12*d**2 - d - 6. Let j be u(-6). Which is bigger: j or s?
s
Let d be (-354)/(-236)*(-52)/(-10). Let t = 0.41 + -0.31. Is d >= t?
True
Let g = 6.64 - 8. Let h = g - -0.36. Let q = 21 - h. Which is greater: q or -1?
q
Let r = -118 + 73. Let l = r + 80. Let v = l - 35.5. Are 2/15 and v unequal?
True
Suppose -210*w = -219*w - 1683. Is w not equal to -185?
True
Let o = 0.063 - 298.063. Let a = o - -247. Which is smaller: a or -1?
a
Let x be 2/6 + (-4)/(-6). Let i be 57 - 61 - 7953/(-1991). Are i and x nonequal?
True
Let b(l) = -l + 10. Let j be b(8). Let x be (6 - 344/58)*(-6785)/46 - -10. Is x > j?
False
Let a = -16934.2 - -16934. Which is smaller: -7803 or a?
-7803
Suppose 4*p - 185 = 67. Let c be (-310)/(-6)*1620/1350. Is p bigger than c?
True
Let p(y) be the first derivative of -2*y**3/3 + 31*y**2/2 + 5*y + 2. Let u be p(13). Which is smaller: u or 69?
69
Suppose -2*t - 3 = 3*l, 2*l + l = -3. Let w be (4/(-10))/((-24)/120). Let p be w*(-1 - 40/(-44)). Is p greater than or equal to t?
False
Suppose -12*u + 13*u + 64 = 0. Let b(x) = 48*x - 304. Let p be b(5). Do u and p have different values?
False
Let u = -207.104 - -206. Let w = u - -0.104. Are 33/7 and w nonequal?
True
Let q = 25554 + -78334/3. Let d = -564 - q. Let v = -4 - 4. Is v bigger than d?
False
Let n(b) = 48*b - 6417. Let q be n(56). Which is smaller: -3723 or q?
q
Let f be 1779*((-718)/357 - -2). Let u be 10/(-25)*710/(-14). Let k = u + f. Which is smaller: -1 or k?
-1
Let f be ((-2)/(-226))/(38/(-152) - (-90)/8). Is f at most as big as 1?
True
Let u = 873159/50 - 17464. Which is bigger: -2 or u?
u
Let z be 2 + 4 + (-16)/(-3) + (-11 - 0). Is z at most 1649?
True
Let f = 891 - 1819/2. Let t = 1297 - 1317. Which is smaller: f or t?
t
Let v = -52 - -100. Let m = -65.1 + v. Let z = -16 - m. Is 1/3 at most z?
True
Let x = -1.467 - -1.367. Which is bigger: x or 1455?
1455
Let n be (-10)/(-15) + (-110)/66. Is -1/1283 at least as big as n?
True
Suppose 5*a - 165*c + 169*c = 3462, 3*a - 2064 = 2*c. Is a less than or equal to 2761/4?
True
Let c be 36*7/(105/10). Suppose 5*y + c = -19*y. Which is smaller: 1/41 or y?
y
Let s be (-16*1 + -2)/((-9)/(-6)). Let i = -0.0846 - 0.0154. Which is bigger: i or s?
i
Let i = -124.74 - -140.74. Which is smaller: 50.4 or i?
i
Let y = 951 - 775. Which is smaller: y or 2/3?
2/3
Suppose -21*w = -83*w + 24*w + 19*w. Let q(s) = s + 7. Let r be q(13). Are r and w nonequal?
True
Let m be 2*(1 + (19151/2)/(-11) - -4). Are -1731 and m unequal?
False
Let c be 3/(-7) + (-660)/77. Let w(h) = h**3 + 7*h**2 - 16*h + 15. Let m be w(c). Suppose 0*n - 2 = 2*n. Which is greater: m or n?
n
Let h = 67.86 - 67.85765. Is h bigger than -1?
True
Suppose -2*y + 2*h = -44, 7*h = 2*y + 3*h - 40. Let s be (y/(-15) + 0)*(-170)/4. Let c be s/(-255) + 8/(-10). Is -2 > c?
False
Let k = 8452 - 6037. Suppose -f + 16*f = -k. Is f equal to -161?
True
Let x be (-485)/185 + (-2 + 0 - -5). Let h = -758/1221 + x. Are h and 1 equal?
False
Suppose 4*t - 29923 = 26*l - 25*l, 2*t - 3*l - 14979 = 0. Is 7477 at least t?
False
Let s = 61 + -62. Suppose 3*v - 10 = 4*p, -4*v + 6 = -4*p - 2. Which is greater: s or v?
s
Let x be 6 + 3*(-342 - -8). Let a = x + 587. Which is smaller: -408 or a?
a
Let p be (-2205)/490 - ((-270)/84 - 4/14). Is p greater than 4/497?
False
Let p be ((-18)/21)/(14/(-588)). Suppose 3*r + 90 + p = q, 5*r - 4*q + 217 = 0. Is r > -42?
True
Let j = -0.13077 + -12.86923. Which is greater: j or -610?
j
Let n = 29951 - 28410. Which is smaller: -2/13 or n?
-2/13
Let n be 30/(-28)*217/4. Let t(m) = -7*m**3 - 5*m**2 + 8*m + 2. Let v be t(2). Let k = n - v. Which is bigger: k or -1?
k
Let w(j) = 11*j**2 + 10*j - 206. Let c be w(9). Which is smaller: c or 774?
774
Let h = -2315/16 + 747769/5168. Which is smaller: -1 or h?
-1
Let c be 4/((-9 + -4)/22373). Which is bigger: c or -6886?
c
Suppose v - 2*h = -v + 492, 4*h = -4*v + 