 Is 7 a factor of r?
False
Suppose 71*g - 21 = 64*g. Suppose g*d + 2*y - 1967 = 0, 5*d - y + 243 = 3543. Does 17 divide d?
False
Suppose -4*p + 14*u - 11*u = -161710, 0 = 5*p - u - 202132. Is 29 a factor of p?
True
Let r = -58 - -61. Let w(b) = 289*b + 17. Let z be w(r). Suppose z = 17*x - 4*x. Is 15 a factor of x?
False
Suppose -b + 2*a + 1038 = 3*b, 766 = 3*b + a. Let j = b + -13. Is j a multiple of 40?
False
Suppose 0 = -4*x + 296 + 132. Let b = x - 7. Does 20 divide b?
True
Let p(v) = 89*v - 99. Let w be p(7). Is (w + -3 - -2)/1 a multiple of 27?
False
Let b(o) = -o**2 + 67*o + 23. Let x(f) = -f**2 - 68*f - 22. Let c(g) = -2*b(g) - 3*x(g). Does 19 divide c(-18)?
True
Suppose -67325 = -2*p - 5*v, -2*p - 181*v = -178*v - 67315. Is 66 a factor of p?
False
Suppose -3*m = m - 8, 0 = j + 4*m - 34. Suppose 4*n - 577 = -p, -j*n + 23*n - 4*p = -423. Is n a multiple of 5?
True
Let x = -10 - -8. Let q(z) = z**3 - 14*z**2 - 30*z - 20. Let i be q(16). Is 13 a factor of 177/i - x/8?
False
Suppose 4*s - 174 = -58. Let a = -27 + s. Suppose -a*t = -2*h - 194, t - 3*h - h = 91. Is 11 a factor of t?
True
Let d be (96/(-336))/(1/7). Does 14 divide -2 - 17844/(-24) - d/4?
True
Does 7 divide 58 + -43 - (-666 + 0)?
False
Suppose 0 = 5*a + 27 + 8, -5*a - 52111 = -4*b. Does 96 divide b?
False
Let b(f) = 3*f - 19. Let n be b(12). Suppose 20*l - n*l - 252 = 0. Does 4 divide l?
True
Let x(v) be the third derivative of -13*v**4/3 - 13*v**3/3 + 42*v**2. Is x(-5) a multiple of 38?
True
Suppose -4*c + 23 = 5*a, -3*c + 10 = 5*a - 1. Suppose 2*k = t + 2, 4*k - 16 - c = 5*t. Let f(q) = -10*q. Is 30 a factor of f(t)?
False
Let q(x) be the second derivative of x**4/3 + x**3/3 - 35*x**2/2 - x + 112. Is q(5) a multiple of 4?
False
Let d(w) = 113*w**2 - w - 4. Let c(g) = 95*g**2 - g - 4. Let f(a) = 6*c(a) - 5*d(a). Suppose 5*u - 3*x = 29, u + 5*x = 3 - 14. Is f(u) a multiple of 12?
True
Let l(v) = 1086*v**2 + 45*v - 64. Does 11 divide l(3)?
True
Let j be (0 - 0 - -2632) + (-12)/(-3). Suppose 0 = 10*q + 686 - j. Is q a multiple of 90?
False
Let d = -44 - -29. Let i be 5/(d/(-2)) + 552/9. Suppose -g + i = g. Is 23 a factor of g?
False
Suppose -1080*i + 1047*i = -13728. Is 40 a factor of i?
False
Let h(z) = 4*z - 3 - 1 - 3*z**2 - z**3 + 1. Suppose 15*q - 219 = -309. Is h(q) a multiple of 9?
True
Suppose 0 = 2*f - f - 1192. Suppose f = 7*b + 184. Does 18 divide b?
True
Suppose -5*t + 40 = 4*n, -23 = 4*n - 7*n - 2*t. Suppose -3*p + 38 = 2*j, n*j + 3*p = 4*p + 129. Is j a multiple of 25?
True
Let r(o) = -2*o**3 + 10*o**2 + 12*o + 4. Let z be r(6). Suppose 3*t + 220 = s, 8*s - z*s - 850 = 2*t. Is s a multiple of 6?
False
Let r(m) be the second derivative of -15*m**3/2 + 129*m**2/2 + 2*m + 23. Does 37 divide r(-11)?
False
Suppose -22*g + 517 = -1375. Suppose v - 395 = -k, g = -v + 3*k + 501. Is v a multiple of 13?
False
Let k = 5461 + -389. Does 14 divide k?
False
Suppose 4*w = -4*y + 82424, 0 = 4*w + 2*y - 28126 - 54302. Is w a multiple of 23?
True
Let h(j) = -j**3 - 20*j**2 - j - 17. Let i be h(-20). Suppose i*t - 276 - 123 = 0. Suppose 0 = -3*x + 3*g + 213, 2*x - 7*g - t = -2*g. Does 19 divide x?
False
Suppose -3*f + 2*q = -f - 768, -3*f + q = -1152. Let w = 745 - f. Does 22 divide w?
False
Is 65 a factor of (-4998)/(-4) - (-420)/120?
False
Let y be ((-20)/8)/((-1)/26 - 0). Suppose y*j - 7374 = 22526. Does 20 divide j?
True
Suppose 20 + 12 = f - t, f = 3*t + 22. Does 34 divide 1 - (0 + -1 - (f - -19))?
False
Let w(u) be the second derivative of -7*u**3/6 + 7*u**2/2 - 81*u. Does 19 divide w(-18)?
True
Let h(f) = -4*f**2 - 7*f - 19. Let a be h(-9). Let c be (12/(-5))/(563/a + 2). Suppose -29*u = -22*u - c. Is u a multiple of 8?
True
Let n be 0/((9/(-6))/(1/2)). Suppose 20*r - 21*r + 362 = n. Suppose -r = -3*u + 184. Is 14 a factor of u?
True
Suppose -60*z = -47766 + 2166. Is 38 a factor of z?
True
Is 1853/(-109)*(-16)/1 a multiple of 2?
True
Let t(i) = -23*i**3 + 8*i**2 + 62*i + 1085. Does 233 divide t(-13)?
False
Let q = -92 + 96. Let p = q - -191. Is p a multiple of 15?
True
Let l(k) = -4 - k**2 - 1 + 13*k - 33. Let p be l(8). Suppose -2*o = -4*u + 652, 2*o = -p*u + o + 322. Is 14 a factor of u?
False
Suppose 368572 + 1656124 = 78*l - 487216. Does 194 divide l?
True
Let l(w) = -5*w**3 - 4*w**2 + 15*w + 300. Does 6 divide l(-12)?
True
Suppose 0 = -5*m + d + 1062, 84*m - 4*d = 82*m + 396. Does 7 divide m?
False
Suppose 0 = 44*d - 321957 - 652819. Is d a multiple of 38?
True
Let z(k) = 39*k**2 + 11*k - 32. Let i be (15/(-20))/(5/(-20)). Does 32 divide z(i)?
True
Suppose 39*h + 7526 - 43211 = 0. Is h a multiple of 15?
True
Suppose 0 = 5*z + 20*d - 15*d - 5190, -5*d - 1062 = -z. Does 6 divide z?
False
Suppose -m + 4*a + 20 = m, m + 11 = -5*a. Suppose 3 = -4*f - m*l + 47, 5*f - 4*l - 100 = 0. Suppose -3*s + f = -404. Does 28 divide s?
True
Let b(a) = 18*a**2 - 23*a - 14. Let g = 418 - 423. Is b(g) a multiple of 17?
False
Let x(y) = -y**3 + y**2 - 6. Suppose 6*k = 4*k. Let v be x(k). Is 14/(-21) - 910/v a multiple of 32?
False
Let a be (-10)/(2/(-6) + 4/3). Let p(g) = -g**3 - 11*g**2 - 12*g - 25. Let w be p(a). Let f = w - -45. Does 8 divide f?
True
Suppose 5*b + 2*u - 7*u - 8750 = 0, b + 5*u - 1768 = 0. Suppose -795 - b = -14*a. Is a a multiple of 31?
False
Let c = -3 - -20. Let q(h) = 5*h**2 + 5 - 3 + 4 - 2*h - c*h. Does 10 divide q(4)?
True
Let y = -11 + 836. Suppose -q - p = -453, -4*p - y = -2*q + 81. Is 10 a factor of 1/(-5) + q/15?
True
Suppose 15 = 3*r + 4*c, 4*r + 3*c = 1 + 12. Is 30 a factor of 25*r*(10 + -4)?
True
Let q(l) = -171*l + 1807. Does 122 divide q(-75)?
False
Suppose -5*t = 5*n - 150, n - t = -0*t + 30. Suppose -27*y + n*y - 12 = 0. Suppose 4*l - 4*k - 228 = 284, 391 = 3*l + y*k. Is 11 a factor of l?
False
Let b(i) = 2*i**3 - 53*i**2 - 52*i - 18. Is 11 a factor of b(28)?
False
Let s be (-3*1)/((-4)/268). Suppose 5*q = -3*g + 362, 5*q - 225 - 375 = -5*g. Let u = s - g. Is 10 a factor of u?
False
Let g(z) = -113*z**3 + 6*z**2 - 20*z + 11. Let i(x) = -38*x**3 + 2*x**2 - 7*x + 4. Let s(t) = 6*g(t) - 17*i(t). Is s(-1) a multiple of 3?
True
Let p = 56 + -45. Let y be (-2)/p + 27/(-33) - 4. Does 12 divide 3*y/30 + 394/4?
False
Let p = 3109 + 468. Does 14 divide p?
False
Let m = -29 - -30. Let p = 54 + m. Let i = p - 47. Does 4 divide i?
True
Let h = -123 + 125. Suppose h*d - 80 = -2*p - 2*d, -3*d - 215 = -4*p. Is 25 a factor of p?
True
Let k = -135 - 4. Let v = 188 + k. Does 3 divide v?
False
Let u(h) = -15 + 44*h - 32*h + 32*h + 35*h + 2*h**2 - 3. Is u(-44) a multiple of 14?
True
Let o = -66674 + 103194. Is o a multiple of 40?
True
Suppose -24581 - 12139 = -17*y. Is y a multiple of 10?
True
Let y(a) = 2*a - 3. Let q = 25 + -23. Let x be y(q). Is 5 a factor of 7/(-28) - (234/(-8) - x)?
True
Let y = -2010 + 3570. Suppose 212 = 2*x - y. Is 9 a factor of x?
False
Let t = -218 + 230. Is (2 - 1168)*(-12)/t a multiple of 106?
True
Suppose -2*l + 6*l - 4 = 0. Let n(o) be the first derivative of 19*o**3/3 + 2*o**2 - 2*o - 542. Is n(l) a multiple of 5?
False
Let g(w) = w**3 - 5*w**2 - 15*w + 9. Let y be g(7). Suppose 48 = -y*c + 14*c. Let s(p) = p**3 - 3*p**2 + 11*p + 4. Does 16 divide s(c)?
True
Let f(a) = a**3 - 25*a**2 + 24*a - 13. Let l be f(24). Suppose 25 = -5*j, -s - 3*j - 90 = j. Let q = l - s. Is q a multiple of 25?
False
Suppose 750838 = 47*m - 267417. Is m a multiple of 32?
False
Let l = -4 + 5. Let z(c) = -195*c**3 + 9*c**2 - 6*c + 3. Let o(n) = -66*n**3 + 3*n**2 - 2*n + 1. Let r(a) = 11*o(a) - 4*z(a). Does 13 divide r(l)?
True
Let d(a) be the first derivative of 23*a**3/3 + a**2/2 - a + 44. Is d(-4) a multiple of 33?
True
Let b = -612 + 2829. Does 82 divide b?
False
Let y(q) = -1361*q - 3476. Does 4 divide y(-11)?
False
Let s(b) = b**3 + b**2 + b + 58. Suppose -7*y + 6*y - 11*y = 0. Is s(y) a multiple of 7?
False
Suppose 3*s - 2*s = -4*y + 204, -4*s + 756 = 4*y. Suppose g = -3*g - s. Let t = g - -97. Is 17 a factor of t?
True
Let w = 7660 + -7634. Suppose -4*l + 32 - 4 = 0. Suppose 9*r = l*r + w. Is r a multiple of 3?
False
Is 2/20 - ((-4)/6 - (-884393)/(-2670)) a multiple of 27?
False
Suppose 59*l - 52*l - 1372 = 0. Let t = l + -189. Is t a multiple of 3?
False
Let u(y) = -3377*y - 429. Is 22 a factor of u(-7)?
True
Let r(z) be the third derivative of z**6/60 + z**5/