w + h + 2*h + 30 = 0. Which is greater: w or i?
w
Let u be (10 + -11 + 7)*(-37)/(-6) + 5. Suppose 3*l - 4*o - 130 = 0, 4*o + 3 + 1 = 0. Do l and u have different values?
False
Suppose -4*r + 2*g + 48 = -2, -2*r - g = -27. Let s(l) be the first derivative of -l**2 + 24*l + 39. Let u be s(r). Which is bigger: u or -3?
u
Suppose -i = -4*j + 106, 3*i + 166 = -2*j - 82. Let f = -675 - -588. Is i less than or equal to f?
False
Suppose -130*q + 157521 + 25147 = -7522. Is q != 7322/5?
True
Let b = 104 + -65. Let h be (-1386)/(-230) - (b + -33). Which is smaller: h or 0?
0
Suppose 0 = 11*o - 5*o - 2352. Let x = -194 + o. Is 197 greater than or equal to x?
False
Suppose 142*j = -423 + 9511. Does 20 = j?
False
Let m = 172 + -146.1. Let f = 29 - m. Let c = 1 + -1.1. Is c smaller than f?
True
Suppose 4*b + o - 5 = 0, 0*o - 10 = 4*b - 2*o. Let w(u) = u**3 + 3*u**2 + 93*u + 511. Let d be w(-5). Does b = d?
False
Let s = 5271 - 5325. Let x(t) = -5*t**2 - 6. Let j be x(5). Let d = j + 77. Is d less than s?
False
Let f(b) = -2*b**3 - 12*b**2 - 95. Let p be f(-7). Let i be 3*(-2)/(-3) + 0. Suppose i*c = -p*c + 155. Is 30 not equal to c?
True
Let i be (-2390)/(-120)*-4 + 1 + -1. Suppose 4*a = 3*x + x + 304, -a + 396 = -5*x. Let r = i - x. Is 0.3 greater than r?
False
Let d = 2511 + -2512. Is -160 less than d?
True
Let r(h) = h**3 + 39*h**2 + 37*h - 33. Let g be r(-38). Let d be 1 + -1 + g/(-570). Which is greater: 1 or d?
1
Let j = -68 + 156. Suppose 3*g = 4*g + 4*q + 7, 4*g - 4*q + j = 0. Let f(h) = -1419*h - 38315. Let v be f(-27). Is g less than or equal to v?
True
Let t be 430/5 + 2/(-1). Let i(h) = -114*h - 1. Let k be i(1). Let g = t + k. Which is greater: g or -32?
g
Let v be 2 + -2*42/40. Let k be (0 - (0 - -1)) + -3. Let q be -3 + (-3 - (-11 - k)). Which is smaller: q or v?
v
Let b(d) = -d + 1. Let l(j) = 30*j**2 - 3*j + 5. Let z(c) = 6*b(c) - l(c). Let k be z(-1). Is -24 equal to k?
False
Let x be (3/6)/(7/(-42)). Let g be 6/x - (-6 - 20). Let w be 3 + 17 - (-5 - -2). Is g <= w?
False
Let c = -2982 - -4045. Is c greater than 1?
True
Suppose 5*h + 4*g - 36 = 0, 4*h - 3*g = -0 + 4. Suppose h*v - 5*p = 509, -2*p = v - 124 - 0. Is 2/7 != v?
True
Let t(x) = x**3 + 15*x**2 + 11*x - 8. Suppose 9*b + 50 = 4*b. Let z be t(b). Suppose -16*l - 18 = z. Is l < -26?
False
Let b = -22 - -37. Suppose 5*m + 0 = b. Are m and 0 equal?
False
Let y = 186.476 + -186.44. Is -298 at most y?
True
Let q(g) = g**2 - 9 + 3 + 7*g - 11. Suppose 4*u + 4*r = 10 - 38, 4*u - 5*r + 28 = 0. Let l be q(u). Is l bigger than -18?
True
Let k = 2845/7502 + -23/62. Suppose 5*d = 4*t + 25, 10 = d + 4*d - t. Is k at least d?
False
Let v = 29717 - 29717. Let d = -6 - -10. Is d > v?
True
Let z(y) = -y**2 + 21*y - 39. Let i be z(19). Suppose 3*q - 4*q - 7 = 3*w, -2*q = -5*w - 30. Let r(j) = j**2 - 12*j + 5. Let a be r(q). Is a at least i?
False
Let x be -1*((-2)/4 + (-22)/(-4)). Let i(o) = -o**3 - 5*o**2 - 3*o + 6. Let f be i(x). Is f greater than 21?
False
Let b = -2446/31 - -1152872/14601. Which is smaller: 0 or b?
0
Let c = 13575 + -420743/31. Which is bigger: c or 3?
3
Let i be 30/4*((-414)/(-30) + -13). Let t = 5679 + -73767/13. Are i and t non-equal?
True
Let j = -8913 + 8912.4. Is -0.346 < j?
False
Let i = -45 - -21. Let c = 38/381 - 43624/1905. Is i bigger than c?
False
Suppose 3*t + 27 = 4*z + 2, -14 = -2*t - 5*z. Suppose -18 = -4*x - 2, -37 = 4*f - 9*x - 5. Is t at least f?
False
Suppose n + 4*w - 5457 = 0, -401*w = n - 403*w - 5421. Is n smaller than 5433?
False
Let f be (26 - 0)/(8*8/(-256)). Let p = f - -95. Which is smaller: p or -6?
p
Let m = 53560/880719 + -22/357. Do -1 and m have the same value?
False
Let m(i) be the first derivative of -2*i**3 - 49*i**2 - 22*i - 147. Let k be m(-17). Which is smaller: k or -179/2?
k
Suppose 18*a - 25 = 2495. Suppose -3*w - a = 25*w. Which is smaller: -24/5 or w?
w
Let j = -14228 + 14256. Is -4/19 at least j?
False
Suppose -102 = 5*b - 112. Suppose -b*s = s + 5*r + 13, 4*s = 4*r + 36. Let k = -151/8 + 1949/88. Which is bigger: s or k?
s
Let h = 143 - 139.29. Let q = h - -1.89. Is 2/5 < q?
True
Let y(t) = t**3 - 8*t**2 + 2*t - 12. Let s = 38 - 30. Let z be y(s). Let o = z - 11. Is -8 less than or equal to o?
True
Suppose -3*o - 17 = -a + o, -3*a + 5*o + 23 = 0. Let l = -2 + a. Let x = 1950923/20 - 97546. Which is smaller: l or x?
l
Let q = 43/5 + -3812/445. Suppose -11*b = 58*b + 10*b. Which is greater: b or q?
q
Suppose -5*y + 5*i = 110, -7*y + 2*y + 2*i - 125 = 0. Let p = y + 49. Let t = 10 - -10. Which is bigger: p or t?
p
Let n(i) = 134*i + 514. Let f be n(-4). Suppose 0 = -3*u + 9, -55 = 2*l - 3*u - 0*u. Which is bigger: l or f?
f
Let x be (0 + 2)*(0/(-2) + 2). Suppose -x*p = -15*p - 770. Which is smaller: -71 or p?
-71
Suppose -l + 3*l = -66. Suppose -k - 3*k - 25 = -p, 0 = 3*p + 2*k - 33. Suppose -5*j - p*j = 576. Which is bigger: j or l?
j
Suppose -15*w - 967 = -5*a - 13*w, -5*w + 605 = 3*a. Let o = a + -1362/7. Which is bigger: o or 0?
o
Let f = 18.8 - -161.2. Let p = -180.3 + f. Which is smaller: 1/23 or p?
p
Suppose -3*i = 2*b + 2 - 7, b - 1 = 0. Are i and -6/55 equal?
False
Suppose 0 = 5*p - p - 36. Let q = p + -25. Let v = -37983 - -37967. Is v less than or equal to q?
True
Let o(s) = 2*s + 28. Let f be o(-13). Suppose f*p - 6*x + 5*x = 112, -p + 49 = -4*x. Let k = 46 - p. Which is smaller: k or -10?
k
Let k be (-12)/(-4) + 1 + -1. Suppose 30*c - 81 = k*c. Which is smaller: c or 30/13?
30/13
Suppose -4*p + 103 - 83 = 0. Let s = 0.04 + -33.04. Let x = -36 - s. Which is greater: p or x?
p
Suppose -5*a = 3*q - 260, -3*a + q = 3*q - 157. Suppose 4*p + 69 = 5*k, -4*k + 5*k = p + 17. Let j = p + a. Is 33 greater than or equal to j?
True
Let i be (-128)/(-2) + 2 + 9 + -8. Suppose -d - 4*a = -25, -5*d - 6*a + 50 = -a. Let w(g) = g**3 - 3*g**2 + 4*g - 4. Let u be w(d). Is u >= i?
False
Let b = -4.15 + -82.35. Let c = 115 - 205. Let m = b - c. Is -3 at most as big as m?
True
Let b(a) = -768*a**2 + 10*a + 3. Let x be b(1). Let g = -893 + 138. Is g less than x?
False
Let i = -107 + 26. Let g be 0 + 59988/(-738) - 98/2009. Which is bigger: i or g?
i
Let p be (-8)/(-1) - 16/8. Let z be (-4)/p*(-51)/(-68). Which is bigger: z or -225?
z
Let t = 1.2309 + -1.2009. Which is greater: 249 or t?
249
Let u = 14226 - 14186. Which is bigger: 9 or u?
u
Let x = -97 - -137. Let z be (-8)/x - 2/(-5). Let j = -0.1 - -0.1. Is j less than z?
True
Let s = -0.0969 - -534.0969. Let w = 535 - s. Let k = 2 + -2.1. Which is bigger: w or k?
w
Let s(y) = 2*y**3 - 15*y**2 + 19*y - 46. Let a be s(9). Let v = -529 + a. Which is smaller: -159 or v?
v
Let v be 41 - (-3 - -2) - (-5 + -1 - 2). Is 1/336 less than or equal to v?
True
Let s(d) = 6*d**3 - 12*d**2 - 43*d - 3. Let n be s(4). Does 488 = n?
False
Let x(k) = k**2 + 37. Let n be x(0). Suppose 7 = -4*a + 3*q, 2*q + 10 = 4*q. Let l be (7/14)/(a/152). Which is greater: n or l?
l
Let u = -2/1338636525 + -5857873363526/46767944273925. Let q = u - -2/713. Let i(s) = s**3 - 10*s**2 + 31*s - 198. Let j be i(9). Is j bigger than q?
True
Let v(z) = -8*z + 15. Let w be v(2). Let q(d) = -13*d**2 + 2*d + 1. Let y be q(w). Is y <= -53/4?
True
Let i = -849/11 + -51/22. Let f = -1117/14 - i. Is f < -26?
False
Let b = -0.262 + 0.125. Let r = -0.277 - b. Is 2 at least as big as r?
True
Suppose -11*t = -882 + 79. Let c be 1*((-2)/3)/((-10)/1095). Do t and c have the same value?
True
Let c be 0*(152/16 - 9). Which is smaller: c or 2/7703?
c
Let h be (-29 - 302/(-10))*1145/(-2). Which is greater: h or -688?
h
Suppose 0 = -2*r + 8*r + 54. Let w be (14 - (1 + 4))*(-3)/r. Let p be (-4)/(-24)*((-387)/2)/w. Is -10 > p?
True
Suppose -3*v = -920*c + 921*c + 758, -2*c = -5*v - 1245. Which is greater: v or -2752/11?
-2752/11
Suppose j = -7*j + 96. Let i = -64 - j. Let p = 381/5 + i. Which is bigger: p or 1?
1
Let l = -3 + 5. Suppose -702 + 182 = -8*k. Suppose d - 94 = -p - 107, 5*p - 3*d + k = 0. Are p and l equal?
False
Suppose 6 = 2*y + 4*x - 10, 3*x - 12 = -y. Let f = -716881/120 - -5974. Which is bigger: y or f?
y
Let w be (31/186)/((-20)/135). Suppose -5*k + 0*k + 3*v - 11 = 0, -10 = 2*k - 4*v. Is w at least k?
False
Let a = 0.3377 + 18.0923. Let k = -11.34 + a. Let l = 7 - k. Which is smaller: 0.3 or l?
l
Let v = 0.04 - 7.04. Let r(f) = -f**3 -