 465. Is r a multiple of 20?
False
Let m(w) = 4*w**2 + 3*w - 3. Suppose 6*d - 16 = 10*d. Does 7 divide m(d)?
True
Let o(f) = f**2 - 1. Let q be o(-1). Suppose -2*y + 458 = 4*r, r - 227 = -y - q*r. Is y a multiple of 25?
True
Let p be ((-3)/(-4))/(-3 + 866/288). Let i = p + -98. Does 2 divide i?
True
Suppose 5*a + 64 = -2*u, -a + 32 + 96 = -4*u. Let y = u + 62. Is 5 a factor of y?
True
Let t(f) = 15*f**2 - 12*f - 19. Is t(3) a multiple of 80?
True
Let a = -10 - 22. Let v = a + 60. Is 14 a factor of v?
True
Does 6 divide (-1900)/(-16) - 3/4?
False
Let w = -8 - -8. Suppose n + w*n = 2. Suppose 7 = 5*s - n*l - 39, 4*s - 4*l - 32 = 0. Does 5 divide s?
True
Let t(z) = -z**3 + 27*z**2 - 26*z + 52. Is t(26) a multiple of 13?
True
Let p(t) = 14*t + 28. Is 7 a factor of p(5)?
True
Let d(f) = -f - 98 + 3*f + 78 + f**3 - 16*f**2. Is d(16) a multiple of 3?
True
Let l be (1*-18)/((-34)/(-38) + -1). Suppose 157*p - 154*p = l. Does 7 divide p?
False
Suppose x = -j + 2*j, -5*x + 24 = 3*j. Suppose h = -j*h + 72. Is 7 a factor of h?
False
Suppose -5*v = -2*h + 84, 2*v + 0*v = 0. Suppose -3*g = 2*k + 1, -4*g + g - 17 = -2*k. Let d = k + h. Is d a multiple of 23?
True
Let o = -11 + 14. Let q(a) = -20*a - 1 - o + 2 - 2. Does 12 divide q(-2)?
True
Let c(x) = -61*x**2 - 14*x + 15. Let v(d) = -41*d**2 - 9*d + 10. Let o(p) = 5*c(p) - 8*v(p). Let t be o(-3). Let y = 303 - t. Does 28 divide y?
False
Let k(r) = -33*r**2 - 8*r + 31*r**2 + 0*r - r**3 + 6 + 0*r. Does 25 divide k(-6)?
False
Suppose -168*h - 216 = -172*h. Does 3 divide h?
True
Let f(s) = -15*s - 6. Suppose -m + 3 = -2*c, -5*c + 5*m = -0*m. Let z be f(c). Let a = z + 13. Does 16 divide a?
False
Suppose 0 = 2*n + 3*g - 14, -2*n + 2*g + 4 = -0. Suppose -2*m + n = -0*m. Suppose -11 = -m*c + 7. Is 3 a factor of c?
True
Let s(d) = 2*d**2 - d**2 + 37*d - 40*d + 15. Is s(10) a multiple of 17?
True
Let n be 34*((2 - -1) + -2). Suppose -2*d - i + 2*i = -n, 0 = 2*i + 4. Is 4 a factor of d?
True
Let d(x) = -3. Let z(o) = 10. Let k(f) = -7*d(f) - 2*z(f). Let y(t) = 15*t - 4. Let u(j) = 10*k(j) + 2*y(j). Is 11 a factor of u(2)?
False
Suppose 6*c + 24 = -2*c. Let s(r) = 23*r**2 + 3*r + 6. Does 30 divide s(c)?
False
Suppose 24*i = 29*i - 365. Does 2 divide i?
False
Let t(z) = 77*z + 63. Does 14 divide t(3)?
True
Let j = -55 + 46. Is 2 a factor of 54*((-21)/j + -2)?
True
Suppose 12 = -2*c + 2. Let a be 4/c*(-5)/2. Is a/(-4) - 77/(-2) a multiple of 12?
False
Let f(j) = 44*j - 12. Is 6 a factor of f(4)?
False
Is 19 a factor of 152/4*((-120)/(-5) + -2)?
True
Let m = -69 - -103. Let a = m - 15. Is 3 a factor of a?
False
Let p(o) = o**2 + 2*o + 3. Suppose -3*s - 7 = 4*s. Let d be -3 - (0/s - -1). Does 11 divide p(d)?
True
Let u(p) = p**3 - 8*p**2 + 7*p + 6. Let s be 14/(-5)*40/(-16). Is 6 a factor of u(s)?
True
Let l be (1 - 57)*(3/(-2) - -2). Let p = 48 - l. Is 19 a factor of p?
True
Suppose 0 = 31*g - 35*g + 1620. Does 15 divide g?
True
Let c = -93 + 1285. Is 8 a factor of c?
True
Suppose -1190 - 12154 = -24*p. Is 46 a factor of p?
False
Let m(j) = -4 + 0 - 1 + 7*j. Let z(d) = d**2 + 11*d + 26. Let s be z(-9). Does 17 divide m(s)?
True
Let n be -8 + 11 + 2*-2. Is 4 a factor of ((-6)/(1 - 2))/(n/(-2))?
True
Let g(j) = j**3 + 6*j**2 - 100*j + 21. Is g(10) a multiple of 69?
True
Let l be (5 - 3)*75/6. Suppose 0 = 5*x - 10, 5*x - x - 14 = -2*a. Suppose 2*i + 2*i - 37 = -3*h, a*i = -2*h + l. Does 11 divide h?
True
Suppose z - 4*z = -9, 3*z + 67 = o. Does 4 divide o?
True
Let t be (-12)/(-78) - (-3846)/13. Suppose 2*u - 148 = -2*k + 5*k, -t = -4*u - 4*k. Is u a multiple of 15?
False
Does 8 divide 13050/24 + 5/20?
True
Let v(a) = a**3 - 10*a**2 - 12*a + 12. Let i be v(11). Let c be 4 + (-3 - -1)*i. Suppose c*r = 6*r - 32. Does 8 divide r?
True
Let x(i) = i**3 - 2*i + 6. Let s(m) = m**3 - m + 1. Let d(o) = -2*s(o) + x(o). Let b be d(0). Suppose -b*v + 147 = -v. Is v a multiple of 11?
False
Suppose 4*l = 5*o + 186 + 49, -4*l + 3*o = -229. Is 11 a factor of l?
True
Let v = -27 + 30. Suppose -v*b + 8 = -b. Suppose -55 = -2*g - h + 123, 3*g - b*h - 278 = 0. Is 30 a factor of g?
True
Let u be (-6019)/(-26)*4/(-2). Let p = -295 - u. Does 11 divide p?
False
Suppose 2*j - 5*v - 1647 = 0, 946 = j - 2*v + 121. Does 142 divide j?
False
Let f(d) = d**3 + 7*d**2 - 2*d + 1. Let c = -19 - -13. Is 13 a factor of f(c)?
False
Let w(j) = -j**3 + 4*j**2 + 2*j - 6. Let x be w(4). Is 8 a factor of (94 - 0/(-1)) + x?
True
Suppose 4*m - 5*m + 135 = 0. Does 42 divide m?
False
Let d be -5 + 0/1 + 3. Is 3 a factor of (11 - 4)/1 - d?
True
Let a be 1/(-3)*3 - -3. Does 4 divide ((-66)/21)/(a*2/(-28))?
False
Let n be (-17)/(-2) - 21/14. Let v(h) = -7 + 12 - h**2 + 5 + n*h. Is 8 a factor of v(7)?
False
Let n(a) = -8*a - 13. Let r be n(-9). Let j = r + -23. Is 14 a factor of j?
False
Suppose 5*l - 246 = -x, 4*x - 106 = -2*l - 4. Suppose -4*m + l = -19. Does 5 divide m?
False
Let w = 435 + -183. Does 18 divide w?
True
Let s(v) = 2*v**2 + 11*v + 359. Does 58 divide s(33)?
True
Suppose 2*j - 450 = 4*q, 0 = 17*j - 16*j - q - 228. Does 17 divide j?
False
Let b = -254 + 677. Suppose 2*p + 5*w = 296, -3*p = w - 4*w - b. Is p a multiple of 13?
True
Is 13 a factor of (-1372 + -32)/((-3)/4*2)?
True
Let n(s) = -2 + 14*s + 6*s - 18*s. Is 11 a factor of n(12)?
True
Let x(s) = 7*s - 54. Let q(a) = 18 - 4*a + a - 8 + 17. Let y(n) = 5*q(n) + 2*x(n). Is y(0) a multiple of 9?
True
Let w = 1621 + -889. Is 12 a factor of w?
True
Suppose -4*p + 40 = -4*u, 2*u = p - 0*p - 15. Suppose -p*k - 35 = -5*x, -4 = 2*x + 4*k - 0. Does 2 divide x?
True
Suppose -3*g - 166 = -5*g. Let k = -6 + 6. Suppose -g = -y - k*y. Does 30 divide y?
False
Let g be (-21)/(-14) + (-159)/(-2). Suppose g = 3*a - 45. Does 6 divide a?
True
Suppose 2*s + 0*s = 5*w - 25, 0 = -2*w + 5*s + 31. Suppose -3*d = 4*o + 7, w*d = 2*o + d. Let i(l) = 72*l**2 - l - 1. Is 24 a factor of i(o)?
True
Is (-26433)/(-17) - 48/(-408) a multiple of 44?
False
Let b(c) = c**3 - 33*c**2 + 6*c - 83. Does 28 divide b(33)?
False
Let d = -2364 - -3959. Does 11 divide d?
True
Let t(s) = 2*s**3 - 4 - 2*s**3 + 7*s - 3*s**2 + s**3. Suppose y = -5*y + 24. Is 10 a factor of t(y)?
True
Suppose -5*t = 4*o + 39, 0 = 2*o - 0*o - t + 37. Is 17 - (4/o + 13/4) a multiple of 5?
False
Let f(i) = -9*i - 9. Let a be f(-2). Does 15 divide (38/a - 4) + (-2019)/(-27)?
True
Let s(i) be the third derivative of -i**4/4 - 19*i**2. Is s(-6) a multiple of 6?
True
Let t(q) = -q**3 + 12*q**2 + 16*q + 15. Let y be 3/5 - (-16)/40. Let i(v) = 15*v - 2. Let f be i(y). Does 10 divide t(f)?
False
Let y = 3 + -4. Let x be 4 - (y + 6 - 4). Is (-54)/(-15)*40/x a multiple of 12?
True
Let a be (4/(-4) - 1) + 4. Does 14 divide a + 54 - (-1 + 2)?
False
Suppose -2620 = 10*g - 29420. Is g a multiple of 63?
False
Let s(z) = 212*z - 30. Is s(4) a multiple of 5?
False
Let z be (6/12)/((-1)/(-10)). Let c be (5/z)/(1/7). Suppose d - c = 5*u, -4*u + 10 = 4*d - 42. Is d a multiple of 3?
True
Let o(a) = 2*a**2 - 2*a - 3. Let u(g) = g**2 + 6*g + 5. Let c be u(-5). Suppose 6 = -c*t + t. Is o(t) a multiple of 19?
True
Let k(q) = 7*q**2 + 6*q. Is k(-3) a multiple of 5?
True
Suppose -3*u - 13671 = -4*p, 2*u + 10254 = 51*p - 48*p. Is 36 a factor of p?
True
Let u(r) = 253*r - 755. Is 20 a factor of u(15)?
True
Suppose -339*s + 1260 = -332*s. Does 6 divide s?
True
Let b = 57 + 39. Let o = 139 - b. Let n = o - 1. Does 14 divide n?
True
Let m be (-4)/(-10)*600/(-10). Is ((-50)/3)/(m/108) a multiple of 25?
True
Let m(s) = 2*s**2 + s - 18. Let b be m(-9). Suppose x + 2*g = b, -3*x + g + 132 = -2*x. Does 39 divide x?
False
Let k = 17 + -24. Let h(q) = q**2 + 7*q. Let x be h(k). Suppose -4*f = 4*w - 168, 2*f + 203 = 5*w - x*f. Is 27 a factor of w?
False
Let n = 359 - -532. Is 19 a factor of n?
False
Suppose 50*y - 83814 = 46836. Is y a multiple of 38?
False
Suppose -655 - 689 = -4*f. Suppose 30*l - f = 27*l. Is 8 a factor of l?
True
Suppose 1 = 2*z - 4*o + o, 5*o = 5. Let u be (-8)/(-5 - (z + -5)). Suppose -u*d + 20 = -3*d. Does 10 divide d?
True
Is 8 a factor of 90/60 + 9002/4?
False
Let v = 310 + -220. Suppose -t = -3*t + v. Is 10 a factor of t?
False
Let n(x) = 435*x + 7. Does 26 divide n(1)?
True
Let r = 4266 - 1170. Does 24 divide r?
True
Is 25 a factor of 730/2 + -11 + (21 - 8)?
False
Let p(b) = -b + 1.