 4*o + 4 = 0, -3*h - 18 = -q*o. Does 10 divide 722/10 + h + (-12)/(-15)?
False
Let a be (40/50)/(((-32)/20)/(-4)). Is ((-4 - -5)*37 - -1)*a even?
True
Suppose 0 = -13*b - 4 + 56. Suppose -4*h = -i - 28, i - b = -h + 3. Is 7 a factor of h?
True
Suppose 12*u = 11*u + 16. Suppose -5432 = -u*h - 712. Does 52 divide h?
False
Suppose 305 + 95 = -40*d. Is 2 a factor of -4 - (1 + 38/10)*d?
True
Let k(s) = -12*s - 167. Let h be k(29). Is h/2*8/(-20) a multiple of 13?
False
Suppose -143 - 89 = -s + 4*z, 0 = 4*z - 4. Suppose -2*g + s = -2*v, -4*g = 5*v - 282 - 208. Is g a multiple of 4?
True
Let i(l) = 50*l - 262. Let q be ((-405)/36)/(-3)*8/3. Is i(q) a multiple of 7?
True
Let k(q) = 93*q**2 - q + 1. Let r be k(-1). Let g = r + -27. Suppose -n + 6*n + t = 94, -4*n + g = -t. Is 6 a factor of n?
True
Suppose 78*s - 79521 = -11528 + 14141. Is s a multiple of 13?
True
Let k(h) = 54 - 3*h**2 + 17*h + 9*h**2 + 0*h**2 - 5*h**2. Is 7 a factor of k(-22)?
False
Suppose 16*h = 17 + 15. Let f(r) = -8*r**2 - 9*r + 3. Let l(p) = 8*p**2 + 10*p - 2. Let u(o) = -5*f(o) - 4*l(o). Is 5 a factor of u(h)?
True
Suppose 2*o - 41037 - 12707 = -2*y, o + 5*y = 26840. Is 56 a factor of o?
True
Let r = -674 + 2479. Is 43 a factor of r?
False
Let s = -82 - -71. Let g(z) = -15*z + 44. Let j(y) = -14*y + 43. Let r(c) = -6*g(c) + 7*j(c). Does 12 divide r(s)?
False
Let k(p) = p**3 + 6*p**2 + 3*p - 11. Let s be k(-4). Suppose -s*r = -365 - 1669. Let o = -130 + r. Is o a multiple of 9?
False
Suppose -2*o + 14112 = z, -27*z + 30*z + 7056 = o. Does 126 divide o?
True
Let k(i) = 60*i + 1448. Does 14 divide k(-12)?
True
Let g = -62950 + 124642. Is 291 a factor of g?
True
Let i(m) = -m**2 + 14*m - 19. Let k be i(11). Let q = k - 2. Suppose -4*c = -q*c + 1168. Is 26 a factor of c?
False
Let h = -79 - -102. Suppose 0*n - h*n = -3979. Is 6 a factor of n?
False
Let u = 49379 - 27738. Is 157 a factor of u?
False
Suppose -3*y + 133488 = -3*w, 3*y - 5*w - 44460 = 2*y. Does 16 divide y?
False
Suppose 3*w = -65 + 257. Let o = w - -23. Is o a multiple of 28?
False
Suppose -5*i = -7*o + 205532, 0 = 3*o + 18*i - 16*i - 88052. Is 164 a factor of o?
True
Let q = 5276 - 4916. Is 5 a factor of q?
True
Is 34 a factor of 12/30 + (-7896)/(-60) - -4?
True
Let n = -2917 + 2968. Is 11 a factor of n?
False
Suppose -2*n - 440 = 3*n. Let h = n - -90. Is h/(((-1)/(-6))/(13/2)) a multiple of 10?
False
Let b(h) = -9*h + 2. Suppose -16*p = -11*p + 330. Let g = p + 62. Is 17 a factor of b(g)?
False
Suppose -2*r = -30*r + 19628. Is r - (1 - (-2 - -3) - -1) a multiple of 35?
True
Suppose 629*n - 223685 = 237*n + 5361531. Is 26 a factor of n?
True
Let j be 1*188/2*22/4. Let v = -202 + j. Is v a multiple of 26?
False
Let p(f) = f**3 - 35*f**2 + 67*f - 24. Let b be p(33). Suppose -b*q - 5*k = -10*q + 715, q + k = 721. Is 60 a factor of q?
True
Suppose -97*o = -93*o - 40. Suppose o*s = 285 + 825. Is s a multiple of 10?
False
Is ((-941)/10 - (-2)/4)/(1253/(-25060)) a multiple of 12?
True
Suppose 64269 - 14529 = 30*y. Is 17 a factor of y?
False
Let i be (-40)/12*6/(-4). Suppose -5*y - 37 = -2*r, -r - 19 = -0*y + i*y. Let x = r - -34. Is 9 a factor of x?
False
Suppose 5*a - 19*f = -14*f + 18565, -3*a = 2*f - 11149. Is 103 a factor of a?
False
Is 5 a factor of 875 - ((-72)/(-16) - 27/6)?
True
Let u be (4/(-10) + 0)/(1/(-5)). Suppose u*q - 80 - 456 = -3*o, 5*o - 2*q - 920 = 0. Is 3 a factor of o?
False
Let d(o) = -17*o - 25. Let m be d(5). Let y be (4 - (3 + -2 + 5)) + m. Does 24 divide 5 + -1 + (4 - y)?
True
Suppose 62*m = 222729 + 55155. Is 35 a factor of m?
False
Let j = -64 + 69. Let i = 16 + -13. Suppose 38 = 2*t + i*w, -4*t = 2*w - 87 - j. Does 6 divide t?
False
Suppose -16973 = -b + 5*d, 5*b - 85041 = -9*d + 12*d. Is b a multiple of 53?
True
Let b = 4409 + -3014. Is b a multiple of 3?
True
Suppose -1321*z + 1274*z + 445466 = 0. Is 19 a factor of z?
False
Let m(w) = -53 + 24 + 16*w - 4. Let q(o) = -48*o + 98. Let d(c) = 7*m(c) + 2*q(c). Does 25 divide d(10)?
True
Let d be (-24)/(-9) - 667/(-3). Suppose -12*v = -17*v + d. Is 9 a factor of v?
True
Suppose -5*g - 510 = 210. Is 44 a factor of g/(-27)*(-264)/(-2)?
True
Let d(n) be the first derivative of 10 + 24*n + 7/2*n**2. Is d(8) a multiple of 20?
True
Let y(h) = -29*h**2 + 9*h - 3. Let b be y(5). Let q = -395 - b. Suppose -3*i - 2*i + 4*v + 273 = 0, v - q = -5*i. Is 19 a factor of i?
True
Suppose 3511*p + 25180 = 3531*p. Does 119 divide p?
False
Let z be 6 + (-7 - (-6 + -1)). Is 6 a factor of (260 - (-42)/z) + -1?
False
Let y be (6/(-5))/((-123)/410). Does 3 divide y/6 + (-2128)/(-21)?
True
Let r(w) = -349*w - 84. Suppose -4*i = -3*b - 1, -78*i + 80*i = 3*b + 5. Is 11 a factor of r(i)?
False
Let f = -1106 - -1420. Does 4 divide f?
False
Suppose -l = 5*y - 2*y - 755, 0 = l - 2*y - 780. Suppose -3*a - 2*x + 778 = -6*x, 3*a - 2*x = l. Does 8 divide a?
False
Let j(s) = s**3 - 5*s + 62. Let k be ((6 - 2) + -2 - 2)/(-1). Let d be j(k). Is 18/(-12) - (d/(-4) - 1) a multiple of 12?
False
Let l be 0 - (156/4 - 2). Let i = l - -169. Is 12 a factor of i?
True
Let a(r) = 17*r + 74. Let u(w) = -19*w - 72. Let t(h) = -4*a(h) - 3*u(h). Does 21 divide t(-30)?
False
Let g(s) be the first derivative of -5*s**2 + 161*s + 86. Is g(-33) a multiple of 94?
False
Let n(t) = 4*t**2 - 23*t - 35. Let r(v) = v**2 + v. Let g(q) = -n(q) + 5*r(q). Let h be g(-27). Is h*7 + (-7)/(28/8) a multiple of 6?
True
Suppose 4*z - 241 = 371. Does 48 divide z*(64/12 + -5)?
False
Let k = 6966 + -4125. Is k a multiple of 25?
False
Let q = 48 + -43. Let f be -3*q/75 - 82/(-10). Suppose 206 = f*p - 306. Is p a multiple of 16?
True
Suppose 16*n - 16 - 16 = 0. Suppose 8*p = 3*v + 9*p - 1683, -n*p = 2*v - 1118. Does 21 divide v?
False
Let j = -95 - -99. Suppose 5*s - 2*u - 1848 = 0, 6*s = j*s - 4*u + 720. Is 16 a factor of s?
True
Let n(p) = -p**2 - 9*p + 20. Let l be n(-10). Suppose -55 = l*x - 21*x. Suppose v - x*v + 568 = 0. Does 25 divide v?
False
Suppose -3*v = 1 + 5, 3*r - 42 = 3*v. Let g be 31/(-1) + r/(-3). Does 14 divide ((-32)/10)/(2/g)?
True
Let s(m) = -3581*m - 12770. Is 21 a factor of s(-4)?
True
Suppose -39*c + 36*c = 4*b - 17553, -4*b - 29319 = -5*c. Does 3 divide c?
True
Let n be (5 + -6)/(3/111). Let f = 36 + n. Is (-20)/8*-26 - f a multiple of 14?
False
Suppose 0 = -5*m + 15, n - m + 23 = 5*n. Suppose -n*k - 1115 = i, -3*k + 0*k = 4*i + 652. Is 8 a factor of k/((-8)/2) - 0?
True
Suppose 26 = 3*w - 5*g, -3*w + 0*w + 4*g = -22. Let o be w/10 + 5695/25. Suppose -o = -5*k - 4*v, 2*v - 28 = -k + 14. Is k a multiple of 6?
True
Suppose 4*m + 5*n - 10165 = 6656, -3*m - 2*n = -12621. Is m a multiple of 69?
True
Let s = 126218 + -53819. Is s a multiple of 22?
False
Suppose 161*t - 383606 - 483708 = -45409. Does 24 divide t?
False
Suppose -3*m - c + 6445 = 1277, 4*c = 4*m - 6864. Suppose 47*r - m = 1663. Does 2 divide r?
True
Let s be 5/3*(-78)/(-65). Suppose 700 = s*q - 0*q + 4*l, l + 353 = q. Is q a multiple of 32?
True
Let v = 2738 - 658. Suppose -8*w + 0*w = -v. Is 26 a factor of w?
True
Let f(i) = i**3 + 6*i**2 - 5. Let n be f(-5). Suppose -58 = -b - n. Is b a multiple of 3?
False
Suppose 213*x = -62*x + 1892000. Is x a multiple of 172?
True
Suppose w + 4*y - 439 = -135, -2*y + 872 = 3*w. Let c = 609 - w. Does 27 divide c?
False
Suppose -7*z - 3*z + 3560 = 0. Suppose -3*f = -2174 + z. Let k = f + -336. Does 27 divide k?
True
Suppose -5*z + 4*o = -0*o - 144, -2*o = 2. Suppose f + 379 = -z*m + 32*m, 5*m - 5*f - 455 = 0. Does 12 divide m?
True
Let r = -99 - -101. Let t(i) = 4*i**2 - 18*i + 30. Is 8 a factor of t(r)?
False
Suppose -5*l - 2392 = -4*f, 17*l - 16 = 13*l. Does 56 divide f?
False
Suppose 4*k = g - 1, -2*k + 0*g + 4 = 4*g. Suppose 4*p - 4*v - 107 - 197 = 0, k = 5*v + 25. Let s = p + -26. Does 9 divide s?
True
Let t = -42432 - -59075. Is 37 a factor of t?
False
Suppose 0 = 5*n - 30, -16*c + 15*c + 5502 = 4*n. Is c a multiple of 33?
True
Suppose -3 = r, 2*r + 18 + 88 = 5*k. Let z be ((-90)/k)/((-1)/(-6)). Is 6 a factor of -4 + 2 - 1 - z?
True
Let f = -70 + 74. Suppose -3*z - 227 = -f*m + 76, 4*z - 5*m = -405. Is 28 a factor of -1 - z - (0 - 1)?
False
Suppose -10*u + 3100 = -2240. Is u a multiple of 6?
True
Suppose 2*w - f = 3*w - 380, -1520 = -4*w + f. Suppose 2*b - 126 = -2*c - w, 3*b + 123 = -c. Let l 