 factor of f?
True
Let t = 3614 + 503. Is t a multiple of 35?
False
Let u(t) = 5*t + 11. Let w be u(-2). Let x be w*(1 - 6)/5. Let l(o) = 97*o**2 - 2*o - 1. Is l(x) a multiple of 7?
True
Suppose -157*i + 199520 = -99*i. Does 40 divide i?
True
Let f be (4 - (-15)/(-5))*-1. Is (f/(-5)*-5)/((-1)/271) a multiple of 21?
False
Let o(f) = 3180*f - 270. Is 110 a factor of o(6)?
True
Let s be -1 + (-5 + (-55)/(-10))*12. Suppose 7*q = s*q + 1976. Is q a multiple of 26?
True
Let j = -95576 + 136988. Is 34 a factor of j?
True
Let r(b) be the first derivative of b**4/4 + 17*b**3/3 - 3*b**2 - 18*b + 1198. Let x be ((-2)/4)/(3/102). Is 13 a factor of r(x)?
False
Let g(u) = -10*u - 358. Let b be g(-47). Suppose -5*z - 335 = 5*l, -l + 3 = -0. Let o = b + z. Does 8 divide o?
False
Suppose -9969 + 689 = -10*n. Suppose 923*u - n*u + 1095 = 0. Is 63 a factor of u?
False
Suppose -2*l + 31 = 5*u, -4*l - 6 = -4*u + 2. Suppose -l + 19 = -2*i. Is 20 a factor of 0 + (i/2 - -84)?
True
Suppose 83*c = 79*c - 168. Let k = c + 42. Suppose h - 64 = 4*p, h + 3*p - 8 - 35 = k. Is 13 a factor of h?
True
Let p be (-82 - -1)/((-41)/287). Suppose -2*t - 2*h + 1134 = 0, 0 = -14*t + 15*t + 3*h - p. Is t a multiple of 27?
True
Let p(w) = w**2 - 5*w + 7. Suppose -h - 5 = 0, 0 = -3*v + v + h + 27. Let c = v + -6. Does 7 divide p(c)?
True
Suppose -14*k = -5*k - 36. Let c be (-4254)/(-30) - (k/5 - 0). Suppose u = -4*o - 0*u + c, -3*u = 9. Does 7 divide o?
False
Let y = -31 - -35. Suppose -y*h - 4*s = -12, h = -0*s + s - 1. Is (3*h)/(((-5)/50)/(-1)) a multiple of 30?
True
Let p = 72 - -149. Let i = p + 163. Is 10 a factor of i?
False
Let u(q) = -5*q**2 - 91*q - 6. Let x be u(-23). Let t = 18 - x. Does 32 divide t?
True
Let v(h) = 9*h**2 + 105*h + 36. Is 118 a factor of v(-33)?
True
Let n(z) = 119*z - 2. Let d be n(1). Let s = 73 - d. Let u = -12 - s. Is 4 a factor of u?
True
Suppose -5*m + 46 = -3*q, -4*q - 5 = -m - 2*q. Suppose -m*k + 14*k - 648 = 0. Is 27 a factor of k?
True
Let k(q) be the third derivative of q**8/20160 - q**7/1008 + q**6/360 - 5*q**5/12 + 5*q**2. Let a(u) be the third derivative of k(u). Is 4 a factor of a(7)?
True
Let y(b) = 5*b**2 - 14*b - 15. Let d(j) = -14*j**2 + 40*j + 44. Let c(z) = 6*d(z) + 17*y(z). Is c(-3) even?
True
Let d = -1151 - -2632. Suppose 499 + d = 12*l. Is l a multiple of 40?
False
Let d = -11287 + 15839. Does 37 divide d?
False
Suppose -5*k - 2*w + 31939 = 4055, 5*k = -5*w + 27890. Is k a multiple of 12?
False
Suppose -13*c - 30 = 2*c. Is 1851/c*(-5)/((-105)/(-14)) a multiple of 14?
False
Suppose 0 = 5*a - 4*g + 810, 2*a + 5*g - 10*g + 341 = 0. Let f = 222 + a. Is f a multiple of 16?
True
Suppose -16*w - 13865 = -83865. Does 26 divide w?
False
Let v(f) = -16*f - 20. Let d be v(-9). Suppose 121 = -4*l + 3*x, l = 5*l - 4*x + d. Is (-102)/(-14) + 8/l a multiple of 7?
True
Let b(f) = -6 + 0 - 15*f + 14*f. Let w be b(-11). Does 4 divide 8/w*((-210)/(-4))/7?
True
Suppose -3*j - 7 = -19. Suppose 5*l - 504 = -j*l. Does 28 divide l?
True
Is (-2239 + 244)/((-2)/42) a multiple of 315?
True
Does 9 divide (-15)/(-10) + 26397/42?
True
Is (-640123185)/(-12121) - 4/46 a multiple of 13?
False
Suppose 0 = -28*m + 9440 + 99508. Does 91 divide m?
False
Is (-4894)/(-6) + ((-32)/6)/(-16) a multiple of 68?
True
Let a(i) be the first derivative of i**4/4 + 7*i**3/3 - i**2 + 24*i + 105. Is 9 a factor of a(-4)?
False
Is 17 a factor of 0 + 9 + -483*14/(-3)?
False
Suppose 3*p + 44 + 1 = 5*v, 5*p + 5*v + 35 = 0. Is p*(-4 - 2/(-5)) a multiple of 36?
True
Let s(t) = -10*t**2 - 12*t - 69. Let x(w) = -3*w**2 - w - 1. Let o(v) = -s(v) + 3*x(v). Is o(-9) a multiple of 14?
False
Suppose 50 = 5*y - 100. Is 21 a factor of (16 - 21) + -16*y/(-4)?
False
Let q(n) = -3*n**3 + 6*n**2 - n - 3. Let j be q(2). Let x(g) = -6*g - 7. Does 4 divide x(j)?
False
Let t(s) = 146*s**2 + 10*s - 426. Does 198 divide t(-15)?
True
Let h(m) = 13*m**2 - 33*m - 134. Is 115 a factor of h(23)?
False
Let z be 2*1334/4*(37 - 35). Suppose 3*j - z = u, -3*j - 4*u = -1181 - 158. Is 39 a factor of j?
False
Suppose -4*d + d = 12, 380 = 4*b + d. Let s = b - 84. Suppose 0*f - 3 = -f - 3*n, s = 4*f + 5*n. Does 3 divide f?
True
Suppose 3*c = -a + 5, 2*c - 3*a = 14 + 4. Suppose -5*s + 123 = -c*s - 3*j, 183 = 3*s - 3*j. Is 5 a factor of s?
True
Let x(d) = 114*d - 2. Suppose -11*g - 450 = -5*g. Let y = g + 76. Is x(y) a multiple of 14?
True
Let p = 79671 - 46326. Is p a multiple of 9?
True
Let a(h) = -9*h**3 - 10*h**2 + 43*h + 83. Is a(-10) a multiple of 11?
False
Let h(n) = 702*n**2 + 2*n - 10. Let o be h(2). Suppose o = 2*d - 3*j, 4*d - 5620 = 2*j - 4*j. Does 54 divide d?
True
Let x = -125 - -120. Suppose -2*k = 6 + 4. Does 8 divide 10 - k*2/x?
True
Let x be 103/((-14)/(-12)*(-6)/(-21)). Let g(l) = 3*l**2 + 9*l - 3. Let k be g(-10). Let b = x - k. Does 17 divide b?
True
Let i be -4 + -31*(1 + 28). Let c = -517 - i. Does 27 divide c?
False
Suppose 4*l + 2*g - 66 = 0, 0 = -4*l - 0*l + g + 57. Is 52 a factor of ((-18)/l)/((-5)/(3250/15))?
True
Suppose -4*v + 12 = -13*l + 11*l, 5*l = 5*v - 15. Suppose -49*o + 36581 + 15310 = l. Is o a multiple of 21?
False
Let m(n) = 2*n. Let q(u) = u + 8. Let w be q(-6). Let r be m(w). Suppose -22 = -r*t - 2*y, -5 = -5*t + 4*y + y. Is t even?
True
Let c(h) = 2*h**2 - h + 7. Suppose -26 = 3*p - 4*j, 5*p + 30 + 24 = -4*j. Let m(r) = r**2 + 9*r - 8. Let b be m(p). Is 4 a factor of c(b)?
False
Let d(o) = 12*o - 221. Let w be d(19). Suppose k - 827 = -3*t, 3*k + 2*t + 3364 = w*k. Does 27 divide k?
False
Is 118 a factor of -4 - ((-58468)/15 - (-14)/(-105))?
True
Suppose -4*t - f = 307, 2*t - f + 241 - 80 = 0. Is (3 + t/18)*(-570)/4 a multiple of 12?
False
Suppose 6*q - 5*q - 3*v - 65 = 0, -q + 75 = -5*v. Suppose -q*c + 60*c - 2310 = 0. Is c a multiple of 7?
True
Suppose 3*r - 52 = 2*v, -v - 5*r = -0*v + 13. Let h = 25 + v. Does 13 divide (5 + -2 - h)*13?
True
Let o be 6/15*(4 - -6). Suppose 2*t - 2*f = o, -6 = -2*t - 3*f + 8. Does 2 divide t?
True
Let g be (7 + 287/(-42))*0. Suppose -y - 3*s = 40 - 108, g = -y + 2*s + 83. Is y a multiple of 11?
True
Let z = 9741 + -6543. Is 6 a factor of z?
True
Let h = -22772 + 62456. Does 12 divide h?
True
Let w = -1665 + 3299. Is 25 a factor of w?
False
Suppose 3*k - 7*k = -3*z + 272, -3*z - 4*k = -232. Let c = 135 - z. Suppose -5*w - 2*f + 54 = 0, w + c = 5*w - f. Is 6 a factor of w?
True
Suppose p - 19463 = 5*h, -2*p - 5*h + 14161 = -24840. Does 56 divide p?
True
Suppose -167 - 340 = 13*r. Let f = r - -45. Suppose 15*m = f*m + 558. Is 7 a factor of m?
False
Is -3*(18476/(-6) + -14) a multiple of 80?
True
Is 10 a factor of -18*8/(-60) + -2 + 311238/30?
False
Let f(g) = -g**3 + 13*g**2 + 13*g - 27. Let z be f(14). Let v = 45 + z. Suppose -v*o + 341 = -75. Is o a multiple of 13?
True
Let o = -315 + 311. Is 21 a factor of (8/5)/((32/(-1260))/o)?
True
Let o(f) = -531*f**3 - 5*f**2 - 17*f - 29. Is 78 a factor of o(-2)?
False
Let n(r) = 13571*r**2 + 198*r - 199. Is 23 a factor of n(1)?
True
Suppose 2*w + b - 2*b = 0, -14 = 3*w - 5*b. Let t be (16 - 15)/(2/10). Suppose -1113 = -t*y - w*y. Is y a multiple of 11?
False
Let f(z) = -2*z - 9. Let n be f(-6). Let k = 349 + -308. Suppose -6*p = -s - n*p + k, -4*s - 5*p = -164. Is s a multiple of 12?
False
Suppose 2415 - 6403 = 5*h + 4*t, -5*t + 2378 = -3*h. Let c = -544 - h. Does 26 divide c?
False
Is 192 a factor of 4942071/234 + (-3)/(-78)?
True
Suppose -164*w = -149*w - 1125. Does 15 divide w?
True
Let u(c) = -7*c - 25. Let b be u(-13). Let t be (-1 + b)*-2*6/30. Let o = 46 + t. Is o a multiple of 3?
False
Does 30 divide ((-1800)/(-14))/(17/102 - 65/525)?
True
Let y(a) = 5*a - 2*a + 200*a**3 - 3*a**2 - 3 + 2 + a**2. Does 9 divide y(1)?
False
Let o be -2 + 8105 + (5 - -2) + -11. Suppose -13*u = -o + 2795. Does 51 divide u?
True
Let n(k) = 23*k. Let z(v) = 24*v + 1. Let l(a) = -4*n(a) + 3*z(a). Let o be l(-5). Let r = o - 51. Is 26 a factor of r?
True
Suppose 2*b + 2386 = -4*d, -4*d + 7*b - 3*b = 2392. Let w = -349 - d. Is w a multiple of 31?
True
Suppose 0 = 56*u - 58*u + 1152. Suppose 7*v - u = v. Is 4 a factor of v?
True
Suppose 13023*y = 13020*y + 5616. Is 41 a factor of y?
False
Let q(w) = 168*w**2 + 726*w - 15. Does 4 divide q(-8)?
False
Let l = 35451 + -19537. Is 9 a factor of l?
False
Let b = -280 + 1225. Let z 