be b(-53). Let x = z - p. Is x a multiple of 13?
False
Let g = 3 + 2. Suppose -k - z - 3 = 2*z, k = z + g. Suppose 16 - 79 = -k*b. Is 14 a factor of b?
False
Let j be 29/2*(-8)/(-4). Suppose 0 = -4*x - b + 5*b - 84, 3*x + 38 = -2*b. Let r = x + j. Is 4 a factor of r?
False
Suppose 4*q = -3*y + y + 18, -15 = 5*y - 5*q. Suppose y = -p + 10. Suppose -p = -2*a + 53. Is a a multiple of 22?
False
Suppose 10*n + 4*u - 31 = 5*n, -13 = -3*n - u. Suppose -551 = -5*j + 3*y, -n*j + 215 = -j - 3*y. Is j a multiple of 28?
True
Suppose 4900 = 3*d + 85. Suppose -4*v = 5*n - 7*v - d, 1610 = 5*n - 2*v. Suppose 111 = 5*g - n. Is 29 a factor of g?
True
Let k be 0 + (-9)/(-6) - (-2)/4. Suppose -5*d + 307 = -k*j, 0 = -0*j - 3*j - 3. Is 11 a factor of d?
False
Suppose 0 = -5*a + 5*w - 7*w + 2811, -3*w + 1692 = 3*a. Is a a multiple of 37?
False
Let z(x) = -13*x + 100. Let l be z(11). Let r = -52 - 31. Let p = l - r. Does 10 divide p?
True
Suppose -k = -4*x + 1387 - 238, 0 = 3*x - 3*k - 864. Does 33 divide x?
False
Suppose -39*o + 554 = -1474. Is 40 a factor of o?
False
Let d(w) be the third derivative of 2*w**5/15 - 11*w**4/24 + 4*w**3/3 + 6*w**2. Is 18 a factor of d(-4)?
True
Suppose 3*c = -i + 77, -73 = -3*c - 5*i - 0*i. Suppose 0 = 2*s - c - 0. Is 9 a factor of (s - 2)/(2/4)?
False
Let f(q) = -5*q**2 + 190. Let p = 27 - 27. Is f(p) a multiple of 11?
False
Let o = 308 + -20. Does 24 divide o?
True
Let z(t) = 2*t**2 + 332 - 312 + 6*t - t**2. Is z(-14) a multiple of 33?
True
Let p = -3129 - -4729. Is 32 a factor of p?
True
Suppose -23 = -4*g + 1. Is (56 + -2)*(-1 - (-10)/g) a multiple of 6?
True
Let b = -145 + -37. Let w = 0 - -260. Let y = w + b. Is y a multiple of 26?
True
Let u = -19 - -25. Suppose -3*q + 3*a - 1686 = 0, u = 3*a - 6. Is 26 a factor of 45/(-60) + q/(-8)?
False
Let a be (-12)/(-20)*2*15. Does 22 divide 408/a - (-4)/(-6)?
True
Is 2984/10 + 236/(-590) a multiple of 62?
False
Let d(i) = -7*i. Suppose 57 = -8*u - 47. Does 13 divide d(u)?
True
Does 6 divide -2*(-1 + (-4)/2) - -276?
True
Let i be (-4)/(-26) - (-640)/65. Is 50 a factor of ((-32)/i)/(2/(-125))?
True
Let c(y) = y - 18. Let f be c(23). Suppose 2*h - f*t = 28, -2*h - h + t + 55 = 0. Is h a multiple of 3?
False
Let z(y) = y**3 + 6*y**2 + 5*y + 2. Let h be z(-5). Suppose 0 = -2*a - h*a - 424. Let l = -70 - a. Does 12 divide l?
True
Let v = 54 - 48. Suppose v*d + 391 = 1711. Does 44 divide d?
True
Let q be ((-18)/(-10))/(1/10). Let v = -16 + q. Let i = v + 25. Does 6 divide i?
False
Suppose 4*m + 19 = 5*j, 2*j = 3*m - m + 8. Let f(x) = 8 - 4*x**2 - 6 + 9*x + j*x**2. Is f(4) a multiple of 22?
True
Suppose 25*a - 145452 = -21*a. Is a a multiple of 17?
True
Let v(p) = 2*p + 10. Let x(l) = l + 3. Let z(b) = 4*v(b) - 11*x(b). Let u be z(5). Is 66 - (u/4 - -4) a multiple of 24?
False
Let v be -10*(2*(-30)/3 + 3). Let k = -120 + v. Is k a multiple of 10?
True
Let c be (344/(-6))/(10/(-15)). Suppose -c = -0*u - u + 4*i, -u + 2*i + 94 = 0. Is u a multiple of 34?
True
Suppose -1 = 2*v - 5. Suppose y + 5 = 0, v*y - y - 159 = -4*c. Does 13 divide c?
False
Let r be 2/(-7) + (-132)/(-21). Suppose 0 = -3*l + r*l - 15. Suppose -4*x - 16 = 0, -5*q - l*x + 0 + 30 = 0. Does 2 divide q?
True
Let g be 8 + 0/(15/3). Suppose b - 47 = -g. Does 13 divide b?
True
Suppose -5*w - 69 = -6*w + u, 4 = -4*u. Does 8 divide w?
False
Suppose 4*g - 2*b + 515 = 5*g, 1553 = 3*g + 4*b. Let r = -341 + g. Is r a multiple of 13?
True
Suppose -2*r + 38 = t - 45, -4*r + 5*t + 173 = 0. Let y = -15 + r. Is y a multiple of 9?
True
Suppose -2*h + 0*h = -l + 4318, 4330 = -2*h - 5*l. Let a be (2/5)/((-6)/h). Let b = a - 91. Is b a multiple of 22?
False
Suppose 269*v = 274*v - 4200. Is v a multiple of 28?
True
Suppose 32*i - 43*i = -12419. Is 13 a factor of i?
False
Let s(y) = -12*y - 5. Is s(-27) a multiple of 11?
True
Let s be (12/7 + 0)*98/4. Let p = s + -16. Does 13 divide p?
True
Suppose 2*t + 2*k = 3*t - 152, -3*t + 451 = -k. Suppose l = 6*l - 5*c - t, 0 = -l + 2*c + 35. Is l a multiple of 25?
True
Let r(t) = 2*t**2 + 15*t + 21. Let m be r(-6). Suppose 103 = h + 6*v - 3*v, -3*h - m*v + 309 = 0. Does 14 divide h?
False
Suppose -14141 = -3*w + 5*b, 14135 = -w + 4*w + b. Is w a multiple of 152?
True
Is 18 a factor of 1/6 - 360349/(-282)?
True
Let a(w) = -10*w**3 + w**2 + w - 1. Let q be a(1). Let i(p) = -p - 9. Let o be i(q). Suppose -v - 4*v + 40 = o. Does 3 divide v?
False
Suppose 5*l + 2708 = 3*o, -3*o = -l - 2897 + 193. Does 31 divide o?
False
Let r(c) = c**2 + 12*c - 7. Let u be r(-9). Let q = u - -47. Is q a multiple of 7?
False
Let x(c) = -c**2 + 16*c + 36. Suppose 8*k = 4*k + 60. Does 29 divide x(k)?
False
Let a(w) = 3*w**2 + 2*w + 1. Let g be a(-1). Suppose -5 = -5*x - 5*m, g*x + 3*m = -2 + 1. Is 16 a factor of -16*(-3 + x)*-1?
True
Suppose s + 5*a + 16 = 6, -2*a - 21 = -3*s. Suppose -b - s*u - 155 = -4*b, -115 = -3*b - 5*u. Is b a multiple of 13?
False
Suppose -q - 6*q = -98. Let w = -3 - -5. Suppose w*u = 2*m - q, 2 = -u + 6. Is 4 a factor of m?
False
Let o(s) = -7 - 10 + 5*s**2 - 15*s + 0*s**2 - 6*s**2. Let q be o(-14). Is 20 a factor of ((-30)/q)/(3/6)?
True
Does 4 divide ((-111)/(-21) - 1)*126/6?
False
Suppose -35*s - 8015 = -40*s - 5*x, 0 = -3*x + 9. Is 16 a factor of s?
True
Suppose -4*i - 3*z + 587 = 0, 6*z = 3*z + 3. Suppose -i = -2*g - 8. Is g a multiple of 9?
False
Let j be (-4)/(-14) + 38*7/98. Suppose -5*r - 3*c = -142, 3*r = -j*c + 4*c + 88. Is 2 a factor of r?
False
Let z = 17 + -17. Suppose z*m - 2*m = -t + 103, -4*t + 34 = -m. Is m/5*15/(-6) a multiple of 9?
True
Let k(q) = -q + 12. Let x be k(7). Suppose -4*r + 113 = x*c, -5 - 4 = 3*c. Is r a multiple of 18?
False
Let z = 967 - 944. Is z a multiple of 2?
False
Is (1 + 18)/((-4)/4320*-10) a multiple of 27?
True
Let b(g) = g**3 + 6*g**2 + 2*g. Let j be b(-5). Let l be (5/j)/((-1)/(-30)). Is l/(-25) - 368/(-20) a multiple of 18?
True
Let v(f) be the first derivative of -f**4/4 + 2*f**3 + f**2/2 - 6*f - 4. Let l be v(6). Suppose -5*z - 2 = -x - 58, l = 3*z + 2*x - 44. Is z a multiple of 10?
False
Let m = 231 - 228. Is m a multiple of 3?
True
Suppose -153 + 1461 = 4*n. Does 26 divide n?
False
Let a = 110 - 66. Let i = 37 + a. Does 11 divide i?
False
Let i(k) = 21*k**2 + 31*k - 10. Is i(-5) a multiple of 8?
True
Let c(s) = 26*s - 2. Let p be c(5). Suppose -5*n = 2*v - p, -v + 2*n + 40 = -33. Is 14 a factor of v?
False
Let x(d) = d**2 + 2*d - 11. Let g be x(0). Is 35 a factor of (g - -12)/(71/35 + -2)?
True
Let a(b) = -b**3 - 11*b**2 - 2*b + 114. Does 36 divide a(-15)?
True
Let l be (24/20)/(2/5). Let c = l - -9. Is 8 a factor of c?
False
Let r(a) be the first derivative of -a**4/4 - 11*a**3/3 + 9*a**2/2 - 14*a + 4. Let t be r(-12). Suppose s - t = -0*s. Does 11 divide s?
True
Suppose -4*l - 4 = 16. Let h(w) = -w**2 - 4*w + 5. Let f be h(l). Suppose 3*t - 106 + 28 = f. Is t a multiple of 7?
False
Let u(x) = x**2 + 5*x - 2. Let d be u(-2). Let o(w) = -7*w - 20. Does 6 divide o(d)?
True
Does 16 divide -3*263*(-55)/165?
False
Let s(p) = 3*p**2 + 6*p + 33. Let h be s(-5). Does 3 divide 24/7 + -3 - h/(-14)?
True
Suppose -5*t - 15 = 0, -5*t - 4050 = -4*l - l. Suppose 257 = b - 3*u + 39, u = -4*b + l. Does 41 divide b?
False
Let w(x) = 20*x**2 - x + 10. Suppose 0 = -4*c - 12 + 24. Is w(c) a multiple of 14?
False
Let n(w) = -w**2 - 71*w - 36. Is n(-47) a multiple of 78?
True
Let d(n) = 16*n**2 - 14*n + 96. Does 24 divide d(-12)?
True
Suppose 0*j + 630 = -5*w - 2*j, 263 = -2*w - 3*j. Let g(b) = b**3 + 20*b**2 - 69*b - 24. Let l be g(-23). Is 6 a factor of 32/l + w/(-3)?
False
Let v(m) = -6*m**2 + 2*m + 3. Let a(b) = b + 1. Let h(w) = 3*a(w) - v(w). Let o be h(-3). Is ((-12)/18)/((-2)/o) a multiple of 9?
False
Let r(s) = -s**2 + 2*s + 5. Let g be r(4). Let u(c) = -36*c - 2. Let y be u(g). Let n = 154 - y. Is n a multiple of 23?
False
Suppose 0 = 105*m - 41*m - 64832. Is m a multiple of 6?
False
Suppose 2*r - 373 = -5*z, 0*r = r - z - 197. Is r a multiple of 44?
False
Let h = 192 - 47. Does 19 divide h?
False
Let b(d) = d**3 + 3*d**2 - 3*d + 4. Let p be b(-4). Suppose 3*a + 4*w - 11 + 4 = p, -5*a - w = -6. Suppose 0 = v + a, -4*v + 68 + 58 = 5*n. Is 10 a factor of n?
False
Let i(n) = n**3 + n**2 - 3*n - 3. Let u be i(2). Suppose -80 = -2*o - u*o. Is o a multiple of 2?
True
Suppos