3. Is 26 a factor of f?
False
Let u(k) = 13*k**3 - 31*k**2 + 55*k + 8. Does 30 divide u(6)?
False
Let l = 2494 - 3598. Let m = l + 1875. Is m a multiple of 69?
False
Suppose -99 + 27 = 4*h. Let p = 21 + h. Suppose 0 = -p*c - 5*m + 18 + 28, 5*m = -20. Does 13 divide c?
False
Let d = 4693 + -3341. Suppose 3*x = 4*k + d, -4*k = 2*x - 6*x + 1800. Does 8 divide x?
True
Let j be (-2)/4 + 36/8. Let u = 192 + -92. Suppose 2*w - 10 = -j*l, 5*l = 2*w + 3*w - u. Is w a multiple of 15?
True
Suppose 8*u - 1086 - 130 = 0. Let a = u - 26. Is a a multiple of 72?
False
Does 15 divide (-49841)/(-22) + (3/6)/(-1)?
True
Let x = -15 + 17. Suppose -11*z + 252 = -x*z. Is z a multiple of 14?
True
Suppose 5*h + 15 = 30. Suppose 0 = -3*c - 4*r + 3*r + 8, -5*r - 14 = -h*c. Does 8 divide c/21 - (-800)/35?
False
Suppose j + 3*o - 1109 = 0, 2*o + 0 = 2. Does 74 divide 2*(-10)/4 + j/14?
True
Let u(m) = 4362*m + 98. Is u(3) a multiple of 20?
False
Suppose -530*g + 528*g = 3*k - 5048, 4*k - 6759 = 3*g. Does 139 divide k?
False
Let d(p) be the second derivative of 149*p**3/3 + p**2/2 + 35*p. Let u be d(1). Does 17 divide u/(-26)*(-1 - 13)?
False
Suppose 0 = -3*f + 353 + 1291. Let i = 43 + -38. Suppose -9*j + f = -i*j. Does 44 divide j?
False
Let f = -11 + 17. Let j be 6 - f*1/2 - 3. Suppose -4*h + j*w + 148 = -5*w, 184 = 4*h + 4*w. Is 37 a factor of h?
False
Suppose 29*o - 79470 - 13335 = 33954. Is 31 a factor of o?
True
Let m be 452/(-3) - (1 - 25/15). Is (-5)/(-2)*m/(-3) a multiple of 25?
True
Suppose 2*l + b = 10, 2*l + 5*b = -0*l + 18. Suppose 2*u = -5*j + 1523, 5*u = 2*u - l*j + 2302. Is u a multiple of 18?
True
Is -3 + 530/170 + 713452/34 a multiple of 61?
True
Suppose 4*w = -b + 3865, -2*b + 2 = -0*b. Let n = w - 328. Is n a multiple of 58?
True
Let p = -27209 + 27794. Is p a multiple of 3?
True
Suppose 5*b - 511 = -4*k + 8*k, 0 = b + 3*k - 87. Suppose -103*d + b*d + 2300 = 0. Is d a multiple of 32?
False
Suppose 3*h + 3*y - 3405 = 0, 0 = -3*h - 8*y + 10*y + 3380. Suppose 430 + h = 8*x. Is x a multiple of 13?
True
Let r(s) = 955*s - 16489. Does 234 divide r(55)?
True
Let z(d) = -14*d**3 - 65*d**2 - 8*d - 7. Is z(-13) a multiple of 19?
False
Let j(m) = 2*m**2 + m - 7. Let u = 227 - 231. Is 10 a factor of j(u)?
False
Let b(f) be the second derivative of f**4/12 + 5*f**3/2 - 15*f**2/2 - 22*f. Let m be b(-16). Does 11 divide -7*m/1*(-3762)/231?
False
Let n(x) = -20*x + 137. Let q be n(0). Let u = 317 - q. Does 20 divide u?
True
Let j(k) be the first derivative of -k**3/3 - 4*k**2 + 22*k + 15. Let x be j(-8). Suppose -2*o + 70 + x = 0. Is o a multiple of 38?
False
Suppose 12*u + 18 = 15*u. Suppose 123 = 3*t - r + u*r, 4*r = -2*t + 84. Does 9 divide t?
True
Suppose -4*v = -t - 4463, -2819 = -4*v + 5*t + 1640. Does 19 divide v?
False
Is 1/(-2)*(215 - 3989) a multiple of 17?
True
Let h be (-279)/155 + ((-2)/10 - 0). Let c be (h - 1 - -9) + 0. Is 11 a factor of 21*(-1)/(c/(-22))?
True
Let y(c) = -c**2 - 6*c + 8. Let m be y(-4). Suppose m - 8 = -8*d. Is (d + (-123)/12)/((-1)/4) a multiple of 9?
True
Let a(n) = 11*n + 2*n**3 + 7*n**2 + 0 - 3 - 4*n**3 - 1. Let i be a(-5). Suppose 2*d + 14 = i. Is 8 a factor of d?
True
Let n be -7586 + 24*(-4)/(-12). Does 16 divide 12/(-42) + n/(-14) + 3?
True
Let j(s) = s**2 - 9*s - 56. Suppose -96*h = -86*h - 270. Is 43 a factor of j(h)?
True
Let t = -37 + 56. Let s = 5 + t. Suppose -s - 360 = -12*z. Is 5 a factor of z?
False
Suppose w - 1406 = -x, 5*w - 1595 = 5*x - 8665. Is x a multiple of 15?
True
Suppose m + 3*d - 12 = -4, -2*m + 2 = -d. Let u(s) = -s**3 + 3*s**2 - s - 4. Let q be u(m). Is (-6188)/(-63) + q/9 a multiple of 8?
False
Let c(y) = -4*y**3 - 2*y**2 - 37*y - 548. Is c(-11) a multiple of 42?
False
Is 14 a factor of 498 + ((-17)/(-51) - (-34)/6)?
True
Let d(y) = -4*y**3 - 20*y**2 + 44*y - 3. Does 7 divide d(-8)?
True
Let w be (-16 + 0)*140/(-40). Suppose 3*n = -5*a + w + 24, 2*a = 5*n - 154. Is n a multiple of 6?
True
Suppose -320*t + 85*t + 3315380 = 0. Does 53 divide t?
False
Suppose 3*f + 76828 = 70*m - 66*m, -4*m + 76836 = -4*f. Does 13 divide m?
True
Suppose p = -3*f - 9, -4*p - 11 + 7 = 4*f. Suppose -4*j - 166 = -p*j. Let g = j + 291. Is 25 a factor of g?
True
Suppose -141 = -10*l - 31. Suppose 3*f + 13*r - l*r - 2729 = 0, f - 903 = -2*r. Does 11 divide f?
True
Let z be -6 + (-10)/(60/1278). Let f = z + 317. Does 49 divide f?
True
Suppose 5*v - 5*b - 53280 = 0, 53308 = 5*v + 4*b - 2*b. Is v a multiple of 73?
False
Suppose 2*v = 5*l - 1063, -154*v = -l - 155*v + 214. Is l a multiple of 14?
False
Is ((-41382)/54 - 11)/((-1)/9) a multiple of 115?
False
Let f = 5992 - 4612. Is f a multiple of 35?
False
Let p = 10775 + -7854. Is 181 a factor of p?
False
Let p = -32 - -4. Let d be ((-6)/1 + p)/(0 + -2). Let w = d - 1. Does 16 divide w?
True
Suppose -7*k + 4006 = 2. Does 11 divide k?
True
Let r(c) = -257*c**3 - 3*c**2 + 43*c + 87. Does 17 divide r(-2)?
False
Let g be (-19 + 1)/(12/2610*-5). Suppose -5*u = n - 593, 0 = -4*n - 2*u + 1571 + g. Suppose -44*v + n = -41*v. Is v a multiple of 14?
True
Suppose -187*h + 5*z = -186*h - 7516, -28 = -4*z. Is h a multiple of 9?
True
Let m(a) = 9 - 4*a - 2 + 6*a - a**3 - 3*a + 5*a**2. Let s be m(4). Suppose 99 = 22*f - s*f. Is 4 a factor of f?
False
Let x(q) be the first derivative of 271*q**4/4 - 2*q**3/3 + 3*q**2/2 - 2*q + 7. Does 13 divide x(1)?
False
Suppose -605396 = -89*q + 327413. Is 223 a factor of q?
True
Let p(o) = -o**2 + o - 1. Let d(c) = -5*c**2 - 10*c - 20. Suppose 6 = -4*s - 2*s. Let j(x) = s*d(x) + 3*p(x). Is j(-8) a multiple of 11?
False
Is 2 a factor of 6054943/4155 - (-8)/(-30)?
False
Let a(v) = 122*v**2 + 182*v + 23. Does 62 divide a(-9)?
False
Suppose 8 + 1142 = 5*o. Let f = -545 + o. Let a = -135 - f. Does 13 divide a?
False
Suppose -3*a = -2*b + 3*b - 356, 2*b - 748 = 3*a. Suppose b = y - 4*t, 0 = -4*y + y + 2*t + 1084. Is y a multiple of 34?
False
Let q(l) = l**2 + 16*l + 23. Let w(i) = 2*i**2 + 16*i + 21. Let d(h) = -4*q(h) + 3*w(h). Is 8 a factor of d(12)?
False
Suppose 29*n - 201269 = 505345. Is 186 a factor of n?
True
Suppose h + 15 = 2*u, -71*h - 2*u = -69*h + 30. Is 40 a factor of 6607/5 + 2 - (-6)/h?
False
Suppose 4*n = -5*r + 6392, r = -n - 0*r + 1597. Is n a multiple of 27?
True
Let i(w) = -w**3 - 5*w**2 - 5. Let j(u) = -2*u**2 - 2. Let b(x) = -6*i(x) + 14*j(x). Suppose 136*r - 12 = 130*r. Is b(r) a multiple of 9?
False
Is 20 a factor of 14/(-2) - (-6 - (-58524)/(-6))?
False
Is 15 a factor of ((-290)/(-40))/((16/(-4824))/(16/(-6)))?
False
Let k(q) = q**3 + q**2 - 10*q - 10. Let i be k(-3). Does 39 divide (-14 + 16)*(39/i - 0)?
True
Let r(n) = 18*n + 32. Let x be r(-4). Does 27 divide x/(-400) + 7119/10?
False
Let z(p) = -198*p + 951. Is 98 a factor of z(-13)?
False
Suppose 0*d + 4*q - 96 = 4*d, -3*d = 5*q + 72. Let t be ((-12)/(-8))/((-18)/d). Suppose -108 = -t*u - 10*u. Is u a multiple of 9?
True
Let j = -5 + -13. Let p = 8 + j. Is ((-10)/p)/((-2)/(-34)) a multiple of 3?
False
Let d be (1632/(-4))/(-8)*-5. Let c = 398 + d. Does 12 divide c?
False
Let l = 257 + -162. Let i = l + 253. Suppose -i = -u + 3*p, -u + 360 = 14*p - 13*p. Does 54 divide u?
False
Suppose 6615 = -129*p + 134*p. Let c = p - 905. Does 38 divide c?
True
Suppose -85*y = -143037 - 43113. Is y a multiple of 73?
True
Suppose -25*w - 2*x - 4900 = -29*w, -4*w + 4912 = -5*x. Suppose 0 = -5*z + 232 + w. Is z a multiple of 15?
False
Is ((-21)/(-4))/((-12)/15 + 21910/27200) a multiple of 17?
True
Suppose 0 = -2*m - 0 + 10. Suppose 216 = -4*g + m*g. Does 18 divide (1*-2)/((-16)/g)?
False
Let y be ((-2)/10)/(10 + 1661/(-165)). Let m(p) = -p**2 - p + 1. Let c(r) = 29*r**2 - 3*r + 9. Let w(f) = c(f) + 5*m(f). Does 23 divide w(y)?
False
Let m(j) = -8*j**3 + 4*j**2 - 8*j + 7. Let t(x) = 7*x**3 - 6*x**2 + 9*x - 7. Let g(d) = -3*m(d) - 2*t(d). Does 30 divide g(2)?
False
Let t be (-3)/(1 + 0 - (2 + 2)). Does 16 divide t/4 - (-4)/((-48)/(-1341))?
True
Suppose -4*y - 38*g + 35*g = -12160, -y + 3059 = -4*g. Is y a multiple of 9?
False
Let i be 6*(-5)/(-15) - 26. Is 20*(2 + (-414)/i) a multiple of 5?
True
Suppose 0 = -4*v + 5*i + 42 - 1, -v + 4*i + 13 = 0. Let p(z) = 5*z + 19. Let f be p(v). Suppose f*l = 61*l + 156. Is 13 a factor of l?
True
Let r be (-27)/(-18)*(-48)/(-9). Let y(o) = 4*o + 4*o + 5 + 18. Is 32 a fa