- 18. Suppose 0*q - 32 = -2*p + 4*q, -q = 5. Suppose 2*f = -p*f - 120. Does 9 divide i(f)?
False
Suppose 9*b - 6015 - 735 = 0. Does 10 divide b?
True
Let q be 0/(2 - (1 + 0)*3). Suppose 5*h - 3*j = 482, h + q*j - 93 = 4*j. Does 22 divide h?
False
Suppose n - 73 = 2*n + 3*w, -2*n = -4*w + 146. Let j = 154 + n. Is j a multiple of 27?
True
Let a = -52 - -50. Is 14 a factor of (168/(-18))/(a/3)?
True
Suppose -515 = -5*t + 4*v, 0 = -4*t - 5*v + 144 + 309. Does 24 divide t?
False
Let t = 6 - 0. Suppose -282 = -5*n + 4*g, -2*n + 93 = -g + t*g. Let v = n - 36. Is 6 a factor of v?
True
Let r(f) = 12*f**2 - 13*f + 34. Does 48 divide r(10)?
True
Suppose 929 = 17*s - 193. Suppose -21*y + 24*y = s. Is 4 a factor of y?
False
Let p(q) = 38*q**2 - 100*q + 2. Is 6 a factor of p(6)?
False
Let x = 72 - 70. Suppose -17 = -l - 5*n, -x*n + 25 + 26 = 3*l. Does 4 divide l?
False
Let m be 0/(4 + -8) - -8. Suppose m + 29 = b. Is b a multiple of 20?
False
Let g be (-3)/3 - (-2 + -3). Suppose 0 = -2*b + g*a + 4, 2*a = -0*a - 2. Is 1*(8 - b/2) a multiple of 3?
False
Suppose -142 = -4*d + 2*q, 4*d + 0*q = -2*q + 146. Suppose 0*i - d = -i. Suppose -2*g + 136 = i. Is g a multiple of 17?
False
Suppose k + 12 + 8 = 5*w, -4*k + 5*w - 5 = 0. Suppose 0 = -k*s - 3*g + g + 808, 3*g - 332 = -2*s. Is 40 a factor of s?
True
Let a = 55 + -45. Suppose -a*d + 860 = -1490. Is 47 a factor of d?
True
Does 20 divide (-4)/(-14) - 225260/(-490)?
True
Let s be 3304/10 + (-3)/(-5). Let b = s + -205. Does 28 divide b?
False
Let j(n) = n**3 + n**2 - 2 + 6*n + 2*n - 11*n - 5*n**3. Let z(s) = -s**2 + 7*s - 8. Let p be z(6). Is j(p) a multiple of 13?
False
Suppose -w + 697 + 661 = -5*m, -4*m = -8. Is w a multiple of 17?
False
Let h = 3 + -1. Suppose 2*s + 8 = -h*s. Is ((-33)/3)/(s/2) a multiple of 5?
False
Suppose -4*h - 17 = -1. Let c be (-1)/h + 2524/16. Suppose 34 + c = 4*p. Is 24 a factor of p?
True
Suppose -7*w = -162 - 937. Is w a multiple of 4?
False
Suppose 4*g - 3*g = -4*f + 204, -3*f - 5*g = -153. Let w be f/45 - (-2)/(-15). Suppose 4*r - 38 = -5*n, r + 12 + w = n. Is n a multiple of 2?
True
Suppose 3*g - 1203 = -3*t, -2*g = -7*g + 5*t + 1955. Suppose 10*q + g = 14*q. Does 9 divide q?
True
Is -1054*(12/(-16) + (-7)/(-28)) a multiple of 17?
True
Let c(d) be the first derivative of d**4/2 - 7*d**3 - 5*d**2/2 + 6*d + 35. Is c(11) a multiple of 12?
True
Let o = -997 - -2594. Does 26 divide o?
False
Suppose -78 = -4*j - 2*b, b + 3*b = 12. Suppose 5*u - j - 7 = 0. Suppose c = -4*c - 4*i + 108, 5*i = -u*c + 110. Is c a multiple of 5?
True
Let m(t) = 90*t + 6. Let q be m(3). Suppose -6*g + 4*g + q = 0. Does 25 divide g?
False
Is 31 a factor of 84721/105 - 14/(-105)?
False
Let t(z) = z**2 + z - 8. Let p be 3/2 - (-195)/30. Let d(w) = -w**2 + 9*w - 1. Let c be d(p). Is t(c) a multiple of 12?
True
Is 9 a factor of (-3)/((-63)/1032) - (-1)/(-7)?
False
Suppose -6*n + 5 = -5*n. Suppose 2*k - n*c - 77 = -2*k, 3*k + 5*c - 14 = 0. Suppose 2*a = 3*a - k. Does 4 divide a?
False
Suppose 6*q = 1933 + 125. Is q a multiple of 7?
True
Suppose 3*g - 229 = -37. Suppose 0 = -3*w - 4*o + 142, w - g = -0*o + 2*o. Does 9 divide w?
True
Let z = -361 + 430. Does 3 divide z?
True
Let a(f) = -8*f - 4 - 10*f**2 + 9 + 5. Let k be a(4). Let w = -120 - k. Does 21 divide w?
False
Suppose -z - 152 = -6*z - 3*y, -2*y = -5*z + 157. Suppose 4*f - z - 17 = -o, 0 = -5*f + 10. Is o a multiple of 20?
True
Suppose 0 = -23*p + 29*p - 4350. Does 9 divide p?
False
Suppose 2*y - 370 = 364. Is 27 a factor of y?
False
Suppose 0*n + 2 = 2*n. Let z be n/(-3 + (-70)/(-25)). Is 1/z + 1248/15 a multiple of 12?
False
Suppose -308 = 3*t - 110. Let p = 122 + t. Suppose -b + 32 + p = 0. Is 25 a factor of b?
False
Suppose 3*i = 314 - 41. Suppose 3*d - 382 + i = 0. Suppose 0 = 3*y - d + 13. Is 18 a factor of y?
False
Let l = 897 - -34. Is l a multiple of 47?
False
Let o(m) = 2*m**2 + 54. Let x be o(0). Is 11 a factor of 2586/x + 2/18?
False
Let r = 357 - 279. Is 2 a factor of r?
True
Let j(v) = -v**2 + 10*v - 16. Let z be j(7). Suppose 3*c = -z*c + 576. Is c a multiple of 24?
True
Let z be (8/(-14))/(6/(-21)). Suppose -27 = -z*p - p. Does 9 divide p?
True
Let p = -196 - -221. Does 5 divide p?
True
Suppose 9*n + 113 = -76. Let h = 399 + n. Does 31 divide h?
False
Let q(d) = 2*d**2 + 7*d + 2. Let g be q(-3). Let v(p) = 7*p**3 - p**2 - 4*p - 4. Let s(y) = y**3 - y - 1. Let w(k) = 3*s(k) - v(k). Is 3 a factor of w(g)?
False
Suppose 5*k + 4*d = 1883, -385 = -k - 0*k - 5*d. Is k a multiple of 5?
True
Suppose 4*o - 1 = 3*o, 144 = -4*k - 4*o. Let a = -31 - k. Does 6 divide a?
True
Suppose -2*u - 48 = 3*y, 4*y + 34 = 4*u - 30. Is 8 a factor of (8/y)/((-1)/16)?
True
Suppose 2*s + 10*s - 15480 = 0. Is 10 a factor of s?
True
Suppose -22*d + 30*d - 10864 = 0. Is d a multiple of 97?
True
Let t = -24 - -21. Let y be (t/6)/((-1)/(-16)). Is 14 a factor of ((-74)/8)/(2/y)?
False
Let q be 2/(-4) - 2945/38. Is 13 a factor of (q/9)/(4/(-66))?
True
Suppose -6*f - 14 = 4. Let u(c) = 8*c + 7. Let h be u(f). Is 14 a factor of (-1)/(2/6) - h?
True
Suppose 1 = -2*p + 11. Let m(u) = 14*u - 7. Does 9 divide m(p)?
True
Let d(m) = 35*m**2. Let v(c) = 53*c**2. Let j(x) = 8*d(x) - 5*v(x). Suppose -3*t = -8*t - 5. Does 4 divide j(t)?
False
Suppose -x - 4*o = 20, 5*x - o = 4*o + 25. Suppose x - 186 = -2*f. Suppose 3*w + a - f = -2*a, -3*a + 29 = w. Does 8 divide w?
True
Let x(q) = -q - 7. Let k be x(-10). Suppose -4*t + 1120 = 5*j, -5*t - 434 = -k*j + 201. Suppose 0 = -5*i + j - 15. Does 16 divide i?
False
Let n = 86 - 96. Does 11 divide (-4)/(-8) + (-655)/n + 0?
True
Let x(s) = 156*s - 315. Is x(10) a multiple of 74?
False
Let t(g) = 374*g - 737. Is t(8) a multiple of 55?
True
Let i = -28 + 28. Suppose i = -2*h + 8, -5*h - 251 = -5*n - 46. Does 34 divide n?
False
Let l be (-320)/30*(-3)/2. Suppose -l - 180 = -u. Suppose u + 8 = 3*b. Is 16 a factor of b?
False
Is 72 a factor of 432/((3/(-3))/(-1))?
True
Suppose -9 = m + 2*p - 115, -3*m + 328 = -4*p. Does 8 divide m?
False
Let d(k) be the first derivative of k**2/2 + 3*k - 3. Let g be d(0). Suppose 0 = 4*h - 5*o - 117, 159 = g*h + 2*h - 2*o. Is h a multiple of 21?
False
Let v(m) = -m**2 - 3*m + 4. Let t be v(-5). Let k = -1 - t. Suppose -4*l - 25 = -k*l. Is 25 a factor of l?
True
Let w be ((-4)/(-3))/(5/330). Suppose 5*d + 269 = 3*x + w, 2*d + 289 = 5*x. Is x a multiple of 19?
True
Let u be (-4)/30*9*(-50)/15. Suppose 1316 = 5*d - 6*a + 2*a, 3*d - 788 = u*a. Does 33 divide d?
True
Let i(y) = -7*y + 5*y - 7*y**2 - y**3 - 9*y + 8. Does 32 divide i(-8)?
True
Suppose 2*u - 125 = 5*m, 2*u - 3*m - 62 = 69. Does 7 divide u?
True
Let i be (-10)/(-5) + (2 - -1). Suppose -i*b + 6 = -4. Is 2 a factor of b?
True
Let v = 245 - 161. Let y be ((-7)/7)/((-3)/9). Suppose y*a = -0*a + v. Is a a multiple of 6?
False
Suppose x = -4, -x = 6*j - 2*j - 16. Suppose -j*l + 2*i = -65, 2*l + 3*i = 7*l - 65. Does 2 divide l?
False
Suppose -4*y + 3*v = y - 19, -y = 5*v + 13. Does 20 divide (10/3)/(y/72)?
True
Let v = -2 - -34. Let f = 110 - v. Does 26 divide f?
True
Suppose -5*n = -5*h + 10, 5*h = 13 + 12. Suppose 2*b - x - 429 = -2*x, -n*b + 2*x + 640 = 0. Suppose 2*r = -f - 0*f + 50, -r + b = 5*f. Is 21 a factor of f?
True
Is 3 a factor of (589/124)/(1/152*2)?
False
Suppose -13*l + 11*l + 5*c = -118, 5*l - 278 = 4*c. Does 3 divide l?
True
Let t = 35 - -90. Is 5 a factor of t?
True
Let w = 104 + -103. Suppose 71 + w = 4*l. Does 2 divide l?
True
Let c = 190 - 362. Let y = c + 272. Does 18 divide y?
False
Let a be (-4)/26 + (-441)/91. Is (35 - (-4 - a))/(5/10) a multiple of 4?
True
Suppose -24 - 45 = 3*h. Let l = 56 - h. Is l a multiple of 33?
False
Let h = -279 + 339. Is 2 a factor of h?
True
Suppose 4*k - 8 = 2*k - y, -k - 1 = -2*y. Suppose 1 + k = -a. Does 20 divide 60/(-2)*a/6?
True
Let g = -21 + -5. Let n be 5/2*2*-2. Is 7 a factor of -13 - n - (g - 0)?
False
Suppose 5*n - f = 3*f - 190, -3*n - 5*f - 151 = 0. Does 22 divide (11 - 2)/((-9)/n)?
False
Suppose g + 6 - 4 = -2*z, 5*z = -3*g - 1. Suppose -3*o + 12 = -0*o, 3*w - 5*o + g = 0. Suppose -w*r + 4 + 48 = 3*i, i - 24 = -2*r. Is r a multiple of 10?
True
Let y(r) = -303*r + 3. Let q be y(-4). Suppose -4*d = -d - q. Suppose 5*c - d = -0*c. Does 24 divide c?
False
Is 20/6 - 24/18 - -116 a multiple of 2?
True
Su