 37*q + 186. Let d be b(-7). Are d and 149/2 non-equal?
True
Let p be 6/8 - (-7)/(-4). Let u be ((-69)/920)/((-6)/5). Do p and u have the same value?
False
Let n = 5 + -8. Suppose 3*v - z - 4 = 0, -3*v + 0 = 5*z + 2. Suppose -v = -2*i + 7. Is n > i?
False
Let x(w) = w**3 - 10*w**2 + w - 6. Suppose 2*j - 3*o - 16 = -5*o, -3*j = 2*o - 26. Let a be x(j). Suppose 0 = u - 0*u - 4. Are u and a unequal?
False
Suppose 0 = 4*k - 2*l - 36, 0 = 5*k + l - 21 - 17. Suppose -2*a - 6 + k = 0. Which is smaller: a or -3/10?
-3/10
Suppose 2*o - 15 = 33. Suppose 0*n = n + 5*x + o, 5*n - 4*x = 25. Are n and 0.006 non-equal?
True
Let y be (-5 - 1)*((-927)/81 + 4). Which is greater: 44 or y?
y
Let r = 26311/30 + -877. Which is bigger: -0.1 or r?
r
Let a(b) = -2*b - 9. Let m be a(-9). Suppose 6 = 7*i - m*i. Is 0 <= i?
False
Let n = 15528484/441 + -35212. Let g = 10/49 - n. Let a = -7 - -8. Which is smaller: a or g?
g
Suppose 2*v = 4*b + 34 + 20, 4*v - 132 = -4*b. Which is smaller: 29 or v?
29
Suppose -51 = 4*a - 3. Is 3/5 less than a?
False
Let y be 3/(-6) - (-4)/8. Which is smaller: y or -3/7?
-3/7
Suppose 9*v - 68 = -8*v. Which is greater: 0 or v?
v
Let j(s) = s**3 + 9*s**2 + 7*s - 3. Let r be j(-8). Which is smaller: r or -0.28?
-0.28
Let b = 2 + -2. Let y be (-294)/672 - 2/(-8). Is b at least as big as y?
True
Let t be -1 + 3/26 + 15/15. Suppose 0 = 4*i - 0 - 8. Let u be i/(-4) - (-1)/2. Are t and u equal?
False
Suppose -5*g + 3*i = 19, 2*g + 0 = -2*i + 2. Let h be g/(-20) - (-20)/50. Which is smaller: 2 or h?
h
Let i = 142 - 150. Suppose 2*u - 14 - 12 = 0. Suppose 0 + 17 = -3*a - y, -3*a - u = 2*y. Is a less than i?
False
Let m = 47125/43 + -1096. Let z(q) = q**2 - q + 1. Let c be z(0). Which is bigger: m or c?
c
Suppose -86 + 314 = 4*l. Which is smaller: 56 or l?
56
Let n be (-18)/(-9) - (-1 - 1). Suppose 6 = n*b - 3*b. Is 1/2 less than b?
True
Suppose -32*f - 2*f = -18156. Is 533 less than f?
True
Let c = -145.6 + 169.6. Let m = 0.022 + -20.022. Let k = m + c. Which is smaller: k or -1?
-1
Suppose -2*s = 2*s - 16. Suppose 28 = s*o - 0. Suppose o*p - 12 = -5. Are p and 2 equal?
False
Let l = 10/377 - 1413/67483. Let v(h) = -h**3 - 4*h**2 - h - 1. Let k be v(0). Which is smaller: k or l?
k
Let y be (0 - (3 + -2))*3. Let n be y + 9 + -3 + 0. Suppose 5 = 4*c - n. Is 2 less than or equal to c?
True
Suppose 3*t - 24 = 6. Let k(p) = 5*p**2 + p. Let m be k(1). Let n be (-63)/(-6) - 3/m. Is n greater than t?
False
Let v = 88 - 83. Suppose -5*n = v*r + 40, -27 = 4*r + n + 4*n. Let z(h) = h**2 + 9*h + 6. Let l be z(-6). Is l < r?
False
Let k = -60 + 60. Suppose -2*b - 3*f + 21 = k, -b - 3*b + 5*f + 9 = 0. Which is smaller: -0.1 or b?
-0.1
Let w = -2.2 - 13.8. Let m = -17 - w. Is m less than or equal to -0.73?
True
Let d(t) = -4*t**2 - 25*t - 5. Let l be d(-7). Is -1 at most l?
False
Let u be (-450)/234 - (-2)/(-26). Is u less than 10?
True
Let x = -262 - -275.1. Let w = x + 3.9. Let z = w + -16. Do z and 2/7 have the same value?
False
Suppose 4*d = -d + 45. Let i be ((-9)/45)/(d/(-15)). Is i >= -21?
True
Let w = 252.25 + -252.4. Which is smaller: -8 or w?
-8
Suppose 30*c - 42*c = 84. Does c = -7?
True
Suppose 2*l + 6 = -4, 0 = 2*y - 5*l + 235. Which is smaller: -133 or y?
-133
Let r = 3/572 - -5693/5148. Suppose 3*a = -2*a. Is r < a?
False
Let c(m) = 5*m + 1. Let p = 2 - 3. Let v be c(p). Let i = 771 + -774. Is i greater than v?
True
Let m = -3089 - -3069. Is m > -20?
False
Suppose -4*q + 5 = -3. Let x(p) = 3*p - 2. Let s be x(q). Suppose s*c = c. Is 1/3 greater than c?
True
Let q be (((-2)/(-7))/((-1)/7))/1. Which is smaller: q or -39/25?
q
Suppose 14*q + 280 = 6*q. Which is smaller: q or -24?
q
Let u = -3111/209 + 162/11. Let s be (-2)/(-10) + 190/50 + 51. Suppose -52*n + 3 = -s*n. Is u greater than n?
True
Let j(k) = k**2 + 9*k - 10. Let n be j(-8). Let m = -18 + -1. Is n smaller than m?
False
Let l be 11 - ((-531)/(-27) + -9). Is l bigger than -29?
True
Suppose 7 = 3*d - 2. Suppose -5*n + 3*b - 5 = 0, -5*b = d*n + 2 + 1. Is n greater than or equal to -8/11?
False
Suppose 2*r - 2*o + 4 = 0, -3*o - 4 + 18 = r. Is r <= -232?
False
Let h = -2259 + 9035/4. Is h less than or equal to -565?
False
Let u = 2 + -1.86. Let s = 0.07 + u. Let p = -0.2 + s. Which is greater: -1 or p?
p
Let k = 43 + -46. Let o = k + 3.07. Is o < 0?
False
Suppose 7*q + 80*q = -47*q - 1072. Let r = -6 + 4. Which is greater: q or r?
r
Let v = -5396 - -16037/3. Let z = v + 743/15. Does -2 = z?
False
Suppose 98 = 3*x - o, 3*o + 17 - 2 = 0. Suppose 4*v + x = -5*z, 0*z + z + 26 = -3*v. Let f = 16 - 25. Is v less than f?
False
Let z = 500 + -668. Do z and -170 have different values?
True
Let x = 143 + -145. Which is smaller: x or -6.7?
-6.7
Suppose -z + c + 4*c = -4, -z - 4*c = 5. Let y be (-3)/z - (-99)/(-24). Is -1 >= y?
True
Let b = -49 - -50. Suppose -5 = 2*n + m, 0 = -2*n - 0*m - 5*m - b. Let v be 2/(-1)*(-3)/(-2). Does v = n?
True
Let f be ((-88)/16 - -5)*-164. Which is smaller: f or 163/2?
163/2
Let s(a) = -2*a - 48. Let p be s(-12). Let n = 14 + -12. Let k be (69/9)/(n/(-6)). Is p > k?
False
Suppose 3*h - 663 = -k, -12*h - 2635 = -4*k - 7*h. Let a = k - 23094/35. Which is greater: a or -1?
a
Suppose 0 = -3*v - 491 - 199. Let r = -1614/7 - v. Let q = -2 + 1. Is q not equal to r?
True
Suppose -8666 = 148*w + 214. Which is bigger: -73 or w?
w
Let f = -20.9 - 2.1. Let p = f + 27. Is p at least 0.2?
True
Suppose g + 4 = 3*g + 3*y, 5 = 5*g + 5*y. Let h be (-26)/(-26) + (g/32 - 1). Which is greater: h or 0?
0
Suppose n - 5*h = -16, -3*n + 2*n = -h. Suppose 0 = 5*f - 24 - 6. Which is greater: f or n?
f
Let y = 81.9 - 82. Is -2/1223 != y?
True
Let v = 96 + -81. Let s be (5/3)/(85/v). Is 1 at least s?
True
Suppose 6*u = u - 20, -f + u - 123 = 0. Let p be (-11)/(-22) + f/2. Let w be 2/9 + 68/p. Which is bigger: -2 or w?
w
Let g = 0.08 - -2.92. Let l = g - 3.06. Let o = -47/171 - -1/19. Is l at most as big as o?
False
Let i be (-1)/(-3) - 1/(-3). Let h be 2/(-6)*(-16 - 5). Suppose -4*y - 7 = 5*o, -4*y + 27 = -4*o + h. Are y and i non-equal?
True
Let t = -0.002 + -10.198. Let i = 10 + t. Let y = -0.1 + 0.1. Which is greater: i or y?
y
Let u(q) = 4*q - 21. Suppose -2 + 18 = 2*g. Let o be u(g). Which is bigger: 0 or o?
o
Suppose 0 = s - 4 + 2. Let a be 7/(-9) + s/2. Is a at least 47?
False
Let j = 2.58 + 0.02. Let y = j - 2.5. Let b = -2/237 + 962/1659. Which is greater: y or b?
b
Let l = 46/19 - 119/57. Which is smaller: -1.91 or l?
-1.91
Let d be (-3188)/646 - (312/51 - 6). Is d at most -5?
True
Let k = -5 + 4. Suppose 2*a + 10 = 0, -3*a - 2 = -5*p - 122. Let t be (-15)/p*(-6)/(-20). Which is smaller: t or k?
k
Let h be ((-9)/(-36))/(7 - 8). Let y be (-2)/7 - (-62)/70. Is h <= y?
True
Suppose 6*z - 3*z + 18 = 0. Let k be (-13)/z*(-12)/(-15). Let a = k + -7/5. Which is greater: 0.3 or a?
a
Let v = -0.0171 + 37.0171. Are -0.6 and v non-equal?
True
Let s be (-550)/(-22) + 0 + 2. Is 27 <= s?
True
Let d be -5 + 10 + (-4)/2. Suppose 0 = 3*q + 16 - 1, 2*q + 10 = 4*l. Which is smaller: l or d?
l
Let j(a) = a**3 + 3*a**2 - 6*a + 2. Let z be j(2). Suppose z*s = -s + 44. Suppose -4*g + 6 + 2 = 0. Which is greater: s or g?
s
Let f be ((-52)/(-6))/((-32)/(-36)). Suppose 5*l + 26 = 4*m - 5, 14 = m + 5*l. Is f not equal to m?
True
Let k be ((-7425)/828 + 9)/(-21). Which is smaller: -1 or k?
-1
Suppose 0 = 3*s - 11 - 4. Let o(p) = p**3 - 6*p**2 + 6*p - 4. Let z be o(s). Which is greater: 1/2 or z?
z
Let a = 208 + -209. Which is smaller: a or -8/5?
-8/5
Let c = 38 - 69. Let m = 30 + c. Does 9 = m?
False
Let g(j) = j - 3. Let u be g(9). Is u >= 35/6?
True
Suppose -5*g - 5 = -0. Let t(r) be the first derivative of r**4/4 + 10*r**3/3 + 5*r**2 + 6*r - 31. Let f be t(-9). Is f at least g?
False
Let p be (8/8256*-1)/(2/(-6)). Which is bigger: 1 or p?
1
Let m = 525 - 530. Is m at most as big as -35?
False
Let t(k) = k**2 + 6*k + 13. Let u be t(-6). Is 43 less than or equal to u?
False
Let j = 9 + 27. Suppose 0 = -2*l + h - j, -3*h + 0 = -6. Are -15 and l non-equal?
True
Let a = -0.788 + 1.934. Let f = a + -0.046. Which is smaller: f or -2/7?
-2/7
Let o(q) = -q**2 - 97*q - 378. Let b be o(-4). Let y be ((-12)/(-3))/(0 - 1). Which is smaller: y or b?
b
Let d be -4 + (-22)/8 + (-3)/12. Suppose 32 = t - 5*z, 5*t - 2*t - 62 = -2*z. S