 s = a + 0.4. Which is greater: s or 1/2?
1/2
Let y = 61 - 65. Is y at least as big as -4?
True
Let j = 1093/195 - -4/65. Let d = 125/21 - j. Which is smaller: d or 1?
d
Let n(p) = -7*p + 5*p**2 + 5 + 6*p - p**3 + 0. Let z be n(5). Which is greater: z or -3?
z
Suppose 2*q = -q + 24. Suppose 4*m + 0 = q. Suppose 2*n - 2*g - 9 = g, 2*g = -4*n + 10. Is n greater than or equal to m?
True
Suppose -11 = -4*h - n, h - 13 = -4*h - 2*n. Suppose -5*o = -2*i + 3 - 14, -2*i + h*o = 13. Is i at most -8?
True
Let n(v) = -2*v**2 - 3*v. Let w be n(0). Are 1/9 and w nonequal?
True
Let s(i) = -15*i + 5. Let n(y) = 8*y - 3. Let q(a) = 11*n(a) + 6*s(a). Let c be q(-2). Is c bigger than -1/11?
True
Let w = 19 - 55/3. Which is bigger: 4/7 or w?
w
Suppose 0 = -2*u - 1 - 5. Is u less than -11/5?
True
Let f = -11/7 + 19/21. Let n be (0/(5*4/20))/(-1). Does n = f?
False
Let l = -0.04 + -4.96. Let k = l - -1. Is 0 at most k?
False
Let q = -4 + 2. Let y = -1 - q. Which is smaller: y or -0.3?
-0.3
Let r = 8 + 1. Is r at least as big as -1?
True
Let k be 48/(-75)*(-10)/(-12). Let c = k - -2/15. Is -1/7 bigger than c?
True
Let z(i) = i**2 - 3*i - 3. Let h be z(3). Let a be (-6)/16 - (-425)/(-200). Which is bigger: a or h?
a
Let m(s) be the third derivative of s**6/120 - s**5/30 - s**4/8 + s**3/3 - 3*s**2. Let x be m(3). Which is bigger: 0.3 or x?
x
Suppose 7*z = 2*z. Suppose 1 = 5*p - 4*f, 0 = p - 5*f - z*f - 17. Let m be 3 + (-5 - 6/p). Which is smaller: m or 1/5?
m
Let y be (-9)/54 + (2 - 1). Is y <= 0?
False
Let x(a) = a + 5. Let r be x(-6). Let u = r + 5. Let n be u/(-14) - 10/(-35). Which is bigger: 1/11 or n?
1/11
Let f(q) be the first derivative of -q**2/2 + 5*q + 2. Let j be f(7). Suppose 4*l - 3*m + 0*m + 18 = 0, -2*l + 4 = 5*m. Is l smaller than j?
True
Let y = -0.01 + 0.07. Which is bigger: 1/3 or y?
1/3
Let g = -17 + 33. Let v be 6/g*(-12)/18. Do -6/5 and v have the same value?
False
Suppose 5*m = 4*m. Is 6 at most m?
False
Let y be (-228)/280 - (-2)/(-7). Let s = -9/20 - 23/20. Let c = s - y. Which is bigger: -1 or c?
c
Suppose 6 = 4*z + 2*x, -3 = 4*z - 2*x - 5. Let p = -4 - -3. Let i be (p/(-2))/((-8)/(-16)). Is i greater than or equal to z?
True
Let j be (-6)/(-2) - (-1 - (-2950)/735). Which is bigger: -1 or j?
j
Suppose -3*b = 2*b - 15. Suppose 3*s = -9, 1 = 4*p + b*s - 6. Let u = -31/2 - -16. Which is bigger: p or u?
p
Let x = 2 - 15. Is -2/7 greater than or equal to x?
True
Let j be 2/3*(-36)/(-12). Suppose 3 = 4*p - 9. Is j < p?
True
Let w = -1.1 - -1.1. Is w smaller than -22?
False
Let r(d) = d**3 - d**2 + 4*d - 36. Let j be r(0). Is -35 <= j?
False
Let d be (-9)/6 - (-4)/8. Is 2/41 less than d?
False
Suppose 10 = 5*f - 0*f. Suppose 5*y - f = 78. Suppose 0 = -4*p - 3*w + 8, y = 3*p + p + 5*w. Are 0 and p unequal?
True
Let d = 0.02 + 0.28. Let t = -1 + 1.2. Let p = t - d. Is 0 equal to p?
False
Let c(t) = t + 5. Let q(z) = -4*z - 24. Let u(h) = 14*c(h) + 3*q(h). Let m be u(2). Which is smaller: 1 or m?
1
Let z = 159/7 + -23. Is z less than -4/3?
False
Let a = -2 - -2. Suppose -o = -a*o. Suppose o = -3*c - j, 4*j = -5*c - 0*j. Is 1 > c?
True
Suppose a - 14 = 5*q - 0*q, -3*q + 14 = 5*a. Which is bigger: a or -1/6?
a
Suppose -5*b - 10 = -0. Let z(k) = 3*k + 17. Let j be z(-6). Which is bigger: j or b?
j
Let r = -10 + 3. Let t = r + 11. Let i = 39 + -38. Is i >= t?
False
Let q be (772/(-110))/(27/90). Let b = -71/3 - q. Which is greater: 1 or b?
1
Suppose -5*t + 10 = -5*j, j = -j + 10. Suppose -t*g + 3*g = 0. Which is greater: g or 2?
2
Let u = 2/43 - 61/387. Which is greater: 0 or u?
0
Let u = -4.9 + 5.3. Which is smaller: u or -2?
-2
Suppose -4*l = 6*i - 3*i + 45, 0 = 4*l. Let n = i - -17. Are n and 3/2 nonequal?
True
Suppose 2 = 5*x + 7. Let k = x - -4. Suppose -w - 26 = -28. Which is greater: w or k?
k
Suppose 5*y + 9 = -1. Let s be (6/4)/((-6)/(-8)). Let o = y + s. Which is bigger: -1 or o?
o
Let c(h) = h**2 - h - 1. Let l be c(-2). Suppose 0 = -0*q + 5*q - l. Let y = 4/25 - 3/175. Is y less than or equal to q?
True
Suppose -5 = -0*i - i. Suppose -i*u + 0*u = 0. Is u equal to -1/3?
False
Suppose -23*l + 18*l - 15 = 0. Which is smaller: l or -13/5?
l
Let g be 333/63 + (-4)/14. Which is smaller: g or 2?
2
Let w be 2 - (-2)/2 - (-756)/(-256). Is w smaller than -1?
False
Suppose 35*j - 33*j = -114. Is -58 greater than or equal to j?
False
Let h = -19 - -16. Which is greater: h or 1/5?
1/5
Let p be (-16)/(-56) + (-94)/(-14). Which is bigger: p or 5?
p
Let i(z) = z**2 + 3*z - 3. Let m be i(-3). Let b = -8 + m. Is -11 at most as big as b?
True
Suppose -8 = 4*z - 2*c, -z + 6*z - 3*c + 11 = 0. Let w be (0 + z)/((-1)/2). Is 1 != w?
True
Let z(i) = i**3 + 2*i**2 - 5*i - 3. Let h be z(-3). Suppose 0*v + 9 = h*v. Is 4 at least as big as v?
True
Let m(t) = t**2 - 10*t - 1. Let q be m(10). Which is bigger: 2/31 or q?
2/31
Let r(b) be the first derivative of -b**4/4 + b + 3. Let p be r(1). Which is smaller: -3 or p?
-3
Let v = -0.03 + 0. Let p = -124 - -124.97. Let g = v - p. Is 1/2 equal to g?
False
Let u(h) = -2*h**3 + h**2 - h + 1. Let l be u(1). Let r(g) = g**2 - 8*g + 1. Let t be r(7). Which is bigger: t or l?
l
Let x = 1 + -1. Let z(g) = g**3 - 4*g**2 - 5*g - 1. Let v be z(5). Is x at least v?
True
Let m = 38.4 - 44. Let n = m - 1.4. Let b = n + 7.1. Is b greater than or equal to -1/2?
True
Let q = 30.8 + -31. Which is greater: -1/9 or q?
-1/9
Suppose -4*m = -2*g - 38, -g = -4*g + 3. Let y be (-2)/(-5) + (-14)/m. Let q be ((-2)/(-3))/((-11)/3). Are q and y unequal?
True
Let i = 6 + -12. Let o = i + 7. Let m be o - -1 - (-14)/(-5). Which is greater: m or -2?
m
Let v = -0.5 + -1.5. Let n = 16 - 15.9. Which is bigger: n or v?
n
Let u = 38 - 36. Which is smaller: u or -0.43?
-0.43
Let f = 0.025 + -0.045. Let p = -7/51 + 8/17. Which is smaller: p or f?
f
Suppose -2*l - 8 = -0. Suppose -5*n = -c - n - 12, 0 = -3*n + 6. Does l = c?
True
Let l = 23 - 27.1. Let o = l - -4. Let x = 1.7 - 3.7. Does o = x?
False
Let k be ((-2)/4)/((-2)/(-16)). Let p(o) = 8*o + 112. Let n be p(-14). Which is bigger: k or n?
n
Let c(d) be the third derivative of -d**4/6 - d**2. Let k be c(2). Which is smaller: -7 or k?
k
Let t = -90.44 + 93. Let u = t + 0.34. Let b = -3 + u. Which is bigger: -0.06 or b?
-0.06
Let n = -93 + 96. Which is bigger: n or 0.02?
n
Let z = -33 + 30. Is z at most as big as -1?
True
Let j(f) = f**3 - f**2 + f + 6. Suppose -k - 5 = 2*l - 1, 0 = -5*l - 5*k - 20. Let y be j(l). Suppose -5*h - y = -2*h. Which is smaller: 2/3 or h?
h
Suppose 3*a = -4 - 2. Let m be (-3)/36*-4*39. Let s be m/(-28) + (-2)/7. Is a less than or equal to s?
True
Let a = 4 + -2. Let w be a/4 + (-30)/36. Which is smaller: w or -1?
-1
Suppose 5*u = 1 - 6, u + 39 = 2*y. Let r = 19 - y. Is r equal to -3?
False
Let b = -4 + 4. Suppose b = 3*j - 5 - 1. Does -0.3 = j?
False
Let s(z) = -z**3 + 3*z**2 + 5*z - 2. Let p(m) = m + 2*m**2 + 1 - 3*m**2 + 3*m. Let v be p(3). Let n be s(v). Is n not equal to 5/4?
True
Let u(n) = -n**2 + 4*n + 17. Let s be u(7). Is s < -4?
False
Let k = 11 + -11.08. Is 0.1 bigger than k?
True
Suppose 3*l - 3 = 0, -t = -3*l + 5 - 1. Is t <= 2?
True
Let u(o) be the third derivative of -o**6/120 + 7*o**5/60 + o**4/24 - 3*o**3/2 - o**2. Let f be u(7). Let p be -1*f/20*-6. Which is smaller: p or -1?
-1
Suppose -45 = -15*m + 6*m. Which is greater: 9/2 or m?
m
Suppose 3*x = -k - 43, 4*x - k = -5*k - 68. Which is smaller: x or -14?
-14
Suppose -w + 4 = 3*w. Is w bigger than 1/8?
True
Let z = -0.015 + -0.985. Is z < -27?
False
Let h = -15 + 23. Which is smaller: h or 1?
1
Suppose 0 = -8*x + 3*x - 4*d + 37, d - 3 = 0. Suppose -5*o = -2*q - 39 + 8, -5*q + x*o = 40. Is -2/7 > q?
True
Let v be 10/4*(-16)/(-10). Suppose -2*w + 3*w + 5*z = v, 3*w - 3*z + 6 = 0. Which is smaller: w or -2?
-2
Let y = 11 - 10.6. Let d be 2/6*24/(-28). Is d bigger than y?
False
Suppose 3*d + 4*q + 71 = 0, 0 = -3*d + 2*d + 3*q - 28. Let m be 20/d + (-2)/(-10). Do m and -2 have the same value?
False
Let m(c) = c + 3. Let z be m(0). Let j(d) = d**2 + 5*d - 2. Let u be j(-6). Do u and z have different values?
True
Suppose 0*w = 2*w - 10. Suppose 0*t = -2*o - 2*t - 2, 2*o + w*t + 2 = 0. Let f = 0 - o. Is f greater than -2/15?
True
Let o = -0.3 + -2.7. Let l = o - -1. Let v = l - -1. Is 0 less than v?
False
Let w be (-7)