 39. Let i(d) = -d**3 - 6*d**2 + d - 1. Let z be -5*((-3)/(-15) + 1). Let o be i(z). Which is smaller: b or o?
b
Let i be (-6 - 9)*(-3 + (-50)/15). Which is bigger: 96 or i?
96
Suppose -5*z + 4*i = -35, -5*i + 4*i = -z + 8. Suppose 14 = 4*a - z*j, 3*a - j - 23 = -5*j. Let m = 413 + -412. Which is smaller: m or a?
m
Let z = -271 + 1083/4. Is z equal to -1367?
False
Let i = 1.1 - -3.9. Let f = 0.12 - -5.18. Let z = f + -5.4. Which is bigger: i or z?
i
Let m = -128 + 181. Suppose -m - 51 = 8*q. Are q and 2 equal?
False
Let k(y) = 255*y - 3. Let i be k(1). Suppose 0 = 3*g + 4*g + i. Let m be 16/(-3)*(-9)/g. Is m at most as big as -2?
False
Let i = 1/65 - 913/195. Let d be 112/16 + (-22)/(4 - 2). Are d and i non-equal?
True
Let i = 222.089 - 222. Let k = 0.011 + i. Is k <= -0.08?
False
Let j(o) = o**2 - 8*o - 4. Let p be j(8). Let r = 9 + p. Suppose -18 = r*a + u + 9, 11 = -a - 3*u. Is a > 0?
False
Suppose 2*z = 7*z + 65. Let p(l) = l**3 + 14*l**2 + 14*l + 9. Let n be p(z). Which is smaller: -5/2 or n?
n
Let d = -41 - -70. Let m = d + -35. Is -4 less than m?
False
Let f = 531 + -435.4. Let c = f - 95. Do c and 0.1 have different values?
True
Let y(t) = t + 26. Let q be y(-29). Is q smaller than -0.25?
True
Let l be (-431)/(-5)*2 + (-118)/295. Do 0 and l have different values?
True
Let j(l) = -9 + 0*l + 2*l - 11 - 3. Let x be j(12). Which is smaller: 2 or x?
x
Let x(s) = -4*s + 6. Let r be x(3). Let y be r/(-72)*(-8)/(-2). Is -4 less than or equal to y?
True
Let d = -306 - -305. Which is smaller: d or 0.1?
d
Let w = -1742 + 1238. Let q = w + 7059/14. Which is smaller: q or 1?
q
Suppose 3*y - i - 3 = 2*i, 13 = -5*y - 4*i. Let f be (-5)/(-12)*108/240. Which is smaller: y or f?
y
Let n be (1/((-18)/192))/(1/(-3)). Let a = n + -29. Are a and 5 non-equal?
True
Let u be -45*(-4)/(-28) + 4/(-7). Is 9 at most u?
False
Let p be 26/(-120) + 38/95. Let a = 1/15 + p. Which is greater: 0 or a?
a
Let m be 27/((-405)/150)*(-32)/5. Is 64 greater than or equal to m?
True
Let c be -3 + (-4 - (-4)/(-4)). Let s be ((-21)/(-6))/((-4)/c). Which is bigger: 3 or s?
s
Let v = 199 - 197.9. Are 0.2 and v non-equal?
True
Let z be 5532/48 + (-60)/(-16) + -3. Which is smaller: z or 115?
115
Suppose -21 = 3*u - 81. Let b be (6/4)/(u/(-8)). Let y be -3*(8/(-3))/(-4). Are y and b unequal?
True
Let a be (0 + -2)/((-3)/12). Is a > 17?
False
Let d be ((3 - 1) + -1)/1. Let a be 5 + d + -8 + 4. Let w be 2/(-8)*(-40)/a. Is 4 < w?
True
Let x be (-25)/(3*(-6)/18). Which is smaller: x or 30?
x
Suppose -2*n = -4*u + 3*n + 501, 0 = u - 3*n - 134. Which is smaller: 0.1 or u?
0.1
Suppose -5*w - 51 = 34. Is 0.08 not equal to w?
True
Let i = -7.9 + 8. Let y(z) = 2*z**2 + 49*z + 31. Let m be y(-25). Are m and i non-equal?
True
Let a be 42/4*(-9 - 960/(-108)). Which is smaller: 13 or a?
a
Let k be -1 + -2 + (-543)/(-183). Suppose -4*x = -0*x + 4. Is x greater than k?
False
Let q be (2 - (-2)/(-2))*(1 + 2). Let i be (0*(6 + -2 - q))/(-1). Let p be (-4)/14 - (-152)/630. Which is smaller: p or i?
p
Suppose -5*p + 4 + 1 = 0. Is 4/63 bigger than p?
False
Let d = 23.18 - -2.85. Let v = d - 0.03. Which is greater: 0.1 or v?
v
Suppose 6*r + 3*p - 14 = 10*r, r + 9 = -2*p. Which is greater: -8 or r?
r
Suppose 5*l - 95 = 4*d, -5*l + 4*d = 3*d - 110. Is l <= 93/4?
True
Let f = -17.184 + 42.1. Let m = -0.084 - f. Is m greater than 1?
False
Let n(w) = -w**3 + 7*w**2 + 10*w - 11. Let f be n(8). Let x = -43 + 51. Is x at most f?
False
Let b = -27 + 39. Let l be (b/(-9))/(8/12). Let m(t) = -t**3 + 7*t**2 - 5*t - 7. Let n be m(6). Do n and l have the same value?
False
Let j be (-45)/10 - (-6)/4. Let p = -49 - -53. Suppose -q = -3*q + p*n + 4, 0 = -5*n. Which is greater: j or q?
q
Let w be ((3 - 2) + -2)*-1. Let l be (-5)/(-105)*(1 + w). Suppose 4*r - 3*r = -5, -3*m - 28 = 5*r. Is l >= m?
True
Let w be 12/(-20)*-5 - 5. Which is smaller: -4 or w?
-4
Let h be -18*(-1)/4*-6. Suppose 76 = -5*g - 74. Let b = h - g. Is b < 1?
False
Suppose 0*y - 10 = 5*y. Let h be (2/(-12)*2)/(37/185). Is h bigger than y?
True
Let k = 1 + -13. Suppose a = 3*s - 26, 5*s = 3*a + 19 + 39. Is a equal to k?
False
Let s = -1237 + 1289. Do -19 and s have the same value?
False
Let j = 496.52 + -496.5. Suppose 0 = -2*z - 7 + 1. Is z <= j?
True
Let o be ((-44)/10)/((-6)/15). Let q = 34 + o. Is 45 at most as big as q?
True
Suppose 4*s + 33 = -y + 9, -4*s + 5*y = 48. Let d = -23 - s. Let v = 15 + d. Is v bigger than -2?
True
Let a = 23 - 13. Let u = -5 + a. Let g be 6/36 - (-20)/6. Which is smaller: g or u?
g
Suppose 0 = -16*u + 24*u - 88. Which is smaller: -2/7 or u?
-2/7
Let d be 188 - (2 + (-6)/(-2) + 1). Is d greater than 182?
False
Let g(m) = m - 10. Let o be g(12). Let r be (-10)/(-1)*4/5. Is o less than or equal to r?
True
Suppose 1928 = -322*h + 314*h. Is -241 < h?
False
Let x = -18 + 18.8. Let g = 1.2 + x. Which is greater: 0 or g?
g
Let g(n) = n**3 + 11*n**2 - 7*n - 19. Let w be g(-12). Let y = 11155/7 - 10600/7. Let k = w + y. Are 12 and k unequal?
True
Let x = 0 + -2. Let k be 4 + 8/x + 14. Let s be (-4)/k - 30/42. Is -1/7 equal to s?
False
Let q = 9 + -7.4. Let f = 0.029 + 83.971. Let s = -83 + f. Which is smaller: s or q?
s
Let r = 5471/7 + -783. Let l = r - -29/35. Is l at most -1?
False
Let o = 485 + -484.8. Which is bigger: o or 23?
23
Let a = 0.8 + 0.3. Let y = 1.3 + a. Let f = -2.34 + y. Which is bigger: f or 0.1?
0.1
Let h = 116 - 115.9. Let y = 10 + -6. Suppose 4*w = -20, -y*o + w + 3*w - 12 = 0. Is h greater than o?
True
Suppose 8 = -s - 3*s - 4*x, 0 = -4*s - 3*x - 6. Which is greater: s or 1/23?
1/23
Let n be 52/260 - (-128)/10. Is n greater than 17?
False
Let k be 108/110*(-320)/96. Let p be (-1)/(22/40) + (-32)/176. Which is smaller: k or p?
k
Let l = -718 + 152. Does 1 = l?
False
Let u(v) = -v**3 - 8*v**2 - 7*v - 15. Let i be u(-7). Let o(m) = -m**3 - 15*m**2 + m + 1. Let h be o(i). Let t be 28/42 + 8/h. Which is bigger: t or 0?
t
Let b = -379 + 377. Is -15 at least as big as b?
False
Let n be 2/(-17)*2/4. Suppose 0 = -33*b - 9422 + 9389. Which is smaller: b or n?
b
Let z(t) = -3*t**3 + 10*t + 2*t**3 + 0*t + 3*t + 9*t**2 - 15. Let l be z(10). Which is greater: 16 or l?
16
Let h be (4 - 18/(-6)) + 1446/(-150). Which is greater: 1/7 or h?
1/7
Suppose 2*q - 18 + 2 = 0. Suppose -q = 5*y - 33. Suppose y*p - 30 = 2*p. Which is smaller: 9 or p?
9
Suppose -g - 3*q - 1 = 0, -7 = 3*g - q - 4. Which is bigger: g or 2/209?
2/209
Let s be (-20)/(-6) + (-4)/(-6). Let i(f) = -8*f + 40. Let o be i(8). Let c = o + 26. Which is bigger: s or c?
s
Let o be 174*(-5 - (-2 - 2)). Let k be (-177)/o + (-1 - 0/1). Which is greater: k or -1?
k
Let d = -119 + 188. Let f = 48 - d. Is f less than -20?
True
Let y(i) = 10*i + 95. Let w be y(-9). Suppose 90 = -w*h - 5*h. Is -1 > h?
True
Let z = 15 - -42. Let s = z + -57.1. Let x be ((-1)/4)/(5/(-8)). Is x < s?
False
Suppose 2*l - 3*l = -5*d + 15, 4*d + l - 12 = 0. Suppose -d*t + 3 = -6. Let a be 2 - (t - (-10)/(-8)). Which is smaller: 1 or a?
a
Suppose -7*n + 12*n + 200 = 0. Let k = n + 39. Which is greater: k or 3/31?
3/31
Let g = -94656.03 - -94180. Let p = -474 - g. Let x = p - 0.03. Which is greater: x or -1/5?
x
Let b be (26/(2 - 4))/(-1). Suppose 21*d = 13*d + 104. Is b at most d?
True
Let s be (77/(-21) - (10 - 6))*3. Is -23 <= s?
True
Let w = 2973 - 50517/17. Suppose -o = -423 + 421. Is w at least as big as o?
False
Let o = 193 + -82. Suppose -4*b - 4 = 0, 3*j + o = -2*j - b. Is -67/3 less than or equal to j?
True
Let z be -4 - 4/(-6)*3. Let y(k) be the second derivative of k**5/20 + k**4/4 + k**3/2 + k**2/2 - 35*k + 1. Let q be y(z). Is q at most as big as 2/19?
True
Let v = 30 - 21.4. Let y = 9 - v. Which is bigger: -3 or y?
y
Suppose 129 = 72*s - 69*s. Suppose -s = -5*a + 42. Let c be 74/4 + (-1)/2. Is a smaller than c?
True
Let j = 99 - 95. Let k be j + (-14004)/3333 - 4/(-22). Which is greater: 1 or k?
1
Let r be -8 - (10 + (-21175)/1177). Is r != -0.1?
True
Let d = -77831/23 - -3385. Is d at least as big as 1?
True
Let k = -3 - -2.8. Suppose 0 = -0*x + 4*x - 16. Are x and k unequal?
True
Suppose -4*m - 2*c = 162, 200 = -23*m + 18*m - 2*c. Suppose 0 = -5*q - 5*b - 206 - 4, 2*q + b + 79 = 0. Is m <= q?
True
Let i = -50 + 38. Let m be (-39)/i - (-1 + 4). Which is greater: 28 or m?
28
Let g = 