v**3 + 28*v**2 - v + 30. Does 5 divide l(j)?
False
Suppose -2*r + 9*r = 343. Suppose r*y = 45*y + 12. Suppose -3*d - j + 42 + 238 = 0, -y*d + j = -284. Does 15 divide d?
False
Let y = 29 + 23. Suppose 3*f + y = -2*g, -4*g + 3*g = 4*f + 61. Let v = 58 - f. Does 12 divide v?
True
Suppose -42*c + 97*c - 283085 = 0. Is c a multiple of 15?
False
Let a = 140 + -84. Suppose 4*t = -h - 42, 51 = -2*h - t - 33. Let b = h + a. Is 14 a factor of b?
True
Let c = -18374 - -22401. Is c a multiple of 16?
False
Suppose 3*h - 5*b - 54339 = 0, h + 49*b - 18120 = 53*b. Does 230 divide h?
False
Let k(h) be the first derivative of -15 - h**3 + 1/4*h**4 - 5/2*h**2 - 14*h. Does 17 divide k(6)?
False
Let t(k) = -3*k - 20. Let d be t(-7). Suppose -d = -4*g + 7. Is (-3)/g + 26*42/24 a multiple of 22?
True
Suppose -2*x = -2*r - 20 - 4, 0 = -4*x + 8. Let y be (-1458)/(-15) - 8/r. Let o = 167 - y. Does 34 divide o?
False
Suppose -3*j + 38179 = i - 6370, 0 = 5*i + 5. Does 25 divide j?
True
Suppose -b - 3*z + 14 = 0, -3*z + 46 = -0*b + 5*b. Suppose 282 = -b*t + 842. Suppose 0 = -2*r, 5*r - 918 + t = -4*g. Is 22 a factor of g?
False
Let k(d) = -7*d**3 - 6*d**2 - 18*d - 230. Is k(-8) a multiple of 47?
False
Suppose 5690773 = 670*c + 920997 + 14116. Does 13 divide c?
True
Let s = -154 + 181. Let w = s - -123. Is 6 a factor of w?
True
Let y be 9/(-18) + ((-2365)/10 - -4). Let m = 340 + y. Is m a multiple of 16?
False
Let n(d) = 687*d - 483. Is n(13) a multiple of 16?
True
Suppose 0*n + 46*n + 96048 - 516488 = 0. Is n a multiple of 10?
True
Suppose d + 4*r = 3*r + 9, 0 = 5*d + 3*r - 37. Suppose 5*a + y - 919 = 0, -13*y = -d*a - 12*y + 911. Is 32 a factor of a?
False
Suppose 58*c = 46*c + 48. Suppose -c*b + 1463 + 139 = s, -3*s + 1606 = 4*b. Is b a multiple of 19?
False
Suppose t + 0*t = 208. Suppose 0 = 13*c + 16*c + 3828. Let y = c + t. Is 38 a factor of y?
True
Let c(p) = -5*p**3 - 3*p**2 - 8. Let f(q) = -q**2 - 13*q - 10. Let r be f(-12). Suppose -r + 22 = -5*m. Is c(m) a multiple of 16?
False
Suppose 5*n + 38 = -g, 24 = -3*n - 22*g + 21*g. Suppose 2*l + 5*a - 65 = -3*l, 63 = 3*l - 3*a. Is (1 + l/n)/(16/(-112)) even?
True
Suppose -27*d + 221396 = -334858. Is d a multiple of 14?
False
Let z(y) = -3*y - 82. Let h be z(-26). Let r be ((-105)/10 - h)*2. Let i(m) = -m**3 - 12*m**2 + 4*m - 14. Is 30 a factor of i(r)?
False
Let d(h) = -46*h - 162. Let q be d(-15). Does 11 divide (7*(-45)/(-252))/(1/q)?
True
Let w be (-314)/785 - 2/(-5). Let i(o) = -4*o**3 + 4*o**2 + 4*o + 116. Let f(z) = z**3 - z**2 - z - 1. Let n(y) = 3*f(y) + i(y). Does 21 divide n(w)?
False
Let q(i) = i + 7. Let d be q(13). Let w(b) = b**2 + 5 - d - 16*b + 17*b. Is 15 a factor of w(10)?
False
Let t = -33716 + 37308. Is 4 a factor of t?
True
Let w be (-41)/2*(-18 - (-16)/2). Suppose 4115 = 6*z - w. Is z a multiple of 40?
True
Suppose 2352 = 27*o - 3*o. Is o a multiple of 49?
True
Let x(g) = -g**3 + 7*g**2 + 3*g - 7. Suppose -20*n + 21*n = -16. Let m(j) = j + 22. Let z be m(n). Does 16 divide x(z)?
False
Let q = 25 + -23. Suppose -q*a + 15 = -1. Does 45 divide (-4 + 160)/(a/12)?
False
Let l(b) be the first derivative of -b**3/3 + 15*b**2/2 + 6*b + 4. Suppose -z - 4*q = -3*z + 4, 2*z - 34 = -2*q. Is l(z) a multiple of 7?
True
Let y(l) = l**3 - 7*l**2 - 17*l - 21. Let s be y(13). Suppose -18*q + s = -19*q. Let k = -525 - q. Is k a multiple of 34?
False
Does 106 divide -1*-30*(-7795)/(-15)?
False
Let n = -7485 - -15456. Is 10 a factor of n?
False
Suppose 0 = -8*t + 267 + 4405. Suppose q + 802 = n, t = 2*n - 3*q - 1023. Is n a multiple of 47?
True
Suppose 0 = -5*z - k + 17, -z + 6*z - 4*k - 32 = 0. Suppose 2*n - 504 = -3*u + 178, z*n - 1374 = -u. Is n a multiple of 32?
False
Suppose 9*i + 47506 = 3*u + 4*i, 3*u - 2*i = 47482. Does 30 divide u?
False
Let c(b) = 9*b**2 - 53*b + 9. Let w be c(6). Suppose -w*t + 24*t = 2610. Does 4 divide t?
False
Is -1524*((-160)/360 - 16/18) a multiple of 176?
False
Let z(t) = 69*t**3 + 2*t**2 + t - 2. Let p be 5/(-3) + 2 + 86/129. Is 14 a factor of z(p)?
True
Let w(u) be the second derivative of -u**5/20 - 11*u**4/12 + 11*u**3/2 - 11*u**2/2 + 31*u + 1. Does 47 divide w(-14)?
False
Let s be 0 - -1 - (-1 - -217). Suppose -320*m = -197*m + 44034. Let x = s - m. Is x a multiple of 10?
False
Let a be (8/(-1) - (-2)/(-2))*-1. Suppose a*j - 10*j = -59. Suppose z = 4*l - 292, z = -3*l + j + 153. Is 12 a factor of l?
True
Suppose -162 = -2*w - 2. Let h = w + 100. Is 20 a factor of h?
True
Suppose 0 = w - 3*t - 2655, 3*w = -2*w + 3*t + 13263. Does 102 divide w?
True
Let x(w) = w**3 - 18*w**2 + 40*w - 44. Let p be x(16). Suppose 2*h + 4*f = p, -8 - 1 = 3*f. Is 17 a factor of h?
False
Let k = 772 - 550. Suppose 234 = -221*q + k*q. Is q a multiple of 26?
True
Let w(i) = 7*i**2 + 7*i + 18. Suppose -2*k - 86 + 80 = 0. Let r be 39/9 + (-2)/k. Does 19 divide w(r)?
True
Let o = -16 - -13. Let r be (2/o)/(4 - 228/54). Does 17 divide 948/8 + 15/(-6) + r?
True
Suppose 84*i - 1464139 - 260767 = -266834. Is i a multiple of 64?
False
Let h be -1 + (-7)/(-5) + (-297)/(-45). Suppose -3*f = -4*f + h. Let i(m) = 4*m**2 - 9*m + 3. Does 17 divide i(f)?
True
Let m = 1106 + -1061. Let k(z) = -z**3 + 3*z**2 + 5*z - 2. Let u be k(4). Suppose j = -4*r + 70, -u*j - 4*r + 107 = -m. Does 8 divide j?
False
Let i be (-80)/50*(-10)/4. Let n(r) = -r**3 + 10*r**2 - 24*r - 5. Let l be n(5). Suppose i*u = 2*k + 84, -5*u + l*k - 2*k + 105 = 0. Does 6 divide u?
False
Suppose z + 20 = -3*z, 0 = 5*a - 4*z - 11900. Is 54 a factor of a?
True
Let r(k) be the third derivative of 7*k**4/24 + 11*k**3/6 - 12*k**2. Let t be r(-4). Let v = t - -32. Is 3 a factor of v?
True
Let s = -252 - -254. Suppose 1082 = s*n - 3*d, -4*n + 4*d - 2659 = -9*n. Is 6 a factor of n?
False
Let u(z) = -10 - z**2 - 3*z**3 + 5*z**2 - z**3 + 3*z**3. Let w be u(3). Is 26 a factor of 111*1*(w + 2)?
False
Let k(m) = -3*m**3 + 21*m**2 + 2*m + 64. Let r(z) = 4*z**3 - 21*z**2 - 2*z - 65. Let x(w) = 5*k(w) + 4*r(w). Is x(-21) a multiple of 12?
False
Let v(d) = d**3 + 66*d**2 + 166*d + 157. Is v(-62) even?
False
Suppose 0 = 4*x - 2*l - 232, 23*x - 26*x = -5*l - 195. Is x a multiple of 3?
False
Suppose 0 = 79*x + 56*x - 334260. Is x a multiple of 21?
False
Is 11 a factor of (32 - 4 - 15) + 3276?
True
Does 15 divide 2861 + -2 + 5 + 5 + -1 + 7?
False
Let v = 24 + 16. Suppose -4*i + v = 16. Suppose -i*d = -0*d - 834. Is 20 a factor of d?
False
Suppose 832*o - 811*o - 264957 = 0. Is 31 a factor of o?
True
Suppose -11*z + 1538 + 233 = 0. Suppose z*p = 162*p - 13. Is p a multiple of 6?
False
Is 8 a factor of ((-1)/(-1))/(-5 + 4023984/804792)?
False
Let k be (-378)/(-8) + 0 + (-318)/(-424). Suppose k*j - 2105 = 5767. Is j a multiple of 9?
False
Suppose -5*h + 80095 = -3*i, -6*i + 5 = -7*i. Is h a multiple of 13?
True
Let r(a) = -a. Suppose -15 = 3*y, 21 = -4*x - 0*x - 5*y. Let b(h) = -57*h. Let o(k) = x*b(k) + 6*r(k). Is 14 a factor of o(-2)?
True
Let o = 3518 - 1070. Is (-1)/((-4)/(o + 0)) a multiple of 55?
False
Let n(z) = 43*z + 920. Does 63 divide n(-11)?
False
Suppose -2 = -j + 2. Suppose z = -j*z - 100. Is (45/z)/((-3)/8) a multiple of 6?
True
Let d be 10/(-115) + 10/115. Suppose -2*m - 48 = -5*u + 1599, 3*m + 3 = d. Is 14 a factor of u?
False
Suppose -4*n + 20269 = -r, 0 = 1056*n - 1059*n - r + 15200. Is n a multiple of 51?
False
Let b be 1/3 + 266/57. Suppose b*t - 1304 - 951 = 0. Suppose -277 = -3*l + 8*d - 4*d, 5*l - t = -4*d. Is 14 a factor of l?
False
Let f(r) = 149*r - 1434. Does 9 divide f(28)?
False
Let o be (366/5)/((-4)/(-120)*9). Let b be (1 + (5 - 7))/((-2)/o). Let y = 1 + b. Is y a multiple of 39?
False
Let o(a) = -4429*a - 449. Is o(-3) a multiple of 21?
False
Suppose h = 3, -h + 6 + 32 = 5*w. Suppose -w*f = -15*f + 1920. Is f a multiple of 80?
True
Does 51 divide 147141/(9 + 45/(-10))?
False
Let v(b) = b**3 + 15*b**2 + 10*b - 53. Let l be v(-14). Suppose -4*d = 4*q - 2080, 2*q - 1100 = l*d - 55. Does 7 divide q?
False
Let v = 18480 + -14586. Is 11 a factor of v?
True
Let p(l) = -l**3 + 73*l**2 - 253*l - 120. Is p(68) a multiple of 113?
False
Let w = 99 - 95. Let d be 48/32*w/3. Does 8 divide 101 - -12 - (5 - d)?
False
Let m(v) = 767*v**2 + 8*v + 9. Let s be m(-1). Let j = 1587 - s. Is 13 a factor of j?
True
Suppose 3020 - 187532 = -31*l. Does 64 divide l?
T