oes 14 divide j?
True
Let x be (-726)/(-55)*270/1. Suppose -9*v - 72 + x = 0. Does 64 divide v?
False
Let y(q) = 5*q - 22. Let z be y(5). Suppose -320 = 5*f + 2*o, -3*o + 192 = z*f - 6*f. Let a = 74 + f. Is a a multiple of 10?
True
Let j = 15 - 13. Suppose 3*t - 978 = -3*p, -j*p = -3*t - p + 970. Does 12 divide t?
True
Suppose 14*c = -5*c - 190. Does 17 divide (-1 - c)*788/12 + -1?
False
Suppose 4*r + 7446 = 2*w, 88*w = 91*w + 3*r - 11196. Is w a multiple of 39?
False
Let w(m) = m**3 + 43*m**2 - 202*m - 84. Is w(-42) a multiple of 21?
True
Let k(a) = 9*a - 23*a + 31 + 10*a. Let w be k(7). Suppose -w*j + 3*l = 2*l - 28, -j + 3*l - 4 = 0. Does 5 divide j?
False
Suppose 64665 = 8*l + 110*l - 577845. Is l a multiple of 15?
True
Suppose 3*b - 139290 = 10*b - 13*b. Is b a multiple of 23?
False
Let j = -1731 + 27543. Does 239 divide j?
True
Suppose 5*y = -6*g + 9*g - 258, -2*g = -3*y - 172. Does 13 divide g?
False
Let y = 190 + -206. Is 18 a factor of (y + 9 - -316)/((-6)/(-4))?
False
Let l = -359 - -363. Suppose -3*p - 115 = -0*z - z, -4*z + 396 = l*p. Is z a multiple of 25?
False
Let q(m) = m**2 - m. Let a be q(3). Let t(s) = 10*s + 176. Is t(a) a multiple of 9?
False
Suppose 1405 = 3*j - 12*k + 8*k, k = j - 467. Is 3 a factor of j?
False
Is 26 a factor of (8 - 7) + (4084/16 - 5/20)?
False
Suppose 48*q - 2*q = -3*q + 1028657. Does 14 divide q?
False
Suppose -4*o - 5*g = -5*o + 144, -g - 672 = -5*o. Let d = o + -98. Is d even?
True
Suppose -2*i = 0, -i + 35 = 5*o + i. Suppose 10*z = o*z + 72. Is z a multiple of 19?
False
Suppose x = -5*x + 90. Suppose x*j - 244 - 341 = 0. Let a = 69 + j. Is a a multiple of 18?
True
Let a be (-9408)/32 - 1*-1. Let l = a - -311. Is l a multiple of 9?
True
Suppose 2*o - 5*d - 7443 = -2*d, -2*o + 7446 = -2*d. Is 69 a factor of o?
True
Let y be -107*(-5 + 1 - 1). Suppose -701 - y = 6*l. Let o = l - -295. Does 26 divide o?
False
Suppose 2*f = 4*d - 8, 12 = 25*f - 22*f. Suppose 0 = 5*i - 4*w - 1536, 0 = d*i - 9*i + w + 1524. Is i a multiple of 6?
False
Let j be ((-18)/(-15))/((-4)/(-60)*-1). Is 13 a factor of 33/(j/(-1176)*7)?
False
Let u = -44 - -40. Let b(h) be the third derivative of -h**4/4 - 11*h**3/6 - 3*h**2. Is 12 a factor of b(u)?
False
Let v(z) = -28*z**2 + 4*z + 28776. Does 109 divide v(0)?
True
Let o(b) = -18*b - 120. Is o(-23) a multiple of 14?
True
Let p be 0*(-1)/(-4)*-1. Suppose 106 = s + g, 3*g + g = p. Does 3 divide s?
False
Suppose 4*j - 4*m = -26937 + 83685, -7*j + 99243 = 4*m. Is j a multiple of 29?
True
Suppose 0 = -141*t + 424027 + 267719. Is t a multiple of 28?
False
Let h be (-1114)/(-14) - (-30)/70. Suppose h = 2*y - 450. Is y a multiple of 35?
False
Let k = -153 + 666. Does 9 divide k?
True
Suppose 0 = -5*v + 44 + 51. Let h(g) = -g**3 + 19*g**2 + g - 15. Let d be h(v). Suppose -d*j - 5*z = -4*z - 201, j - 47 = 3*z. Is 10 a factor of j?
True
Suppose 2*o = 8*o - 24. Suppose 264 = o*v - 6*v. Is -2*v/40*5 a multiple of 11?
True
Suppose 117*c + 11472 = 123*c. Suppose -2*m + 760 = 3*s - 524, 0 = -3*m - s + c. Is m a multiple of 9?
False
Let r be (-12)/2 + 0 + -5. Let o(n) = -n**3 - 9*n**2 - 5*n + 10. Is 16 a factor of o(r)?
False
Is 6 a factor of 4/(-38) - (-5 - (-276840)/(-95))?
False
Let m(g) be the third derivative of g**5/6 - g**4/8 + g**3/6 - 238*g**2. Suppose 0*r + 9 = -3*r. Does 7 divide m(r)?
False
Let r(w) = w**3 + 14*w**2 + w + 19. Let o be r(-14). Suppose u - o = -2*n, n - u = -4 + 2. Does 46 divide -284*(-2)/(-4)*-1*n?
False
Suppose -z = 2*x + 5, 25 = 4*x - 0*z - 5*z. Suppose -5*t - 1227 + 1232 = 0. Does 4 divide ((-4)/(8/(-50)))/(t + x)?
False
Let w = -8 - -8. Suppose -a - 70 + 75 = w. Suppose -a*f = -9*f + 576. Does 16 divide f?
True
Suppose -b = -3*g - 980, 0 = 2*g + 83 - 69. Does 5 divide b?
False
Let v = -40535 + 61773. Is v a multiple of 56?
False
Suppose 1122 = 3*a + 2*y, -774 = -2*a + 6*y - 3*y. Does 13 divide a?
False
Let p be (4/6)/((-282)/(-54) + -5). Let l be p + -3 + 77*-32. Is 0 + 4 + -1 + l/(-32) a multiple of 10?
True
Suppose 15*f + 180683 = -25957. Is (f/196)/(4/(-14)) a multiple of 12?
False
Suppose -3*f - i - 270 = -f, -f - 2*i = 132. Is (-88*f/80)/((-1)/(-5)) a multiple of 21?
False
Suppose -5*o - 65282 = -2*i, -5*o = 7*i - 11*i + 130584. Does 12 divide i?
False
Suppose 3*v - 2*z - 38 = -v, -v + 17 = z. Let d = v + -10. Does 35 divide (-35)/(d*36/40 - 2)?
True
Is 73 a factor of (-16 + 43/3)/(1/(-11676))?
False
Suppose 7*m - 20*m = -28*m + 23130. Does 19 divide m?
False
Suppose 5*d - s - 17010 = 0, 2*s = 2*d - 2770 - 4042. Is d a multiple of 8?
False
Is 36 a factor of (-10 - (-24 - -15)) + 5305*4?
False
Let z(q) = 20*q**2 + 13*q - 6. Let r = -149 - -155. Does 12 divide z(r)?
True
Let j(a) = a**3 - 13*a**2 - 16*a + 34. Let o be j(14). Is -3 - ((-81)/3 - o) a multiple of 30?
True
Is 74 a factor of ((-222)/(-10))/(-20 - (-11214)/560)?
True
Suppose 0 = -5*h, 2*h - 4 = 5*x - 24. Suppose x*t - 4*a = 512, 0 = -t + a + 2*a + 122. Is 43 a factor of t + ((-6)/4 - 2/4)?
True
Let c(d) = -670*d + 40. Is c(-5) a multiple of 8?
False
Suppose -3*z + 17*z - 728 = 0. Suppose 5*m - r = 1187 - z, r = -m + 233. Is 12 a factor of m?
True
Let u(s) = -439*s**3 + s**2 + 51*s + 115. Is 3 a factor of u(-2)?
False
Let h be ((-2)/(-12) - (-555)/18)/1. Let l(y) = 1 + 16*y + 14 - h. Does 24 divide l(10)?
True
Let o(m) = -4*m**3 - 4*m**2 + 8*m + 33. Let d be o(-6). Let r = 1131 - d. Let j = r - 237. Is j a multiple of 17?
False
Let u(y) = 2*y**2 - 5*y - 8. Suppose 0 = 5*c - 14 - 11. Let i be u(c). Suppose -i*a = -14*a - 492. Does 41 divide a?
True
Let t(a) = 9*a - 60. Let v be t(9). Suppose 0 = -v*p + 3321 + 8208. Does 15 divide p?
False
Suppose 8*x = 11*x - 15. Let c be -1 + (x - 4 - -35). Suppose -c = -z - 2*d, 0 = 2*d - 7*d + 5. Is 11 a factor of z?
True
Let c(u) = 770*u - 162. Let p be c(27). Suppose 0 = 5*s - 32*s + p. Is 70 a factor of s?
False
Suppose -28536*l - 92448 = -28548*l. Is 18 a factor of l?
True
Suppose 7385 = t - 0*t - 2*s, 3*s = -3*t + 22155. Suppose -53*x - t = -58*x. Does 16 divide x?
False
Let d = -37 - -42. Suppose -12 = d*j - 2*v, 3*j - 6*v = -3*v. Is 44 a factor of 253 + j + 5 + -6?
False
Let w(l) = -21*l + 44*l**2 - 83*l**2 - 17 + 40*l**2. Is w(24) a multiple of 9?
False
Suppose -20083*s + 308256 = -20075*s. Does 52 divide s?
True
Let s be (-1197)/3 - (2 - 3). Let c = -157 - s. Suppose -t + 2*k + 478 = 3*t, 0 = 2*t - 3*k - c. Is 24 a factor of t?
False
Let f = -57 - -18. Let r(n) = -n**3 - 11*n**2 - 26*n - 19. Let s be r(-7). Let p = s - f. Is 6 a factor of p?
True
Suppose 9 = -5*m + 2*s + 11, 0 = -3*s - 3. Let a(u) = -u**2 + 8*u - 8. Let r be a(7). Is ((r - (-3 - m)) + -3)*-11 a multiple of 2?
False
Let h = -210 + 446. Suppose -2260 = -4*a + h. Let j = a - 366. Is j a multiple of 12?
False
Let f(x) = 2*x**3 + 31*x**2 - 7*x - 26. Let i be 128/(-8) + (-2)/(-3)*3. Is 41 a factor of f(i)?
False
Suppose -t - 18 = 5*j, 4*j = j + 12. Let h = 50 + t. Let d(o) = o**3 - 11*o**2 - 3*o - 1. Is 21 a factor of d(h)?
False
Suppose -3*v + 5 = -4*c, -c = -3*v + 8 + 9. Suppose -v - 5 = -4*g. Is 47 a factor of 189 - (g + -2 + 0)?
True
Is 3 a factor of (9 - (-21)/(-7)) + 1632?
True
Suppose 12997 = 7*x - 338. Suppose -365 = -d - 0*z - 3*z, z + x = 5*d. Is d a multiple of 21?
False
Suppose 316464 = -92*t + 244*t. Does 3 divide t?
True
Let m be ((-999)/15)/((-18)/(-270)). Let a = m - -2001. Does 30 divide a?
False
Suppose -41*o + 315148 = -1040927. Is o a multiple of 105?
True
Suppose i - 4*i + 117 = 0. Suppose 5*b - 3*u = -52 - 28, -3*b + 3*u - 54 = 0. Does 3 divide (-128)/(-6) + b/i?
True
Suppose -1364*u + 1383*u = 94240. Is 62 a factor of u?
True
Let m be (-4)/(-3)*(5 - (-65)/(-10)). Is 17 a factor of ((80/(-15))/16)/(m/1098)?
False
Suppose -2*p = 3*a - 19, 18 = 4*p - 0*p + 2*a. Suppose 0 = -3*g + 5*g + 2, -2*c - p*g + 30 = 0. Is c a multiple of 8?
True
Let n(o) = 51*o**2 - 91. Does 19 divide n(-8)?
True
Let a(d) = -d**3 - 45*d**2 + 19*d + 57. Does 111 divide a(-48)?
False
Let c(y) = y**3 - 9*y**2 - 2*y + 14. Let m be c(9). Let k(z) = -39*z + 45. Is k(m) a multiple of 10?
False
Suppose -7*d + 5*x = -3*d - 247, 0 = 5*d - 4*x - 311. Is 5/45 + 15743/d a multiple of 17?
False
Suppose -47 = -4*j - 2*q - 7, 0 = -5*j + q + 43. Suppose 6*h + 6 = j*h. Suppose -h*g = -43 - 41. Is 7 a factor of g?
True