 2/10 - (-46)/(-230). Suppose 5*l + 4*f = 2380 - 278, -3*l - 5*f + 1256 = t. Is l a multiple of 15?
False
Suppose -4*j + 33 = -23. Suppose 4104 = 13*q + j*q. Is q a multiple of 38?
True
Suppose 0 = 4*k - 2*t + 4*t - 32, t = k - 5. Suppose 0 = -10*s + k*s + 6. Suppose y = 2*w + 54 - 197, 215 = 3*w - s*y. Does 19 divide w?
False
Let h(x) = -17*x**3 + 3*x**2 + 32*x + 84. Is 12 a factor of h(-8)?
True
Let r(t) = -4*t**3 + 430*t**2 + 81*t - 492. Does 18 divide r(106)?
True
Suppose -g = 2*o - 128, -150*o - 183 = -153*o + 3*g. Is 22 a factor of o?
False
Let p(q) = -2*q**2 - 13*q + 24. Let j be p(-8). Is 27 a factor of j + (-8214)/(-16) + 129/(-344)?
True
Let a = -160 - -65. Let f = 218 + a. Is f a multiple of 4?
False
Suppose 775*z - 15140 = 765*z. Is 16 a factor of z?
False
Is 7 a factor of (17 + -23882)/(-5) - 1*-9?
False
Let l(z) = z**3 - 18*z**2 + 17*z + 6. Suppose -11 + 154 = 13*n. Suppose -23 = -2*c + n. Is 6 a factor of l(c)?
True
Let t = 11371 + -5671. Is 95 a factor of t?
True
Let x = 7469 + -5709. Is x a multiple of 80?
True
Let h(m) = -m**3 - 14*m**2 + 4*m + 58. Let a be h(-14). Suppose 2*f + 3231 = 3*x + 3*f, 2153 = a*x + f. Is 15 a factor of x?
False
Let x = 12974 + -8278. Is 47 a factor of x?
False
Suppose -7*z - 3*z = -5410. Suppose -3*x = -2*m + 23 - 1000, -4*m - 4 = 0. Suppose 4*f + n - z = -f, 3*f + n = x. Is 14 a factor of f?
False
Suppose -3*h + 97287 = 4*u + 11134, 3*h + 64599 = 3*u. Is 32 a factor of u?
True
Suppose 3*w - 3909 = 3*d + 5910, 0 = 5*w + 3*d - 16357. Does 8 divide w?
True
Is 6 a factor of 1*-7*(23 - 24) + -11 + 5933?
False
Let x(y) = -6*y**3 - 1. Let v be x(-1). Suppose -4 + 34 = -v*i. Let z = 27 + i. Is 5 a factor of z?
False
Let z = 33283 - 559. Is z a multiple of 177?
False
Suppose j + 48267 = 2*h, -810*j = -2*h - 805*j + 48287. Is h a multiple of 12?
False
Let m(g) = -g**2 + 21*g - 50. Let r be m(17). Is -3*14*-3*r/12 a multiple of 23?
False
Let o be 43 + 2/((-4)/6). Let m be (1 - o/6)*3. Does 5 divide m*(3 + -1*(3 - -1))?
False
Let p = 361 + 78. Suppose -5*k + 2610 = 5*t, -5*t + 75 = k - p. Does 8 divide k?
False
Suppose 3*p - 2 = 13, -5*u + 165 = 5*p. Let t = 114 + u. Does 13 divide t?
False
Let g = -7036 + 13500. Is g a multiple of 17?
False
Let p be 3 + (-2 - (-1 + (-258)/(-3))). Let u = p - -236. Suppose 3*o + 6*h - h = u, 5*h + 118 = 2*o. Is 7 a factor of o?
False
Suppose 23*z - 224 = 7*z. Let l(j) = 2*j**2 + 21*j + 25. Is l(z) a multiple of 100?
False
Let k(a) = a**2 - a + 5. Suppose -b - 20 = -6*b + 5*t, -2*t = -5*b + 8. Let x be k(b). Suppose -v + 85 = 4*v - x*m, 0 = v - 4*m - 20. Is 3 a factor of v?
False
Suppose 26*b - 4022 = 6456. Suppose 14*p - b - 1417 = 0. Does 26 divide p?
True
Let n(w) = w**2 + 4*w + 2. Let s be n(-4). Suppose 446 = 2*o - 5*i, o - i + s*i - 230 = 0. Is o a multiple of 12?
True
Let d = -547 - -734. Is 9 a factor of (2 + d + 0)/((-5)/(-10))?
True
Let i be -2 - (-143)/(-65)*10. Let u be (-4)/(-10) + 358/5. Is (226/(-6))/(i/u) a multiple of 21?
False
Suppose -d - 48 = -3*d. Suppose -34*f = -31*f - 6. Suppose 0 = f*c - d - 58. Is c a multiple of 21?
False
Let l = 35209 - 30792. Does 18 divide l?
False
Suppose -16*y = 14*y - 667879 - 52241. Is 77 a factor of y?
False
Suppose -2373 = -4*i - 5*f, -3*i - 3*f + 4739 = 5*i. Does 14 divide i?
False
Suppose 4*o + 4*w = 8*o - 1404, -4*o = -w - 1398. Let p = o + -302. Is 25 a factor of p?
False
Let i = 7292 + 7552. Is i a multiple of 12?
True
Let d(q) = 2*q**2 - 4*q + 17. Let z be d(7). Let j = -32 + z. Does 7 divide j?
False
Let l be 1/(9/(-24))*-3. Suppose -l*m - 65 = -1033. Does 13 divide m?
False
Let v(w) = w**3 - 13*w**2 - 14*w + 20. Suppose 2*i - 43 = 9. Suppose 1 = -l - 3*z, i - 1 = -5*z. Is 5 a factor of v(l)?
True
Let l(w) = 9664*w**2 + 31*w - 30. Is l(1) a multiple of 10?
False
Suppose 23*q - 635 = -10203. Let a = q + 596. Is a a multiple of 20?
True
Suppose 299*t = 295*t - 2*o + 18372, -t - 2*o = -4596. Does 82 divide t?
True
Let o = 8 - 14. Suppose -11*g + 130 = -37*g. Does 22 divide (g - 0)/(o/84)?
False
Suppose -82 = -2*x - 70. Is 592 - (-7 - (-1 - x)) a multiple of 25?
False
Let s = 119 - 96. Suppose 5*p + 4*y - 225 = 0, 7*p - 225 = 2*p - 5*y. Let l = p - s. Is l a multiple of 11?
True
Let k = 8115 - 6445. Is 64 a factor of k?
False
Let g be ((-3590)/(-22) - (-20)/(-110)) + 2. Suppose 0 = 8*r - 1109 + g. Is r a multiple of 4?
False
Is 9 a factor of (-25 - 21)/((-4)/76)?
False
Let u be (4 - (3 + -1))*(-20)/(-8). Let t be (u/2)/(10/12). Suppose -255 = -t*a + 3*n, -2*a + 0*n + 3*n = -171. Is a a multiple of 14?
True
Let f = -29 + 52. Suppose f*o - 16*o + 672 = 0. Does 16 divide (o/(-20))/((-6)/(-80))?
True
Let h(g) = g**3 - 8*g**2 + 3*g + 4. Let s be h(7). Let q = -28 - s. Does 29 divide (4/12 + -1)/(q/210)?
False
Suppose 19*a - 13*a = 264. Suppose 39*m = -3*q + a*m + 1993, -2*q + 3*m = -1329. Is q a multiple of 6?
True
Let f(b) = -50*b**2 + 2*b. Suppose 7 = -2*u + 5. Let p be f(u). Does 13 divide ((-24)/16)/(3/p)?
True
Let n(m) = 7*m**2 + 4*m + 29. Let r(x) = -8*x**2 - 4*x - 28. Let o(k) = -4*n(k) - 5*r(k). Is 27 a factor of o(-6)?
True
Let u = 3906 + -1751. Suppose -u = -13*n - 296. Does 13 divide n?
True
Suppose 20 = -2*f - 3*f. Let z be 12 - (3 + -10 - f). Suppose 3*v = -2*d + 5*v, z = d + 2*v. Is 3 a factor of d?
False
Suppose 4 = -i + 1, 4*j = 3*i + 2133. Suppose -9*u + j = 99. Is 12 a factor of u?
True
Let y(q) = 406 + 21 + q**3 - 9*q**2 - 28 + 581. Does 9 divide y(0)?
False
Suppose 5*z = -2*l - 19, 3*l - l - z - 11 = 0. Suppose -l*a + 0*a = 0, 2*t = -a + 100. Is t a multiple of 5?
True
Let h(o) = o**3 + 34*o**2 + 27*o - 13. Let n be h(-33). Suppose 7*b - 508 - n = 0. Is b a multiple of 4?
False
Let z(x) = x**3 - 6*x**2 + 2*x + 19. Let c be z(7). Let v be 1/(-5) + 382/10. Let f = c + v. Is f a multiple of 17?
False
Let v be ((-8)/(-10))/(3/1320). Let q = v + -193. Let k = -104 + q. Is k a multiple of 8?
False
Let f(y) = -2*y**2 + 5*y + 13. Let i(l) = -l**2 + 2*l + 6. Let g(c) = 4*f(c) - 9*i(c). Does 5 divide g(2)?
False
Let f(l) = l + 27. Let g be f(-8). Let j = 19 - g. Suppose -3*i + 97 = -y, 3*i + j*y - 5*y = 77. Is i a multiple of 25?
False
Let z = 57 - 33. Let t be (z/(-15))/(2/(-50)). Suppose -a + t = -38. Does 13 divide a?
True
Let f = -7 + 7. Let r(h) = h**2 - 9*h - 49. Let k be r(13). Is 3 a factor of (-2)/((-2)/k - f)?
True
Let z be 6/(-2)*(-2)/3. Suppose 4520 = 21*i - 3901. Suppose z*q = -137 + i. Does 11 divide q?
True
Let u = 51048 - 20810. Is u a multiple of 7?
False
Suppose 0 = 12*j - 20*j - 38*j + 262384. Is j a multiple of 8?
True
Let a(w) be the second derivative of w**3/6 + 9*w**2/2 - 3*w. Suppose -t + 15 = 5*c, 22*t = 19*t + 4*c + 26. Does 3 divide a(t)?
False
Let c = 232 - 233. Is 3 a factor of -3*3/9*(-37 - c)?
True
Let y = 6783 + 962. Is 156 a factor of y?
False
Let z(f) = -10 - 10 - 12 - 23*f**2 + 24*f + f**3 - 15. Let x be z(22). Does 25 divide x/15 + 746/5?
False
Let f(m) = 13*m - 43 - 5*m + 44. Let j be f(-5). Does 2 divide (-18)/(-4) + j/(-6) + -7?
True
Suppose 5*r = 3*c + 119, -37*c - 5*r - 112 = -33*c. Let a be (28/(-6))/((-2)/(-21)). Let l = c - a. Is 6 a factor of l?
False
Suppose -4*w + 572 = 3*l - 421, 4*w + 5*l = 991. Let q = 289 - w. Is 20 a factor of q?
True
Let i = -1474 + 824. Let s = 1182 + i. Does 16 divide s?
False
Is 19 a factor of (4*(-5)/15)/(2/(-57))?
True
Suppose -39*z + 41*z - 3*c = 47710, -2*z + 47718 = c. Is z a multiple of 14?
False
Suppose -p = f - 20 - 30, -4*p = 2*f - 194. Does 26 divide p?
False
Let f = 990 + -495. Let j = 646 + f. Suppose -5*z - 91 = -j. Does 29 divide z?
False
Let h(k) = -51*k - 743. Is 14 a factor of h(-20)?
False
Suppose 200 = -4*v - 16*v. Does 10 divide (-2852)/(-34) - 1*v/85?
False
Let f be 15/(-6)*4/(-5). Suppose -x - 39 = -f*x. Let c = x + -5. Is 11 a factor of c?
False
Suppose -3*a - 61480 = -4*v, -v + 3*a + 11334 = -4054. Is 23 a factor of v?
True
Let r(i) = -28 - 68 - 60 - 18 + 78*i - 28. Does 11 divide r(4)?
True
Suppose -5*p - 76*p - 651 = -1251453. Does 11 divide p?
False
Suppose -9*x + 9 = -0*x. Let l(m) = -80*m + 6. Let b be l(x). Let t = -28 - b. Is 23 a factor of t?
True
Let t be (516/(-10))/(-2) - 14/(-70). Suppose 5*s - t = 214. Is 6 a factor of s?
True
Suppose 2*p = -2*b - 6 + 2, -b = -5*p + 14. Suppose -5*o = 3*h + 10, -1 = -p*h