aller: q or f?
f
Let f(w) = w**3 - 7*w**2 + 6*w - 3. Let a be f(6). Let u be 2/(-4)*(-61 - (4 + a)). Suppose -h - 8*c + u = -11*c, -h + 43 = c. Which is smaller: 41 or h?
h
Let m(w) = -w**3 - 28*w**2 + 93*w - 1. Let j be m(-31). Which is bigger: 4/279 or j?
4/279
Suppose 0*s - 12 = -4*s. Suppose -21 = s*y + i, -2*y + 4*i + 17 - 45 = 0. Let d(c) = -2*c - 22. Let w be d(y). Is w greater than or equal to -25/4?
True
Let u be (-1)/6*(-9)/(-6). Suppose 0 = 5*r + 2*f - 42, 32 = -6*r + 8*r - 3*f. Let i be ((-16)/(-140))/((-4)/r). Is u < i?
False
Suppose -s + 4 = -0*s. Suppose 3*z - 4*z = 4*r + 1, 5*r + 4 = -s*z. Let w = 28 - r. Which is bigger: 27 or w?
w
Let j be ((-8)/(-14))/(24/2100). Which is bigger: 1011/20 or j?
1011/20
Let n = -558 + 621. Which is greater: n or 7?
n
Let q = 103 + -199. Let c = q + 95.9. Are -67 and c non-equal?
True
Suppose p + 5 = 2*j, 4*p - 1 + 0 = j. Let u = -461/10455 + 1/205. Which is smaller: p or u?
u
Suppose 4*d - 22 = 10. Let a be (2/(-5))/(13/((-130)/d)). Does 0 = a?
False
Let b = 118102931/3492 - 33821. Which is smaller: -1 or b?
-1
Let x be (4 - 29/30) + (15 - 87/6). Which is greater: x or 8?
8
Let w be (-419)/28 - 112/(-7). Is w greater than -1?
True
Suppose 39 = 2*s + t, 4*s - 5*t = 13 + 86. Let q(i) = -s + 54 - i**2 - 27 - 10*i. Let v be q(-6). Which is smaller: 29 or v?
29
Let i = 27861 - 35263. Is -7402 equal to i?
True
Let f be (-3 - 3/(-1)) + 2/4. Let c(s) be the second derivative of s**4/12 - 5*s**3/3 + 5*s**2 - 4*s. Let z be c(9). Is z greater than or equal to f?
True
Suppose 0 = -4*w - 30 - 78. Let k = 32 + w. Suppose -4*r - s - 9 = -36, 35 = 5*r + s. Is r bigger than k?
True
Let j = -1.199 - -1.11. Let r = 16.089 + j. Which is bigger: -0.9 or r?
r
Let j be (-6)/(-14) - (-261544)/(-840). Let z = j + 311. Which is greater: z or 0?
z
Let q(p) = p**3 + 3*p**2 - p + 3. Let y(j) = j**2 - 4*j - 8. Let n be y(5). Let s be q(n). Suppose 0 = -s*f + 4*f - 16. Which is smaller: f or -6?
f
Suppose -4*y - 4*f + 8 = 0, -3*y + 0*f + 5*f = 2. Is -1/4610 at least y?
False
Let x be 8*1*306/24. Let c be (-1)/((-7)/(-21)) - x/(-26). Let y be -1*(3 + -4) + -1. Which is smaller: c or y?
y
Let g(m) = 2*m**3 - 3*m**2 - 3*m - 3. Let p be g(3). Let w be 101*10/(-325) + 12/p. Is -2 not equal to w?
True
Let p be 16/80 + (-1056)/(-20) + 1 + 1. Are 0.006 and p equal?
False
Let w(r) = r**3 - 9*r**2 + 15*r - 1. Let x be w(7). Let h be x/(-14) + (-11 - -15). Is 5 < h?
False
Suppose 7*t = -t + t. Suppose t = 8*c - 3*c - 5. Let y be c/(14/4) + 75/(-42). Are y and 5 unequal?
True
Suppose 4*k + 2119 = -5*h, -114 = -2*k + 3*h - 1157. Which is greater: k or -530?
k
Suppose 355 - 385 = -6*k. Suppose k*c = -4*x + c - 12, -x - 9 = 3*c. Which is greater: 1/384 or x?
1/384
Let o(w) = -w - 26. Let s be o(-26). Suppose s = 9*x - 7*x - 2, 2*y = -3*x + 197. Is y smaller than 0.2?
False
Suppose w + 2*b + 12 = 0, 5*w - 639*b = -641*b - 28. Which is smaller: w or -144/35?
-144/35
Let z = 12.49 - 12.39. Is 1714 greater than z?
True
Let i be (31 - 1/1)*(-210)/525. Is 63 greater than i?
True
Let v = -205.47 - 0.53. Is -1 smaller than v?
False
Let o = -1260913/11 + 114520. Which is bigger: 0 or o?
0
Let a = -34588 + 35102. Does a = 536?
False
Let t = 1.373 - 0.113. Let d = t - 1.36. Which is bigger: d or -255?
d
Let m(j) = 4*j**3 + 26*j**2 + 2*j - 6. Let c be m(-6). Let r be c/(-60) + (-2)/(-5). Is r >= -40?
True
Let q = 8.66 + -7.2. Let f = -2.86 + q. Which is bigger: 0.2 or f?
0.2
Let w = 4977 + -8045. Which is smaller: -3067 or w?
w
Let r be -7*(-36)/672 - 1*1238/144. Does r = 5?
False
Let g = 233 - 250.9. Let x = g - -15.9. Which is greater: 0.12 or x?
0.12
Let k(o) = 9*o - 329. Let l be k(46). Is l >= 82?
True
Let s = -34/9 - -197/45. Suppose 0 = 59*q - 67*q - 80. Is q equal to s?
False
Let q = 15189 - 26267. Which is smaller: q or -11079?
-11079
Suppose 0 = -0*d + 4*d - 20. Suppose 2*r + r = -2*q - 6, -5*r = d*q + 10. Let k = -225608/57 + 3958. Is q at most k?
False
Let t(y) = 167*y - 1771. Let w be t(21). Is 1736 greater than or equal to w?
True
Let h be -3*(-8)/(-4)*4755/(-135). Which is greater: h or 0.1?
h
Let g(h) = h**3 - 35*h**2 + 86*h + 28. Let y be g(32). Is -284 != y?
True
Suppose -5*u - q + 93 = 0, 2*u - 5*q - 3 = u. Suppose 3*v - 12*v = u. Is -25/8 less than v?
True
Let w(v) = 2*v - 33. Let k be w(15). Let p(h) = -4*h - 8. Let z be p(k). Suppose -2*c - 3*f = -z*f - 25, -5*c - f + 73 = 0. Which is greater: 13 or c?
c
Suppose 423*p - 468*p = 0. Is p <= 2/15603?
True
Suppose -k - 3*k = -136. Suppose -177*h - 12 = -179*h. Let i(f) = 3*f**2 - 16*f + 22. Let q be i(h). Are q and k equal?
True
Suppose 0 = 3*u - 18, 17*m - 14*m + 3*u = 939. Which is smaller: 4/11 or m?
4/11
Suppose -8*n + 5*n - 4224 = -3*i, -2*n - 2*i - 2852 = 0. Is 3 greater than n?
True
Suppose 0 = c - 3*g - 20, 26*c = 29*c + 2*g - 5. Is c != 1058?
True
Let n = -10340039/866 - -11940. Let z be (-27)/(-12) - (-225)/(-180). Are z and n equal?
False
Let x(f) = 62*f - 95. Let d be x(-6). Let b = -471 - d. Let s(a) = -a**2 - a + 5. Let n be s(-4). Which is greater: n or b?
b
Let k(q) = -q**3 - 8*q**2 - 4*q + 3. Let s be k(-7). Let w(h) = -19*h**3 - 123*h**2 + 135*h - 13. Let d be w(1). Is d at most s?
True
Suppose 2 = q, 3*q = 4*v - 2*q + 386. Suppose -2*o + 155 = -5*w, 79*o - 75*o - 4*w - 304 = 0. Let y = v + o. Which is smaller: -20 or y?
-20
Let h be (-63)/182 + 16/(-104). Which is bigger: h or -9.5?
h
Suppose -13*m - 894 = -1011. Which is greater: -112 or m?
m
Let d = 269.2 - 249. Let t = d - 35.1. Let g = t - -15. Which is smaller: -4/11 or g?
-4/11
Let f be (3438/(-1720) - -2)/(21 + 2145/(-104)). Which is greater: 0 or f?
f
Let n be 5/(180/204)*((-2)/(-62) - 0). Which is bigger: 1 or n?
1
Let k = -70 + -142. Let n = k - -68. Let b = -573/4 - n. Is b >= 2?
False
Let m = 19699/264 + -597/8. Let u be (-12)/12 + 4/2. Is u less than m?
False
Let p(m) be the third derivative of -m**6/120 + m**5/5 - m**3/6 - 3*m**2. Let f be p(12). Let j be (3/2)/(54/15). Is j at least f?
True
Let k(y) = 2*y**3 + 2*y**2 - y - 8. Let d be (-4)/(-3)*(2 + 1). Let h be k(d). Suppose -2*w + 6*w - h = 0. Which is greater: w or 35?
w
Let c be 56/24*3 - -16. Suppose 0 = -8*f - c*f - 31. Is 1/21 > f?
True
Let j = 311.4968 - 0.5968. Which is smaller: 0 or j?
0
Let t = -10818.9 - -11301. Are t and 0.2 nonequal?
True
Suppose -4*i = -40 + 32. Suppose 0 = i*v - 3*d - 303, 0*v + 3*d + 735 = 5*v. Let l be ((-2)/6)/((-12)/v). Is -4 at most l?
True
Let v be (-10)/(-4485)*3/(-79). Is v smaller than 1?
True
Suppose 194 + 58 = -7*m. Let n be 2 - (-1 + -2)*m/27. Let y be (27/(-120))/(2/8). Which is bigger: n or y?
y
Suppose -7 = -3*r + 2*o, -2*r = -0*o - 3*o - 8. Let k be r*(-36)/45 - (-1)/(-5). Which is smaller: k or -5/6?
k
Let g be (-2)/21 - 7243/21. Do -1381/4 and g have the same value?
False
Let d = 149.06 - 149. Which is bigger: d or 5/6?
5/6
Let w be (-2 - 3) + (-26 - 79) - 0. Is w equal to -117?
False
Let w = -143 - 649. Let t = w + 818. Which is greater: 13 or t?
t
Let w be (-3932)/(-3796) + -1 + (-5)/65. Let f = 138012 - 30224473/219. Let q = w + f. Do q and -3/5 have different values?
True
Suppose -10*q = 10*q + 154617 - 577. Are q and -7704 nonequal?
True
Let x = 380.4 + 3.6. Let v = x - 383.99. Let w be (4/6)/((-4)/6). Is v at most as big as w?
False
Let u be 0/(-7 + 5 + 0). Does u = -1/385?
False
Let a = -163634187/2512 + 65141. Which is greater: a or 0?
a
Let f be (-396)/(-495)*(6/4 + 1). Let d = 0.11 - 16.11. Let c = d + 28. Is c greater than or equal to f?
True
Let a = -290 + 290.113. Let d = 0.013 - a. Is d greater than -76?
True
Let n be (-228)/19 - (-8)/(-2). Let s be (20/n)/((-5)/40). Suppose 0 = 12*k - s*k - 30. Is k smaller than 5?
False
Let i be (0*(-3)/(-9))/(7 + -8). Suppose c - 2*x = -8, i*x + 3*x = 2*c + 14. Which is bigger: c or -18?
c
Let q(n) = n**3 + 8*n**2 - 20*n + 2. Let a be q(-10). Suppose -57 = -3*k + 3*i, a*i - 16 = -5*k + 65. Is k < 14?
False
Suppose 0 = -3*q - 2*k - 603 + 68, -3*k = q + 190. Let j = 322 + q. Is j != 146?
True
Let z(y) = 23*y**2 - 3*y + 5. Let i be z(4). Let b = 3974/11 - i. Let p = -8 - -9. Is b at least p?
False
Suppose 0 = 5*w + 167 + 98. Suppose -5*m - 316 - 94 = 0. Let y = m - -28. Which is bigger: y or w?
w
Let g = -4630 - -4916. Which is smaller: 31 or g?
31