 + (-4208)/(-26) - (-4)/26. Suppose -7*t = -i + 7. Is 4 a factor of t?
False
Suppose 6*w - 5 = -29. Let n = 30 - w. Is n a multiple of 5?
False
Let s(a) = -a**3 - 5*a**2 - 2*a - 6. Let b be s(-5). Suppose b*x + 8 = 32. Let o = 39 - x. Is o a multiple of 11?
True
Suppose 5*f = n + 14, -3*n + 16 = -8*n - 2*f. Let g be (-2)/8 - 25/n. Let x(u) = 6*u + 3. Does 8 divide x(g)?
False
Let q(a) = -279*a + 15. Does 82 divide q(-3)?
False
Let z(u) = u - 12. Let i be z(13). Let g be (-9)/((i + -2)/15). Suppose -3*m + 4*b = b - g, 4 = -4*b. Does 14 divide m?
False
Suppose 10*f - 770 = -12*f. Is 23 a factor of f?
False
Let y be (-4 - 6)*2/(-4). Suppose -20 = y*c + 10. Does 3 divide (-4 + -4)/(c/9)?
True
Let a(w) be the first derivative of w**4/4 + 7*w**3 - w**2 + 18*w - 1. Let j be a(-21). Suppose 4*v - j = 2*v. Is v a multiple of 22?
False
Suppose 2*s - 176 = g + 4*g, -152 = 4*g + 4*s. Suppose -5*i + 3*i - 8 = 0. Is 7 a factor of 1/i + (-1449)/g?
False
Let q = 160 - -105. Does 4 divide q?
False
Suppose -4999 = -5*r + 4*x, 5*r = -5*x + 7601 - 2611. Is 40 a factor of r?
False
Let z = 36 + 405. Does 9 divide z?
True
Suppose 0 = 5*q - 306 - 349. Suppose 394 = 5*c - q. Is 21 a factor of c?
True
Let f(a) = 2*a**2 + 13*a + 9. Let i = -3 + -5. Let k be f(i). Is (-6)/k + 708/22 a multiple of 15?
False
Let j = 252 - 120. Let b be 1 + (j/3)/4. Let z = b + -2. Is z a multiple of 5?
True
Suppose 260 = -4*l + 2*q, 0 = 4*l - 8*l - 5*q - 246. Let j = l - -84. Does 10 divide j?
True
Let l(p) = 5*p**2 + 2*p - 2. Let o be l(-4). Let h = -53 + o. Is h a multiple of 17?
True
Let q(r) = -22*r**2 + r + 6. Let h be q(3). Is 3/(4/(-14) + (-75)/h) a multiple of 7?
False
Suppose -g + 3*g - 24 = 5*u, -4*u - 3*g = 10. Let c(a) = -a**3 - 3*a**2 + 5*a + 3. Let w be c(u). Is 19 a factor of (-19)/((-1)/(w + 2))?
True
Does 6 divide 56/(2 + 12/(-8))?
False
Let j = 27 - 34. Let x(d) = -d**3 - 7*d**2 - 6*d + 18. Does 10 divide x(j)?
True
Let c be (-8)/10*140/8. Let v = -10 - c. Suppose 227 = v*d + 15. Does 7 divide d?
False
Let t(o) = 17*o**2 + o. Suppose -18 = 3*f - 0*v + 5*v, 5*f + 4*v = -17. Is 8 a factor of t(f)?
True
Suppose -5*x - 19 = 5*z + 1, 3*z - 6 = 0. Let s = -3 - x. Suppose -s*q = -17 + 5. Is q a multiple of 4?
True
Let z = -796 + 1017. Is z a multiple of 2?
False
Suppose -d = 3*z + 7, 2*d = 4*z + 5*d + 11. Does 16 divide (11 - 12)*228/z?
False
Let d = 0 - -48. Suppose -2*s + 198 = -0*s + 2*i, 0 = s - 4*i - 119. Let b = s - d. Is 11 a factor of b?
True
Let m(g) = -4*g**2 + 3*g - 1. Let u be m(4). Let l = u + 27. Is l/(4/4 - 2) a multiple of 26?
True
Let g(t) = t**2 + t**3 - 12*t**2 - 5 + 14 + 2*t**2. Is g(9) a multiple of 9?
True
Let u(d) = 2*d**2 - 7*d - 7. Let n be u(6). Let x = -7 + n. Does 4 divide x?
True
Let h = 7 - -2. Let p(t) = -t**3 + 10*t**2 - 9*t - 5. Let l be p(h). Let q(s) = -s**2 - 7*s + 2. Is 12 a factor of q(l)?
True
Suppose -538 - 165 = -q - 5*c, -5*c + 2782 = 4*q. Does 21 divide q?
True
Let o(w) = -36*w - 4. Let m be o(-4). Let k be (-2)/(-9) + 104/18. Suppose r + m = k*r. Is 7 a factor of r?
True
Let g(h) be the third derivative of 0 + 0*h - 2*h**2 - 4/3*h**3 - 11/24*h**4. Is 23 a factor of g(-7)?
True
Let b(g) = 34*g - 3. Let j be 3 - -2*(-4)/(-8). Is b(j) a multiple of 19?
True
Suppose p - 4 = -p. Is 3 a factor of p/(-13) + 985/65?
True
Suppose -24 = 2*o - 6*o. Suppose 0 = 5*k - 2*b - 6, 2*b + o = k - 0*b. Suppose -3*s = -2*a + 141, -138 = -2*a - k*a + 2*s. Is 19 a factor of a?
False
Let n(o) = -o + 71. Is 9 a factor of n(-23)?
False
Let m be ((-6)/(-8))/(14/(-952)). Does 12 divide 251 + 68/m*(-6)/(-4)?
False
Let o be (1 + 76)*(8 - 7). Let k = o + 8. Is 17 a factor of k?
True
Suppose 3*x - 50 = -71. Does 9 divide 1*4 + (-282)/(x + 4)?
False
Suppose 0 = 20*k + 42*k - 239568. Is 56 a factor of k?
True
Suppose 0 = -2*a - a - 5*p + 204, 3*a - p = 204. Does 68 divide a?
True
Let g(h) = -115*h + 4. Let y(o) = o**3 + 6*o**2 - 8*o - 8. Let l be y(-7). Does 23 divide g(l)?
False
Let c(v) = 3*v + 3. Let x be c(-3). Let y be ((-26)/(-3))/(x/9). Let f = y + 31. Does 6 divide f?
True
Suppose -13*q = -17*q + 352. Does 6 divide q?
False
Is (60/8)/15*3830 + 3 a multiple of 74?
False
Let n be ((-5)/2)/(-5)*-26. Let l(y) = 28*y**2 - 16*y**2 - 11*y**2 - 13 + 10*y. Is l(n) a multiple of 20?
False
Suppose 0 = 3*f - 2*x - 18059, -10112 = -2*f + 3*x + 1929. Is f a multiple of 13?
True
Let y be 9 - 1 - (0 - -4). Let n(k) = 8*k - 7. Let z be n(y). Suppose s + 1 - z = 0. Is s a multiple of 12?
True
Let l(j) = 31*j + 1. Let p be l(1). Suppose -429 = 4*k - 501. Let m = p - k. Is 7 a factor of m?
True
Let p(x) = -4*x. Let i be p(-4). Suppose i - 1 = 5*v. Suppose 4*o - v*o - 3 = 0. Is o even?
False
Let g be (-1 - 0)/(14/112). Let x be 16/g - 3*-2. Suppose 0 = -2*k + x*k - 216. Is k a multiple of 36?
True
Is 120/(-144) - 11770/(-12) a multiple of 49?
True
Suppose -5*q - w - 2 = 3*w, 5 = q - w. Let r be q/6 - 2/(-3). Let j = r + 5. Is j a multiple of 6?
True
Let n = -184 + 193. Is 9 a factor of n?
True
Suppose 5*p = p + 12. Suppose -5*i + 58 = p*j, j + 5*i + 22 = 3*j. Is j a multiple of 4?
True
Suppose -10*v + 113 + 3417 = 0. Is v a multiple of 37?
False
Let t(r) = r**2. Let d be t(-4). Suppose -5*z - 3 - d = -3*g, -g + 11 = -4*z. Suppose -5*l + 5*u + 195 = 0, 3*l + g*u - 32 = 61. Does 12 divide l?
False
Let f be 2012/(-20)*(-15)/3. Let h = -348 + f. Is 22 a factor of h?
False
Let x be 5*-1*20/50 + 452. Suppose q - 1 = -6, -4*u + x = 2*q. Does 23 divide u?
True
Suppose -4*c = 4*x + 20, -3*x + c + 1 = -2*x. Is 7 a factor of (-2)/(-4) - 49/x?
False
Suppose 0 = 2*o + 2 - 0. Let j be (-51)/(-3) - -3 - o. Let s = j + -6. Is s a multiple of 5?
True
Let v = 77 - 85. Let x(k) = k**3 + 8*k**2 - 9*k + 17. Does 13 divide x(v)?
False
Let a(d) = -d**3 - 5*d**2 - 4*d + 6. Let p be a(-3). Suppose 2*x + p*x - 82 = 0. Suppose 4*b - 151 = x. Is 16 a factor of b?
True
Let j = 10 + -6. Suppose j*r + 3*a = 3, -3*r + 0*a - 3 = -3*a. Is (8 - 0)*1 - r a multiple of 4?
True
Is 8445/21 + 2/(-14) a multiple of 9?
False
Let x be (-8)/36 - 12/(-54). Suppose 4*g + 104 = -4*k + 380, 4*g + 3*k - 273 = x. Is g a multiple of 22?
True
Let s = -19 - -24. Let k(d) = d**2 - 7*d + 12. Let j be k(s). Suppose w + j*q - 58 = -q, -322 = -5*w + q. Does 12 divide w?
False
Is 10 a factor of (-6)/(-27) - (171248/72)/(-7)?
True
Let t(p) = 52*p - 108. Is t(8) a multiple of 7?
True
Let i(w) = w + 2. Let q be i(0). Let j = q + 10. Is (j/(-9))/(3/(-54)) a multiple of 8?
True
Let z(w) = w**3 + 4*w**2 - 60*w + 33. Let t be z(6). Let b = -18 - -123. Suppose -3*a - t + b = 0. Is 24 a factor of a?
True
Suppose 5*i = -5*t + 605, -t = -2*i - 110 - 20. Does 12 divide t?
False
Suppose 4305 = 19*f + 2*f. Does 12 divide f?
False
Is 11 a factor of ((-334)/(-4))/(-3*(-1)/12)?
False
Let f(u) = 0*u + 8 - 5*u**2 + 6*u**2 - 5*u + 2*u. Let w be (16 + (-2)/1)/2. Is 11 a factor of f(w)?
False
Suppose 26*q - 201 = 23*q. Suppose d - 2*d + q = 0. Is d a multiple of 14?
False
Suppose -4*c - 3*t = 159, -2*c + t - 25 = 42. Suppose 5*g - 10 = -4*f, 0 = f - 3*g + 5*g - 4. Is (c/2)/(-2 + f) a multiple of 5?
False
Let a be 12/2 + 2 + 0. Suppose 6*k = a*k - 20. Suppose 106 - k = 2*j. Is j a multiple of 26?
False
Let a be (4*(-5)/(-30))/(1/99). Does 16 divide (a*(-9)/(-36))/((-2)/(-4))?
False
Let o = -97 + 628. Is o a multiple of 59?
True
Let m(j) = 4*j**2 + 2*j + 3. Let r be m(-8). Suppose w - 309 = -4*w + 2*f, 4*w - 3*f = r. Does 9 divide w?
True
Suppose 3*c + 3*p = 516, c - 5*c + 688 = 5*p. Suppose 620 = 5*o - 5*b, -4*b = -5*o + 452 + c. Does 12 divide o?
False
Let u = 7 + -2. Suppose 205 = u*q + 4*t, -2*q - 5*t + 84 = -3*t. Suppose 5 = 5*d, 5*d - q - 24 = -v. Is v a multiple of 13?
False
Let p be (-108)/(9 + -5)*(-1)/3. Suppose 41 = -p*g + 401. Does 16 divide g?
False
Let g(d) = -d**3 + d**2 - 12*d - 10. Let f be g(-5). Suppose -3*o + f = o. Does 6 divide o?
False
Let i = -1999 - -3679. Is i a multiple of 80?
True
Suppose 2*n + 9*n + 880 = 0. Does 40 divide (256/n)/(2/(-125))?
True
Let j be -1*13 - 0/6. Let d = j + 16. Is d a multiple of 2?
False
Let w(i) = 5*i + 26. Is w(13) a multiple of 5?
False
Suppose 0 = -h + 814 - 346. Does 39 divide h?
True
Let v(j) = j**3 + 14*j**2 + 12*j + 39. Does 38 divide v(-9)?
False
Suppose -a - a = 6, -54 = -3*q + 3*a. Let v = q - 