- 10. Let i(t) = -14*t + 29. Let d(c) = -6*i(c) - 17*x(c). Let q be d(-3). Let j(v) = 40*v**2 - 2*v. Does 21 divide j(q)?
True
Suppose -4*p - 4*w = -21024, 8*w = 5*p + 6*w - 26336. Does 31 divide p?
False
Let d(t) be the second derivative of -5*t**3/3 - 155*t**2/2 - 281*t. Does 11 divide d(-21)?
True
Let m = 2810 - 2113. Is m a multiple of 7?
False
Suppose -70*z + 348281 = -444119. Is z a multiple of 70?
False
Let v = 1123 + -2169. Let y = 1471 + v. Is y a multiple of 15?
False
Let i = -46 + 48. Suppose 0 = i*j - 2, 2*w - j - 1021 = 318. Is 35 a factor of w?
False
Is 25 - (144/(-16) + -12552) a multiple of 15?
False
Let p = 3 - -1. Let v(m) = 1 + 30*m + 13 - p*m + 7 - m**2. Is v(21) a multiple of 9?
True
Suppose -4*l - 472 + 176 = -4*s, 3*s - 2*l - 217 = 0. Suppose 4*d + 58 = 5*n - 102, 3*n - s = -3*d. Is 14 a factor of n?
True
Let r = 256 - 257. Does 87 divide 1050 - (7 - (0 - r))?
True
Is 10/(-7) + 1789540/140 even?
False
Suppose -24 = 16*g - 20*g. Suppose -5*l - 330 = -g*l. Suppose 3*v + l = 8*v. Is 6 a factor of v?
True
Let u(r) = -57 - 47 - 13 - 348*r. Is 15 a factor of u(-4)?
True
Suppose 0 = 3*w - 1139 - 8710. Does 7 divide w?
True
Let v(k) be the second derivative of 6*k**2 - 3*k + 5/3*k**3 + 0. Does 23 divide v(8)?
True
Let c = -146 - -149. Does 15 divide ((-1710)/24)/(c/(-12))?
True
Suppose -3316 = -28*z - 488. Suppose 2*l = -5*h + 348, -h - l + z = 32. Is 5 a factor of h?
True
Suppose -39 = -5*z - 4*l + 17, 0 = -5*l + 20. Let s be 2/z - (-350)/8. Let m = s - 8. Does 20 divide m?
False
Let t(g) = g**2 - 14*g - 55. Does 7 divide t(43)?
False
Let m(b) = 162*b**2 + 39*b + 104. Is m(-7) a multiple of 17?
True
Suppose -22*c = 6*c - 26*c - 67328. Is c a multiple of 14?
False
Suppose -5*m = -i + 4, 5*i - 20 = 7*m - 11*m. Suppose 2*y - 4 - 452 = m. Is y a multiple of 12?
True
Let m(p) = 309*p + 33008. Is m(0) a multiple of 8?
True
Let f(a) = -3*a**2 - a + 9. Let l be f(-2). Let c(y) = -702*y + 11. Is c(l) a multiple of 23?
True
Let w = -21 - -27. Let x(i) = 9*i - w*i**3 + 2*i + 4*i + 35*i**2 - 18 + 8*i**3. Does 8 divide x(-17)?
True
Suppose 0*u = -5*c - 2*u + 60, 0 = -c + 3*u + 12. Suppose 0 = -c*b + 83 + 25. Suppose 8*m = b*m - 58. Does 19 divide m?
False
Suppose -82 = 5*k + 183. Let d = -50 - k. Suppose d*u - 25 = -2*u. Does 2 divide u?
False
Let j be 605/3 - (-8 - 286/(-33)). Suppose 66*o - 255 = 61*o. Suppose -2*p = o - j. Does 6 divide p?
False
Suppose -2*j + 8704 = h, -13*h + 10*h - j + 26132 = 0. Is 11 a factor of h?
True
Let c be (-36)/(-45) - (-6)/5. Suppose c*p = x + 52, 2*p = -2*p - x + 92. Is p a multiple of 6?
True
Let m = 31094 + -29386. Is m a multiple of 7?
True
Suppose 389*d - 25615 = 342*d. Is 9 a factor of d?
False
Let j(z) = -31*z + 70. Let v be j(-5). Suppose 8*d = 849 - v. Does 13 divide d?
True
Suppose 247*r - 678*r = -8673444. Is r a multiple of 43?
True
Let d(y) = -300*y - 23. Let o(w) = -2*w**3 - 23*w**2 - 29*w + 9. Let f be o(-10). Does 35 divide d(f)?
False
Suppose 15*r + 15*r = 11*r + 533330. Is 24 a factor of r?
False
Let v = -23 + 28. Let m(d) = -d**3 - 9*d**2 - 14*d - 8. Let n be m(-10). Suppose -3*t - v*s + n = 0, 4*s = 4*t + 7*s - 313. Is 13 a factor of t?
False
Let p be (-150)/30*9/5. Is 3 a factor of (p + 7)/((-2)/68)?
False
Let j(n) = 4*n**2 - 16*n + 4. Let p be j(4). Suppose -3*o = -p*c - 2 - 5, -4*o = 5*c - 30. Suppose -2*i = -5*z - 57, c*i + i - 4*z = 75. Does 7 divide i?
True
Let y be ((-4)/6)/((-10)/135). Suppose -k + 11 = 3*a, 4*a - 3 - y = -4*k. Suppose -4*q = -2*g - 64, -a*q = 5*g - 2 - 48. Is 15 a factor of q?
True
Let l(v) = -10*v**3 + 176*v**2 - 10*v - 48. Does 18 divide l(10)?
True
Let u(j) = j**2 + j - 10. Let m be (-2)/(-12) + (-259)/42. Let n(o) = -o**2 + 1. Let a(p) = m*n(p) - u(p). Is a(4) a multiple of 16?
True
Suppose 8*x + 120 - 360 = 0. Let o = 89 + -34. Let z = o + x. Is z a multiple of 17?
True
Let g(j) = j**3 + 10*j**2 + 17*j + 13. Let i be g(-8). Suppose -2*n + 400 = -i*h, 9*n - 7*n - 4*h - 404 = 0. Is 5 a factor of n?
True
Let s be (-412)/(-14) - 21/49. Suppose 41 + s = m. Does 70 divide m?
True
Suppose 20*n = 5257 - 1817. Suppose 4*c = -4*h + n, -5*c + 2*h - 5*h = -217. Is c a multiple of 22?
True
Let m(a) = 14*a**3 - 3*a + 2. Let o be m(1). Let i be o - ((4 - 1) + -1). Suppose 0 = 5*y - i*y + 588. Is 17 a factor of y?
False
Suppose 94*n - 78670 - 44846 = 0. Does 18 divide n?
True
Suppose -7*i + 64684 - 14417 = 0. Is 167 a factor of i?
True
Is (25/(-25))/(171050/(-683848) - 1/(-4)) a multiple of 19?
True
Let x(n) = -n**3 + 5*n**2 + 8*n - 11. Suppose 0 = -6*p + 3*p - 2*l + 26, -l + 10 = p. Let s be x(p). Is (1 - -89*s)*(-16)/(-12) a multiple of 24?
True
Suppose 3*r = 6, 2*j - 2*r = -12 - 0. Is 6 a factor of 2204/(-57)*(j + (-2)/(-2))?
False
Let h(n) = 5*n**2 - 11*n**2 + 32 + 2*n + 7*n**2. Let d be h(0). Let p = 59 + d. Does 13 divide p?
True
Suppose 4*j = j - 2*x + 1265, 2*x + 840 = 2*j. Suppose -439 - j = -5*p. Is 19 a factor of ((-14)/(-21) - -1)*(p - 1)?
True
Suppose 11*x + 16 = 14*x + 2*d, 0 = -2*x + 5*d - 2. Suppose -o = f + 2*o - 129, -5*f - x*o = -590. Is 20 a factor of f?
False
Let y(t) = -765*t - 1256. Is 38 a factor of y(-10)?
False
Let h(c) = -4*c - 5*c + 24*c + 292 - 64 + 4*c. Does 38 divide h(-4)?
True
Suppose -23*d = -19*d + 2868. Let q = -503 - d. Is q a multiple of 16?
False
Let g = 372 - 208. Let t = -57 + g. Is t a multiple of 13?
False
Let s be (-7 - 154/(-21))/((-3)/27). Is 84/8*(s + 25) a multiple of 21?
True
Let g = 297 - 286. Suppose -14*t = -g*t - 1284. Is 14 a factor of t?
False
Is 160 a factor of 0 + (-4)/(-26) - (-11 - 7521525/351)?
True
Let x = 9982 + -3772. Does 11 divide x?
False
Let w(l) = 30 + 3*l**2 - 16*l + 7*l**2 - 9*l**2 + 19*l**2 - l**3. Does 14 divide w(8)?
False
Suppose 8268 = 13*l + 13*l. Suppose -l = 66*h - 72*h. Does 26 divide h?
False
Let u = -7469 + 7867. Is 149 a factor of u?
False
Suppose -3*x + 11455 = 4*z - 34487, -3*z - 5*x + 34462 = 0. Is z a multiple of 22?
True
Let h(d) = -d**3 - d**2 + 2*d + 3. Let x be h(0). Suppose -3*v = x - 18. Suppose -5*k + 2*j = 6*j - 72, v*j = 4*k - 74. Does 8 divide k?
True
Let g(r) = 41*r - 464. Let k be 132/242 - 390/(-11). Does 11 divide g(k)?
True
Suppose -5*l + 0 = -10. Suppose -6*c + l = -100. Suppose -h - 1 + c = 0. Does 3 divide h?
False
Suppose 174*j - 132*j - 819924 = 0. Is j a multiple of 86?
True
Suppose -3*u = 3*b - 20427, u - 24307 - 2920 = -4*b. Is b a multiple of 15?
False
Suppose 0 = -3*k - 5*i + 6, -3*i = 1 - 10. Is (-3 - k) + -7 + 432 a multiple of 17?
True
Suppose -566*u + 542*u + 675816 = 0. Does 29 divide u?
True
Suppose -5*u - 5*l + 158 = -7*l, 0 = 3*u + 2*l - 98. Is 36 a factor of (u/10 + 4)*15?
True
Let v(x) = 93*x + 1485. Is v(68) a multiple of 57?
True
Let j = -58 + 62. Suppose -4*n - j*x = -n - 89, 4*x = -2*n + 54. Does 12 divide n?
False
Let s = 11619 + -10178. Is s a multiple of 6?
False
Suppose -w - w - 47 = -3*y, -y - 5*w + 10 = 0. Does 8 divide (3 - (-30)/(-2))/(y/(-190))?
True
Suppose 0 = -1377*n + 1354*n + 185610. Is n a multiple of 10?
True
Suppose -q + 309 = -4*o, -3*q - 3*o = -175 - 752. Let g = 6804 - 6898. Let s = q + g. Is s a multiple of 43?
True
Suppose -277728 = 10740*s - 10752*s. Is 22 a factor of s?
True
Let m(t) = -4*t**3 - 2*t**2 + 1. Let h = 51 + -52. Let s be m(h). Suppose 0 = s*k + 3 - 99. Is k a multiple of 4?
True
Let t = -46 + 49. Suppose -t*y = y - 148. Suppose y + 43 = x. Is x a multiple of 18?
False
Suppose -30360 = -60*m + 49*m. Is 1/(14/m) + 8/(-56) a multiple of 38?
False
Suppose 0 = 8*a - 417 - 687. Suppose -5*f - a = -7*f. Is (-3 + f - -3) + 3 a multiple of 24?
True
Let n = 8277 + -5768. Is n a multiple of 13?
True
Suppose -54*t = -22562 - 23392. Does 29 divide t?
False
Let s(f) = -6*f**3 + f - 2. Let p be s(-2). Let h = 50 - p. Does 9 divide h/3 - 3 - -43?
False
Let g = 51 + -52. Let z be (g/(-2))/((-5)/(-20)). Suppose z*c - 3*c + 26 = 0. Is c a multiple of 13?
True
Suppose 36*n = -2503 + 11791. Suppose n = 2*h + 7*g - 5*g, h = -5*g + 129. Is 43 a factor of h?
True
Suppose 4*k - y = 681, 7*y = -5*k + 2*y + 820. Suppose -864 = -k*h + 168*h. Is h a multiple of 14?
False
Suppose 0 = -0*t + t + 8. Let n = 12 + t. Suppose -5*y = -3*c - 35 - 63, -c + n = 0. Is y a multiple of 4?
False
Let b = -27010 + 48668. Does 14 divide b?
True
Let s be (