290/(-20) a multiple of 15?
True
Let i = -19911 + 29841. Does 30 divide i?
True
Let x(a) = 380*a**2 + a + 6. Let h be x(2). Suppose h + 752 = 15*j. Is 38 a factor of j?
True
Let w(g) be the third derivative of -2/3*g**3 + 1/24*g**4 - 16*g**2 + 0 + 1/60*g**5 + 0*g. Does 17 divide w(8)?
True
Suppose 3*f = v - 6540, -9*f = 5*v - 7*f - 32547. Does 167 divide v?
True
Suppose 0 = 9*p + 463 - 4303 - 390. Is 235 a factor of p?
True
Let l = 149 - 210. Let w = l - -159. Does 14 divide w?
True
Suppose 4495*m + 279900 = 4513*m. Does 25 divide m?
True
Suppose -2*g = -10, -5*n - 5*g + 26 + 39 = 0. Is (-7 - (-1960)/n) + 1 a multiple of 10?
False
Let u = -203 - -1094. Is 10 a factor of u?
False
Suppose -2*c - x = -1, 0*c - 3*c - 2*x = 0. Suppose 2*p - 2 + 4 = c*s, p = -4*s + 14. Suppose v - d - 163 = -3*v, v = -s*d + 31. Does 30 divide v?
False
Suppose -90*x = -2*x - 269280. Does 12 divide x?
True
Let h = -30 + -50. Let c = h + 71. Let u(m) = -8*m + 8. Is 20 a factor of u(c)?
True
Let j(s) = 39*s + 2499. Is j(42) a multiple of 89?
False
Suppose -20*j - 495 = 13*j. Is 18 a factor of 70/j*(6 + -90)?
False
Let r be (1 - 3)/((-1)/8). Does 7 divide (-4)/((-40)/11134) - r/40?
True
Let y be (-3 + 4)/(3 - (-5)/(-2)). Suppose 0 = u + q - 37, -5*u + q - y*q + 201 = 0. Is 2 a factor of u?
False
Let s(k) = 9*k + 61. Let m be s(-6). Suppose 2*t - m*t = -2*v - 611, v = -3*t + 360. Let w = -1 + t. Does 40 divide w?
True
Let o be (6 - 7)/(1/(-3)). Suppose 3*t + 2*n = 309, 0 = -0*t + o*t - 3*n - 309. Suppose -p + t = 41. Is 7 a factor of p?
False
Let u(n) = -9*n**3 - 19*n - 33. Let d be u(-2). Let y = d + 13. Is 15 a factor of y?
True
Is (-591338)/(-20) - 4 - (-3)/30 - 2 a multiple of 67?
False
Let g(z) = -29*z**3 + 9*z**2 + 263*z + 45. Is 45 a factor of g(-10)?
True
Let d(o) be the second derivative of o**4/12 - 7*o**3/6 - o**2/2 + 22*o - 1. Suppose i - 10 - 2 = 0. Is d(i) a multiple of 9?
False
Is 104 a factor of 33148305/1215 + 4/9?
False
Let p = -134 + 132. Does 13 divide (-1)/(p - 1165/(-585))?
True
Is ((-576)/96)/((-6)/5674) a multiple of 18?
False
Let l be -9 + 14/((-42)/(-27)). Suppose -5*i - 382 = -3*s, l = 13*s - 9*s + 5*i - 486. Does 5 divide s?
False
Suppose -4*r - r = -o + 545, 4*o - 2132 = -4*r. Suppose o = 2*a - 3*g, 4*a + 4*g = 446 + 654. Does 34 divide a?
True
Let x(b) = b**2 - 4*b + 6. Let k be x(5). Suppose k*w - 613 = -74. Is 7 a factor of w?
True
Let r(k) = -16*k + 60. Let s(j) = 5*j - 20. Let x(y) = -4*r(y) - 11*s(y). Let v be x(3). Suppose -v*g + g + 720 = 0. Does 15 divide g?
True
Suppose 662*f - 1325*f + 14569 = -662*f. Does 4 divide f?
False
Let t(u) = 61*u - 42. Let y be t(6). Suppose 0 = v - 10 + 2. Suppose v*x - 5*x = 4*z - y, -3*x = 12. Is z a multiple of 27?
False
Let s(u) = -6*u**2 - 163*u - 27. Let j be s(-27). Suppose -4*h = o - 2435, -162*h + 157*h + o + 3037 = j. Does 90 divide h?
False
Suppose -2*m = 5*w - 467, 139*w + 3 = 142*w. Is m a multiple of 33?
True
Let l be (1*9/3)/1. Let o(u) = -7*u**3 + 1 - 22*u**l + 0 - 2*u**2. Is 28 a factor of o(-1)?
True
Let c be 2*4/32 - (-52178)/56. Let m = c - 796. Does 8 divide m?
True
Let q(b) = b**2 + 5*b - 2. Let x be q(-6). Let f(z) = z**2 + 15*z + 40. Let k(c) = -c**2 - 14*c - 39. Let t(d) = x*k(d) + 5*f(d). Is t(-21) a multiple of 15?
False
Suppose -6*x + 12*x - 330 = 0. Suppose -p + x = -m, 2*m - 3 = -4*p + 235. Is 58 a factor of p?
True
Let f be (-3 - -2 - -68)*2. Let l = 244 - f. Let q = 166 - l. Is q a multiple of 56?
True
Suppose 0 = 139*d - 238317 - 71255 - 1239027. Does 30 divide d?
False
Suppose -2*p + f - 10 = 6*f, -p - 5 = -3*f. Let q(l) = -28*l - 20. Is q(p) a multiple of 20?
True
Let w(f) = 9*f + 145. Let l be w(-16). Let b(d) = 392*d + 4. Does 11 divide b(l)?
True
Let m be 38/10 + -4 - (-26)/5. Suppose -m*v + 4*h + 144 = 0, 2*v - 3*h = 36 + 16. Suppose -v + 2 = -3*f. Does 3 divide f?
False
Let u(t) = t**3 - 2*t**2 - 4*t + 7. Let z be u(4). Let d = 29 - z. Let q(p) = 2*p**3 - 7*p**2 - 2*p - 30. Is q(d) a multiple of 23?
True
Does 16 divide 4/20 - (8 - 278991/45)?
True
Suppose 12*r + 543 = 2595. Is r a multiple of 11?
False
Suppose -4*v - 139 + 127 = 0, -3*y = 5*v - 1425. Is y a multiple of 4?
True
Suppose 218 + 96 = u. Suppose -3*l + 800 = u. Let z = l + -111. Is z a multiple of 17?
True
Suppose -b = 3*h - 4*h - 1, 0 = -4*h + 12. Let n be (2 - 106)*(b - 5). Suppose j - 218 = -4*s + 2*s, -s + 2*j = -n. Does 4 divide s?
True
Let h(a) be the first derivative of 2*a**3/3 + 21*a**2/2 - 179*a + 32. Is h(-24) a multiple of 64?
False
Suppose 6*t + 8*t = -3*t. Suppose t = 4*z - z - 36. Let q(b) = 9*b - 4. Is q(z) a multiple of 26?
True
Let k(y) = 8*y**2 - 3*y + 1. Let x be k(2). Let u = -28 + x. Does 15 divide ((-24)/(-3))/(u/(-7))?
False
Let g(l) = 17*l - 23. Let f be 30*((-6)/9)/((-16)/(-12)). Let r be (-2)/f + (-406)/(-105). Does 15 divide g(r)?
True
Suppose 84*s - 54104 - 7468 = 0. Is 24 a factor of s?
False
Let p = 6123 + -920. Is p a multiple of 11?
True
Is 518/1295 + 40128/5 a multiple of 53?
False
Let s(j) = 306*j**2 + 101*j - 337. Is 70 a factor of s(-12)?
False
Suppose 10*g - 45 = g. Suppose -g*f - 6*p + 4*p + 48 = 0, 0 = -f + 2*p + 12. Is f a multiple of 3?
False
Let d = 1413 - 533. Is 21 a factor of -1 + d/5 + (3 - -1)?
False
Does 40 divide (-80332)/(-7) + 4 + 0?
True
Suppose h = -v + 15, 0*h = -2*h. Let z = v + 260. Is 9 a factor of z?
False
Let z be (1/(-2) - -2)*(-8)/(-2). Suppose 5*j - z*j = -2. Suppose 0 = 4*c + 2*v - 486, j*v + 249 = 2*c + 5*v. Is 20 a factor of c?
True
Let d be (-3)/(-10) + (-77)/(-10). Let i(m) = 15*m**2 - 68*m. Does 16 divide i(d)?
True
Does 17 divide (-41)/5*(256/(-28) + (-156)/182)?
False
Let n be (3 + -56 + -3)*57/76. Does 14 divide 3*n*((-8)/(-18))/(-2)?
True
Suppose 31*v + 139 + 16 = 0. Does 27 divide 2 + (3 - 285/v)?
False
Suppose -5*g + 3*p + 44620 = 0, -8924 = -g - 7*p + 12*p. Does 194 divide g?
True
Suppose 515*x - 20 = 511*x. Suppose -3*b + 1565 - 179 = 2*l, 3*b + x*l - 1395 = 0. Does 23 divide b?
True
Let q(g) = -33*g + 16. Let i be q(-5). Let x be 6/4*992/(-12). Let c = i + x. Is 19 a factor of c?
True
Suppose -3*y - 7 = -1, 3*r = 5*y + 10. Suppose 5*b + r*b = 210. Suppose 210 = 3*g - b. Does 14 divide g?
True
Suppose 136*w - 1525618 - 133107 = 2132819. Is w a multiple of 13?
False
Let f = 12 + -66. Is (846/f)/((-2)/42) a multiple of 7?
True
Suppose 2*u + h = -521, 4*u + 1423 - 388 = 5*h. Let n = 532 + u. Is 27 a factor of n?
False
Suppose 0 = -z + 5*k + 31 + 25, -2*z + 4*k = -124. Suppose 7*t = 318 - z. Is 36 a factor of t?
True
Let k be (-12 + -37)*(3 + -26). Let d = k - 166. Is d a multiple of 46?
False
Let v(l) = 151*l - 526. Is 41 a factor of v(38)?
False
Is -14*(-3)/(-6) - (-9 + (-75804)/6) a multiple of 67?
False
Let i(k) = -k**2 + 12*k + 24. Let g be i(14). Is 185 + 6 + g/(-2) a multiple of 40?
False
Suppose -5*p = -3*h - 183, 24*h + 3*p = 27*h + 189. Let k be -1 - (-78 - 1/1). Let v = k + h. Does 11 divide v?
False
Suppose -16*v = -205913 + 70857. Does 7 divide v?
False
Let y be 11082/18 + (-8)/(-6). Let z = -606 + y. Does 2 divide z?
False
Let b(f) = 16*f**2 - 9*f - 31. Let a(l) = 3*l**2 - 2*l - 6. Let s(n) = -11*a(n) + 2*b(n). Let v be s(2). Does 9 divide (-2)/v + (-4)/(-64)*964?
False
Suppose 0 = v - 14*m + 19*m - 176, 0 = 2*v + 2*m - 392. Suppose 38 = -2*d + 2890. Suppose -v = 7*o - d. Does 25 divide o?
True
Suppose -65*y + 179469 + 164835 = -55576. Does 29 divide y?
False
Let b(a) = 6444*a**2 + 93*a - 90. Does 3 divide b(1)?
True
Let n(s) = 34*s**2 - 163*s - 2089. Is 28 a factor of n(-14)?
False
Suppose -26*k = -30*k + 856. Let t = k - 170. Does 3 divide t?
False
Let a(f) = 63*f - 66*f + 13*f**2 - 5 + f**3 + 26 - 5. Let o be a(-13). Let l = 32 + o. Is 29 a factor of l?
True
Let t(s) = 37*s + 486. Is t(3) a multiple of 145?
False
Suppose 14856 = 8*t - 13912. Does 29 divide t?
True
Suppose 2*b - 1782 = -p, -3522 = -4*b + 24*p - 19*p. Is 11 a factor of b?
False
Suppose 22007 + 881 = 8*r. Is r a multiple of 9?
False
Let j(l) = 7*l**3 - 107*l**2 - 9*l + 62. Is 98 a factor of j(25)?
False
Suppose -66889 - 56872 = -19*h - 34689. Does 8 divide h?
True
Let s be (-197 - (-7 + 7))*-4. Let f = s - 548. Does 22 divide f?
False
Let m(q) = -6*q - 4. Let t be m(-1). Suppose 4*a - 66 = t*u, 3*u = 2*a - 27 - 0. Suppose -19*c = -a*c - 13. Is c a 