ctor of d?
True
Suppose 2*r + 795 = 7*r. Let d = 226 - r. Is d a multiple of 12?
False
Let l = 17 - -1270. Suppose -l = 2*i - 13*i. Is 13 a factor of i?
True
Let v = 12 + -10. Suppose -7*o + 15 = -v*o. Suppose 5*n + 3*c = 275, -c - 141 = -o*n + 2*c. Does 26 divide n?
True
Suppose b + 1 = 2*j, -5 = -2*b - 2*b + 5*j. Suppose -i - 4*i + b*s = 130, 3*i - 5*s = -82. Is 9 a factor of 6/i - (-145)/4?
True
Is 6 a factor of (6 + 3390/(-20))/((-2)/8)?
True
Let c(u) = -u + 5. Let g be c(-5). Suppose -g*v = -9*v - 5. Suppose 2*i + 2*i - v*z - 232 = 0, 0 = 5*i + 4*z - 331. Is 21 a factor of i?
True
Suppose 1980 = 15*a - 6*a. Suppose -5*b + 8*l = 4*l - a, b - 44 = 4*l. Is b a multiple of 22?
True
Suppose -3*b = -2*g + 5366, g - 18*b + 15*b = 2677. Is g a multiple of 47?
False
Suppose 4*b = -22*q + 17*q + 86, 3*b - 51 = -3*q. Does 9 divide q?
True
Let t be ((-1)/1)/(0 - 4/(-688)). Let k = -87 - t. Does 17 divide k?
True
Let y = -33 + 30. Let w be 33 + (3 + y)/(-2). Suppose 4*x = 31 + w. Is x a multiple of 8?
True
Is 15 a factor of 1547 - -6*6/(-18)?
True
Let s be (-44)/11 - 3*-2. Let c be (-5)/((-25)/30) - s. Suppose -4*m + f = 5*f - 128, c*m - 5*f - 128 = 0. Is m a multiple of 4?
True
Let w(s) = -44*s - 7. Does 9 divide w(-2)?
True
Let z be (-5 - 0)*36/45. Suppose 0 = -2*b + b - 2. Is 19 a factor of z/(b*4)*114?
True
Suppose 149*c = 153*c - 20. Suppose -4*g + 5*g = -c*u + 2, g = 3*u + 42. Is 5 a factor of g?
False
Let n(a) = -a**2 + 8*a - 4 - 2*a - 20*a. Is n(-12) a multiple of 4?
True
Suppose 0 = -4*s + o + 187, -5*s + 5*o + 45 = -200. Is s even?
True
Is 21 a factor of (-49875)/25*(6/10 + -1)?
True
Let l = 104 + -100. Suppose -5*q = l*q - 198. Is q a multiple of 11?
True
Suppose 5*q - 2 = -4*y + 16, 0 = q - 2. Is 3/y - (-328)/16 a multiple of 11?
True
Suppose 2*w - 76 = 5*t, 0 = -0*w - 3*w - 3*t + 72. Let j(i) = -2*i + 3*i + 47 + w. Is j(0) a multiple of 25?
True
Suppose -2*r + 7 = -5. Suppose 3*j - 4*q + 223 = r*j, 2*q = j - 71. Does 13 divide j?
False
Suppose 4*t = 3*k - 46 - 1, -2*k + 33 = -3*t. Suppose 1 = o - 4. Suppose -k*p + 144 = -o*p. Is p a multiple of 9?
True
Let z be -26 - -3*2/3. Let v = 26 + z. Suppose -v*y = -y - 60. Does 10 divide y?
True
Let c = 1049 - 119. Is c a multiple of 67?
False
Suppose 0 = -3*l - a - 2, 3*a + 3 = 2*l - 3. Let r = -6 - l. Let z(i) = -4*i + 2. Is z(r) a multiple of 10?
False
Suppose 0 = -5*k - 5*l + 4085, 2*k + 2*l = 6*l + 1616. Let y(h) = h**2 - 9*h + 8. Let a be y(10). Is k/a - 10/45 a multiple of 9?
True
Is 8 a factor of -6*(-3)/(27/210)?
False
Suppose 0 = -k, -4*k + 127 - 67 = 3*s. Is s a multiple of 10?
True
Suppose -3*j - 6 = 0, 5*a - 221 = -5*j + 3*j. Suppose -3*i - 5*d + 4*d + 102 = 0, 0 = i + 4*d - a. Is i a multiple of 7?
False
Let s(b) = 0 + b**2 + 34*b - 5 - 32*b. Suppose 4*m = -3*q - 0*q - 19, 0 = -m - 1. Does 5 divide s(q)?
True
Suppose 2*w + 26 - 4 = 3*k, 15 = 5*k + w. Is 20 a factor of 8/k*394/4?
False
Let a(l) be the second derivative of l**5/20 + l**4/4 + l**3/6 - l**2 + 3*l. Let h be a(-2). Suppose 219 = 3*k - 2*n + 4*n, h = -4*n. Does 19 divide k?
False
Let a(g) = g**3 + 3*g**2 + 3. Let d be a(-4). Let t = d + 26. Is t a multiple of 13?
True
Suppose 2*u - 7 = -3*i - 0, -u + 5*i + 10 = 0. Suppose u*t = 3*t + 20. Is t a multiple of 5?
True
Let w(l) = -3*l**2 + 1455*l + 2*l**2 - 5 - 1473*l. Does 8 divide w(-15)?
True
Let x = -491 - -3135. Does 11 divide x?
False
Let t(a) = 39*a**3 - 4*a**2 - 4*a + 2. Does 14 divide t(2)?
False
Suppose -22 = -2*q + l, -q + 4*l + 43 = 2*q. Suppose q + 6 = 2*f + n, -2*f = -3*n - 35. Does 5 divide f?
True
Is 15 a factor of (-42)/98 - -213*3/21?
True
Suppose 47 = -8*w - 169. Is 14 a factor of (w + -1)*(-1)/8*4?
True
Suppose 4*u + 4*b - 236 = 0, -242 = -4*u + 4*b - 2*b. Does 60 divide u?
True
Let l = 272 - 119. Suppose 3*p = p + 6, 3*v - l = 5*p. Does 12 divide v?
False
Let h(o) = -o**3 + 5*o**2 - 9*o + 9. Let f(i) = -i**3 + 4*i**2 - 8*i + 8. Let d(w) = 7*f(w) - 6*h(w). Is 7 a factor of d(-4)?
True
Let t(q) be the third derivative of q**5/30 + q**4/12 + 39*q**3/2 + 12*q**2. Is 9 a factor of t(0)?
True
Suppose 3*d - 2253 = -4*n + 2592, 2*n = -d + 2421. Is n a multiple of 31?
True
Suppose 0 = -k + 4*k - 12. Let j be (k - 5)/1*16. Let l = 21 + j. Is 3 a factor of l?
False
Let p(v) = -v**3 + 46*v**2 - 43*v + 134. Is 6 a factor of p(45)?
False
Suppose -6*t + 345 = -189. Let j = 94 - t. Does 5 divide j?
True
Let r = -811 + 988. Does 5 divide r?
False
Suppose c + 15 = -5*z + 105, 3*c = z - 2. Let u = 544 - 547. Let m = z - u. Is 9 a factor of m?
False
Let c(n) = -n**3 + 14*n**2 + 12*n - 33. Is c(11) a multiple of 10?
False
Let f(n) = n**2 + n - 1. Let k(a) = -a**2 - 12*a - 9. Let o(y) = 2*f(y) + k(y). Suppose 2*u = 1 + 25. Is o(u) a multiple of 7?
True
Let c(u) = u**2 - u - 4. Suppose 4*i - 12 = -0*i. Let s be c(i). Suppose -y + 26 = 2*a, -3*y + 4*a + s = -2*y. Does 6 divide y?
True
Let y = 26 + -22. Let t be (150/35)/((-2)/(-14)). Suppose -y*r + t = -r. Does 5 divide r?
True
Let u(s) be the third derivative of s**5/60 + 7*s**4/24 + 13*s**3/3 + 2*s**2. Is 14 a factor of u(-13)?
False
Let d(w) = w**3 - 10*w**2 - 40*w + 193. Is 90 a factor of d(13)?
True
Let z = 30 - 21. Let h = 145 - z. Suppose -5*n + h = -3*n. Does 11 divide n?
False
Let r(j) = -j**2 + 15*j - 10. Let d = -14 - -16. Suppose 5*g - 4*w = 60, -g - d*g = -2*w - 36. Is 13 a factor of r(g)?
True
Suppose 0*c + 591 = 3*c. Suppose -3*y + 4*y - 4*r - 55 = 0, 5*r = 4*y - 231. Suppose -c = -3*p - y. Is p a multiple of 13?
False
Let o(m) = 3*m + m - 7*m**2 + 2 + 9*m**2. Let d be o(-2). Suppose 175 = d*g + 3*g. Is g a multiple of 6?
False
Suppose 5*s - 21 = c, -s + 3 = 5*c - 4*c. Let t be s/(-12) - 34/(-3). Let f = t - 6. Is 2 a factor of f?
False
Is (-2)/(-8) - 455/(-52) a multiple of 9?
True
Let q = 900 - -29. Does 11 divide q?
False
Suppose 351*y - 16393 = 338*y. Does 6 divide y?
False
Let m(o) = 12*o**2 - 2*o + 1. Suppose -21 = -5*a + 4*k, 8*a - 4*a = -k. Suppose -3*f + 4 = a. Is m(f) a multiple of 4?
False
Let b(d) = -9*d**2 - 7*d - 3. Let r be b(-4). Let k = 179 + r. Is k a multiple of 6?
True
Suppose -4*d + 24*t = 29*t - 3865, -2*t - 6 = 0. Is d a multiple of 10?
True
Suppose 6 = -5*b + 2*p, -2*b + 2*p = 2 + 4. Suppose i = -b*i + 5. Is i/(-10) - 85/(-2) a multiple of 14?
True
Let u = 27 - 23. Is 20 a factor of 138/u + (-16)/32?
False
Let k(u) be the third derivative of -u**8/20160 - u**7/420 + 11*u**6/720 - u**5/10 + u**2. Let t(o) be the third derivative of k(o). Is t(-8) a multiple of 13?
False
Let w be (2/6)/((-5)/(-15)). Let m be 0 - -7*(w - -1). Suppose -3*x + 103 = -m. Is x a multiple of 10?
False
Suppose 0*b + 13 = b - 2*g, b - g - 9 = 0. Suppose 2*i + 2 = 0, 0*f + 4*f - b*i = 229. Suppose -2*o + 0*o = -f. Does 16 divide o?
False
Suppose -x + 511 = w, -2*w - w = -3*x + 1533. Does 51 divide x?
False
Let o = -495 - -718. Is 11 a factor of o?
False
Does 15 divide (-224)/12*((-57)/12 + 1)?
False
Suppose -6 = -k - 3, 0 = -d - 4*k + 6. Let u = d - -12. Does 6 divide u?
True
Let t = -51 - -61. Is ((-98)/t)/(-6 + 29/5) a multiple of 12?
False
Let f(j) = 4*j + 71. Let k be f(-17). Suppose 4*r - 5*c + c = 168, -k*r = 2*c - 146. Is 3 a factor of r?
False
Suppose h - 438 + 248 = 0. Is 6 a factor of h?
False
Let s = 71 - 36. Let h(k) = 2*k + 19. Let a be h(-12). Let x = s + a. Is x a multiple of 30?
True
Suppose 2*k - 2262 = -484. Does 13 divide k?
False
Let q = -5057 + 8841. Does 88 divide q?
True
Suppose -12 = -0*s + 6*s. Is 0 + s - ((-2)/2 - 73) a multiple of 15?
False
Let d = -54 - -44. Does 6 divide 400/d*3/(-4)?
True
Suppose 2*l - 19 = -3*a + 371, 0 = 4*a - 4*l - 540. Is a a multiple of 11?
True
Let c(s) = -s + 25. Suppose -3*w + 63 = -3*x, 4*w - 2*w - 45 = x. Let l = -12 + w. Is c(l) a multiple of 5?
False
Let r = -33 + -69. Let y = -66 - r. Is y a multiple of 9?
True
Let y(p) = p - 74. Let h be y(3). Let m(f) = f**3 - 7*f**2 + 2*f + 5. Let q be m(5). Let o = q - h. Does 9 divide o?
True
Let g(j) = -j**3 + 7*j**2 + 4*j + 2. Suppose 0 = 5*a - 18 - 17. Is g(a) a multiple of 6?
True
Suppose -j = -g - 21, 4*j = -5*g + 6*g + 18. Let t = 16 + 32. Let h = g + t. Does 13 divide h?
True
Does 110 divide (-56096)/(-30) + (-19)/(-1710)*12?
True
Let s = -9 + 115. Suppose -4*h + 18 = -7*f + 2*f, 5*h + 2*f - 6 = 0. Is 21 a factor