4)?
True
Suppose -5*p - 3*l = -9, -2*p = 2*p - 4*l + 12. Suppose -v - 253 = -4*x - p*v, 0 = x + v - 62. Does 16 divide x?
False
Let t = -9 + 13. Suppose t*c - 430 = -c. Suppose -5*w - 17 - c = -4*m, 3*m - 106 = -2*w. Is m a multiple of 13?
False
Let f(v) = -4 + 4*v + 3*v - 1. Let g be f(5). Suppose 5*n - 100 - g = 0. Is n a multiple of 13?
True
Suppose 2*p - 2*d - 6 = 0, d - 2*d + 1 = 0. Is p a multiple of 3?
False
Let p = 105 - 45. Suppose 4*s - 2*s - p = 0. Is s a multiple of 11?
False
Let w = 47 - 31. Is w a multiple of 4?
True
Suppose t + 0 + 3 = -v, -27 = 3*v - 3*t. Let c(h) = h**2 + 9*h + 7. Let i be c(v). Let l = i + 33. Does 12 divide l?
False
Let x = 2 + 0. Suppose -4 = -c + x. Is c a multiple of 6?
True
Let f be (-1 + -69)*(-2 + 1). Suppose 4*g = -c - 14, -g - g - f = 4*c. Let t = c - -31. Is 13 a factor of t?
True
Suppose -4*v - 4*j + 56 = -128, 89 = 2*v + j. Does 8 divide v?
False
Let d(f) = 17*f - 21. Is d(5) a multiple of 33?
False
Suppose -137 = 2*o + w, -2*w + 5 = -w. Let x = -23 - o. Is 14 a factor of x?
False
Let n be (-7 + -2 + -1)*-1. Suppose 0 = -h + 4*v + 17, -3*h + 0*h = -5*v - 16. Let i = h + n. Is 7 a factor of i?
True
Is 4 a factor of 15/6*(-180)/(-25)?
False
Suppose a - 3 = -0. Does 3 divide a?
True
Let p(k) = 32*k**2 + 1. Let r be ((-16)/4 + 3)*-1. Is p(r) a multiple of 18?
False
Suppose -2*l - 96 = -r, -2*l - 288 = -4*r + r. Suppose -2*p - 2*p + r = 0. Is p a multiple of 10?
False
Suppose 4*h = -3*w + 197, 3*h = 5*w + 74 - 412. Does 25 divide w?
False
Let f = 470 + -198. Does 8 divide f?
True
Let c(p) = -p**2 - 7*p - 4. Let i be c(-6). Suppose -i*q = -q - 50. Is 25 a factor of q?
True
Is 25 a factor of 73*((-1)/1 + 2)?
False
Let t(g) be the second derivative of -g**4/12 - 5*g**3/6 + 4*g**2 + 2*g. Is 2 a factor of t(-6)?
True
Let t = 9 - 5. Let f(l) = 2*l**3 - 3*l**2 + l - 4. Let n be f(t). Suppose -u + n = u. Is u a multiple of 12?
False
Suppose -4*c = 5*p - 14 + 39, -3*p = -2*c - 7. Is 18 a factor of (2 + 46/c)*-5?
True
Let f(x) = 3*x**2 - 2*x + 2. Does 21 divide f(6)?
False
Let g(t) = t**3 - 7*t**2 - 4*t - 7. Let h be g(7). Let q = 55 + h. Is 10 a factor of q?
True
Suppose 118 = 2*j - 5*c, 0 = -5*j + 2*c + 371 - 97. Suppose 5*k - 4*i - 226 = 0, 3*i - j - 133 = -4*k. Is k a multiple of 23?
True
Let r(p) be the first derivative of -p**4/2 - 2*p**3/3 + 2*p**2 - p - 1. Let f be r(3). Let n = -37 - f. Does 18 divide n?
False
Suppose 5*q + 7 = 27. Let u = q - 1. Suppose -p - u*y = -3, 0 = -4*p + 4*y - y + 87. Is 9 a factor of p?
True
Suppose 2*v - 140 = -2*a, 106 + 171 = 4*a + v. Is 23 a factor of a?
True
Let g = -19 + 55. Is 9 a factor of g?
True
Suppose 3*l + c - 17 = -3, -l - 5*c = 0. Is (-184)/(-20) - 1/l a multiple of 9?
True
Let m be 2/(-5) - (-36)/15. Let f(v) = -14*v**2 + 2*v. Let w be f(-3). Is m/3*w/(-8) a multiple of 11?
True
Let w(n) = 2*n**2 + 6*n - 7. Suppose -10 = 3*u - u. Is 3 a factor of w(u)?
False
Let l(g) = -g**3 - 7*g**2 - g - 7. Let n be l(-7). Suppose n = 3*t - 2*t - 25. Is t a multiple of 10?
False
Suppose -2*b = -5*b - u + 79, 5*u = -10. Let r be b/6*(-80)/(-6). Suppose -3*v - 24 = -r. Is v a multiple of 6?
True
Let d(k) be the third derivative of -k**4/24 + 9*k**3/2 + k**2. Suppose 0 = 6*x - 3*x. Is 8 a factor of d(x)?
False
Suppose 0 = -5*c - 3*u + 16, 3*u = -c - 0*u + 8. Is 2 a factor of c?
True
Let n(m) be the first derivative of 65*m**4/4 + 2*m**3/3 - m - 1. Does 22 divide n(1)?
True
Suppose 0 = -b - f + 92, 4*b - 4*f - 274 = 78. Suppose 2*g = -0*g + b. Is g a multiple of 17?
False
Suppose 2*v + r = 6 - 4, 4*v + 3*r = 0. Suppose 2*k - k + 23 = v*m, -k - 32 = -4*m. Does 9 divide m?
True
Is (-194)/(-1)*-2*(-2)/8 a multiple of 10?
False
Suppose 0 = -4*m - 3*w - 107 - 22, -m - 38 = -5*w. Suppose -260 = 4*o - 0*o. Let i = m - o. Does 16 divide i?
True
Let w(d) be the first derivative of d**3/3 + 9*d + 4. Does 7 divide w(0)?
False
Let j = -9 - -4. Let m(w) = -w**3 - 2*w**2 + 3*w - 3. Is 11 a factor of m(j)?
False
Let u be (1*0/(-3))/1. Suppose u = 2*l - 0*l. Suppose 2*t + 24 - 60 = l. Is 13 a factor of t?
False
Let c(j) = 4*j - 4*j**3 - 4 + 0 - 3*j**2 - 1 + 0*j**3. Let v be c(-4). Suppose 3*l + 15 = 0, 3*l = 2*y - v + 70. Is 14 a factor of y?
False
Let a = 41 + -17. Does 3 divide a?
True
Let r(c) = -24*c - 5. Let t(l) = 1. Let a(f) = -r(f) - 6*t(f). Let p(w) = 71*w - 3. Let m(x) = 11*a(x) - 4*p(x). Is 13 a factor of m(-1)?
False
Let l be ((-10)/6)/5*-465. Let c = l + -111. Does 22 divide c?
True
Let a = 7 + -2. Suppose 3*t = 3*f - 0*t - 3, a*f + 2*t = 40. Is 6 a factor of f?
True
Let i(s) = s**2 - 7*s - 6. Let j be i(8). Suppose -3*m + j*v + 16 = 0, -4*v = -m - 2*v. Is 8 a factor of m?
True
Let w be (12/9)/((-4)/(-18)). Does 3 divide (3/w)/((-1)/(-18))?
True
Let l = 24 - 31. Let t = 15 + -25. Let g = l - t. Does 3 divide g?
True
Let u = -1 + 2. Let d be 3*((-3)/u)/(-3). Is (72/20)/(d/10) a multiple of 12?
True
Suppose 2*b - 5 + 1 = 0. Suppose b*q = 17 - 5. Does 19 divide (2/q)/(2/138)?
False
Suppose 0 = -4*d + 150 + 6. Is 35 a factor of d?
False
Let j be 2/2*(0 + 2). Let k be j/((-8)/(-158))*2. Suppose 5*p = k + 91. Is 18 a factor of p?
False
Let o = 127 - 72. Is o a multiple of 8?
False
Let t(x) = -x**3 - x**2 - 3*x - 4. Does 6 divide t(-2)?
True
Suppose 15 = 3*d + 6. Suppose -d*h = 7 - 1. Is ((-15)/h)/(7/14) a multiple of 6?
False
Is (0 + 112)*2/2 a multiple of 14?
True
Let h be 23 + 9/3 + -5. Let k be h/9 - 2/6. Suppose 3*j - 4*v + 6*v - 18 = 0, 22 = k*j - 2*v. Does 4 divide j?
True
Is 4 a factor of (-2)/(4/19)*(-2)/1?
False
Suppose -2*u + 57 = u. Suppose 4 + u = s. Does 13 divide s?
False
Suppose -356 = -2*k - 4*i, 2*i + 0 = 10. Does 29 divide k?
False
Is (-8)/(-6)*(-4)/(40/(-1335)) a multiple of 29?
False
Let k(o) = -236*o**3 + 3*o + 3. Does 10 divide k(-1)?
False
Suppose 2*u - 35 = i - 3*u, -3*u + 15 = 0. Is (-112)/i - 2/10 a multiple of 6?
False
Suppose z = -3, -5*z - 127 = -5*s + 8. Is s a multiple of 8?
True
Let i = 23 + 10. Is 14 a factor of i?
False
Suppose 5*w = -3*i - 9, -i + 0*w + 11 = -3*w. Suppose 0*k = -i*k. Is 44 + (0 - k)/(-2) a multiple of 22?
True
Let j be (-2)/3*(-63)/14. Suppose j*u - 124 + 16 = 0. Is u a multiple of 12?
True
Let y be 15/6 + 1/(-2). Suppose -2*h + 102 = y*n - 7*h, 3*h = 5*n - 217. Suppose -103 - n = -4*m. Is m a multiple of 18?
True
Suppose -33 = -0*l - 3*l. Does 3 divide l?
False
Suppose -5*x = -2 - 58. Let n = x + -2. Is (n - (-3)/(-1))/1 a multiple of 7?
True
Let w be (-14)/(-5) + 1/5. Suppose -2*r = -w*x - 15, -3*x = -2*r + x + 18. Suppose r*d = 20 + 13. Is 9 a factor of d?
False
Let p = 3 - 1. Suppose -p*h - 2 = -28. Let v = h + 13. Does 9 divide v?
False
Suppose -5*l + 17 + 18 = 0. Suppose -4*m = -l*m + 24. Is 3 a factor of m?
False
Let x(j) = 4*j - 1. Suppose -4*g - 1 - 3 = 0. Let k be x(g). Is 18/4*(-20)/k a multiple of 6?
True
Suppose -2*r = 2*q - 40, -3*r - 68 = -2*q + 2*r. Let j = q + 5. Let f = j + -20. Is f a multiple of 6?
False
Suppose -w + 14 = -12. Let l = -6 + w. Let u = l - 11. Is 5 a factor of u?
False
Let g(y) = -y**2 - 13*y + 13. Is g(-11) a multiple of 11?
False
Suppose 0 = 4*l - 2*l - 16. Suppose 11*a - l*a = 9. Suppose 3*s + 160 = a*i + i, 0 = -i + 4*s + 27. Is i a multiple of 18?
False
Let r = -84 - -176. Does 16 divide r?
False
Let q(z) = 2*z**2 - 4*z - 8. Let c be q(4). Suppose n + c = 2*n. Is n a multiple of 8?
True
Is (3 - 1)*(-88)/(-16) a multiple of 3?
False
Let u = 5 - 0. Let s be (-4)/20 - (-121)/u. Let m = s + -12. Is 6 a factor of m?
True
Let k be -2*(-3 - (-3)/2). Suppose k*u + 5*i = 17, -9 - 10 = -u + 5*i. Does 3 divide u?
True
Suppose x = -5*k + 22 + 8, -3*x + 2*k = -90. Does 10 divide x?
True
Is 5 a factor of ((-9)/(-18))/((-2)/(-76))?
False
Suppose 4*r + x - 95 = -0*x, -5*x + 84 = 3*r. Is r a multiple of 15?
False
Suppose -5*n - 4*f = -303, -187 = -4*n + 5*f + 39. Does 12 divide n?
False
Let p(w) = w + 1. Let i(r) = -15*r - 18. Let v(u) = i(u) + 12*p(u). Is 6 a factor of v(-4)?
True
Let b be (-4)/(4/(-7)) - 1. Suppose 0 = b*g - 8*g + 108. Is 12 a factor of g?
False
Suppose -5*o + 2*a = -45, -o - a = 4*a - 36. Does 11 divide o?
True
Suppose -p + 6 = -2*z, 0*z - 3 = 3*z. Does 4 divide p?
True
Let d = -34 + 21. Let s = d + 100. Suppose 98 = 5*i - s. Does 17 divide i?
False
Let k(r) = -47*r - 2. Suppose 2*y = y - 3