?
False
Suppose -19*t + 26*t = 5495. Is 39 a factor of t?
False
Let q(g) = -48*g**3. Let m(u) = 2*u - 19. Let i be m(9). Does 16 divide q(i)?
True
Let m be (9/(-6))/((-1)/2). Suppose 5*z + 5*g = 125, m*z - 5*g = -9*g + 73. Is 5 a factor of z?
False
Is (-30)/35*-445 - 3/7 a multiple of 25?
False
Let d be 102/21 - (-1)/7. Suppose -5*o + 168 + 292 = 0. Suppose -d*v + o = 12. Is 4 a factor of v?
True
Is 26 a factor of (-4 - (3 + -396)) + 3/3?
True
Suppose 4*a + 27 = -81. Let y be -1*(-102)/2*(-20 - -21). Let c = a + y. Is c a multiple of 8?
True
Let m(z) = -3*z - 17. Let k be m(-7). Suppose -w = 3 - k. Let q(n) = 67*n**3 - 3*n + 2. Does 22 divide q(w)?
True
Let l(p) = -2*p**3 - 7*p**2 - 7*p - 6. Suppose 3 = -4*a - 13. Is 9 a factor of l(a)?
False
Let d = -74 - -79. Let h(b) = 12*b + 4. Is h(d) a multiple of 8?
True
Let v(k) = k**2 - 10*k + 12. Suppose -5*u + 27 = -2*u. Let w be v(u). Suppose -b = -w - 1. Is b a multiple of 2?
True
Suppose 2*y - 3 + 5 = 0. Let o be 2/4 - y/(-2). Suppose o = 4*k, 3*j + 0*j + 4*k = 42. Is j a multiple of 14?
True
Let r be 3/(((-36)/8)/9). Is (-840)/(-18) - 2/r a multiple of 5?
False
Let d = 10 - 2. Suppose 16 = -t + 5*c, t - 2*c - d = -3*t. Suppose 8*l - 3*l = 3*x - 97, 0 = t*x + 5*l - 106. Is x a multiple of 14?
False
Let p(b) = -103*b - 2. Let o be p(-1). Suppose 265 = -t + 6*t. Suppose -4*w = 3*k - 18 - o, k + 4*w - t = 0. Is k a multiple of 6?
False
Suppose 0*s - s + 35 = 0. Let n(l) = -s*l**3 + 7 + 36*l**3 - 3 - 3*l. Does 8 divide n(3)?
False
Let p be 16/(-3)*(-18)/24. Suppose 5*j = 6*j - p. Is j a multiple of 2?
True
Let p(f) = 426*f - 370. Is p(5) a multiple of 27?
False
Let t(m) = -3*m + 2*m - 4*m**2 - 5*m + 3*m**2 + 10. Let w be t(-7). Suppose 74 = 4*k - 2*n, 3*k = -0*k - w*n + 33. Is 8 a factor of k?
True
Is (-1)/(3247/464 - 7) a multiple of 10?
False
Let m(h) = -38*h - 2. Let f be m(1). Let k = 5 - f. Does 15 divide k?
True
Let r be ((-2)/(-4))/(1/(-118)). Let s = 70 + r. Is s even?
False
Is 8 + 1 - (-1423 - 6) a multiple of 20?
False
Suppose 0 = 3*c - 6*t + 2*t + 68, -55 = 5*c + 5*t. Let z = c - -10. Is 7 a factor of z/9*2*-30?
False
Let s = -111 - -138. Is 9 a factor of s?
True
Suppose -3*q = -5*o + 14, 4*o - 20 + 2 = -q. Suppose -5*j - u + 545 = 0, -3*j = -q*j + 4*u - 90. Is 8 a factor of j?
False
Suppose 6 = -2*d + 26. Let t = d + 1. Is t even?
False
Does 25 divide (-6)/14 + (27744/56 - -2)?
False
Let x = -36 - -38. Suppose 3*i + 39 - 433 = 4*c, -x = 2*c. Is i a multiple of 12?
False
Let j(h) = 2*h - 27. Let d be j(21). Suppose -3*r - 4*c = 7, -4*c + 1 = -2*r + 3. Let l = d + r. Is 7 a factor of l?
True
Let q = 6078 + -2775. Does 16 divide q?
False
Is 14 a factor of 4328/36 + 2/(-9) + 1?
False
Let s be -24*(-10)/15 + -4. Suppose s*i = 4*i + 24. Is 6 a factor of -1 + i - 0 - -6?
False
Suppose -3*g - n = -6*n - 5707, -4*n = -8*g + 15256. Does 54 divide g?
False
Let u(q) = q**3 - 5*q**2 - 10*q - 27. Is 66 a factor of u(10)?
False
Suppose -3*k + 3*l = 73 + 188, -2*k - 176 = -l. Let j be 2/13 + k/(-13). Suppose -j*z + 64 = -3*z. Is 6 a factor of z?
False
Suppose u = 4*d + 510, -3*d + 1503 = 3*u - 6*d. Suppose -4*k - 250 = u. Let r = -109 - k. Is 41 a factor of r?
False
Suppose -6*a + 5*a = 2*c - 111, 5*a - 3*c - 516 = 0. Is 3 a factor of a?
True
Let a = 36 + -35. Let z be ((-20)/15*-3)/a. Let y(p) = -p**3 + 5*p**2 - 4*p + 6. Does 3 divide y(z)?
True
Let m(r) = -6*r + 6. Let c(n) = -n**3 + 7*n**2 - 8*n - 3. Let o be c(6). Is m(o) a multiple of 12?
True
Let b(i) = 41*i**2 - 14*i + 51. Does 22 divide b(-9)?
True
Is 17 a factor of (-586)/(-10) + 15/(-100)*4?
False
Is (-5)/20 + (-9178)/(-8) a multiple of 15?
False
Suppose 442 = 4*i + 122. Is 4 a factor of i?
True
Let t(l) = -l**3 - 4*l**2 + 1 + 1 - 5 - 3 - 2*l. Let v be t(-4). Suppose 5*j - v*j = 192. Is j a multiple of 16?
True
Suppose 1 = -4*t + 9. Suppose -4*n - 16 = -t*n. Is n/(-3)*(-9)/(-2) a multiple of 10?
False
Let r(g) = g**3 + 11*g**2 - 15*g + 4. Let m be r(-12). Let k = -70 + m. Is (-8)/(-10)*(-825)/k a multiple of 9?
False
Suppose 3*n - 5*b - 15 = -0*n, n = 4*b + 12. Let f = 3 + n. Suppose -4*k + 50 = 3*j, j + f*k + 35 = 6*j. Is j a multiple of 10?
True
Let a(s) = 8*s**3 - 2*s**2 + 7*s - 10. Is 26 a factor of a(4)?
False
Suppose -3*i = 5*j - 956, j = -i - 4*i + 1586. Is i a multiple of 24?
False
Let h = -5 - -5. Let y be (-33)/(3/(-6) + h). Let k = y + -11. Is 12 a factor of k?
False
Suppose -2*g + 126 = -0*g. Suppose 103 - 1046 = -23*q. Let f = g - q. Does 22 divide f?
True
Let o be (2/3)/((-12)/(-144)). Let w be o/(-12)*69/(-2). Is 0 + 1 + (w - -4) a multiple of 9?
False
Suppose 0 = r - 394 + 72. Is r a multiple of 18?
False
Suppose -6*v + 7*v - 4*k = 731, -3*k - 2229 = -3*v. Is v a multiple of 7?
False
Suppose n = -2*j - 2*n - 3, 5*j + 4*n = -4. Suppose 2*m + 15 = 5*m. Suppose m*d - 227 + 22 = j. Is 14 a factor of d?
False
Suppose 7407 - 607 = 34*b. Does 12 divide b?
False
Suppose -2*i = -7*i + 130. Let p = i + -2. Suppose 5*h = 2*h + p. Is 4 a factor of h?
True
Let v = 708 + 277. Does 51 divide v?
False
Is 30 a factor of (630/28)/(3/316 + 0)?
True
Let t = -20 - -27. Let g = t - -26. Is 10 a factor of g?
False
Let f(c) = 20*c - 7. Is 4 a factor of f(2)?
False
Let l(z) = 29*z - 14. Let b be l(-6). Is 17 a factor of -4 - (3 + b/4)?
False
Let t(a) = 44*a**2 - 3*a - 4. Let m be t(-2). Suppose -4*b = -2*j + m, j + b - 95 = -3*b. Is j a multiple of 19?
False
Let k be ((-116)/(-5))/((-4)/(-10)). Suppose 0 = -j + 2*j - k. Suppose x = -x + j. Does 10 divide x?
False
Let u(c) = 18*c**2 - 9*c + 55. Is 46 a factor of u(5)?
True
Let d(x) = 19*x - 54. Let y be d(10). Let h = 116 + y. Is 28 a factor of h?
True
Let m(b) = b**2 + 7*b - 23. Let w be m(-10). Let p(r) = r**3 - 8*r**2 + 9*r + 3. Is 14 a factor of p(w)?
False
Let w be ((-60)/14)/((-3)/21). Suppose s + 3*s + 3*j = w, -3*s + 12 = -3*j. Suppose 0 = 3*q - 2*h - 189, 0 = s*q - q + 4*h - 337. Is q a multiple of 13?
True
Let u = -10 + -6. Let p = 22 - u. Does 19 divide p?
True
Suppose 10*o = 4*o. Suppose -3*w - 6*p = -p - 355, o = w - 2*p - 100. Is w a multiple of 20?
False
Suppose -1870 = -6*g + 1676. Is g a multiple of 50?
False
Suppose -13*x - 414 = 340. Let o = 100 + x. Is o a multiple of 7?
True
Let u be 3/6 - 597/(-6). Let i = u - 59. Suppose 3*s - 55 = 4*o, -5*o - i = -2*s - 16. Is s a multiple of 7?
False
Suppose -62*m + 48*m + 2100 = 0. Is m a multiple of 10?
True
Is 22 a factor of (18/(-15))/((-9)/1320)?
True
Suppose -5554 = -14*c + 1866. Is c a multiple of 33?
False
Let t(p) = p**2 + 15*p. Let m be t(-15). Is 11 a factor of -4 + 30/(-4)*(m + -12)?
False
Suppose -5 = 3*j + 1. Let c be ((-15)/12)/(j/8). Suppose -c*p - 92 = -4*y - 0*y, 0 = -2*p - 8. Is 4 a factor of y?
False
Suppose -10*d + 11 = -9. Suppose -d*c - 5*l = -5*c + 153, l = 0. Is c a multiple of 7?
False
Let l(g) = g**3 + 6*g**2 - 7*g + 2. Let b be l(-7). Suppose 0 = b*x - 20 - 44. Is x a multiple of 13?
False
Let s be -148 - ((-1 - 3) + 4). Let y = s + 230. Is 16 a factor of y?
False
Let i(u) = u**3 + u**2 + 28. Let q be i(0). Let m = q - 15. Is 5 a factor of m?
False
Let h(w) = 2*w**2 - 16*w - 94. Is h(23) a multiple of 28?
False
Let n(m) = 52*m**3 - m**2 + 3*m - 2. Let p(c) be the first derivative of c**3/3 + 7*c**2/2 + 7*c + 8. Let u be p(-6). Is n(u) a multiple of 13?
True
Suppose -4*o + t + 35 = -45, 121 = 5*o + 4*t. Let d = o - 21. Let w(l) = -l**2 + 42. Is 14 a factor of w(d)?
True
Let z = -43 - -78. Suppose 0 = -3*g - 79 - z. Does 4 divide -2*(g/4 + -2)?
False
Let t = 14 + 551. Is t a multiple of 56?
False
Is (-6)/(270/(-10495)) + (-20)/90 a multiple of 6?
False
Let f be ((-4)/(-10) - (-13815)/25) + 1. Suppose -2*v = 4*s - f, 5*s - 6*v - 687 = -3*v. Does 25 divide s?
False
Suppose -5*b = -10*b + 935. Suppose v = 5*u - 172, 6*u + 4*v = u + b. Is u a multiple of 35?
True
Does 77 divide (-1 - -3)/(-2)*(-6 - 833)?
False
Is 36/(-30)*-4*30/1 a multiple of 36?
True
Let i = 24 - 7. Let y = i + -9. Suppose -13*h + 105 = -y*h. Does 19 divide h?
False
Let h(q) = 794*q - 2. Is 88 a factor of h(1)?
True
Let s(j) be the first derivative of -j**4/4 + 13*j**3/3 - 7*j**2/2 + 8*j + 1. Let a = -395 + 407. Is s(a) a multiple of 22?
False
Let g(m) = -134*m**3 - 1. Does 19 divide g(-1)?
True
Suppose x - 2 = 5*z, -5*x + 5*z - z + 10 = 0. Suppose 54