 4. Is b bigger than k?
False
Let f(z) = -z**3 + 9*z**2 - 12*z + 133. Let y be f(9). Suppose 4*g - y - 2 = 3*n, 3*g - 24 = 3*n. Is n less than -6?
False
Let s = 126.6577 - -0.3423. Which is bigger: s or 2/7?
s
Let x be (-1 + 0)*-6 - 4. Suppose -94 = x*z - 0*z. Let v = 25 + z. Which is bigger: 1 or v?
1
Let a = 0.714 + -0.614. Is a greater than 4846?
False
Let z = -0.05 + 22.15. Let n = -21.7 + z. Let u = -1.1 + 1.21. Which is bigger: n or u?
n
Let f = -555 - -553. Let n = f - -10. Is 10 at most n?
False
Suppose 0*b + 2*b + 2*w - 10 = 0, b = -5*w + 21. Suppose 8 - 40 = -c. Let z be (-2)/(-8)*-3 - c/(-44). Is b at most z?
False
Let d(m) = m**2 - 24*m + 27. Let w(r) = r**2 - 26*r + 26. Let v(o) = 3*d(o) - 2*w(o). Let n be v(18). Which is bigger: n or -3?
-3
Let c = -22 + 22.072. Let j = -0.495 - 0.635. Let z = -1.23 - j. Which is smaller: c or z?
z
Let m(h) = h**3 + 28*h**2 + 12. Let n be m(-28). Suppose -4*s - n = -4*r + 3*r, -3*r + 20 = -4*s. Let g = 2 - 1.8. Which is smaller: s or g?
s
Suppose -359 = -3*b - 2*l, 4*b + 73 = -5*l + 554. Let z be (3 - 350/b)/(-1). Which is smaller: 1/3 or z?
z
Suppose -3*y + 21 = -2*z + 5*z, 6 = 2*z. Suppose -4*l - 2*v = 34, l - v + y = 3*v. Let c = l + 8. Is -2/7 at most as big as c?
True
Let q = 5254 + -26382/5. Let d = 21 + q. Suppose -8 = 4*a - 3*g + 4*g, 16 = 4*a - 5*g. Which is smaller: a or d?
d
Let v be (-17 + 15)*2*(-1)/(-10). Is v at least 706?
False
Suppose -142*t - 295*t + 1902 = 8457. Which is bigger: t or 3/49?
3/49
Let o be (2 + 1)/(-9)*-12 - -1. Suppose -5*t + 0*r + 70 = o*r, 0 = 3*t - 5*r - 18. Let m be (1 - -1 - -9) + 0. Is m equal to t?
True
Suppose -5*b + l = 2483, 5*l = 8*b - 5*b + 1481. Let y = -476 - b. Which is smaller: 10 or y?
10
Let g = -0.689 - -1.389. Is g at least as big as -181?
True
Let n = -7214.171 + 7213. Which is smaller: n or -1/2?
n
Suppose 2*q + 0*y - 166 = -4*y, -3*y = 3*q - 234. Suppose -r = -5*u + 35 + 26, -4*r - 5*u - 294 = 0. Let t = r + q. Does 8 = t?
False
Let s = -35402/3 - -11801. Let m be (-52)/((0 + -3)/3). Do s and m have different values?
True
Suppose 3*f = -1 - 8. Let o = 12592 + -62969/5. Is o < f?
False
Let x be -1*5 + 34/(-40) + 4. Let a = x + 8/5. Which is smaller: 4 or a?
a
Suppose -5*z + 3*g - 8 = 0, -2*z - 5*g = 14 + 14. Let t(s) = 7*s**2 + 4*s - 5. Let u be t(z). Let w = u - 92. Is -1/38 at most w?
False
Let v(h) = 16*h + 188. Let l be v(-11). Suppose l*t - 10*t = -4*b - 134, t + 63 = 2*b. Is -65 not equal to t?
False
Let l = 78 - 46.1. Let z = -33 + l. Let s = 1.5 + z. Is s less than 3?
True
Let z = -46166 + 46157.7. Let w = 0.4 + -0.1. Which is greater: w or z?
w
Suppose 23*w - 96 = -119. Is w smaller than 2/301?
True
Let y(k) = k**3 - k**2 + 2. Let z be y(0). Suppose 12*v = 24*v - 12. Let w be (z - v) + -2*27/2. Is -27 > w?
False
Let t = 0.20947 - 3.20947. Which is bigger: 1/999 or t?
1/999
Let v = -67.069 - -67. Let h be -4*3 + 180/15. Is h smaller than v?
False
Let p be 40/((-24)/68*(-2)/6). Let u = 339 - p. Is u at least 24/53?
False
Suppose 5*v + 15 = 59*p - 62*p, 0 = -5*p + 2*v + 6. Let a be 4/(-6) - 88/(-141). Is a at least as big as p?
False
Suppose -t + 2*w - 6 = 0, 0 = 5*t - 0*t - 2*w + 6. Let v = -0.058 + 1.208. Let s = v + -0.25. Is t less than s?
True
Let a = 4348 - 4481. Are -131 and a non-equal?
True
Suppose -140 = -2*y - 3*a, -56*y - 2*a - 236 = -59*y. Which is bigger: y or 99?
99
Let b(o) = 2*o**2 + 22*o - 17. Let v be b(-14). Let z = v + -205. Is -137 at most as big as z?
False
Suppose -g - 9 = -j, -7*g + 15 = -12*g. Suppose -5*f - 1 = -2*w, j*w + 5*f - 6 = 9*w. Suppose 0 = 4*i + i + 40. Are i and w equal?
False
Let o be 189 - (0 - -7) - 3. Let h = o + -180. Which is smaller: h or 10/77?
h
Let r be 4/1 + (-8 - 966/(-198)). Are -1 and r nonequal?
True
Let i = 586 + -554. Suppose i*t = 1916 - 6268. Which is greater: -135 or t?
-135
Let x = -65374 - -134617/2. Is x >= 1935?
False
Suppose 4*a + 2 = -2*p, -37 = -3*p + 2*a + 2*a. Suppose -23 = 2*r - 5*l, -p = -r + 3*l - 21. Which is bigger: -9/44 or r?
r
Let w be 16848/42 - (-6)/7. Let a be (w/402)/(188/(-190) - -1). Let o = 62 + 32. Which is smaller: a or o?
o
Let b be 14 + 23/(92/(-60)). Which is bigger: 1185 or b?
1185
Let k(p) = -10*p**2 + 103*p - 978. Let t be k(13). Which is smaller: -2655/2 or t?
t
Suppose -3*d = 5*b - d - 201, -3*b = 2*d - 123. Let h be (-10)/(-15) - 29/3. Let y(m) = -m**3 - 7*m**2 + 14*m + 2. Let a be y(h). Are b and a unequal?
True
Let o = -5835 - -5824. Which is bigger: -93 or o?
o
Let s(d) = -d**3 + 4*d**2 - 6*d + 65. Let f be s(0). Let y be 2/2 - (1014/f - -2). Is 2 equal to y?
False
Let t(r) = -131*r + 3. Let n be t(3). Suppose 232 = 3*o - 8*q + 1386, 0 = 5*q + 10. Is o not equal to n?
False
Let p = 2115 - 4040. Let a be (-3)/(-7) - 1800/p. Which is smaller: 1 or a?
1
Let g = -3624 - -3618. Is -123/23 greater than or equal to g?
True
Let h = -85.4 - -88.528. Let t = 0.128 - h. Is -0.4 less than t?
False
Suppose -74*s + 1022330 = -200890. Do 16531 and s have the same value?
False
Let b be (-63)/(-42)*(0 + 11164/135). Let f = b - 668/5. Is f equal to 1?
False
Suppose 0 = 28*b + 63*b + 364. Is -264/49 at most b?
True
Let c(v) = 11*v**2 - 6*v + 5. Let m be c(-3). Suppose 0 = 10*q + 138 + m. Is q <= -29?
False
Let g = 23874 - 17555. Are g and 6320 equal?
False
Suppose -10 = c - 2*q, -3 = -0*q + q. Suppose 0*h + 2*h = 10. Suppose -3*l - 37 + 8 = h*w, 0 = 2*l + 4*w + 16. Which is smaller: c or l?
l
Let q = 2031 - 2029. Is q bigger than 2/285?
True
Let i = -0.58 - -0.4. Let c = 0.32 + i. Let n = -0.24 + c. Is n less than 6?
True
Let x(a) = 276*a + 1714. Let m be x(-6). Is 72 at most as big as m?
False
Let j(p) = -p**2 - 178*p - 3022. Let n be j(-19). Which is smaller: n or 1/13946?
n
Let m = -327/8 + 41. Let f = 268 - 263. Suppose f*u = -5*u + 10. Is m at most u?
True
Let b be (-9)/(-6)*((-150)/9)/5. Let m(c) = 35*c + 56. Let h be m(b). Is -120 less than or equal to h?
True
Suppose -11*r = -10*r + 4*k, 3*k = -2*r. Suppose r = -5*p + 4*p - 5*p. Which is bigger: -1/43 or p?
p
Let t be 19/(-7) + (-12)/42 - -11. Let m be 6/((-3)/t*-4). Let p = 17067/4984 - -3/712. Which is smaller: p or m?
p
Let k be -11 + 15 - (-1369)/(-170). Let c be 121/30 - (3 + (-32)/12). Let i = c + k. Is 0 greater than i?
True
Suppose -15*m + f - 20038 = -13*m, 8 = 4*f. Is -10017 less than or equal to m?
False
Let j = -387.85 - -387. Let n = j + 0.88. Is 32 bigger than n?
True
Suppose 4*l - 2*p + 102 = 0, 2*l + 3*p + 0*p + 71 = 0. Let g be ((-21)/(-2))/3*8. Let h = l + g. Which is bigger: 9 or h?
9
Let f = 7355/1981512 + -5/3796. Is f at most -1?
False
Suppose 122*p - 150*p = 28. Is p <= -2/1261?
True
Let m(u) = 2*u**2 - 46*u + 40. Let x be m(22). Let k be x - (-2 - (7 + 4)). Suppose -z = -4*z + j - 3, 3*j = z + k. Which is bigger: -2/139 or z?
z
Let j be (0 + 2)/(-2) - -20. Let z = 315 + -313.23. Let v = -1.97 + z. Is j < v?
False
Let o = 46 + -46. Let k = 207/323 + -10/17. Which is smaller: k or o?
o
Let m(v) = 10*v + 78. Let l = 67 - 75. Let b be m(l). Is b smaller than -18?
False
Let z = -1/37615 - -77223599/150460. Which is greater: z or 513?
z
Let c = 484 + -479. Suppose -j - 2 = 3*t, -c*t = -3*t + 5*j - 3. Which is greater: 2/469 or t?
2/469
Let i = 3 + -74. Suppose 72948*d + 803 = 72937*d. Which is bigger: i or d?
i
Let g = -67 + 124. Let x = 81 - g. Is x smaller than 1/2?
False
Let q = 19 - 10. Let o be q + 3/(-2 + 5). Let p = -1338 - -1347. Does o = p?
False
Let y be (-5 - 0/(-1))*228/19. Let a = y - -64. Suppose 3*o = -a*c - 2*o - 565, -5*c + o - 670 = 0. Which is bigger: c or 1?
1
Let g = -66.2 + 65.2. Let s = -81 - -177. Is s at least g?
True
Let g = 0.366 - -0.676. Let s = -0.212 + g. Which is bigger: s or 1?
1
Let c be 12/(-54) + (-754)/(-18). Let s = -42 + c. Let v = 0.005317 - 0.025317. Is s < v?
True
Let j be 1 + (62/22 - 4/(-22)). Suppose 0 = -5*u + j*y - 68 - 45, -y = -2. Let r = -20 - u. Which is bigger: r or -17?
r
Let p be (400/(-336) + (-2 - 1))/((-24)/(-12)). Is p > 1?
False
Let c = 1.33 - 1.3881. Let k = c - 90.9419. Suppose 0 = 4*w - w. Is k <= w?
True
Suppose -3*d = 3*i - 0*d + 15, -4*i + 5*d = 2. Let b be 2 + (-5)/(10/8) + i. Let v be ((-64)/10 - -6)/(3/b). Which is greater: v or 2?
2
Suppose 0 = o - 2*q + 1011, -40*o = -37*o + 3*q + 3051. Is o smaller than -1015?