 w/5. Let p = a - 2. Which is greater: 1 or p?
1
Let j = -4 - -7. Suppose -3*p + 3 = j*w, -4*p = -5*w + 2 - 24. Is 2 at most as big as w?
False
Suppose -7 - 1 = -2*o + 4*m, -4*o + 4 = -2*m. Is -4 < o?
True
Let o = -227/10 - -619/20. Let a = -8 + o. Which is bigger: a or 1?
1
Let g = 4 + -2. Suppose -2*n - 3*k = -7, -4*k + 8 = g*n - 0*k. Let u(r) = r**3 + 10*r**2 + 10*r + 10. Let o be u(-9). Which is smaller: n or o?
o
Suppose -2*g + 84 = -5*g. Is -27 less than g?
False
Let j = -0.155 + 0.055. Is 0.04 < j?
False
Let y be (4/12)/((-20)/324). Which is greater: -6 or y?
y
Let o be (-1 - -6)*8/20. Let r be o/3*(-1 - -4). Which is bigger: r or 3?
3
Let y = 13/3 - 59/15. Is -0.4 <= y?
True
Let q(c) = c + 4. Let g be q(-3). Let i(v) = v**2 + 1. Let o(u) = -4*u**2 + 3*u - 4. Let a(f) = 3*i(f) + o(f). Let l be a(g). Which is greater: l or 2/9?
l
Suppose 6*l = 3*l + 15. Suppose -3*j + 5 = 4*r, 4*r = 2*r + l*j - 17. Let g be ((-3)/(-14))/(6/8). Which is bigger: r or g?
g
Suppose -3*m + 2*w = 5, 5*m - w + 3 + 3 = 0. Which is greater: -1/12 or m?
-1/12
Let z = 0.596 - -0.194. Let s = z - 0.09. Let l = 1 - s. Do 1 and l have different values?
True
Let j(m) = -m**2 + 6*m - 1. Let q be j(5). Is q > 4?
False
Let t = 6.04 - 6. Let c be ((-4)/98)/((-4)/28). Is t at most c?
True
Suppose -3*z + 2*b = -2*z - 2, 2 = z - 5*b. Suppose 4*q - 4*k - 4 = 24, -5*q + 2*k = -23. Is z >= q?
False
Let q(f) = f**3 - 1. Let r be q(2). Let u(b) = b**3 - 5*b**2 + 7*b - 4. Let p be u(4). Do p and r have the same value?
False
Let u be ((-774)/(-195) + -4)/((-2)/10). Is 0 > u?
False
Let x = 252/19 + -264/19. Is 1 bigger than x?
True
Let x = 7 + -7. Let t be x + 1 + (-9)/3. Let k be 1 - ((-1 - -2) + 0). Is k bigger than t?
True
Let z be 4*(9/6)/(-1). Let o be z/24 + 1/4. Which is smaller: 1 or o?
o
Let i = -3105 + 21771/7. Is i less than or equal to 5?
False
Let j be (-2)/(-4) - (-5)/(-10). Is -1/2 less than or equal to j?
True
Suppose -7 = 5*o + 8. Let u = 34 - 20. Let n be (-3)/15 - u/5. Is n equal to o?
True
Suppose -6 = -2*y, -5*m = -y + 58 + 45. Let l = -41/2 - m. Which is bigger: l or 0?
0
Suppose 1 + 1 = y. Suppose -7 = -y*d + 3*z - 32, -27 = 2*d - z. Is d at least as big as -13?
False
Let p = 3 + -3.05. Let u = 0.05 - p. Is -4 smaller than u?
True
Let r be (-3 + 5)/(0 - 2). Let z = 10 - r. Is z greater than 10?
True
Let h = -0.2 - -0.2. Let d be (0 - 1)*(2 - 3). Suppose u + 0 = -d. Which is smaller: h or u?
u
Let q = -9 - -8.8. Which is greater: q or 0?
0
Let h = 2 - 7. Let c(s) = s**2 + 6*s + 5. Let w be c(h). Is -3 < w?
True
Let o = 0 - -1. Let b be 3 + 25/(-12) + -1. Does b = o?
False
Let l = 545 + -3807/7. Is l at most as big as 1?
False
Let g = 48902/17 - 2878. Let l = -349/187 - g. Let a = l - -47/55. Do a and 0 have the same value?
False
Let o(n) = -2*n + 2. Let g be o(1). Suppose g = -4*b - 2 + 6. Which is smaller: -2/3 or b?
-2/3
Let g be 1/(-3) - 14/21. Which is greater: 0 or g?
0
Let d = 3.5 + -0.5. Let v = -0.074 + 4.074. Let u = v - d. Is u <= 1?
True
Let u = 2.9 + -0.06. Let q = u - 2.7. Does -1/3 = q?
False
Suppose -2*l = -3*l + 6. Let s = 12 - l. Which is bigger: 4 or s?
s
Suppose -3 + 1 = l. Let v be (-2)/(4 + l)*1. Let u be (4/10)/((-78)/30). Which is bigger: v or u?
u
Let t = 9 + -7. Suppose -2*b + 5*l + 7 = 0, -2*l + 11 = -4*b + 33. Let w = 52/7 - b. Which is greater: t or w?
t
Suppose -6*j + 9*j = 0. Which is greater: j or 1?
1
Let s be 6*(-3)/(-6) - 8. Let h = 4 + s. Let x be 1*3/(-2)*2. Is h smaller than x?
False
Suppose -5*o - 25 = 3*h, -o = h + 4*o + 15. Is -6 < h?
True
Let t = -22 - -87/4. Suppose -2*x + 9 = -5. Let a = x + -31/4. Which is bigger: a or t?
t
Let z(y) = -y**3 - 3*y**2 - 4*y - 4. Let x be z(-3). Suppose 5*o = x*o - 6. Is -1 less than o?
True
Let j be 0 + (560/(-50))/(1/(-5)). Is 0 < j?
True
Suppose 0 = 2*j + 2*d - 4, 2*d + 20 = -4*j + 5*d. Which is bigger: -22 or j?
j
Let r = 9 - 37/4. Let u be (-2)/3 - 10/3. Let z be (u/(-6))/(2/(-3)). Which is smaller: r or z?
z
Let s(k) = 3*k - 1. Let f(o) = -1. Let z(r) = 6*f(r) + s(r). Let j be z(3). Which is greater: 4 or j?
4
Suppose u + u = 6. Let o be -2 + 2 + u + -1. Let s be 100/36 + (-4)/(-18). Is s > o?
True
Suppose -4*s = -2*a - a + 29, -3*s = -4*a + 20. Let u = s - -14. Suppose 3*h + 2*h = q - 10, 0 = 5*q - 3*h - u. Is q less than or equal to 0?
True
Suppose 90*j = 92*j - 36. Which is bigger: 94/5 or j?
94/5
Let c = -15 + 9. Let n(r) = -r**2 - 5*r + 7. Let q be n(c). Is q at most 1?
True
Let o(m) = -m**3 + 6*m**2 + 9*m - 11. Let k be o(7). Which is smaller: -2/13 or k?
-2/13
Suppose 3*c = 7*c - 4. Which is smaller: c or 1/30?
1/30
Let z be (2 - 0) + 1 + 0. Let s be 3/(-4)*z/(-27). Let y be (-6)/15 + 3/(-5). Which is smaller: s or y?
y
Let a = -5 + 4.85. Let f = -0.05 - a. Which is bigger: 2 or f?
2
Let a(y) = y**3 + 2*y**2 + y + 3. Let f be a(-2). Which is greater: 1/14 or f?
f
Let x = 674/63 - 86/9. Let b(k) = k**2 - 4*k + 2. Let t be b(4). Are t and x non-equal?
True
Suppose 0*d + 3*d = 4*z + 30, 5*d + 2*z = 24. Let o be (d/(-15))/(1/(-5)). Is o at most 4?
True
Let j = -1.7 + -3.3. Suppose m = 3*z - 2, -2*m - 1 = -0*z - 3*z. Is j > z?
False
Let o(a) = -2*a + 3. Let i be o(2). Let d = i + 1. Which is greater: d or -1?
d
Let o(x) = x**3 + 8*x**2 + 9*x + 4. Let f be o(-7). Let j(m) = -m - 14. Let t be j(f). Is t greater than or equal to -6?
True
Suppose -68 = -5*t + 3*t. Do t and 65/2 have the same value?
False
Let p be (-25)/(-100) - 6/(-8). Which is smaller: 5 or p?
p
Let w be (3 + 55/(-20))/((-1)/4). Let d(c) = -c**3 + 3*c**2 - c. Let l be d(3). Which is smaller: l or w?
l
Let p = 14.8 + -14. Which is bigger: 3 or p?
3
Let l be (-2 + 1)/(1/5). Let j be 18/40 - (-1)/l. Is j > -1?
True
Suppose 5*l - 3 = 2. Does l = 5/6?
False
Let g be (-3)/12 - -2 - (-1 + 3). Suppose -5*o + 0*o = 10. Let t = o - -1. Is t smaller than g?
True
Let d = -0.7 + 1.1. Let t = d + -3.4. Let g = -2 + t. Does g = 0?
False
Suppose 5*o + 103 - 18 = 0. Let y = -14 - o. Is y smaller than 3?
False
Let l = 22 - 20. Is 4/5 smaller than l?
True
Let s be (-1 + (-22)/(-8))*-4. Let u = s - -10. Let b be 11/3 + (-2)/3. Do u and b have different values?
False
Suppose 0 = -n - 5*g + 23, 5*n - 3*g + 2*g + 15 = 0. Let f = 20.9 - 21. Which is greater: f or n?
f
Let t = 1/157 - -299/2355. Let w = 150862/5 - 235493422/7805. Let f = w + 2/223. Is f < t?
False
Let u = 1 - -1. Let v = u - 4. Let a be (v*2)/(2 + 1). Which is greater: -2 or a?
a
Let f = 167 - 1835/11. Let m = -2.8 + 3. Which is greater: m or f?
m
Let t(i) = -i + 5. Let a be t(2). Which is smaller: 8/5 or a?
8/5
Suppose 0 = -2*v - 2*v + 3*u - 35, -2*v - 16 = -2*u. Let z = -21 - v. Let d be 3/(-6) - z/4. Is 2 >= d?
True
Let n = -3 - -3. Suppose 5*c - 700 = 3*o, 4*o + c = -n*c - 964. Let k = 1923/8 + o. Which is greater: k or 0.1?
k
Suppose y + 29 = -2*d, -4*d - 56 = 3*y + 7. Let z be (-522)/d*7/6. Let g = 50 - z. Which is smaller: g or -2?
-2
Let j(d) be the second derivative of d**3/6 - 7*d**2/2 + 2*d. Let v be j(6). Is v less than 1/14?
True
Let h = 10.57 + -0.57. Does -1 = h?
False
Suppose -2*b = -4*b - 10. Let g be (1/(-5))/(3/b). Is -1 smaller than g?
True
Suppose b = -5*h + 6, -4*b + h = -3*h. Which is greater: -1/3 or b?
b
Let z(k) = -k**3 + k**2 - k - 3. Let f be z(0). Let y(a) = -a**3 + 5*a**2 - 4*a - 4. Let o be y(4). Which is greater: f or o?
f
Let k = -90 - -89.8. Is k greater than -0.09?
False
Let h be ((-162)/132)/3*(-8)/(-6). Which is greater: h or -2?
h
Let o = -15 + 7. Is -1/3 bigger than o?
True
Let t = -331/1134 + 1/162. Is -15 smaller than t?
True
Let i be (15/20)/(1/4). Suppose i*g + 6*x = 3*x + 9, -5 = g + 5*x. Is g < 5?
False
Let z be (92/(-28) + 4)*(-14)/(-12). Which is greater: z or 0.1?
z
Let v = -8 + -1. Let l = -5 - v. Let d = 4.2 - l. Is d < 0.1?
False
Let a = -11955/43 - -278. Which is smaller: -2 or a?
-2
Let g = 11 - 11.1. Is g greater than 46/3?
False
Let c = -71 - -163. Let s = -1562/17 + c. Does 0 = s?
False
Let r(p) = -3*p - 3. Let f(w) = 5*w + 7. Let q(v) = -4*f(v) - 7*r(v). Let i be q(8). Let j = 41/3 - 13. Which is bigger: j or i?
i
Let r = -27.5 - -20. Let m = r + -0.5. Is 0.1 > m?
True
Suppose 100 = 4*u - p, p = u - 2*p - 25. Let w be 14/12*u/(-35). Let h(t) = -t - 4. Let s be h(-3). Which is greater: s or w?
w
Let n(x) = x + 4. L