f 29?
False
Let t = -243 + 295. Let x = 64 - t. Is 3 a factor of x?
True
Suppose -31*a + 147184 = -0*a + 669937. Suppose 0 = 4*u - 46 + 14. Is 8 a factor of 1/u - a/264?
True
Suppose b - 1008 = -4*q + 8, -4*b - 1249 = -5*q. Let g = q - 60. Does 21 divide g?
False
Suppose -46998 = 244*o + 69*o - 391298. Does 11 divide o?
True
Is (-1)/3 - (-124511)/267 even?
True
Let v(y) = -y**3 + 11*y**2 - 3*y - 29. Let a be v(10). Is 16*a*(-6)/(48/(-8)) a multiple of 27?
False
Let k = -68 + 54. Let n be 114/(k/(-4) + -2). Let c = 140 + n. Is 28 a factor of c?
False
Let c be 1454/10 - (-2)/(-5). Suppose -2*w = -o + 37, -o - 2*w = 2*o - 79. Let d = c - o. Does 29 divide d?
True
Let i(f) = 43*f**2 + 5*f - 6. Let r be i(2). Suppose 3*o - r = -35. Suppose -y - t + o = 0, 2*t = -2*y - 2*t + 92. Does 12 divide y?
True
Let g = 3345 + -3077. Is g a multiple of 4?
True
Let p(b) = 213*b + 6. Suppose 0 = 108*y - 109*y + 1. Is p(y) a multiple of 18?
False
Suppose f - 513 = m, -4*f + m + m + 2050 = 0. Let w = f - 19. Is 21 a factor of w?
False
Let o be 1 + ((-2)/(-10))/((-4)/(-60)). Suppose o*p = n + 318 + 1126, -3*p + 1064 = 4*n. Does 20 divide p?
True
Suppose -32*o = -39*o - 2247. Let t = -211 - o. Is t a multiple of 14?
False
Suppose -r = -t + 16, -12 = -2*r + 3*r - 3*t. Does 3 divide -10*(-6 + r/4)?
True
Suppose -3*g + 8 = 2. Suppose 4*q = g*q + 52. Let j = q - 8. Is j a multiple of 9?
True
Let f = -12 - 20. Let a = f - -198. Is 21 a factor of a?
False
Suppose 154*r = 3825285 - 448989. Is 58 a factor of r?
True
Let p(r) = 4*r**3 - 6*r**2 - 9*r + 6. Let j be p(4). Is 16 a factor of (-4)/10*-1*j?
False
Let w be -2*(-3)/(-27) + (-174)/(-54). Let z = -3374 - -4782. Suppose x + w*x - z = 0. Is 37 a factor of x?
False
Let y = -39 + 42. Let k = y + 4. Suppose 600 = -2*n + k*n - 5*l, -126 = -n + 4*l. Is 29 a factor of n?
False
Suppose -5790 + 716 = -2*r + 1494. Is 47 a factor of r?
False
Let y = -249 + 433. Let u = y + -353. Let j = u + 289. Is 20 a factor of j?
True
Suppose 0 = 2486*p - 2464*p - 171072. Does 76 divide p?
False
Suppose 541*m - 9792 = 536*m + 31423. Does 48 divide m?
False
Let z = -182 + 182. Suppose z = 8*t + 8*t - 576. Does 4 divide t?
True
Let u(j) = -2754*j**3 - 6*j**2 + 6*j + 36. Is u(-2) a multiple of 108?
True
Let l(u) = u**2 + 14*u + 23. Let s be l(-18). Let c = -25 + s. Is 3 a factor of c?
False
Is 3 a factor of -2 - (2 - -1) - 244*5/(-2)?
False
Let l(u) = u**3 + 6*u**2 - 4*u - 38. Let p be l(-9). Let x = p - -973. Is 81 a factor of x?
False
Suppose -4*b + 3*v + 3917 = 0, -b + 902 = -v - 77. Suppose 19*w = 14*w + b. Is w a multiple of 49?
True
Suppose h - 14284 = -5*s, -s - 7*h + 2864 = -5*h. Is s a multiple of 14?
True
Let r(l) = -8*l**2 + 797*l - 198. Is 2 a factor of r(96)?
True
Is 133 a factor of (3610/(-8))/(300/(-96) - -3)?
False
Suppose -4*m - 12309 = -v + 5038, -3*v - m + 51989 = 0. Is v a multiple of 53?
True
Let g be 44/(-7) - (-10)/35 - -2. Let i be g + -3 + 9/1. Suppose -234 = -5*p + i*v - 3*v, -3*v = -4*p + 191. Is 7 a factor of p?
False
Suppose 2*h + 17 = 23. Suppose -4*l + q = -4*q - 73, 78 = h*l + 4*q. Suppose -l*y = -25*y + 30. Is y a multiple of 10?
True
Suppose 5*g = -y + 345, 4*g - 2*y - 68 - 222 = 0. Is 7 a factor of g?
True
Suppose -69*c - 282594 = -1209885. Is 89 a factor of c?
True
Is (6 + 6042/(-76))/(2/(-44)) a multiple of 49?
True
Let c = -51236 + 75204. Is 112 a factor of c?
True
Suppose 6766 - 17824 = -3*l. Does 9 divide l?
False
Let b(c) = -45*c + 171. Let z be b(4). Is (-41588)/(-333) + (-1)/z a multiple of 22?
False
Suppose 26*w = -12*w + 9*w + 1220146. Does 193 divide w?
True
Let a(u) = 47*u**2 + 59*u - 152. Is 5 a factor of a(3)?
False
Suppose -75 = -12*u - 27. Suppose u*q - 3*b - 258 = q, -4*b + 81 = q. Suppose -5*g + 4*g - 65 = -3*j, -q = -4*j + 3*g. Is j a multiple of 8?
False
Let m(k) = k**2 + 3*k. Let b be m(-6). Suppose 19*x = b*x + 75. Does 20 divide x?
False
Is (61096/(-49))/((-9)/((-63)/(-2))) a multiple of 10?
False
Suppose 0 = 5*b - 97 + 27. Let m be (b + (-10)/(-5))*(-26)/4. Let s = 206 + m. Does 8 divide s?
False
Suppose 5*p + 48 = 5*s - 492, -4*p = 20. Suppose -4*u = s + 249. Let x = 160 + u. Is x a multiple of 8?
True
Is ((924/(-20))/7)/((1 - -4)/(-4825)) a multiple of 11?
True
Let d(t) be the third derivative of t**6/120 + t**5/12 + t**4/6 - t**3/3 + 11*t**2. Let f be d(-4). Is 7 a factor of (f - -9)/(4/4 - 0)?
True
Let g(o) = 2410*o**3 + 14*o**2 - 13*o - 5. Does 45 divide g(2)?
True
Let f(v) = 143*v - 3278. Is f(60) a multiple of 16?
False
Let t(y) = y**2 + 2*y - 3. Let j be t(1). Suppose 2*k + x + 9 = j, -k + 8 = -5*x + 3*x. Let s(u) = -28*u**3 - 3*u**2 + u + 6. Does 24 divide s(k)?
True
Let j(s) = 116*s**2 - 305*s - 54. Is 31 a factor of j(9)?
False
Suppose 12*d - 7391 = 9409. Does 35 divide d?
True
Let a(w) be the second derivative of w**5/20 + 11*w**4/12 - w**3/2 - 6*w**2 + 7*w - 3. Is 18 a factor of a(-10)?
False
Let b(x) = -x**3 + 12*x**2 + 16*x - 32. Let v be b(12). Let j = 427 - 234. Let r = j + v. Is r a multiple of 18?
False
Let j be (-1)/(-6) - 34/(-12). Let o = j - -29. Is 16 a factor of (-42)/(-21)*(0 + o)?
True
Suppose -3673088 = -357*v + 146*v. Is 5 a factor of v?
False
Let r(k) = 7*k**3 - 8*k**2 + 26*k - 43. Let o(z) = 20*z**3 - 23*z**2 + 77*z - 127. Let u(j) = -6*o(j) + 17*r(j). Does 29 divide u(-9)?
True
Let f = 35 - -241. Suppose 13*p - f = -3. Suppose -4*i = -p*i + 782. Is i a multiple of 5?
False
Let c(u) = -3*u - 95. Let l be c(-41). Let d be 1/((-3)/(2 - -1)). Does 3 divide (d - 11)*(-42)/l?
True
Let m(b) = -b**3 + 29*b**2 - 129*b + 145. Does 25 divide m(22)?
False
Does 14 divide 4 + (-517)/132 + (-1822)/(-24)*433?
True
Suppose 522*f = 3601705 + 3569531. Is 81 a factor of f?
False
Let m(w) = -100*w + 38. Suppose 0 = -11*q - 33 - 44. Let l be m(q). Suppose 0 = 14*b - 8*b - l. Is 41 a factor of b?
True
Let u(f) = -1204*f - 3691. Is 51 a factor of u(-16)?
False
Let z(g) = 3*g**3 + 2*g**2 - 3*g + 2. Let i be z(1). Suppose 0 = 3*f + i*s + 28, 3*f + 5*s = 2*f + 9. Let m(j) = -4*j - 14. Is m(f) a multiple of 9?
False
Let w be 0 - -106*(-1 - -2). Let g be -1*(-5 - (-4 + 2)) - (-405 - 0). Suppose g = 2*x + w. Is x a multiple of 40?
False
Let j(y) = -y**2 - 15*y + 28. Let a = 33 - 30. Suppose -34 = 3*n + 2*h, -2*n - 38 + 7 = a*h. Is j(n) a multiple of 10?
False
Is 15 + 6520/20 + -4 a multiple of 159?
False
Let x = 13343 - 5183. Is 64 a factor of x?
False
Let k be (9 - (-176)/(-24))*18/10. Let m be (118/(-8))/(4/(-48)). Suppose 0 = 2*f - 4*s - 142, 0 = -2*f + 5*f + k*s - m. Is 9 a factor of f?
True
Let v be (-368)/(-69) + (5/3 - 2). Suppose 5*z = 4*d - v*d + 668, 5*d - 4*z - 3282 = 0. Is 67 a factor of d?
False
Suppose 0 = -5*l - 3 - 7. Let b be 0/(l + 3 + -2). Suppose b = 7*q - 431 + 102. Is 12 a factor of q?
False
Suppose -2*f = 2*g - 192, f - g - 156 + 52 = 0. Let r = -1767 + 1861. Is 60/f - r/(-10) a multiple of 5?
True
Let h = -39194 - -59074. Is 40 a factor of h?
True
Let d(l) be the first derivative of 0*l**2 + 4/3*l**3 - 3 + 0*l. Is 4 a factor of d(-1)?
True
Is 31 a factor of (19/(570/1548) - 2)*40?
True
Let a = 3066 - 2426. Does 16 divide a?
True
Let m(x) = -x**3 - 3*x**2 + 3*x - 2. Let y = -32 - -28. Let u be m(y). Suppose u*a = 37 - 13. Is 6 a factor of a?
True
Let k = -33266 - -46601. Suppose -22*h + 7*h + k = 0. Is h a multiple of 49?
False
Let m be 9*(68 + (7 - 9)). Is 3 a factor of ((-1)/(-6)*-2)/((-11)/m)?
True
Suppose 3*m + 3*n - 18 = 0, m + n + n - 9 = 0. Suppose 11 = -j + 2*t + m*t, 0 = 3*t - 15. Is j a multiple of 9?
False
Let q be (-12 - -264)/((-2)/(-7)). Let k = -461 + q. Suppose 347 + k = 8*n. Is n a multiple of 16?
True
Let m = 51988 - 32981. Is m a multiple of 47?
False
Let k = 5300 + -905. Is 11 a factor of k?
False
Let g = 40 + 25. Suppose -g*n = -2250 - 50595. Does 20 divide n?
False
Suppose 3*n + 4*w = w + 612, 5*n + w - 1028 = 0. Let t = 1451 - 1542. Let s = t + n. Is s a multiple of 30?
False
Let j(v) = 9*v + 260. Suppose -4*i - 6*q + 4*q - 46 = 0, 3 = -2*i + 3*q. Is j(i) a multiple of 26?
False
Let j(a) = -277*a. Is j(-49) a multiple of 49?
True
Suppose 0 = -18*o + 20064 + 85956. Is 19 a factor of o?
True
Let m = -19110 + 38912. Is 11 a factor of m?
False
Let f(n) = -1804*n - 1259. Is f(-4) a multiple of 10?
False
Suppose -7 = -4*h - 15. Does 16 divide 