3*p = 12. Is 35 a factor of j?
True
Suppose -5*m = 2*q - 1789, -4*q = -4*m - 3974 + 354. Suppose 15*t - 137 = -q. Let s = 56 - t. Is s a multiple of 9?
False
Let w(h) = -3*h + 42. Let r be w(10). Let m be 48*((100/r)/5 + -1). Does 2 divide ((-80)/m)/(1/14*-1)?
False
Let m(o) = -894*o + 924. Does 26 divide m(-15)?
False
Is 5 a factor of (5105/6)/((-71)/(-426))?
True
Let y = -2377 - -11473. Does 12 divide y?
True
Is 8/(96/133470)*6/9 a multiple of 292?
False
Let m be ((-6)/4)/((-6)/308). Let b = -72 + m. Suppose -b*i + 9 = 4, 3*f = -3*i + 1011. Does 56 divide f?
True
Suppose -4*r + 14*r = -r + 517759. Is r a multiple of 11?
True
Let a be 0*(4/22 - 54/(-792)). Does 78 divide 0 + a/(-3) + 5 + 229?
True
Suppose -21*s + 64438 + 36614 = 0. Is s a multiple of 3?
True
Let q = 221 + 33. Let v = 450 - q. Is 12 a factor of v?
False
Suppose 4*i - 5*a - 37 = 0, -5*i - 9 = 5*a - 44. Suppose -217 + 713 = i*t. Is 17 a factor of t?
False
Let j be (21/4 - 6)/(1/(-4)). Suppose d = -2*l + 62, -j*l + 5*d = -80 - 0. Is 5 a factor of l?
True
Let m(v) = 6*v**2 - 7*v - 8. Let j be m(-1). Suppose -115 = -2*t + 3*x, -j*t + 3*x = 4*x - 313. Is t a multiple of 43?
False
Is 4 a factor of (11 - 289/(-51))*264?
True
Suppose 2*o - 96 = 5*a - 700, 4*a = 3*o + 486. Suppose 0 = -a*n + 118*n + 208. Suppose r - n = -3*r. Is 13 a factor of r?
True
Let k be 1203*(-5 - 17/(-3)). Suppose 0 = -g + 5*h + 184, -4*h = -4*g - 6*h + k. Is g a multiple of 24?
False
Let u(b) = 10527*b + 67. Is u(3) a multiple of 46?
True
Let c(d) = -d**3 - 13*d**2 - 39*d + 8. Let m be c(-8). Suppose 22*j - 28*j + 468 = m. Does 21 divide j?
False
Suppose 20*g + 12 = 22*g. Suppose 0*i - 2*i + g = 3*u, i - 3 = 3*u. Suppose 2*m = 3*m - 3, 4*z + 5*m - 71 = u. Is 13 a factor of z?
False
Let r(t) = -2*t**3 - t**2 + t + 1. Let a be r(-1). Let m be (-3)/(8/(-4) + a - 2). Does 18 divide (m/(-1))/(-3 - (-266)/89)?
False
Let k = -24 + -89. Let r = k - -111. Is 15 a factor of r + -1 + 4 + 211 + -2?
True
Let t(o) = o**2 + 10*o + 18. Let v be t(-8). Suppose v*l + 1 = l, 0 = 3*z - 2*l - 518. Suppose 0 = -4*c + 3*p + p + z, -3*p = -4*c + 170. Is 6 a factor of c?
False
Let p(k) = 4*k**2 - 7*k - 16. Let j be p(-5). Suppose 116*s - j*s + 840 = 0. Is 20 a factor of s?
True
Let r be 307*(-24)/40*5. Let x = -801 - r. Does 30 divide x?
True
Let t be 6/((10/915)/2). Let l = t + -570. Is l a multiple of 11?
True
Suppose 5*i - 10 = 0, -58*i + 60*i = -8*m + 23764. Is 9 a factor of m?
True
Let l(h) = 124*h - 434. Is l(24) a multiple of 47?
False
Let m(s) = s**2 + 7*s + 6. Let l be m(-4). Let w(a) = a**2 + 5*a - 4. Let z be w(l). Is 13 a factor of 4/(z/(-13)*-1)?
True
Let d = -22542 - -28200. Does 54 divide d?
False
Let c(r) = -5*r + 50. Let k = -52 + 55. Suppose -s = 4*t + 4 + 24, -s + k*t - 14 = 0. Is 15 a factor of c(s)?
True
Let v(z) = 42*z**2 - 2*z + 10. Let g be v(-6). Suppose 4*u = s - 157 - 341, 4*u + g = 3*s. Does 40 divide s?
False
Suppose -k + 43*s + 13824 = 41*s, 4*k - 4*s = 55284. Is k a multiple of 49?
True
Suppose r - 710 + 126 = 656. Is 5 a factor of r?
True
Suppose 135*m + 7684 = 140*m + 4*u, -4*m = 3*u - 6147. Does 11 divide m?
False
Does 17 divide 5/((-1)/(-3)*(-45)/(-17805))?
False
Suppose -2*s + 5*x - 124 = -888, 5*s = -x + 1802. Is s even?
True
Let p(n) = -n**3 - 5*n**2 - n - 1. Let r be p(-5). Let b(f) = -17*f + 645. Let d be b(35). Suppose -38 = -c + r*s, -5*s = -5*c + d + 110. Is c a multiple of 15?
True
Let x(d) be the first derivative of d**2/2 + 13*d + 27. Let a be x(-10). Suppose 0 = a*n - 2*c - 303, n - 3*c - c = 111. Is n a multiple of 19?
False
Let j(z) = 20*z**3 - 53*z**2 - 14*z + 246. Let d(y) = 7*y**3 - 18*y**2 - 5*y + 82. Let a(q) = 17*d(q) - 6*j(q). Is 27 a factor of a(8)?
False
Let g be 6/14 - 51/119. Suppose g = -3*z - w + 7375 - 1772, w + 4 = 0. Is z/15 + (-8)/(-20) a multiple of 25?
True
Suppose -4*t - i = -1204, 5*t - 2*i + 482 = 2000. Let n = t + 283. Is n a multiple of 10?
False
Let a = -295 + 156. Let n = a - -427. Is 12 a factor of n?
True
Let f = -639 - -640. Does 70 divide 485/(-4)*((-72)/f)/18?
False
Let d be 3/(1 - 34/(-40)*-1). Suppose -4*j = -d, -5*i + 12197 = -i + j. Is 16 a factor of (1/2)/(12/i)?
False
Suppose -41*d + 42*d = 3*p - 18882, -5*p + 31478 = -3*d. Is p a multiple of 44?
True
Suppose 16 = 5*n - 7*n. Let w be 8 + n - (-1 + -1). Suppose 18 = 5*r - 3*f + 2*f, 0 = -w*r + 3*f + 2. Is 4 a factor of r?
True
Let k(r) = -47*r + 9. Let q be k(-3). Let n = 479 - q. Does 47 divide n?
True
Let p = 29447 - 16901. Is p a multiple of 18?
True
Suppose 40 = -116*n + 121*n, -2*v + 3*n = -4122. Is v a multiple of 7?
False
Suppose 18*q + 36*q = -4347 + 351351. Is q a multiple of 54?
True
Does 11 divide 106977/54 - (-40)/(-720)?
False
Is (-3)/6 + (2163/2 - -7) a multiple of 34?
True
Suppose 1825 = 4*y - w, 2*w + w = -y + 453. Suppose -3*u = 3*p - y, -42 = 3*p - 2*u - 523. Does 12 divide p?
False
Let m be 37 + -19 + (-2)/(-2). Let o(u) = u**2 - 16*u - 37. Does 20 divide o(m)?
True
Let b(a) = 8*a**2 - 8*a - 8. Let u be b(-20). Suppose 12*d - u = 1208. Is d a multiple of 20?
True
Let o be (5 + 456)*2 + -5 + 1. Suppose 11*k - 8*k = o. Is 34 a factor of k?
True
Is 26 a factor of 24896 + 8 - (5 + -1)*-1?
True
Let i(v) = 21*v - 2. Let w be i(0). Let h(u) = 260*u**2 + 5*u + 10. Is 56 a factor of h(w)?
False
Suppose 75 = 10*n + 345. Suppose 4*l - i = 813, 2*i + 0*i + 814 = 4*l. Let k = n + l. Does 44 divide k?
True
Let a(o) = -25 + 33*o + 1 - 41*o - 6. Suppose -2*g + 72 = -6*g. Is a(g) a multiple of 9?
False
Let q be (-770)/198 - 1/9. Is 9 a factor of (82/8)/(11/44) - q?
True
Let x(u) = 19*u - 73. Let g be x(4). Suppose g*p = -2 + 5, 2*p + 302 = 4*y. Is y a multiple of 3?
False
Suppose -4*b + 3*b = -14. Suppose k = -b + 11. Let l = 10 + k. Is 5 a factor of l?
False
Let b(n) = -144*n - 972. Is 51 a factor of b(-53)?
False
Suppose 2*m = -3*k - m + 18, -8 = 2*k - 2*m. Let b be 40/(-60)*(k - 4). Suppose 81 = d + y, 0 = -10*d + 5*d + b*y + 440. Is d a multiple of 13?
False
Suppose 1 = 2*z + 9, 0 = 3*d + 2*z + 17. Let b(m) = -4*m**3 - 2*m**2 + 4*m + 29. Is 8 a factor of b(d)?
False
Suppose 490 + 3066 = 4*n + l, 2652 = 3*n - 3*l. Suppose -904 = -3*m - t, 11*m - 3*t = 8*m + n. Is m a multiple of 5?
True
Let y(b) = 48*b**2 + 45*b + 25. Does 6 divide y(-10)?
False
Let s(c) = 7*c**2 + 65*c - 298. Is 2 a factor of s(9)?
True
Let d = 42 + -36. Suppose -5*k - 4*l = -8, d*l = 2*k + l + 10. Suppose k = -5*j + 111 + 29. Is 14 a factor of j?
True
Let f = 52594 - 37220. Is f a multiple of 14?
False
Suppose 23*i - 21*i = 9970. Suppose -290*o + 285*o = -i. Is o a multiple of 35?
False
Let n = -10908 + 11115. Is n a multiple of 8?
False
Suppose 0 = 5*m + d - 2460 - 10577, 5*d - 7831 = -3*m. Is m a multiple of 5?
False
Is ((-4461)/(-6))/((-35)/(-140)) a multiple of 45?
False
Suppose 4*g + 9*g - 3185 = 0. Let u be (g/(-4) - 2)/(1/4). Let j = -109 - u. Is 12 a factor of j?
True
Suppose -f + 151216 = 3*a + 2*a, 3*f + 151212 = 5*a. Is 330 a factor of a?
False
Let w(d) = -d**3 - 6*d**2 + 7*d + 3. Let l be w(-7). Suppose 4*z - 124 = 4*j, 115 = z + l*z - j. Suppose 26*q = z*q - 20. Is 10 a factor of q?
True
Suppose -4*b = 2*b. Let h(o) = -33 + b*o - 6*o + 12*o + 0*o. Is 10 a factor of h(10)?
False
Let b be (-60)/(-8)*2*(-1164)/(-18). Suppose -20*c + 11330 = -b. Does 9 divide c?
False
Let w(f) = f**3 - 19*f**2 - 90*f + 1854. Does 143 divide w(48)?
True
Let z = -64 + 54. Is (-747)/(((-45)/z)/(-3)) a multiple of 14?
False
Let o(i) be the second derivative of 12*i**5/5 + i**4/6 - i**3/3 - 2*i. Suppose -5*c + 4*g - 7 = 0, 2*c + 16*g = 19*g - 7. Is o(c) a multiple of 9?
False
Suppose 33836 = 40*f + 12276. Let w = 752 - f. Does 3 divide w?
True
Let y(p) = -p**3 + 8*p**2 - 26*p + 136. Let h be y(7). Let l(x) = 59*x**2 - 47*x + 10. Does 9 divide l(h)?
False
Let x = 2 - -22. Let g be (3 - (-6340)/x) + (-3)/18. Suppose -5*i - 3*f = -g, -3*i - 4*f + 158 = -0*f. Is i a multiple of 9?
True
Let t(q) = -10*q**3 - 9*q**2 - q + 25. Does 5 divide t(-5)?
True
Let s = 12 - 20. Let x(k) = -k - 45. Let z be x(s). Let b = z + 181. Is 21 a factor of b?
False
Let i(k) be the second derivative of -k**4/12 - 7*k**3 + 27*k**2 - 106*k. Is 58 a factor of i(-36)?
False
Let k(l) = 9*l**2 - 54*l - 704. Is 49 a factor of k(-13)?
True
Is (10808/42)/(3/36) a multiple