 -4*v. Let p(l) = -l**3 + 11*l**2 - 6*l - 4. Is 29 a factor of p(q)?
True
Suppose -3 = 3*g, -3*z + 15*g + 11 = 16*g. Suppose 0 = 5*j + a - 2745, -4*j = z*a - 2654 + 474. Is 50 a factor of j?
True
Let w(c) = 37*c + c + 13*c + 82. Is w(4) a multiple of 11?
True
Let g be 7/(63/2) + 38284/(-153). Let p = 88 - g. Is p a multiple of 13?
True
Suppose -11*c = 2584 - 17181. Is 47 a factor of c?
False
Suppose 45*j - 50*j + 2*s = -49947, -j + 9987 = 2*s. Does 58 divide j?
False
Suppose -10*a = -6*a - 8. Suppose -s = -1 + 3, -u - 2*s = a. Suppose -u*f - 4*f + 240 = 0. Is 4 a factor of f?
True
Suppose 21*r - 14*r + 70 = 0. Does 46 divide (91056/(-45))/(-4) + r/(-75)?
True
Suppose 1163 = -3*u + 143. Let p be 6/(u/116 - -3). Suppose 5*w - 511 = -4*b, 0*b + p = w - 3*b. Does 11 divide w?
True
Let s(d) = -d**2 - 16*d - 29. Suppose 2*i - 5 = n + 2, -3*n + i - 31 = 0. Let b be -4 + n + 4/2. Is 3 a factor of s(b)?
False
Suppose -6*c = -c - 10. Suppose 5*b = -c*h - 3*h + 25, 3 = b - h. Suppose 0 = -0*d + b*d - 140. Does 19 divide d?
False
Let w = 5694 - 2774. Is w a multiple of 20?
True
Let n be (-2)/(64/4584)*-4. Suppose -5*a - n = -7*a - z, 3*a = 4*z + 865. Is a a multiple of 4?
False
Is 58/(-10*(-4)/280) a multiple of 11?
False
Let t = -72 + 74. Suppose -t*o - 7*i + 8*i + 222 = 0, -2*o + 2*i = -224. Does 11 divide o?
True
Suppose 0 = -g + 2*g - m + 6, 0 = -g - 2*m - 6. Let l be 200/g*(-6)/2. Suppose 2*u + 2*h + h = 182, 3*h = u - l. Is u a multiple of 13?
False
Suppose -5*j + 60 = 5*o, -3*j - 2*j - 4*o + 57 = 0. Suppose -5*b - 2*c + j = -0*c, 2*b + 2*c = 0. Let f(n) = 2*n**2 - 3*n + 7. Is f(b) a multiple of 4?
True
Suppose -5*s - 2*x + 23 = 0, 4*s - 4*x + 10 = 6. Suppose 0 = 5*g + 3*o - 1332, -3*g + s*o + 802 = 2*o. Is 9 a factor of g?
False
Let d be (0 + -1 - 13)/(52/78). Let f(y) = y**3 + 21*y**2 - 28*y - 112. Is 5 a factor of f(d)?
False
Let m be 67 - (-3 - (2 - 2)). Let l = m - 70. Suppose t + 3*y = 40, -t + 4*y + 1 + 4 = l. Does 10 divide t?
False
Suppose 45 + 39 = 2*n. Suppose -n*h + 35*h = -112. Is 4 a factor of h?
True
Let d(r) = 2*r**2 - 8*r - 8. Let s be d(-1). Suppose -2*n = -s, n = 16*k - 17*k + 800. Is 17 a factor of k?
True
Does 19 divide ((-40)/50)/(0 + (-5)/29025)?
False
Suppose -4*o + d + 264252 = 91190, -4*d - 129790 = -3*o. Is 293 a factor of o?
False
Suppose 192 = s + 228. Is (4*(-595)/42)/(3/s) a multiple of 34?
True
Let r be 1 + 3*(-4)/(-12)*-1. Let v be (5 - r) + 16 + -21. Does 7 divide -42*((-3)/(3 + v) - 1)?
True
Let o = 145 - -325. Let t = 561 - o. Does 7 divide t?
True
Suppose -2*g - 2*v = -82, -3*g + 2*v = 2*g - 226. Suppose 2*t + l + 62 = 27, -2*t + l - 37 = 0. Let f = t + g. Is f a multiple of 12?
False
Suppose 507936 = 53*k - 14*k. Does 11 divide k?
True
Suppose -5*d + 2*d = -5*q + 3, 5*d + 5 = 2*q. Suppose 18*v - 17318 - 7108 = q. Does 23 divide v?
True
Is 11 a factor of -140*109/((-310)/30 - -10)?
False
Let a be 122/(-4) - (-78)/156. Let k = 488 - a. Does 14 divide k?
True
Suppose 27*y - 20570 - 5844 = -20*y. Is y a multiple of 22?
False
Suppose -13*f + 27 = -4*f. Let w(t) = 139*t**3 + 0*t - 1 - t + 659*t**2 - 658*t**2 + f*t**3. Is w(1) a multiple of 21?
False
Suppose 0 = 11*y - 14*y + 492. Suppose 0 = -5*k + 3*z + 378, -k = k + 2*z - y. Suppose -2*a = 4*u - k, 0 = 4*a - u - 0*u - 147. Is a a multiple of 37?
True
Let z be 172/((-3)/(-3255)*-2*-1). Suppose -45*b + z = 27160. Does 35 divide b?
True
Let t(u) = u**3 + 6*u**2 - 3*u - 8. Let w = 21 + -27. Let x be t(w). Suppose 76 = -x*k + 12*k. Is 22 a factor of k?
False
Let x be (-5 + 14)/((-2)/(-2*1433)). Suppose 12*c = -501 + x. Suppose 243 = -5*j + c. Does 17 divide j?
False
Let c be (-76)/(-95) - (-30684)/(-5). Is 31 a factor of ((-15)/(-10))/((-12)/c)?
False
Let o be 2/10*0 - 1761/(-1). Suppose -5*g - 2*h + o = -h, 0 = 4*g + 4*h - 1412. Is 44 a factor of g?
True
Suppose 9*n + 2308 = 463. Let s = 403 + n. Is s a multiple of 33?
True
Let w be (-541)/(((-40)/(-15))/8). Does 12 divide 2/(-10) - w*(-1)/(-15)?
True
Suppose -29*u - 58154 = -197789. Is u a multiple of 75?
False
Let j be (4/70)/(8/(-40))*-7. Let a(g) = g - 2*g**2 - 8 + 14 + g**2 + 4*g**j. Is 14 a factor of a(3)?
False
Suppose 82*t - 59*t = 260268. Is 46 a factor of t?
True
Suppose x = 4*b - 697, -8*b - 1399 = 2*x - 11*b. Let c = x + 1005. Is 8 a factor of c?
True
Let j = 1352 - 739. Is j a multiple of 26?
False
Let g(f) = 9*f**3 + 4*f**2 + 6*f - 9. Let a be g(-7). Let s = a - -2078. Is 24 a factor of (s/(-42))/(6/28)?
True
Is (7*1487)/((-6)/70*(-3150)/1350) a multiple of 105?
False
Let a(n) = -458*n + 814. Does 13 divide a(-6)?
True
Does 8 divide (-4)/26 + ((-294432)/(-52) - -8)?
False
Is 177 a factor of (-65864)/(-12) - (-4 - (210/(-18) - -6))?
True
Let q = -299 + 313. Let a = 169 + q. Does 7 divide a?
False
Let a(v) = 11*v**3 - 11*v**2 - 23*v. Let h(j) = 5*j**3 - 5*j**2 - 11*j - 1. Let u(x) = 4*a(x) - 9*h(x). Let z = 10 - 13. Is 24 a factor of u(z)?
True
Let g be ((-18)/30)/((-3)/(-1965)). Does 35 divide -1 + -1 + g/(-3)?
False
Suppose a - 4*k + 2*k = -5, -4*k + 30 = 2*a. Let n(w) = 5*w**2 - w + 3. Let x(u) = -u**2 - u + 1. Let r(v) = -n(v) - 6*x(v). Does 8 divide r(a)?
False
Suppose w - 3*h = 1154, -1515 - 3141 = -4*w + 4*h. Is 3 a factor of w?
False
Let g = -4892 + 20252. Is 192 a factor of g?
True
Suppose 0 = -3*w - 0 - 0. Suppose 7*j + 2*t - 374 = 5*j, 2*j + 5*t - 377 = w. Is j a multiple of 42?
False
Suppose -4*g - 9004 = -4*s, 5*s - 18*g = -23*g + 11245. Is s a multiple of 15?
True
Let w(h) = 0 + 10*h**2 - 11*h - 3 - 4*h + 7 - h**3. Let k be w(8). Is 74 - 1 - (-3)/(k/(-16)) a multiple of 23?
True
Suppose 5*j = -0*j - 3*v - 183, 109 = -3*j - 2*v. Let f = 157 - j. Is 13 a factor of f?
False
Suppose 6 = m, 0 = -10*x + 6*x - 17*m + 236694. Does 282 divide x?
False
Suppose 0 = 4*s - n - 14843, 0 = 4*s - 3*n - 24518 + 9669. Is 14 a factor of s?
True
Is ((-336)/144)/((-2)/8 - (-41820)/167472) a multiple of 21?
False
Let h = -3392 + 19232. Is 60 a factor of h?
True
Let f = 4378 + 636. Does 46 divide f?
True
Let b = 75 - -3076. Is b a multiple of 137?
True
Suppose 18*g = 220297 + 7868 + 64569. Is 39 a factor of g?
True
Let p(f) = f**3 + 20*f**2 - 22*f + 18. Suppose -70 = 5*a + 30. Is 66 a factor of p(a)?
False
Suppose -8*r + 73 = 17. Suppose 9*z = -r*z + 3296. Does 7 divide z?
False
Let z(v) = -v**3 - 15*v**2 - 249*v + 9. Let t(c) = c**3 + 12*c**2 + 248*c - 9. Let w(u) = 6*t(u) + 7*z(u). Is w(-9) a multiple of 36?
True
Suppose 0 = 11*s - 4*s - s. Suppose s = 2*x - 4*x + 754. Is 22 a factor of x?
False
Let g be (13 + -16)/(((-22)/(-84))/(-11)). Let m = g - -13. Is 11 a factor of m?
False
Let x = 405 - 910. Let b = x - -1063. Does 62 divide b?
True
Let h(k) = -4*k**3 + 5*k - 7. Let y be h(-4). Let m be (y + -1)/(-4) + 3. Let o = -37 - m. Does 13 divide o?
False
Let d be -66*((-3)/9 + 0). Suppose 0 = 10*y + y - d. Suppose -5*j - 73 = -4*h + 84, 3*h + y*j - 135 = 0. Is h a multiple of 11?
False
Let k(c) = c**2 - 6*c - 36. Let s(u) = 3*u - 8. Let r be s(3). Let t be (57 + -55)/(r + (-9)/11). Is k(t) a multiple of 3?
False
Let t(s) = 17*s**2 - 59*s - 866. Is 34 a factor of t(-26)?
False
Let w be 85/10 + (-1 - (-9)/6). Suppose w*m = 10*m - 5. Suppose -36 = -5*y + 2*a, 2*a = -m*y + y + 36. Is 3 a factor of y?
False
Suppose -4*u + 331 = -129. Let o = 46 + u. Is o a multiple of 5?
False
Let r(j) = 5*j**2 - 360*j + 483. Does 16 divide r(111)?
True
Suppose -4*q = -7*q + 45. Suppose 0 = w + j - 14, -q - 17 = -w + 5*j. Is w even?
False
Suppose 0 = -3*l - u + 313, -l + 3*u = 4*l - 531. Is l*2/(30/35) a multiple of 34?
False
Let v = -284 - -501. Is 5 a factor of v?
False
Let m(p) = -p + 50. Let n be m(50). Suppose n = 2*x - 2, 356 + 422 = w - x. Does 19 divide w?
True
Let g(i) be the third derivative of i**6/120 - i**5/6 + i**4/6 - 5*i**3/3 + 4*i**2. Let o = -32 - -42. Does 10 divide g(o)?
True
Let o = 1064 + -431. Suppose 3*x = 2*d + 630, -5*d + 4*d = -3*x + o. Is 62 a factor of x?
False
Suppose 92*i = 2557062 - 336826. Does 30 divide i?
False
Suppose 4005 = 14*o - 34439. Is o a multiple of 13?
False
Let p(s) = 12*s**2 - 20. Let u be p(11). Suppose -2*y - 2*y - u = -5*w, -3*y = -w + 293. Suppose -4*f + w = -0*f. Is f a multiple of 21?
False
Let j(z) be the first derivative of z**3/3 - 5*z**2 + 60*z - 106. Is j(-14) a multiple of 3