2*w, -13*i = -17*i - w + 50. Suppose -i*d + 106 + 38 = 0. Let m(h) = 2*h + 1. Let x be m(6). Is x != d?
True
Let l(a) = -4*a - 1068 + 1068 + 6*a. Let c be l(-5). Which is smaller: -11 or c?
-11
Let t = -84 - -154. Let i = 138 - 318. Let c = 181 + i. Do c and t have the same value?
False
Let z = -926 - -924. Let v be z/(0 - (-3 - 544/(-172))). Let x be 1/(-2) - 81/(-6). Which is smaller: x or v?
v
Let y be 189/42*56/3717. Is 4/3 smaller than y?
False
Let i(a) = a**3 + 3. Let f be i(0). Suppose -21 = 23*x - 30*x. Suppose 0*c = -5*o + 4*c, -c = -x*o + 7. Which is smaller: o or f?
f
Let u be 2 - 3 - 1 - (-26 - -565). Let r = -401 - u. Which is smaller: 138 or r?
138
Suppose -337*t - 33 = -304*t. Which is smaller: -63/85 or t?
t
Suppose 0 = -31*a + 4*a - a + 1288. Let m(o) = -o**2 + o + 47. Let p be m(0). Let l be 3*p/9*3. Are l and a nonequal?
True
Let k be 30/(-55) + ((-10)/(-3))/(176/(-24)). Is k >= -31/601?
False
Suppose 3*p - 4035 = -4*x, 0 = -342*x + 347*x - p - 5039. Which is smaller: x or 1007?
1007
Let p = -78 + -260. Which is smaller: -340 or p?
-340
Let s = -1158 - -1667. Let a = s + -19343/38. Let d = 7 + -8. Which is greater: d or a?
a
Let m be 2*1*(7 - -5). Suppose 2728*z = 2762*z - 136. Does m = z?
False
Suppose 19*h = 23*h + 16. Let m be 3/h*20/(-2085)*-2. Which is greater: 0 or m?
0
Suppose -20*o - 90919 = -11539. Which is greater: 2/3 or o?
2/3
Let t = -7/22 - -40/143. Let u(f) = f**2 + 8*f - 9. Let s be u(-9). Suppose 2*c = 3*o + 3, 0 = -c - s*o - 2*o - 2. Are c and t non-equal?
True
Let q be 1/3*33/(-22). Let g(a) = 14*a**3 - 2*a**2 + 5*a - 7. Let d be g(2). Let c = 105 - d. Are q and c unequal?
True
Let g = -165.8 - -27.8. Let h = -137 - g. Which is bigger: 37.4 or h?
37.4
Let v = -1 + 3. Let i be (-819)/(-14)*v/3. Let u = -4636 + 4675. Is i less than or equal to u?
True
Let p(o) be the first derivative of o**3/3 + 5*o**2 + 13*o + 7. Let c be p(-10). Let l be ((-6)/(-3) + 13)*16/24. Which is smaller: c or l?
l
Let z be -9 + 6 - 12*14/(-63). Is z bigger than 6/337?
False
Let m be -9*((-11559)/11 - 14/77). Is 9459 != m?
False
Let v = -0.4 - -0.5. Suppose 4*z + 16 = 2*i, 12*z + 5*i + 26 = 11*z. Let f be 77/132*(-16)/z. Which is smaller: v or f?
v
Let s = -24454 - -24902. Is 0.2 < s?
True
Let p be 1*-2 - (-20)/13. Let s = 705 - 62. Let h = s - 1927/3. Does p = h?
False
Let c(n) = -n - 4. Let r be c(-9). Let t(f) = 20*f**2 + r*f**3 - f**3 - 16*f - 5*f**2 - 3*f**3. Let w be t(-16). Which is greater: w or 6/61?
6/61
Suppose 2*l = z - 0*l, -4*l = z - 6. Suppose -3*y - 4*c = y - 12, 0 = -z*y + 5*c + 27. Let b = 2 - y. Which is greater: b or -27/7?
-27/7
Let g = -17253 + 17253. Is g at most as big as -5/404?
False
Suppose 1199 - 4964 = -54*z + 2283. Suppose -2*x + 2*r + 34 = 152, -r + 5 = 0. Let s be z/x - -6 - (0 + 4). Which is smaller: s or -0.1?
-0.1
Let p = 1995 + -1996. Is -1341 at most as big as p?
True
Let v = -15601 - 13146. Is -28747 bigger than v?
False
Suppose 4*v - 26 - 166 = 0. Suppose 3*n = -2*d + d + 24, -3*d + v = 3*n. Let s be d/5 + 6/(-15) - -7. Does s = 3?
False
Suppose -2*d - 4*z = 12, -4*z - 1 = -3*d - 9. Let u = 656 + -1982/3. Which is smaller: d or u?
u
Let b = -1719 + 1718.813. Which is smaller: b or -7?
-7
Suppose -5*k - 3*j = 35 - 12, 20 = -2*k - 3*j. Which is bigger: k or 2/16449?
2/16449
Suppose k - 186 = -38. Suppose -10264 - 1103 = -190*p + 16943. Which is bigger: p or k?
p
Suppose -137*o + 136*o = -16. Suppose o = -45*p + 49*p. Which is greater: 5/2 or p?
p
Suppose -163 = -5*o - 4*v, 0 = -o + 3*v + 32 + 12. Let c = o - 61. Is -5 bigger than c?
True
Let f = 47 - 40. Suppose 4*a = 4*k + 36, k - f = -3*a - 0. Suppose 0 = 6*u - a*u + 14. Which is bigger: u or -9?
u
Let z(a) = 6*a**2 + 1. Let l be z(-1). Let n be (l/((-14)/(-8)))/(-1). Let o be (-3)/((-36)/(-70)) - (-18)/36. Is n greater than or equal to o?
True
Let a(c) = c + 7. Let b be a(-5). Let h be (18/30)/(8/120). Suppose -b*k - h = -1. Is k > -3?
False
Let b = -5866/51 + 115. Let q(m) = 3*m - 37. Let r = 107 + -95. Let o be q(r). Are o and b unequal?
True
Let m be (4 - 4)*(-3)/(-9). Suppose m = -6*u + 13*u. Which is bigger: -2/69 or u?
u
Let y = 206 + -206. Suppose y = -2*z - 3*i - 129 - 174, -i + 299 = -2*z. Is z <= -150?
True
Let f = -10 + 20. Let n be (-12)/90*-3 - (-2286)/f. Let y = n + -4354/19. Which is greater: -1 or y?
y
Let a be ((-480)/60)/(1 - 3/1). Suppose 2*m = -a*s - 122, -5*s = 7*m - 12*m - 260. Does m = -54?
False
Suppose 0 = 2*g - 6*g + 24. Suppose 5*i = m + g*i + 20, -3*m + i = 44. Let l be 6/216*m/(-9). Which is smaller: 1 or l?
l
Let v = -4334.5 + 4335. Which is smaller: v or -5/24?
-5/24
Let v(p) = -3*p - 9 - 56*p**3 + 6*p + 57*p**3. Let w be v(-3). Is w greater than or equal to -47?
True
Suppose -1102*v = -1100*v + 56. Let g be 0/((-23)/7 - v/98). Suppose 3 = 5*o + 2*k + 21, -3*o = 5*k + 26. Which is smaller: o or g?
o
Suppose 3*r = -5*z + 27, -11 = -z - 5*r + 3*r. Suppose z*y = -4*f + 29, -f - f - 3*y = -19. Is -1 <= f?
True
Let p = 1.297 + 9.703. Which is greater: p or -5.6?
p
Let j(n) = -53*n**3 + 4*n**2 - 4*n + 8. Let b be j(-4). Suppose -25*r = -r - b. Which is smaller: -1 or r?
-1
Let q(g) = 2*g**2 - 27*g + 38. Let p be q(12). Let o = 4/915 + 18248/11895. Is p at most o?
False
Let n be 4/(-10) + (-11627)/(-55) + 3. Suppose 0*d - 2*t - n = 4*d, -5*d - 254 = -2*t. Is -53 at most as big as d?
True
Let b = 0.569 + -8.744. Let i = b + 0.175. Are i and -1 nonequal?
True
Let l(b) = 417*b + 829. Let z be l(-2). Is 164 at least z?
True
Let d(c) = 3*c**2 + 73*c + 388. Let j be d(28). Is j greater than 4786?
False
Let x = -14.058 - -0.058. Let v = 19 + x. Let o = v + -5.6. Are 0.03 and o nonequal?
True
Let t = -1805 - -608284/337. Which is greater: t or -1?
t
Let n(c) = -c**2 - 17*c - 53. Let z be n(-13). Let a be (42/70)/((-8)/10). Which is smaller: a or z?
z
Let f = 38/15 + -1097/435. Let u(h) = -h**3 + 5*h**2 - 3*h - 5. Suppose 0 = -2*j + 3*i + 17, -3*j = 2*j - 3*i - 29. Let g be u(j). Are g and f equal?
False
Let d = -131924/7 - -18846. Does -2823 = d?
False
Let u be (4/(-6))/(9*6/81). Let m be -17 + 4 + 11 + (u - -2). Let g = 14152/27 - 524. Is g >= m?
True
Let y = -0.14 + -0.04. Let c = -383.0579 + 0.0579. Let x = 383.1 + c. Which is greater: y or x?
x
Suppose -5*u + 15 = 0, -d - 2 = -5*u + 10. Let m be (2 + (d - 6))*(7 + -6). Which is smaller: m or 2/93?
m
Let g(v) be the second derivative of -v**5/20 + v**4/6 + 4*v**3/3 - 7*v**2 - 50*v. Let t be g(7). Is t less than -203?
False
Let u = 2555 - 1621. Let i = u - 962. Which is bigger: i or -9?
-9
Let g be (-4)/((-61407)/(-8775) + -7). Is 1950 less than or equal to g?
True
Let y = 38975/96 + -406. Let h be 16/40 - 1641/15. Let f = 109 + h. Is f less than y?
False
Let n = 1969 + -25471/13. Does 11 = n?
False
Let v(t) = -13*t**2 - 636*t + 48. Let w be v(-49). Which is smaller: w or 1103.2?
w
Let a(u) = u**2 - 13*u + 13. Let f be a(10). Let d = -100 + 42. Let i = 40 + d. Is i at least as big as f?
False
Suppose -10 = -3*u - 4*a + 3, -u + 3*a = 0. Suppose -3*n - 14 = -5*z - 0*z, 3*z + u = -2*n. Is 3/19 <= z?
True
Let b = -0.384 - 171.616. Let f = 172 + b. Is -4/11 > f?
False
Let m = 165.79 + 4.21. Let a = m + -170.09. Which is smaller: -6 or a?
-6
Let z = -967701/13 - -74487. Let m = -1164885589/18850845 - -1/483355. Let d = m + z. Is d != -12?
True
Let r = -225 + 251. Is 0.05 not equal to r?
True
Suppose 68*k + 2*m + 112 = 73*k, 5*k - 4*m - 104 = 0. Let u be (27/6)/(1/2). Which is bigger: k or u?
k
Let s be (-30)/((-2)/8 + 35476/336). Is s at most 1?
True
Let r be (-154)/632 - (-1)/4. Suppose 3429*t = 3476*t. Is r less than t?
False
Let c(x) = -150*x + 857. Let s be c(16). Is s bigger than -1543?
False
Suppose 4*s - 1 = -y, 0 = 2*y + 16*s - 11*s + 10. Are -7 and y nonequal?
True
Let h = 0.5753 + -0.1845. Is h equal to -1?
False
Suppose 2*j + 78 = 5*v, 3*v - v - 34 = -2*j. Let y(c) = c + 12. Let u be y(-14). Let x be (4/v)/(6 + u). Which is smaller: x or -1?
-1
Let p = 40245 - 40245.1. Which is smaller: p or -26261?
-26261
Let x be ((-2115)/(-94))/(3/(-4)). Let f be (-3)/x*2*-5. Which is greater: f or 3/67?
3/67
Let i = -489 - -259. Do 6 and i have different values?
True
Let y be 226 + -4 - ((-4)/1 - -9). Suppose 4*p - 878 = -2*v, 0*p - 3*v - 427 = -2*p. Is y not equal to p?
True
Le