*3 - 40*i**2 + 75*i + 62. Let c be w(38). Let s = -1.8 + 1.4. Is c less than s?
False
Let y be 0 - 2 - 6/(-10). Let j = -203 + 203. Suppose j*i - 7*i = 5*i. Which is smaller: y or i?
y
Let p = 831 - 33177/40. Let c = p + -303/200. Suppose 0 = -0*s - s + 1. Is c >= s?
False
Suppose 5*u = -3*d - 2699 + 1591, 0 = 2*d + 4*u + 738. Let s(y) = -2*y**2 + 15*y + 8. Let p be s(18). Is d bigger than p?
False
Let l(f) = -4*f + 18. Let m be l(14). Suppose 29 = -z + 5*k, -16*z - 2*k - 121 = -13*z. Which is bigger: m or z?
m
Let t be 11003284/13756680 + (-4)/5. Is 1 at least as big as t?
True
Let u be -1 - (-5)/7 - 0. Let w(c) = c**3 - 3*c**2 + 3*c - 8. Suppose p - x = 8, 2*x + 9 = -4*p + 11. Let m be w(p). Is m not equal to u?
True
Let j = 0 + -2. Suppose -48 + 93 = -5*l. Let x be 2/l + ((-608)/504 - -1). Is x at least j?
True
Let s = -409.7 - -369.7. Which is smaller: 157 or s?
s
Let r = 364 - 252. Let s = 114 - r. Is 12 >= s?
True
Let k(z) = -z - 9. Let l be k(-9). Let s be (0 - (-4 - l)) + -10. Suppose 40 = -5*i - 0. Do i and s have different values?
True
Let v(x) = 12 - 19*x**2 + 6 + x**3 + 0*x**3 + 17*x. Let b(q) = 5*q**2 - 23*q + 42. Let p be b(3). Let a be v(p). Do a and 1 have different values?
True
Let n(z) = 2*z**2 - 5*z + 3. Let c be n(4). Let d = -5943 + 5961. Is c smaller than d?
True
Let d be 1/2*-2 + (-60504)/(-128). Let u = 472 - d. Let m = u + -57/80. Is m not equal to -5/12?
True
Let y(q) = 2*q**2 + 6*q - 8. Let l be y(-7). Suppose -22*u + 28*u = 0. Suppose u*a - 2*o = 4*a - 204, 3*a = 3*o + 135. Is a bigger than l?
True
Let i(l) = 3*l**2 - 5*l + 1. Let f be i(2). Suppose f*x - 53 - 16 = 0. Suppose 2*q = -x - 27. Is -27 at most q?
True
Suppose 54*a = 840 - 192. Suppose 5*n + 2*q = -44, -a*q - 28 = 4*n - 8*q. Is n at most as big as 4?
True
Let x(j) = -4*j - 72. Let q be x(-17). Suppose -4*t - 2 = -5*t. Suppose -y = -4*r - 14, -4 + 18 = -4*y + t*r. Which is bigger: q or y?
q
Suppose -13 = 8*j - 5. Let p be j/2*20/165. Let k be 18/99 + (-2)/11. Is p bigger than k?
False
Suppose 4*k - 7*j = -1 - 24, 2*j - 6 = 0. Is -4/209 not equal to k?
True
Let j(f) = f**3 - 17*f**2 + 4*f + 4. Let s be j(16). Let l = -189 - s. Which is bigger: l or -1/22?
-1/22
Let z = -21.79 + -5.11. Let n = z - -27. Which is bigger: n or -62?
n
Suppose -750 = -8*c - 2*c. Let j = -66 + c. Let n be j/(-2)*(-2)/(-60). Is n at most -1?
False
Let i = 14 - 2. Let u(y) be the first derivative of 20*y**2 - 475*y + 38. Let n be u(12). Is n at most i?
True
Let r = -0.1 - 3.9. Let l = -9.531 - -54.531. Which is smaller: r or l?
r
Let s be (2 - 2)*(2 - 36/24). Suppose s = 64*p - 55*p + 2106. Is p > -233?
False
Let u be (50 + 0)*((-21)/24 + 1). Suppose 21*m + 23*m = 308. Is m at most u?
False
Let r be 34/289 + (-64)/(-34) + -3. Let o = -18 + 15. Which is smaller: o or r?
o
Suppose 2*k + 2*i = -440, 683 - 453 = -k - 3*i. Which is bigger: k or 8?
8
Suppose 14*w - 149 = -191. Let n be (-36)/(w*5/170). Does n = 408?
True
Let b(y) = -2*y**3 + 44*y**2 + 35*y - 263. Let j be b(22). Is j not equal to 506?
True
Let n(u) = u**3 + 7*u**2 + 6*u + 7. Let r be n(-8). Let f be ((-14)/4)/(4/(-840)*-7). Are r and f nonequal?
False
Let z be 1 - (3885/(-1315))/(-3). Suppose 0 = 4*w + 5*d - 24, 3*w + 5*d + 1 = 6*d. Is w less than or equal to z?
False
Let g(u) = -u**3 - 6*u**2 + 6*u - 9. Let h be g(-7). Let f be (-8 + (-3681)/(-459))/(3/h). Which is bigger: -1 or f?
f
Let b = 435.52 + 4077.42. Let u = b + -4404. Let p = u + -109. Is 7 < p?
False
Let w = -11487910/403 + 28506. Is w not equal to 1?
True
Let s = 38.6 - -8. Let r = 10.4 + 34.6. Let l = r - s. Which is greater: l or 1?
1
Let k(a) = a + 5. Let r(m) = -m**3 + 182 + 0*m**3 - 22*m**2 - 186 + 0*m**3 - 21*m. Let s be r(-21). Let t be k(s). Which is smaller: t or -2/39?
-2/39
Let f = 447 + -668. Let j = f - -217. Is j at least -31/6?
True
Let z = -313.1 - -313.2. Let k = -12 - -6. Let j = k + 6.1. Is j greater than or equal to z?
True
Let x be 19 + (-12 - (-528)/(-72)). Is 1473 at least as big as x?
True
Suppose 49 = 5*d + 4. Suppose 2 = h - 0*h. Suppose 2*w - y + d = 0, 2*w - 6 = 6*w + h*y. Which is greater: w or -26/7?
w
Let i be 3 + -17 + 209726/14971. Which is smaller: i or -1?
-1
Let a(c) = -c**2 + 1. Let m be a(-3). Let h be 3626/(-56) + (30/m)/3. Which is bigger: h or -2/5?
-2/5
Let y be 498/144 - (-4)/(-32). Let i = 10 - 4. Let z be (i/(-12))/((-1)/6). Is z at least y?
False
Let x = -0.6 + 2.6. Let g = -9980 - -9995. Is g smaller than x?
False
Let k = -34901 - -32978. Is -1926 not equal to k?
True
Suppose -d + 8*c + 556 = 11*c, 4*d - 2269 = 3*c. Let o = -7348/13 + d. Are -1 and o equal?
False
Suppose -26*x + 22*x = 2*d + 874, x = -d - 429. Is -429 equal to d?
False
Suppose -3*m = 3*s + 1396 + 1364, m - 4*s + 905 = 0. Is 4 <= m?
False
Let n(k) = -k**3 - 5*k**2 - 3*k - 3. Let u be n(-3). Let z(o) = -2*o**2 + 8*o - 41. Let t be z(u). Let p be (-5610)/t + -1 + 2/(-2). Is 10 >= p?
False
Let d be 152/418 + 216/(-352). Is 117 less than or equal to d?
False
Let n = 37 + -37. Suppose 4*h + n*h - 16 = 0, h = j - 1. Suppose 2*a - 3*a + 25 = -5*m, 25 = -2*a - j*m. Is a greater than or equal to 2/3?
False
Let b be (-2 - 50/(-15))*18/4. Let f be (-4)/b + 52/(-12). Let s be 8/(-4) + f/(10/(-4)). Are s and 7 unequal?
True
Suppose -4*l - 84*p + 4 = -79*p, 2*l - 2 = 4*p. Is -3779 bigger than l?
False
Let c(g) = 62*g**2. Let d(q) = -q - 21. Let o be d(-19). Let u be c(o). Let w be ((-1)/(-2))/(1/u*4). Is w <= 31?
True
Let n be 0 + -1 - (-4056)/270. Let x = 164/9 - n. Let q = 58/15 - x. Which is smaller: q or 1.8?
q
Let d = 103.0574 - 0.0574. Let n = 102 - d. Which is smaller: -0.1 or n?
n
Suppose -2*z - r + 365 = -3*z, 0 = -3*z + 4*r - 1098. Let v = 152 + z. Which is greater: v or -211?
v
Let k be 704/(-72) - ((-4)/(-18) - 0). Let a(d) = -d**3 + 35*d**2 - 156*d + 183. Let b be a(30). Is k not equal to b?
True
Suppose 3*b + 103*b - 7686 = -20*b. Is b >= 38?
True
Let u = 8403 + -8340. Let x(b) = -b**2 - 2*b + 4. Let t be x(-3). Is u at least t?
True
Let d = -117 + 91. Let z = -27 - d. Let k be (2/(-13))/(z + (-1 - -1)). Which is greater: k or 1?
1
Suppose -2*a - 11 = 3. Let k = 126 - 76. Let t = 47 - k. Which is smaller: t or a?
a
Suppose -24*t + 23*t = 4*p + 112, -p + 269 = -2*t. Is -114 at most t?
False
Let x(y) be the second derivative of 0 + 6*y**2 - 1/6*y**3 + 11*y. Let v be x(9). Is v at least 3?
True
Let b = -1731.1 - -1542.1. Which is bigger: 0.5 or b?
0.5
Let q = -14 - -12. Let c = 10.3 - 7.26. Let z = c + -3. Is z > q?
True
Suppose 3*j = -3*y + 7*j, -3*y - 3 = -5*j. Suppose 0 = -y*x + 4*u + u - 56, -3*x + 3*u = 42. Let v(o) = 5*o + 57. Let z be v(x). Which is bigger: z or -14?
z
Let q = -2535 - -2535. Which is greater: -2/1101 or q?
q
Let g = 6309 - 6355. Which is greater: -34 or g?
-34
Let l be -11 + (-4971)/15 - 5/1. Is -347 < l?
False
Let s(t) = -6*t**2 - 6*t - 16. Let a(c) = 6*c + 37. Let m be a(-7). Let g be s(m). Are -136 and g unequal?
False
Let w = -5442 + 5443. Which is bigger: -1/2297 or w?
w
Let m be -2 + (-3)/((-150)/104). Let i(w) be the second derivative of -w**4/2 - 37*w**3/6 - 7*w**2/2 + 62*w. Let u be i(-6). Is u less than or equal to m?
True
Let t be (-1)/(0 - 2/(-190)). Let q = 13468 - 13563. Is t smaller than q?
False
Suppose 9*o + 1 = -26. Let t = -1/604 + -16301/4228. Which is smaller: o or t?
t
Suppose 3*g - 24 = -3*f + 6*g, 2*f + 3*g = -4. Suppose -4*x - p - 308 = 0, f*x + p - 5*p + 328 = 0. Is x smaller than -1?
True
Let b = -6842 + 6070. Is b not equal to -774?
True
Let m be (-14 - (-6645)/555) + -1 + 3. Let w(t) = t**3 - 7*t**2 + 7*t + 4. Let o be w(6). Let i = -9 + o. Which is smaller: m or i?
m
Suppose o = -4*g - o + 20, 3*g - 10 = -4*o. Suppose 2*a - 273 = 1357. Let r = a - 806. Is r != g?
True
Let s = -551.742 + 552.3. Is 3 < s?
False
Let s(j) = -14*j + 13 - 4 + 3 + 43. Let y be s(4). Do 6 and y have the same value?
False
Suppose -3*s + 4 = 7. Let q be (s + -1)/(-2 + 468/231). Are q and -79 non-equal?
True
Let a = -109 - -123. Let h = -35 + a. Which is greater: -64/3 or h?
h
Let f be (5/2)/(51/(-102)). Let b be (-3)/f + (-33970)/(-50). Are b and 680 unequal?
False
Suppose 4*n = -4*o + 2 - 10, 0 = 5*o - 2*n - 11. Let d = 552/1355 - 2/271. Let h = 43/95 - d. Is o greater than h?
True
Suppose -5*s + f + 8 = 0, -3*f + 0*f