Is 4 a factor of g?
True
Suppose -3*c + 17 = r - 0, -5*r = 2*c - 20. Suppose -n + r*f = -18, n - 3*f - 15 = 2*f. Let p = n + -13. Is 3 a factor of p?
False
Suppose 0*l = -l - 2*k + 1135, -4*k + 1129 = l. Is l a multiple of 9?
False
Let o be 17/7 + 6/(-14). Suppose -3*h = -o*q + 15, 3*q - 14 - 10 = 5*h. Does 29 divide 924/16 - q/(-12)?
True
Let n be 0/(12/4 + -2). Suppose -4*v + 12 + 8 = n. Suppose 2*i + 3*i = 3*x - 123, 165 = 5*x + v*i. Is x a multiple of 24?
False
Is (-6312)/(-24)*(-1 + 4) a multiple of 6?
False
Let h(x) = 11*x**2 - 43*x + 7. Is h(-5) a multiple of 3?
False
Let r(i) = 66*i + 65 - 25*i - 25*i - 21*i. Does 12 divide r(0)?
False
Is (-1026)/90*-1*95 a multiple of 57?
True
Let h = 11 + -9. Suppose -3*r - 9 - 8 = h*c, -5*c = -4*r + 8. Does 12 divide (-1)/r + (-213)/(-9)?
True
Let t(a) = 238*a**3 + 3*a - 4. Let c be t(1). Suppose 0 = -b - p - 53 + c, -3*b = 2*p - 548. Is b a multiple of 12?
True
Suppose 5*d + 102 = 3*d. Let n = d + 30. Is 10 a factor of (196/n)/(2/(-9))?
False
Suppose -1434 = -7*b + 1653. Is b a multiple of 9?
True
Suppose 3706 = 9*r - 10271. Is 45 a factor of r?
False
Suppose -6*y + 4 = -4*y. Suppose -3*r = 4*g - 8*r - 17, -4*g - y*r = -38. Is g a multiple of 2?
True
Suppose -5*d = -2*m + 19, -5*m - 2*d - 2*d = 2. Let s be (1224/2)/m - -3. Let l = -213 + s. Does 14 divide l?
False
Let c = -537 + 1605. Is c a multiple of 20?
False
Let b = -488 + 1476. Is b a multiple of 40?
False
Suppose 25*i = 20*i - 20, 0 = -o + 2*i + 281. Is o a multiple of 4?
False
Let z = -392 - -548. Does 4 divide z?
True
Suppose -4*x = 4, -5 = -5*b - 5*x + 20. Does 6 divide b?
True
Suppose -1 = -z + 1. Suppose -f - z + 17 = 0. Is 14 a factor of f/(-2)*108/(-10)?
False
Let b(k) = 5*k - 5. Let t be b(-8). Let r = 64 + t. Does 3 divide r?
False
Suppose 5*f + 10 = 7*f. Suppose f*a - 1215 = -5*j, -5*j = -a + 153 + 84. Suppose -52 = -7*t + a. Is 7 a factor of t?
True
Let x(a) = -3*a**2 + a + 336. Does 14 divide x(0)?
True
Suppose 4*x = 2*x + 1484. Is x a multiple of 11?
False
Suppose 4*f - 2*v - 22 = 0, 2*v - 5 = v. Suppose -f = -b + 3. Suppose -4*z = -5*x - 40, 2 = -5*z - 4*x + b. Is 5 a factor of z?
True
Suppose 4*x - 205 = -3*p, 3*p + 0*x - 197 = -2*x. Let f = p + 9. Is 18 a factor of f?
True
Suppose 3*m = -5*x - 17, 2 - 21 = m + 5*x. Is 6 a factor of (1 + m + 22)*(-24)/(-32)?
True
Let v be 1/(-3) - 28/(-12). Let a be v/(-8) - (-63)/12. Suppose a*y = 30 + 40. Is 7 a factor of y?
True
Let w = 48 - 33. Let x = 14 - w. Is (2/3 + x)*-27 a multiple of 3?
True
Let x(s) = -s**3 - 5*s**2 - 4*s. Let c be x(-4). Let i be -11*(-1 - c/(-4)). Is 9 a factor of (i - 35)*(-6)/8?
True
Suppose 0 = 5*b - 744 - 156. Is (b/50)/((-4)/((-40)/3)) a multiple of 12?
True
Suppose 8*c - 12444 = 2148. Is 27 a factor of c?
False
Let l be (-50)/(-10) - (-1 - -4). Suppose -4*m = -q + 13, -q - l*m + 5 = -2. Suppose -q + 51 = n. Is n a multiple of 28?
False
Suppose 5*h - 2961 - 439 = 0. Is h a multiple of 11?
False
Suppose -13*u = -17*u + 324. Is u a multiple of 27?
True
Let d(b) = 4*b**3 - 9*b**2 + 19*b - 10. Let p(h) = -3*h**3 + 10*h**2 - 19*h + 9. Let g(f) = 4*d(f) + 5*p(f). Does 13 divide g(-15)?
True
Let v be (-5)/10 - 165/6. Is 30 a factor of -232*(-4 + v/(-8))?
False
Let a(o) = 3*o - 7. Let q be a(3). Let i(d) = -q*d + d**2 + 0*d**2 + 3 - 2 - 12*d. Does 13 divide i(15)?
False
Let t(a) = -7*a**2 + 19*a + 25. Let i(u) = -6*u - 3*u + 3 - 15 - 64*u**2 + 68*u**2. Let y(k) = 5*i(k) + 3*t(k). Is 26 a factor of y(11)?
True
Suppose -381*p - 22011 = -410*p. Is 23 a factor of p?
True
Let m be (-1)/(-2) - 25/2. Let d(l) be the third derivative of -l**4/8 - 5*l**3/2 - 2*l**2 + 7*l. Is 7 a factor of d(m)?
True
Let z = 536 + -410. Does 14 divide z?
True
Suppose 2*z - 5*n - 11 = 10, 2*n = -2*z - 14. Is 30*(-2)/8*z a multiple of 5?
True
Let u(m) = m**2 + 13*m + 13. Does 38 divide u(4)?
False
Suppose 5*v - 11234 + 44 = 0. Is 14 a factor of v?
False
Suppose 13 = n + t - 4*t, -5*n + 17 = t. Suppose -840 = -3*x + 3*c - 21, 2*c - 1092 = -n*x. Is 21 a factor of x?
True
Let j be (-20)/(-70) - (-4)/(-14). Suppose j*w = 2*w. Suppose 2*z - 67 = -3*b - 5, w = z + 2. Is 11 a factor of b?
True
Let z(j) = j**2 - 2*j + 7. Let r(n) = -n**3 - 14*n**2 + n + 9. Let p be r(-14). Let s be z(p). Suppose -8*f + s = -6*f. Is f a multiple of 7?
True
Suppose 9*g = 4*g + 25. Let m = g - 3. Suppose r - 3*i - 65 = -5*i, m*i = 5*r - 313. Is 19 a factor of r?
False
Suppose 4*g - 3 = 3*g. Suppose -g*a + 16 = -s - a, 2*s + 3*a = -39. Is 24 a factor of 6/36 + (-1671)/s?
False
Is ((-1)/2)/((-56)/67536) a multiple of 67?
True
Let o(w) = -5*w - 3. Let l be o(6). Does 4 divide (-4)/(-10) + l/(-5)?
False
Let z(k) = 69*k + 23. Is z(16) a multiple of 7?
True
Let t(g) = -3*g**3 + 3*g**2 + 18*g. Is 28 a factor of t(-4)?
True
Does 52 divide (-1536)/(-14)*287/41?
False
Let o(j) = j**3 + 7*j**2 - 11*j - 7. Suppose -6 = 2*a + 4*q + 6, -a - 12 = -4*q. Let h be o(a). Suppose t - 65 = -h. Does 24 divide t?
True
Suppose 0 = -c - 5*z + 145, 5*c - 3*c - 4*z = 262. Does 3 divide c?
True
Let p(z) = -2 + 3 - 3*z + 2*z + 6. Let q be p(3). Suppose -5*a - q*f + 105 = -3*f, 5*a - f - 95 = 0. Is a a multiple of 10?
True
Suppose -5*p + 3*k = 252 + 108, 295 = -4*p + k. Let j = -83 + -28. Let a = p - j. Does 12 divide a?
True
Let s(z) = 28*z - 32. Is s(5) a multiple of 37?
False
Let a(x) = 80*x + 96. Is a(5) a multiple of 32?
False
Let u be ((-18)/(-60)*-16)/(3/(-10)). Suppose k - 8 = j, -k + 3*j = -0*j - u. Does 4 divide k?
True
Suppose 2*c = 5*s - 19, 2*c + 2 + 2 = 0. Suppose -s*j = -0*j - 120. Is 20 a factor of j?
True
Suppose -4*b + 450 = 118. Suppose -3*t - 7 = b. Is -3 + (1 + 2 - t) a multiple of 15?
True
Let y(g) = 4*g + 65. Let k be y(-18). Does 13 divide 77 + k - 0/(-2)?
False
Let u(d) = 16*d**2 - 3*d + 2. Let o be 296/20 + (-2)/(-10). Let n = -14 + o. Does 8 divide u(n)?
False
Suppose 10*j - 6*j = 0. Suppose j*i + 4 = -2*h - 4*i, -h + 2*i - 2 = 0. Let r = h - -27. Is 20 a factor of r?
False
Let l(i) = i**3 + 2*i**2 - 9*i + 348. Is l(0) a multiple of 17?
False
Suppose 2*g - 5*s + 31 = 6*g, -4*g - 4*s + 32 = 0. Suppose 0*n + g = n. Is n a multiple of 8?
False
Let b(v) = -v**3 + 11*v**2 + 12*v. Let q be b(12). Suppose q*t - t + 23 = 0. Suppose o = 25 + t. Is o a multiple of 12?
True
Let u = 0 + 48. Suppose u = -2*p + 4*p. Suppose w - p = -2*w. Is 5 a factor of w?
False
Suppose 2*f = -3*y - 48, -4*y + 6*f - 44 = 2*f. Let s(a) = -a**3 - 13*a**2 + 12*a + 2. Is 6 a factor of s(y)?
True
Does 24 divide ((-108)/(-15))/(((-4)/280)/(-1))?
True
Let q be 22/4 + (-3)/6. Let b = q + 1. Let r = 24 - b. Is 13 a factor of r?
False
Let y(p) = -30*p + 111. Is 21 a factor of y(-11)?
True
Suppose r = 4*u + 127, -r = 3*u + 116 - 26. Let h = u + 72. Does 19 divide h?
False
Suppose 4*l - 1374 = 2*m, 2*m + 2*m = 4*l - 1376. Is l a multiple of 7?
True
Suppose y + 3 = -0*y + m, 0 = 5*y - m - 1. Suppose n + 0 = 42. Let g = y + n. Does 17 divide g?
False
Let v(q) = 2*q - 3. Let l(d) = d - 5. Let o be l(9). Suppose z = 2*z - o. Does 3 divide v(z)?
False
Let f(y) = y**3 + 5*y**2 - 2. Let m be f(-5). Let q be (2 + 2)/(m/5). Let n(l) = l**3 + 10*l**2 + 10. Is n(q) a multiple of 5?
True
Let m(g) = -2*g**2 - 2*g + 7. Suppose n - 2*x = 1 - 6, 5*n = 3*x - 18. Let u be m(n). Does 42 divide (u/(-20))/(1/548)?
False
Let a = -829 - -1315. Is 13 a factor of a?
False
Let t = -2 + 11. Suppose -2*g + v = 0, -4*g - 10*v = -7*v. Suppose g*i + t = 3*x - 4*i, -4*i + 12 = 0. Is 3 a factor of x?
False
Let w = 119 - 121. Does 15 divide 2 + 0 - 324/w?
False
Suppose 3*y - 3612 = 2*t, -3*t + 668 = y - 536. Is y a multiple of 55?
False
Let r be -1 + 0 + -2 + -6 + 122. Let c = r - 43. Does 35 divide c?
True
Suppose -16*t + 75 = -13*t. Suppose -t*n - 84 = -31*n. Does 14 divide n?
True
Let k(q) = -10*q + 20*q - 14*q + 5*q**2. Does 7 divide k(-2)?
True
Suppose -930 = -5*y + t - 6*t, 5*t = -3*y + 566. Is 2 a factor of y?
True
Let f be (596/4)/(5/2 - 2). Suppose -4*r = 2*c - f, -2*c + 385 = r + 81. Is c a multiple of 17?
True
Suppose 2*r - 1370 = -4*j, 2*j - 3*r - 439 = 266. Is 15 a factor of j?
True
Let t = -898 - -974. Does 3 divide t?
False
Let r = 33 - 34. Is 3 - (0 + r)*-1*-26 a multiple of 29?
True
Let m(u) = -5*u - 75. Is 2 a factor of m(-19)?
True
Let o(x) = -5*x - 9. Let b(q) be the first d