9*w + 4. Let k(r) = 11*r + 2. Let h(i) = -7*k(i) + 4*l(i). Let c be h(n). Is 2/9 bigger than c?
True
Let x be -1*16 + 177/59. Is -12 not equal to x?
True
Suppose 2*r + 3*d = -241, -3*r + 4*d + 238 = -5*r. Let v = -131 - r. Is v at most as big as 0?
True
Suppose -3*i + 3 = -4*g, -g - 9 = 3*g - i. Let j be (-33)/44*(-2305)/g. Let y = j - -579. Is 0.1 less than y?
True
Let x = -5 + 21. Let k = x - 6. Let r(t) = t**3 - 12*t**2 + 19*t + 7. Let h be r(k). Which is smaller: -5/3 or h?
h
Let v = -614 - -620. Let u(j) = 7*j**2 - 9*j + j - 4 - j**3 + 2*j. Let o be u(v). Which is greater: -2 or o?
-2
Let b be (-2)/(-6)*0*-1. Suppose 3*i - 20 - 7 = b. Let p = i + -5. Which is greater: p or 2?
p
Let i be 1 + 13/(7/(-11 + 4)). Which is smaller: -10 or i?
i
Let v = 2670 + -381812/143. Which is smaller: v or -1?
-1
Let p be (-5)/20*4*(-85 + 1). Suppose 3*w - m = -2*w - 76, 4*w = -5*m - p. Is w >= -17?
True
Suppose 2*z = -2*z + 48. Suppose -v + z = -4*v. Let o be 0 + 0 + 2/v. Is -1 at most o?
True
Let u = -13 + 12.7. Let o = 1.8 + -1.67. Does o = u?
False
Let u = 2 + -2. Let s = 225 + -225. Is s less than u?
False
Let m = -8 + 3. Let u = m + 4. Let k be (-15)/(-5) + u*2. Which is smaller: k or -2/9?
-2/9
Suppose 0*i - 2*m - 3 = -5*i, 7 = 5*i - 3*m. Let u = 729 + -23331/32. Is i <= u?
True
Let v be ((-90)/(-75))/(3/25). Suppose 0 = 2*p - 4*p + v. Does 13/3 = p?
False
Let y = -199 - -199.16. Which is smaller: 0 or y?
0
Suppose 3*w - 3 = 0, -2*z + 2*w - 3*w - 71 = 0. Let b = 9 + z. Is b not equal to -27?
False
Suppose -2*v - 7 = 5. Let m be (2/v)/((-2)/66). Let d = m + -13. Is d at least as big as -3?
True
Let v be ((1 + 2)/(-3))/(12/540). Which is smaller: v or -49?
-49
Let n = 7.121 - 0.121. Which is greater: n or -2/7?
n
Let z = -39 + 47. Suppose -10*i + z = -14*i. Which is smaller: i or -5?
-5
Let i = -1.6 - -0.2. Let s = i + 0.52. Let r = -1 - s. Is r greater than -0.1?
False
Let q = -623 + 596. Are 7 and q nonequal?
True
Let v(h) be the second derivative of h**4/12 - 2*h**3/3 - h**2 + 40*h. Let i be v(4). Which is bigger: 1 or i?
1
Let g = 598 + -606. Is g equal to -8?
True
Let w(p) = -p**3 + 10*p**2 - 2*p - 7. Let h be w(10). Let r = h - -82. Let j = r - 769/14. Which is greater: -1 or j?
j
Let o = -1 + 0. Let t(l) = 5*l - 56. Let b be t(14). Which is smaller: b or o?
o
Let d = 530 + -496. Which is smaller: -13 or d?
-13
Let w be (0 - -1)*(-14 - -9)/(-5). Is w at least as big as -2/107?
True
Let l = -959 - -1029. Let n(k) = 69*k**2 - k + 1. Let g be n(1). Which is smaller: l or g?
g
Let g(s) = s**3 + 7*s**2 - 8*s - 3. Let i be g(-6). Let l = -1436 - -1518. Which is smaller: i or l?
i
Let c = 119 + -263. Let n be (22/(-6))/(-3*(-4)/c). Which is greater: n or 46?
46
Let o = 8.2 - 6. Let p = -2.1 + o. Which is smaller: -1/3 or p?
-1/3
Let y be ((-2)/3)/((-64)/36). Which is bigger: -1/12 or y?
y
Let j(g) be the second derivative of 0 - 1/12*g**4 - 8*g - 7/6*g**3 + 5/2*g**2. Let a be j(-8). Is -1/8 at most a?
False
Let c = -17 + 19. Suppose -5*j - 11 = 3*p, -21 = 3*p + 5*j - c*j. Let d be (-1)/2 + p/(-56). Which is greater: d or 1?
1
Let m = -1071 + 1070.9. Let h = 79 - 46. Which is bigger: m or h?
h
Suppose 30 = -5*y - 4*q, y - 2*y + 3*q - 6 = 0. Let d(c) = -8*c + 3. Let p be d(1). Which is smaller: p or y?
y
Suppose 5*y + 4*t = 16, 4*y - 7 + 19 = 3*t. Which is greater: 3/29 or y?
3/29
Suppose m - 428 = 3*a, -13*m = -10*m - a - 1316. Which is greater: m or 1316/3?
m
Let x be 3 - ((-423)/10)/(-9). Let r be (6/25)/(2/10). Let y = r + x. Is -8 greater than or equal to y?
False
Suppose 4*c + 2 = 2*y, 0 = 3*y + 2*y + 5. Let o be 12/(-207)*3*c/(-2). Let i be -1 - 1 - 3*-1. Which is greater: i or o?
i
Let s = -2.5 + 5.6. Let q = s - 3. Let h = 3.92 + 0.08. Which is bigger: h or q?
h
Suppose -q + 15 - 3 = 5*s, 4*q = 3*s + 48. Let c(a) = -a**2 + 13*a + 3. Let r be c(q). Let z = -16 + r. Which is smaller: 2/27 or z?
z
Let q be (-3 - -2)/2 + 105/266. Is 0.3 at most q?
False
Let w = 0.134 - 1.134. Which is smaller: w or 9/31?
w
Suppose 0 = 3*d + 3*w - 114, -3*d + 2*w - 66 + 185 = 0. Suppose 0 = 3*u + 2*u - 190. Which is greater: d or u?
d
Let u = 7.82 + -7.582. Which is smaller: 0.1 or u?
0.1
Let n be (6/5 - 1)*130/377. Are n and 0.04 nonequal?
True
Let p = 365 - 360. Is -20 >= p?
False
Suppose 10*m + 15*m - 4475 = 0. Which is bigger: 180 or m?
180
Let p = 1176 - 1191. Which is bigger: p or 6?
6
Let x = -2272 + 2271. Which is greater: x or -1/230?
-1/230
Let c be 1/(-10) + (-688)/(-480). Which is greater: 2 or c?
2
Let y = -167.4 - -1328.4. Is 1/4 at least as big as y?
False
Suppose -4*w = -3*q - 63 + 3, -3*w + 4*q + 45 = 0. Let p = 13 - w. Which is greater: p or -12/5?
p
Suppose 146 = 4*u + 154. Is u at most as big as 3?
True
Let l(u) = 10*u**3 - 2*u**2 - u + 10. Let v be l(2). Is v > 82?
False
Let b be 707/1*8*(-2)/(-56). Which is smaller: 203 or b?
b
Suppose 4 = s - 2*h - 6, -4*h - 20 = 0. Suppose s = 13*z - 12*z + 4. Which is greater: z or -6?
z
Suppose -5*d + 30 - 10 = 0. Suppose -f = 5*o - 28, 36 = d*f - 2*o + 3*o. Which is smaller: 7 or f?
7
Suppose -r = -3*r. Suppose 137 = -27*p - 52. Which is smaller: p or r?
p
Suppose 2*m - 2*j = -4, 2*m - m + 2*j = 7. Which is greater: m or 6/161?
m
Let t be 288/7 + 80/28 + -3. Let s = t + -39. Is 4/3 not equal to s?
True
Let k = 23 + -11. Let z = 21 - k. Let r = -0.592 - -1.592. Which is bigger: z or r?
z
Let h(d) = 29*d**2 + 3*d + 2. Let x be h(-1). Let w(i) = -2*i - 4. Let g be w(-4). Suppose g*b - x = 2*b. Which is smaller: b or -0.1?
-0.1
Let m = -0.262 + -0.798. Which is smaller: 2 or m?
m
Suppose i + 5*w = -i + 3, -3*i + 17 = -5*w. Suppose -i*d = -5 - 27. Let t be d/40 + 3/10. Which is smaller: t or -4?
-4
Let d be -9 - (4/6 - (-5)/(-3)). Let n(i) = 2*i**3 + 17*i**2 + 7*i - 7. Let t be n(d). Which is smaller: -1/16 or t?
-1/16
Let x be (-2)/7 + (-585)/(-63). Suppose -2*a + x = -3*j, -5*a + 8*j = 3*j - 20. Suppose 2 = a*n + 5. Do -2 and n have the same value?
False
Let f be (2 + -3)/((-6)/(-492)*-2). Is 52 bigger than f?
True
Suppose 4*t + y = -208, 0*t - y = t + 55. Which is smaller: -55 or t?
-55
Let q = 0.016 - 8.916. Let p = -3.9 - q. Let u be (1*2)/(4 - -2). Are u and p unequal?
True
Let m be -1 - 9*(-1 + 0). Let f be ((-15)/4)/((-3)/m). Let k(c) = c**2 - 26*c + 168. Let i be k(10). Which is greater: i or f?
f
Let v be 0/((1 - -1) + (-6 - -5)). Let y = -33 - 42. Let f be 10/(-12)*(-12)/y. Which is smaller: v or f?
f
Let k be 32/48 - (-132)/(-201). Does k = 0?
False
Let p(l) = 4*l - 18. Let a be p(-5). Let q = a + 38. Which is greater: 5 or q?
5
Let f be ((-55640)/21)/5 + 18/(-189). Which is greater: -529 or f?
-529
Let r be 2/8 - -2*(-4)/32. Which is smaller: r or -4/371?
-4/371
Let a = -0.44 - -0.5. Let u = a - -3.94. Let d be (-20)/(-16) - 6/4. Which is smaller: u or d?
d
Let h = -2.012 + 0.212. Which is smaller: 0.4 or h?
h
Let m be 1/(-5) + (-4)/(-20) + 1. Is m equal to -0.11?
False
Suppose 0 = -4*x - 4*l + 32, 2*x + 5*l = 33 - 2. Do x and 9 have the same value?
False
Let u(f) = -f**3 + 10*f**2 + 12*f - 9. Let t be u(11). Suppose -t*i - 5*s = 0, 3*s = -i + 4*s. Let r = -1525/12 + 127. Is i at most r?
False
Let f(b) = -14*b - 29. Let m be f(-4). Suppose 25 = w + m. Is w < -15/13?
True
Let g(x) = -x**3 - 5*x**2 - 4*x + 1. Let q be g(-4). Suppose -2*y + 4*l - 38 = 0, y - 6*y + 3*l = 81. Let o be ((-3)/y - 0)*q. Which is smaller: o or -1?
-1
Let b be 16/(-20)*7/((-98)/(-35)). Which is greater: 21 or b?
21
Let h = -0.48 + -35.52. Let f = 38 + h. Is f <= -11?
False
Let i = -1/3 + 1/12. Let r = -16 - -13. Let j = 6 + r. Which is smaller: j or i?
i
Let z = -1/1551 + -595577/10857. Is -54 less than z?
False
Let o be (-1141)/(-5) + (-3)/(-1). Let k be (104/(-10))/(2/(-45)). Let g = o - k. Is -4 greater than or equal to g?
False
Suppose 24*a - 92 = 76. Which is smaller: -4 or a?
-4
Let z(w) = w**2 - 12*w + 15. Let y be z(11). Let d = 7.92 + -8. Let f = d + 0.18. Is y greater than or equal to f?
True
Suppose -152 = -3*j - n, -n - 198 = -j - 3*j. Let k(p) = -2*p**2 - 181*p - 391. Let a be k(-88). Which is smaller: a or j?
a
Let i(v) = v**2 + 10*v - 11. Let u be i(-11). Let r = -114 - 105. Let c = 1538/7 + r. Which is greater: u or c?
c
Let w(x) = -4*x - 4. Let t be w(4). Let k = -19 - t. Let i be k/(4 + -5) + -4. Is -5 a