f u**5/20 - u**4/2 + u**3/3 - 4*u**2 - 13*u. Let g be q(6). Suppose -4*c = 2*c. Is g at least as big as c?
True
Let r = -711133207/28490 + 124804/5. Is r < 0?
True
Suppose -2*k + 3*r - 2*r = -6, -8 = -5*k - r. Let x(p) = 2*p + 10*p - p**k - 6*p + 2*p + 23. Let l be x(10). Which is greater: l or 5/2?
l
Let i = -170761/12882 + 252/19. Is -1 less than i?
True
Let g be 26/(-32) - (-2)/4. Let z be -12 - (2/1 - (112/28 - -9)). Is z at most as big as g?
True
Let r = -5419 - -5574. Is 1/5 greater than r?
False
Let t(p) = -3*p**3 - 2*p**2 + 11*p - 2. Suppose 9*m + m - 20 = 0. Let g be t(m). Is -6 greater than or equal to g?
True
Let p(a) = a**3 + 37*a**2 + 59 + 29 - 18*a - 45 - 16*a - 3*a. Let i be p(-38). Are i and 1.2 equal?
False
Let d = 36 + 94. Let l be (429/d)/((-18)/(-15)). Which is smaller: l or 3?
l
Let d be (-5)/(100/(-13865)) + (-1)/((-3)/6). Which is smaller: d or 695?
695
Let j be 3/(-4)*(-2400)/3960. Which is bigger: j or -18?
j
Let d = -3992699/439 + 9095. Let b = -1100/16243 + d. Which is smaller: -2 or b?
-2
Suppose -2*h = 18*h + 15*h - 16030. Is 458 < h?
False
Let j = 370 - 362. Let k be ((-72)/10)/(j/20). Are -21 and k non-equal?
True
Let d be (-3)/(-4)*(5 - 9). Let m = 2819/3 - 922. Let i = 16 - m. Which is greater: i or d?
i
Let s(g) = 17*g - 17. Let d be s(18). Do 287 and d have different values?
True
Let t = 10 - 8. Suppose 11 = -t*h + 31. Let v be 0 + 0 + 20/h. Which is smaller: 7/5 or v?
7/5
Let x = -4 + 5. Suppose -3*w + g + 2*g = 0, 3*g = -9. Let l be w*9/12 - 2/(-8). Is l < x?
True
Let z(y) = -10*y - 2 - y**3 + 0 - 5 - y + 8*y**2. Let d be z(6). Let x = 1.4 - 1. Which is smaller: x or d?
d
Suppose -2*l - 9*f - 9 = -6*f, 3*l + 4*f = -12. Is -2/555 < l?
True
Let r = -10 + 5. Let s(l) be the second derivative of -l**5/20 - 5*l**4/12 - l**3/6 - 4*l**2 - 84*l. Let g be s(r). Is g != -3?
False
Let p = 3187475/11 - 291075. Which is greater: p or -1306?
p
Suppose 23*u = 71*u + 48. Let k be (-4)/6 - 676/(-396). Let i = k + -9/11. Which is bigger: i or u?
i
Let s be ((-3)/(-20))/((-8)/576). Suppose -3*h + 20 = -5*h. Do h and s have different values?
True
Let k(u) = -u - 6. Let w be k(-4). Let d(h) = -2*h**3 + 19*h**2 + 48*h + 12. Let j be d(10). Let a = j - 392. Do a and w have the same value?
False
Let n be (0 - 18)/((-10)/(-40)*-4). Do n and 52/3 have the same value?
False
Suppose -2*j - 1112*y + 1116*y = 580, -5*j = -2*y + 1482. Which is bigger: -282 or j?
-282
Let i be (-17 + (-162)/(-12))*(-4)/14. Let l = 12.6 + -12. Which is greater: l or i?
i
Let i(q) = -q**2 + 14*q + 107. Let v be i(-13). Let p = v + 232. Are -74/7 and p unequal?
True
Suppose 12*w = 2*p + 15*w - 297, -4*w - 564 = -4*p. Suppose 0 = 140*c - p*c - 4. Which is smaller: -36 or c?
-36
Let s = -21 - -23. Suppose q = -2*c + 3*q - 64, q + 73 = -s*c. Let t = -36 - c. Which is smaller: 2/107 or t?
t
Let s(b) = 4*b**3 + 3*b**2 - 2. Let d be s(2). Suppose 648 = 10*p - d. Do 69 and p have the same value?
True
Let y be -1395 + 1 - (-189)/21. Which is smaller: -1384 or y?
y
Suppose 3 = 3*l - 5*u - 61, -l = 3*u - 12. Let v(g) = -16*g + 1. Suppose -o = -1 + 2. Let q be v(o). Are l and q unequal?
True
Let h be 22/(-12)*(-25 - -19). Suppose 149 = z + 134. Is z smaller than h?
False
Let z be (6/(-7545))/(80/(-200)). Does -1 = z?
False
Let z = -4727 - -4678. Which is greater: z or -57?
z
Let c = -146 + 74. Let x(n) = -n**3 + 62*n**2 + 198*n - 43. Let m be x(65). Suppose 137*g - m*g = 1095. Are g and c nonequal?
True
Let t = 10491 + -10320. Is 9 > t?
False
Suppose -23*o + 226 + 134 = -146. Is 447/20 at most o?
False
Let d = -5563 - -5565. Let b = -5 - -3. Let g(n) = 2*n + 1. Let a be g(b). Is d equal to a?
False
Suppose 3*r + 3*s + 2700 = 0, -10*r = -14*r - 3*s - 3602. Let l be (-164)/r + 64/11. Let m be 4/2 + (-18)/8. Is l bigger than m?
True
Suppose -g = -u - 2, 0*u - 2*g + 8 = -4*u. Let y(a) = a**3 + 2*a**2 + 2*a + 3. Let z be y(0). Which is greater: z or u?
z
Let x(r) = r**2 - r. Let y be x(-1). Let g be (-10)/(-185)*y/4. Suppose -6*j - 3685 = -3691. Is j greater than or equal to g?
True
Let r = -80 - -36. Let y = r + 43. Let o be ((-16)/y)/4 - 3. Which is greater: o or -6/29?
o
Let f = 152 - 155. Let r be (-18)/f - (-608)/(-104). Is r smaller than -1?
False
Let u(j) = -16 + 3 - 76*j + 12. Let d be u(-1). Are 74 and d equal?
False
Let i = 563297/8 - 70170. Let l = i - 237/8. Which is smaller: 212 or l?
212
Let k(i) = -i**3 - 7*i**2 - i - 9. Let d be k(-7). Let s be (236*6/36)/(d/(-3)). Suppose -s = -6*w - 5. Which is greater: 8 or w?
w
Let z be -32*(10 - (-147)/(-14)). Let l(p) = -20*p - 92. Let g be l(-6). Which is greater: z or g?
g
Let f be ((-1 + -1)/10)/((-37)/4810). Is f greater than or equal to 42?
False
Let y = -10606593/15663037 - -1/123331. Is 0 less than y?
False
Suppose 10*x - 2576 = 2*x. Let q be (-76176)/x + (-6)/14. Do q and -237 have different values?
False
Suppose 6778 = 6*p + 8896. Which is smaller: -1/3 or p?
p
Let y be -1*(-2 + -3 + 6). Let r(m) = 3*m + 19. Let b be r(y). Is b at least 204/13?
True
Suppose -9*a = -30*a - 18*a - 273. Which is smaller: -127/15 or a?
-127/15
Suppose 2*w = 2*u - 64, 18*w + 265 + 455 = 2*u. Let x = 51 + -92. Is w bigger than x?
False
Let i(n) = -4*n**2 + 184 - 10*n + 5*n**2 - n**2 - n**2. Let y be i(-24). Is y at least as big as -154?
True
Let u(p) = p - 7. Let q be u(7). Does -32/25 = q?
False
Let r = -65/57 - -7/6. Suppose 0 = 32*o - 45*o + 13. Is r greater than o?
False
Let j = -263.6 - -541.6. Are j and -4 unequal?
True
Let q(s) = s**3 + 8*s**2 - 2*s + 1. Let t be q(-8). Let o = 14875 - 14857. Do o and t have different values?
True
Let a = -1178 - -1242.9. Let v = 65 - a. Are -55 and v unequal?
True
Suppose -15*i + 3 = 5*i + 143. Is 3 at least i?
True
Let u = -371 - 2281. Let z = 522074046 + -72568661020/139. Let t = z - u. Which is smaller: t or -1?
-1
Let u(q) = 15*q - 1. Let v be u(-1). Let x(w) = -w**2 + 127*w - 726. Let m be x(6). Is v > m?
False
Let r(w) = -8*w**3 + w**2 + 17*w - 11. Let z be r(1). Which is smaller: z or -2/23183?
z
Let w = -42 - -26. Let o = -22 - w. Let m = 11045 + -11054. Which is greater: m or o?
o
Let x(i) = -9*i + 22. Let d be x(-7). Suppose -5*p - d + 15 = 0. Suppose b + 4*o = -2*b - 31, 0 = 2*o - 4. Which is smaller: b or p?
p
Let g be (-1)/(-3) - (-1480)/6. Suppose g = 2*r - 245. Let b be (-2*1)/(12/r). Which is smaller: -39 or b?
b
Let z = -1099/330 + 1/33. Let k = -37/10 - z. Does k = 1?
False
Suppose -2*i - 825 = -1109. Which is smaller: 150 or i?
i
Let w(d) = 6*d - 11. Let p be w(10). Let q(f) = 12*f**2 - f - 1. Let a be q(2). Let k = p - a. Which is greater: 5 or k?
5
Let y(b) = 2*b - 4*b + 25 - 9. Let h be y(8). Is h equal to -11/25?
False
Let l = 4777 - 8354. Which is smaller: -3576 or l?
l
Suppose 2*j + 3*v = -4*v + 192, v - 480 = -5*j. Which is greater: j or 108?
108
Suppose w + 11*d - 8*d = 17, -5*w + d = -5. Let z be (-2)/(4*1/2). Let v be 6/1 + (z - 2). Is w smaller than v?
True
Let h = 1102 - 1102. Are h and 14/55 non-equal?
True
Suppose -1470*n + 1495*n = -25. Which is bigger: n or 1/68?
1/68
Let i = -250 + 1040. Let n = -404 + i. Are n and 386 nonequal?
False
Let g = 0.0517 - 0.089. Let n = g - -0.0088. Do 0.1 and n have the same value?
False
Let z be (-2 + 14)*(-4)/88. Let n = -322 - -322. Suppose -42*m - 80 - 4 = n. Which is greater: m or z?
z
Let y = 436 - -2497. Is y at least as big as 2933?
True
Suppose 0 = 7*h - 275 - 12. Suppose 5*z - 122 = 4*n - 10, -n = 2*z + h. Let p = n + 32. Which is smaller: -3/23 or p?
p
Let g = 0.11 + -0.19. Let h = g + -0.12. Let a = 62136/47 + -1322. Which is smaller: a or h?
h
Suppose -5*t + 0*t = -5*j - 175, 3*j = -t + 23. Suppose -z - 2*v = -24, -t*v = -5*z - 30*v + 144. Are 320/11 and z non-equal?
True
Let u = -6.49 - -6.097. Let g = -0.593 - u. Which is smaller: -4/33 or g?
g
Let b(v) = -v**3 + 3*v**2 - 3*v + 4. Let q be b(4). Suppose 4547*j - 632 = 4626*j. Which is smaller: q or j?
q
Let w(s) = 2*s**3 - 2*s**2 - 23*s - 4. Let u be w(4). Which is smaller: u or -1/7548?
-1/7548
Let t = 418.18 + -420. Let s = -11.18 + t. Let f(u) = -2*u + 6. Let y be f(4). Is y > s?
True
Let h = 453/4 + -119. Suppose 0 = 21*z + 133 + 14. Is h greater than or equal to z?
True
Let c be (24/45)/((-26)/(-156)). Suppose -5*b = 2*m + 8 - 1, -4*m + b + 19 = 0. Su