b = f + o. Is 19 a factor of b?
True
Suppose 2 = -3*c + 14. Suppose 2*s - c*z = 8 + 24, 0 = 2*z - 6. Suppose s*l = 26*l - 104. Does 13 divide l?
True
Let a = 4 + -22. Let k = -23 - a. Is 12 a factor of (4 + 22/k)*-90?
True
Is 5 a factor of (-163)/(8/120*(0 - (-3)/(-1)))?
True
Let h(n) be the second derivative of 7*n**4/12 + 5*n**3/6 - 59*n**2/2 + 2*n - 16. Does 11 divide h(7)?
True
Let u(y) = -31*y - 4. Let o(j) = 4*j - 17. Let r be o(4). Is 27 a factor of u(r)?
True
Does 21 divide ((-147725)/(-105) + 8/84)/1?
True
Let h(s) = s**3 - 16*s**2 + s - 12. Let u be h(16). Suppose 3*l + 2*k - 2841 = 0, -u*k = l - 8*k - 961. Is l a multiple of 14?
False
Let i be 10/(5/2*1). Suppose 5*l - 3180 = -i*z, 0 = 4*l - 3*z + 8*z - 2535. Is l a multiple of 40?
True
Let f(y) = y**3 - 10*y**2 + 5. Let x be f(9). Let d = 85 + x. Suppose -153 + d = -2*m. Is 7 a factor of m?
False
Let o = 76 - 126. Let r = o + 40. Let k = r - -52. Is k a multiple of 14?
True
Let m(u) = u**2 - 6*u - 12. Let b be m(8). Suppose -5*v = -5*d, 2*d + 3*d = 3*v + b. Suppose -2*l = t + d*t - 65, 4*l = 4. Does 8 divide t?
False
Does 18 divide ((-261)/(-58)*8)/(2/34)?
True
Let d(y) be the third derivative of y**5/60 - 3*y**4/8 + 2*y**3/3 + 17*y**2. Let b be d(8). Does 16 divide b*(-12)/16 + 98?
False
Let l(k) = 6*k + 32. Let f be l(11). Let o = -86 + f. Suppose n = 47 - o. Is n a multiple of 9?
False
Let y = -9390 - -9394. Let u = -3 + 7. Is 38 a factor of (5 - 2)*u*76/y?
True
Is (-1108 - 236)*(3/9 - 19/3) a multiple of 128?
True
Suppose -2*q - 13275 = -3*f - 4197, 0 = 2*f - 3*q - 6057. Is f a multiple of 22?
False
Let w be 5/(-1) + (-6 - -16). Let g(h) = h**3 - 8*h**2 + 2. Let l be g(8). Suppose 2*m + l*m = -w*b + 260, 4*m = -b + 52. Is b a multiple of 11?
False
Does 62 divide 48/(-12 - (-37668)/3138)?
False
Suppose 2*v = 6*y - y + 21, 3*v + 3*y = 0. Suppose v*q + 162 = 8*q - n, -2*n - 159 = -5*q. Does 9 divide 6/33*1 - (-1776)/q?
True
Let j(y) = -7*y**2 + 1066*y - 84. Is 44 a factor of j(130)?
True
Suppose 2*m = -4*s + 490 + 132, -s + 313 = m. Suppose 3*j + 5*w = -283 + 718, 2*j = 5*w + m. Does 10 divide j?
True
Suppose -265959 = -66*a + 527097. Does 16 divide a?
True
Is 6622/(12/6) - -4 a multiple of 13?
True
Let u be ((-225)/(-100))/(6/64). Let g(t) = t**3 - 24*t**2 + t - 23. Let f be g(u). Is ((14 - 6) + -41)*f*-1 a multiple of 33?
True
Suppose 0 = -4*w - 5*w + 2*w. Suppose d + 4*m - 6 = -w*d, 3*m - 1 = d. Suppose 0*h - d*h - 3*o = -75, 0 = -h + 2*o + 20. Is h a multiple of 2?
True
Suppose 3*v - 2463 = 3*w + 6348, 3*v - 8809 = 5*w. Suppose -2*b + v = 4*m, 3 - 2 = -b. Is 7 a factor of m?
True
Let g = 89 + -70. Suppose -3*l - 3*d + 75 = 0, 0 = -7*l + 8*l - 5*d - g. Suppose 22*f + 346 = l*f. Does 24 divide f?
False
Suppose z = -5*k + 228, 2*k + 4*z + z - 105 = 0. Let y = 178 - k. Is 6 a factor of y?
False
Suppose 115*k = 5*i + 113*k - 100977, 0 = -i + 2*k + 20205. Is 53 a factor of i?
True
Let u(g) = g**3 - 43*g**2 + 4*g - 54. Does 2 divide u(44)?
True
Is (0 + 7)*9*6/(-63)*-4040 a multiple of 16?
True
Suppose -8 = -4*b, -12*q + 15*q = -2*b + 13372. Suppose -17068 = -12*y - q. Does 14 divide y?
False
Let a(v) = 853*v**2 + 550*v + 3278. Is 36 a factor of a(-6)?
False
Let l(x) = -1839*x - 71. Let j be l(3). Is 82/205 - j/5 a multiple of 43?
True
Does 94 divide 781*3 + 2 + 1 + -1 + -4?
False
Let v = 194 + -148. Suppose 43*q - v*q = -579. Let c = 14 + q. Does 23 divide c?
True
Suppose 3*p - 5066 = -5*z, 224*z - 219*z - 2*p = 5056. Is z a multiple of 8?
False
Is 8608 - (-168)/(196/(-14)) a multiple of 14?
True
Let c = -320 + 608. Suppose -c = 7*y - 372. Is 7 a factor of y?
False
Suppose 4*o - 28 = -4*y, -16*y + 21*y = 10. Suppose 12 = 5*h + 5*t - 23, 27 = 5*h + t. Suppose g + 3*i - 21 = 8, h = -o*i. Does 8 divide g?
True
Suppose -5*f + 7018 = 2*c, 2336*c + 5*f + 10477 = 2339*c. Is c a multiple of 37?
False
Let a(n) = 3168*n - 5196. Is 20 a factor of a(10)?
False
Let l(o) = 3*o + 246. Let z be l(-12). Is 5 a factor of (-2185)/(-7) + (-30)/z?
False
Suppose 15 - 55 = -2*u. Is 2 a factor of ((-462)/(-12))/11*u/7?
True
Let y be (243/6)/((-9)/(-12)). Suppose 2*u - y = -u. Suppose -23*m + u*m = -405. Is 8 a factor of m?
False
Suppose 11*d + 925 = 133. Does 4 divide 9*2/(4/d*-4)?
False
Suppose -45 = -3*u - z, z + 15 = u + 6*z. Let v be (u/(-10))/((-6)/16). Is 10 a factor of 201/(-15)*-3 + v/(-20)?
True
Let p = 176 + -176. Suppose -5*c = b - 49, 2*b + 2*b + 4 = p. Is c even?
True
Suppose -10*z = -14*z - 92. Let m = 56 + z. Let q = m - -31. Does 12 divide q?
False
Let m = -1279 - -2932. Let q = m - 1023. Is q a multiple of 35?
True
Let s(v) = -v + 39. Suppose -3*l - 284 = 3*f + 2*f, 0 = 3*l + 9. Let u = f + 35. Is 32 a factor of s(u)?
False
Let x(t) = 2*t**3 - 62*t**2. Let o be x(31). Suppose o = 13*b - 1188 - 5975. Does 19 divide b?
True
Is (208/4)/(-13) + 285 + (0 - -2) a multiple of 17?
False
Let g be 4 - 0*(1 + (-4)/8). Suppose g*n + 1059 = 5*i, -2*n + 575 = 4*i - 293. Suppose -v - i = -5*h + 3*v, -3*h - 5*v + 92 = 0. Is 10 a factor of h?
False
Let w(v) = v**3 - 17*v**2 - 37*v - 36. Let q(n) = n**3 + 12*n**2 + 26*n + 11. Let l be q(-9). Does 13 divide w(l)?
False
Let a be 93/18 - 2/(24/2). Suppose -2*v = -v - a. Suppose 3*w - 2*u = 3*u + 391, 3*w + v*u - 371 = 0. Is w a multiple of 10?
False
Let f = 219 - 135. Let c = f - 81. Suppose -5*m + c*h = -309 + 15, -3*m = -h - 178. Is 12 a factor of m?
True
Let w = 51826 + -10474. Does 90 divide w?
False
Let i be (-3)/12 - (-1038)/24. Let w = i - 40. Suppose z - 4*d - 50 = 0, 3*z + 0*z - w*d = 177. Is 23 a factor of z?
False
Suppose 25*i - 94010 + 7240 = 62880. Is i even?
True
Suppose -122*q - 130 = -117*q. Suppose -5*x = 2*r + 15, -r - 2*x = 3 + 4. Let u = r - q. Does 10 divide u?
False
Suppose 2*g + 14 = 3*z, -g + 6 = 2*z - 4*g. Suppose -18 = -0*x - z*x. Suppose 2*n - 5*f - 112 = 0, n = -3*f - x + 81. Is 8 a factor of n?
False
Suppose 7248 = -183*r + 191*r. Suppose 458 = -5*p + 6*p + 2*l, -2*p = -l - r. Is 14 a factor of p?
False
Let o(z) = 89*z**3 + z**2 + 19*z - 29. Is o(2) a multiple of 29?
True
Let f(v) = -188*v + 1322. Is f(-3) a multiple of 6?
False
Let i be 12/(-30) + (-774)/15. Let l = i - -84. Is l a multiple of 13?
False
Suppose 2*i + 10 = 0, -c - 10 = -3*i - 27. Let a(s) = -22*s + 62*s + 1 + 2. Is 27 a factor of a(c)?
False
Suppose -72 = -30*d + 18. Suppose -5*p + 584 = d*f, 2*p - 85 = -3*f + 145. Is 12 a factor of p?
False
Let o be (-81)/(-12) + (-5)/(-20). Let i = o - -50. Let t = 69 - i. Is 12 a factor of t?
True
Suppose 2047*t = 2061*t - 112882. Is 11 a factor of t?
True
Suppose 4*f = 5*i + 1, -2*i + 8 = 2. Suppose -f*p - 4320 = -13*p. Does 15 divide p?
True
Let r = 38092 - 26569. Does 16 divide r?
False
Let b(q) = q**3 + 5*q**2 - 10*q - 47. Let o be b(-5). Let p = -54 - -32. Does 24 divide 11*o/(-6)*p?
False
Let w be ((-39)/(-104) + (-45)/24)*-4. Is 4 a factor of (w - (-244 + 3)) + (-6 - -2)?
False
Let p = 1439 - 1091. Is p a multiple of 6?
True
Suppose 1184803 = 87*b - 3735357 - 2368700. Is 126 a factor of b?
False
Suppose -4*l = -o - 11, -2*l + 4*o + 5 = l. Let q be 2*17 - (-6)/(l - -3). Is (-61 + 1)*(-42)/q a multiple of 12?
True
Suppose 2*v - 10 = 0, -3*v - 17708 = 136*t - 137*t. Is 17 a factor of t?
False
Let f(s) = s**2 - 29*s + 130. Suppose -3*r + 113 = 4*g, 3*g + 4*r + 92 = 7*g. Does 52 divide f(g)?
True
Is -10*(5 - 4) + (-33858)/(-3) a multiple of 8?
False
Suppose -7003 = -18*c - 91. Let l = 924 - c. Is l a multiple of 12?
True
Suppose 9*y = 10*y - 16. Suppose y*j = j + 11160. Does 31 divide j?
True
Suppose 0 = 2*r - 4*r. Suppose 2*o - 181 - 9 = r. Suppose 5*s = 5 + o. Is s a multiple of 4?
True
Suppose -113 - 1429 = -2*i. Suppose -k = -5*v - i + 2597, 370 = v - 5*k. Suppose 3*s = 4*q - v - 37, 0 = 4*q + 4*s - 388. Does 25 divide q?
False
Suppose 0 = -d - 5*u + 3281, 94*d - 88*d - 4*u - 19924 = 0. Is 44 a factor of d?
False
Let c be (-36)/(-9) + -7 + 5. Is (398/c)/(7/(4 + 31)) a multiple of 9?
False
Let m = 5151 - 3639. Suppose -m + 457 = -5*y. Is 40 a factor of y?
False
Let g(s) = 11*s + 44. Suppose 74 + 16 = 10*m. Is 11 a factor of g(m)?
True
Let t be ((-6)/(-7)*1)/(1/(-7)). Let m be (-2*(-2)/t)/(20/(-450)). Suppose -m - 39 = -6*l. Does 4 divide l?
False
Suppose -i + 1366 = 3*d + d, 2744 = 2*i - 4*d. Does 132 divide i?
False
Le