 t a multiple of 18?
False
Is (1584/60)/((-1)/(-15)) a multiple of 36?
True
Let w(a) = -a**3 - 5*a**2 - 3*a - 4. Let y = 15 + -20. Let d be w(y). Let i = 64 + d. Is 15 a factor of i?
True
Suppose 0 = 20*s - 25850 + 1370. Does 68 divide s?
True
Suppose 4 = 2*s - 2. Suppose u = s*u - 12. Let r(p) = 2*p**2 - 6*p + 8. Is r(u) a multiple of 8?
False
Let l(g) = g**3 - g**2 + 5*g - 5. Let a be l(5). Suppose -2*w = -2*s + 18, -4*s = w + 4*w. Suppose -u + s*u = a. Does 30 divide u?
True
Suppose -2*s - 7 + 3 = 0. Let c(f) = 8*f + 2. Let t be c(s). Let r = t + 26. Is r a multiple of 4?
True
Let z(t) = -t**2 + 6*t - 3. Let b be z(5). Suppose -5*j = -b*i - 0 + 28, -i + 4*j = -20. Let o = i - -3. Is 2 a factor of o?
False
Let n(m) = 4*m - 45. Let c be n(11). Does 12 divide ((-36)/1)/(28/(-24) - c)?
True
Let m be (8/(-10))/((-2)/10). Let a(f) be the first derivative of f**4/4 - 2*f**3/3 + f**2/2 - 3*f - 55. Does 11 divide a(m)?
True
Suppose 0 = -31*i + 1329 - 399. Does 5 divide i?
True
Let c(w) = 12*w**2 + 18. Is c(-3) a multiple of 42?
True
Let r(f) = f**2 + 9*f + 4. Let k be r(-11). Let m = k + -9. Does 5 divide m?
False
Suppose 2*q - a + 1 = 0, 0 = -4*q - 3*a + 27 - 4. Suppose q*p = -3*r - r + 1636, 4 = -4*r. Is (p/(-15))/((-4)/6) a multiple of 15?
False
Suppose 3*j + 0*j - j = 0. Let a be (-6 + 0)*(-1 + 0). Suppose a + j = k. Is 2 a factor of k?
True
Is 14 a factor of (-24 + -102)*94/(-4)?
False
Let x be (-1 - 0)/(2/26). Is 13 a factor of (205/(-25) + 4)*x*5?
True
Suppose 9 - 3 = -2*j. Is 3 a factor of (-11 - j)*3/(-8)?
True
Let b = 30 + -28. Suppose l = -3*x - l + 139, -b*x = l - 92. Does 41 divide x?
False
Suppose -2*o = -3*m + 2*o - 50, -4 = -2*o. Let s = m - -15. Is s/(-1)*(-14)/2 a multiple of 7?
True
Let n = -1592 + 2439. Does 18 divide n?
False
Does 88 divide 57909/33 - 18/(-99)?
False
Suppose 2*o - 3 = -3*j, 4*o + 2*j - 3 = -1. Suppose o = 168*q - 167*q - 177. Does 31 divide q?
False
Let o = 86 + -2. Suppose 0 = 4*c - a - 0*a - 74, 3*a - o = -5*c. Suppose -3*i + 14 = d, -i + c = 2*i + 3*d. Is 2 a factor of i?
True
Let l(q) = q**2 - 2*q - 6. Suppose -11*m + 35 = -6*m. Let c be l(m). Suppose 5 = g - c. Is 20 a factor of g?
False
Let k = 12 + -6. Let m(f) = f + 4 + 2*f + 3*f. Does 11 divide m(k)?
False
Let v(r) be the third derivative of -r**6/40 - 3*r**5/20 + 5*r**4/24 - r**3/2 - 10*r**2. Does 19 divide v(-6)?
False
Let u = -289 - -1410. Does 71 divide u?
False
Let o(j) = -3*j**2 + 7*j + 1. Let m be o(-2). Let k = 81 + m. Is k a multiple of 14?
True
Let q = -9 + 9. Suppose -2*n + 0 + 10 = q. Let u(s) = 2*s - 1. Is 2 a factor of u(n)?
False
Suppose 0 = -7*t + 2*t - 95. Let c = t - -23. Suppose -60 = -2*m + 4*q, 2*m - 132 = -2*m + c*q. Is 18 a factor of m?
True
Let t(l) = 70*l + 29. Is t(3) a multiple of 25?
False
Does 5 divide (-190)/(6/(-63) + 102/(-252))?
True
Let u be -2 + -1 - -4 - -5129. Is 4/22 - u/(-99) a multiple of 13?
True
Let j = 52 - 49. Suppose -1204 = j*p - 17*p. Is 39 a factor of p?
False
Let m = -8 - -26. Suppose 21*r - m = 20*r. Is r a multiple of 3?
True
Suppose -w + 33 = -q, q = -5*w + 3*q + 180. Suppose 2*t - 49 = 3*y, w - 1 = -3*y + 5*t. Let o = 45 - y. Is 18 a factor of o?
False
Is 1/6*6 - (-5 + -1096) a multiple of 9?
False
Let t(b) = -7*b + 5*b - 73*b**3 + 29*b**3 + b. Is t(-1) a multiple of 26?
False
Suppose 164*s - 75 = 159*s. Is 6 a factor of s?
False
Let l be (-5)/2*(-4)/5. Suppose 0 = -2*x + 3*k + 66, x + l*x - 104 = 2*k. Is 12 a factor of x?
True
Suppose 2*r = 336 - 50. Does 11 divide r?
True
Suppose 0 = -11*a + 7*a. Suppose a = 2*i + 4*i - 18. Suppose 0 = -i*m - 42 + 156. Is 18 a factor of m?
False
Let v be 37/7 + (-2)/7. Let r be 118 + -2 + v - -4. Let w = -38 + r. Does 31 divide w?
False
Let d = -77 - -143. Let m = d + -39. Does 15 divide m?
False
Suppose j + 0*w - 3*w = 1353, 0 = 3*w + 15. Is j a multiple of 6?
True
Let v = -23 - -26. Suppose 0*r = -v*r + l, r + l = 0. Suppose r = 2*o, -4*n + 140 = -0*o - 4*o. Is n a multiple of 15?
False
Suppose -5*n = -7 - 8. Suppose -n*p + 23 = -241. Is 13 a factor of p?
False
Let x(i) = -2 - 19*i + 33*i + 48*i. Is 13 a factor of x(3)?
False
Suppose 4*k - 20 - 4 = 0. Suppose 5*n + 20 = -j, 5*j = 4*j + 2*n - k. Is 7 a factor of (-2)/5 + (-114)/j?
False
Let s(w) = 150*w**3 + 3*w**2 - 6*w + 4. Is s(2) a multiple of 43?
True
Is 13 a factor of (-26*(-12)/(-72))/((-3)/711)?
True
Let d(u) = 9*u**2 + 2*u + 1. Let a be d(-1). Let n(r) = 4*r + 6. Let c(k) = -k. Let l(g) = 2*c(g) + n(g). Does 11 divide l(a)?
True
Suppose 0 = -h + 3*k + 420, -3*h + 5*k + 1268 = -0*k. Does 7 divide h?
False
Let x = 0 + 0. Let g = 4 - 6. Is 14 a factor of -1 - (x + g + -27)?
True
Let r(k) = -2*k + 17. Let f be 1 - (5/(-5) + -4). Does 5 divide r(f)?
True
Let v(j) = -j**2 + 8*j + 12. Let z be v(9). Does 7 divide -50*(z/2 + -2)?
False
Let v(q) = -q - 4. Let x be v(-6). Suppose -2*b + 64 = x*o, 2*b + 2*b + 3*o - 127 = 0. Does 6 divide b?
False
Suppose -3438 = -13*b + 2529. Is 51 a factor of b?
True
Let h = 21 + -11. Suppose h + 23 = 3*a. Let w = 29 - a. Does 6 divide w?
True
Let t = -727 - -510. Let w = t + 346. Is w a multiple of 30?
False
Let c(g) = 30*g**2 - 9*g + 46. Does 38 divide c(5)?
False
Let l be ((-110)/(-4))/(4/8). Suppose 4*a - l = 17. Is 2/(a/(-15))*-15 a multiple of 17?
False
Suppose 0 = -44*d + 682 + 14410. Does 44 divide d?
False
Suppose 4*i - 4*h + 4 = 0, 3*i - 2*h = -0 - 2. Suppose d - 160 = 2*r, -2*d + r + 0*r + 320 = i. Does 20 divide d?
True
Is 4 a factor of 8/40 - ((-11112)/15 - -4)?
False
Suppose -w + t = -1 + 3, 5*t - 10 = -5*w. Let n(p) = -p**2 - 6*p - 53. Let a(c) = c + 1. Let j(i) = -6*a(i) - n(i). Does 13 divide j(w)?
False
Let j = 1156 - 90. Does 44 divide j?
False
Suppose -38*v - 813 = -35*v. Let t = 433 + v. Is t a multiple of 18?
True
Does 11 divide ((-3443)/(-22) + 9)/(1/2)?
False
Let d(v) = v**2 + 10*v + 22. Let f be d(-7). Suppose f + 6 = x. Suppose 0 = 3*a - x*a + 68. Is a even?
False
Let h(l) = l - 5. Suppose 33 = 5*v - 4*b, -v + b + 9 = 2. Let m be h(v). Suppose y + m*y = 29. Does 29 divide y?
True
Let t be -4 + 103 + 3 - -4. Let s = -55 + t. Does 12 divide s?
False
Let t(a) be the third derivative of -a**4/6 + 8*a**3/3 + 6*a**2. Does 20 divide t(-11)?
True
Let m be 7 + 1/((-3)/12). Suppose -15 = -m*s, -5*t + 5 = -4*t + 2*s. Let c = 13 - t. Is c a multiple of 3?
True
Let k(z) be the second derivative of z**5/20 + 13*z**4/12 - z**3/3 + 14*z**2 - 21*z. Is k(-13) a multiple of 18?
True
Let i = -882 + 1410. Is 11 a factor of i?
True
Suppose 4*c - 17 = m, 2*c = -2*m + 3*m + 9. Suppose 54 = 6*z - c*z. Let n = z + -16. Does 10 divide n?
False
Let r = 36 + -34. Let u be r - (2 + 1 + 4). Does 20 divide 54/(-90) - 578/u?
False
Let s(i) be the third derivative of -1/60*i**5 - 4*i**2 + 1/120*i**6 - 1/12*i**4 + 0 + 0*i - 1/3*i**3. Does 9 divide s(3)?
False
Let n = -56 + 36. Suppose 2*p = 3 + 81. Let u = n + p. Is 12 a factor of u?
False
Suppose -51 = -3*s + 9. Let t = 117 - s. Is t a multiple of 16?
False
Let o = 36 - 34. Is 61*o*(0 - -1) a multiple of 14?
False
Let h(n) = -8*n**2 + 46*n + 8. Let a be h(6). Suppose -2*y + 7 = -4*c + 27, -5*y - 2*c - 14 = 0. Is 5 a factor of 2/a*y + 23?
True
Let f(l) = -88*l - 419. Is f(-8) a multiple of 4?
False
Let c(s) = s**3 - s**2 - 2. Let p be c(2). Suppose -225 - 171 = p*k. Is 5 a factor of k/(-8) - (-6)/(-8)?
False
Suppose -j + 6 = 5*q, 2*q + 194 = 5*j + 56. Is j a multiple of 3?
False
Let a(q) = -3*q**3 + 8*q**2 - 9*q + 2*q**3 + 15 - 5. Let o be a(7). Is 3 a factor of 4*((-2)/o + 1)?
True
Let y(c) be the second derivative of c**4/4 - 5*c**3/3 - 21*c**2/2 - 11*c. Is 19 a factor of y(-5)?
False
Suppose -4*y - 20 = 5*c, -2*y - 20 = -3*c + 2*y. Suppose c = -4*r + l - 9, 2*r + 3*l - 1 = -2. Does 15 divide -7*r*(-15)/(-7)?
True
Let q be (30/(-20))/((-3)/904). Let b = q + -656. Does 18 divide (6/12)/((-2)/b)?
False
Let j(o) = -11*o - 1. Suppose 2*w = 12 - 26. Is j(w) a multiple of 19?
True
Suppose 0 = -3*g + 53 + 220. Suppose 5*j + 435 = 5*c, -3*j - g = -c - 0*c. Suppose -o + 35 = 3*r, -3*o + 5*r - c = -6*o. Does 10 divide o?
True
Let o = 6 + -3. Suppose 0 = -4*a + o*l + 31, 3*a + 0*l - 19 = -2*l. Suppose 4*k = -3*f + 19, 2*f = 5*k - a - 34. Is 2 a factor of k?
False
Let i(u) = u**2 + 10*u + 11. Let o be i(-9). Suppose o*d - 14 - 132 = 0. Does 16 di