 multiple of 19?
True
Let u be (-322390)/155 + (-10)/155. Let o = 3652 + u. Does 21 divide o?
False
Suppose 14*d + 1232 - 3976 = 0. Is d a multiple of 4?
True
Suppose -20 = -6*d + 10. Suppose d*w + 3*c = 4*c + 1943, 0 = w + c - 391. Suppose -10*p = -1509 + w. Does 15 divide p?
False
Let r = 10157 + -3677. Does 72 divide r?
True
Let x(c) = -c**3 - c**2 - 5*c + 3. Let u be x(0). Suppose -m + 3442 = u*o - 0*o, -m = -5*o + 5742. Is 41 a factor of o?
True
Let g(q) = 278*q + 16. Let f be g(15). Suppose -19*t = -5*t - f. Does 23 divide t?
True
Let l be (-1183)/(-63) + (-2)/(-9) - -1. Is 20 a factor of (-2)/(-8)*0 + 13*l?
True
Let g be (92/(-12))/((-6)/(-648)). Is 1/((2/g)/(7/(-21))) a multiple of 21?
False
Let i = 318 + -320. Does 51 divide i/(-3) - (-2)/(-6)*-1663?
False
Let u = 13376 + -13371. Let x(q) be the third derivative of q**5/12 - q**4/2 + 2*q**3 + q**2. Does 11 divide x(u)?
True
Suppose 4*c = 6*c - 10368. Suppose -21*u + c = 39. Is 29 a factor of u?
False
Let y = 136 - 128. Is 33 a factor of y/(-192)*-4 + (-2986)/(-12)?
False
Let y = 287 + -52. Suppose 25*w = 30*w - y. Let r = 36 + w. Is 16 a factor of r?
False
Let a be ((-2)/(-6))/((-143)/12 - -12). Does 11 divide (-12)/a*-10*(-220)/(-15)?
True
Suppose -133*a = -153334 - 860392. Is 3 a factor of a?
False
Does 24 divide 1079/(((-4)/(-28))/(-4 + 5))?
False
Let f = -3922 + 4695. Is f a multiple of 14?
False
Let d = 41272 + -13915. Does 33 divide d?
True
Let l = 3952 + -2194. Is l a multiple of 47?
False
Let b = 3291 - -4881. Is 6 a factor of b?
True
Suppose -3*p + 5*p + 839 = -5*f, 2*f - 397 = p. Let h = p + 437. Is 5 a factor of h?
True
Suppose j - 2*j = -5*q - 25, 4*j = -q + 58. Suppose -3*y + j*y = 9264. Is 78 a factor of y?
False
Let j(c) be the first derivative of -4*c**2 + 24 - 17*c + 1/4*c**4 - 2*c**3. Is 17 a factor of j(8)?
False
Suppose 3*g - 918 = 5*w - 12110, 2*w + 2*g = 4480. Does 3 divide w?
False
Let t = 14 + -25. Is (t/2)/(11/6 + -2) a multiple of 3?
True
Let d(a) = 3*a**3 + 6*a**2 - 21*a - 28. Let b(o) = 13*o**3 + 22*o**2 - 85*o - 112. Let z(l) = 2*b(l) - 9*d(l). Is z(-13) a multiple of 18?
True
Suppose 0 = d - 29 - 35. Let p = d - 59. Suppose 0 = -4*x - p + 1, 5*x = 2*k - 289. Is k a multiple of 41?
False
Let m(g) = g**3 + 31*g**2 + g + 48. Let f be m(-31). Suppose -21*v + f*v = -664. Is v a multiple of 20?
False
Suppose -2*r + 3111 = -5271 + 48. Is 73 a factor of r?
False
Let z(m) = 6*m**2 + 92*m - 225. Does 62 divide z(-46)?
False
Let y be (-145)/(-25)*(3 + 0 - -2). Is -17 + 19 - (2 - y*7) a multiple of 7?
True
Let r be (-2 + 47)/(16/432). Suppose 3*o - 2994 = -r. Is 53 a factor of o?
False
Let m = 76 - 91. Let n be (-3 - 85/m)*(-801)/(-12). Suppose -2*i + n = 2*k, 435 = 4*i - 4*k + 71. Is 30 a factor of i?
True
Let c be (3 + -1)*(-1)/6*-3567. Suppose 0*w - c = -w. Suppose w - 104 = 7*n. Is 30 a factor of n?
False
Suppose -18832 - 818 = -3*r + 4*i, 19668 = 3*r + 2*i. Is 6 a factor of r?
False
Let n(k) = 27*k + 164. Let b be n(-6). Suppose -b*i = 4*u - 1042, 4*i + 5*u - 2090 = -0*i. Does 75 divide i?
True
Suppose -8*n = -55287 + 1607. Is 11 a factor of n?
True
Let d = -140 + 142. Suppose -d*l = -h + l + 4, -64 = -5*h + 4*l. Does 2 divide h?
True
Let r = 93 + -100. Let x be (-126)/(-7)*2/(r - -3). Let k = 31 + x. Is k a multiple of 3?
False
Suppose -3*t = -5*n + 2415, 2 + 10 = -4*n. Let i = -1348 - t. Let r = i - -763. Is 26 a factor of r?
False
Let h(t) = t + 183. Let l be h(33). Let b = -182 + l. Is 8 a factor of b?
False
Suppose 0 = 11*k - 10*k - 460. Suppose 0 = 7*p - 5*p - k. Suppose 2*q - 4*z - p = -0*q, -2*q + 2*z + 220 = 0. Is 21 a factor of q?
True
Suppose -u + 28 = -2*d + 6*d, -d + 24 = -4*u. Let a(i) = 2*i**3 - 12*i**2 - 26*i - 6. Let q be a(d). Is 12 a factor of ((-9)/((-27)/28))/(2/q)?
False
Let o = -10045 + 12368. Is 8 a factor of o?
False
Suppose -3*z - j - 1043 = -262, 15 = 3*j. Let o = z - -642. Is 76 a factor of o?
True
Does 50 divide 13/(-65) - 26201/(-5)?
False
Suppose 2237 = -18*n - 2569. Is ((3 + n)/4)/(1/(-5)) a multiple of 26?
False
Suppose -58*m + 32*m + 302848 = 0. Does 28 divide m?
True
Suppose 667*y = -3*l + 664*y + 52926, -y + 70562 = 4*l. Does 14 divide l?
True
Suppose -a + 2*a - 197 = 3*k, -256 = 4*k - 3*a. Let s = 223 + -65. Let t = k + s. Is 27 a factor of t?
False
Suppose -10*a + 3*m - 1992 = -13*a, -4*a + 2*m = -2668. Does 21 divide a?
False
Let d be (5 + 1 - -66)*(35 - 2). Suppose -49*r + 37*r + d = 0. Does 11 divide r?
True
Let n(z) = 20*z - 13. Let g be n(3). Let y = 7 + g. Suppose 4*t - y = 10. Does 3 divide t?
False
Let b(m) = 2*m**2 + 2*m - 4. Let s be b(-3). Let t be (-14)/(-4) + 0 + (-4)/s. Suppose 3*o - 98 = t*i - 365, -3*i - 4*o + 281 = 0. Does 13 divide i?
True
Let x be 61470 + (-7 - (-3 - 10)). Is x/96 + 3/(-8) a multiple of 64?
True
Is ((-175)/(-25) - -22886) + (-6)/2 a multiple of 17?
False
Suppose -5*b + b = -440. Suppose -2*n + 196 = 4*h, -3*h + b = -4*n - 37. Is 15 a factor of h?
False
Suppose -2*u + 1 + 7 = 0. Suppose u*n - 689 = 1075. Is n a multiple of 42?
False
Let c(a) = -a**3 - 5*a**2 - 3*a + 24. Let q be c(-8). Suppose 10*u = 6*u - q. Let i = 73 - u. Is i a multiple of 9?
False
Suppose 3*a - 4*a + 10 = 0. Let d(t) = -t**3 + 9*t**2 + 9*t + 12. Let b be d(a). Suppose n - 7 = w, 5*n - b*w = -0*w + 38. Does 4 divide n?
True
Suppose 56*w - 62*w + 198 = 0. Suppose 14892 = w*v + 3408. Does 24 divide v?
False
Let n(t) = t**3 - 23*t**2 + 38*t + 87. Let p be n(21). Is (3 - -108)/p*8 a multiple of 13?
False
Let a = 30634 - 22551. Is 378 a factor of a?
False
Let p be 1/7 + (1170/63)/10. Is 71 + 263 - p*3 a multiple of 17?
False
Let r(i) = i**3 + i**2 + i + 20. Let d be r(0). Suppose -5*b + d = -0*b. Does 14 divide -2*b/(-32)*172?
False
Let i(o) = 267*o**2 + 79*o - 2. Is 18 a factor of i(-2)?
False
Let q(k) = -k**3 + k**2 - 6*k + 5. Let v be q(1). Is 15 a factor of 210/2 + v + (6 - 5)?
True
Let r = -344 - -356. Is 50 a factor of r/(-102) - (-17856)/51?
True
Suppose 31 - 124 = -q. Let f be ((-310)/q)/(4/18). Does 5 divide (50/f)/((-6)/99)?
True
Let r be (-2)/4 + 356/(-8)*-19. Suppose 0 = 5*u - 2*f - 850, 3*f + r = 5*u + 2*f. Does 14 divide u?
True
Suppose -8*l = -6*l - 4. Let g be 3 - (-10)/(l - -3). Suppose 3*y - 109 = 4*a, 28 - 263 = -g*y - 4*a. Is 20 a factor of y?
False
Suppose 4*k - k - 15 = 0. Suppose -1011 = -k*i + z, i + 61 = 4*z + 267. Suppose 4*a - 54 = i. Does 16 divide a?
True
Suppose 0 = -w - 4*q + 13249, 3*q + 13291 = -84*w + 85*w. Does 232 divide w?
False
Let c be -12*((-65)/15 + 4). Let b be (4 - 4) + 48/c. Is 14 a factor of 255/b + 3 - (-2)/(-8)?
False
Suppose i - 2*y + 7 = y, -5*y = -20. Suppose 5*x + 375 = 2*a, 5*a = -i*x + 3*x + 923. Does 4 divide a?
False
Let w = 511 + -509. Suppose 0 = 2*y - w*i - 1178, 2*y + 5*i - 1632 = -461. Is y a multiple of 21?
True
Let s(f) = -f**3 - 5*f**2 + 7*f + 7. Let k be s(-5). Let g(w) = w**2 - 8*w + 2. Let a be g(6). Let p = a - k. Is p a multiple of 3?
True
Does 107 divide (-700)/65 - 39/169 - -36432?
False
Suppose 5*x = 3*m + 23 - 7, 4*m - 5*x = -13. Let f(s) = -63*s + 30. Let c be f(-1). Suppose 0 = -p - 2*p, -m*v - p + c = 0. Does 4 divide v?
False
Suppose 2*a + 50 = 5*q - 7*q, q + 5*a = -17. Is 9 a factor of (q/(-2) + 0)/((-10)/(-580))?
True
Suppose 9*u - 2721 = -3*z + 10*u, 2*u - 2730 = -3*z. Is z a multiple of 3?
False
Let m(a) = -1. Let j(n) = 2*n - 1. Let u(d) = -j(d) - 2*m(d). Let b be u(-14). Suppose b - 22 = w. Is 3 a factor of w?
True
Let t(w) = 4*w**2 + 10 + 21*w + 13 - 10. Does 14 divide t(-11)?
True
Suppose -f - 3 = -2*f. Let v(r) = -6*r + 4. Let x be v(f). Does 13 divide -1 + 13 - (x + 11)?
False
Is (-18)/81*-6*(228809/7 + -2) a multiple of 142?
False
Is (3205/(-3))/(32 - 14795/462) a multiple of 35?
True
Let m(t) be the second derivative of 1/20*t**5 + 0 - 19/2*t**2 - 4/3*t**3 + 2/3*t**4 - 5*t. Is m(-8) a multiple of 15?
True
Suppose 2*p = -2*n + 84, n + 2*n + p = 118. Let v = n - 36. Suppose v*h = -7*h + 801. Is 19 a factor of h?
False
Suppose 1580 = 5*o + 14*d, 2*o - 4*o + d = -665. Is 9 a factor of o?
False
Let s(p) = -p**3 - 11*p**2 - 22*p + 14. Let a be s(-8). Does 12 divide a - 3/((-6)/292)?
True
Let f(i) = -44*i - 24. Let s be 4 + 1 + 16/4. Suppose 0 = -5*y + t - 5 - s, 5*t + 2 = y. Does 18 divide f(y)?
True
Suppose 4*j + 4*b = 128972, -2*j - 4*b 