4. Which is greater: -14999 or b?
b
Let v be (359242/(-19955) - -18)/((-12)/10). Suppose 0 = 2*x + 4*z - 14, -2*z + 4*z = -4*x + 10. Which is smaller: v or x?
v
Let l be (-72)/10*(-90)/(-12). Let h be (-3*402/l)/(1*-5). Let d = 14/3 + h. Which is smaller: d or -1/13?
-1/13
Let x = -2 - -6. Let k = -190 - -411/2. Let a = 203/10 - k. Is a at least as big as x?
True
Let d = -6.252 + 7.252. Which is greater: d or -0.0888?
d
Let p = 103800 - 103868. Suppose 0 = -y - 14 - 53. Which is greater: p or y?
y
Let v = -20/67 + 3355/14606. Which is smaller: -1 or v?
-1
Suppose 9 = 4*i - 3. Let c(o) = o**2 - 6*o + 5. Let s be c(i). Let z be (-5)/s*(-6)/(-120)*-4. Are z and -6/5 non-equal?
True
Let b = -7945 + 23837/3. Is b equal to 771?
False
Let j = -0.103 + -0.002. Let o = 1561.895 + -1561. Let m = j - o. Is -0.15 at most m?
False
Let o = -1.4753 + 0.4753. Is o less than 1910?
True
Let b = 1825 - 2181. Is b greater than or equal to 3?
False
Let k = 107 + -100. Suppose -p + 25 = -s, -2*p + s + 42 = -k. Which is bigger: p or 4?
p
Let h = 55.09 - 1.09. Let o = -61 + h. Which is bigger: -3 or o?
-3
Let t be 2/(((-42)/(-18))/((-2 - 2)/(-32))). Is 0.05 at least as big as t?
False
Let m = -7820 - -85904/11. Which is greater: -0.09 or m?
-0.09
Let v = 0.12646 + -0.02646. Is v at most -5542?
False
Let s be (-26301)/1005 - (-1924)/74. Is s smaller than -1?
False
Let k be 2/(-10) + (-8)/(-15). Let b = -216923/141 + 4615/3. Is k > b?
True
Let b be 10/25 - 5/((-25)/8). Let w be ((1 - 2)*1574)/(b/(-1)). Let m = w - 8663/11. Are 3 and m nonequal?
True
Let h = 397 - 393. Suppose 3*p - 2*t = -p - 72, 2*t + 56 = -h*p. Is -18 > p?
False
Let z = 3622764/5 + -105351346/145. Suppose g + 5*d = 2003, -1 = d - 0*d. Let y = g + z. Which is bigger: -1 or y?
y
Let s(n) = 3*n**3 - 68*n - 31. Let i be s(5). Let q be (-1 + -1)*(-25)/2. Suppose t = w + i, -q = -4*w - w. Is t equal to -0.4?
False
Let c be (-10)/(-75) - ((-68)/(-60) - 3). Let w be (-42)/(-12) + (-1)/c - 69. Let j be 1*(2/w)/(4/6). Are j and 4 unequal?
True
Let v = -61.1994 + 0.7994. Is v smaller than 3?
True
Let v = 1.1 + -0.88. Let w = 13 - 40. Let h = w - -26.9. Which is bigger: v or h?
v
Suppose 75 = l + 412. Let q = l - -1010/3. Is q greater than -141?
True
Let p = 8050/135487 - 78/1243. Which is smaller: 0 or p?
p
Let i(v) = -2*v**3 - 8*v**2 - 7*v - 3. Let w be i(-5). Let m be (6 - (-75)/(-10))*-2*27. Is w at most as big as m?
False
Let c be ((-12)/15330*-7)/((-6)/(-15)). Is c not equal to -15?
True
Suppose 13*o + 60 = 25*o. Suppose -5*q + 37 = 2*v - 51, 44 = 4*q - o*v. Is q > 19?
False
Let p(h) = 4*h**2 + 7*h + 23. Let z(f) = 5*f**2 + 6*f + 23. Let n(s) = -4*p(s) + 3*z(s). Let u = -4 + -1. Let t be n(u). Which is bigger: 2/7 or t?
t
Suppose -498*z + 684921 - 2578317 = 0. Is -3802 smaller than z?
False
Suppose 2*w - 4*w + 4 = 0. Suppose -m + 30 = m - 2*b, 3*b = w*m - 35. Let x be 27/63 + 148/14. Are m and x unequal?
True
Suppose -4*u - 566 = 2*w, 20*u = 25*u + w + 703. Does u = -125?
False
Let n(y) = y**3 + 8*y**2 - 4. Let j be n(-8). Let s be 284/(-16) - (-2)/j. Suppose 3*w - h = -51, 12*w - 16*w - 57 = -5*h. Is w bigger than s?
True
Suppose -892 - 148 = 10*l. Let z = -314/3 - l. Is z bigger than -2/49?
False
Suppose -224*f + 35784 = -221*f + 4*k, 5*f + 5*k = 59645. Which is smaller: 11933 or f?
f
Let v = 91/3 - 30. Let p = 97 - 167. Let i = p + 64. Is i smaller than v?
True
Let n = -1525 - -1655. Are n and -2/15 equal?
False
Let p = -59 + 305. Let w = 82 + p. Which is bigger: w or -1/3?
w
Let v be 4/7 - (-120)/35. Suppose v*u + 1673 = 369. Is u at least -326?
True
Let x(l) = l**2 - 7*l - 12. Let h be x(12). Let b = h - 34. Let z be 7*(-387)/(-315) - 9. Is z >= b?
False
Suppose 0*h + 6*h - 36 = 0. Let t be h + -4 - 23/12. Let j = -243 - -243. Which is smaller: t or j?
j
Let r be (-19307)/(-172) - (-1)/(-4). Is 102 >= r?
False
Let y = -313/616 + 5/616. Let j = -1 - -0.75. Let c = j + 0.11. Which is greater: c or y?
c
Suppose -6*d + 7 = x - 4*d, d - 11 = -3*x. Let f be (-6*(x - (-22)/(-8)))/(-3). Is f smaller than 48?
True
Let m(h) = 55*h - 36. Let f be m(9). Suppose -5*g + 1854 = f. Is g <= 279?
True
Suppose 599*r - 603*r = 4*x - 2532, -4*r + 3*x = -2560. Is 636 at least r?
False
Let h be (5 - 0)/((190/(-20))/(-19)). Let x be 18*(-5)/h*12. Do -108 and x have the same value?
True
Let u = 1267.3 - 1321. Let b = -3.7 - u. Let i = b + -49. Is -0.9 >= i?
False
Let d(g) = -11*g + 37. Let r be d(11). Let u = -760/9 - r. Let y = 11/18 + u. Is -0.1 not equal to y?
True
Let r = -540741709/4609 + 117323. Is r equal to 1?
False
Let w = -0.045 - -0.41. Let f = w - 0.014. Let z = 0.081 - f. Which is smaller: -1 or z?
-1
Let z(c) be the third derivative of -c**5/30 - 9*c**4/4 - 59*c**3/6 + 17*c**2. Let i be z(-26). Is 0.07 bigger than i?
True
Suppose -2*h - 21 = -3*f - 2, -h + 8 = 2*f. Suppose 0*m - 4*m - 458 = -3*l, -m + 771 = f*l. Suppose z = -2*o + l, 5*o + 35 = -z + 420. Are o and 77 unequal?
False
Let l(u) = u**2 - 3*u - 42. Let f be l(0). Let j be (-6 - f/7)/(1 + -2). Is -1/180 > j?
False
Let w be (-360)/5508*(0 + 2 - (-48)/(-25)). Which is bigger: w or -1?
w
Let k = -10 + 50. Let h = k + -35. Suppose 3 = h*c - 2*c. Which is smaller: 1/5 or c?
1/5
Suppose -d = 2*v + 190 + 106, -725 = 5*v - 5*d. Which is bigger: -148 or v?
v
Suppose 27 = 2*g + 23. Suppose -4*p + 2*l - 10 = -66, 4*p + g*l = 72. Is p equal to -2/9?
False
Suppose -y - 5*s - 19 = 0, 5*y - 10 = -5*s - 65. Let n be -1 + y/6 + 3/2. Which is greater: n or 1/70?
1/70
Let b = 29.97 - 30. Let f be (-39 - -45)*(15/6)/5. Which is greater: f or b?
f
Let m = 1/57982729 + 25106512927/506189224170. Let q = 1/194 - m. Is 1 > q?
True
Let u = -291.42 + -12.48. Let f = u - -304. Do -119 and f have different values?
True
Suppose 5*v - 5*n - 35 = 0, 5*v - 5*n - 29 = 2*v. Suppose -3*w = 4*t - 1291, -1 = -4*w + v. Let i = t + -2579/8. Which is smaller: 0 or i?
i
Let j = 19 + 12. Suppose -3*d + 2*d = j. Let g(l) = 41*l + 214. Let q be g(-6). Is d at most as big as q?
False
Suppose -7*i = -10*i - 6. Let k be 6/(-27) + (-202)/(-18) + i. Suppose -4*h + k = -91. Which is smaller: h or 1/2?
1/2
Let j = 72215.153 - 72346. Let f = j + -0.153. Let c = 132 + f. Is c != -2/135?
True
Let w = 4.78 + -44.75. Let y = 40.1 + w. Which is smaller: y or 4?
y
Let h = 17 + -12. Suppose 3*a + h*d = -16, 2 = 2*a - d + 17. Let k be ((-1)/4 - a/(-4)) + 6. Which is smaller: k or 21/4?
k
Let t = 309 - 307.7. Let q = t - -24.7. Which is smaller: 3 or q?
3
Let k = 0 - -1. Suppose 22*b - 37*b + 20235 = 0. Let v = 101179/75 - b. Which is smaller: k or v?
v
Let o = -1752 + 1744. Is o > -324?
True
Let t be (5/50)/((-396)/(-1070)). Let o = -2/99 + t. Let s be (-4)/(-6)*42/4. Which is smaller: o or s?
o
Let g be 10/(-125)*27870/(-8). Let r = 279 - g. Which is smaller: 2 or r?
r
Suppose -23*u = -69*u + 184. Is u at least as big as 136/25?
False
Let o(g) be the second derivative of -g**5/20 + 11*g**4/12 - 2*g**3 + 21*g**2/2 - 409*g. Let l = 20 + -10. Let u be o(l). Is -1/38 at least as big as u?
False
Let d = -52.29 + -22.69. Let s = d + 76. Let c = s - -0.98. Which is bigger: -2.8 or c?
c
Let s be (284/(-208)*2)/4. Let a = 29437/312 + s. Which is smaller: a or 94?
a
Suppose 97*w - 103405 - 63447 = -316*w. Which is greater: 401 or w?
w
Let f = -222/583 - -779193/2332. Which is bigger: 335 or f?
335
Let z = -999 + 1001. Which is greater: 0.0636 or z?
z
Let y = 4265 + -4265.5. Which is bigger: y or -0.27?
-0.27
Let m = 19591 + -19426. Which is smaller: m or 153?
153
Let o(r) = 2*r**3 - 61*r**2 - 27*r - 123. Let p be o(31). Which is smaller: p or -1869?
-1869
Let b = 4.989 - 4.889. Is -0.391 >= b?
False
Suppose -5*h - 19 = q + 8, -11 = h + 3*q. Let l(a) = a**2 + 7*a - 21. Let i be l(h). Which is smaller: -30 or i?
i
Let t be (-120)/(-55) + 2/(-11). Suppose 3*h = -0*h - 3*l + 39, 0 = -t*h - 3*l + 26. Suppose -c + 4*x + 14 = 0, 5*c - 6*x + 3*x - 53 = 0. Is h at most c?
False
Let v(l) = -15*l - 1. Let z be v(-2). Let i be ((-2)/3)/(z/3 - 9). Suppose -2*b + 0*b - 154 = 0. Is b at most as big as i?
True
Let w = 7.6 + 4. Let z = w + -21.2. Let n = z - -5.6. Which is bigger: -0.08 or n?
-0.08
Suppose 3*x = 4*o - 135, -3*o + x = -2*o - 34. Suppose 0 = 7*z - o - 23. Is z less than or equal to 7?
False
Let p be ((-1)/4*1)/(52/116