0.28 - -0.08. Is -3 >= u?
False
Suppose -4*o = -2*b - 10, 5*b - 11 = 3*b - 3*o. Is 2 at most b?
False
Let z = 23 - 16. Let a(v) = 3*v + 2*v - 10 - 4*v. Let t be a(z). Is t at most as big as -1?
True
Let j = -0.45 + 5.45. Do 3 and j have the same value?
False
Let v = -1969/12 + 164. Which is bigger: 2/7 or v?
2/7
Suppose -2*s = s. Let b(f) = f**2. Let g be b(s). Is 4/7 less than g?
False
Suppose 5*h + 48 = 2*m - 0, 3*m + 3 = 0. Let y be 7/(-5) + h/(-25). Is -2 at least as big as y?
False
Let x = 36.03 + -35. Let n = x + -0.03. Which is smaller: 2/7 or n?
2/7
Let u = -0.13 + 1.13. Is u at most as big as 2/25?
False
Let a be (1 - 1)/(2 - -1). Suppose y - 6 = -a*y. Is y bigger than 7?
False
Let c(z) be the second derivative of -z**3/3 - z**2/2 + 7*z. Let r be c(0). Is -5 <= r?
True
Let l be -2*(15/(-2))/(-3). Let t = -8 - l. Let q be t/9 + 14/15. Is 1 equal to q?
False
Let h be (-3 + 0)*(3 - 4). Suppose 4*k - 12 = -h*y, -2*y = 3*y - 20. Which is bigger: k or 3/7?
3/7
Let y = -1/21 - -5/7. Let m = 4 - 5. Which is bigger: y or m?
y
Let z be (-43)/(-84) - 12/28. Let w(s) = -s + 1. Let u be w(0). Which is smaller: u or z?
z
Suppose 40 = 24*i - 22*i. Is i != 19?
True
Let l be 1*87/(-21)*2. Let i = 508/63 + l. Suppose 5*p + 0*p = 5*k + 25, -p = 5*k + 25. Which is bigger: i or p?
p
Suppose -4*k = -4*m + 128, 0 = 4*k + m + 118 - 15. Let h = 53/2 + k. Is 0 less than or equal to h?
False
Let a = 75/22 + -7/2. Let z = -1 + 1. Is z >= a?
True
Let a = -199/2 - -107. Which is smaller: a or 7?
7
Let g = -63 + 68. Which is bigger: g or 1?
g
Let n = 201 - 206. Let d(c) = -c - 2. Let p be d(-2). Is n bigger than p?
False
Let b = 204 + -301. Which is smaller: -96 or b?
b
Let r(y) = 21*y**3 - y**2 + y - 1. Let w be r(1). Let k = -18 + w. Which is smaller: 0.1 or k?
0.1
Let i be (2/(-3))/(28/(-6)). Let f(g) = g - 5. Suppose -22 = -4*p + 2. Let q be f(p). Which is smaller: q or i?
i
Let x(d) be the third derivative of -d**5/60 - 7*d**4/12 - 7*d**3/3 + 2*d**2. Let b be x(-13). Which is smaller: b or -1/12?
b
Suppose 93*l = 97*l. Let i(m) = 2*m + 3. Let x be i(-2). Which is greater: l or x?
l
Let x = 0.6 + 0.4. Let j = x - 0.8. Is 0.2 <= j?
True
Let u(t) = -t**3 - 5*t**2 - 4*t + 4. Let c be u(-4). Suppose 0 = -z + 2*h, -3*z - c*h = z. Let a be 2/6*3/8. Is a greater than or equal to z?
True
Let c(f) be the second derivative of -f**4/12 + f**3/3 + 2*f**2 - 3*f. Let i be c(3). Let m be (-1)/5*15/(-12). Which is smaller: m or i?
m
Suppose 3*p + 2*n = 24, -p - 5*n + 9 = -2*p. Which is greater: p or 0?
p
Let v(o) = -8*o + 25. Let j be v(3). Is j less than 7?
True
Suppose 4*q - 4*y - 8 = 0, q = 3*q - y - 4. Let s be (q + -1)*(1 - 0). Let a = -3/2 + s. Is a less than or equal to -2?
False
Let c(z) = 9*z - 21. Let h(n) = -4*n + 10. Let g(v) = 3*c(v) + 7*h(v). Let m = 5 - -3. Let q be g(m). Do q and -1/4 have the same value?
False
Let k(q) = -q**2 + 12*q - 12. Let r be k(11). Let s be 58/(-70) + 2/5. Which is greater: s or r?
s
Suppose -16*y = -48 - 160. Is 18 at least y?
True
Suppose -3*m + 7 = -2*g, g = 3*m - 6 - 2. Which is smaller: g or -1?
-1
Let q = -175/4 - -44. Let o = 1.5 + 4.5. Let l = -5 + o. Are q and l equal?
False
Suppose 3*p - 5*w = -0*p + 2, -2*p + w - 1 = 0. Let s(a) = -6*a - 6. Let u be s(5). Let r = -250/7 - u. Do r and p have the same value?
False
Let i = 0.2 - 0.2. Let c = 1.9 + -2. Let t = c + 0.2. Which is smaller: i or t?
i
Let t = 34 + 18. Is t >= 2/5?
True
Suppose -4*v + 2 + 2 = 4*g, -4*v = -4*g - 4. Is 4/7 smaller than g?
False
Let x = -17 + 11. Let u = 29 - 23. Let n = x + u. Which is bigger: n or 2?
2
Let c = -0.2 - 0. Let b = -8 + 7.7. Let k = -0.3 - b. Is c at least k?
False
Let k = 0.07 + -0.07. Let x = 2.9 + -3. Let c = k + x. Are c and 3 equal?
False
Let f(d) = -d**2 + 13*d. Let i be f(13). Is 10/13 equal to i?
False
Let x = -5 + 1. Is -4 < x?
False
Let r = -1577/4554 - -15/46. Is r smaller than 0?
True
Let b = 3 + -6. Let a = b - -3. Suppose -3*p + 3 + 0 = a. Is 2 not equal to p?
True
Let t be 1 - -1 - (38 - 5). Is t at least -32?
True
Let x = 9/43 + 66/301. Does -0.5 = x?
False
Let w(m) = -m**3 - 5*m**2 + 4*m + 9. Let k be w(-5). Which is smaller: k or 1?
k
Let d be (3 - -1)*12/(-16). Let t be d/4*12/15. Which is smaller: t or -1?
-1
Suppose -4*i - 5 = 3. Let c be i - (-6)/(-4) - -2. Let u = -1 - c. Is 0 < u?
True
Let a = 1306/7 - 187. Suppose 0 = -4*n + 4. Suppose n - 5 = -4*v. Which is smaller: v or a?
a
Let q be (-7)/((-3)/(-3))*-3. Suppose 3*p + q = -2*c, -3*p = 2*c - 4*c + 9. Let w be 4/(-5)*p/2. Are 2 and w equal?
True
Let s(v) = v**2. Let h be s(0). Which is smaller: h or 3/23?
h
Suppose -r - 2*a - 2*a = 12, 4*r - 2*a = -30. Let n(j) = -j**3 - 7*j**2 + 6*j - 10. Let i be n(r). Which is bigger: i or 5?
i
Let i = -1.2 - -1. Which is greater: 1/2 or i?
1/2
Let y = 20 + -21.2. Let n = y - -1.3. Are n and 3/8 non-equal?
True
Let y(a) = -2*a**3 + a**2 - a + 1. Let n be y(1). Let u be -1*((-30)/34 - -1). Which is bigger: n or u?
u
Let b = -25 + 24.8. Which is smaller: -1/17 or b?
b
Let k be (-30)/21 - (-6)/14. Is k bigger than -4/21?
False
Suppose -15 = -5*h - 3*o - 0, h - 5*o + 25 = 0. Suppose 2*n - 64 = -5*a, 3*a - 29 + 2 = -5*n. Let y be (-4)/a*14/(-3). Is y bigger than h?
True
Let v = -154 - -156. Which is smaller: v or -6/13?
-6/13
Let n = -98.95 + 101. Let w = -0.15 + 0.1. Let o = w + n. Does o = 0?
False
Let z(j) = -j**2 + 4*j + 7. Let t be z(6). Let i(k) = -k**3 - 5*k**2. Let o be i(t). Suppose -2*l - 5*q + 18 = o, 3*q - 11 = 2*l - 3*l. Is l equal to -2/19?
False
Suppose 3*p - 6*p = -6. Let v be 3 + (64/(-12))/p. Which is smaller: v or 0.2?
0.2
Let x = -24 + 26. Is x greater than or equal to 1?
True
Let n(a) = -a**2 + 4*a + 9. Let d be n(5). Let q = d - 11. Which is bigger: -6 or q?
-6
Suppose -10*s = -5*s + 120. Is s less than or equal to -23?
True
Let y = 0.45 - -0.05. Let k = -4.4 + 4. Let f = 0.4 + k. Which is bigger: f or y?
y
Let i = 19 + -58/3. Let v = 21.86 - 22. Let d = -0.14 - v. Which is smaller: i or d?
i
Let c(v) = 11*v**2 + v - 1. Suppose 4*w - 5*k = -1, -3 = 2*k - 5. Let x be c(w). Let a = -5 + x. Is 6 greater than a?
False
Let l(c) = -c**2 + 14*c - 30. Let z be l(12). Which is smaller: z or -3?
z
Suppose 6*x = 5*x - 3. Suppose 5*i + 30 = -5*w, i + 14 = -5*w - 0*w. Let p = i - x. Is -2 less than p?
True
Let y = -8 + 4. Let k be 1 - (-1 - y - 3). Is k at least 1/4?
True
Let m = -1.5 - -1.7. Which is greater: m or -4?
m
Let p = 20 - 18. Suppose 2*y + 8 = 4*y. Suppose 0 = y*v - 16, -p*k + 5 = v - 1. Is 4/5 greater than k?
False
Let h(k) = -k**2 + 2*k + 1. Let b be h(-1). Let i(p) = -2*p**2 - 2*p - 1. Let t be i(b). Let l = t + 9/2. Is l at least 0?
False
Let w be (2/16)/(2/(-20)). Let n = -8 - -10. Suppose 2*o + n*o + 4 = 0. Which is bigger: w or o?
o
Suppose 8*f + 40 = 4*f. Let c be (32/20)/((-4)/f). Let o be -2 - 0 - (3 - c). Which is smaller: -2 or o?
-2
Let i be (3/63)/(1/3). Let a = -25 - -24. Is i != a?
True
Let j be (-3)/(220/116 + -3 + 1). Which is greater: 117/4 or j?
117/4
Let b = 14 - 9. Suppose -6*h + h - b*s - 35 = 0, -3*h + 2*s - 1 = 0. Let p be 6/(-4)*2/h. Is p >= 3/5?
True
Let q be ((-1)/(-4))/(4/16). Is q at most as big as 4/15?
False
Let x be (3/(-4))/(30/(-4)). Let f = -7.8 - -8. Is x bigger than f?
False
Let q = -6.08 - -0.08. Let n = q - -11. Let s = 4.8 - n. Do -1/3 and s have the same value?
False
Let m = 263 + -1845/7. Which is smaller: -1 or m?
-1
Suppose -18 + 3 = -5*r. Let i be (3 - 4 - 2) + r. Is -2/15 greater than i?
False
Let x = -5.05 - -5. Let b = -0.95 + x. Which is bigger: 3/4 or b?
3/4
Let j = -3/5 - -1. Let u be 2*-1 + 8*1. Which is smaller: j or u?
j
Let i(u) = u + 6. Let l be i(-4). Suppose -2*y + 4*y = -l*v + 4, y - 2*v - 2 = 0. Suppose -3*d = 0, 2*j + j = y*d - 6. Which is greater: -2/3 or j?
-2/3
Let s = 24.39 + -28.4. Let v = 0.31 + s. Let k = 4 + v. Which is bigger: k or 0?
k
Suppose 3*u + 14 = 2*u + 3*c, -u + 5*c - 24 = 0. Which is smaller: 0 or u?
0
Let g(l) = l**3 - 10*l**2 + 2*l + 23. Let a be g(10). Which is greater: 42 or a?
a
Let u be -2 - -2*(-5)/2. Let m be (-1)/4 + 205/20. Let b = u + m. Which is bigger: 2 or b?
b
Let d be 7/(-9) - (1 - (-14)/(-18)). Is d at least as big as 2/243?
False
Let z = 14 - 9. Suppose -5*w + 3*r + 14 = 0, w = -r + z*r + 13. Which is smaller: -