 be the second derivative of 7*t**3/6 + 17*t**2 + 15*t. Let i be q(-13). Let m = 41 - i. Is 29 a factor of m?
False
Let w(x) = 97*x**2 - 7*x + 12. Does 24 divide w(3)?
True
Suppose 3*r = 0, 3*r - 12674 = -3*p - 1784. Does 15 divide p?
True
Let h = 17207 + -2720. Is h a multiple of 56?
False
Suppose -2*c + 2 = 0, 5835 = 16*t - 13*t + 3*c. Is t a multiple of 24?
True
Let d(q) = 34*q + 1. Let z be d(-3). Let h = z + 188. Is (-24)/(-64) + h/24 a multiple of 4?
True
Suppose -x - 1 + 7 = -2*y, 4*y + x + 24 = 0. Is (17 - y)/(1 - 2/6) a multiple of 4?
False
Suppose m + 144 = 424. Let g = 345 - m. Is 31 a factor of g?
False
Let h be 14/91 + (6540/26)/3. Let y = 130 - h. Is 15 a factor of 3/(-1 + 0) + y + 1?
False
Let x = 8429 - 4717. Suppose -x = -25*w + 17*w. Does 29 divide w?
True
Suppose 23*k - k - 11154 = 0. Does 6 divide k?
False
Let b(g) = -1. Let d(v) = -4*v - 28. Let j(s) = 3*b(s) + d(s). Let o be j(-14). Suppose -o = u - 178. Does 16 divide u?
False
Suppose -l - 65 = -2*k + 4*l, 0 = 4*k - l - 85. Suppose -27*o + k*o = -490. Is 10 a factor of o?
True
Let t(r) = -42*r - 264. Is t(-58) a multiple of 53?
False
Let n = 155 + -269. Let l = -91 - n. Is l a multiple of 5?
False
Suppose 21641*t + 1643976 = 21700*t. Does 86 divide t?
True
Let m be 6 - 2 - (-7 - -827). Does 80 divide 2509/8 - 17/(m/18)?
False
Let f = -571 - -575. Suppose -96 = -f*g + 252. Is g a multiple of 29?
True
Let z be (-6)/(-3) - 4/(-4)*4. Suppose -2*s + z*s - 10 = -3*n, -4*n + 4*s + 4 = 0. Is (2*2/1)/(n/22) a multiple of 5?
False
Let s = 52 + -53. Suppose 4*i - 338 = 2*p - i, 3*p - 4*i + 521 = 0. Does 39 divide s*2 - (p + -2)?
False
Suppose 105*j - 1334 = 151*j - 6164. Is j a multiple of 105?
True
Suppose -62*i + 93180 = -9988. Does 16 divide i?
True
Let z = 951 + 6952. Is z a multiple of 74?
False
Let y(u) = 6*u**3 - 3*u - 2. Let k be y(-2). Let h = k - -44. Suppose h = 2*r + 4*s + 6, -2*r - 3*r - s = -21. Is r a multiple of 5?
True
Is (-804320)/(-115) + (-16)/184 a multiple of 76?
False
Let f = 3871 + -5771. Does 25 divide (2 - -1)/((-12)/f)?
True
Suppose -59*y + 12*y = 8*y - 382140. Does 18 divide y?
True
Let y be (3*830)/6 + 4 + -1. Suppose 5*c - 3*g = -g + y, 3*g = 3. Suppose 7*a + 5*z = 6*a + c, -2*z = 2*a - 176. Does 9 divide a?
False
Let j(u) be the second derivative of u**4/12 - u**3 + 5*u**2/2 + 16*u. Let k be j(1). Suppose -4*n + 4 = k, 0*n - 159 = -3*v - 3*n. Does 26 divide v?
True
Let d = 171 + -54. Let k be 2*(-55)/(-20) + (-1)/2. Suppose -160 = -k*q + 4*j, -2*j + d + 1 = 3*q. Is q a multiple of 9?
True
Suppose 25 = -16*r - 23. Let f(n) = -31*n**3 - n**2 + 4*n + 16. Is f(r) a multiple of 13?
True
Suppose 4*v - 155 = -3. Let g(z) = 12*z + 38. Let x be g(-3). Let f = v - x. Is 36 a factor of f?
True
Suppose -2*j - 3*x = -9010, -3*j + 5080 + 8436 = 5*x. Is (-1)/5 + j/10 a multiple of 25?
True
Let n be (-68)/(-7) + 6/(-63)*-3. Suppose -42 = -n*q - 142. Let y(m) = -6*m - 36. Is 8 a factor of y(q)?
True
Suppose 5*t + 4*h + 3310 = h, -3*t = h + 1982. Let u = t + 696. Is 7 a factor of u?
False
Let k(r) = r**2 + 3*r + 6. Let g be k(-2). Let l be 1/(12/404) - g/6. Suppose 51 + l = y. Is y a multiple of 33?
False
Let o = 33484 - 18652. Is o a multiple of 7?
False
Suppose 3 = 3*j + n + 34, -2*n = 2. Let l be 10/2*(-4)/j. Suppose 3*a - 8*a = -3*c + 302, -2*c + l*a + 200 = 0. Does 11 divide c?
True
Let g(j) = 12*j**3 - 23*j**2 + 63*j - 2. Is 25 a factor of g(9)?
True
Let h = -3180 - -5659. Suppose 0 = -3*n - c + 1484, -4*n + 9*n - h = 4*c. Is 15 a factor of n?
True
Suppose 101*q - 100*q = -3*s + 2321, -5*q - 2*s + 11592 = 0. Is 61 a factor of q?
True
Let m be (-324)/(-16)*(-40)/15. Let k = 59 + m. Suppose 69 = 8*a - k*a. Is 23 a factor of a?
True
Suppose -4*c - b + 17808 = -c, -5*b - 17808 = -3*c. Does 106 divide c?
True
Let k be (-54)/(-15)*2*1110/12. Suppose 0 = -6*l - k + 2790. Is l even?
True
Let h be (5 - 0) + -5 - 394/2. Let c = 25 - h. Does 12 divide c?
False
Let z be -910*5/(-30)*93. Is z/28 + (3/12 - 0) a multiple of 13?
False
Suppose 2*i + 34585 = 3*x, 1365*x - 2*i = 1363*x + 23054. Does 15 divide x?
False
Suppose -4*j - 343 = 229. Let t = j + 263. Is 60 a factor of t?
True
Let h be (114/12 - 7)/((-1)/(-2)). Suppose 0 = 3*k + h*v - 3*v - 421, 141 = k + v. Is 25 a factor of k?
False
Suppose -307*d + 120*d + 949399 = 0. Is 86 a factor of d?
False
Let l = -90 + 122. Let x be (1 - l) + (-3 - -1). Let c = x - -40. Does 2 divide c?
False
Suppose z - 6407 = 974. Does 95 divide z?
False
Suppose -2*q = -3 - 3. Let u(d) = -5 - 2*d - d**2 + 2 + 5*d**2 + d**3. Does 10 divide u(q)?
False
Let t(n) = -36*n - 156. Let p be t(-4). Does 5 divide 640/36*6*p/(-4)?
True
Suppose 4*x + v - 5523 = -1665, -2*v = -4*x + 3864. Is 8 a factor of x?
False
Suppose 0 = 22*v + 1746 + 1422. Is 13 a factor of ((-103)/(-4))/((-12)/v*3)?
False
Let b(h) = 42*h**3 - h**2 + 12*h - 35. Is b(4) a multiple of 13?
False
Let c(a) = -2*a**2 - 11*a + 11. Let f be c(-6). Suppose 3*w + 10*g = 5*g + 119, 3*g = f*w - 255. Suppose -4*l - w = -6*l. Is l a multiple of 7?
False
Suppose -3*j + 7*u - 8*u + 11 = 0, -10 = -2*u. Suppose -1090 = j*f - 7*f. Is 15 a factor of f?
False
Suppose 21*p - 24*p - 13*p = -279792. Is 13 a factor of p?
False
Suppose 55666 = 4*n + 2*l, -5*n - 34*l + 29*l + 69565 = 0. Is 87 a factor of n?
True
Suppose 5*r + 121 = l, -6*l - 4*r = -l - 634. Let t(z) = 2*z**3 + 3*z**2 - 3*z. Let y be t(-3). Let c = l + y. Is 32 a factor of c?
False
Let v(x) = 3*x**3 + 2*x**2 - 1. Let s be v(1). Suppose 5*o - 155 = s*j + 352, 5*j + 650 = 3*o. Is 8 a factor of (-6)/(-9) - j/3?
False
Suppose -6*f - 16 + 322 = 0. Let t = f - -69. Is 8 a factor of t?
True
Suppose 3*w + 1233 = 3*q, -12*w + 17*w + 1231 = 3*q. Is 18 a factor of q?
False
Let o(k) = -16*k - 3. Let y be (0 + 1 - -2) + -23. Let d = -22 - y. Is o(d) a multiple of 7?
False
Let f be 25/(-30) + 198110/60. Suppose 431 = 6*i - f. Is i a multiple of 22?
False
Let v(l) be the third derivative of -l**5/60 - 2*l**4/3 + 4*l**3/3 - 26*l**2. Let g be v(-16). Suppose g*f - 182 = 6*f. Does 13 divide f?
True
Does 14 divide (-5 - 58)*(19 + -355)?
True
Suppose 0 = 17*a - 19*a + 286. Suppose 3*y - a - 55 = 0. Let g = 78 - y. Is 6 a factor of g?
True
Let d(u) = 5*u**3 - u**2 - 5*u - 53. Is d(7) a multiple of 8?
False
Suppose -4*s = -x - 2015, 2*s = -s + 2*x + 1505. Suppose 3*y + o = y + s, 275 = y + 5*o. Does 10 divide y?
True
Let r = 18193 + -15295. Is 163 a factor of r?
False
Let b be 4/(2*(2/4)/1). Suppose -2*o + 3*i + 254 = i, 0 = -b*o - 5*i + 535. Is o a multiple of 26?
True
Let q(h) = -2*h**3 - 6*h**2 + 35*h + 3. Let s be q(-9). Let b(j) = j**2 + 16*j + 8. Let m be b(-16). Suppose 0 = -2*u - m*u + s. Is 11 a factor of u?
True
Let i = -4318 + 18706. Is 132 a factor of i?
True
Let l(y) = 29*y**2 + 82*y + 3. Let i be l(-2). Let s = 275 - 164. Let w = s + i. Is w a multiple of 13?
False
Let a(t) be the second derivative of 2/3*t**4 + 1/20*t**5 + 0 + 5/3*t**3 - 2*t + 15/2*t**2. Is 9 a factor of a(-6)?
True
Suppose -7*j - 37910 = -9*j + 5*q, -q = -3*j + 56891. Is j a multiple of 33?
False
Let y = 107 + 3179. Let a = 2254 - y. Does 24 divide ((-72)/42 - -2) + a/(-14)?
False
Suppose -37*a - 142 = -36*a. Does 11 divide a/4*(-20)/5 - -1?
True
Let u be ((-1)/((-5)/370))/2. Suppose -32*r - 360 = -u*r. Let s = 138 - r. Does 6 divide s?
True
Suppose -6*j + 2281 = -4145. Suppose 103*i - j = 82*i. Does 8 divide i?
False
Suppose -106*b + 5288 = 8206 + 9908. Let n be ((-94)/(-3))/((-2)/15). Let s = b - n. Does 45 divide s?
False
Let w(s) = 1109*s**2 + 21*s + 129. Is 69 a factor of w(-4)?
False
Let q(t) = 73*t**2 + 11*t + 18. Let u(g) = -72*g**2 - 10*g - 18. Let k(x) = 6*q(x) + 5*u(x). Let s be k(-6). Is 11 a factor of 3/2 - (s/4)/(-7)?
True
Let s(y) = -125 - y**2 - 190*y**3 + 15*y + 141 - 130*y**3. Does 21 divide s(-1)?
False
Let n(a) be the first derivative of 7*a**3 + 5*a**2/2 - 2*a + 47. Let b be n(1). Let p = 101 - b. Is 11 a factor of p?
True
Let m be ((-1)/(-3))/(5 + 1661/(-330)). Is 6 a factor of (-3 + (-1025)/m)/((-5)/(-40))?
False
Suppose 4*v + 3*d - 56913 = 66039, 5*d + 30738 = v. Does 9 divide v?
False
Let a(b) = 3*b**2 - 2*b - 7. Let d be a(-4). Let c = d + -28. Is (-51)/(-21) + -2 - (-222)/c a multiple of 11?
True
Let t = -644 - -647. Let a = 3 - 3. Suppose -3*s = -r + 21