*t + 59. Is 34 a factor of o(14)?
False
Is (7/(-35))/((-77)/350735) a multiple of 15?
False
Let z(g) = -324*g - 6152. Is 8 a factor of z(-44)?
True
Suppose -2*r + 15417 = t, 0 = 34*t - 31*t + 3*r - 46260. Is t a multiple of 12?
False
Let o(z) = -3*z - 48. Let u be o(-13). Is 13 a factor of ((-1)/(u/(-48)))/((-10)/450)?
False
Let k(q) = 205*q + 6. Let i be k(3). Suppose 11*p - i = -181. Suppose -p + 183 = 11*d. Does 13 divide d?
True
Suppose 4*l + 15172 = 4*w, 18*w + 18983 = 23*w - 7*l. Is w a multiple of 90?
False
Let w(f) = 4*f**2 - 13*f + 28. Let x be w(8). Is 80 a factor of (35/(-15) + 5)*x?
True
Suppose -2*z + 5*o + 9 = 0, 0 = -z - o + 1 - 0. Let b be (5 - (5 - 0))*z/(-4). Suppose -g = -5*g - 2*q + 38, b = -3*g - 4*q + 41. Is g a multiple of 6?
False
Suppose -4*v = -24, 21*v + 32502 = 4*p + 20*v. Does 63 divide p?
True
Suppose -5*k = 5*d - 1955, -4*k = 2*d - d - 391. Let z be (-20)/(-15) + 3 + 14/(-6). Suppose 4*r = -8, 7*g + 2*r = z*g + d. Is 4 a factor of g?
False
Let x(i) = 8*i - 121. Let o be x(34). Suppose -o = -t - 3*y, -2*y - 363 = -5*t + 409. Does 7 divide t?
True
Suppose 2*u = -5*k + 15602, -27*u = 4*k - 32*u - 12508. Is k a multiple of 16?
False
Let f = -1054 + 2185. Suppose 3*h - 1123 = 5*z, -z - 2*z = -3*h + f. Does 20 divide h?
False
Let y(q) = 14*q**2 + 4*q + 1. Let p be y(-3). Let s = -605 - -557. Let w = p + s. Is w a multiple of 16?
False
Let o = -12510 - -21515. Is 185 a factor of o?
False
Let o = 31145 + -17600. Is o a multiple of 15?
True
Is 69 a factor of (-88)/40 + 1 + (-63)/35 + 10914?
False
Let n be -4*(-15)/2*8/5. Suppose 4*c - 80 = -c. Let z = c + n. Does 21 divide z?
False
Suppose 2*x = -g + 1270, 0*x + 6357 = 5*g + 3*x. Let u = g - 836. Is 7 a factor of u?
False
Let q be 213 + (3*4/(-12) - -1). Let u(m) = m + 13. Let d be u(-6). Suppose -d*a + 81 + q = 0. Does 7 divide a?
True
Let o(j) = j**2 - j + 2. Let m be o(0). Let v(x) = 5*x**3 - 54*x**2 + 15*x - 37. Let w be v(11). Suppose w = m*s + s. Is 19 a factor of s?
False
Suppose -32*o + 42988 + 15487 - 1451 = 0. Is 99 a factor of o?
True
Let w be (3/(-5))/(5/150). Let v = 177 + w. Is 41 a factor of v?
False
Let u(k) = k**3 + 9*k**2 - 26*k + 426. Does 4 divide u(11)?
True
Suppose -16*a + 11*a + 62125 = 5*b, 3*a - 37307 = 5*b. Does 16 divide a?
False
Let b = 495 + -189. Suppose -678 + b = -3*o. Does 14 divide o?
False
Let g = 20 + -36. Let j be 17066/(-6) + g/24. Is 16 a factor of j/(-45) - (-4)/(-18)?
False
Let b = -72 + -140. Let f = 439 + b. Does 11 divide f?
False
Is (-121761)/(-27) + (-6)/9 + -1 a multiple of 14?
True
Suppose 4*w - 2 = 2*w. Let a(x) = -142*x + 26. Let u(n) = -48*n + 8. Let j(t) = 5*a(t) - 16*u(t). Does 25 divide j(w)?
False
Let l = -45 + 50. Suppose -l*k + 410 = -u - 2*u, 262 = 3*k - 5*u. Suppose -5*x - 2*p + k + 11 = 0, -x + 6 = -2*p. Is 4 a factor of x?
True
Suppose 0 = 9*l - 33 - 3. Suppose s = -l*s + 175. Suppose s*r = 30*r + 120. Is r a multiple of 4?
True
Let t(c) = c**2 + 5*c + 7. Let f be t(-4). Suppose -4*x - 1292 = 5*v, -f*v - 509 + 1769 = -4*x. Let b = 498 + x. Is b a multiple of 30?
True
Suppose 65*k - 34*k - 52392 = -146*k. Is 3 a factor of k?
False
Let k = 6800 - 6079. Does 4 divide k?
False
Let f = 19 + -23. Let m be ((-15)/(-2))/(-1)*f/(-3). Does 4 divide (-24)/5*m*1/3?
True
Suppose 0*u = 3*r + 3*u - 18, 0 = -5*r + 4*u + 39. Let g(b) = 8*b - 25. Is 7 a factor of g(r)?
False
Suppose -16*z = 12050 + 3230. Let b = z - -1410. Does 65 divide b?
True
Let q(a) = -a**3 - 6*a**2 - 8*a + 4. Let n be q(-4). Suppose 2*j + j = n*w - 5, 4*w + 3*j - 35 = 0. Suppose 26 = -w*x + 226. Is 10 a factor of x?
True
Suppose 0 = 20*v + 8 - 88. Suppose -v*x = -3*f + 856, 4*f - 6*x - 1144 = -2*x. Is f a multiple of 48?
True
Let u be (-10112)/(-44) - 8/(-44). Let q = u + -102. Is 4 a factor of q?
True
Let n = -1401 - -2598. Is n a multiple of 33?
False
Let v = -753 + 1294. Suppose 2*n + 544 = 2*a, -3*n - v = -a - a. Is a a multiple of 36?
False
Does 59 divide (-64)/192 + (-101245)/(-3)?
True
Let z(h) = -124*h - 240. Let q = -194 + 189. Does 10 divide z(q)?
True
Suppose 30*r - 305 = 295. Let c(w) = w**3 - 21*w**2 + 56*w + 14. Does 19 divide c(r)?
False
Suppose -10*a + 10 = -5*d - 8*a, -a + 5 = -d. Let j(t) = -6*t + t - t + 119. Is j(d) a multiple of 7?
True
Let z(c) = 4*c + 7. Let i(o) = -5*o - 7. Let s(w) = -6*i(w) - 7*z(w). Let d be s(11). Does 20 divide 40/(-3*(-5)/d)?
True
Let g be 11/((-33)/1326)*1. Let t = g - -766. Is 13 a factor of t?
False
Let g be (1 + -1)/2 + 17. Suppose g*q = 11*q + 960. Is q a multiple of 8?
True
Is 15 a factor of 250/1 - (-4)/(8/14)?
False
Let z = 2037 - 1973. Suppose 2*t = -5*a - 11, -4*t - a + 3 = 4*a. Suppose 3*u = 4*r + u - z, r - t = 5*u. Is r a multiple of 3?
False
Let z(c) = -c**2 + 5*c - 1. Let w be z(2). Suppose -w*t + 404 = 179. Is 6 a factor of t?
False
Let q(g) = -g + 42. Let u = -213 + 229. Is q(u) a multiple of 4?
False
Let i(y) = y**3 - 2*y**2 - 2*y + 6. Let u be i(4). Suppose 9*z + 96 = -u. Let g(b) = -b**3 - 12*b**2 + 18*b - 9. Is 26 a factor of g(z)?
False
Suppose -6*v = -11*v + 5*b + 5, -5*v + 3*b = 1. Let k(r) = -29*r**3 + r**2 + 3*r + 6. Let c be k(v). Suppose -20 = -4*j + c. Is 8 a factor of j?
True
Let r(z) = -7*z**2 + 12*z. Let l be r(5). Let i = l + 136. Suppose 0 = -2*o + 41 + i. Is o a multiple of 2?
False
Let o be (-1223)/(-5) + (-4)/(-10). Suppose -47*t + 48*t - 811 = 0. Suppose 0 = 6*g - o - t. Is 16 a factor of g?
True
Suppose -3331 + 74675 = 37*l - 29*l. Does 26 divide l?
True
Let t(k) = 15*k**2 + 55*k + 27. Is 3 a factor of t(-4)?
False
Suppose 5*m = -5*k + 18 + 77, -5*m + 3 = k. Let h = -13 + k. Suppose h*j = 5*j + 260. Is j a multiple of 13?
True
Let b = 526 - 133. Suppose 0 = x - 4*o - 69, 5*x + 64 = 4*o + b. Does 13 divide x?
True
Let h = 16 + -9. Is 2 a factor of -2 - -2 - (-78)/(h + -5)?
False
Let y(c) = 156*c + 946. Is y(20) a multiple of 10?
False
Let u(q) = -5*q**2 - 17*q - 21. Let p(k) be the third derivative of k**5/30 + k**4/4 + 7*k**3/6 + k**2. Let y(w) = 8*p(w) + 3*u(w). Does 11 divide y(9)?
False
Suppose -k - 4333 = -2*x + 3091, 0 = -3*x + k + 11134. Is 106 a factor of x?
True
Let n = -950 + 6181. Is 3 a factor of n?
False
Let j(i) = 6*i**2 - 11*i - 20. Does 9 divide j(14)?
False
Let h be 10*3/(-6)*-2. Suppose h*n = 11*n - 50. Let p = n - 8. Is 20 a factor of p?
False
Let i(s) = 3*s**3 + s**2 + s - 3. Let w be i(5). Suppose -2*o - w = 4*o. Let k = 94 + o. Is k a multiple of 4?
False
Let t(i) be the third derivative of -i**6/60 + i**5/20 - i**4/12 - 2*i**3/3 + i**2 - 2. Is t(-4) a multiple of 14?
False
Suppose 3764 - 594 = 10*q. Let z = -79 + q. Does 17 divide z?
True
Let u = 47 - 35. Suppose u*b - 4*b = 0. Suppose b = -6*f + 5*f + 225. Is f a multiple of 25?
True
Suppose 5*v = -2*h - 3*h - 5, 2*v - 4*h = 28. Suppose -135 = -5*o - 5*b, 113 = -0*o + v*o + 3*b. Suppose 2*t - o = -x - 5, t = 5*x + 30. Is 3 a factor of t?
True
Let z = -30 + 26. Let y be (-1 - 18/z)/((-1)/(-2)). Is 10 a factor of 562/y + (-2)/7?
True
Let n(y) = y**3 - 2*y**2 - 10*y - 15. Let d be n(-7). Let k = d - -597. Suppose -3*i = 5*q - k, 2*i + 3*i - 51 = -q. Is q a multiple of 4?
False
Suppose 48*m + 300 = 50*m. Suppose 5*y = 4*g + 1163, -145*y - 1151 = -m*y - 2*g. Is y a multiple of 3?
True
Let t(z) = 15*z + 11. Let s(l) = 14*l + 10. Let a(u) = 6*s(u) - 5*t(u). Let q be a(0). Suppose -366 - 799 = -q*j - 4*p, 0 = -p - 5. Does 29 divide j?
False
Let k = 102 + -106. Let x(l) = 41*l**2 + 2. Is 68 a factor of x(k)?
False
Suppose 132 = 2*z - 252. Let h = z - 120. Is h a multiple of 2?
True
Suppose 4*h + l = 18095, 3*l - 1251 + 5778 = h. Does 39 divide h?
True
Let q(d) = 3*d**3 + 13*d**2 - 56*d + 14. Is 16 a factor of q(6)?
False
Let h(m) = m**2 - 5*m + 20. Let u = 16 + -31. Let o be h(u). Is 4 a factor of o/(-56)*7/(-2)?
True
Let x(u) = -2*u**3 - 16*u**2 - 53*u - 2. Does 23 divide x(-19)?
True
Let g(w) = -5*w**3 - 6*w**2 + 51*w - 35. Let q(y) = -3*y**3 - 2*y**2 + 26*y - 18. Let s(l) = -4*g(l) + 7*q(l). Is s(6) a multiple of 11?
False
Suppose 4*c + 5*n = 6*c - 19, -40 = -5*c + 5*n. Suppose 5436 = -c*v + 11*v. Suppose 6*i - v = -3*i. Is 46 a factor of i?
False
Suppose 3*s = -3*f + 12, -46 = -7*f + 3*f + 2*s. Suppose -14*l + f*l + 530 = 0. Is l a multiple of 34?
False
Is 4070*(102/595)/((-1)/(-14)) a multiple of 33