 or d?
2/5
Let z = -0.014 + -0.786. Which is smaller: 4 or z?
z
Suppose 2*o = a - 10 - 4, 2*a + 4*o + 4 = 0. Let c(h) = 2 - 1 + h - a - 5*h**2 + h**3. Let t be c(5). Is t at least -2/9?
True
Let u(p) = p**2 - 16*p + 26. Let n be u(14). Is n smaller than -10/11?
True
Let a(r) = -3*r**2 - 18*r - 1. Let l be a(-6). Let o = -4 - -2. Let c be 1/o + 7/6. Is c not equal to l?
True
Let w be (6/(-9))/(4/6). Is w > -2/31?
False
Suppose -4*m - n = -9*m + 15, 3*m + 3 = 3*n. Is m bigger than 0.06?
True
Suppose 0 = 8*k - 3*k. Suppose 4*t + k*t = -16. Let v = 5 + t. Is v > 1?
False
Let b = 1 + -4. Let p be 63/6*2/b. Is p >= -6?
False
Let j = -8.21 + 1.11. Let m = -7 - j. Which is bigger: -0.03 or m?
m
Let s(z) = z**3 - 7*z**2 + 7*z - 1. Let r be s(6). Suppose -4*d + 1 = r. Which is greater: -2/19 or d?
-2/19
Let z = 0.4 + 1.6. Let r = z - -12. Is 0.1 < r?
True
Let c be (-1 + 1)*1/1. Which is smaller: 1 or c?
c
Let q = -10 - -18. Let k be (15/5)/((-1)/(-3)). Which is greater: k or q?
k
Let d(v) = 3*v - 2. Let a be d(2). Let y be 6*(a/(-2))/(-34). Let u = 35/51 - y. Is u >= 1?
False
Let r(n) = -2*n**3 - n**2. Let c be r(-1). Which is bigger: c or -5?
c
Suppose 7*w = 3*w - 32. Are w and -8 equal?
True
Let n = 1/145 - -287/435. Do 2 and n have different values?
True
Let h = 26/33 + -5/11. Are h and -6/11 non-equal?
True
Suppose 0 = p + 3*x + 5, 0 = 5*p + 4*x - 12 + 37. Let k be p/(-15) + (-2)/6. Which is bigger: 1/13 or k?
1/13
Suppose -2*o - 15 = -13. Let h be 4/(-5) - (-2 - -1). Which is smaller: h or o?
o
Let s be (-26)/(-4)*(1 + 1). Let t be s/5 + 4/10. Suppose 5*k - 2*b = 11, 0 = 3*b + 3 - 9. Is k less than t?
False
Let z(h) = -7*h**2 + h**3 + 0*h**3 + 5*h + 2*h**2. Let o be z(5). Suppose -4*n - o = -9*n. Is n greater than 4?
True
Let a be 16/2 + (2 - 2). Let k = -7 + a. Suppose 0 = 2*f + 2*f. Is k bigger than f?
True
Let x = -13/44 - -1/22. Suppose -3*w + 4 = -4*z, z = 2*z - 2. Suppose t = -w*t. Do x and t have the same value?
False
Let i(r) = -2*r - 1. Let h(w) = w. Let c(b) = -5*h(b) - 2*i(b). Let f be c(0). Let t = -423/4 + 107. Do t and f have the same value?
False
Suppose 26*n = 15*n - 44. Let f = 0.1 + -0.3. Do n and f have different values?
True
Let b = -113/120 + 16/15. Let g be 3 - 2*(5 + -4). Which is bigger: b or g?
g
Let z be 17*(-2 + -1 + 2). Is z at least as big as -16?
False
Let p = 8 + -10. Which is bigger: -2/3 or p?
-2/3
Let z(r) = -10*r + 5. Let i be z(-5). Suppose i = b - 6*b. Are b and -11 nonequal?
False
Let h = -15.02 - -15. Is h at least as big as 1/2?
False
Let b be 1/4 - (-39)/4. Let z be ((-2)/6)/(b/3). Which is smaller: 0 or z?
z
Let j(l) = -l**2 - 7*l - 7. Let a be j(-6). Let f = 158 - 1735/11. Is a <= f?
True
Suppose -3*l = i + 3*i - 4, 0 = -4*l. Suppose 0*q - q + i = 0. Which is smaller: q or 0?
0
Let y = -0.019 + -3.281. Let b = y - -0.9. Let r = b + 0.4. Which is bigger: -1 or r?
-1
Let v(i) = -2*i - 7. Let q be v(-5). Let h be (-13 - -16) + (-1 - -1). Is q > h?
False
Let y = -6 + 3. Let h = y + 5. Suppose -h = -3*g + 1. Is -2/11 bigger than g?
False
Let d(x) = x**2 - 7*x - 6. Let m be d(8). Let y = 7 + -4. Suppose -9 = -3*b, 4*h - y*b - m = -b. Is h bigger than 1?
True
Suppose -z + 2*z + 14 = 0. Let m be (-9)/(-6)*z/(-3). Is m >= 8?
False
Let o be (-1)/(-2) - (-1)/(-2). Suppose -4*k = -2*y + 12, o = -k - 4*k - 5*y. Which is smaller: k or -1/2?
k
Suppose -2*y + 5*y + 2*a - 5 = 0, -4*y - 5*a + 2 = 0. Suppose 3*u - 8*u = -2*n + 5, 0 = 5*u - y*n + 10. Which is greater: u or 1/14?
u
Let h be ((-1)/5)/((-2)/2). Let v(w) = -w**2 + 6*w + 17. Let d be v(8). Does h = d?
False
Suppose -2*s - 30 = 2. Is s greater than -15?
False
Let t = -32 + 31.9. Are -2/3 and t nonequal?
True
Suppose 10 - 9 = q. Which is smaller: q or 1/72?
1/72
Suppose 0*z = 2*z. Let a = -5/52 + 189/884. Which is smaller: z or a?
z
Let l be 15/20 - ((-54)/(-8) + 0). Let w be -1 - ((-3 - -2) + 2). Which is greater: w or l?
w
Suppose -9 + 4 = -3*s + c, 0 = -2*s - 4*c - 20. Which is smaller: s or 7/10?
s
Let n = -141 - -53. Is n greater than -87?
False
Suppose -10 = -y + 6*y. Let u(s) = -4*s - 1. Let k(p) = p - 1. Let t(m) = -6*k(m) - u(m). Let v be t(5). Which is bigger: y or v?
y
Let y = 9 - 7.7. Let n = 0.3 - y. Let v = 4 + -4. Is n equal to v?
False
Suppose 4*y - 3*v = 4 + 1, 3*v = 3*y. Let z(s) = -s**3 + 4*s**2 + 5*s - 2. Let u be z(y). Let a = -1 + u. Which is greater: a or -2?
-2
Let f = 0.96 - -1.04. Which is smaller: f or -12?
-12
Suppose -4*r + 7 = 27, -15 = 4*f + 3*r. Suppose -4*o + 5*o = f. Let z be (0/(2/2))/(-2). Is o not equal to z?
False
Suppose 8*d - 3*d - 10 = 0. Suppose 0 = -d*r + 5*r. Suppose 2*a - 6*a = r. Is a bigger than 2/9?
False
Let z be 6/9*4/((-24)/(-63)). Is 8 > z?
True
Let t = -1.3 + 1.64. Let i = 0.24 - t. Is 12 at least i?
True
Let z be (2/4)/(1/2). Which is smaller: -3/19 or z?
-3/19
Let p = -0.91 + 1.08. Is -2 less than or equal to p?
True
Let z = -90 - -719/8. Let f be (1 - (1 - 0))/1. Is f bigger than z?
True
Let z(o) = 5*o**3 - 6*o**2 + 5*o + 4. Let a be z(4). Let d = a + -2730/11. Suppose -2*k = -4*k - 2. Is k <= d?
True
Let w = 4 - 3. Let y(z) be the first derivative of z**3/3 - 7*z**2/2 + 5*z - 4. Let d be y(6). Which is greater: d or w?
w
Suppose 0 = -4*b + 3*y + 2*y - 4, -y = -b - 1. Let i = 0 - b. Which is smaller: -2/41 or i?
-2/41
Let z(c) = -12*c. Let x be z(-2). Suppose -x = 4*u + 4*j, -u = -4*u + 4*j + 17. Which is smaller: u or 0?
u
Suppose 2*u - 5 + 53 = -4*t, 0 = -4*t - u - 44. Is 0.3 at most t?
False
Let i = 0.05 + -2.05. Let g = -34 - -31. Let w = i - g. Which is smaller: 0.1 or w?
0.1
Suppose 7 = -u + 8. Let f be 1/u + -12 - -3. Which is bigger: f or -6?
-6
Suppose -v - v + 4*q + 26 = 0, -q + 54 = 5*v. Let u = 12 - v. Which is greater: u or -2/21?
u
Suppose -f = 2*v + 10, -v + 3*f - 12 = -0*v. Let p be 30/8*12/(-10). Is p at least v?
True
Let j(r) = r**2 + 15*r + 14. Let u be j(-14). Let d = 9/209 + -6/19. Is u not equal to d?
True
Let p = 0.049 + -3.049. Which is bigger: 5 or p?
5
Let n be -1*(-7 - -2)*2. Let l = -10 + n. Is l at least as big as 1/5?
False
Let k = 298 - 170. Let f be (-2)/(-9) + k/(-252). Which is greater: f or 0.01?
0.01
Suppose 0 = 2*d - 1 + 5, 2*d = -4*u - 8. Let a be 1*(-2 + 219/111). Let n = a + -33/148. Which is bigger: n or u?
n
Let p = -10 + 9. Let y be 1/(-56)*25 - -1. Let i = 1/8 - y. Which is bigger: i or p?
i
Suppose 0 = -4*d - 0*d + 48. Is d >= 12?
True
Let c be (64/(-12) - -2) + 4. Let m = 8 + -7.7. Let p = m + -1.3. Do p and c have different values?
True
Let h = 2609/29 - 90. Let t = h - 49/261. Is 0 at least as big as t?
True
Let s = 21 - 20. Let m be 3 + (-3)/(-6)*0. Which is greater: m or s?
m
Let k be (-2)/8 + 203/28. Suppose -3*y + k = 1. Let c be (-3)/y*1/(-6). Do 0.2 and c have different values?
True
Suppose -3*c + c - 6 = 0. Let q be (1/1)/(-1)*-1. Let d be ((-4)/(-2) + q)*-1. Is c at least as big as d?
True
Let w be ((-2)/6)/((-2)/(-18)) + 5. Is w <= -0.052?
False
Let r be -41*2/(-20) + -4. Which is bigger: r or 1/3?
1/3
Let m = 8 - 4. Suppose 0 = m*v - 3*v. Which is bigger: 1 or v?
1
Suppose 5*b - 5*r - 35 = -0, 24 = 4*b - 2*r. Suppose b*m = 2*m. Suppose -5*z + 6*z = 0. Are m and z unequal?
False
Let y be 1 - 0/(3 + -2). Is y >= 1?
True
Let i = -140 - -835/6. Are i and -4 unequal?
True
Let k = 2375/18 - 132. Is 1 smaller than k?
False
Suppose 35 = -5*l - 3*v, 5*v = -4*l + 3*l - 29. Let u be (15/(-6))/(2/l). Which is bigger: u or 1?
u
Suppose -55 = -14*t + 19*t. Let w be t/(-27) - 1/3. Which is smaller: -1 or w?
-1
Suppose 4*d + 4*b - 32 = 0, -30 = -4*d - b - 7. Suppose d*n - 7 + 2 = 0. Which is smaller: n or 10/9?
n
Let f = -5 - -8. Let h be -3 + 1 + 3 + f. Suppose h*u = -4*m, -6*u - 2*m + 2 = -2*u. Which is smaller: u or 0.3?
0.3
Let h = 0.6 + -0.4. Are h and 13 unequal?
True
Suppose -5*u = 21 - 31. Let g = 131/164 + -2/41. Do u and g have the same value?
False
Let r = -25 - -112. Let j = r - 263/3. Which is smaller: j or 0?
j
Let f = -1 - 16. Which is bigger: -19 or f?
f
Let f = 1207 + -27757/23. Let t = 31/46 - f. Let n = 1/12 - 7/12. Is n at least t?
False
Let j = 3 + 1. Let h = 11 + -6. Which is smaller: h or j?
j
Let q(s) = -s + 12. Let d be q(-6). Is d at least as big as 9?
True
Let r(w) = w**2 + 8*w. Let u be r(-7). Let n = -4 - u. Is n at least 3?
True
Let i 