*4 + 0*u + 1/30*u**6 - 11*u**2. Is l(2) a multiple of 2?
True
Does 15 divide (-6361)/(-4) - 392/(-112)*(-3)/42?
True
Suppose -11*n + 5635 = 47017. Is 13 a factor of n/30*(3 - (0 - -8))?
False
Suppose 65*m - 197*m + 312840 = 0. Does 79 divide m?
True
Let d(b) = 8*b**2 - 234*b + 67. Let y(v) = -4*v**2 + 117*v - 33. Let c(z) = -3*d(z) - 7*y(z). Is 40 a factor of c(30)?
True
Let p(j) = 168*j**3 - 3*j**2 - 7*j - 3. Let f be p(-2). Let x = 2269 + f. Is x a multiple of 84?
True
Suppose -36 = -4*u + 4*l + 2260, -16 = 4*l. Let w = u + -374. Is 10 a factor of w?
False
Let p = 7835 + -5237. Is 9 a factor of p?
False
Let i(w) = 29 - 134*w + 68*w - 47*w. Does 23 divide i(-3)?
True
Let j(q) = 37*q**2 - 3*q + 15. Let o be j(3). Suppose 2*l - o = -i, -8*i + 5*l = -9*i + 342. Is 27 a factor of i?
False
Let c(j) = -8*j**2 + 731*j + 474. Is c(58) a multiple of 38?
True
Suppose -10*x + 15*x = -130. Let n be -1*12/(-18) - x/6. Suppose -4*k = 2*a - 22, -4*k = -n*a + 1 + 12. Does 2 divide a?
False
Is 191 a factor of (-1)/(5/(-3)) - (-11 - (-507248)/(-70))?
True
Let o be ((-34)/14 - -1) + (-78)/(-182). Let t be o/(31/(-10) + 3). Suppose -80 = t*r - 15*r. Does 12 divide r?
False
Let d(a) = a**3 - a**2 - 10*a - 79. Is 17 a factor of d(13)?
True
Let s = -2061 - -2061. Let v = 2 - 0. Is (v - s)*44/8 even?
False
Let r = -20 - -53. Let i = -28 + r. Suppose -112 = -n + 4*v, n + 4*v = i*n - 388. Does 17 divide n?
False
Let h be (4/3)/(21/(-9) - -2). Let l be 5/10 + (-18)/h. Is 25 a factor of (150/(-9))/(((-30)/27)/l)?
True
Let n = 92 + -86. Let j(h) = 2*h**3 - 12*h**2 + 9. Let l be j(n). Suppose 0 = 12*s - l*s - 312. Is s a multiple of 13?
True
Let u(c) = 4*c + 22. Suppose 10 - 14 = -4*t. Let r(y) = 8*y**2 - 2*y + 2. Let g be r(t). Does 32 divide u(g)?
False
Suppose -s = 4*j - 10, -2*j - j + s + 4 = 0. Let v be 3/(-3 + j + 3 - 3). Is 6 a factor of v/2 + 111/2?
True
Let a = 22362 - 5378. Is a a multiple of 22?
True
Let x be 3*(8/(-2) - -5). Suppose x*i - o = -5*o + 19, 5*i = -2*o + 41. Does 10 divide (i + 11)/(2/7)?
True
Suppose -3703021 + 452874 = -220*j - 165747. Is j a multiple of 138?
False
Let s(b) = -21*b**2 + 8. Let j(m) = -20*m**2 + 7. Suppose -2*q = 7 - 13. Let d(z) = q*s(z) - 4*j(z). Does 16 divide d(-2)?
True
Suppose -40*y + 24*y = 37*y - 281112. Is y a multiple of 34?
True
Suppose 0 = 338*f - 346*f + 10384. Suppose 91*a = 89*a + f. Is 15 a factor of a?
False
Suppose 110*r - 96781 = -13*r + 6785. Is r even?
True
Suppose 48*f - 50*f + 16 = 0. Does 39 divide (27 + 5)/f + 885?
False
Let n(p) = -p + 304. Does 2 divide n(-57)?
False
Suppose -349*x + 279*x = -179480. Does 13 divide x?
False
Suppose 75*p - 1900 = 71*p. Suppose -2*r - p = -3*m, 0 = -2*r + 4*r - 8. Let h = 293 - m. Does 22 divide h?
True
Let j = 4 - 7. Let y be j/15 + (-1701)/(-5). Suppose -t - 4*t + y = 0. Is 34 a factor of t?
True
Let z = 615 + -601. Suppose -z*x - 3460 = -19*x. Does 82 divide x?
False
Suppose -1389 = -3*t - 3*j, -2*t + 3*j + 2*j + 961 = 0. Suppose -t + 123 = -5*y. Is 2 a factor of y?
False
Suppose 3 = -3*p, 36067 = 121*m - 117*m - 3*p. Is 14 a factor of m?
True
Let r be -1 - (-114 + 0) - (8 - 4). Let z = r - 138. Is (z/(-58))/(2/168) a multiple of 14?
True
Let g(a) be the third derivative of a**4/8 - 7*a**3/2 + a**2. Let z be g(8). Let x = z - -25. Is x a multiple of 4?
True
Let i(h) = 5*h**2 + 12*h + 8. Let j(k) = -5*k**2 - 13*k - 9. Let p(q) = 5*i(q) + 4*j(q). Let f be p(-2). Is f*14*(2 - 8/7) a multiple of 11?
False
Suppose 12*q = 19*q - 63. Suppose -10*k + 249 - q = 0. Is 12 a factor of k?
True
Let n = 20704 + -14704. Is 16 a factor of n?
True
Let a(y) = -424*y - 4. Let h(p) = 849*p + 9. Let z(u) = -7*a(u) - 3*h(u). Is z(1) a multiple of 34?
False
Let a(z) = -15*z - 41. Let r(v) = 2*v + 1. Let g(j) = -a(j) + 2*r(j). Is 16 a factor of g(7)?
True
Let s(r) = 8*r**3 - 19*r**2 + 37*r - 249. Does 198 divide s(16)?
False
Suppose 0 = 18*k - 69 + 159. Does 7 divide 4 - (-236 + (0 - k))?
False
Let p(x) = x**3 + 9*x**2 - 3*x + 1. Let o be p(-9). Suppose 451 = 29*a - o*a. Is 12 a factor of a?
False
Suppose -11*w + 53688 + 53384 = 53*w. Is 50 a factor of w?
False
Suppose -13 = a - 2. Let t = -9 - a. Does 3 divide (-17)/(-1) - (6 - t)?
False
Let q be -55*(-9)/(-6)*(-12)/9. Suppose q*s + 76 = 111*s. Is s a multiple of 26?
False
Suppose -z + 6 = w, 0 = 5*w - 4*z + 8*z - 26. Suppose i - y = 42, -i + w*y + 127 = 2*i. Is 43 a factor of i?
True
Is 20 a factor of 6 - (1 + -31)*(-3768)/(-48)?
False
Let t(u) = -u**3 - 3*u**2 - 13*u + 4. Let r(p) = -2*p**2 - 2*p - 1. Let m(o) = 6*r(o) - t(o). Let b = 15 - 5. Is 20 a factor of m(b)?
True
Let h(w) be the second derivative of -25*w**4/12 + w**3/6 - 2*w**2 - 48*w. Let l be h(2). Does 30 divide (2/10*l)/((-3)/30)?
False
Let c = 7974 + 16684. Does 90 divide c?
False
Let n be ((-90)/135)/(2/288). Is (-1640)/(-3) - 224/n a multiple of 9?
True
Let z(s) = 105*s**2 - 127*s + 16. Does 13 divide z(-5)?
True
Let x(y) = 73*y**3 - 2*y**2 - 8*y + 6. Let v(d) = -74*d**3 + d**2 + 7*d - 9. Let j(f) = -4*v(f) - 5*x(f). Is 17 a factor of j(-3)?
True
Let a(k) = -k**2 + 5*k + 6. Let p = 83 - 76. Let d be a(p). Is (-836)/d - 4/(-8) a multiple of 15?
True
Suppose 0 = -6*h + h - 5*n - 20, -h + 2*n + 5 = 0. Let i be -2 + (h - -4) + 0 + -1. Suppose -11*t + 2*t + 1350 = i. Does 30 divide t?
True
Let y = -259 + 259. Suppose -2*w - 6 = y, -w + 3*w = 3*c - 216. Is c a multiple of 7?
True
Suppose 0 = q - 3*o - 2800, -138*o + 143*o = 4*q - 11228. Does 19 divide q?
True
Let m(h) = 78*h**2 - 41*h + 1394. Does 11 divide m(28)?
False
Suppose 5*r + 23729 = 4*l, -l + r - 1726 = -7660. Is l a multiple of 36?
False
Let o(z) = 482*z + 379. Is o(5) a multiple of 8?
False
Let i(o) = -11*o - 4. Let m be i(0). Let a be (614/m)/(23/(-46)). Suppose 10*h = 1727 - a. Is 8 a factor of h?
False
Let a(x) = 41*x**3 + 13*x**2 + 26*x - 45. Is 255 a factor of a(6)?
True
Let b be 2 - (56/(-35))/((-4)/(-4270)). Let m = b - -214. Is m a multiple of 26?
True
Let c(f) = -52780*f**3 + 3*f**2 + 29*f + 28. Is c(-1) a multiple of 57?
True
Does 169 divide ((-1)/5 + 2)/(393/2710390)?
False
Suppose 0 = 4*c + 4*f + 32, 5*c + f = -2*f - 42. Let a be ((-12)/8)/(c/(-12)). Let b = a - -14. Does 6 divide b?
True
Suppose 67*a + 95755 = 592895. Is a a multiple of 287?
False
Is (22 - 1250)/(22/(-1309)) a multiple of 14?
True
Let d(i) be the third derivative of -3*i**3 + 0*i - 2*i**2 + 7/24*i**4 + 0. Does 3 divide d(6)?
True
Let x(d) = 16*d + 6. Let y(h) = -h**3 - 7*h**2 + 4*h - 21. Let o be y(-8). Suppose -o = -2*v + n - 4, -3*v + 11 = -n. Is 35 a factor of x(v)?
True
Suppose 487972 = -215*s + 64*s + 1593292. Is s a multiple of 20?
True
Let p(b) = 4*b**2 - 13*b + 56. Let c(w) = -2*w**2 + w + 1. Let m(k) = -3*c(k) - p(k). Is m(14) a multiple of 35?
False
Does 19 divide ((-15)/60)/(3/(-4848))?
False
Let a(g) = g - 10. Let x be a(13). Suppose -4*n - x*n + 42 = 0. Is 26 a factor of 1 - 10/15 - (-778)/n?
True
Suppose -1263*t + 1259*t = 5*u - 7508, -5*u - 9340 = -5*t. Does 24 divide t?
True
Let f(r) = -9*r - 3. Let l be f(-1). Suppose -5*i + 15 = 5*a, 4*a = i + 21 + l. Suppose -a*t - 69 = -267. Does 12 divide t?
False
Suppose -4*w = -2*l - 14, 0*l + 5*w = -5*l + 40. Suppose -4*z + 3*q - 7 + 22 = 0, -4*z - 15 = l*q. Suppose 2*n = -z*n + 98. Does 29 divide n?
False
Suppose -49*j + 47*j + 44926 = 17*r, 111983 = 5*j + r. Is j a multiple of 74?
False
Suppose 0 = 2*k - 5*l - 16, -5*k - 13*l + 17*l + 23 = 0. Suppose 292 + 30 = 3*y + 2*d, -k*y + 342 = -3*d. Is 5 a factor of y?
True
Let l(a) be the second derivative of a**3/3 - 19*a**2 - 18*a. Let h be l(20). Suppose x + 2*g + h = 8, 5*x - 4*g - 100 = 0. Is 2 a factor of x?
True
Let n(x) = -x**3 + 24*x**2 + 90*x + 13. Does 56 divide n(19)?
True
Let p = 7 + 5. Suppose 2*m = -2*x + 650, -p*m + 11*m + 2*x + 340 = 0. Does 55 divide m?
True
Suppose 478*q + 98673 = 2*u + 483*q, q + 98679 = 2*u. Is 65 a factor of u?
False
Suppose 15*i - 5939 = -494. Suppose 0 = 4*z - 4*s - 2792, z - 1036 + i = -4*s. Does 21 divide z?
True
Suppose -28*t + 529398 + 698262 = 0. Does 18 divide t?
False
Let q = -223 - -223. Suppose q = 46*f - 41*f - 970. Is f a multiple of 7?
False
Let a(r) = r + 1. Let q(w) = -24*w - 34. Let x(y) = -4*a(y) - q(y). Does 13 divide x(4)?
False
Let d(p) = -88*p**3 + 6*p**2 + 126*p + 734. Is 9 