 of l?
False
Let a(s) = -4*s - 2*s - s**2 + 10 - 10*s. Let r be a(-17). Does 10 divide -4 + (57 - (r - -3))?
False
Let u(h) = -h**3 - 11*h**2 - h - 4. Let z be u(-11). Let g(a) be the third derivative of 5*a**4/3 - a**3/6 + 22*a**2 - a. Is g(z) a multiple of 29?
False
Suppose -3574 - 745 = -7*w. Suppose 619*g - 784 = w*g. Does 14 divide g?
True
Let t = -38 - -52. Let s(q) = -93*q + 46*q - 11 - q**3 + 14*q**2 + 48*q. Is 3 a factor of s(t)?
True
Suppose -u = -2*a + 2, 6 + 4 = -3*a - 5*u. Suppose z - 19 = o + 19, z - 2*o - 35 = a. Suppose -5*j - 5*b + 7 + 158 = 0, j = -5*b + z. Does 6 divide j?
False
Let y(n) = n**2 - 3*n + 82. Let r be y(0). Let z(g) = -8*g**2 - 4*g + 10. Let s be z(-3). Let l = s + r. Is l a multiple of 4?
True
Let f be (-3)/(-4) + 7/((-280)/38550). Let y = f - -1491. Is 24 a factor of y?
True
Let s = 2118 + 4300. Is 12 a factor of s?
False
Suppose -2*u + 2*b = -1002, -2*u + 7*u + 5*b - 2465 = 0. Let n = -206 + u. Does 15 divide n?
False
Let j(g) = -2*g - 11. Let d(b) = -2*b - 11. Let z(x) = 5*d(x) - 4*j(x). Let v be z(-7). Suppose -235 = -3*o - 2*p, -p + 64 = v*o - 166. Is o a multiple of 25?
True
Let i(g) = -21*g + 13. Let q(t) = 104*t - 64. Let m(k) = -11*i(k) - 2*q(k). Let b be ((-252)/(-16))/9*(-2 + 6). Is m(b) a multiple of 32?
False
Let x(z) = 156*z - 1657. Does 25 divide x(22)?
True
Let h(u) be the second derivative of -u**5/20 - u**3/6 + 50*u**2 + 401*u. Let c be (2 + -2)*(-1)/(-2). Is 10 a factor of h(c)?
True
Let h = -31 - 70. Let p = 111 + h. Suppose -p*k = -k - 324. Does 36 divide k?
True
Let a(k) = -k**2 + 17*k - 14. Let l be 4 + -1 + 9/1. Let d be a(l). Suppose -2*b = 3*p - 248 + 25, -p + d = -5*b. Is p a multiple of 32?
False
Suppose -4*v + 4298 = 3*f, -16*f = 2*v - 18*f - 2142. Is v a multiple of 17?
False
Let q(o) = 147*o**2 - 100*o - 1994. Is q(-16) a multiple of 43?
True
Suppose -46*p + 206 + 898 = 0. Let z be (4*-1)/(-1*1). Suppose -z = b - p. Is b a multiple of 5?
True
Let x(g) = -2*g**2 - 62 + 12 - 75 + 56*g + 30. Does 3 divide x(25)?
False
Let r be 4/(-34) + (95/85 - -5). Suppose 3*p + r*d - 11*d = 172, -5*p - 5*d = -340. Does 8 divide p?
True
Suppose 122*v = 64*v + 114318. Does 27 divide v?
True
Let r(h) = 4*h + 44. Suppose -4*p + 28 = -k, 0 = -3*p - 0*k + 2*k + 16. Suppose -p*o + o = 0. Is r(o) a multiple of 11?
True
Let f be (-4)/((0 - -8)/4). Let s = 1 - f. Suppose -s*c - 150 = -3*q, q - 62 = 2*c + 2*c. Does 23 divide q?
True
Let t(p) be the second derivative of p**7/420 + p**6/360 - p**4/12 - 25*p**3/6 - 6*p. Let y(w) be the second derivative of t(w). Is 3 a factor of y(2)?
True
Suppose -g - 5*s + 4 = -0, 4 = g + 2*s. Suppose 2*y + 6 = 3*v, 0 = g*v + 5*y - y - 28. Is 11 a factor of (v/6)/((-1)/(-99))?
True
Let h(v) = 5*v + 63. Let z be h(-12). Suppose -z*b + t + 890 = -t, 3*t - 602 = -2*b. Does 21 divide b?
False
Let z(u) = u**3 + 67*u**2 - 105*u - 766. Does 211 divide z(-66)?
False
Let b = -769 + 347. Let n = b - -299. Let y = -84 - n. Does 39 divide y?
True
Let k(t) = -6*t + 7. Let p be (30/(-25))/((-43)/20 + 2). Suppose -d = -p*d - 21. Is 3 a factor of k(d)?
False
Suppose 0 = 8*n - 2109 - 2307. Suppose 5*u = 5*g - 645 - 0, -5*u + n = 4*g. Does 12 divide g?
False
Let k(z) = 2*z**3 - 22*z**2 + 52*z + 11. Let f be k(13). Suppose -f + 23827 = 12*w. Does 29 divide w?
False
Let q = 3735 - 2167. Is q a multiple of 16?
True
Let g = 12 + -7. Suppose 4*k - 5*c = 59, -g*k + 2*c - 55 = -150. Suppose 3*d - 441 - k = 0. Is 18 a factor of d?
False
Suppose -8*y = -4*y - 288. Suppose 0 = 7*b - 338 + y. Is 10 a factor of b?
False
Let w(r) = -20*r - 121 - 15*r + 52*r - 9*r. Is w(24) even?
False
Let y(i) = 10*i + 99. Let c(k) = 19*k + 196. Let t(n) = -6*c(n) + 11*y(n). Does 23 divide t(-32)?
False
Let i = -239 - -3679. Does 2 divide i?
True
Suppose -40*z + 150934 = -116428 + 11242. Is z a multiple of 8?
False
Let h(m) = -8*m**3 + 4*m**2 + 6*m + 3. Let p be h(-6). Suppose p - 3 = 18*x. Does 17 divide x?
True
Let v = -334 + 336. Suppose 0 = -3*d + s + 1217, -4*d = -3*d + v*s - 415. Is d a multiple of 36?
False
Suppose 149932*a - 149946*a + 48216 = 0. Does 60 divide a?
False
Is 28*7/140*(3032 + 3) a multiple of 10?
False
Let k be (18/(1 - 3))/((-1)/3). Let f be ((-4062)/k)/(-2) - (-6)/(-27). Is 42 - ((-8)/10)/((-30)/f) a multiple of 6?
False
Suppose 3*i + 125 = 8*i. Let b = 30 - i. Is 5 a factor of b?
True
Suppose 196 + 1544 = 3*f. Suppose 2*q - 171 - 110 = -d, f = 4*q - 4*d. Does 26 divide q?
False
Is 22 a factor of ((-20)/25*1291)/((-11)/(825/10))?
False
Let k = -26 - -28. Suppose -4*r = 5*q - 4298, k*q - 1695 - 31 = -5*r. Is q/27 + 4/18 a multiple of 16?
True
Suppose 4*a - 255 = -3*v, 5*a - v - 290 = v. Let p = a + -55. Suppose 10*l - 100 = p*l. Is 5 a factor of l?
True
Suppose -i = -30*m + 31*m - 4571, -5*m - 13737 = -3*i. Is 25 a factor of i?
False
Suppose 4*q = -4*q - 296. Let f = q + 41. Suppose f*z + 80 = 5*z. Does 16 divide z?
True
Let s(p) = 274*p**2 + 50*p + 90. Is 15 a factor of s(-5)?
True
Let q(g) = 459*g + 1586. Does 22 divide q(8)?
True
Let l be 1*(-48)/(-8)*380/(-3). Let o = l + 1444. Does 38 divide o?
True
Let c(v) = -v**3 - 2*v**2 - 13*v + 6. Let b be c(-4). Suppose -3*h + b = 4*m, 2*h + 4*m = 72 - 16. Is 4 a factor of h?
False
Suppose 4*u + 5*c + 0*c = -376, 0 = -4*u - 2*c - 388. Is 29 a factor of -75*((-33)/u - 382/30)?
False
Suppose 4*i - t + 1989 = 12251, -i = -4*t - 2573. Suppose 0*b - 19*b + i = 0. Is b a multiple of 9?
True
Suppose 5*f - 36 = 4*v, -4*f + 3*v = 19 - 47. Suppose f*b + 13*b = 10999. Does 61 divide b?
False
Let b = -372 - -2554. Is 6 a factor of b?
False
Suppose 0 = -4*h - 8*j + 10*j + 270270, -h + j = -67568. Is h a multiple of 167?
False
Let g(m) = -2*m**3 + 5*m**2 + 22*m + 33. Let l be g(-8). Suppose 6*a - l = 2933. Does 56 divide a?
False
Suppose 3*d - 5*g = 354, d - 118 = -0*g - 5*g. Is 2 a factor of d?
True
Let q(w) = -14*w**2 + 14 + 15*w**2 - 5*w + 2*w + 6. Let m be q(10). Does 30 divide 1 - 2*-4*m/8?
False
Let m = -15888 - -10407. Is 10 a factor of (-3)/5 + 7 + m/(-35)?
False
Let h(u) = 1035*u**2 + 69*u + 144. Does 54 divide h(-2)?
False
Is -2*(46355/(-5) + 0) a multiple of 13?
False
Suppose 4*o - 17 = -z, -o - z = -5 - 0. Suppose 769 + 185 = 4*p - 2*c, 5*p - o*c - 1188 = 0. Is p a multiple of 24?
True
Let v be -2*72674/(-56) - (-2)/4. Let k = -316 + v. Does 95 divide k?
True
Let o(g) = 2*g**2 + 5*g + 3. Suppose -7*v + 18 = 2*v. Suppose v*q - 7 = -3*w, q - 2*w + 24 = 2*w. Does 3 divide o(q)?
True
Suppose -a - 4*o = -35, 2*o = 2*a - 2*o - 94. Let h = -67 + a. Does 35 divide ((-84)/h)/((-2)/(-20))?
True
Let a be (-6)/27 + 52114/18. Suppose -21*w + 6*w + a = 0. Does 33 divide w?
False
Suppose 0 = 944*t - 950*t. Suppose 0 = -c + 5*d + 614, t = -5*c + 2*d + 2739 + 331. Is c a multiple of 8?
False
Suppose f - 1042 = 5*m, 6*f - f + 2*m - 5237 = 0. Let b = f - 694. Does 12 divide b?
False
Does 15 divide (-325490)/(-50) + (76/20 - 4)*-1?
True
Let t(v) = v**2 - 15*v + 1. Suppose -95 = -3*o - 50. Let f be t(o). Does 7 divide (1*(f + -4))/(6/(-172))?
False
Suppose 5*i = 5*z + 19880, 435*i = 440*i - 4*z - 19880. Is 28 a factor of i?
True
Suppose -10412 = -20*o + 2828. Let m = -368 + o. Is m a multiple of 14?
True
Let r(w) = 6*w - 133. Let g be r(23). Suppose 7*m = -5*x + 8*m + 1155, -g*m = -4*x + 945. Is x a multiple of 46?
True
Suppose -964*u + 999*u - 50085 = 0. Is 15 a factor of u?
False
Let y(n) = 314*n - 171*n + 25*n**2 - 171*n - 2*n**3 + 18. Is 7 a factor of y(11)?
False
Suppose 330*r = 3*f + 335*r - 18972, 4*f = -2*r + 25282. Is 89 a factor of f?
True
Let z(h) = -2*h**3 + 3*h**2 + 9*h + 6. Let f be z(5). Let p be (-14)/10 - -1 - 203670/1825. Let x = p - f. Is x a multiple of 10?
False
Let w be 50/100 + 454/4. Suppose -w*b = -110*b - 220. Is b a multiple of 23?
False
Suppose 127851 = 59*p - 291049. Does 4 divide p?
True
Let r be ((-98)/6)/((-4)/12). Let j = 6 - r. Let w = j + 59. Is 4 a factor of w?
True
Let h(z) = z**3 - z**2 - 2*z - 1. Let j(p) = 3*p**3 - 14*p**2 - 8*p + 20. Let k(a) = 2*h(a) - j(a). Is 43 a factor of k(-6)?
True
Let p(w) = -33*w**3 + 34*w**3 - 14*w - 5*w**2 + 8 + 8*w**2 + 3. Is p(6) a multiple of 13?
False
Suppose 16*c = 11*c + 5*y + 2280, 4*c - 5*y = 1826. Suppose 2522 = 4*t - c. Is t a multiple of 12?
True
Let j(g) = -22634*g - 244. Does 41 divide j(-2)