pose -4*h + 2*b + 20 = 0, 2*b = -5*h + 2*h + 8. Let l = -13 - h. Which is bigger: l or -14?
-14
Let s(p) = p**2 + 12*p - 11. Let v be s(-11). Is -20 less than or equal to v?
False
Suppose -1881*p + 1876*p = 5. Let f be 5/((-2 + 16)/(-2)). Is f <= p?
False
Let p = -64 - -62. Let o = -0.11 + -4.89. Is p at most as big as o?
False
Let j be (33/11)/((-24)/(-1792)). Which is smaller: 227 or j?
j
Suppose -2*h = h + v - 10, h + 2 = v. Suppose 3*z - u + 0*u - 57 = 0, -u = h*z - 43. Is 18 greater than or equal to z?
False
Let p = -85.3 + 85.5. Is 2/29 smaller than p?
True
Let v = -3.128 + 3.1. Let w = v + -0.022. Which is smaller: -3 or w?
-3
Let k = -1840 + 36801/20. Which is smaller: k or 1/33?
1/33
Let x = -409 - -408. Let y = 2 + -2.2. Is x at most as big as y?
True
Let q(j) = j**2 - 15*j + 24. Let l be q(7). Which is bigger: -27 or l?
-27
Let u(y) = -y**2 + 59*y + 612. Let t be u(-9). Which is greater: -1/307 or t?
t
Let y = 52.1 + -53.1. Are y and -10/23 non-equal?
True
Let p = -77 - -76. Is p greater than or equal to 1/65?
False
Let v be (-14 - -9)*(-5)/(150/(-4)). Is v greater than 334?
False
Let b = 64 - 65. Let o = -22 + 200/9. Which is smaller: b or o?
b
Let v(s) = s**3 + 11*s**2 - 41*s + 11. Let h be v(-14). Let g be 8/h*432/(-32). Is 35 greater than or equal to g?
False
Suppose 0 = 44*d - 11*d + 33. Is d smaller than -16/27?
True
Suppose -2434 = -12*u - 334. Which is smaller: u or 176?
u
Let a = -18 + -19. Let u = a - -26. Is 1 <= u?
False
Let i = -935309/6954 - 2/3477. Let h = -4557/34 - i. Is 1 less than or equal to h?
False
Let u = -2/8889 + 6963/219262. Which is smaller: 0 or u?
0
Let n = 835 - 475. Let r be (-1)/(-6) - (-4348)/n. Let p = r + -61/5. Is 1 at least p?
True
Let k(v) = 2*v**2 - 10*v + 6. Let h be k(4). Let n be 5/(-30) - -1*59/(-78). Which is bigger: h or n?
n
Let g = 31.9 - 32. Let n = -31 - -12. Let x = 29 + n. Is g smaller than x?
True
Let l = 41 - 41. Let z(h) = 8 + 1 - 3*h + 2*h. Let m be z(9). Do m and l have the same value?
True
Let c = -25331/42235 + -2/8447. Let d = -2 - -1. Is d at most as big as c?
True
Let w = 1223 + -69715/57. Which is bigger: 0 or w?
0
Let w be (-1)/(42/10 + -4). Let z be w*(2/(-25))/((-4)/(-20)). Is z greater than or equal to 3/5?
True
Let p be -9 - 3/(-15)*0. Let z(o) be the third derivative of -o**6/120 - o**5/6 - o**4/3 + 11*o**3/6 + 5*o**2. Let k be z(p). Is 2 equal to k?
True
Suppose -22*q + 19*q - 24*q = 0. Which is bigger: q or 7/17?
7/17
Let r = 264/7 + -2893/91. Is r greater than 5?
True
Suppose 21*j - 18*j = -3*u - 279, -3*u - 463 = 5*j. Is -96 at most j?
True
Let a be 0/(6/45 - 186/45). Which is greater: -2/77 or a?
a
Let q = -2.2 - -0.2. Which is greater: 69 or q?
69
Let z = -0.956 + 0.056. Let o = 0.9 + z. Is -38 not equal to o?
True
Let j be (-28)/98 - 138/(-189). Which is greater: j or 1?
1
Let o(k) = -4*k**2 + 13*k + 19. Let s(j) = 2*j**2 - 7*j - 10. Let y(b) = -6*o(b) - 11*s(b). Let c be y(4). Let l = 22 - c. Is l at least as big as -12/5?
True
Suppose 5*i - 7*u + 12*u = 1745, 0 = i + 4*u - 343. Is 350 != i?
True
Let p = 1.39 + -2.39. Which is bigger: 4.8 or p?
4.8
Let m = 458/615 + -36/41. Let u = -2.17 + 0.17. Which is bigger: u or m?
m
Let p = -12.8 - -12.85. Let g = -16 + 16.95. Let s = g + p. Is -3 bigger than s?
False
Suppose 4*n + 2588 = -624. Is n at least as big as -803?
True
Let w = 110.8 - 106.8. Is -0.13 at most w?
True
Suppose -17*b + 92 = -13*b. Suppose 3*i + b + 22 = 0. Which is smaller: -10 or i?
i
Suppose 1 - 19 = -6*g. Which is greater: g or -0.23?
g
Let j = 1021 + -1021.41. Let c = -11/13 + 81/65. Is c > j?
True
Let o(g) be the third derivative of g**5/60 + 7*g**4/24 - 2*g**3 - 23*g**2. Suppose -5*y - 37 - 8 = 0. Let r be o(y). Is r greater than or equal to 4?
True
Suppose 5*a - 5*n = -35, -4*n + 20 = -0*a - 2*a. Let o be (a/(-15))/((-1)/(-5)). Is -1/3 at least as big as o?
False
Let v(c) = -c**3 - 2*c**2 - 8*c - 992. Let f be v(0). Are -994 and f nonequal?
True
Let z be -1*1 - (2 - -90 - -8). Let l = z - -102. Which is bigger: l or 3/44?
l
Let j = 181 + -181. Is -170 at most j?
True
Let l be (1/(-108))/((-3)/(-100)). Let m be 3 + (-5)/((-810)/(-1138)) - -4. Let i = l + m. Is -8 smaller than i?
True
Let n be (1 + -21)/5 + 13. Let o be (7/5)/(n/45). Which is bigger: -2 or o?
o
Suppose 0 = -5*n - 0*n - 25. Let o be (n/10)/((-3)/6). Is o less than 2/5?
False
Let z = 26.7 + -27. Let f = -0.59 - -17.59. Which is greater: z or f?
f
Suppose -5*u = -160 - 55. Suppose 0 = -23*d + 24*d + 3, -181 = -4*r + 3*d. Is u less than r?
False
Let y be ((-6)/7)/((-12)/42). Suppose -2*u - y*a - 7 = 0, 7*u - 4*u = -4*a - 8. Is -1 greater than u?
False
Suppose 4*f + 2*z + 1 = -1, z = 2*f - 1. Suppose f*o + 16 = 4*o. Is 4 >= o?
True
Let t = -825 + 939. Which is smaller: 1 or t?
1
Let v be (7/(-3) - -2)*-6. Let n be v*(10/(-2) + 3). Are n and -5 non-equal?
True
Suppose -5*w + 0 - 22 = 3*b, 5*b + 5*w + 20 = 0. Do b and 1/12 have the same value?
False
Suppose -5*s - 129 + 129 = 0. Let x = 961398/275 + -3496. Is s <= x?
False
Suppose -46*s + 279*s = 0. Let j be (-1)/(-3) + (-47)/87. Is s at least as big as j?
True
Let g be (-4)/(-10)*(-8651)/422. Is -9 smaller than g?
True
Let w(j) = -2*j + 4. Let m be w(-2). Suppose -42 = -5*o + m. Let z be (1 + (-14)/o)*25. Which is bigger: z or -11?
z
Let d = 40.12 - 0.12. Let v = d - 40. Let a = 2330/7 - 334. Is v less than a?
False
Let m(f) = -293*f**2 + 50*f + 101. Let a be m(-2). Which is bigger: a or -1172?
a
Let a = 10315 + -10315. Let g be 104/54 - (2 - 0). Which is smaller: a or g?
g
Suppose -189 - 87 = 23*m. Suppose 3*l + 20 = -3*g - 7, g + 5*l + 9 = 0. Which is smaller: g or m?
m
Let c(a) = -11 + a - 3*a + 2*a - a**2 - 5*a. Let s be c(-7). Which is bigger: -26 or s?
s
Let y = 911 + -1319. Is y <= 1?
True
Let d = -640 - -674. Let g be 1*-4*3/(-30). Is g bigger than d?
False
Suppose -3*b + 32 = -b + 5*d, -5*d = -2*b + 12. Suppose 13 = f + b. Is 2/31 at least as big as f?
False
Let g(j) = -j**2 - 23*j + 76. Let i be g(-26). Is 72 greater than i?
True
Suppose 4*p + 0*y = -4*y, -5*p - 2*y = 6. Let v be (5 + -6)/(0 + p/2). Which is bigger: -1/14 or v?
v
Suppose 5*s = 23*s + 450. Is s less than or equal to -23?
True
Suppose -2*o = 2*b + 12, -2*b = -o - 4*o - 23. Let t be 0/4 - 2 - b. Is -4.9 greater than t?
False
Let f(c) = 2*c - 12. Let j be f(8). Let t = j + 10. Suppose -2*b + t = -0*b. Which is bigger: b or 5?
b
Let l = -5/186 - 1693/62. Is 0.1 at most as big as l?
False
Suppose 28*n = 104 + 36. Suppose 3*h = 8*h - 30. Is h less than n?
False
Let q be (-126)/26 + 10/(-65). Let a be -6*2*4/(-16). Let w be (-20)/15 - 8/a. Is q >= w?
False
Suppose 0 = 5*j - 6 - 4. Suppose -3*t = -z + 23, -j*z = 2*z - 20. Which is bigger: t or -7?
t
Let g be (-4)/6 + 7/((-532)/(-44)). Let t = 11/19 - g. Is t >= 1/7?
True
Let z(c) = c**2 + 3 - 6 - 13*c + 4. Let l be z(13). Do 1 and l have the same value?
True
Let a be 46/(-14) + 26 + -23. Which is smaller: a or -0.08?
a
Let o = -124 + 6570/53. Let j be (4/(-6))/(-2)*-3. Which is bigger: j or o?
o
Let g(k) = 7*k + 14. Suppose -v = 4, -4*c + 5*v - 28 = 3*v. Let f be g(c). Is f >= -49?
True
Let o = 9 - -8. Let u = 16.8 - o. Which is greater: -6 or u?
u
Suppose 319*z = 301*z. Let r = 35.4 + -30. Let u = r - 5. Which is smaller: u or z?
z
Suppose 4*x + 5*d = -48, 5*x + 0*d + 60 = -3*d. Let r be (-253)/(-44) - 3/x. Which is greater: r or -2/11?
r
Let n(o) = -o**3 + o - 4. Let k be n(0). Let l = 12 + k. Let g be 2*(3 + (-12)/l). Does g = 2?
False
Suppose 800 = -4*c + 4*d, 2*c - 59*d + 388 = -61*d. Which is greater: -196 or c?
-196
Let w(q) = 2*q**3 + 2*q**2 + 4*q - 21. Let c be w(2). Which is greater: 9 or c?
c
Suppose -20*v + 18*v + 32 = 0. Suppose 6*n + v = 4*d + 2*n, -5 = n. Which is greater: d or 16?
16
Let q = 40 + -41. Let p = 8 - 7. Let r = q - p. Which is smaller: 2/3 or r?
r
Let z be (-45)/(-150)*(-10)/18. Which is bigger: 0 or z?
0
Let b = 9/391 - 809/1173. Is b less than or equal to 4/359?
True
Let o be 1 - (-4)/(8/10). Let h(p) = -7 - 8 - 3*p**2 + 14*p - 5*p + 2*p**2. Let w be h(o). Is w <= 9/5?
False
Let a = -0.0096 - -2.0096. Which is bigger: a or 83?
83
Let p be (-8)/(1600/1190) + (-1)/(-5). Is p equal to -7?
False
Let u be (-3 - 0) + 5 - -14. Suppose 4*o - u = 4. Is o greater than or equal to 3?
True