bigger: b or y?
y
Let b(g) = g**2 + 27*g - 2. Let v be b(0). Let d = -41 - -15. Let k be d/24 - v/8. Which is greater: -2 or k?
k
Let f(x) = 2*x - 3. Let m(s) = -5*s + 6. Let i(w) = -7*f(w) - 3*m(w). Let o be i(-3). Let j(l) = l**2 + 5*l - 6. Let y be j(-6). Is y >= o?
True
Let m = 383 + -361. Is 22 smaller than m?
False
Let f be ((-18)/(-57))/(-6)*2. Let r = -0.7 - 0.3. Which is greater: r or f?
f
Let m be ((-9)/6)/((0 - -2) + 4). Let x = 52 - 49. Which is smaller: x or m?
m
Let z(b) = -b + 1. Let j be z(6). Let p = j + -4. Let q be (-33)/p - (-2)/(-3). Which is bigger: 4 or q?
4
Let b = -1.965121 + -0.034879. Let s = 1 - 7. Let w be 2/(20/s) + 1. Are w and b unequal?
True
Let v = 0.1 - 0.3. Let p = v - -0.2. Suppose 0 = 4*g - 14 + 70. Is p less than g?
False
Suppose -4*w - 8 = 5*q + 3, -w - 2 = q. Let i be 2/19 - (-8800)/(-209). Let g be 6/14*(-14)/i. Is g bigger than w?
False
Let v be (12/8)/(54/(-16)). Let w(i) = 2*i**2 + 3*i + 2. Let n be w(-2). Suppose 3*o = 5*y + 7, -n*y = o - 8*y - 7. Which is smaller: o or v?
o
Let o be 1/4 - (-2)/(-40). Let w be (4/3)/((-525)/69) + 4/42. Which is smaller: w or o?
w
Let q = 1.93 + 5.97. Let w = 4.9 - q. Is w > -4?
True
Let s be (8/(-6))/(-13*(-8)/24). Is 1 <= s?
False
Let w = -125 + 265. Which is smaller: w or 141?
w
Let b = 53 + -48. Suppose -b*g - 1 = -4*g. Which is smaller: g or -2?
-2
Let m(t) be the first derivative of t**2/2 + 32*t - 7. Let p be m(0). Which is bigger: 33 or p?
33
Suppose -11*t - 2*t = t. Is t less than 18/41?
True
Suppose -i = 3*u + 9, 2*i + 15 = -u - 4*u. Let o be 3 + 5/(50/570). Is o > i?
True
Let f be (11 + -9)*(-2)/4. Let x be (f/2)/(6/(-36)). Suppose 2*q + 55 = -x*q. Are 1 and q non-equal?
True
Let h(j) = -j**2 - 10*j + 5. Let p be h(-10). Suppose -o + v + 7 = 5*v, 10 = p*v. Let k = 237 - 4267/18. Which is smaller: o or k?
o
Let c = 2426 + -2320. Is c < 107?
True
Let x = -37 + 43. Let r be 64/10 - (-6)/10. Let i = -3 + r. Is i less than x?
True
Let k = 23833/550 + -476/11. Let u be -210 + 199 - (-12)/1. Which is bigger: u or k?
u
Let k = -268 + 2145/8. Let l = 11 - -1. Let b be ((-6)/12)/(2/l). Which is greater: k or b?
k
Suppose 0 = 3*k + 12, -w = w + 4*k + 12. Suppose 4*v - 6 = -w*v. Let c be -3 + 1 + 17/7. Is c greater than v?
False
Let t(r) = 4*r**2 + 179*r - 44. Let u be t(-45). Which is smaller: u or -3/61?
-3/61
Let o = -109 + 64. Let s be 16/(-96) + (-1837)/(-6). Let w be (-32)/s + (-10)/o. Which is bigger: -2 or w?
w
Let x = 67 + -41. Suppose -2 + x = -2*z - 4*w, -3*z + 4*w = -4. Which is smaller: 0.2 or z?
z
Let a be (-6)/9 - (-178)/6. Suppose o + 58 = 3*w + 46, 0 = 3*o. Is a not equal to w?
True
Let u = 0.072 - -0.128. Let l = 9 - -23. Which is bigger: u or l?
l
Let j = 9.3 + -1.3. Let c = -7 + j. Let n = -5.04 + 0.04. Which is greater: c or n?
c
Let b = 2.5 + -1.5. Let h be -1 + 1 + 3 + -2. Is h greater than b?
False
Let r be (-6)/15 + (-74)/(-210). Suppose -2*y - 9 = 5*d, 5*y + 0*y + 10 = 0. Let w be (2 + -2)*d/4. Do r and w have different values?
True
Let i = -1 + 2. Let v(w) be the second derivative of w**4/12 - 7*w**3/6 + 11*w**2/2 + 6*w. Let p be v(5). Is p equal to i?
True
Let u(n) = n**3 + 8*n**2 + 3*n - 4. Let b be u(-3). Let w be (-1)/(3/(-24) + 20/b). Which is bigger: -8/3 or w?
w
Let d be 4/(20/35) - 2. Suppose -o = 5, -d*n + 5*o = -68 - 17. Are -1 and n equal?
False
Let r = -0.036 - -0.196. Let g = -27/5 + 26/5. Which is greater: r or g?
r
Let a(r) = -r**2 + 5*r - 1. Let x be a(4). Suppose -10*b + 3*b - 7 = 0. Let l be (b - 4)*((-45)/(-25))/(-3). Is x <= l?
True
Let o(p) = p**3 - 6*p**2 + 4*p - 1. Suppose 12 - 37 = -5*s. Suppose -s*t + 22 + 1 = -a, 11 = -t - 5*a. Let r be o(t). Do r and -16 have the same value?
False
Let t = -1.014 - -0.014. Are -2/5 and t nonequal?
True
Let l = -2.826 - -2.726. Is l less than -432?
False
Let y = -17.491 + 0.091. Let f = -1.4 - y. Which is smaller: -0.1 or f?
-0.1
Suppose 2*v = -4*v - 60. Let n(c) = -c**2 - 3*c + 3. Let l be n(-5). Let y = l - v. Which is smaller: y or 4?
y
Let n(h) be the second derivative of -h**4/12 + 7*h**3/6 + h**2/2 + 3*h. Let y(q) = q**2 + q - 5. Let s be y(-4). Let l be n(s). Do l and 1 have the same value?
True
Let u = -467 + 468. Which is smaller: u or -1/1441?
-1/1441
Let b = 2.097 + -1.097. Let x = -0.15 - -0.1. Which is bigger: b or x?
b
Let b(v) = -v - 36. Let k be b(-16). Let l be -3 - (-4)/36*(-1 + k). Does l = -6?
False
Let r = 0.1 + -0.1. Let y = -27742/16191 - 2/2313. Do r and y have different values?
True
Let p = -1210483/484 - -2501. Let x = 3869/1452 + p. Suppose y - 3 = 1. Are y and x equal?
False
Let h = 808 + -13. Let x = -6315/8 + h. Is x at most as big as 6?
True
Let v = -43 - -48. Let p(t) = t**3 - 5*t**2 + 2*t + 17. Let s be p(v). Is 27 less than s?
False
Suppose 0 = 5*x + 3*q - 70, 39 = 4*x - 0*q - q. Suppose 5*n = -4*h + 19, -3*h = -h + 3*n - x. Which is smaller: h or 1/4?
1/4
Suppose -5*t + 1522 = 102*i - 105*i, -1507 = 3*i - 2*t. Is -499 equal to i?
True
Suppose -4*x - 488 = 4*z, -3*z - 38 + 29 = 0. Is -120 not equal to x?
True
Let h be 4/(-4) + (0 - 104). Let s be (6/(-8))/((-90)/h). Which is bigger: s or 0?
0
Let t = 100.825 - 100.7. Which is smaller: -3/2 or t?
-3/2
Let q = 52 - 49. Let z be (q - (-51)/(-7)) + (-15)/(-35). Which is smaller: -4 or z?
-4
Let p be -3 + (-2)/5*39/(-6). Suppose -5*v + 25 = -5*k, 4*v + 5*k - 4 = k. Let o = -4 + v. Is p greater than or equal to o?
True
Let r(v) = -v - 3. Let f be r(-6). Suppose 1 - 13 = -f*d. Suppose -y = 3*u - 10, -2*u - 12 = 2*u - 5*y. Is u at most as big as d?
True
Let d = -11 - -11.36. Let m = d - -17.64. Let z = m + -18.22. Is z at least as big as 0?
False
Let k(q) = -q**2 + 6*q + 7. Suppose -1 = -2*j - u, j + 4*u = -0 + 4. Let n be ((j + 7)/(-1))/(-1). Let l be k(n). Does l = 2/25?
False
Let k(c) = -6*c - 41. Let d be k(4). Is d at least -0.1?
False
Let p = 19 - 20. Let f be 19 + (-3 - -1)*p. Are f and 21 non-equal?
False
Let s = -10 - -9. Let p be 1 + s*(-8)/4. Suppose 2*o - p = 5. Is o less than or equal to 4?
True
Let m = 6 + -6.02. Let r = 1.02 + m. Let l = 0.279 + 0.121. Is l at least r?
False
Let a = 3/2032 - 61471/2032. Which is smaller: -29 or a?
a
Let j be 1 + (-2716)/(-2708) + -2. Let w = j - -1256/33173. Which is greater: w or -1?
w
Let z = -106.78 - -111. Is -2 <= z?
True
Suppose -8*g = -7*g - 5. Suppose -5*s - 60 = g*d, 2*s + 2*d = -s - 34. Let y be (-610)/(-25) + 4/s. Are y and 24 nonequal?
False
Let m(y) = -13*y - 1 + 14*y + 6*y + y. Let v be m(0). Does v = -7/5?
False
Suppose 4*k + 0*k = -400. Let v = k - -502/5. Suppose -2*z + 3*z + 20 = 4*r, 10 = -4*z + 2*r. Which is smaller: z or v?
z
Let j = -151/12 + 37/3. Let i = -3/20 + j. Suppose 4*w - 14 = -10*w. Which is smaller: i or w?
i
Let m = 22.6 + -26. Let f = m + 3.75. Let i = f - 0.46. Which is smaller: i or 0.2?
i
Let u(k) = -k**3 - 4*k**2 + 11*k. Let i be u(-6). Suppose v + 3*h = i*v + 12, 5*v = 4*h - 11. Is -3 greater than v?
False
Let s = -8033/846 + 169/18. Which is greater: s or 0?
0
Suppose 53*p - 64*p - 66 = 0. Which is bigger: 1 or p?
1
Suppose -5 = -2*z - 3*z. Let v be z/(-3 - 0 - -2). Let o be 10/25*1/v. Is o at most as big as -1?
False
Let q be (8/150)/((-70)/(-25)). Is 0 greater than or equal to q?
False
Let z(m) = -m**2 + 1. Let w be z(0). Let j be (1/3)/((1199/(-66))/1). Is j greater than or equal to w?
False
Let t be 64/4 + (-4)/1. Is 28 at least as big as t?
True
Let d = 19022/3 + -6341. Let x = -4.58 + 0.08. Let a = -0.5 - x. Does d = a?
False
Let h = -183 + 252. Which is bigger: h or 67?
h
Suppose -4*o + k = 168, 0 = -2*o - 0*k + 4*k - 84. Is o smaller than -45?
False
Let v = -3109/9 - -345. Does -1 = v?
False
Suppose 4*r = -2*h + 6, 2*h = -2*h + 12. Suppose -x - 2 = n - 5, 5*n - 4*x + 12 = r. Let s = 45/434 + -1/14. Which is bigger: n or s?
s
Let k = 12/83 - -2620/249. Is 12 <= k?
False
Let k = -2.13 - -36.13. Is 1 >= k?
False
Suppose -2*u - 4 = -3*u. Let m be u*(1 - 175/190). Which is smaller: 0 or m?
0
Let k be 29/(-29)*32/(-5) + -2. Is k <= 5?
True
Let s be 66/(-20)*(-9 + 218/24). Let c = 307/5 + -61. Let z = c + s. Which is greater: -1 or z?
z
Let o = -1040.5 - -1040. Is o at least as big as 3?
False
Let a(l) = 45*l + 60. Let i be a(-13). Which is bigger: -526 or i?
i
Let i(u) = u**3 - 6*u**2 - 7*u. Let p be i(7). Suppo