)/(-8))/((-3)/a). Which is smaller: b or 0?
0
Suppose 0*c - 10 = -2*c. Suppose -8*t - 3 = -c*t. Which is smaller: 1/15 or t?
t
Let d(u) = -u**3 + u**2 + 4*u - 3. Let p be d(2). Which is bigger: 3/10 or p?
p
Let t = 3.6 + -3.6. Is 0 <= t?
True
Let z = 1.5 - -0.5. Is z <= 1?
False
Let b be (2/6)/((-2)/(-18)). Let p(y) = -y - 4*y**3 + y**2 + 3*y**b + 2*y**3. Let o be p(1). Which is smaller: o or 1/2?
1/2
Let i(y) = -y**2 + 6*y + 7. Let c be i(7). Suppose 2*s + 1 + 5 = c. Which is greater: -5 or s?
s
Let i be (2/(-4))/(5/(-30)). Let s be 2/(-42) - (-1)/i. Is s at most -1?
False
Let f be (14/35)/((-35)/88). Let p = f - -18/25. Which is bigger: p or 2?
2
Suppose -2*x + 11 = 3. Let l = -159/2 + 82. Which is bigger: l or x?
x
Let t be 1/(1*(-3)/63). Let s be (-27)/21 - 6/t. Suppose x - 3*x - 12 = -2*h, -3*h - x - 2 = 0. Which is smaller: h or s?
s
Let y = -4398/5 + 884. Which is bigger: y or 3?
y
Let t = -3.26 - -0.26. Which is greater: t or 3?
3
Let r = -15 - -8. Let z = -6.9 - r. Is 0 < z?
True
Let y(d) = 7*d - 57. Let x be y(8). Is 3/10 at most x?
False
Let k = 0.21 + -2.21. Let v = k + 1. Let p = 6 - 10. Which is smaller: p or v?
p
Suppose -2*a = a - 0*a. Which is greater: a or -6?
a
Suppose -66*k + 65*k + 51 = 0. Which is smaller: 50 or k?
50
Let g(h) = 2*h + 8. Let w be g(10). Suppose -2*i + w = -4. Which is bigger: i or 17?
17
Let x(m) = -m**2 - 7*m - 2. Let q be x(-7). Which is smaller: -4/3 or q?
q
Let w be ((-532)/105 - 3/(-1)) + 2. Is 0 < w?
False
Let u = -11.223 + 0.163. Let f = u - -11. Are 2 and f equal?
False
Let b(k) = -k**2 + k. Let g be b(0). Let x = 32.13 + -32. Let a = x - 0.03. Are a and g unequal?
True
Let a = -20 + 14. Let b = -8 - -4. Let x = a - b. Which is smaller: -1/2 or x?
x
Let k = 5 - 1. Let c = k + -4.1. Let o = -133/204 + -1/68. Which is greater: o or c?
c
Let c be 1*2/4*6. Let w be (10/4)/(c/6). Let v be (-2)/w + (-9)/(-10). Which is smaller: -2 or v?
-2
Suppose -4*a = 5*y - 14, 5*a - 38 = -3*y - 14. Let w = -6 + a. Suppose -u + w = 2. Which is greater: u or -1?
-1
Suppose 3*j = -2 - 4. Let v = j + 2. Let k = -1 - v. Is -0.1 bigger than k?
True
Suppose 2*g = -0*g - 6. Let l be -1 + 1*(-6)/g. Suppose -l - 2 = 3*y. Are y and 2/5 non-equal?
True
Let w be 2/(40/25) - 2. Let n = 136/7 + -134/7. Which is smaller: n or w?
w
Let p(h) = -h**3 + 9*h**2 + h - 7. Let f be p(9). Let u = 2 - f. Suppose -2*i + u*z + 9 = -z, 0 = -i - z - 3. Is 0.1 less than or equal to i?
True
Let q(g) = -g + 5. Let k be q(5). Suppose k = 2*l + 6. Let s = 21 + -23. Are s and l unequal?
True
Let v = 27 + -29. Which is bigger: v or -4?
v
Let r = 0.05 - 7.05. Let a = r + 5. Which is greater: -0.06 or a?
-0.06
Let l = 0.043 - 0.243. Which is greater: l or -25?
l
Let k be (-16)/50*-6 + 2 + -4. Is 0.1 smaller than k?
False
Let b = 0.16 + -0.18. Do 1 and b have the same value?
False
Let a = 5.1 + -5. Which is bigger: 0.8 or a?
0.8
Let j be 2/4*30/(-9). Is j > -1?
False
Let c = -1 + 3. Let x = 0.048 + -0.048. Which is greater: c or x?
c
Let z be (4/(-12))/((-2)/(-6)). Let r(f) = 2*f**3 + f**2 + f + 1. Let p be r(z). Is 1 less than p?
False
Suppose n = 7 - 4. Let d(g) = 0*g + 3*g + n*g + 6 + g**2 - 2*g**2. Let z be d(7). Does 0 = z?
False
Let a = -1/9 + 17/234. Do -2/3 and a have different values?
True
Let s = 299 + -2091/7. Let f = -3.05 - -0.05. Which is smaller: f or s?
f
Let p be ((-1)/3)/(2/(-6)). Let w be -3 + ((-82)/(-4) - -3). Let s = -20 + w. Which is greater: s or p?
p
Let m = -90 - -111. Is m smaller than 21?
False
Suppose 312 = -4*c + 2*v, c + 4*c = 4*v - 384. Is c != -79?
True
Let k = 18 + -18. Which is smaller: 0.2 or k?
k
Let o = 6 - -10. Which is smaller: 15 or o?
15
Let r = -1 + 3. Suppose p = -5*h + h - 32, p - 22 = r*h. Suppose 5*v = -2*w + w - 44, v + 4*w + 24 = 0. Which is smaller: v or h?
h
Let z be 888/378 - 2/(-9). Do 3 and z have the same value?
False
Suppose 0 = -d - 3*d - 4. Let u be (d - -4)*(-2)/(-4). Which is smaller: u or 1?
1
Let c be (1 + 0)/((-2)/(-6)). Let j = c + -2. Which is smaller: j or 2?
j
Suppose 2*y - 4*y = -4. Let s = -15 - -19. Which is smaller: y or s?
y
Suppose 0 = -3*y - 3*a + 15, 0*a - 20 = 4*a. Let m = 9 - y. Are -1/8 and m nonequal?
True
Let r be (-1 - -2) + 1/1. Let t be 12/(-8) + r/4. Is 2/7 at least as big as t?
True
Let d = -5 - -15. Let y = d + -7. Let t = 3 - 2. Is y smaller than t?
False
Let c(n) = 5*n**2 + n. Let m be c(-1). Suppose 0*z - 2*z - 22 = 4*y, -5*z - 37 = m*y. Let k(v) = v**2 + 4*v - 5. Let r be k(z). Is 1/6 < r?
False
Let z = 316 - 5370/17. Let n be (-6 - -6)/((-1)/((-3)/(-6))). Is n <= z?
True
Suppose -3*b - 4 + 1 = 0. Let o be (7 + b)*(-6)/9. Is -4 < o?
False
Let d be (4 + -3)/(-1 + -1 + 1). Are -3/31 and d nonequal?
True
Let t be (21/(-2))/((-3)/(-4)). Let f = t + 15. Which is bigger: -1/13 or f?
f
Let c = 663/56 - 82/7. Suppose -5*m + 7 + 10 = u, -u = m - 5. Suppose -3*x - 5 = u*x. Is x bigger than c?
False
Let h = 22/6119 - 13045862/42833. Let w = h - -304. Do -2 and w have the same value?
False
Let t(m) = m + 6. Let a be t(-5). Let s be 4/(-18) - (-12)/54. Which is greater: a or s?
a
Let h = 1.6 - 0.6. Let g = h + 0. Which is smaller: g or -0.3?
-0.3
Let g be 2 - (0 + 2) - (-15)/(-30). Suppose 3*v = 5*h + 1 - 20, 37 = -5*v + 3*h. Let w = 6 + v. Are g and w unequal?
True
Let i(f) be the first derivative of f**4/4 + f**3 - f**2/2 - 3*f + 3. Let v be i(-3). Suppose -3*m + b = -5, 5*m - 3 = -v*m - b. Which is smaller: m or 3?
m
Let v(k) = -k**3 + 2*k**2 - 3. Let x be v(3). Which is bigger: x or -11?
-11
Let d be (64/(-4) + 3)/(-1) - 3. Is d greater than 35/4?
True
Let c = -241 + 82. Is c equal to -160?
False
Let j = -339/8 + 42. Let x = -34 - -33.8. Which is smaller: j or x?
j
Let x be 4 - (-70)/(-45)*3. Is 14/3 at least as big as x?
True
Let n be (-3)/(-2)*(-4)/3. Let m be 1536/14 + (n - 0). Let w = m + -108. Which is bigger: w or 1/4?
1/4
Let j(l) = l**3 - 8*l**2 - 10*l - 6. Let m be j(10). Let w be (1/(-8))/(1/758). Let g = w + m. Are -2 and g unequal?
True
Let w = 21 - 21. Which is greater: w or -2/45?
w
Let q = -136/5 + 27. Let v(b) = b + 2. Let c be v(0). Suppose 0 = 2*y - c - 0. Are y and q non-equal?
True
Let p = -7 + 11. Let j be (0 + -2)/(10/(-10)). Suppose -j = 3*y + 1. Which is smaller: p or y?
y
Let l be 7 - 6 - (-1)/1. Which is bigger: 4 or l?
4
Let m(k) = k**2 - 5*k + 2. Suppose 2*d - 6 - 4 = 0. Let u be m(d). Let p = u + -2. Which is smaller: p or -1?
-1
Let f = 5 - 5.1. Let x = f - -0.1. Let d = -0.8 - 0.2. Which is smaller: x or d?
d
Let x be (-1 + 0)*7 + -1. Let h = 30 - 29. Which is smaller: h or x?
x
Let l = 12 + -8. Suppose 0*n + l = -2*n. Let c(b) = -b**2 - b + 1. Let m be c(-2). Is m at most n?
False
Let y = -15 - -11. Let a = 1 - 5. Let l = 1 + a. Which is smaller: l or y?
y
Let s = 29.2 - 29. Which is bigger: 2 or s?
2
Let h = -20 + 20. Let j be (-1)/2 + 21/2. Let x be j/(-24) + (-2)/(-8). Is x less than h?
True
Let o be (-1*4 + 3)/((-4)/4). Let t = 1/135 + 259/1485. Which is smaller: o or t?
t
Let u be ((-56)/24)/((-20)/6). Are 1 and u non-equal?
True
Let c = 72 - 71. Do -4/83 and c have different values?
True
Let t be -2 + 3/33*30. Is t smaller than 1?
True
Let h = 0.29 + -3.49. Let m = h + 3. Which is bigger: 0 or m?
0
Suppose 47 = 3*o + 26. Which is smaller: o or 4?
4
Let k = 40 - 32. Do k and 0 have different values?
True
Suppose -f - 3*f + 4 = 0. Let m be 1*(-1)/2*(-76)/285. Is m < f?
True
Suppose 3 = -3*n + 15. Suppose -n*q = -q. Does -1 = q?
False
Let c(k) = 4*k + 9. Let y be c(-4). Is y at least -31/5?
False
Let v(q) = -q**2 + 5*q - 8. Let o be v(-6). Is o at least -73?
False
Let s = -7 - -10. Let c = -3 - -5. Are s and c equal?
False
Let d = -120 + 174. Let g = -484/9 + d. Is -1 at least as big as g?
False
Let q = 3 + -2. Let g be (-3)/(-3*q - -2). Let w = g + -5. Is -2 equal to w?
True
Suppose 4*u + 6 = -2*b, -b = 4*b - 5*u. Let q = 1498/143 - 148/13. Which is bigger: b or q?
q
Let k be 27/(-54)*(-1 + -1). Let r = -4.2 + 2.5. Which is smaller: r or k?
r
Let i be 0*(-3)/(4 + -7). Is -9/8 less than i?
True
Let c = 10 - 18. Let i = 561/70 - 3/14. Let t = c + i. Is -2 at least t?
False
Suppose -15 = 2*r - 7*r. Let i be (2/r)/((-12)/18). Are -1 and i equal?
True
Let h = -1.69 - -0.09. Let b = 0.6 + h. Which is bigger: 2/3 or b?
2/3
Let d be (-4)/(-18)