maller: p or -3.147?
-3.147
Suppose 54 = 2*y - 2*i, -4*i = y - 5 - 32. Let d(p) = -7*p - y + 14*p + 2*p - 5*p. Let n be d(7). Which is greater: 1/4 or n?
1/4
Suppose 0 = -15*r + 16*r - 40. Let g be 29210/700 + 2/60*-9. Which is smaller: g or r?
r
Let l(b) = b**3 - 2*b**2 - b. Suppose -5*z - 1 = -3*o - 7, 5*z = 2*o + 4. Let k be l(z). Let t be 31/(-33) + (0 - -1). Which is smaller: t or k?
k
Let m = -40/7 + 426/77. Suppose 4*s - 2*o - 22 = 0, -s - 1 = 2*o - 9. Suppose 13*k + 7 = -s. Is k smaller than m?
True
Let x be 272/18 + 9/(-27) - 22/(-99). Is x < 95?
True
Let b(n) = -4*n**2 - 44*n - 8. Let i be b(-9). Let x be (1 - i/76)/(-1). Is x < 0?
True
Let c(z) = -z**2 + 14*z - 31. Let j be c(15). Let r = -44 - j. Let p be (r/10)/((-34)/1105). Is -8 equal to p?
False
Let u = -359.6 + 395. Let r = u - -20.6. Which is smaller: r or 0.2?
0.2
Suppose 2*h - h - 1 = 0. Let o(z) = 5*z. Let u be o(h). Suppose 5*m - n = 112, -2*m - u*n = -0*m - 34. Which is smaller: m or 0.1?
0.1
Let h = -27.95 - -27.7. Let x = h - -0.25. Which is smaller: x or -61/2?
-61/2
Let g be (-90)/(-4)*(-5069)/(-2877). Which is bigger: g or 41?
41
Let k(w) = 2172*w + 7309. Let t be k(-3). Is 798 at least t?
True
Let x be -6 + (-6 + 5 - -3). Let h be -3 - 0 - (x + 0/2). Is -4/81 bigger than h?
False
Let c be 10*(-6)/240*(-1)/2. Is -0.86 greater than c?
False
Suppose 0 = -13*t + 84 - 19. Suppose 2*a + 4 = 2*w, 3*w - 13 = w + t*a. Let h be 4 - (4/1 + w). Is h less than 4/15?
False
Let d be (1/2)/(2/(-44)). Let w = -245 + 271. Let l be w*1*((-78)/12 + 6). Do l and d have the same value?
False
Let r = 9037 - 5398. Is 0 less than r?
True
Suppose -d - 2*b = -1, 15*b + 9 = 2*d + 12*b. Suppose x + 208 = -4*g - x, -d*x - 150 = 3*g. Which is smaller: g or -53?
g
Let f(t) = t**3 - 6*t**2 + 233 - 240 + t + 3*t. Let m be f(5). Let p = 2 - 14. Is m <= p?
True
Let l = -130 - -168. Suppose -6*p = j - 2*p + 32, -2*p = -j - l. Is j bigger than -38?
True
Let l = -1.221 + 2.262. Let c = -188.041 + 188. Let u = l + c. Which is bigger: -10 or u?
u
Let n(q) = 22*q**3 + 0 - 6*q**3 - 2*q**2 + q - 17*q**3 - 7. Let d be n(-3). Is d < -3/116?
True
Suppose 4*c + 23*i = 24*i - 1615, 0 = -4*c - 4*i - 1620. Are c and -404 nonequal?
False
Let v be (-2)/(16/(-12) + 2) - 0. Let k be v + -2 + 6/3. Let u be (-2)/k + ((-4000)/12)/(-4). Which is greater: 85 or u?
85
Let d be (-6)/15 - (-582*4/(-30) + -5). Which is bigger: d or -14?
-14
Let v be 1 + 2/2 - (-3 + 70/15). Let d = 0.24 - 0.34. Which is smaller: v or d?
d
Suppose -o + 4*o = 0. Let z be 5915/(-60) - (-3)/(-9). Let y = z - -99. Is y at least as big as o?
True
Let o be (10608/1152)/(-2*(-3)/(-12)). Is o <= -17?
True
Suppose 2 = -c + 12. Let v(d) be the first derivative of d**3/3 - 6*d**2 + 21*d - 1659. Let z be v(c). Which is smaller: z or 8?
z
Let f = -3223546/453 - -7116. Let y = -112 - -112. Which is bigger: f or y?
f
Let p = 0.5 + -0.56. Let r = p - 0.03. Let b = -0.01 + r. Which is greater: 0.9 or b?
0.9
Suppose -8009*y = -8017*y + 352. Suppose 5*v + 3*n + 79 = -173, -v - 5*n = 46. Let l = 95 + v. Is y > l?
False
Let v = -35 - 77. Let a = -115 - v. Which is smaller: a or -10?
-10
Let q(x) = 3*x**3 + 11*x - 15. Let b be q(3). Suppose b = -4*p + p. Let k = p - -34. Which is bigger: -6/73 or k?
k
Let s = 217.8 + -215.789. Let f = -6.011 + 6. Let j = f + s. Is -4 greater than j?
False
Let v = -3379 + 3285. Which is smaller: 16 or v?
v
Let g = -25 - -36. Suppose -i = 4*l + 2 + g, 0 = 4*i + l + 7. Let k be (i + 2)*4/4. Is k less than or equal to -2/41?
False
Let d be (-101 + -8 + 2)*-1. Let w be 18/72 - d/(-36). Which is smaller: w or 2?
2
Let i = -4536 - -4585. Which is greater: 1218/25 or i?
i
Let r = 8.4 + -6. Let p = -3.7 + r. Let q = p - -2.3. Do 12/13 and q have the same value?
False
Let n = 0.0234 + -0.1234. Let c = -1/537 + 4301/2685. Which is smaller: n or c?
n
Suppose -4*a - 111 = -g, 0 = 2*a - 5*g + 51 - 0. Does -19 = a?
False
Suppose 8 = 3*p - 10. Let r be 7/21 - (-970)/p. Let g be (-4)/(-10) + r/(-105). Which is greater: -1 or g?
-1
Let d = 7 - 8. Let r be (-1 - (-33)/6)*(-80)/60. Let p be 10 + r - (151/25 + -2). Which is bigger: d or p?
p
Let r = -0.2 - -0.12. Let i = 1460791/9 - 162307. Which is smaller: r or i?
r
Let n be (24 + (-1088)/(-48))*51. Is 2381 at most n?
False
Let i(l) be the third derivative of 13/60*l**6 + 0 + 1/3*l**3 + 0*l**5 - 1/8*l**4 + 15*l**2 + 0*l. Let w be i(1). Which is smaller: 26 or w?
w
Suppose -163*k + 161*k + 30 = 0. Let f be -5 + -1 - (k + 49). Is -70 at most as big as f?
True
Let y be 2717/2 - (-39 - -42). Is y less than 1357?
True
Let j = -1619 - -1381004/853. Which is smaller: -1 or j?
-1
Suppose 0 = -3*c - 2*z + 16, -2*z = -c + z + 9. Suppose 27*t + 7029 = -c*t. Which is smaller: t or -214?
-214
Let j = -64 + 81.8. Let i = j + -15.8. Let o = 0 - 0.5. Which is smaller: i or o?
o
Let t = 3.9 + 20.1. Let s = t + -3. Let p = s + -28. Which is greater: p or 2/7?
2/7
Suppose -125*r - 8448 = 158*r - 235*r. Is r > -170?
False
Let f be (3/((-12)/5))/(11670/(-48)). Are f and 1/3 non-equal?
True
Let v = 1/398 + -799/1194. Which is bigger: -749 or v?
v
Let d = -56 - -80. Suppose -8*z + 12*z = d. Suppose -z*x - 45 = -11*x. Which is smaller: 6 or x?
6
Suppose -6 = -5*y + 5*a - 31, 5*a + 10 = 0. Let v(f) = f**2 - 10*f - 14. Let n be v(y). Suppose 0 = z + 2*z + n. Are -35 and z non-equal?
False
Suppose -s - 1104 = -4*s. Let g be (-40)/s*(-1)/(-5). Let z be (0*(-6)/36)/1. Is z greater than or equal to g?
True
Let z = 59035016/1467 + -40242. Is 3/7 at least as big as z?
True
Let d be (558/124)/((-1089)/60). Which is bigger: d or 1?
1
Suppose 66 = 8*y + 58. Let q be (-4 - 0)*-1 - 6/y. Let v = -1/756 - 2011/3780. Do v and q have different values?
True
Let c be 1 + (8 - 7)/(1/3). Suppose -3*a + 5 = -c. Let j be (1 + -1)*(-5 + 14/a). Which is smaller: 6/13 or j?
j
Let k(z) = -41*z - 275. Let d be k(-13). Let u be (-1406)/(-222)*d/8. Is u <= 203?
False
Suppose 98*j - 6 = 104*j. Which is smaller: j or 15/149?
j
Suppose 0 = 3*c + 4*q + 4, -q = -4*c - 3*q - 2. Let s be 22/3*(c/1 + -3). Let p be 27/(-99) + -1*(-4)/s. Which is smaller: p or -1?
-1
Let d(y) = 6*y - 1. Let c be d(-3). Let p(a) = -2*a**3 - 11*a**2 - 24*a - 36. Let l be p(-8). Suppose -l*z + 40 = -478*z. Which is greater: c or z?
c
Suppose -102*w = -110*w + 16. Let h = 3 - 1. Suppose h*j = b - 1, 4 = -w*j + 6. Are 3 and b nonequal?
False
Let d be (-10)/30 - (-896)/(-3). Let v = 298 + d. Which is bigger: -1/36 or v?
-1/36
Let o be 19446/36 + 4/(-24). Let y be ((-2)/6)/(2760/o). Is -1 > y?
False
Suppose 105*h + 3055 = 40*h. Which is bigger: -32 or h?
-32
Let f be ((-7)/(-2))/((-16)/(-32)). Suppose -3*s - 3*r + 57 = -0*r, -r - 89 = -5*s. Let u be (-483)/(-66) + s/99. Is u < f?
False
Let z = 87881/51 + -1723. Which is greater: 1 or z?
1
Let g = 4041 - 3700. Does g = 349?
False
Let s(z) = -2*z**3 - 13*z**2 - 7*z - 99. Let a be s(-7). Is 3160 equal to a?
False
Let x = -30/13 - 31/26. Suppose 0 = 85*i - i - 420. Are x and i non-equal?
True
Let b = -4 - -9. Let x(k) = -k**2 - 91*k + 2600. Let c be x(23). Is b at least as big as c?
True
Let h be (-1)/(0 + 5/(-10)). Suppose d = -h*d - d. Let o be d - ((-12)/663)/2. Which is bigger: -1 or o?
o
Suppose 0*h - 3*u + 12 = -3*h, 0 = 5*h - 3*u + 12. Suppose h = 6*m + 4*m - 580. Which is smaller: m or -0.4?
-0.4
Let t = 966/11 - 28003/319. Is t less than 1/8?
True
Suppose 2*l - 17 = 5*o + 15, 3*l = 4*o + 34. Let a be (-2 - 0) + 5 + (-2680)/(-12). Let m = -226 + a. Is m bigger than l?
False
Suppose -3*b + r = -249 + 714, 5*b = 5*r - 765. Let x = b + 2030/13. Let y be (-3 - -2)*(2 - 2). Is y less than or equal to x?
True
Suppose 3*a + 7 = 4*g, 0 = -4*a + 53*g - 55*g - 24. Which is bigger: -71/13 or a?
a
Let g be (-4)/((4/(-14))/(9/9)). Suppose -g*k + 6*k = -14048. Let c = k + -49163/28. Is 1 greater than or equal to c?
True
Let x(w) = 4*w**3 + w**2 + 8*w + 8. Suppose -84 + 87 = -3*o. Let q be x(o). Is 4 > q?
True
Let w = -0.09 + -0.5. Let a = 1.41 - w. Let c(y) = -y**3 - 21*y**2 + 22*y - 3. Let k be c(-22). Which is greater: k or a?
a
Let p be 7/9 + (-24)/(-108). Let d be (p/(-8))/(2/(-84)). Let c = -186 - -190. Which is smaller: d or c?
c
Let k = -8 + 12. Suppose 5*q + 7 = k*n, -n - n - 1 = -q. Let t = 2/889 - 4449/1778. Which is smaller: n or t?
