b + 4*j. Is b >= l?
True
Let t be 3/(-1) - (-18)/(-3). Do 1 and t have the same value?
False
Let d = 234 + -254.8. Let s = d + 21. Is s < -9?
False
Let b = 492 + -19189/39. Which is greater: b or 0?
0
Suppose 0 = -4*j - f + 2, -4*j = -0*f - f + 2. Let b = -137/11 - -1940/33. Let k = b + -47. Which is bigger: j or k?
j
Suppose 5*c + t + 19 = 0, 3*c + 4 + 13 = -2*t. Is c less than or equal to -10/3?
False
Let o(k) = k**3 - 18*k**2 + 16*k + 25. Let g be o(17). Which is smaller: g or 9?
g
Suppose -4*p + 167 - 13 = s, -5*p + 5*s + 205 = 0. Are p and 39 equal?
True
Suppose -3*y = 3*a - 10 + 25, -2*y - 6 = 0. Let k be (0 + 2)*(-5)/14. Which is smaller: k or a?
a
Suppose -20 - 10 = 5*t - 4*p, -2*t - 12 = 3*p. Which is smaller: t or -5?
t
Let a(w) = -w**2 + 7*w + 9. Let n be a(8). Let b = -98/99 + 6/11. Do b and n have different values?
True
Let p(g) = -2*g + 2. Let o be p(-5). Suppose -s = v - 23, -v - 5*s = -27 - o. Suppose -3*n = q + v, q - 7 = -q + 3*n. Is -2 equal to q?
False
Let f be (-28)/63 - (-4)/(-18). Is -0.2 <= f?
False
Suppose -x - 3*x = 3*x. Is -19 <= x?
True
Let a = -8 - 31. Which is greater: -37 or a?
-37
Let k be 2/4 + (-27)/6. Is -10 smaller than k?
True
Suppose -4*w - 5*v = -3, 2*w + 3*v + 1 = -2*v. Let c be 5/w*3/(-15). Which is bigger: -3 or c?
c
Let m be ((-6)/(-8))/(18/4). Let z be (6/(-36))/((-2)/4). Which is bigger: m or z?
z
Let d(f) = 2*f**3 - f**2 + f. Let o be d(1). Suppose -o*l + 2 = -4*x, -3*l = -2*x + x + 2. Which is smaller: 0 or l?
l
Let s be 6/(-15) - ((-2532)/580 - -4). Is 0 less than s?
False
Let t be 2/14*(2 - -5). Which is smaller: t or -2/11?
-2/11
Let c = 2/1778351 - 328996479/1372886972. Let d be ((-12)/(-18))/((-193)/3). Let y = d + c. Is y at most 1?
True
Let d = 5 - 1. Suppose 0 = -0*o - 4*o + d. Let p be o + 3/(-2 + -10). Which is bigger: p or 1?
1
Let h be -1 + (-3)/2 - 0. Let a = 22 - 29. Let i = a - -6.9. Which is greater: h or i?
i
Suppose 2 = 6*t - 4. Let q be (-1)/(2*2/(-8)). Suppose -m + v = 3, 8 = -q*m + 4*v - 6. Is m less than t?
False
Let x = 17 - 11. Let n(f) be the second derivative of -f**3/6 + 3*f**2/2 - 2*f. Let s be n(x). Is s at most -1/4?
True
Let z be (483/12 - (-2)/(-8)) + -2. Which is smaller: 37 or z?
37
Suppose -u = 5*v - 41, u - 3*v = 2*u - 43. Is u less than 46?
False
Let z = 3 - 7/2. Let d = -27 + 24. Which is smaller: d or z?
d
Let b(q) = 6*q + 3. Let n be b(-3). Let c be 257/(-17) - 6/(-51). Does n = c?
True
Let k be (-2)/6 - 8/(-96). Is 3 smaller than k?
False
Suppose v - 3 = 2*u, -5*u - v = 4*v - 15. Is 4/21 smaller than u?
False
Suppose -3*p + 2 = -1. Suppose -2*a - 17 + 5 = -2*y, 3*y - 8 = -2*a. Suppose 0 = -y*t + p + 3. Are t and -2/5 unequal?
True
Let k be (-2)/(-3)*(1 - 4). Let t be (k - 0)*(-100)/(-8). Let i = 123/5 + t. Which is smaller: -1 or i?
-1
Let r be (2/3)/(8/18). Which is greater: 2 or r?
2
Suppose 2*t + 3 = 5*u - 11, 3*t + 16 = 5*u. Suppose -4*r - 4 = 4. Let p = 0 + r. Is p at most t?
True
Suppose 0 = 3*g + r - 1, -g = 5*r + 7 - 26. Suppose 0 = p + 10 - 11. Let w be (1 - p)*5/(-10). Which is smaller: g or w?
g
Let t be 22/(-6) - 44/33. Which is smaller: -3 or t?
t
Suppose 5*m = 5*d, 4*d - 14 = 3*m - 6*m. Which is bigger: m or 22/15?
m
Suppose 2*g + 33 = -g - 3*n, -2*n + 20 = -5*g. Let a = -10 - g. Is -3 > a?
True
Suppose -2*k + 3*h = 3 - 0, -5*k = 4*h - 50. Is k greater than 5?
True
Let o = 0.04 + -2.04. Are 0.1 and o unequal?
True
Suppose -3*p = 3*p - 36. Which is greater: 1/3 or p?
p
Let x = 128239/472 - -1412/59. Let v = x - 296. Suppose -3*r = 6, 4*y + 3*r = -0*r - 2. Is y less than v?
False
Let g = 11 - 3. Do g and 8 have different values?
False
Let o be (-2)/(-3) - (-40)/(-57). Do o and 0 have different values?
True
Let q be (16 + (0 - 2))/2. Let t = q - 5. Let s be 1/t*(-6 + 4). Which is greater: 1/16 or s?
1/16
Let w = -1 + 1. Let o be ((-3)/(-2))/(7/42). Let u be (-25)/10 + o/6. Is w smaller than u?
False
Let s = 0.27 - 1.27. Which is smaller: s or -0.9?
s
Suppose 5*a - 2 = -n, n - 14 = -0*a + a. Let b = n - 12. Which is smaller: -1/4 or b?
-1/4
Let t = 122 + -159. Which is smaller: t or -38?
-38
Let j = 1/26 - 63/286. Are 2 and j equal?
False
Let v = 9 + -2. Let r = 7 - v. Is -1/11 less than r?
True
Let r(s) = -s**2 + 5*s + 3. Let k be r(5). Suppose 2*h = -k*h. Suppose h = -2*m + 3*m. Are 0 and m nonequal?
False
Let b = 8 + -7. Let f = b + -2. Let w be (-6)/4*(f - 1). Is 3 != w?
False
Suppose 2*l = 2*r, 0*r - 4*r + l - 15 = 0. Are r and -5 unequal?
False
Let a(o) = -o**2 + 20*o + 1. Let d be a(20). Which is greater: d or 6/5?
6/5
Let i = 54 + -42. Is 9 at least as big as i?
False
Let g(r) = -r**2 - 3*r + 1. Suppose -3*b - 12 = 5*j, 0 = j + 3*j - 5*b + 17. Let v be g(j). Let l be v + 1/2*4. Is 3 bigger than l?
False
Let i be ((-4)/9)/((-4)/(-6)). Let p = -22.9359 - -0.0359. Let d = p - -23. Which is bigger: d or i?
d
Let g = -2.5 + 2.8. Is 0 < g?
True
Let c(q) = -q**2 - 11*q - 6. Let x be c(-10). Suppose 12 = -x*l + 4. Which is smaller: l or -1?
l
Let z be (-2)/(-3) + (-20)/3. Let r be ((-36)/(-30))/(z/(-20)). Suppose r*s - 5 = -1. Is s less than or equal to 1?
True
Let s = 13 - -1. Suppose 2*d = 2*b - 3*d - 24, -5*b + d = -s. Which is smaller: b or -2/5?
-2/5
Suppose -1 - 23 = -4*j. Let q be 4/(-8)*j - -3. Which is bigger: q or -9/8?
q
Let i be ((-21)/42)/(1/(-2)). Is i bigger than 8?
False
Let n(d) = d + 5. Let x be n(-3). Do 2 and x have different values?
False
Let j = -9 + 13. Let f be -1 - (3 - j - 1). Which is greater: -2 or f?
f
Let m = 56 + -57. Is -7/13 less than m?
False
Let d = 0.021 - 7.021. Which is smaller: d or 0?
d
Let w = -1 - -3. Suppose 0 = -2*k - 0*k. Let g be 0 + k - 2/(-1). Is g at least w?
True
Let c be (-2 - -1)/(1/(-2)). Let d = c + -3. Let q = -1.1 - -1. Which is smaller: q or d?
d
Let c = -2 - -11/5. Let s = 5 + 1. Let m(q) = q**2 - 6*q. Let j be m(s). Is j < c?
True
Suppose -3 - 3 = 6*r. Which is bigger: r or 1/3?
1/3
Let i be 72/(-3708) - (1 + (-2 - -1)). Is i != -1?
True
Let v = -25 + 22. Let h(k) = -k + 5. Let p be h(5). Which is greater: p or v?
p
Let j = 269 - 264. Let o be (2 + 0)*(-6)/4. Let m = o + 5. Which is smaller: j or m?
m
Let q be (-151)/(-4) - (-2)/(-32)*-4. Which is bigger: 36 or q?
q
Let m(g) be the third derivative of g**6/30 + g**3/6 - 5*g**2. Let t be m(1). Which is bigger: t or 1?
t
Let a be 45/12 - (-2)/8. Suppose -a*x + 0 = -4. Is 1 at least x?
True
Let w(i) be the second derivative of i**6/360 - 3*i**5/40 - i**4/12 + i. Let k(n) be the third derivative of w(n). Let s be k(7). Which is greater: 4 or s?
s
Let t = 2 - -3. Let c(m) = -m**3 + 4*m**2 + 5*m - 3. Let w be c(t). Is w at most -3?
True
Suppose 2*o + 13 = -11. Let x(i) = i**3 - 13*i**2 - 15*i + 1. Let t be x(14). Which is bigger: o or t?
o
Suppose -2 + 5 = -f - q, 3*q = -2*f - 10. Which is smaller: f or 4/7?
4/7
Let t = 0.211 - 0.001. Let f = -8.21 + t. Let x = 4 + f. Which is bigger: 1 or x?
1
Suppose 5*p + 10 = 2*k, -k = 4*p - 4 - 1. Suppose k*y + c = 5, 4*y - c - 11 = y. Let o = 2 + -1. Is o greater than y?
False
Let z = 13 - 14. Let d = -7 - -4. Let n be -1 - 2 - -1 - d. Which is bigger: z or n?
n
Suppose l + 350 = -l. Let w = l - -878/5. Is 1 at least as big as w?
True
Let z be (24/21)/((-14)/24) - -2. Let l = -1 + 0. Does z = l?
False
Let w be 24/(-20)*95/(-4). Let l = -29 + w. Which is smaller: -1/12 or l?
l
Let y = -1609/2880 + 1/320. Suppose 4*r = -9*z + 8*z - 5, -3*r + 20 = -4*z. Which is smaller: r or y?
y
Let x = -4 + 5. Let f be 0/(-1 - 0/x). Suppose f = 3*m + 15, -m - 3 - 2 = -4*r. Which is smaller: -1/4 or r?
-1/4
Let s be 2766/(-4565) - (-2)/11. Let k = 2/83 + s. Are k and -2/5 unequal?
False
Let k be 1*(-4)/2 - 0. Suppose 6 = -h + 4*j, -3*j = 4*h - 19 + 5. Suppose -3*r - m - 5 = 5, h*r + 20 = -4*m. Is k greater than or equal to r?
True
Suppose -3*x + 9 = 3*g, 2*x + 0*g + 3*g = 5. Let k(b) = 2*b**3 - 3*b**2 - b + 2. Let o be k(2). Is o greater than x?
False
Suppose 4*b - 4 - 12 = 0. Suppose 0 = s - b*s - 12. Do s and -4 have the same value?
True
Let v = 4 - 1. Let d = v - 6. Which is bigger: 2 or d?
2
Let s be (-8)/2 - (9 - 12). Which is smaller: s or -5/3?
-5/3
Suppose -5 - 15 = -4*o, -4*g + 50 = 2*o. Let c(m) = -4*m - g + 4*m + m. Let j be c(9). Is j less than -5/6?
True
Let q = 17 - 3. Suppose -3*l + l = 3*w + q, -4 = l. 