 = -2*c + 4*c, -a = 5*c + 5. Suppose 3*g = -2*n - 232, 2*n + 0*g = 2*g - 242. Let l = -593/5 - n. Is l equal to c?
False
Let p(q) = -q + 12. Let y be p(10). Let l be (y + 15/(-6))/7. Is l less than -1?
False
Suppose d - 2*d = -g - 1, -2*d + 12 = 3*g. Suppose d - 9 = -2*o. Is 2 greater than or equal to o?
False
Let v be (4/(-8))/((-10)/(-16)*2). Let w = 0.1 + -0.2. Which is bigger: v or w?
w
Let a = 4 + -3. Let f be (-1)/(-5)*(-15)/(-12). Is a <= f?
False
Let d = 14 - 14. Which is greater: d or -1?
d
Let p be 32/(-48)*5/(-2). Let l = 0 + 3. Is p bigger than l?
False
Let g = -5 + 6. Let b be (-1)/(-4)*(-8)/(-6). Let r = -2/15 + b. Which is smaller: r or g?
r
Suppose 0 = m - 5*q + 17, 5*m + 25 = 7*q - 2*q. Let w be (-6 - m)/2 + 1. Is w at least 0?
False
Let c = -53 + 22. Is -30 at most as big as c?
False
Let h = -1 - -4. Do 5 and h have the same value?
False
Let p = 13.6 + -2.6. Let v = -9.8 + p. Let j = -1 + v. Is 0.1 bigger than j?
False
Let f be ((-28)/35)/((-1)/5). Suppose 3*r + 4 = u, -3 + 19 = -f*r - 4*u. Is r less than -3/4?
True
Let g = -118/117 - -16/13. Is g less than or equal to -1?
False
Suppose -6 = 5*j + 3*m, m + 2 = 4*j - 0. Suppose -13*b + 17*b = j. Let g = 3/4 - 13/12. Which is smaller: b or g?
g
Let o be (-1 - 2) + 5 + 1. Let f(y) = -y. Let s be f(-3). Is o greater than s?
False
Let m be -1 + -1 - -6*1. Let u be (1 - 0)/(-3 + m). Let y be ((-18)/(-32))/((-3)/(-4)). Is u > y?
True
Let n = -23 + 10. Which is smaller: -11 or n?
n
Let s = 2411/6 + -1142/3. Let z = -22 + s. Which is greater: -1 or z?
z
Let u(q) = -17*q**3 + q - 7*q**2 + 1 + 9 + 16*q**3. Let f be u(-7). Is f < 3?
False
Let t = 7.6 - 1.6. Let n = 6 - t. Is n at least 0?
True
Suppose 2 = 2*a + 2*p, 2*p = -2*a + 3*a + 14. Let y = -5 - a. Which is bigger: -3/4 or y?
-3/4
Let m = -7 - -2. Let r be ((-6)/m)/((-4)/(-80)). Let v be (-3)/(-2 - (-57)/r). Is v != -7?
True
Suppose 2*g = -3*g - b + 5, 3*b - 15 = -g. Let c(k) = -k**3 - 5*k**2 - k - 5. Let f be c(-5). Suppose -4*j + 4 + g = f. Which is greater: 0 or j?
j
Suppose -2*o - 5*x - 22 = 0, -5*o - 3*x = 22 - 5. Which is smaller: o or -2?
-2
Let x = 8 - 5. Suppose -38 = -10*q + 12. Do x and q have the same value?
False
Let j = 1.8 - 1.88. Is j less than or equal to 1?
True
Let h = -7 + 12. Let d be (-2)/h + 18/(-5). Do d and -4 have the same value?
True
Let n = 12.9 - 14.1. Which is greater: 1 or n?
1
Let q = -3 - -1. Let f = q + 1. Let s = 0.8 + f. Which is greater: s or -0.1?
-0.1
Let y = -3 + 7. Suppose 9 = -2*v - h, v + 0*h = -y*h - 22. Let z be (-1)/(v/(-4)) - -1. Is z bigger than -1?
False
Let x = -0.2 - -0.3. Is 18 at most as big as x?
False
Let t = 997/2175 + -19/87. Do t and 0 have the same value?
False
Let k be 2/8 - 13/4. Let s be -1*((k - -2) + 0). Let z = 11 - 14. Do s and z have the same value?
False
Let w be 2 + -4 - (-1 + 0). Let f be (20/(-40))/((-1)/(-2)). Is w at most as big as f?
True
Let r(w) = 3*w + 22. Let z be r(-8). Which is greater: -18/11 or z?
-18/11
Let r(q) = -q**2 - 12*q + 3. Let d be r(-12). Which is bigger: d or 1?
d
Let s = -0.39 - -0.49. Which is greater: -5/3 or s?
s
Let u be 2*3*(-40)/(-48). Suppose x - 3*s + 5 = -0, u*x - 3*s - 11 = 0. Suppose x*v = -0*v. Is v at most 0?
True
Let r be 2/42*(-12)/(-5). Let m = r - 114/385. Which is smaller: m or 1?
m
Let b = 5/18 - -25/18. Which is bigger: b or 1?
b
Suppose 283 = -5*s - 4*l, -6*l + l = -s - 45. Let d be (-4)/22 + 1200/s. Let h = -112/5 - d. Is h equal to 0?
False
Let b = 20 + -19. Which is bigger: b or 0.3?
b
Let p = -19 - -21. Suppose -p*x - 22 = -30. Is 11/4 less than or equal to x?
True
Let c(p) = p + 11. Let y be c(-12). Are y and -1 equal?
True
Let x = 228 + -238. Do x and 2/17 have different values?
True
Suppose 2*k - 6 = -0*k. Suppose 2*h - h = -k. Let y be 1 + (-3 - (-3 + 5) - -1). Is y <= h?
True
Let a = -11/6 - -7/3. Let r = 7 - 2. Let z = r - 5.1. Is a != z?
True
Let l = -28/11 + 118/55. Is l != 2/9?
True
Let g = 1 - 0. Let a be g/(-5) + (-13)/35. Which is bigger: a or -1?
a
Let l be (0 - -7) + 3/(-1). Let y(d) = -d**3 + 3*d**2 + 3*d. Let a be y(l). Which is smaller: -3 or a?
a
Let l = -0.14 + 0.04. Is 0.11 at most as big as l?
False
Let q be (-334)/30 - 2/(-15). Let p = 11 + q. Which is smaller: p or 1/19?
p
Let n be (10/(-25))/((-9)/5). Suppose 0 = -2*f - 2*m, 2*f - m - 15 = -0*f. Suppose 0*j - 5 = f*j. Is j > n?
False
Let w be (12/255)/(2/(-5)). Suppose 8*h - 3*h + 5 = 0. Are h and w non-equal?
True
Let d be (-1 - 10/(-9))/(12/(-12)). Is 0.3 != d?
True
Let s(b) = b**3 + 6*b**2 + 3*b + 2. Let q be s(-6). Which is smaller: q or -17?
-17
Let k = -1.01 + 1. Let m = 0.11 + k. Is -12 at least as big as m?
False
Let q = 4 + -2. Let t be 6/27*(6 - 9). Which is bigger: t or q?
q
Suppose -2*d = -5*z - 6, -2*z + 2*d = z + 2. Is -33/10 <= z?
True
Suppose -5*s = -10*s + 10. Suppose 0 = -4*d - 3*h + 6, -5*d + h - s = -0. Let j = 0.1 - 0.1. Is j less than or equal to d?
True
Suppose 4*w - 25 - 47 = 0. Does w = 16?
False
Let u = 3 + -2. Suppose -b = -u - 1. Suppose 9*a + 36 = 21*a. Which is bigger: b or a?
a
Suppose 3*t - 6 = 3*y, 5*t - 4*y = 16 - 6. Suppose -t = -3*f + 1. Let x = -7319/27 - -271. Which is bigger: x or f?
f
Let w = -0.05 + 4.05. Let q = 3.9 - w. Let u = q - 0.1. Which is smaller: 2 or u?
u
Suppose -19 - 26 = 5*c. Which is greater: c or -10?
c
Let j = -22 - -38. Let d = j - 22. Let t be -3*-2*d/9. Is t smaller than -4?
False
Suppose 6*l - 9*l - 39 = 0. Which is smaller: -12 or l?
l
Let h = -51 + 50. Which is smaller: h or 4.5?
h
Let v be (1 + 4/(-2))*-1. Suppose 4 + 2 = -3*l. Let i be (2 - l/(-1))/(-2). Which is greater: v or i?
v
Let p be 0/(3/((-12)/8)). Is p at most 2/13?
True
Let p(t) = 12*t + 1. Let r be p(1). Suppose 0 = -0*l + l + 3*b + r, 3*b - 47 = 5*l. Let z be ((-3)/2)/(5/l). Is 3 at least as big as z?
True
Let y be ((-10)/(-3))/((-2)/(-3)). Suppose 0 = 4*k + 5*v - y, -v = 2*k - 4 + 9. Which is smaller: k or -6?
-6
Suppose -3*a + 7*a = 20. Let f = a + -2. Let g(o) = o - 4. Let b be g(f). Which is smaller: 3/10 or b?
b
Let z be (-2)/3*(-4 - -22). Let d be (2/z)/((-9)/24). Do -1 and d have the same value?
False
Suppose 6*c + 913 = -5*c. Which is smaller: c or -84?
-84
Let l(j) = -j + 6. Let z be l(6). Let r = -3 - z. Let v be (-3)/((-3)/(2 + -5)). Does r = v?
True
Let s(o) = o - 8. Let b be s(-6). Suppose -3*m - 4*p - 19 = 0, 4*m + 14 = -4*p - 18. Which is bigger: b or m?
m
Suppose -3*p + 19 - 64 = 0. Is -15 equal to p?
True
Let b = 166 + -180.2. Let f = 15 + b. Suppose 7*r = 3*r. Is r smaller than f?
True
Suppose -4*c + 2*c = -22. Is 12 less than or equal to c?
False
Let k be (7/3)/((10 + -4)/(-18)). Are -32/5 and k unequal?
True
Let n = 1.7 + -0.8. Let p = n + -8.9. Let k = p + 10. Is k at least -2/3?
True
Suppose 2 = p - 4. Let n be -1*(1 - p)*1. Suppose n*k - 4*k = 0. Is k equal to 0?
True
Let h = 7 - 8. Which is smaller: 2 or h?
h
Let n = -22/881 - -31426/129507. Let x = n - 6/49. Which is bigger: 2/5 or x?
2/5
Let q be (-3)/((0 + -2)/2). Let k be (q/(-9))/(1/(-12)). Let h = 2 - k. Is -1 greater than or equal to h?
True
Suppose -2 = 5*m - 3*m. Let t = m - 3. Which is bigger: -3 or t?
-3
Let a = 73 - 143. Is -2/3 at most as big as a?
False
Let x = -2.8 - -0.9. Let q = 11.9 + x. Let c = 8 - q. Is c != 2?
True
Let t be (3166/66)/(2/12). Let u = t - 288. Which is bigger: -0.1 or u?
-0.1
Suppose 0 = -2*u - 4. Is u at least -2?
True
Let s be 1*2 + (1 - 3). Suppose 0 = 5*c + 4*j + 10, c + j - 1 = -2*c. Let b be c*-1 + (3 - 1). Is b < s?
False
Let u = 225 + -215.7. Let l = -9 + u. Which is bigger: l or 2/9?
l
Let h be (2/(-24))/(3/(-12)). Let f = -8 + 7.7. Which is smaller: f or h?
f
Let n be (-75)/(-21) + (-6)/2. Which is smaller: n or -2/3?
-2/3
Let o(j) = -j**3 - 8*j**2 - 6*j + 7. Let i be o(-7). Suppose i = 3*q - 2*q + 4*l + 10, 2*l + 6 = 0. Suppose q*g + 2 + 0 = 0. Is g equal to -1/2?
False
Let m = -15 - -10. Suppose 2*p - 2*x = -6, -2*x - 23 - 7 = 4*p. Which is bigger: p or m?
m
Suppose j + 5*u + 26 = 245, 4*j + 5*u - 801 = 0. Let p = j - 286. Let c = 921/10 + p. Which is greater: 1 or c?
1
Let r(c) = c**3 + 7*c**2 + c + 9. Let q be r(-7). Which is greater: q or 8/5?
q
Suppose -20*n + 18*n + 2 = 0. Which is greater: n or 8/15?
n
Suppose -5*d + 25 = 5. Suppose -d*v = -5*v. Is 1/5 at most as big as v?
False
Le