 c(-9). Is b >= d?
False
Let i = 0.2 + 0.1. Let d = -1.5 - -2.8. Let v = d - i. Which is greater: v or -2?
v
Let w(y) = y**2 - 9*y + 5. Let t be w(8). Let j be 2/(-1 - (-3 - 0)). Is j greater than or equal to t?
True
Let b = 0.2 - 0.3. Let q = 0.4 + b. Let v = q - 1.3. Is 0 less than or equal to v?
False
Suppose 0 = -p + 4*p - r - 31, p - 2*r = 12. Let n be (-1)/(6/p + 0). Which is greater: n or -1?
-1
Let i(l) = l - 4. Let a be i(8). Suppose -6 = -a*z - 2*p, 0*z + 3*p + 7 = -2*z. Suppose -z*n + 1 + 3 = 0. Which is smaller: 0.2 or n?
0.2
Suppose 27 = -2*c + 9. Let a be 8/2*c/(-12). Suppose a - 11 = 4*w. Is -2 smaller than w?
False
Let q = 0 - -5. Let y(l) = l**2 - 5*l - 1. Let r be y(q). Let f be -1 - ((-10)/12)/1. Which is greater: f or r?
f
Let m be ((-24)/(-9) - 2)/(6/9). Which is bigger: m or 5/7?
m
Let a = 10890/203 + -376/7. Is a at most as big as 1?
True
Suppose 0 = -2*d - 0*o - 3*o - 7, o + 21 = -3*d. Which is smaller: 1/8 or d?
d
Let c = -13 - -14. Suppose 2*r - 9 = -2*t + c, -4*t = r - 23. Suppose -3*b - 2*z = z - 15, -2*b + 12 = z. Is b smaller than t?
False
Let h = 2371/99 + -218/9. Is h not equal to -1?
True
Let j(d) = -d**2 - 3*d - 4. Let p be j(-5). Is -13 greater than or equal to p?
True
Let i be (-15)/10*(0 - 156/(-9)). Which is smaller: i or -27?
-27
Let f = -3/560 - 1611/12880. Which is smaller: f or 1?
f
Let f = 14 - 13. Let v = f - -7. Which is greater: v or 1?
v
Let o = 3 + -2. Suppose 3*f = 5*m - 28 + 9, f + 3 = 0. Suppose g = m*g. Do g and o have the same value?
False
Suppose v - 5*c + 4 + 13 = 0, -8 = -2*c. Suppose -v*n = -3*y - 3, -2*y + n = -3*n - 2. Let m be y/(-12) + 22/(-40). Which is greater: m or 0?
0
Let p(h) = -h - 1. Let n be p(-1). Suppose -10 = -3*x + 2*x. Let r be 9/x + 3/(-6). Is n greater than r?
False
Let y be 641/(-60) + (2 - 6). Let w = -73/5 - y. Is w != 1?
True
Let z be 14*(-5)/22 - -3. Which is smaller: z or 0?
z
Let f(a) = -16*a**2 - 2*a + 1. Let r be f(1). Is r greater than -17?
False
Let t = -2 - 2. Let i = 5 + t. Let m = -0.2 + 0.3. Which is smaller: i or m?
m
Let k be 8/(-12)*3/8. Let t(h) = h - 5. Let q be t(9). Suppose -2*c - 11 = m, 0 = q*c - 6*c - 10. Is k bigger than m?
True
Let j be (-87)/(-2)*(-40)/15. Does -116 = j?
True
Let t(v) = -v**3 + 8*v**2 - 9*v + 10. Let g be t(7). Let b(i) = i**3 + 5*i**2 + 4*i - 5. Let d be b(g). Which is smaller: d or -4?
d
Let f be 2*2/(4/3). Suppose 3*r - 2*n + 8 = -f, -13 = -3*r - 4*n. Which is smaller: r or -3/7?
r
Let x = -46 + 137/3. Which is bigger: x or 0?
0
Suppose 5*d - 2 = -4*v, 2*v - v - 6 = -4*d. Let m be d/9 - (-228)/(-54). Is m at most as big as -5?
False
Let j = -53 + 42. Which is greater: -10 or j?
-10
Let k = -21 + 30. Is 9 greater than k?
False
Let p = -0.18 + 0.15. Let a = p + -0.17. Do 1 and a have the same value?
False
Let k(n) = -n**3 - 5*n**2 - 6*n - 10. Let s be k(-4). Is -13/9 equal to s?
False
Let r = -14 + 9. Let t = 7 - 12. Let w = r - t. Which is bigger: w or 4?
4
Let v = -76 - -455/6. Is v smaller than -1?
False
Let c = 8 - 5. Suppose -c + 5 = 2*r, -x + 2*r = -4. Let b be x/(-21) + (-9)/(-7). Is 0 at least as big as b?
False
Suppose 0 = -5*y - 4*f + 20, 20 = -y + 2*f + 2*f. Suppose 0*p = -2*p + 2. Is y less than or equal to p?
True
Suppose 1 = q - 1. Suppose -4*v - 4 = -4*g + 4, -1 = q*v + g. Which is bigger: v or -0.4?
-0.4
Suppose 22 = 4*j - 50. Which is bigger: 20 or j?
20
Let x = -236 + 236. Let f be 0 - (-1)/(-6)*-5. Is x != f?
True
Let a be (-3)/(-9) - 22/(-6). Suppose a*t = 3*m - 0*t, -5*t = -3*m. Which is smaller: m or 1?
m
Suppose -117 + 118 = y. Let h(v) = -v**3 + 6*v**2 - 5*v + 1. Let q be -10*(0 - -1)/(-2). Let o be h(q). Are o and y equal?
True
Let l = 4.96 - -0.04. Is 0.1 at least l?
False
Suppose -2*g - 4 = -6*g. Are 0 and g equal?
False
Let k be -1 + 4/4 - 1. Is -3/17 greater than k?
True
Let a = -23 + 21. Suppose 3*k = -2*g - 0*g + 17, -5*g + 17 = -k. Suppose 5*l - g*s - 3 - 5 = 0, -8 = -4*l + 4*s. Is l less than a?
False
Let n = 1/6 - 11/12. Suppose 278*g - 288*g - 20 = 0. Which is smaller: g or n?
g
Let z be 4/(-4)*(-1)/119. Let p = z - 15/119. Which is smaller: p or -1?
-1
Let c = -1 - -2. Let u be (8/(-30))/((-51)/7443). Let t = u + -194/5. Is t <= c?
True
Suppose -5 = -k - 0*k. Suppose k = 4*s + 1. Is s at least -0.2?
True
Suppose 76 = -2*r + 4*r. Suppose -r + 10 = 4*u. Which is smaller: u or -6?
u
Suppose 2*t - t - 6 = 2*r, -3 = 3*r. Suppose 0 = 2*y + m + 6, 4*y - 3*m = -0*m + 8. Let q be (y - -2)/((-2)/(-10)). Which is bigger: q or t?
q
Let a = -0.98 + 0.38. Which is bigger: 7 or a?
7
Let j(c) = c**3 - c**2 + c + 2. Let d be j(0). Let o be 3/((-1 - 0) + 2). Suppose -2*s + 5*g + o = -5*s, d*s + g + 2 = 0. Which is smaller: s or -2?
-2
Let u = -6/13 + 68/91. Suppose 2*y = -y. Which is bigger: u or y?
u
Let r = 1231/798 - 17/38. Let i = 1283/854 + -9/122. Let a = r - i. Do 0 and a have different values?
True
Let d = -0.011 - 27.689. Let w = d + 29. Let h = w + -0.3. Is h equal to 2?
False
Let w be (-30)/(-26) + (-24)/156. Is w equal to -1/7?
False
Let y = -26 + 8. Let v be (-4)/6*y/24. Let l be (0 + 4)/(2 + 0). Are v and l nonequal?
True
Suppose 5*t - 280 = -5*y, 248 = -2*t + 7*t - 3*y. Let u be t/14 - 2/(-7). Suppose 16 = 4*m - 0*m. Is m greater than u?
False
Let l = 7 + -3. Suppose z = -l*m - 4, -4*z = -m - 4 + 3. Which is smaller: m or -2/5?
m
Suppose -5*a + 8 + 22 = 0. Let j(g) = g**2 - 7*g + 5. Let x be j(a). Which is smaller: 2/21 or x?
x
Suppose -6*m + m = 0. Suppose r + r + 8 = m. Is r greater than -4?
False
Let n = -144431/93 - -1553. Which is bigger: n or 1?
1
Let z(c) = -2*c**2 - 18*c - 19. Let m be z(-6). Is m less than or equal to 33/2?
False
Let i(b) = b**3 + 13*b**2 + 13*b + 6. Let q be i(-12). Suppose 0 = 2*k - 0*k + 12. Is k > q?
False
Let r(i) = -5*i**3 - i**2 + i - 1. Let t be r(1). Is t < -5?
True
Let n = 4.47 + 0.43. Let s = n - 5. Let k = -3 + -4. Which is smaller: s or k?
k
Let u = 0.2 + 0.8. Let l = -0.23 - -0.2. Let o = l + 0.33. Is o bigger than u?
False
Let m be -1 - -1 - (0 + 1). Let t = -17 + 20. Let f = t + m. Is f equal to 1/2?
False
Let p be ((-11)/(440/(-256)))/((-7)/5). Is p less than or equal to -4?
True
Let r = -3 - -2.99. Let b = 0.02 - r. Let d = 1.03 - b. Which is bigger: 0.2 or d?
d
Suppose j - y - 9 = 0, -5*j = y - 6 - 21. Let t be 8/j*(-3)/(-2). Let l be 1*((-3)/9 - -1). Do t and l have the same value?
False
Let d(x) = -x**2 - 5*x + 15. Let u be d(-7). Is u less than or equal to 2/35?
False
Let n = -0.56 - -0.6. Let i = 0.06 + n. Let c = 2 - 1.9. Do i and c have the same value?
True
Let q be 5/2*(-39)/(-15). Which is smaller: q or 8?
q
Let g(x) = -x**3 - 5*x**2 + 2. Let w be g(-5). Let h be (-9)/(-36) + (-23)/(-4). Suppose 4*n - 2*i + h = 0, w*n - i + 5*i = 22. Is n not equal to 1/6?
True
Let q = 0.03 - -0.07. Suppose -5*v + 5 = -15. Suppose -3*t + v*r = 18, r + 19 = -5*t + 4*r. Are q and t non-equal?
True
Let v be 1/(-2)*(-3 + 31). Let u = 14 + v. Is 1 less than or equal to u?
False
Let a be 1/2 + 10/8. Let s = a + -29/28. Let j = s - 17/14. Which is bigger: 0 or j?
0
Let p be 3 + -4 - 3/(-1). Let j = -3 - -6. Is j bigger than p?
True
Let t = 109/4 + -27. Let j(p) = p**2 + 3*p + 2. Let s(z) = -2*z**2 - 7*z - 5. Let i(b) = 7*j(b) + 3*s(b). Let l be i(1). Are l and t nonequal?
True
Let a(y) = y - 5. Let l be a(4). Let s = -1 - l. Let g = -20 - -20. Do g and s have different values?
False
Let s = 5 - 5. Suppose s = 3*c + 28 - 7. Let g = c - -12. Is g at most as big as 6?
True
Let j(l) = -30*l**2 + 4*l. Let t be j(2). Is -111 bigger than t?
True
Let x(q) = -2*q - 4. Let a be x(-3). Let d = a - 1. Which is smaller: d or 0?
0
Let b = 6.99 + -7. Which is smaller: 0.9 or b?
b
Let j be 0 - -9*2/2. Suppose c - 2*o = -7, o - j = 3*c - 2*o. Which is smaller: 1/2 or c?
1/2
Let n = 4 - 4.39. Which is greater: n or -1?
n
Let g = -8/59 + 748/295. Which is smaller: g or 3?
g
Suppose 2*n = 3*n. Suppose j + j - 2 = n. Which is bigger: j or -1/3?
j
Let o be (-6)/(-14)*(-20 + 41). Is o greater than or equal to 2?
True
Let o be 0/(6/((-4)/(-2))). Which is smaller: o or -4/7?
-4/7
Suppose 4*h + 9 = -7. Let t = h + 6. Let z be (2/(-3))/(t/6). Which is bigger: -3 or z?
z
Suppose 5*y - 3 - 29 = -s, -5*s = -y - 4. Suppose -y*p = -p. Which is smaller: 1/4 or p?
p
Let a = -13504 - -80831/