t a(x) = -x - 6. Let r be a(-6). Let n = -11/21 - -6/7. Are r and n unequal?
True
Let o be (4 + -8)*(-2)/(-20). Let a = -29 - -40. Let y = 15 - a. Which is smaller: o or y?
o
Suppose -3*w = 4*b + 3, 4*w + 4 = 2*b - 4*b. Let x be ((-72)/14)/(-3) - 2. Which is smaller: x or b?
x
Let g be 8 - 1/((-1)/(-2)). Suppose -26 = -5*c + 4. Let u = g - c. Is u <= -1?
False
Suppose 5 = 10*p + 115. Is p less than or equal to -11?
True
Let i(r) = r. Let l(d) = 5*d - 1. Let h(j) = -6*i(j) + l(j). Let n be h(-3). Let o be 1/1 + 3 + -3. Which is greater: o or n?
n
Let p be (-6)/1*4/(-8). Let x be 3/9 + (-22)/p. Is x not equal to -7?
False
Suppose -5*m + 2 = -2*j, 3*m = -0*j - j - 1. Let w be (j/(-2))/((-20)/16). Which is greater: w or -1?
w
Let f = 30 - 17. Let l = 12.8 - f. Which is bigger: -6 or l?
l
Suppose 7*k - 2*k - 25 = 5*o, -3*k + 43 = 4*o. Suppose -4 + k = 5*n. Is n > 2?
False
Let r = -5.009 + -0.031. Let w = r + 5. Let c = 0 - w. Which is bigger: -2/5 or c?
c
Let j(g) = -g**3 + 7*g**2 + 7*g + 10. Let y be j(8). Suppose -4*k = -y*k. Does -1 = k?
False
Let a = -18 - -17. Which is smaller: a or 2/13?
a
Let j be ((-28)/(-11))/2 - -2. Which is smaller: j or 3?
3
Let c be 8/18 + (-4)/18. Let z(t) = -t**2 - 5*t + 3*t**2 + 2*t**2 + t**3. Let o be z(-5). Do c and o have the same value?
False
Suppose -k - 7 - 9 = 5*w, 0 = 2*k + 2*w + 8. Let n be (-62)/(-20) + (-3)/(-4)*-4. Which is greater: k or n?
n
Let g = -52 - -50. Which is smaller: g or 0.3?
g
Let z = -17 + 16. Which is bigger: z or -2/59?
-2/59
Let o be (-20)/(-25) - (-9)/5. Which is greater: o or 4?
4
Let k = -1 - -17. Let l = 10 - k. Are l and -7 non-equal?
True
Let i = -1165/2 + 131649/226. Does i = 0.1?
False
Let s = 0.54 - -0.16. Is s greater than 0?
True
Let i be ((-2)/(-4))/(4/(-8)). Let g = i + 3. Is 3 greater than g?
True
Let d = -2.4 + 2.3. Which is bigger: 9/5 or d?
9/5
Let w = 2 - 1. Suppose 0 = -3*m + 2*n + 5, 5*m - 10 = 8*n - 3*n. Is m not equal to w?
False
Let j = -1 - -2. Let r = 2 - j. Let l be (2/(-15) - -1) + -1. Is r <= l?
False
Let r be ((-2)/5)/(4/(-10)). Is r bigger than 15/11?
False
Let u(g) = g**3 - 17*g**2 + 21*g - 35. Let k be u(16). Which is smaller: 46 or k?
k
Suppose -5*b = -8*b - 9. Let p = -11 - -7. Let m = p - b. Which is greater: -3 or m?
m
Suppose -2*d + 4 = 2*d. Is d smaller than 4?
True
Let u be ((-2 - -1)/(-1))/1. Let z(y) = -4*y**2 + 2*y - 1. Let r be z(u). Let j(o) = o**3 - 7*o**2 - 8*o - 5. Let p be j(8). Which is smaller: r or p?
p
Let q = 13 + -8. Suppose -3*x + 4*x = 5. Suppose -x*y + 0 = -q. Which is bigger: y or 2/3?
y
Let k be (-10)/(-1 + (-1)/(-2)). Suppose -w = 3*w - k. Suppose 0 = w*v - 3*s + 22, 2*v + 5*s - 15 = 1. Do v and -1 have different values?
True
Let f = -126 + 94. Which is smaller: -0.2 or f?
f
Let a be (1 - (-3)/(-6))*0. Let o = a + 2. Let f = o + 6. Are f and 8 nonequal?
False
Suppose -6*g + g + 55 = 3*l, 4*l = -4*g + 60. Suppose 0 = 5*f - 5*d + l, 4*f + f + 2*d = 25. Let w = 6 - f. Is w bigger than 3?
False
Let a = -1.5 - 5.5. Let c = -0.03 - 0.06. Let i = 0.01 - c. Which is bigger: i or a?
i
Suppose 0 = 2*m - 0*m + 2. Let c be (m + 1)*(-2 + 1). Suppose -p - 3 + 5 = c. Which is greater: p or 4/7?
p
Suppose 0 = -a + 3*a - 2. Which is greater: -1/9 or a?
a
Let v = 2 - 0. Suppose -5*n - a + 1 = -2, -v*a + 6 = 0. Suppose -3*x - 4*t = n, 7*x - 3*x = 5*t - 31. Is -2 at least x?
True
Let l be 1/10*25/15. Which is greater: l or 2/3?
2/3
Let g = 40 + -28. Suppose 5*q + 2 = g. Is -2 equal to q?
False
Let c be 10/4*(-80)/(-50). Let y = -2 - -2. Let i = 0 - y. Is i at most c?
True
Let j = -72 + 73. Which is smaller: j or -181?
-181
Suppose 14*n + 120 = -n. Let u = 3 + -11. Is u at most as big as n?
True
Suppose -5*h + 4*s - 1 = 0, s + 2 = 4*h + 5. Which is smaller: -12/13 or h?
h
Suppose 0 = -0*a + 3*a - 4*u - 17, -4*u = 3*a - 1. Let m be a*(4/(-9))/(-2). Do 0.3 and m have the same value?
False
Let q = 0.45 + -0.55. Which is smaller: q or 0.035?
q
Let a be (10*(12/(-4) + 2))/(-2). Which is greater: a or 6?
6
Let p(g) = g**2 - 6*g + 1. Let y be p(6). Let j be (1 - y)/(4/(-4)). Which is greater: 2/17 or j?
2/17
Let a = 0 + 2. Let n be 1*0/3 + a. Suppose 0 = -n*q - 3 + 1. Which is bigger: -2 or q?
q
Let t = 3.2 + -3. Let n = t - 0. Let l = -0.3 + n. Is l < -0.1?
False
Let h = 1/14 - -11/42. Let r = -31 - -31. Is h at least r?
True
Let u(n) = -n - 11. Let o be u(0). Let c = o - -3. Let q be c/(-24) - 1/3. Is q less than or equal to 1?
True
Let u = 3 + 3. Suppose 5*h + 16 - u = 0. Let l be (3 + -4)*(-3 - h). Is 2 at least l?
True
Let h = -1.3 + 2.19. Let t = -0.11 - h. Which is greater: -2 or t?
t
Suppose j = -3*j + 36. Suppose a - 1 = 3*f, -3*a = -a + f - j. Suppose 0 = d + a*d + 5. Which is smaller: d or -2/15?
d
Let w = -1.5 + 1.8. Let d = w + -0.2. Which is smaller: 4 or d?
d
Suppose 5*i = -f - 111, -4*i - 85 + 13 = 5*f. Let w = -25 - i. Let y be 10/(-4) + 1 + 1. Is w at most as big as y?
True
Let f be 2 - (0 + (-3)/(-2)). Let g = -2.4 + 0.4. Let r = g - -1.9. Which is bigger: f or r?
f
Suppose o + 3 = 3*b - 7, -4 = -2*b. Suppose 0 = -g - 5*x - 7, -6 + 1 = 5*x. Are g and o equal?
False
Let s(j) = j**3 - 2*j**2 - 2*j + 1. Let p be s(3). Let w = p - 2. Suppose q - 3 = w*a, 0 = -q - 3*q + 5*a + 6. Which is smaller: 1/4 or q?
q
Let d(r) = -7*r**2 - r - 2. Let y be d(-1). Do y and -1/4 have different values?
True
Let b = -30.2 + 30. Which is greater: -9 or b?
b
Suppose 3*r = -2*r. Suppose 0*m = 5*m. Let k be 2 + (-3 - m)/3. Is k at least r?
True
Let o be (-14)/80*(-10)/(-64). Let u = -13547/768 + o. Let r = 359/21 + u. Which is smaller: r or 0?
r
Let a = 0 - 10. Let y = a + 10.08. Which is smaller: 0 or y?
0
Suppose -2*d = -12 + 4. Let t be d/6 + (-14)/(-6). Suppose -a = 2*f + 3*f + 20, a - 4 = t*f. Which is greater: f or -2?
-2
Let w be 2*1 + (-4 - -2). Suppose 5*q - 5*f - 1 + 6 = w, 2*q = 4*f - 4. Which is smaller: q or 1/2?
q
Suppose -4*o + 16 = -2*o. Let f be -2 - ((-45)/o - -3). Let g = f - 17/40. Is 0 at least g?
False
Let d = 2.2 + 5.9. Let n = d - 8. Is n at most -2/9?
False
Let m = -43/44 - 3/11. Suppose -4*h + 2*h + 4*j = 12, -5*j + 6 = 2*h. Which is smaller: m or h?
h
Suppose 0 = 3*b - 2*v + 15, 5*b - v = -2*v - 25. Let l = b - -2. Suppose u + 19 = -3*m, 2*u = -m - 5 - 8. Is u >= l?
False
Suppose 5*k + 10 - 37 = f, -4*f - 45 = k. Let h be ((-3)/f)/(2/8). Suppose -h = x - 0. Is -2/17 greater than or equal to x?
True
Let n be 1/(-2)*(7 - 8). Let b = -1 + n. Let h = 1 + -1. Which is smaller: b or h?
b
Suppose 0 = 5*g - 11 + 31. Let r(w) = -w**2 - 2*w + 4. Let i be r(g). Let u be (i - -1)*4/12. Is u at least 2/7?
False
Suppose -3 = 5*u - 8. Let w be -1 + 1*(u - 3). Let t(h) = h**3 - 5*h**2 + 4*h - 3. Let i be t(4). Is w at most i?
True
Let n be 2 - 2 - (-2)/(-4). Let o = -2 - 8. Let b = -9 - o. Is n bigger than b?
False
Suppose 5*n = 6*n + 1. Which is greater: 22 or n?
22
Let x = 27 - 18. Let f = 14 - x. Let q be (-3 + 2)*(-1 - 4). Is q greater than f?
False
Suppose 3*t + 2 = 4*t. Suppose t*b + 21 = 5*b. Is 5 at least b?
False
Suppose 0 = 4*g - 3*y + y + 20, -g + 2 = 3*y. Let w = -7 - g. Suppose -2*c - 2*c = 12. Do c and w have the same value?
True
Suppose 0 = -2*g + 2. Suppose 0*s + 12 = 4*s. Suppose -s*d + d = 0. Which is smaller: g or d?
d
Let q(a) = -a + 33. Let y be q(8). Are y and 0 non-equal?
True
Let r be (-2 + 5)/(42/4). Does r = 2.8?
False
Suppose -x - 2*x = 0. Let z = -5 + 5. Suppose 4*l - 4 = -z. Is l greater than x?
True
Let h(v) = -v + 9. Let r be h(9). Is 0 at least as big as r?
True
Let k(r) = -2*r**3 - r**2 - 2*r - 1. Let s be k(-1). Let n be s/40 + 1/(-2). Let p = n + -3/10. Are -1 and p equal?
False
Let o be (3/(-4))/((-8)/128). Let d be 2/(-1)*6/o. Which is smaller: d or -2/9?
d
Suppose 9*f - 5 = 4*f. Suppose -5*z + 475 = 5*m, 6*z - 5*z = 3*m - 301. Let x be 3/1 + (-279)/m. Which is smaller: x or f?
x
Let d be (-3 + -1 - -13)/1. Let h be (125/(-4))/5 + -2. Let f = h + d. Which is smaller: 1 or f?
f
Let u = 3 + -2. Let w be (3/9 - u)/(-2). Is w at most 0?
False
Suppose -t - 3*m = -6, 2*t = -5*m + 2 + 7. Let b = 0 + 8. Let q be (2/b)/((-2)/4). Is t less than or equal to q?
True
Let s = 0.12 - 16.12. Do s and 1 have the same value?
False
Let b(w) = w**3 + 15*w**2 + 15*w + 10. Let m(o) = o**2 + o - 1. Let l(j) = b(j) - 4*m(j). Let v b