factor of d?
True
Let s = -2 - -34. Let u = s - 28. Suppose h - u*h + 42 = 0. Does 5 divide h?
False
Let y(s) = 2*s**2 + 7*s - 79. Suppose 0 = 11*l - 31 - 68. Is 3 a factor of y(l)?
False
Suppose 0 = 1342*k - 1349*k + 35. Suppose 370 = k*x + 4*q, -222 = 19*x - 22*x - 4*q. Is 4 a factor of x?
False
Suppose -5*p - 5 = -0. Let x(m) = 3*m**3 + 3*m**2 + 3*m. Let b be x(p). Let z(i) = -2*i**3 + 2*i**2 + 3*i + 2. Is z(b) a multiple of 13?
True
Suppose 0 = 57*o - 9160 - 571 - 3379. Is o a multiple of 10?
True
Let c be 3/2*(-28)/(-21). Suppose -c = 10*h - 12. Is 23 a factor of (4/(-6))/(h - (-393)/(-387))?
False
Let d(q) = 11*q**2 + 12*q + 162. Let b be d(-8). Suppose -4*a + 28 = 3*n - 19, n + 1 = 2*a. Suppose -n*m + b = -94. Is 25 a factor of m?
False
Suppose -4*b - 32 = -2*o, 2*o = -5*b - 13 - 27. Let d be 3/(-1*12/b). Suppose 5*n + 808 = 4*v, -v + 4*n = -d*v + 202. Is v a multiple of 45?
False
Suppose c + 5*n - 8108 = -1723, 0 = 4*c - 3*n - 25471. Does 182 divide c?
True
Let f(i) = 63*i + 3184. Does 95 divide f(-6)?
False
Let w(h) = -22*h - 20. Suppose 8 = -2*u - 0*u. Does 44 divide w(u)?
False
Let t be (-930 - (-2)/((-4)/(-6)))*1. Let s = t - -600. Let p = -168 - s. Does 27 divide p?
False
Is (13700/(-959))/(8/(-6468)) a multiple of 66?
True
Let t = 5327 - -5293. Is t a multiple of 46?
False
Let s(c) = -140*c**2 + c + 1. Suppose 0*q = 3*q + 3. Let h be s(q). Is (5/(-10))/(2/h) a multiple of 7?
True
Let r be (2 - -53)*(0 + (-8)/20). Let q be (-1 - 2/(-4))/(11/r). Suppose -2*j = -q - 47. Does 9 divide j?
False
Let r(z) = 5*z**2 + 81*z + 1374. Does 8 divide r(-18)?
True
Suppose -5*i = -3*d + 19, -2*i - 2*i = -2*d + 14. Suppose -12*v + 17*v - 3*f = 1393, f = -d*v + 847. Is 38 a factor of v?
False
Let a(m) = m**3 - 9*m**2 - 10*m + 10. Let b be a(10). Suppose b*f - 7*f = 450. Is 4 a factor of f?
False
Suppose -4*n = -12 + 20, 4*u - n = -110. Let b(d) = d**2 + 25*d + 27. Does 37 divide b(u)?
True
Suppose 115263 = 34*p + 33357. Is 34 a factor of p?
False
Suppose -75*z - 36 = -79*z. Suppose 0 = -8*y + z*y - 74. Suppose d = -2*h + y, -4*d + 5*h = 3*h - 256. Is 5 a factor of d?
False
Does 22 divide ((-4)/3)/4 + ((-22827)/(-63) - -27)?
False
Suppose 0 = 23*k + 27016 + 4103. Let c = k - -2287. Does 31 divide c?
False
Suppose 14*v = 43*v + 24*v - 457125. Is v a multiple of 15?
True
Let x(d) be the first derivative of -26 + 32*d + 19/2*d**2. Is x(8) a multiple of 23?
True
Let x be -1 - (-3 - -3) - (-6 - 25). Let q = -32 + x. Is 37 a factor of ((-2)/(-2) - -3)/(q/(-80))?
False
Is 14 a factor of (21/(-4) + 4)/(42/(-11760))?
True
Let o = -130 - -33. Let k = o - -153. Is 4 a factor of k?
True
Suppose -5*n + 3 = t, -n + 7*t = 3*t - 9. Let u(o) = -101*o**2 + 29*o - 24. Let m(d) = -d**2 + 4*d - 3. Let r(i) = 6*m(i) - u(i). Is r(n) a multiple of 12?
True
Suppose 9*i - 4*i = -k + 33690, 0 = -2*i + 4*k + 13498. Suppose 3*q = i - 1429. Is 16 a factor of (-4)/22 + q/55?
True
Let k(m) = -7*m - 5. Let z be k(1). Let i = 33 + z. Does 25 divide (-410)/(-6) - 28/i?
False
Let n be -1*10*4/8. Suppose -42 = -2*t + 4*t. Is 17 a factor of (t/(-12))/(n/(-380))?
False
Let s(v) be the first derivative of -v**4/4 + 5*v**3 - 10*v**2 + 7*v - 81. Is 17 a factor of s(13)?
True
Let t(h) = -359*h**3 - 12*h**2 - 92*h - 93. Does 224 divide t(-5)?
False
Let v be ((-52)/104)/((-2)/120). Let f = 80 - v. Is 5 a factor of f?
True
Suppose -10275 = 22*l + 1803. Is 19 a factor of 0 - -3 - (-18 + l)?
True
Let k = 5273 + -3374. Suppose -26*n + k + 6239 = 0. Is n a multiple of 39?
False
Suppose 2523 + 3423 = 6*l. Suppose 0 = -6*g + 293 + l. Is 4 a factor of g?
False
Suppose -41*v + 28474 + 45080 = 0. Is 8 a factor of v?
False
Let v(h) = -144*h - 300. Let z be v(-2). Let x(t) = -52*t - 32. Let l(q) = -17*q - 11. Let m(f) = 16*l(f) - 5*x(f). Is m(z) a multiple of 16?
True
Let i be -3 + 24/9 + (-91)/(-39). Suppose 2*z + 2912 = 5*a - 0*z, 5*z = i*a - 1148. Is a a multiple of 77?
False
Let i = 105 - 31. Let c = -4 + i. Is c even?
True
Let b = 30 + -22. Let t = 8 - b. Suppose t = 4*g + 215 - 635. Is 21 a factor of g?
True
Suppose -116*x - 100988 + 705639 = -307805. Is x a multiple of 171?
True
Let p be (-4)/14 - 308/(-49). Let j be ((-111)/4)/(p/(-48)). Suppose -3*d - 4*i + 142 = 0, 5*d + 0*i - j = -3*i. Is d a multiple of 12?
False
Let k = -5234 + 11378. Is k a multiple of 32?
True
Suppose -40 = 121*u - 126*u. Suppose -u*h - 12*h = -320. Does 16 divide h?
True
Let x(q) be the second derivative of q**4/3 + q**3/3 - q**2 + 7*q - 2. Is 36 a factor of x(5)?
True
Let l(g) = g**3 - 12*g**2 - 14*g + 10. Let o be l(13). Let i be o*3/12*6*-4. Is ((-72)/i)/(2/(-20)) a multiple of 40?
True
Let y be (-27)/(-45) - (-2)/(-5)*214. Let z = y - -79. Is 7 a factor of ((-376)/z)/(-2)*21/(-14)?
False
Let w(v) = 2*v + 3. Let q(x) = x - 15. Let o be q(9). Let f be w(o). Let u(l) = -14*l - 6. Is u(f) a multiple of 22?
False
Suppose -6889500 = -65*i - 31*i - 54*i. Does 9 divide i?
False
Is 10/(-85) + (-168)/595 - 508748/(-20) a multiple of 46?
False
Suppose -70560 = 351*d - 182*d - 179*d. Is d a multiple of 72?
True
Suppose 2*p = -5*y - 1203 - 1820, -4 = -4*y. Let v = -897 - p. Does 9 divide v?
False
Let o be (15/6)/5*0. Let m be ((-2 - -3) + -2)*(1 - 4). Suppose -m*n + 2*n + 48 = o. Does 9 divide n?
False
Is 3241 + (350/14 - 18) a multiple of 5?
False
Suppose -4*w = -3*w - 74. Let a = -13 + w. Does 21 divide a?
False
Let d be (-2 + 21)/(3/3). Suppose 30 = -89*c + 91*c + 4*a, -c + 8 = -5*a. Suppose g = d + c. Is g a multiple of 16?
True
Let j(y) = 330*y**2 + 78*y + 412. Does 17 divide j(-5)?
False
Let q(o) be the second derivative of -o**4/12 + o**3/3 + 13*o**2/2 + 8*o. Let s be q(4). Suppose h + h = 4*w - 430, s*w = 4*h + 533. Is 14 a factor of w?
False
Let n = 1452 + -1254. Is 11 a factor of n?
True
Let w = -2051 + 10387. Does 16 divide w?
True
Let x(k) = k**3 - 2*k**2 + 40. Let c be x(0). Let v = c - 42. Is 20 a factor of (v/1 - 23)*32/(-10)?
True
Let l(f) = -f**3 + 5*f**2 + 5*f - 10. Suppose 11*k = 6*k + 10. Suppose k = o - 2. Is 13 a factor of l(o)?
True
Let p be 87 - (0 + -3 + 1). Suppose 0 = -79*r + p*r - 410. Is 3 a factor of r?
False
Is 217 a factor of (524548/71)/(2 + 2)?
False
Let t(c) = c + 20. Let k be t(-17). Suppose f = 5*l + 25, -2*f + 25 - 3 = -k*l. Suppose f*s - 67 = 23. Does 12 divide s?
False
Let i(t) = 4*t**2 + 145*t - 1616. Does 35 divide i(47)?
True
Let p(o) = o**3 + 20*o**2 - o - 15. Let v = -26 - -6. Let f be p(v). Suppose -r + 67 = -5*w, r - 12 - 5 = -f*w. Is r a multiple of 21?
True
Let l = 100 + -208. Let t = l + 249. Suppose -t = -6*c + 33. Is 19 a factor of c?
False
Suppose -19*r + 18287 = 788. Suppose 1541 = 4*w - 3*j, 4*w + 2*j - 625 = r. Is 9 a factor of w?
False
Let m(v) = 12*v**2 - 10*v - 118. Does 15 divide m(47)?
True
Let s(r) = r**2 + r - 1. Let o(a) = -3*a**2 + 9. Let i(f) = o(f) + 4*s(f). Let m be i(-3). Suppose 4*n + m*u - 316 = 0, 250 = 3*n - 0*u - 5*u. Does 10 divide n?
True
Suppose -19*r + 16*r = 5*v - 48372, 0 = 3*v + 3*r - 29028. Is v a multiple of 104?
True
Suppose -11*y = 304 - 40. Does 56 divide 69*2 + y/4 + 8?
False
Suppose 2*q - 7 = -3*w, 2*w - 2*q - q = 9. Suppose -z = -5*n + 3*z + 20, -15 = -3*n + w*z. Is 9295/165 - ((-1)/(-3) + n) a multiple of 7?
True
Let x(o) = -2*o**3 - 13*o**2 - 8. Let v be x(-8). Let h = v + -49. Does 45 divide h?
True
Suppose -1424*k = -1418*k - 444. Is (-2)/((-10)/5) - -1*k a multiple of 25?
True
Let q(g) be the third derivative of g**6/30 + g**5/30 - g**3/6 + 16*g**2. Let i be q(1). Suppose 50 = i*p - 5. Is p a multiple of 11?
True
Let p(y) = 13*y + 93. Let d be p(-6). Is 34 a factor of (-18)/d*21760/(-48)?
True
Let q be 339/(-7) + (-3)/(-7). Let m = q - -50. Is (5 + -7)/(m/(-32)) a multiple of 6?
False
Suppose 3*f + 3*y = 17670, -5*y = -5*f + 15305 + 14145. Is 62 a factor of f?
True
Suppose -94662 - 6453 = -18*a + 9*a. Is a a multiple of 164?
False
Let b = 554 + -537. Suppose -b*x = 24*x - 24805. Is x a multiple of 6?
False
Let f = -10980 + 11678. Is 124 a factor of f?
False
Let t = -35 + 38. Suppose -i = -p - 20, 112 - 2 = 5*i - t*p. Does 3 divide i?
False
Suppose 2*d - 157 + 131 = 0. Suppose 0 = d*v - v - 1440. Does 10 divide v?
True
Let w = -212 - -248. Suppose 11*y = w*y - 4750. Does 19 divide y?
True
Let b = 8798 - 6368. Is 90 a factor of b?
True
