 p = 44 - h. Which is greater: p or -14?
p
Let z(s) = -10*s**2 - 51*s - 16. Let t(j) = 51*j**2 + 256*j + 80. Let u(i) = 2*t(i) + 11*z(i). Let v be u(-8). Is -134 at least v?
True
Let o = -28.8702 + -0.0298. Let s = -28.9 - o. Which is smaller: s or -1/94?
-1/94
Let t be (9/((-45)/110))/((-8)/244). Let u = t + -18119/27. Which is bigger: 1 or u?
1
Suppose f + f = 5*m + 44, -m = -2*f + 4. Let b = -136 + 143. Let k be -10 + 2 + (1 - (-5 + b)). Is k greater than or equal to m?
True
Let n = 687.526 - 687. Let p = -31 - -31.026. Let f = p - n. Which is smaller: f or 5?
f
Let p = 8.8302 - -4.1698. Let g = 1 + -1.1. Is p equal to g?
False
Let s = -0.14 - -0.44. Let q = 127.26 - 128. Let m = -10.74 - q. Are s and m equal?
False
Let i = 24302 - 22879. Which is greater: 1427 or i?
1427
Let v(h) = -h**3 - 11*h**2 - 10*h. Let q(s) = -s**2 + 8*s - 10. Let t be q(8). Let a be v(t). Let l be ((-20)/(-85) + a)/(-2). Is -1 less than l?
True
Let c be ((-5)/(-436))/((-2)/12). Let i be (-164)/(-123) + (-3 - 59738/(-37932)). Let l = c - i. Which is smaller: l or 0?
0
Suppose 3*k - 303 = 4*l, k = 5*l - 0*k + 365. Let j be ((-8)/l)/(2/6). Is -22.6 greater than or equal to j?
False
Let a = 34 - 33. Let c(j) = j**2 + 5*j - 14. Let p be c(-8). Suppose -3*t = a - p. Are 2 and t equal?
False
Let f(w) = -w**3 + 27*w**2 - 117*w + 53. Let c be f(22). Let a be 3*-35 - (-4 - -1). Is a != c?
True
Let r(j) = -j**2 - 63*j - 189. Let y be r(-54). Do y and 297 have different values?
False
Let a be (-2 + 1)*1 + 3516/3508. Let m = -91222/6139 + a. Is m bigger than 0?
False
Suppose -4*r = 11 + 9. Let l be -2*2/(-1 - r). Let y(c) = -c**2 + 890*c - 11403. Let i be y(13). Are l and i unequal?
True
Let w(j) be the first derivative of -j**4/4 + 13*j**3/3 - 15*j**2/2 - 12*j - 29. Let t be w(11). Is 65 >= t?
True
Let b = 39.094 - 0.094. Let l = b - 38.9. Let s = -63.756 - -0.756. Is l < s?
False
Let k be 2/(-3)*-111 + -1. Suppose -3*p = -5*l + 17, 0 = -2*l - 4*p - 44 + 30. Is k at most as big as l?
False
Suppose -5*u - 5*v = -116 + 141, -11 = -u + 3*v. Are 2/249 and u nonequal?
True
Let t be 2/15 + 62412/(-315). Let i = t + 191. Let m be (-42)/4 - 2/4. Is m at least as big as i?
False
Let w = -2.38 + -0.96. Let z = 2.34 + w. Which is smaller: -120 or z?
-120
Let w = -79311 + 893597036/11267. Is -1 bigger than w?
False
Let c(n) = 5*n**2 - 44*n + 241. Let o be c(14). Which is greater: 604 or o?
o
Let f = 39919/5 + -7984. Let h = 1 - 2. Which is greater: f or h?
f
Let y be ((-250)/(-80) + 1/(-8))*1644/108. Do y and 2 have different values?
True
Let z = -207.7 - -5.7. Let a = z + 204. Is a smaller than -0.25?
False
Let b = -34036/3 + 1758526/155. Let x = -2 - -3. Which is smaller: x or b?
b
Let k(p) = 4*p**2 - 11*p - 109. Let g be k(-4). Which is smaller: g or -10/241?
g
Suppose -424 = 4*g + p, -2*g - 342 = -3*p - 102. Which is greater: -2692/25 or g?
-2692/25
Let q(t) = -6 - 5*t - 10 - 4 - 9*t**2 - t**3. Suppose 4*m = -2*m - 54. Let x be q(m). Does 25 = x?
True
Suppose -96*g = -92*g - 8. Suppose -22 - 2 = -g*t. Is t >= 13?
False
Suppose -a - 4*a + 1120 = 5*o, o - 453 = -2*a. Suppose -7*v - 268 - a = 0. Which is greater: v or -279/4?
-279/4
Let x = 133 + -124.44. Let d = x - -2.44. Let h = -2 + 1.8. Is h smaller than d?
True
Suppose 322*j + 224 - 38 = -136. Let q be (-447)/(-1820) - (-1)/(-4). Which is greater: j or q?
q
Let r = -6852 - -27271/4. Let u(y) = 6*y**2 + 253*y + 9. Let w be u(-42). Which is smaller: r or w?
r
Let f be ((-6)/225)/((-50)/(-5698155)). Let z = f + 3039. Suppose -19*w + 18*w - 5*u - 25 = 0, 3*u + 15 = -2*w. Which is smaller: w or z?
z
Let s = -795/2 - -373. Let h be -1*(-2)/(-4)*-244. Suppose 4*d - 36 = 2*x, 10*x + h = 5*x + 2*d. Does x = s?
False
Suppose 500*y - 18 = 506*y. Is y at least -92/21?
True
Let j = -499 - -459. Do -317/8 and j have different values?
True
Suppose 0*t - 6*t + 18 = 0. Let p(z) = -z**2 + 4*z. Let d be p(2). Suppose -3*k = d*h - 4, -2 - 1 = 4*k - t*h. Which is smaller: k or 2/3?
k
Suppose -2*q = -4*q + 178. Suppose -333 = -3*l + o - 65, 4*l - o - 355 = 0. Does l = q?
False
Let m be (-5133)/(-116) + (5/(-4) - -1). Suppose -42*j = -m*j. Is 2/39 greater than or equal to j?
True
Let c(z) = 2*z**3 + 17*z**2 - 46*z + 13. Let r be c(2). Suppose -10 = -5*s, -u + 6 = u + 2*s. Which is smaller: r or u?
u
Suppose 17*v - 30 = 15*v. Let f be 4/(-10) - 4/v. Which is bigger: -1 or f?
f
Let y be 1/(-2) - 766/(-20). Let b = 220499 + -220461. Which is smaller: y or b?
y
Let c(g) = -3*g**3 - 50*g**2 - 46*g - 234. Let f be c(-16). Which is greater: f or -85/8?
f
Let f(c) = 2*c - 32. Let h(a) = a**2 - 10*a + 8. Let u be h(11). Let j be f(u). Let r = 4 - -4. Which is smaller: r or j?
j
Let x = -4586 + 4587. Is 31/179 != x?
True
Suppose -6*s + 51 = 33. Suppose 0 = -s*f - 2*z - 3*z + 57, -f + 8 = -2*z. Is 18 <= f?
False
Let s(l) = -21*l - 3*l + 0*l + 3 + l**2 - 32 + 1. Let i be s(26). Which is bigger: 25 or i?
25
Suppose 0 = -0*g + 2*g - 42. Let w be ((-8)/6 + 2)*g. Let b = w + -13. Is -4/25 < b?
True
Let t be (-6)/9*6/526. Let k be 7 + (1 + 2 - 11). Which is smaller: k or t?
k
Let d = -7622.325 + -0.675. Do 2/7 and d have the same value?
False
Let j = -20481 + 25077. Is 4597 at least as big as j?
True
Suppose -2*q - 4*a + 24 = 0, 3*q - 33*a = -30*a - 18. Which is smaller: q or 17/72?
q
Let u(g) = -1 - 3 + g + 2 - 2. Let y(s) = -s + 9. Let b be y(6). Let j be u(b). Which is greater: 1/114 or j?
1/114
Suppose 0 = 2*o, -4*v - 4*o = -1 - 3. Let s(g) = -77*g + 31. Let j be s(v). Is j bigger than -1?
False
Let w(m) = 28 - 26 + m + 5*m. Let i be w(-6). Let z = -92 + 57. Which is smaller: z or i?
z
Let d = 3141 + -1904. Are d and 1238 non-equal?
True
Suppose 56*o - 24175 - 39950 = 11*o. Is 1427 bigger than o?
True
Let d(z) = 8*z + 3. Let u be d(-1). Let y be 4/60*6 + (-3)/u. Let s = 238 - 240. Which is smaller: y or s?
s
Suppose 25*x = 15*x + 150. Which is bigger: x or 204/13?
204/13
Suppose -3*v - 5 = 2*v. Suppose 26*j - 7*j = 0. Suppose 3*q - 5*q + 5*x - 29 = 0, j = -4*q - 4*x + 12. Which is greater: v or q?
v
Let o be 15 - 4048/272 - (-2)/2. Is o at least as big as 1?
True
Let w(l) = 59*l - 437. Let n be w(45). Is n less than 2218?
False
Let l(n) = -n**3 + 6*n**2 + 14*n + 6. Suppose 0 = -4*w + 6 + 6. Let s be w - (2/(-8) + 228/(-48)). Let o be l(s). Is -6 < o?
False
Suppose 0 = t - 3*t + 32. Suppose 11*m + 435 = t*m. Let v = m + -181/2. Do -4 and v have the same value?
False
Let z = -806 - -827. Let u be z/(-84) + 1/4. Do u and 4/91 have the same value?
False
Let p be (-11)/((25 - 1)/3). Suppose 20*d - 4*l + 11 = 25*d, -d - l = -3. Is d at most p?
False
Let o be 4/(-34) - 414/(-918). Let s be ((-2)/1)/(-1) + -1. Let z = o - s. Is -2/17 smaller than z?
False
Let h = 2413 - 2396. Which is smaller: h or -19?
-19
Let h be -2 - (-2)/(0 + -2). Suppose -2*u - 4*a + 38 = 0, -57 = -3*u + 11*a - 14*a. Let s be -4 + u/2 - h. Is 8 not equal to s?
True
Let u be 1/(-7)*3/(-7). Suppose 3*i - 49 = -5*k, 4*k - 17 = -i + 2*k. Suppose -s + 4*d - i = 3, 16 = 4*d. Which is greater: u or s?
u
Let h = 17042 - 16278. Which is smaller: 766 or h?
h
Suppose -231 = -g + 2*y, -3*g - 337*y = -334*y - 648. Which is smaller: g or 214?
214
Suppose 26*j + 959 = 695 - 1374. Is -84 less than or equal to j?
True
Let v(b) = 10*b**3 + 17*b**2 + 22*b - 71. Let i be v(3). Are 417 and i unequal?
True
Let y(o) = 18*o - 46. Let t be 783/174*2/3. Let i be y(t). Which is greater: -25 or i?
i
Suppose 0 = -4*q + 5*u + 1606, 10*u - 15*u + 788 = 2*q. Which is smaller: q or 397?
397
Let h = 1477 - 1945. Is -468 < h?
False
Let m(k) = -5*k - 34. Let o be m(-6). Let a be (o/13)/((-4)/(-10)). Which is smaller: a or -1?
-1
Let y be (6 - 3)/((-3)/(-2)). Suppose -y*f = 4*f. Let m = -1403 + 99611/71. Are f and m unequal?
True
Let d be (-27)/(-328)*-30 - (-11 - -8)*1. Which is smaller: d or 0?
0
Let c = -13303/4 + 3817. Let u = -494 + c. Is u > 4?
False
Suppose 0 = -t - 15*w + 16*w, 3*t - w = -2. Do t and -54/55 have the same value?
False
Suppose -208*f + 207*f = h + 4, 0 = -5*h + 10. Let v = 38 + -54. Which is greater: v or f?
f
Let v = -0.016638 + 6.962838. Let c = -0.0538 - v. Is c greater than 3/19?
False
Let b(u) = -u**3 - 10*u**2 + 10*u - 5. Let s be (2 - 5/2)*(27 + -5). Let r be b(s). Suppose -3*f = 5*h - 2 - 12, -r = -2*f.