a**2 + 24*a - 9. Is s(y) a multiple of 12?
False
Suppose 2*q = 3*s + 47746, -55*s = -3*q - 52*s + 71616. Is 11 a factor of q?
True
Let o be (1 - 3) + 2 + 1. Suppose 5*j + 3*y - 2 - o = 0, 20 = 4*j - 2*y. Suppose 3*x + 2*f = 61, 0*x - 4*x + 104 = -j*f. Is 16 a factor of x?
False
Let z = 3 - 10. Let r(f) = 6*f**2 + 16*f + 6. Let t be r(z). Suppose 164 = 4*c - t. Is c a multiple of 44?
True
Let n(l) = 7*l - 30. Let p be n(5). Suppose 0 = r - p*z - 600, z + 2527 = 5*r - 473. Is r a multiple of 50?
True
Suppose 9 = -7*h + 10*h. Let z(a) = 35*a - 2. Let n(f) = 36*f - 1. Let o(v) = h*z(v) - 2*n(v). Does 15 divide o(3)?
False
Let r = 375 + -5. Let u = -162 + r. Is u a multiple of 16?
True
Let u(v) = -v**2 - 23*v - 18. Let f be u(-18). Let t = f + -61. Let q(z) = z**2 - 6*z + 1. Is q(t) a multiple of 8?
True
Is (-7 + 4 + -5)*(-17703)/18 a multiple of 49?
False
Suppose -3*j - 4*v + v - 267 = 0, 5*v + 273 = -3*j. Let f = -91 - j. Does 15 divide (144/f)/(18/(-15) + 1)?
False
Suppose d = -m + 181, 2*m + m = 5*d - 865. Suppose -12*o = -8*o - d. Does 9 divide o?
False
Let w = -3670 - -6559. Is w a multiple of 28?
False
Let d = 5019 + -3183. Is 36 a factor of d?
True
Is (-10 + -166974)/(-4) + 1/(-1) a multiple of 269?
False
Let n = -15 - -9. Let d(x) be the second derivative of -x**5/20 - 5*x**4/12 - x**3/6 + 6*x**2 - 25*x. Is d(n) a multiple of 23?
False
Does 97 divide 327*80/60*238/8?
False
Suppose -5*s - y = -5*y + 25, 2*s + 3*y = -33. Let n(g) = -6*g - 4*g + 12 - 30. Is n(s) a multiple of 18?
True
Let v(x) = 4*x + 37. Let o(h) = 4*h + 38. Let c(n) = 5*o(n) - 4*v(n). Let a be c(-10). Suppose 104 = 3*m - a*r, 3*m + 3*r = 8*m - 175. Is 16 a factor of m?
False
Let s = -18146 - -28724. Is 178 a factor of s?
False
Let n(v) = 2*v**3 - 10*v**2 + 8*v - 1. Is n(13) a multiple of 60?
False
Suppose 40*q + 119*q - 389412 = 72*q. Is q a multiple of 27?
False
Does 13 divide 19223 + -2 + 2 + 159 + -168?
True
Let l be (742/(-4))/((-4)/(-8)). Let u = -121 - l. Does 25 divide u?
True
Suppose -5*n = 2*f - 73862, -2*f - 6993 - 22535 = -2*n. Does 10 divide n?
True
Let x = 176 - -726. Is 11 a factor of x?
True
Suppose 641 = 10*a + 121. Suppose -2*j + 100 = 3*y, -j + 0*y + a = y. Is j a multiple of 14?
True
Let k(i) = 2*i**3 + 2*i**2 + i + 1. Suppose 0 = 5*m + 11 - 1. Let x be (-3)/(2/4*m). Is 19 a factor of k(x)?
True
Suppose -1866*p - 2*l + 472 = -1865*p, 0 = p + 4*l - 484. Does 24 divide p?
False
Suppose 65905*b - 91942 - 30278 = 65887*b. Is 70 a factor of b?
True
Let a(g) = 7*g + 4. Let c = 81 - 63. Let k be a(c). Suppose -5*d = -3*v + 458, 0*d + k = v + 4*d. Does 15 divide v?
False
Let y(n) = -3*n**2 - 52*n - 45. Let i be y(-17). Suppose -2*x - 106 = -3*d, -170 = -9*d + 4*d + 5*x. Let u = d + i. Is 5 a factor of u?
True
Let y = -45 - -63. Suppose v = -0*v + y. Is v a multiple of 6?
True
Let n(k) = -2*k**3 - 6*k**2 - k + 4. Let f be n(-2). Is f*1*2596/(-88) a multiple of 6?
False
Suppose -72 = 7*s - 2116. Suppose -2*n = 5*f - 280, 3*f = 2*n + 5*f - s. Is n a multiple of 15?
True
Let x be 1/5*150/6. Suppose d = 2*j + 26 + 10, x*j = 3*d - 111. Is d a multiple of 37?
False
Is 14 a factor of (-14 + 7/3)*-456?
True
Suppose -34*g + 39*g + 380 = 0. Let q = 75 + g. Let x(r) = -90*r**3 + 3*r**2 - 2. Is 7 a factor of x(q)?
True
Does 2 divide (790/(-6))/(950/(-3420))?
True
Suppose 5*t + 0 = 5, 5*o = t + 769. Let b = o - -480. Is 11 a factor of b?
False
Let k be 1*2*(-612)/18. Let q = -66 - k. Suppose -4*x - q*i + 128 = 0, -5*x - 3*i + 134 = -7*i. Is 15 a factor of x?
True
Let q(d) = 96*d - 202*d + 105*d + 8. Let x be q(-2). Let k = 27 + x. Is k a multiple of 4?
False
Suppose -15*k + 594 = -21*k. Let j = 381 + k. Is j a multiple of 47?
True
Suppose 3*i - 224316 = -186*i + 3*i. Does 18 divide i?
True
Suppose 2*n = -2*u + 16, 3*n - 3 = 4*u - 14. Suppose 2*t + 3*x = n*t - 1, -2*x = -5*t - 21. Does 7 divide ((-496)/10)/(-4) + 2/t?
False
Let t be ((-3690)/4)/(45/(-12) - -3). Suppose 2*i - 2*v + 246 = 3*i, -t = -5*i + v. Is i a multiple of 8?
False
Let s = 72230 - 40358. Is s a multiple of 32?
True
Let g(s) = -s**2 - 11*s + 8. Let h be g(8). Let t = -94 - h. Suppose -w - 2*c + 14 = -t, 4*c + 152 = 3*w. Is 7 a factor of w?
True
Let f(w) = -w**2 - 12*w. Let q be f(-17). Let g = q - -99. Suppose g*t = t + 2873. Does 13 divide t?
True
Let o(m) = -2*m - 32. Let x be o(-21). Does 7 divide (1*x/20)/(2/1948)?
False
Suppose 20 = -4*w + 16, -c - 5 = -w. Is (-72)/(-4 + ((-31)/14 - c)) a multiple of 56?
True
Suppose 3*p + 4 = h + 1, -4*h + 12 = 5*p. Suppose p = 26*k + 9371 - 39531. Is 58 a factor of k?
True
Suppose 3*n - 3*u - 111 = -0*u, 5*n = -u + 173. Suppose -n = 3*d - 2*s, 0 = -4*d + s - 2*s - 32. Does 4 divide ((-6)/d)/(1/51)?
False
Suppose 0 = 9*m - 4824 - 20502. Is m a multiple of 53?
False
Suppose -12*p + 42*p = 11*p + 41401. Does 14 divide p?
False
Let o(i) be the third derivative of i**6/40 - 7*i**5/60 - i**4/24 + 2*i**3/3 + 35*i**2. Is o(5) a multiple of 13?
False
Let u = -220 + 317. Suppose -2*r = 5*k + 284 + 135, k + u = 4*r. Let n = 233 + k. Is n a multiple of 37?
True
Suppose 4*j + 0*j = -3*x + 8121, 3*j = -9. Is x a multiple of 14?
False
Suppose -5*a - n = -57938, 0 = 563*a - 558*a - 4*n - 57948. Is 61 a factor of a?
False
Let j(n) = n**3 - 8*n**2 - 20*n - 16. Let d be j(10). Let t = 26 + d. Is 3 a factor of ((-132)/t)/(32/(-80))?
True
Is 5 + 1902/17 + (-4)/(-34) - -2 a multiple of 28?
False
Let i(n) = 6*n**2 + 0*n - 104 + 16*n + 39. Is i(5) a multiple of 15?
True
Suppose -23*u + 2950740 = 107*u. Is u a multiple of 9?
True
Let k = -3313 - -5448. Is 5 a factor of k?
True
Let z = 240 + -237. Suppose -4*v = p - 171, z*p - 4*v + 27 - 460 = 0. Does 20 divide p?
False
Suppose -3*p = 2*l + 1472 + 63, -l = 2*p + 1023. Does 6 divide (-3)/(8 + -5) - p/1?
True
Suppose 462*c - 472*c + 1850 = 0. Is 3 a factor of c?
False
Let r = 313 - 311. Suppose 0 = -r*w - 4*g + 1430, 7*g - 10 = 5*g. Is 57 a factor of w?
False
Let s be ((-6)/7*4)/((-2)/21). Let d = 76 - s. Is 10 a factor of d?
True
Let x(j) = -j**3 - 9*j**2 + 18*j + 77. Let y = -644 - -632. Is x(y) a multiple of 45?
False
Let v(z) = z**3 + 12*z**2 - 18*z - 3. Let t be ((-13)/(-2))/(-2 - (-12)/8). Let c be v(t). Suppose 2*s + 10 - c = -2*a, 5*s - 124 = -2*a. Is 6 a factor of s?
True
Let q = 55 + -59. Let l(x) = -10*x - 6 - 1 + 3 + 3. Is l(q) a multiple of 9?
False
Suppose -2*z + 3 - 7 = 0. Let x be (27 + 1)/1 + z. Suppose -x - 22 = -8*m. Is m a multiple of 6?
True
Let o be (0 - 6/(-15))/((-5)/(-4325)). Let l = -4 + o. Does 9 divide l?
True
Is 127 a factor of ((-3 - -686)*(-42)/84)/((-1)/44)?
False
Let m(a) = 89*a - 15. Suppose 10 = 2*q + 3*p, -6*p + p = 3*q - 16. Suppose -5*h = -6*h + q. Is 45 a factor of m(h)?
False
Let u = -74 + 78. Suppose 5*y - u*m = 12, -18 = -4*y + y - 3*m. Suppose y*p - 78 - 90 = 0. Does 3 divide p?
True
Let g = -1664 - -2599. Is g a multiple of 7?
False
Suppose -5*v + 806 = -3*v + m, -5*v + 12*m = -2015. Is v a multiple of 15?
False
Let x(u) = 556*u - 202. Is x(6) a multiple of 45?
False
Let v be 18/(-15)*(-700)/60. Suppose -11*k - 5*z - 1690 = -v*k, -3*k - 4*z = -1726. Does 38 divide k?
True
Let l(y) = -3*y + 1. Suppose z = 2*u - 2, -4*u + 10 = -0*z - z. Let w = 2 - z. Is 2 a factor of l(w)?
False
Let g(k) = 3*k**2 + 6*k - 25. Let a be g(12). Let q = -315 + a. Is q a multiple of 9?
False
Suppose -33*y + 131988 + 140010 = -260325. Is 25 a factor of y?
False
Let n(w) = -w**3 + 7*w**2 + 6*w - 3. Let h be n(9). Let g = h + 116. Suppose -15 = 5*y, 3*b - g*y = -0*y + 684. Does 20 divide b?
False
Let s = 49 - 47. Let a = 4 - s. Suppose k - 5*v - 60 = 0, -4*k + 192 = a*v - 6*v. Does 8 divide k?
False
Let z(r) = -r**3 + 13*r**2 - 37*r + 1. Let x be z(6). Suppose -4*w - 3*i = -1215, 0 = -w - x*i + 29*i + 310. Is w a multiple of 5?
True
Let y(x) = x**3 - x**2 + 9*x. Suppose -d + 4*a = 0, -3*a = d + 2*d - 15. Does 3 divide y(d)?
True
Let f(x) = -9*x - 28. Let n = 15 + -19. Let l be (n - -3)*(0 - -9). Is f(l) a multiple of 5?
False
Suppose -2*c + 88 = -5*s, 5*s - 2*c + 86 = 2*c. Is 30 a factor of 32/144 - (12416/s + 0)?
True
Let l(m) = m**3 - m**2 + 4*m - 7. Is l(8) a multiple of 22?
False
Suppose y = -4*o + 8, -o - 12 + 1 = -3*y. Suppose -m + 52 = 3*f, -4*m - y*f = -m - 176. Does 4 divide m?
True
Let j = -2 - -19. Let t = j - 12. 