) = 2*s - 5. Let a be 3/6 - 7/(-2). Let q be b(a). Is q equal to d?
False
Let q = -1/278 + 1673/1390. Is q at most as big as 2?
True
Let h be -2*(-3)/(-3)*6. Let d = -7 - h. Let w be 3/10 - (-1)/d. Are w and 0 equal?
False
Suppose -2*o + 2*s - 6 = 0, 0 = -3*o + 4*s + s - 19. Suppose -a + 9 = -n + 23, -5*n = -o*a - 31. Which is bigger: 1 or a?
1
Let u be 69/(-90) - (-2)/3. Let c = -212 + 211. Is c less than or equal to u?
True
Let w(v) = v**3 + 7*v**2 + 5*v - 6. Let r be w(-6). Let t be r - -4 - (3 + -2). Which is smaller: t or 2?
2
Suppose m = -m + 8. Suppose -5*a = -4*j + 11, m*j = 3*a + 5 + 8. Does 1 = a?
True
Suppose -k + 5*a + 10 = 0, -k - 5*a - 5 - 5 = 0. Which is bigger: k or 7?
7
Let c be (-288)/8 + (-1 - 0). Which is bigger: c or -36?
-36
Let k be (0 + -2)*(-5)/2. Let x = -733/3 + 249. Is k smaller than x?
False
Let q = -2.7 + 2.72. Is q not equal to -0.1?
True
Suppose -o = -6*o. Let v(g) = -1 - g + 2*g - 1. Let z be v(1). Which is smaller: z or o?
z
Let w be 5/(-10) - (-3)/6. Let c = 219/11 + -20. Which is bigger: w or c?
w
Let p be (-6)/(-15) + (-8)/20. Which is bigger: p or 2/5?
2/5
Let m = -0.28 - 14.72. Let t = 14.9 + -15. Is m not equal to t?
True
Let s = 1 - 0. Let y = 1.5 + -1.7. Let x = y - 0.2. Which is greater: x or s?
s
Let x be (-3)/(49/56 + (-2)/16). Which is bigger: x or 0.01?
0.01
Let n(t) = 3*t**2 + 6*t + 2. Let r be n(-4). Let g = r + -49. Which is smaller: g or 1?
g
Suppose 5*g - 1 = b - 11, 8 = b - 4*g. Is 6/17 <= b?
False
Let z = -3 + -1. Let x = 5 + z. Is 1 equal to x?
True
Let d be 3/1 + (-99)/6. Let p = -14 - d. Is p not equal to -0.1?
True
Let j = -601/3376 + -2/211. Is -1 < j?
True
Suppose 11 = c - 8. Suppose 3*i - 8 = i - w, 3*i + 5*w = c. Which is bigger: i or 2?
i
Let l = -7 - -6. Let d be (l - (0 + -1))/(-1). Which is greater: d or 3/4?
3/4
Let f = 8 + -13. Let s = f + 2. Let c(j) = -j + 3. Let o be c(5). Is o at least as big as s?
True
Let h = -19 - -19. Which is smaller: -9/8 or h?
-9/8
Let r be 4/6 + 2/(-30). Suppose -4*x + b + 3 = 0, 2*x + 11 = 5*b - 2*b. Which is smaller: r or x?
r
Let l = 2.7 + 0.3. Let r = -2.5 + l. Let c = -0.3 + r. Is c less than -2/9?
False
Let y = 35 + -25. Is 10 >= y?
True
Let t = -8 + 7. Let z(l) = l**3 + 6*l**2 + l + 5. Let a be z(-6). Is a >= t?
True
Let h = -1 + 1. Let n = h - 3. Suppose -2*p - 1 - 7 = 0. Which is bigger: n or p?
n
Suppose -7 = -3*y + y - u, 2*y = -5*u + 3. Which is smaller: 0.2 or y?
0.2
Let l(a) = a**3 - 6*a**2 + 4*a. Let w be l(5). Let q be 15*(24/9 + -3). Is q less than w?
False
Suppose -3*p - 12 = -57. Is 15 greater than p?
False
Let m = 66 - 56. Are 12 and m nonequal?
True
Let q = -35 + 25. Is q less than or equal to -10?
True
Let f be -256*(-2)/1596 + 4/(-14). Which is smaller: 1 or f?
f
Suppose u + 7 = -0*u - d, 26 = -5*u - 2*d. Let x be 5/6*u/(-5). Which is bigger: x or 2/7?
x
Suppose 3*h = -5*s - 40, -13 = 3*s + 4*h + 22. Which is smaller: s or 0?
s
Let p be ((-5)/(-6))/((-908)/128 + 7). Which is bigger: -10 or p?
p
Let o = 2155 + -10819/5. Let w = -142/15 - o. Is w > -17?
True
Let b be 1*(-8 + 1 + 1). Let t be (-28)/6 - (-2)/b. Let q be (10/4)/t*2. Is -1/5 less than q?
False
Suppose -3*d - 12 = 3. Suppose 3*o - 6*o - 15 = 0. Is d at most as big as o?
True
Let c be 1/(2/(-4)*-1). Let m be 322/77 + -2*(-1)/(-11). Which is bigger: m or c?
m
Let z = -4 - 4. Let x = 9 + z. Which is smaller: 6/11 or x?
6/11
Let a(l) = -l**2 + 2*l - 2. Let i be a(2). Let j be ((-1 - i)/(-1))/14. Is j > 1?
False
Suppose 4*a = -3*b - 0 + 1, 0 = 2*b + 4*a - 2. Is 1/6 greater than b?
True
Let h = 7 + -4. Suppose h = -2*g - g. Is g at least as big as -2?
True
Suppose 13 + 2 = 2*k + c, 3*k - 29 = 5*c. Let d = k - 6. Is 1 not equal to d?
True
Let j = 4 - 5. Let d = j - -6. Suppose b = -k - 4, 0*k + 27 = 2*k - d*b. Is 1/2 < k?
True
Suppose 2*t + 3*f = -65, -2*f = 2*t + 19 + 51. Is -40 < t?
False
Let z = 19 + -27. Let b be (6 - 2) + z/1. Is b less than or equal to -3?
True
Suppose 0 = 2*q - 381 + 5. Let a be 5*(q/(-95) - -2). Which is smaller: a or -1?
-1
Let x = 1 - 1. Suppose x = -3*h + 6. Let f be (-3)/h + (-11)/(-6). Is 0 less than f?
True
Let z be 5/(-20) - (-1994)/24. Let f = 83 - z. Does -0.3 = f?
False
Let q = 19 - 18. Is -5/11 smaller than q?
True
Let d = -1.3 - -0.3. Let x = d + 0.9. Is 0 greater than x?
True
Let p(o) = -o**2 + o - 1. Let v be p(1). Let j = 27 - -58. Let s be 1/4 + j/(-100). Does v = s?
False
Suppose 5*x = -3*w - 25, -2*x + 5*x = 2*w - 15. Let q = -1 - x. Suppose -2*f - q = -0*f. Which is greater: f or 0?
0
Let z be -1 + 1 + (0 - -3). Suppose z + 1 = 4*t. Let c be t*((-6)/(-2))/(-21). Which is bigger: c or 1?
1
Let z = 15317/84 + -1099/6. Let r = z + 4/7. Do 2 and r have different values?
True
Suppose 0 = 2*j - y - 0*y + 65, 5*j - y = -170. Is j bigger than -34?
False
Let x be -2*2/(-60)*-21. Is x greater than 0?
False
Let t(q) = q**3 + 12*q**2 + 11*q - 15. Let g be t(-11). Which is smaller: -14 or g?
g
Let c = -261/70 - -33/10. Is 0 at least as big as c?
True
Let d = -25 + 23. Which is bigger: d or -5/7?
-5/7
Let p = -1 + -2. Let f = -3 + 0. Let g be 3/2*(1 + f). Is g at least as big as p?
True
Let b = -7 + 12. Let c = 6 + -8. Let f be c/b - (-8)/20. Do f and -1/3 have different values?
True
Let d be 21/2*4/(-6) - 0. Which is greater: -45/7 or d?
-45/7
Let x = 23/52 + -261/884. Are x and -1 equal?
False
Suppose b + 3*b = 345536. Let v = b - 37577008/435. Let g = 6/29 - v. Are g and 0 nonequal?
True
Suppose -4*t + 12 = 0, 3 + 3 = -3*g - t. Are -3 and g non-equal?
False
Let v(f) = f**3 - 2*f**2 + 2*f - 2. Let a be v(2). Suppose a*p = p. Suppose 6*l - 2*l = p. Is l >= -1/2?
True
Suppose -c - 2*f + 2 = -28, -3*f = -3*c + 63. Suppose -2*q + q + c = 0. Is 25 greater than or equal to q?
True
Let b(q) = -3*q**2 - q - 2. Let s be b(2). Is -15 equal to s?
False
Let c = -37 + 59. Is 22 at most as big as c?
True
Let j be 2/(-1) + -2 - -2. Let q be 0 + j/(-10) + 0. Let o = 1 + -0.8. Are o and q unequal?
False
Suppose -5 = -i + 5*p, 0 = -2*i - 5*p + 6 + 64. Which is smaller: i or 99/4?
99/4
Suppose -3*o = 2*o + 105. Let u = -191/9 - o. Is -1 smaller than u?
True
Let x = 226 + -4292/19. Which is smaller: 1 or x?
x
Let r be 231/(-140) + -1 + 0 + 3. Which is smaller: r or 1?
r
Let f = 4.08 + -4. Let x(h) = 7*h + 7. Let y be x(-1). Which is greater: y or f?
f
Suppose 23 - 7 = 2*h. Suppose -2*f + l + 3 = h, -5*l + 19 = -4*f. Which is greater: f or 0?
0
Suppose -l - 13 = -2*u, 97 = -5*l + 2*u - 0*u. Is -1 <= l?
False
Let l(a) = 3*a - a**2 + a**2 + 2*a + a**2. Let k be l(-5). Is k less than or equal to 0?
True
Let h be 3 - 4/12*3. Suppose 0 = -2*j - 0*j + 2*z + 14, -j = -3*z - 15. Suppose -j*a = -a - 2. Is h greater than or equal to a?
True
Suppose 17 = 4*a + 5*y, -5*a - 2*y - 3*y = -15. Let w = -7.1 - -8. Let g = w + -2.9. Is g smaller than a?
False
Suppose -q = -3*h, 2*q - 28 = 7*q - h. Let j = 4 + q. Which is greater: -1 or j?
-1
Let q(f) = f**2 - 4*f - 9. Let k be q(7). Let a = -7 + k. Let s = 5 - a. Are s and 0.2 equal?
False
Suppose 2*s - 3 = 15. Suppose s = -d + 4*d. Suppose 3*h = l - 11, -3*h - 3*l + d = -2*h. Which is smaller: h or -2?
h
Suppose o + 8 - 2 = 0. Let m be ((-12)/5)/((-140)/(-350)). Is o smaller than m?
False
Suppose -2*m = -6*m. Suppose -2*w - 6 = w. Let c be ((3 + w)*2)/2. Which is greater: c or m?
c
Suppose 5*v = l + 4, -3 = 2*l - 3*v - 2. Which is bigger: l or 4?
4
Let w(c) = -c**3 + 3*c**2 + 4*c. Let l be w(4). Let r(d) = d + 1. Let q be r(-2). Are q and l unequal?
True
Suppose 3 = 5*y + 13. Let a(l) = l**2 - 3*l - 2. Let c be a(4). Suppose 4*i = 3*i - c. Is i at least y?
True
Let u be ((-20)/6)/((-2)/3). Suppose -3 = -u*s + k, 3 = 3*s - s - k. Is -2/9 less than s?
True
Let m(z) = z**3 + 6*z**2 - 6. Let r be m(-6). Is -5 != r?
True
Let b = -4403/11 + 400. Is -2/11 > b?
True
Let o(v) = -11*v - 4*v**2 + 7 + 3*v + 3*v**2. Let l be o(-9). Which is bigger: -1 or l?
-1
Suppose 0 = 5*w + 5*y - 20, w + 2*w = y - 8. Which is greater: w or 3/28?
3/28
Let u be 1*-1*(0 + 0). Which is bigger: 4/13 or u?
4/13
Let z(y) = 4*y**3 - 4*y**2 - y - 7. Let j(x) = -3*x**3 + 4*x**2 + 2*x + 6. Let l(t) = -3*j(t) - 2*z(t). Let s be l(5). Let w = -1.3 + 0.3. Is w equal to s?
False
Suppose 0 = 6*h - h + 10. Let x be h + (2 - 51/9). Let z = x - -7. Which is greater: z 