 (-3)/g a multiple of 17?
False
Suppose -313 = -4*r + 983. Is r a multiple of 36?
True
Let q be 2 + -3 + 6 + -3. Suppose 3*n - q*n = 7. Let k = n + 29. Does 11 divide k?
False
Let v = 12 + -10. Let m be 2 - ((v - 83) + 1). Suppose -4*d - b + m = d, -88 = -5*d - 4*b. Does 6 divide d?
False
Let v(j) = 1 - 4 - 20*j**2 - 3*j + 17*j**2 - j**3. Let q(x) = -x**3 - 5*x**2 - 2*x + 5. Let l be q(-4). Is v(l) a multiple of 2?
True
Suppose 0*u - 4*u + 2*z + 24 = 0, -z = -3*u + 19. Let k = 3 - u. Is 11 a factor of (k - -1)/(3/(-33))?
True
Let g(b) = 275*b**3 - 4*b**2 + 5*b. Is 46 a factor of g(1)?
True
Let k be 1/(-3) + 795/9. Let u = 23 - 18. Suppose -u*o - k = -248. Is 7 a factor of o?
False
Suppose -71148 = 1207*h - 1221*h. Does 14 divide h?
True
Suppose -4*r - 11 = -5*x - 136, 0 = -2*r - 3*x + 35. Suppose -r = -a + 5. Does 6 divide a?
True
Does 22 divide -3448*(-3)/30 - (-6)/30?
False
Let j = 40 + -45. Is 9 a factor of 5*(-2)/j*(-9)/(-2)?
True
Let c(x) = 83*x - 32. Is 3 a factor of c(2)?
False
Suppose 13*v - 4*v = 11529. Does 21 divide v?
True
Let o(p) = -6*p**2 - 19*p + 10. Let y(b) = 5*b**2 + 20*b - 11. Let l(f) = -4*o(f) - 5*y(f). Is 13 a factor of l(-14)?
False
Is (-3228)/(-8)*2 - (-3 - -5) a multiple of 10?
False
Let t(a) = 4*a + 1. Let n = 13 + -16. Let s be t(n). Is 10 a factor of s/(-5 + (-2 - -6))?
False
Let s(u) = -u**3 - 34*u**2 - 96*u - 18. Is s(-31) a multiple of 14?
False
Let u(j) = 5*j + 14. Let o(a) = 11*a + 28. Let n(g) = 2*o(g) - 5*u(g). Let i be n(-6). Suppose i*r + 12 = 0, -3*t = 3*r - 10 - 77. Does 15 divide t?
False
Suppose 0*s + 4 = -2*s. Let u be (7 - s)*8/(-6). Does 22 divide (104/u)/(2/(-15))?
False
Let g = -3487 - -5352. Does 15 divide g?
False
Suppose -4*t + 110 = -3*j + 583, 0 = 4*j + 5*t - 610. Let o be (-9)/(-2) + 2/4. Suppose -o*c - 3*n + 0*n = -j, -4*c = 2*n - 122. Is c a multiple of 14?
True
Let g(j) = -60*j + 4. Is 2 a factor of g(-1)?
True
Suppose 0 = -h - 2*i + 2526, 26*i + 2511 = h + 23*i. Is 12 a factor of h?
True
Let i = 5123 - 3622. Is 73 a factor of i?
False
Suppose -82 + 610 = 6*l. Suppose 0 = -2*r + 4*r - l. Is 27 a factor of r?
False
Let y = -136 - -141. Does 4 divide y?
False
Let x(d) = 15*d**2 - 41*d - 2. Does 12 divide x(5)?
True
Suppose 127 = 3*g - r + 45, r - 121 = -4*g. Let d = -1 + g. Does 7 divide d?
True
Let n(p) be the second derivative of 25*p**3/6 - 11*p**2 - 16*p. Is 16 a factor of n(6)?
True
Suppose 0 = 9*q - 6824 - 2158. Is q a multiple of 7?
False
Let d = 763 + -160. Does 3 divide d?
True
Suppose 7 = f + 2. Let z = f + 27. Is z a multiple of 10?
False
Suppose 273*n = 254*n + 21489. Is 19 a factor of n?
False
Suppose 0 = 3*z - 4*b - 5596, -4*z + 7*z - 7*b - 5599 = 0. Is 7 a factor of z?
False
Is 5 a factor of ((-1220)/3)/(18/(-27))?
True
Suppose 28*n - 140 = 18*n. Let f(p) = 0*p**2 + p**2 - 9*p - p. Is 14 a factor of f(n)?
True
Suppose 0 = -3*o + 7 + 14. Is 10 a factor of 203/4 - o/(-28)?
False
Let f(l) = -116*l - 88. Is 12 a factor of f(-5)?
True
Let n(w) = 3*w**2 + 2*w + 1. Let v be n(2). Let h = -15 + v. Suppose 0 = h*d + 3*d - 100. Does 10 divide d?
True
Suppose -5*j + 15 - 10 = 0. Let a be j/1 - 2 - -7. Suppose -a = -u + 5. Is u a multiple of 5?
False
Let k(j) = 3*j + 545. Is k(34) even?
False
Let c = 36 + -32. Does 10 divide 143/2 + (-6)/c?
True
Let c(x) = 8. Let q(y) = y**2 - 1. Let l(g) = c(g) + 2*q(g). Does 13 divide l(-6)?
True
Let f(o) be the third derivative of -o**6/120 - o**4/8 + 19*o**3/2 + 13*o**2. Does 19 divide f(0)?
True
Let g be 228 - (3 + -1)*(15 + -16). Let r = -68 + g. Is r a multiple of 15?
False
Suppose u = -4*h + 3377, -2*h - 1028 + 2709 = -u. Is 27 a factor of h?
False
Let d(s) = -57*s + 65. Is d(-19) a multiple of 10?
False
Suppose 0 = 6*r - 58 - 62. Does 20 divide r?
True
Let k(x) = -7*x**2 + 12*x - 20. Let v(j) = 6*j**2 - 13*j + 19. Let d(a) = 5*k(a) + 6*v(a). Let s be d(11). Is 8 a factor of (-112)/21*s/6?
True
Let t = -20 - -20. Suppose -8 = -t*g - 4*g. Does 3 divide -34*g/(-4) - 1?
False
Let h = 337 - 236. Let q = h + -1. Is q a multiple of 20?
True
Suppose -5*a + 722 = 3*u, 11*a - 961 = -4*u + 6*a. Is 6 a factor of u?
False
Let y(g) = 8*g**2 - 3*g + 9. Suppose -4*o - q = -25, -4*o + 2*q = q - 23. Let j(n) = -n**2 - 1. Let l(i) = o*j(i) + y(i). Is l(3) a multiple of 12?
True
Suppose -12 + 26 = 2*v. Suppose 9*o = v*o + 28. Is 4 a factor of o?
False
Is (-10)/(-75) + (-85784)/(-120) a multiple of 65?
True
Let d(w) = -w**2 + 9*w - 12. Let a be d(7). Suppose 0 = 3*u - 4*s - 94, a*u = 5*s - 15 + 87. Is u a multiple of 12?
False
Let q(s) = -128*s + 39. Does 29 divide q(-4)?
True
Suppose 0*l = -l + 11. Let q = l - 9. Suppose v = -q*n + 14, -n - 3*v - 8 = -5*n. Does 3 divide n?
False
Suppose -s = -4*t - 0 - 2, -t - 11 = 5*s. Let o(k) = 4*k**3 - k**2 + k + 1. Let y(f) = f**3. Let c(z) = -2*o(z) + 6*y(z). Is c(s) a multiple of 12?
False
Suppose 15*w = 6024 + 2136. Is 13 a factor of w?
False
Is -1 - ((-4024)/40 - (-6)/(-15)) a multiple of 5?
True
Let y(z) = 18*z - 7. Let u be y(4). Let x = 118 - u. Does 32 divide x?
False
Let k be 3/2*(-64)/(-48). Suppose -k*y = 2*v - 20, 0 = 2*v - 2*y - 1 - 3. Let f(n) = 2*n**2 - 9*n + 12. Is 9 a factor of f(v)?
False
Let o be (-11)/(-4) - (4 + (-85)/20). Suppose 0*d - 136 = -2*d. Suppose -4*h = -o*h - d. Is h a multiple of 18?
False
Let g(r) = r - 11. Let n be g(10). Let c be (-31)/((-4)/n - 5). Let y = -15 + c. Does 9 divide y?
False
Does 22 divide (0 - 4/3)*1308/(-8)?
False
Suppose -27*f + 4968 = 9*f. Does 3 divide f?
True
Let s be 36/15 - 2 - (-7365)/25. Suppose 4*m - 161 - s = 0. Is m a multiple of 28?
False
Let l(a) = a**3 + 4*a**2 + 4*a + 2. Let w be l(-2). Does 4 divide w/(-6) + 232/12?
False
Suppose 352 = -3*q + 1780. Is q a multiple of 28?
True
Let i(m) be the first derivative of -m**4/12 + 17*m**3/6 - 3*m**2 - 6*m + 10. Let v(z) be the first derivative of i(z). Is v(7) a multiple of 17?
False
Suppose 277*z = 276*z + 520. Is 13 a factor of z?
True
Let q be -5 - (-3 + 0) - (0 - -2). Is -1 + (-40)/q - 0 a multiple of 3?
True
Let u(g) = -g**3 + 6*g**2 - 4*g - 3. Let y be u(5). Suppose -z = 3, s + y*s = 4*z + 33. Let a = 5 + s. Is a a multiple of 12?
True
Let w(y) = -y + 14*y - y + 63 + 9*y. Is w(7) a multiple of 21?
True
Let b(x) = -x**3 + 26*x**2 + 5*x - 53. Does 29 divide b(14)?
False
Let w = -157 - -58. Let q = w + 139. Is q a multiple of 10?
True
Let y(f) = 2*f + 20. Let z be y(-7). Suppose -3*p = -z, 4*l - 5*p = -l + 595. Is l a multiple of 11?
True
Let k(v) = -4*v**2 - 4*v - 3. Let h be k(-3). Suppose 0 = 4*y - 3*m - 1104 + 207, 3*y - 2*m - 672 = 0. Does 8 divide 4/(-18) - y/h?
True
Suppose 28*b + 4111 = 15283. Is 67 a factor of b?
False
Suppose 4*w = r + 3029, 4*r - 2*r + 10 = 0. Is w a multiple of 27?
True
Let a(m) = -m**2 - 11*m - 4. Let f be a(-8). Suppose 0 = 5*x - f, b - 6 - 24 = 3*x. Let w = b - 33. Does 2 divide w?
False
Let z = -181 - -261. Suppose 2*n = n + z. Is 14 a factor of n?
False
Suppose 3*k - 15 = 0, -5*f - 2*k = -0*k - 375. Is 6 a factor of f?
False
Let g = 269 - 204. Does 5 divide g?
True
Suppose 9*c - 2*c = 7. Is 183 + (c - 5 - -8) a multiple of 26?
False
Let q = 688 + -529. Does 3 divide q?
True
Does 16 divide (-12)/(-72) + (-5933)/(-6)?
False
Let s(h) = 26*h + 299. Is 29 a factor of s(10)?
False
Let u(d) = -5 + 4*d + 23*d**2 - 8*d + 5*d**2. Is u(-2) a multiple of 24?
False
Let z = -19 - -21. Suppose 175 + 137 = -z*t - 2*c, 5*t + 3*c = -786. Is t*((-6)/(-9) - 1) a multiple of 15?
False
Let y = 243 - 54. Suppose -y = -6*o + 3*o. Does 9 divide o?
True
Suppose -51 = -g - 2*g. Suppose -4*b + g = -7. Suppose -b - 60 = -2*r. Is 12 a factor of r?
False
Does 66 divide -5*27/(-15) - -387?
True
Let f = 5 + 5. Let m(b) = b**2 + 4*b + 40. Let u be m(0). Is ((-928)/u)/((-4)/f) a multiple of 13?
False
Suppose 0 = -201*u + 194*u + 10318. Does 22 divide u?
True
Suppose -9*t + 370 + 1340 = 0. Is 30 a factor of t?
False
Let h be -123 + -2 - (8 + (-7 - -3)). Let v(k) = -25*k**3 + 2*k**2 + 3*k + 2. Let o be v(-2). Let d = h + o. Is 15 a factor of d?
True
Let z(f) = 7*f - 17. Suppose -4 = 4*s - 40. Is 7 a factor of z(s)?
False
Suppose -r - 4*r + 4*m = -31, 3*m = 3*r - 21. Let l = -34 + 37. Suppose -15 = 5*i, r*d - l*i - 3 = 36. Is 10 a factor of d?
True
Let w = 17 - 14. Suppose 2*h - 2*p - 64 = -6*p, h - 37 = w*p. Suppo