Suppose 16 = 4*l - 5*v + 6*v, -l + 2*v - 5 = 0. Suppose 0*q + l*q + 198 = 0. Let z = -29 - q. Which is greater: z or 38?
38
Let a be 4400/35 + (-56)/(-196) + -9. Which is bigger: a or 142?
142
Let d(b) = -7*b**2 + 64*b - 64. Let g be d(8). Which is smaller: -2/1003 or g?
-2/1003
Let g = 15753 - 15754. Are 346.4 and g unequal?
True
Suppose -34*s + 139*s = -10252 + 37027. Is 1/2 equal to s?
False
Suppose 5*j - 3 + 8 = 0. Suppose g + 1 = -y, -44*y + 7 = -49*y - 4*g. Are j and y non-equal?
True
Let u = -8 - -2. Suppose 3072*o + 387 = 3115*o. Which is greater: o or u?
o
Let y be (-827)/2*((-7)/(-7))/(22 - 19). Is y < -137?
True
Let u = 20 - 8. Suppose 5*v - u = 3. Let s = -0.2 - -0.23. Which is bigger: v or s?
v
Let y = -408427 - -2854003/7. Which is bigger: -713 or y?
y
Let i = -0.083 + -0.317. Let l = 19.4 + -12. Let y = l - 7.6. Is y not equal to i?
True
Let u(z) be the first derivative of 13*z**4/4 + z**3/3 - z + 23. Let r be u(2). Let c = -123 + r. Is -18 bigger than c?
False
Suppose -444 = -28*g + 24*g. Suppose 0 = -24*q - 2*q + 2912. Is g greater than q?
False
Let y be (12/4)/24*2 + 439/4. Which is greater: y or 1212/11?
1212/11
Let a(k) = -k - 3. Let g(t) = -2*t - 5. Let v(s) = 7*a(s) - 4*g(s). Let q(o) = 2*o - 1. Let h(p) = 2*q(p) - 3*v(p). Let x be h(0). Is -6/23 greater than x?
False
Let p be 44574608/21489 - (-2)/58. Is p < 2074?
False
Let m = -17 + -12. Let h(c) = 10182*c + 162914. Let f be h(-16). Which is smaller: f or m?
m
Let m be 268/(-228) - (-44)/33. Do -1.6 and m have the same value?
False
Let h = -30 - -17. Suppose 0 = -7*m + 3*m - 48. Is h less than or equal to m?
True
Let m = 7678 + -7454. Does m = 221?
False
Let v(s) = -15*s + 3 - 13 - s**3 - 9 + 28 + 8*s**2. Let y be v(6). Is y < -11?
False
Let q be 18/(-5)*(11 + -8 - (10 + 3)). Which is bigger: 31 or q?
q
Let s be (548/86995)/((-3)/240). Which is smaller: s or 0?
s
Let p(w) = -132*w - 43. Let u be p(3). Let c = u - -443. Is 22 not equal to c?
True
Let x be (-1792)/8128*(-4)/16. Is x smaller than -1?
False
Let x be (-14)/(-21)*3/(-65). Is x equal to -140?
False
Suppose -4*y - 16 = 20. Let q be -5 + 1 - ((-176)/y)/(-11). Suppose 2*l - 14 = -10. Which is bigger: q or l?
l
Let u be ((-1)/6 - 0)*(-714496)/(-735). Let h = -107/1470 - u. Let g = -162 + h. Which is bigger: g or -1?
g
Let j be -22774 + (-18)/(-126)*-49. Is j > -22780?
False
Let c = -70.9 + 71.06. Is -45 <= c?
True
Let x = 14449 + -9521. Is 4927 >= x?
False
Let r = 0.04 - -0.08. Let f be ((-150)/11)/2 - 672/3696 - -10. Is r at least as big as f?
False
Let k = 11064101/44124 - 2/11031. Let j = 251 - k. Is j greater than 0?
True
Let s be ((-4)/(-6))/(42/(-243)). Suppose 5*w - 102 = v, 0 = w + v - 5*v - 28. Suppose -2*n + 0*n - w = 3*d, -2*d + 4 = -3*n. Which is bigger: d or s?
s
Let a = 5453 + -6682. Does -1228 = a?
False
Let i = -52.88 + 52.38. Suppose -5*y - 26 = 4*s, 0*y + 3*s = 2*y + 15. Which is greater: y or i?
i
Let q(m) = 1810*m**2 + 107*m - 41. Let t be q(-4). Is 28490 smaller than t?
True
Let s be (-1 + 1)*(45/6 - 7). Suppose s = 4*v - 2*f + 1374, -4*v + f - 3*f - 1354 = 0. Are v and -343 unequal?
True
Let a(m) = 560*m + 1084. Let s be a(-3). Which is bigger: -588 or s?
-588
Let z(a) be the third derivative of -a**6/120 + a**5/12 - a**4/8 - a**3/2 - 22*a**2. Let d be z(4). Let c = 409 + -18407/45. Is d > c?
True
Let a(f) = -19*f**3 - 3*f**2 + 19*f + 55. Let y be a(-3). Let b = y - 538. Is -51 equal to b?
False
Let j = -2806.1 + 2829. Do -0.1 and j have the same value?
False
Let o be (1 + -1)/(-21 + 39). Is 1/27797 equal to o?
False
Let z be (2/5)/(21 + (-11540)/550). Which is greater: z or 242?
242
Let m = 107/110 - 17/10. Let l = 37/66 + m. Which is bigger: l or -2?
l
Suppose -1154*v - 5*t - 22225 = -1159*v, 17750 = 4*v + t. Are 4438 and v equal?
False
Let m be (-25952)/14 + 1 - (-2 + 16/7). Which is bigger: -1854 or m?
m
Suppose g + 1 = -x, 2*x + 2 = -0*x + g. Let y = 9.3736 - 7.381. Let r = y + 0.1074. Which is bigger: r or x?
r
Let p = 315.457 - 0.457. Let h = p + -309.5. Which is smaller: 1 or h?
1
Let f(y) = -16*y - 11. Let x(m) = 29*m + 22. Let q(p) = -7*f(p) - 4*x(p). Let j be q(-3). Is j equal to -2/43?
False
Let j = 8385.221 - 8387. Which is bigger: j or 0.06?
0.06
Let r be 12/(-5 - 39/(-6)). Let c be (-7 + r)*(0 - 2/(-2)). Is c greater than or equal to -3/38?
True
Let j be 118/270 - (-8)/(-20). Let u = 388 - 1223. Let z = u - -2506/3. Which is smaller: j or z?
j
Let k be 18/(-207) - (-24493)/(-23). Let w be (-1)/(15/k*(-1)/1). Is w at least as big as -71?
True
Let g(n) = -2*n**3 - n - 1 - 23*n**3 - 6*n**3. Let u be g(-1). Let q be 2/((8 + -6)*-1). Are u and q unequal?
True
Let v be 24/7902*698458/6 - 2. Let o = -3164/9 + v. Which is bigger: 1 or o?
1
Let y(w) = -4*w + 5. Let h be y(1). Let n be h*(-76 - (2 - 5)). Are n and -76 nonequal?
True
Let j be (-1)/(-1) - (3 + (-1)/1). Let h be (-3)/(j/(-12)*4/11). Let w = 47 + h. Which is smaller: w or 1?
w
Let q be 0/2*-1*(-5 + 4). Let m = -13623/17 + 802. Is q at least as big as m?
False
Suppose 12*x = 37*x + 175. Is 184 at most as big as x?
False
Let f(q) = 25*q**2 - 7*q - 49. Let s be f(-2). Is 36 greater than s?
False
Suppose 4*z - 9*a - 1743 = -4*a, -4*z + 1731 = -a. Let w be (-2)/(z/(-8))*-6. Is 0 smaller than w?
False
Suppose -294 = 10*q - 264. Which is greater: q or 1/129?
1/129
Let y be (-3)/((-18)/148)*(-1 + (-7337)/46). Is -3962 at most as big as y?
True
Suppose 8*f - 60 = -4*f. Suppose -f*b - 4*x - 80 = 0, -2*b - 2*b = 2*x + 70. Is b greater than or equal to 3/5?
False
Suppose 96*r = 48*r + 40*r. Are 37/34 and r equal?
False
Let q be (-28)/8*(-6282)/(-84). Let u = q - -194. Are -67 and u nonequal?
True
Let d = -2936.8 + 2933. Which is smaller: d or -0.06?
d
Let l = 29/11 + -685/264. Let r be ((-1)/(-4) - 0)*0/(-4). Suppose r*t + 3*t + t = 0. Is l at most t?
False
Suppose -5*h + 188 = 111 - 128. Let k be 474/10 + 6/10. Which is smaller: h or k?
h
Let y be (3512/20)/(26/(-65)). Is -424 at least y?
True
Let a be (-2)/(-8)*-9*22/(-11). Suppose -2*i = -2*g - 17 + 5, -3*g + 24 = 4*i. Which is greater: a or i?
i
Suppose -562*j + 2182 = -601*j - 1328. Is j bigger than -216?
True
Let y be (9870/(-130))/(-7) - 4/26. Which is bigger: y or 10?
y
Let x be (-1 - 56/5) + 4. Let m = x + 5653/690. Which is smaller: 0 or m?
m
Let n be 135/(-45)*-1*(-146)/(-36). Let p be (-6)/15 + (4 - (-168)/20). Let r = p - n. Is 1 greater than r?
True
Suppose 0 = 4*v + 2*c - 16, -4*v - 5*c - 6 = -22. Suppose 14*s + 10 = -v. Is 1/44 > s?
True
Let w(s) = -218*s + 906. Let k be w(-2). Is 1339 greater than or equal to k?
False
Let u = 19 + -18.51. Let a = -1.852 + 2.142. Let b = u - a. Which is smaller: b or 2/5?
b
Let s = -26346139/649 - -40595. Which is greater: 0 or s?
s
Let j(a) = 49*a + 341. Let g be j(-47). Let m be 7/((-504)/8) + (-182)/g. Let x = -2 - -3. Which is greater: x or m?
x
Let v = -0.3319 + 2.3319. Let h = 1.96 + -2. Let j = -0.36 + h. Is j at most as big as v?
True
Suppose -5*z = -3*t - 891, -4*t = -z - 2*z + 1177. Is -289 at least t?
True
Let g be (6/(-8) - -1) + (-110)/(-8). Suppose -4*c - g*c - 1026 = 0. Are -57 and c equal?
True
Let n = 265/831 + 4/277. Which is greater: n or 83?
83
Suppose -162*v + 172446 - 174714 = 0. Suppose 0 = 3*k - 2*k + 2*t - 3, -2*t = -2*k + 12. Suppose -a + 63 = -k*n + 3, 2*n - a = -21. Which is smaller: n or v?
v
Suppose -u - 46*u - 29*u + 26372 = 0. Is u at least as big as 346?
True
Let p be (99 + -88)*(0 + -1) + -9. Is -633/31 less than p?
True
Let k(g) = -9*g**3 - g**2 + 5*g - 4. Let a be k(2). Let t = a + 64. Let f be t/(-8) + 75/140. Is f not equal to 1?
True
Let x = 33 - 35. Let c be ((-28)/(-8) + -3)*(2 + x). Let l be ((-6)/(-66))/(c/2 - 1). Which is greater: 0 or l?
0
Let q = -3 + 2. Let s be 2 - (q + 31/2). Let r = -17560 - -17547. Which is smaller: s or r?
r
Let s = -60848 - -241935/4. Let a = s - -365. Is 2/11 <= a?
True
Let l = 32 + -12. Suppose -2*d + 2 + l = 0. Suppose d = z + 5*b - 4, 0 = 2*b - 6. Which is smaller: z or -37?
-37
Let f(q) = 2*q**2 + 18*q - 8. Let r be f(-8). Let m be (3/2)/((-6)/r). Suppose -h - m*n = -n + 21, 2*n + 4 = 4*h. Which is smaller: h or -2/5?
h
Suppose -62*q + 796758 = 25*q + 24*q. Is 7178 less than or equal to q?
True
Let a be 0 + 1 + 0 + (27 - 24). Suppose 5*g = -5*z - 745, -4*g + 