99 a factor of -2484*(11/(-3))/(72/54)?
True
Let l = -149 - -158. Suppose 0 = l*m - 32*m + 3450. Is m a multiple of 55?
False
Let l(u) = -43*u - 1527. Is l(-36) a multiple of 21?
True
Let n(a) = -a**2 + 14*a - 3. Let s be 3*(2/3 - 0). Suppose s*v = -4*j + 3*v + 48, 4*v + 49 = 3*j. Is n(j) a multiple of 9?
False
Let z(v) = v**3 - 15*v**2 + 11*v + 15. Let j = 32 - 18. Let a be z(j). Does 5 divide a*(0 - 2 - -1)?
False
Let y(l) = 2*l**2 - l - 3. Let c = 74 - 118. Let p = 41 + c. Is 14 a factor of y(p)?
False
Suppose 108*l - 102*l - 24 = 0. Let n(j) = 5*j**3 - 11*j**2 + 11*j. Is n(l) a multiple of 47?
True
Let o(g) = 34*g**2 - 171*g + 341. Is o(2) a multiple of 27?
True
Suppose 0*r = 5*b + 4*r - 155, 3*b - 93 = 3*r. Let a = 33 - b. Suppose -a*p + 56 + 54 = 0. Is p a multiple of 15?
False
Suppose -3*s = -8*s + 75. Suppose w - b - 19 = 13, 3*b + s = 0. Suppose -4*z + 0*z = -f + w, -4*z + 255 = 5*f. Is 17 a factor of f?
False
Let x be 162/14 - (-18)/42. Suppose 3*l + 12 = 0, 0 = q + 2*l + l + x. Suppose q = -2*w + 4*j + 74, 2*w = w - j + 31. Does 6 divide w?
False
Let s = -8 - -11. Suppose -b - s*h = 3*b - 346, 4*b + h = 342. Let j = b - 29. Is j a multiple of 28?
True
Let m be 120/(-5) + (2 - 0). Suppose -63 = -3*l - 5*x, -4*l + 19 + 65 = -3*x. Let t = l - m. Does 15 divide t?
False
Let h = 152 - 149. Suppose 29 = 2*x - 5*g + 3, -3*g - 3 = 3*x. Suppose 0 = -4*i - h*m + 234, -x*m - 151 - 14 = -3*i. Does 22 divide i?
False
Let c = -87 + 219. Suppose 63 + c = 3*p. Suppose 0 = k + g - 101, k + 3*g = p + 40. Is k a multiple of 10?
False
Let d = 7941 + -6947. Is 4 a factor of d?
False
Let y(f) = 9*f - 158. Let h be y(17). Is 23 a factor of 12/(-30) - h/(75/4146)?
True
Suppose 7*n - 45*n = -114. Suppose -i - 4*i + 3*g + 3836 = 0, i = n*g + 772. Does 28 divide i?
False
Let x be 9/(-6)*328/(-12). Suppose f + x + 22 = 0. Let l = f - -75. Is l a multiple of 6?
True
Let h = 61390 + -30052. Is 13 a factor of h?
False
Let w = -7 + 8. Suppose a = 4*t - 5 - 5, 4*t + 2*a - 16 = 0. Is (1 + -7)/(t - w)*-56 a multiple of 20?
False
Let z be (1 - (-14)/(-18)) + 1606/(-99). Let o(p) = -3*p + 61. Let m be o(z). Suppose -5*k + 439 = m. Is 23 a factor of k?
False
Let a = -662 - -238. Let v = a - -533. Does 18 divide v?
False
Let q(g) be the second derivative of -g**5/20 + 3*g**4/4 - 3*g**3 + 7*g**2/2 + 11*g + 1. Is q(4) even?
False
Suppose p - 13*p = 11*p - 126960. Is p a multiple of 61?
False
Suppose -13920 = 50*u - 55*u + 5*h, 5568 = 2*u + h. Is 29 a factor of u?
True
Let n(x) = -3*x + 30. Let g(t) = -2*t + 31. Let y(l) = 6*g(l) - 5*n(l). Let d be y(-12). Suppose -15*p + 10*p + 510 = d. Is 17 a factor of p?
True
Suppose -5*k - 50 = 5*c, c + 3*k + 6 = 2*c. Let i be 417/9 + 2/c. Suppose -i*x = -43*x - 78. Does 3 divide x?
False
Suppose 3288 = 3*x + 5*x. Does 33 divide (-10)/15*(0 - x)?
False
Let x be 6/1*(-5)/(15/(-7)). Suppose -5*l - 11 = -2*c, 0 = c + 2*c - 5*l - x. Suppose c*a = 400 - 130. Does 10 divide a?
True
Let j = 626 + -1100. Let r = j - -691. Is 15 a factor of r?
False
Let i be (2880/(-9))/8 + (-4 - -2). Let s = i - -257. Is s a multiple of 53?
False
Suppose 47*y = 27627 + 49876. Is 5 a factor of y?
False
Suppose 705090 = -33*i + 223*i. Does 16 divide i?
False
Let j(p) = -10*p**2 + 6*p + 1. Let m be j(2). Let l(z) = -9*z - 92. Is l(m) a multiple of 11?
False
Let x = 3896 - 2872. Does 128 divide x?
True
Let l(f) be the first derivative of 19*f**2/2 - 11*f - 53. Is 7 a factor of l(4)?
False
Let s = -4282 - -6856. Does 117 divide s?
True
Let p(l) = -28*l - 60. Let g(k) = -2*k**3 - 55*k**2 - 27*k - 21. Let h be g(-27). Is 8 a factor of p(h)?
True
Suppose -226*o = 11608 + 31267 + 33061. Let g = 463 + 9. Let i = g + o. Is 15 a factor of i?
False
Suppose 30*y - 46512 = -6*y. Suppose -2*i + q + 1615 = 3*i, -4*i = -q - y. Is 9 a factor of i?
False
Let b(d) = 4*d**2 - 83*d - 1608. Does 18 divide b(62)?
True
Is 6 a factor of 6 + ((-537402)/(-42) - 3) + (-16)/56?
True
Let j(l) = -l**3 - 7*l**2 - 7*l - 3. Let t be j(-6). Let f(u) = 67*u**3 - 6*u**2 - 34*u**3 - 32*u**t + 8 + 9*u. Does 28 divide f(7)?
False
Let t = -5098 + 5102. Let m = 446 + -155. Suppose -t*x + 273 = -m. Is 47 a factor of x?
True
Suppose -26*j + 30628 = -206076. Does 26 divide j/(5 + 3) + 6?
True
Let o(v) = 7*v - 1. Suppose 3*r + 0*t = 2*t + 5, -4*r + 2*t + 4 = 0. Let k be o(r). Let a(w) = 2*w**2 + 9*w - 15. Is 12 a factor of a(k)?
False
Let c be (1 + -2)/((-3)/99). Suppose -45 = 3*t - c. Let f = 22 + t. Does 9 divide f?
True
Suppose -23328 = 28*r - 64*r. Does 13 divide r?
False
Suppose -4*g = -18 - 2. Let j be 9/(-12) + (1 - 76/16*-1). Suppose 3*m = -3*p + 213, -13 + 338 = g*p - j*m. Is 8 a factor of p?
False
Let s(w) = 13*w + 331. Let z(o) = 6*o + 166. Let u(m) = -2*s(m) + 5*z(m). Does 9 divide u(-19)?
False
Suppose -213*z + 0*z + 969186 + 353544 = 0. Is 45 a factor of z?
True
Suppose -2 = 26*p - 28*p. Does 29 divide -1*5/p*-9?
False
Suppose -85 = w - 3*c + 86, 6 = 3*c. Suppose 2*n + 2*n = s + 71, -4*s = -5*n + 295. Let h = s - w. Is h a multiple of 15?
True
Suppose -20*f - 3207 = 6453. Let j = -389 - f. Is 7 a factor of j?
False
Suppose p + 5*h - 1062 = 0, p = -2*h - 372 + 1446. Suppose 0 = -7*m + 10 + p. Does 8 divide m?
False
Let o(y) = 54*y**2 - 17 - 5*y + 20*y + y**2 + 75 - 16*y**2. Is o(-5) a multiple of 64?
False
Suppose 2*l - 151 + 27 = 0. Suppose 4*b - 63 = 2*r - 15, -l = -5*b + 2*r. Suppose -f + b = -66. Is f a multiple of 5?
True
Let i = -36 - -60. Suppose 0 = 2*f + 2*f - i. Suppose f*n - 1298 = -74. Does 51 divide n?
True
Let f(w) = 3*w + 0*w + 8*w - 7*w - 8. Let t be f(4). Suppose 5*x + t*x - 702 = 0. Does 9 divide x?
True
Suppose 0 = -7*i + 38 - 10. Suppose -5*o + 760 - 23 = i*z, o = 5. Suppose -2*k + 2*p + 0 = -z, 0 = -5*k - 3*p + 445. Does 12 divide k?
False
Suppose 2*x = 6 - 4. Let t(c) be the first derivative of 38*c**2 + 4*c - 6. Does 40 divide t(x)?
True
Suppose 5*f + 37 = 4*l, -l + 4*f = -9 - 14. Suppose 0 = 4*g + 2*h - 148, 3 = -3*h - l. Suppose -5*q = g - 113. Does 2 divide q?
False
Suppose 3*b + 4*j = 47170, -b + 5*j = -5*b + 62896. Is b a multiple of 94?
False
Let w(b) = b**3 + 21*b**2 + 33*b - 7. Let m be w(-17). Let p = m + -409. Does 18 divide p?
False
Is 5 a factor of (27372/42 - -3) + 1 + 5/(-7)?
True
Let z(d) = 50*d**2 - 494*d - 155. Is z(30) a multiple of 16?
False
Suppose -2929 = 2*f + 5*s - 8792, -s = 5. Is f a multiple of 32?
True
Let d be (0*4/(-12))/((-4)/2). Suppose d = 3*c + 31 + 26. Let q(o) = o**2 + 17*o - 17. Is 7 a factor of q(c)?
True
Suppose 37778 + 36750 = 34*x. Does 8 divide x?
True
Let x(v) = 4*v + 14. Let q(y) = y**2 + 10*y - 1. Let b be q(2). Is x(b) a multiple of 4?
False
Let s(x) = 20*x**3 - 9*x**2 + x + 36. Does 42 divide s(4)?
True
Suppose -8 - 2 = -2*r. Let l(i) = -i**2 - 10*i - 8. Let y be l(-9). Does 9 divide 23 + (r + y - 2)?
True
Let t be 0 + -824 + 3/(-3). Let w = -396 - t. Let k = 609 - w. Does 45 divide k?
True
Does 14 divide (-5 + (-18610)/30)*-2*165/20?
True
Let t(g) = 661*g**2 + 22*g + 85. Is 75 a factor of t(-5)?
True
Let y(h) = 9*h + 38. Let s be y(12). Suppose -1 + 1 = -2*t. Suppose t*q + s = f + 3*q, 4*q = -4*f + 624. Does 12 divide f?
False
Let b be (-2066)/(-4)*(4 - (14 - 12)). Suppose 24686 = 31*j + b. Does 7 divide j?
True
Let o(v) = v + 10. Let p(n) = -39*n + 260. Let t(a) = 78*o(a) - 3*p(a). Is t(9) a multiple of 15?
True
Let r = 230 - 99. Suppose -3*c + 43 = -2*n - 34, 5*c - 2*n - r = 0. Is c a multiple of 6?
False
Let l be (-6)/3*(2 - 26)/(-4). Let s(m) = -m**3 - 11*m**2 - 12*m + 24. Is 12 a factor of s(l)?
True
Suppose 2*t - 1198 = -2*z, 2986 = 5*t - 0*t - 4*z. Is 23 a factor of t?
True
Suppose -3*d - 52 = -5*m, -m - 54 = -d + 5*d. Let n be 8/d - (-119)/(-49). Is 0 - 26/3*n a multiple of 11?
False
Let k be (-4)/(-6)*(8/(-4) + 14). Suppose 6*u - k = 4*u. Suppose -5*o - p - p + 438 = 0, 5*p - 347 = -u*o. Is 13 a factor of o?
False
Suppose -5*w - x + 2*x + 25 = 0, -2*w - x = -3. Suppose 0 = -2*z + w*z + z. Suppose 2*k = -0*t - t + 124, k + 1 = z. Does 21 divide t?
True
Does 24 divide ((-110)/40*-4 - 3) + 4384?
True
Suppose 18*s - 23671 = 41417. Does 8 divide s?
True
Suppose -5*z + 5*h + 5 = 0, -2*z + 0*z = -3*h + 2. Suppose 6 = 2*b, -z*g + 2*g = b - 12. Suppose 4*j = -3*k + 176, j + g - 2 = 0. Is 23 a factor of k?
False
Let n(q) 