k be 15/35 - (-82)/21. Is k greater than or equal to 3?
True
Let r = 2.527 + -0.297. Let w = -0.23 + r. Which is greater: 3 or w?
3
Suppose -4*u + 12 = 2*n + u, 4*u = -3*n + 18. Suppose 5*m = 20, m = 5*w + n + 23. Is -5 at least as big as w?
True
Let r = -137/95 + -3/19. Which is greater: -3 or r?
r
Let x(t) = -t + 2. Let u be x(-6). Suppose 2*a + 2*a + u = 0. Does 0 = a?
False
Let z be (2 + (2 - 0))/2. Suppose 4 = -z*k - 2*k. Let s be 2/k*(-4)/8. Which is greater: s or 2?
2
Let s = 1 + -5. Let c(t) = t**3 + 2*t**2 - 2*t + 1. Let l be c(-3). Which is greater: l or s?
l
Let s = -241/9 - -27. Let q = 7.3 - 7. Is s at most as big as q?
True
Let v = 56 + -23. Which is greater: v or 32?
v
Suppose 4*d + g - 6*g = -40, 4*d + 2*g = -12. Which is smaller: -2 or d?
d
Let v(n) = n + 3. Let f be v(-6). Let h = -1 + f. Is h at most -5?
False
Let l = -6 + 9. Suppose -4*g + 6 = -j + 2*j, 0 = -l*g + 3*j - 3. Suppose 5*h = g + 14. Which is bigger: h or -3?
h
Suppose g + 4*g - k + 68 = 0, 4*g - 3*k = -50. Are 1 and g non-equal?
True
Suppose 0 = -4*y + 2*x + 12, -5*y + 2*x = -2*x - 15. Suppose c + 4*r = -200, 0*c - y*r = 2*c + 395. Let p = -987/5 - c. Is p less than -1?
True
Let o(m) = -m**3 + 14*m**2 + m - 6. Let q be o(14). Does q = 5?
False
Let x = -1234/5 + 246. Which is greater: -1 or x?
x
Suppose 0 = -5*d + d - 4. Which is greater: d or 1/10?
1/10
Let b = 1.3 + -1. Let x = 0.2 - b. Let z = 0.2 + x. Are z and 1/2 nonequal?
True
Let j = 21 - 21. Which is bigger: j or -0.14?
j
Suppose 0 = -3*g - 6, 0 = 3*z - 2*g - 28 + 12. Suppose 5*p = z*b - 0 + 7, -2*p = 2*b - 10. Let m = -4 - -6. Are b and m nonequal?
False
Let k be 340/1665 - 2/9. Let i = 547/444 - k. Which is smaller: 2 or i?
i
Let z be (8/36*3)/(4/222). Which is smaller: 36 or z?
36
Let x(d) = d. Let s be x(-2). Let h be -2*((-24)/(-15) + s). Let k(o) = -o - 5. Let j be k(-5). Is h greater than j?
True
Suppose 0 = 5*v - 7 - 3. Let x be (5/30)/(v/8). Is 0.1 at least x?
False
Suppose 2*o = -2*v - 4, 5*v + 4*o + 5 = -10. Suppose 0*l - 10 = 2*l. Which is bigger: l or v?
l
Let v be 6*(-5)/20*38/9. Let z = 17080 + -512593/30. Let j = v - z. Which is greater: j or 1?
1
Let m = -0.46 + 0.06. Let d = m - 0.6. Which is greater: -2/3 or d?
-2/3
Let t(u) = u**2 - 1. Let a be t(-1). Suppose 25 = 4*y - s, -3*y = 2*s - a - 5. Suppose 3*o = -5*b + 2, y*o - 3 = -2*b - 6. Is o equal to -3?
False
Suppose 0*q = -4*q + i + 8, -q - 4*i = 15. Let t = -1 - -1. Is t >= q?
False
Suppose -4*c + c + 9 = 0. Let y = -5 - -7. Let s = c - y. Is s less than -1/5?
False
Let r(k) = 3*k**3 + k**2 + 2*k + 2. Let q be r(-1). Let x(g) = g**3 - 2*g**2 - 3*g. Let y be x(q). Which is bigger: y or -12?
y
Let l = 118 + -134. Is -16 less than l?
False
Let y(h) = h**2 - 7*h + 12. Let t be y(4). Is t > -3?
True
Let s be 4/2 + 0/1. Suppose f = -s*f + 3. Which is smaller: f or -2/95?
-2/95
Suppose 2*j = 7*j + 3*d - 22, 3*j + 5*d - 10 = 0. Suppose 5*n + 4 + 6 = 0, 4*l - 46 = j*n. Which is greater: 8 or l?
l
Let c(r) = -4*r - 15. Suppose -4*v = 8 + 16. Let a be c(v). Which is smaller: a or 8?
8
Let n = 16 - 8. Let q = n - 5. Let u be ((-1)/q)/((-3)/(-6)). Is 0 greater than u?
True
Let r be -1 - 0 - (1 + 0). Let a = r + 0. Let u(l) = 2*l - 1. Let i be u(-1). Is i greater than or equal to a?
False
Let k be 0 - 4/14 - 24/(-231). Which is greater: 2/7 or k?
2/7
Let u = -29 - -41. Let n = -11 + u. Does n = -0.1?
False
Suppose -3*k = 5*l + 21, 0*l = 3*k - 4*l + 21. Which is bigger: k or -5?
-5
Let o = 13.2 - 17. Let a = 1.8 + o. Which is smaller: 2 or a?
a
Let d(j) = -j - 5. Let b be d(-6). Which is smaller: b or -1/14?
-1/14
Suppose -2*q - 2 = -0*q. Let r(k) = 0*k**2 + 1 - k**2 + k**3 + 0*k**3. Let u be r(q). Which is greater: 1 or u?
1
Let k(p) = 3*p**2. Let v be k(-1). Which is smaller: v or -5?
-5
Let u be -3 + (-3 - -4) - 1. Let p be u/9 + 4/(-6). Which is smaller: 1 or p?
p
Let t = 0.29 + -0.34. Which is smaller: 2/7 or t?
t
Suppose 2*m + 2*u - 61 = -3*m, 4*u = 12. Are m and 10 equal?
False
Let b(v) be the third derivative of -v**5/60 - v**4/24 - 2*v**3/3 - 3*v**2. Let q be b(0). Let r be 0 - (-3)/((-3)/q). Are r and 4 equal?
True
Let c = -2.2103 - -0.0403. Let y = -0.17 - c. Which is greater: y or -0.4?
y
Let u be 22/18 - (-6)/(-27). Which is greater: 9 or u?
9
Suppose 6*r - 8*r + 30 = 0. Which is greater: 14 or r?
r
Let d = -5 + 5.3. Which is smaller: 2 or d?
d
Let d(w) = -2*w**3 - 4*w**2 + w + 2. Let m be d(-3). Which is smaller: m or 18?
m
Let a = -0.18 - -0.2. Let g = -239 + 237. Which is smaller: a or g?
g
Let s be (26 - 22) + (-52)/14. Let h(y) = 2*y - 9. Let r be h(7). Suppose -o = -2*k + 3, -o = -r*k + o + 5. Do k and s have the same value?
False
Let t = -2026/3 + 707. Which is smaller: t or 33?
t
Let m be -1 - -1 - (131 + 0). Let c = -658/5 - m. Which is smaller: -2 or c?
-2
Let c(x) = x - 1. Suppose 3*j - 26 = 2*v - 10, -3*v = -3. Suppose -j = -3*w + z, -w = -3*z - 14 + 4. Let i be c(w). Which is bigger: i or -2/13?
i
Let z be (1/(-3))/((-5)/15). Suppose -l - z + 5 = 0. Let c be (-9)/7 + l/14. Is -1 less than or equal to c?
True
Let d = -5 - 4. Let g be 33/(d/3)*1. Let t be -1 + -2 + g/(-5). Is t less than or equal to 0?
True
Let t be -3 - -2 - 3/(-3). Which is greater: t or -2/7?
t
Suppose -5*z + 75 = -3*m - m, -19 = m - z. Which is bigger: -19 or m?
-19
Let r be -1*(-2 - -4) + 5. Let f be (-2)/4 - (-63)/14. Is r < f?
True
Suppose -t = 3*t + 24. Let p be -2 + t*2/(-4). Let k = 43 + -259/6. Which is bigger: p or k?
p
Let p(n) = 6*n - 2. Let m be p(1). Suppose 0 = 2*a + 4*b + 2, a - 23 = 2*b - m. Do 9 and a have different values?
False
Suppose 3*m = -0*m + 4*x + 4, x + 4 = 0. Let f(v) = -v. Let i be f(-6). Let u be (i/m)/(2 - -4). Which is bigger: u or 1?
1
Let g = -25/126 + -1/42. Is g greater than or equal to 0?
False
Let g be 0 + 460 + 1/(-1). Let s = g - 5970/13. Does s = -1?
False
Let o be (1/(-5))/(5/10). Let w be (0 - (1 - 2)) + 2. Suppose 8*h - w*h = 0. Which is greater: h or o?
h
Let i = -5 - -5.6. Let d = 1 + -1.1. Which is smaller: d or i?
d
Let c(g) = 5*g - 6. Suppose 4*w - 18 = -u + 3, -u = -3*w + 21. Let z(m) = m - 1. Let y(j) = w*z(j) - c(j). Let i be y(4). Is 4 less than i?
False
Let i be 2 - (2 - -1)/1. Let y be (i/3)/(3/(-9)). Are y and 2/9 unequal?
True
Suppose -2*z + 5*z + 5*w = 8, -2*z + 1 = -w. Suppose -b + 4*b + z = 2*g, -4*g = 2*b - 10. Which is bigger: 0 or b?
b
Let l = -22 + 27. Is -1/6 < l?
True
Let p be ((-2)/(-19))/((-2)/9). Is p at least as big as -1?
True
Let m be (-1 - -1)/(2 + 0). Suppose -4*k = -2*w - 4, -2*k + w + 3 = -k. Which is bigger: m or k?
m
Let z = -0.06 + -0.74. Let f = -1.8 - z. Are f and 7 unequal?
True
Let b = -6 + 10. Suppose 10 = -4*k + 2*o, 0 = -8*k + b*k - o + 5. Let y = 35 - 34. Which is smaller: y or k?
k
Let b(d) = d**3 + 7*d**2 + 5*d - 1. Let h be b(-4). Let n = h - 28. Is 0 less than or equal to n?
False
Suppose 29 = -3*x - 4. Let d = x + 2. Is -9 at most d?
True
Let s = -533 + 793. Let n = -4941/19 + s. Which is smaller: 1 or n?
n
Let l = -37 - -257/7. Let u = -0.754 + -0.246. Is u >= l?
False
Let h(p) = -p**3 - 2*p**2 + 2*p + 2. Let i be h(-3). Suppose 3 = -m + k - 4, 0 = -2*m + i*k - 26. Let j = 10 + -14. Do m and j have different values?
True
Suppose -5*w = 3*k + 8 + 1, -4*k - 17 = 5*w. Let q = -4 - k. Let f be q/(-4)*(-4)/14. Which is bigger: f or 1?
1
Suppose -5*l + 2*u + 9 = -4*l, -5*u - 23 = -3*l. Which is bigger: -2/63 or l?
l
Let q be 2*((-51)/(-42) + -4). Is q greater than -7?
True
Let y = -27 + 27. Do y and -1/11 have different values?
True
Let s be (-28)/98 + (-8)/(-77). Let u = -1/2 - -1/10. Is s equal to u?
False
Let w = -56 - -52. Is 1 < w?
False
Let o = -53 + 266/5. Is o at most 0?
False
Suppose 0 = 2*o - 3*u + 22, 2*u = u + 2. Let s(b) = -2*b + 3. Let r be s(5). Which is smaller: r or o?
o
Let a = 25.4 - 25.4. Let y = -3.2 + 0.2. Is y at most a?
True
Let i be (-4)/(-18) - (-14)/18. Let d = -19 + 10. Let h be (9/12)/(d/(-6)). Is i > h?
True
Let w be (-5)/(-1) - (-1 - -2). Let s = -7 + w. Let p = s - -3. Is p smaller than 1?
True
Let p be 9*(10/6)/5. Suppose 5*d - n = 0, -p*d + 2*n + 0*n = -7. Which is smaller: -0.2 or d?
d
Let b be 1/(-1)*4/12. Let r = 0.03 + 1.97. Let u = r - 1.95. Is u at most b?
False
Let i = 1.43 + -1.33. Let t = 0 - -0.3. Which is greater: t or 