ctor of c?
True
Let u(i) be the third derivative of -i**6/120 + 4*i**5/15 + 5*i**4/12 - 13*i**3/3 - 2*i**2 + 30*i. Does 19 divide u(16)?
False
Is (-164439)/(-63) - 5*(-3)/(-105) a multiple of 30?
True
Let u = -21 - -23. Let x be 24 + -16 + u*1. Does 4 divide (-36)/x*-5*(-1)/(-1)?
False
Let i be 4/24*21 + (-2)/4. Suppose 0 = w - i*x + 1, -4*x = -3*w + 8 - 6. Is 15 a factor of 18/(-1)*w*(-1)/2?
False
Let q(y) = 6*y**2 - 14*y - 20. Let f be q(-5). Suppose -f = 539*s - 543*s. Is s a multiple of 16?
False
Let u = -9 + 10. Let l(p) = 100*p - 17. Is l(u) a multiple of 10?
False
Let x(v) = 333*v + 515. Is 46 a factor of x(87)?
True
Let l(j) = 827*j**2 + 23*j - 14. Is 17 a factor of l(3)?
False
Suppose 7*f - 26*f = 114. Is 74 a factor of (-5776)/f - (-28)/(-42)?
True
Suppose -z = p - 1967, -3*z - 1951 = -7*p + 6*p. Is 31 a factor of p?
False
Let n be (-5 + 1)/(38/285). Let h = 148 - 95. Let a = h + n. Does 22 divide a?
False
Suppose 0 = -123*g + 120*g + 6, 0 = 2*n - 4*g - 5404. Is 62 a factor of n?
False
Let t = -302 - -326. Suppose -t*j + 36*j - 1920 = 0. Is j a multiple of 32?
True
Let g(q) = -q**2 - 3*q + 20. Let o be g(6). Let z = -224 - o. Let l = -74 - z. Is l a multiple of 8?
False
Let c(x) be the second derivative of 29*x**4/12 + 7*x**3/6 + 3*x**2 - 54*x. Does 48 divide c(3)?
True
Let k = -40 + 42. Let w(l) = -l**2 + 8*l - 7. Let d be w(6). Suppose 0 = -5*p - k*q + 358, 283 = -3*p + 7*p + d*q. Is 36 a factor of p?
True
Suppose 9923 = 41*b - 67362. Is b a multiple of 2?
False
Let c = 21037 - 9872. Is c a multiple of 62?
False
Does 82 divide (8/(-24) + (-6)/(-9))*(63 - -17898)?
False
Let j = -51 + 55. Let c be (-2)/8 + -5 + 29/j. Suppose -g = 3*g - 2*h - 344, c*g - 2*h = 176. Does 28 divide g?
True
Suppose 8*g - 11*g + 23*g = 22300. Is g even?
False
Let d(u) = 3*u**3 - u**2 + 32*u - 112. Does 147 divide d(12)?
False
Is 2 a factor of 4/(-5*18/(-107145)) + -13?
False
Let j(i) = 13*i**3 + 2*i**2 - 4*i - 23. Let z(c) = -12*c**3 - 3*c**2 + 5*c + 22. Let f(t) = 2*j(t) + 3*z(t). Is 28 a factor of f(-3)?
True
Let c(f) = -f**2 - f + 12. Suppose -5*g + 31 - 6 = 0. Let x be c(g). Let i(b) = b + 24. Does 6 divide i(x)?
True
Suppose 5*g - 198 = -43. Suppose 2*y - 3*p = 26 + g, -2*y - p = -53. Let j = 4 + y. Does 29 divide j?
False
Suppose -3*j + 3 = x, 2*x + 4*j - 2 = 2. Is 20/20 + (x - -407) a multiple of 42?
False
Let a(u) = u**3 - 23*u**2 + 9. Let w be a(23). Does 29 divide 312/w + (-2)/12*4?
False
Suppose -173*t + 176*t - 98442 = -3*p, -5*p + 164100 = -5*t. Does 12 divide p?
False
Let w(v) = -v**3 - 13*v**2 + 14*v + 4. Let u be w(-14). Suppose u*d = 3*z + 4, d - 4 - 4 = -z. Is d even?
True
Suppose -1376302 = -121*h + 670171. Is h a multiple of 6?
False
Suppose h + 2*n - 32 = 0, 4*h = -5*n + 19 + 124. Is (420/18 + 12)/(4/h) a multiple of 22?
False
Let g(t) = -93*t - 119. Let w(a) = -92*a - 118. Let d(m) = 6*g(m) - 7*w(m). Is d(4) a multiple of 57?
True
Let k = -18045 + 32270. Is k a multiple of 8?
False
Let d(x) = -456*x + 17. Let o be d(-2). Let c = o + -303. Is 42 a factor of c?
False
Let y(b) = 3*b**3 + 6*b**2 - 31*b + 17. Let f(j) = -8*j**3 - 20*j**2 + 91*j - 50. Let i(o) = -4*f(o) - 11*y(o). Does 61 divide i(10)?
True
Suppose -x = 5*a - 2342, 2*a = -x + 460 + 478. Is (-104)/a + (-101)/(-9) a multiple of 11?
True
Let l(z) = -z**3 + 3*z - 34. Let k be l(0). Let x = 32 + k. Let j(s) = -48*s - 8. Is j(x) a multiple of 22?
True
Let o(a) = 60*a**2 - 47*a + 5. Let n(h) = h**2 - 24*h + 142. Let p be n(10). Does 18 divide o(p)?
False
Let c = 8633 + -7378. Is 56 a factor of c?
False
Let b = 28 + -49. Let t(m) = -2*m - 42. Let c be t(b). Is (c - 14/(-35)) + 2336/10 a multiple of 13?
True
Suppose -13*a - 49*a - 515 = -20045. Is 9 a factor of a?
True
Let b(n) = -2 - 1245*n**2 - 4 - 7*n + 1270*n**2. Is b(-3) a multiple of 16?
True
Let c = 249 + -246. Is (-9513)/(-28) + 2/24*c a multiple of 20?
True
Let i(k) = -1692*k - 589. Is i(-6) a multiple of 7?
False
Let a = -288736 - -45016. Is (-6)/(-75) + a/(-375) a multiple of 13?
True
Let v = -228 - -452. Suppose 12*l + 124 = 90 + 262. Suppose -l*t + v + 61 = 0. Does 15 divide t?
True
Suppose -53*m + 142433 = -181715. Is m a multiple of 134?
False
Is 187 a factor of (639/7 - -3)/((-157)/(-18683))?
True
Let r be 4*(0 + 15/(-20) - 0). Let b(y) = -200*y - 153. Does 8 divide b(r)?
False
Suppose 298 = d - 17. Suppose 3*i = 5*j + 674, 0 = 2*i + 3*j - 109 - d. Does 15 divide i?
False
Suppose 0 = -3*h - 2 + 14. Suppose 2*w + s - 128 = w, 5*s = -h*w + 512. Is 4 a factor of w?
True
Suppose 5*r + 3*g = 7754, -3*g = 2*r - 1589 - 1518. Suppose -n - r = -5*v, 1547 = 5*v - n - 2*n. Is v a multiple of 5?
True
Suppose -28573 - 239493 + 6970 = -24*l. Does 20 divide l?
False
Let t be (11/(-33))/((-2)/12). Suppose 27 + 131 = t*j. Does 3 divide j?
False
Suppose -6*x = -3*h - 39, 40 = 5*x - h - 0*h. Is 43 a factor of 43602/(-117)*x/(-6)?
True
Let k = 5329 + 13659. Is 12 a factor of k?
False
Suppose 305 + 212 = 11*y. Suppose 0 = r - 44 - y. Is r a multiple of 7?
True
Is 168/(-42) + 3*134 a multiple of 3?
False
Let l = -167 - -171. Does 14 divide (-1 + 3)/(l/524)?
False
Let v(i) = 41*i + 67. Let g be v(-7). Let y = -124 - g. Is y a multiple of 12?
True
Let x(g) = 108*g - 104. Suppose 9*v - 10*v + 8 = 0. Is 67 a factor of x(v)?
False
Suppose -1353 = -9*d + 933. Let s be 13/78 + d/(-12). Is 35*(-2)/((-6)/s - 1) a multiple of 7?
True
Suppose -4*i = 9*i - 2379. Let q = -145 + i. Is q a multiple of 2?
True
Suppose 11*j + 5*j - 624 = 0. Let d(y) = -2*y**2 + 84*y + 6. Is 12 a factor of d(j)?
True
Let o(u) = 3*u**3 - 7*u**2 + 7*u - 5. Let c be o(2). Suppose -3159 = c*f - 32*f. Does 13 divide f?
True
Let s(g) = -7*g**3 - 5*g**2 - 5*g - 4. Let n be s(-3). Let c be ((-30)/(-9))/(3/(2 - 83)). Let b = n + c. Is 12 a factor of b?
False
Suppose 9*d = -d + 710. Suppose 66*g = d*g - 2880. Does 10 divide g?
False
Suppose 21*m - 187257 = 239400. Is m a multiple of 32?
False
Suppose 2*z = h + 681 - 10361, -5*h + 5*z = -48395. Is h a multiple of 28?
False
Let r(x) = -20*x**2 + 1031*x - 44. Does 15 divide r(44)?
True
Let l(i) = 42*i**3 - 2*i**2 + 1. Let q be l(1). Suppose -10*p + 329 + q = 0. Suppose 3*n - 2*x = 146, 112 = 3*n - 5*x - p. Does 16 divide n?
True
Let t = -5454 + 8840. Does 15 divide t?
False
Let y = 570 - 558. Is (4 - (-856)/12) + (-4)/y a multiple of 12?
False
Is 17 a factor of (48/30)/((-30)/(-160800))?
False
Let l = -18739 + 19282. Does 2 divide l?
False
Let t be (6 - 7 - -2)*(-2 + -3). Let i be t*((-54)/(-20) + -3)*4. Suppose 2*s + i*h - 165 = h, -2*s + 177 = h. Does 15 divide s?
True
Suppose -3*q + 1252 = -q - 3*x, 2512 = 4*q - 2*x. Let a be (q/(-34))/((-1)/2). Let o = a - 24. Is o a multiple of 13?
True
Let o(c) = -2*c**2 - 27*c + 2. Let p be o(-14). Is 97 a factor of ((-3032)/p + 6)*(-18)/(-4)?
True
Suppose 0*o = -g - 2*o + 92, g - 3*o - 77 = 0. Suppose -114 = -i + 2*z, -4*z = 5*i - g - 526. Is 8 a factor of i?
True
Suppose -23652 = -87*t + 105*t. Let c = 2342 + t. Is 16 a factor of c?
False
Let m = 1020 + -422. Is -6*(-7)/42*m a multiple of 26?
True
Is 16 a factor of 399210/140 - (-7)/(-2)?
True
Let c be ((-42)/12 - -1)*(-8)/10. Suppose c*p - 50 = -8*p. Suppose 27 - 302 = -p*z. Is z a multiple of 4?
False
Let m(a) be the third derivative of a**6/40 - a**5/15 - a**4/12 - 31*a**3/3 + 92*a**2. Is 3 a factor of m(6)?
False
Let b = -412 - -422. Suppose -4*w = d - 84, 0 = b*d - 9*d - w - 69. Does 3 divide d?
True
Suppose -2*b = 2*b - 12. Let a(t) = -t**3 + b*t**3 + 7 + 9 - 2*t - 13. Does 41 divide a(4)?
True
Let x = 4 - 22. Let q(h) = -h - 15. Let p be q(x). Does 10 divide (p - 294/(-4)) + (-1)/2?
False
Let l be (4 + (-81)/12 + 3)*20. Suppose 5*h = -2*n + 91, -l*n - 4*h = -8*h - 277. Is n a multiple of 2?
False
Suppose y = g - 5239, g + 61*y - 5249 = 64*y. Does 11 divide g?
False
Suppose 5*p + u + 43 = 11, -3*p - u = 20. Let s(z) be the first derivative of -11*z**2/2 - 60*z + 389. Is 3 a factor of s(p)?
True
Suppose 9174 = -6*u + 12*u. Suppose u = 7*g - 641. Is g/(-4)*-1 - (-5)/(-10) a multiple of 11?
True
Let l(h) = 1189*h - 858. Is 10 a factor of l(12)?
True
Suppose 2*k - k + q - 4 = 0, -k - 16 = -4*q. Suppose k = 10*u + 288 - 2988. Is u a multiple of 10?
True
Let i(g) = -g**2 + 10*g + 11. Let o be i(9). Does 5 divide 528/9*45/o?
False
Let u(w)