-4. Let a = 1 + x. Let y = 13/14 + -10/7. Which is smaller: y or a?
y
Let t(i) = 2*i**3 + 17*i**2 - 8*i + 10. Let s be t(-9). Let c = -6 + 9. Is c greater than or equal to s?
True
Suppose -5*p + 4*m + 5 = 1, p + m = -1. Let w = -3 + p. Let q = w + 2. Are -1 and q nonequal?
False
Let d = 45 - 42. Which is bigger: 18/5 or d?
18/5
Let b = -0.061 + 0.431. Let u = -0.03 - b. Let g = -1.9 + 1.8. Which is smaller: u or g?
u
Suppose 4 = j, -3*p - p + 4*j = 0. Suppose 5*x - 18 = -2*y, 2*y + 2 = -p*x + 16. Let d = 1 + -1. Do y and d have the same value?
False
Let b(v) = -v**3 + 5*v**2 + 6*v - 2. Let j(p) be the first derivative of 7*p**4/4 - p**3/3 + 3. Let h be j(1). Let f be b(h). Is f bigger than -2?
False
Let x(z) be the second derivative of -z**3/6 + 4*z**2 - 5*z. Let s be x(8). Let i be (-4)/6*(-6)/5. Which is greater: s or i?
i
Suppose 12 = 4*a, -5*y + 0*a = 3*a - 19. Let p be 8 + -1 + 0/2. Is p < y?
False
Let g(b) = -11*b**2 - 2*b - 1. Let y be g(-1). Let p be 2/y - (-1)/155. Let i = p + 49/93. Which is smaller: 0 or i?
0
Let c = -8 + 8.6. Let d = c - -0.4. Let n = -30 - -61/2. Which is bigger: d or n?
d
Let c = -7 - -11. Let x = c - 3.7. Let m = 4 + -2. Is x bigger than m?
False
Let w = -11.1 + 10.1. Do w and -1/42 have different values?
True
Let i(u) = -u**3 - 8*u**2 + 3*u + 12. Let s be i(-8). Is s >= -11?
False
Suppose 0 = 5*b + 3*z - 53, -2*b = -0*b - 5*z - 15. Let t be (-34)/b - -1 - -2. Let d = 5 - 5. Which is greater: t or d?
d
Let o be 2/(-8) - (-1211)/(-20). Let b = 61 + o. Suppose t + 5*s - 4*s + 1 = 0, -t + 4 = -4*s. Which is greater: b or t?
b
Let s = -0.3 - -0.5. Let i = -1.3 + s. Let d = 0.1 + i. Which is greater: d or 0.2?
0.2
Suppose -a - 5 = 4*a. Which is smaller: -0.04 or a?
a
Let c = -0.8 + 1.8. Which is smaller: -2 or c?
-2
Let u be ((-2)/(-3))/((-2)/(-9)). Let l be 8/u*(-12)/8. Suppose -3*j = -4*c - 15, c + 1 + 7 = 5*j. Is l less than c?
True
Suppose 2*y - y = 2. Is 0.2 less than or equal to y?
True
Suppose 2*v + 1 = 3. Let p be (-5)/v - 2/2. Let d be 4/p - 8/(-21). Which is smaller: 3 or d?
d
Let s(i) = -3*i + 2. Let o(h) = h**2 - h - 1. Let f(a) = o(a) - s(a). Let c = -1 + -2. Let y be f(c). Is y bigger than -2/13?
True
Suppose -3*r + r = 2. Which is bigger: r or -1/129?
-1/129
Let k = -49.1 + 46. Let m = k + 3. Is m != -2/9?
True
Suppose s + 2 + 2 = k, -s = 4*k - 21. Suppose 2*o = -4*h + 18, 0 = -2*h - 2*o + k*o - 3. Suppose 6*n = h*n - 3. Is n smaller than -1?
False
Let f be -19 + 15 + -1 + 10. Suppose 3*s - 8*s = f. Let q = -21/8 + 47/24. Which is smaller: q or s?
s
Let g be 0 + -2 + (-14)/(-6). Let k be 70/(-20) - -1*3. Is g equal to k?
False
Suppose 5*h - 7*a - 4 = -3*a, 4*a = -3*h - 4. Is h at least as big as 2?
False
Let o = -44 + 59. Is o less than or equal to 16?
True
Suppose -2*a + 3*a = 0. Let q be (-9)/15 + -2 - -2. Which is greater: a or q?
a
Let d = 109 - 99. Is 2/7 bigger than d?
False
Let o(b) = 2*b**3 + 4*b**2 + b - 4. Let v be o(-3). Let n be 45/v + (-1)/5. Is n greater than -5?
True
Let a = 0.05 + -1.05. Which is smaller: 2/85 or a?
a
Let b = -0.3 + 0.35. Let c = b + 0.25. Let v = c + -0.3. Which is greater: 3/5 or v?
3/5
Let y = 123 + -126. Does -0.06 = y?
False
Let h(m) = -m**2 - 3*m - 1. Let l be h(-3). Let y = l - 0. Let f be -1 - (-2 + 2 + y). Is f >= 0?
True
Let w(j) = j**2 - 7*j + 3. Let p be w(7). Let s = p + -3. Is s not equal to 1?
True
Let k be -3 + (7 - (0 - 0)). Suppose -3*x - 9 = 0, p + 2*x + k + 3 = 0. Which is bigger: p or -1/4?
-1/4
Let q = 0.03 - -0.57. Let f = q + -0.6. Which is smaller: -1/2 or f?
-1/2
Let y(p) = p**2 - p - 4. Let w be y(3). Let a be -2 - (-3 + (w - 2)). Suppose 0 = -13*t + 16*t - 9. Which is bigger: a or t?
t
Let g = 16 + -9. Let i = g + -4. Which is greater: i or 1/3?
i
Let u = -15 - -10. Let h be (8/(-6))/(2/6). Which is greater: h or u?
h
Let d(m) = 3*m - 2. Let b be d(-6). Are b and -20 equal?
True
Suppose -2 = i - 8. Let x be (-26)/8 - 1/(-4). Let n = i + x. Which is bigger: n or 4?
4
Let y = 0.3 - 2.3. Let m = -2.8 + -0.2. Let h = m + 3. Which is smaller: y or h?
y
Let y = -3.8 + 7. Let j = 3 - y. Is j < 2?
True
Let o be (-2)/(-10) - 57/(-15). Let n be (2/(-1))/o*6. Is n != -5?
True
Let o = 65/177 - 2/59. Let r = -0.5 - 0.5. Which is smaller: o or r?
r
Let h = -3 + 2. Let p be ((-6)/(-63))/(h/3). Is 0 at most p?
False
Suppose -36 = -h - 2*h. Is 12 bigger than h?
False
Let l(i) = -i + 4. Let h(t) = -t + 1. Let r(q) = 2*h(q) - l(q). Let a be r(-2). Is 0 at most as big as a?
True
Let g = 3/74 + -685/13246. Is g at most as big as 0?
True
Let s be 18/4*36/27. Do 6 and s have different values?
False
Suppose -6*v + 2*v = 176. Let b be 2/(-6) - v/60. Is 0.1 equal to b?
False
Let u be (2/6)/((-2)/6). Let s be (-2 - -3)*1/53. Let m = s - -101/265. Which is bigger: m or u?
m
Let c = 1.3 - -4.7. Let n = c - 6. Which is smaller: 1/2 or n?
n
Let r be 14/(-6)*1 - (-3)/9. Suppose 2*w + 8 + 2 = 0. Are r and w nonequal?
True
Let c = 17 + -33. Which is smaller: c or -15?
c
Let j be (4/12)/((-3)/(-36)). Let i = -10 + 14. Suppose -2*n + 10 - i = 0. Are n and j non-equal?
True
Let n = -5 - -4. Is -1/28 greater than or equal to n?
True
Let p = 86 + -85. Which is bigger: 7/16 or p?
p
Suppose -2*m + 19 = 3*p - 4*m, 5*m = -4*p + 33. Is 2 bigger than p?
False
Suppose 0 = 4*d + 26 - 6. Let y = 5 + d. Suppose -5*z + 6*z = y. Which is greater: z or 1/7?
1/7
Let v be ((-3)/(-14))/((-6)/(-4)). Does 1 = v?
False
Let l be 9/((-4)/((-12)/3)). Which is smaller: 0.1 or l?
0.1
Let r = -0.002 - -2.102. Let w = r - 2. Let o(h) = h - 8. Let v be o(6). Which is bigger: w or v?
w
Let d = -8 + 8.02. Which is bigger: d or 0.1?
0.1
Let h be (1 - -1) + (-85)/(-30). Let c = h - 5. Which is greater: 0 or c?
0
Let c be 2/(-6)*(-216)/16 + -3. Does 0 = c?
False
Let w(o) = -6 - 3*o + 4 + 6. Let s be w(3). Let m = -4 - s. Is -2/7 > m?
False
Let z be ((-2)/(-4))/((-12)/48). Let f be 0 + z/(-2 + 0). Is 3/5 < f?
True
Suppose 0 = -4*p + 2*k + 2, -21 = 6*p - 3*p + 3*k. Which is greater: -1 or p?
-1
Let w be (33/6)/((-1)/(-2)). Let d = -11 + w. Which is bigger: 2 or d?
2
Let g = -12 - -7. Let s = g + 8. Which is bigger: -1 or s?
s
Let u be (-2)/(-11) - (-30)/(-44). Let b = -1202473/70 + 17179. Let l = -11/10 + b. Is l at most as big as u?
False
Let r = -22 - -37. Let d be 2/(-3)*r/5. Let h(g) = g + 4. Let x be h(-5). Are d and x non-equal?
True
Let i be 1 - 2 - 2/(-1). Let x = -35/3 + 12. Which is bigger: i or x?
i
Let j be ((-4881)/(-39))/(1 - 0). Let p = -125 + j. Is -1 less than p?
True
Let c = -4.9 + 4.5. Let v = 11 - 8. Let a = 2.9 - v. Is c at most a?
True
Let h = 2.06 - 0.06. Let w = h - 4. Let i = -5 - -7. Is i > w?
True
Let o = 7 - 8.2. Let t = o + 0.2. Suppose -4*i = 3*c - 6, 2*i = 4*i. Which is smaller: t or c?
t
Let y = 3.2 - 2.8. Which is bigger: y or 1?
1
Let i(p) = -p**3 - 3*p**2 + 5*p + 3. Let s be i(-4). Let g = 5.7 - 10.8. Let u = g + 5. Is s at least u?
False
Let p = -124/5 + 25. Suppose -2*v - 1 = -3*v. Is p at least as big as v?
False
Let j = -31 + 37. Is 6 > j?
False
Let d = 14/9 + -73/18. Let j = -14 + 17. Which is bigger: j or d?
j
Suppose -p + 4*c - 9 = -0*c, 0 = -p + 3*c - 7. Which is bigger: -2 or p?
p
Let m = -2 + 0. Let a be (348/(-16))/(2/(-8)). Let g be a/(-84) - (-2)/7. Which is greater: m or g?
g
Suppose 0 = i - 0*i. Let n be i - -1 - (5 + 1). Let a be n/7 + (-4)/14. Is a less than or equal to -1?
True
Let z be (3 + 10)*(1 - 0). Let v = z + -16. Let h = -0.3 - -0.2. Which is smaller: v or h?
v
Let o = 12 + -22. Is -10 bigger than o?
False
Let w be -3*1*(-22)/(-22). Let m(j) = -j**2 - 4*j - 2. Let f be m(-4). Which is bigger: f or w?
f
Let x = 6 - 16. Which is smaller: -7 or x?
x
Let a be (-3 - -1)/(-2) + 0. Which is greater: 1/11 or a?
a
Let c be 1/2*(-27)/(-36). Is c at most as big as -1?
False
Let v = -7.12 - -0.12. Is -1/7 greater than v?
True
Suppose -w - 4 = -s, -3*w - 5*s = 2*w - 20. Let d = -6.16 - -0.16. Let h = d - -5.9. Are h and w non-equal?
True
Let q = 214 - 210. Let j = 24 - 73/3. Which is bigger: j or q?
q
Suppose -10*k = -11*k - 7. Is 0 less than k?
False
Suppose g + 4 = -12. Is g bigger than -17?
True
Let j = 18 - 13. Suppose -6*r = -j*r + 5. Do -4 and r have different values?
True
Let u = -0.64 + -0.36. Which is smaller: 1 or u?
u
Let d(o) = o**2 + 11*o + 9. Suppo