 h(i). Is 12 a factor of f(p)?
True
Suppose 303 = 6*y - 585. Let t = y + 58. Is t a multiple of 56?
False
Suppose -4*g + 140 = 6*g. Suppose 0 = 3*d - g*d - 968. Let l = 14 - d. Is 16 a factor of l?
False
Let x(c) be the third derivative of c**5/10 - 15*c**3/2 - 188*c**2. Does 46 divide x(-18)?
False
Suppose 4*o - 42534 = -5*y, -145*y + 144*y + 10633 = o. Is o a multiple of 49?
False
Does 111 divide 25/30 - ((-1007487)/54 + 10)?
True
Let y(h) = -h**3 - h**2 + 20*h - 12. Is y(-7) a multiple of 8?
False
Is 6 a factor of 8/((-144)/(-30357)) + 19/(-38)?
True
Suppose 2*y + 6*p - 24664 = 0, 0 = 4*y - 66*p + 67*p - 49394. Does 10 divide y?
True
Suppose 6*b - 4180 = 4*b + 2*y, 3*b = -4*y + 6256. Is b a multiple of 4?
True
Suppose 10*q - 40 = -0. Let c(a) = 17*a**3 - 23*a**2 + 23*a - 20. Let d(g) = 8*g**3 - 11*g**2 + 11*g - 10. Let f(y) = -4*c(y) + 9*d(y). Is 28 a factor of f(q)?
False
Suppose 4*q - 134 = 5*l, -10*q + 13*q - l - 106 = 0. Is 36 a factor of q?
True
Let f(s) = 174*s - 1639. Does 114 divide f(61)?
False
Let q(y) = -4*y + 42. Let m be q(-10). Suppose -87*v + m*v + 3850 = 0. Is v a multiple of 55?
True
Let t = -45 + 50. Suppose w - 296 = -0*w + t*q, 1234 = 4*w + 5*q. Is w a multiple of 70?
False
Let l = 19741 - 16836. Is l a multiple of 35?
True
Let z = -3846 + 10475. Does 42 divide z?
False
Let m = 795 + -131. Is 28 a factor of m?
False
Suppose -2*p + 4*m + 1260 + 306 = 0, 4*p + m - 3087 = 0. Let b = -197 + p. Is 48 a factor of b?
True
Let m(n) = 18*n**3 - 3*n**2 - 6*n + 13. Let a be m(4). Suppose -37 = 6*w - a. Is 11 a factor of w?
True
Is 15 a factor of 54/1*224523/606?
False
Is 24 a factor of (-525)/(-100)*3083 - -2*(-1)/(-8)?
False
Does 102 divide 135/(-2)*((-239382)/65)/9?
False
Let b = -86 - -100. Suppose 0 = b*w - 1361 - 15425. Does 18 divide w?
False
Let x(y) = -99*y + 1362. Is 32 a factor of x(-20)?
False
Suppose -3*c = -3*g - 0*g - 9, -5*g - 7 = -3*c. Suppose -10 = -5*u + 3*u + 2*z, -z - 17 = -c*u. Suppose -u*k = -5*k + 116. Is k a multiple of 18?
False
Is 35255/7 + ((-522)/42 - -13) + 0 a multiple of 23?
True
Suppose 0 = -26*b + 29*b. Suppose 0 = -7*v - b*v - 2*v. Suppose -93 = -5*j - x, -5*j + 5*x - 2 + 107 = v. Is j a multiple of 19?
True
Let j = -269 - -241. Is 13 a factor of (j/(-35) - 2)*(-130)/1?
True
Let u be ((-4)/10)/(3/15). Let m be (-1)/u*0*(-20)/(-60). Suppose 2*h + 60 = 2*d, m*d + 4*h - 136 = -4*d. Is 10 a factor of d?
False
Suppose 0 = -40*z - 10*z + 6*z. Let q be ((-28)/6)/(2/(-18)). Suppose t + 2 = z, -2*j - q = 4*t - 134. Is 8 a factor of j?
False
Suppose 3*b = 5*j - 13881, -3*j - 3*b - 2142 + 10461 = 0. Is j a multiple of 14?
False
Let m(j) be the third derivative of j**5/60 - j**4/3 - 29*j**3/3 - 29*j**2. Does 10 divide m(21)?
False
Suppose -l + 39*u - 40*u + 745 = 0, 2*l - 5*u = 1539. Does 42 divide l?
False
Suppose 3*g - 5*z - 2010 = 0, -4*g + 3*z + 3350 = g. Suppose l + 340 = p - 0*l, g = 2*p - 4*l. Does 21 divide p?
False
Suppose -2076 = -17*t + 121089. Does 161 divide t?
True
Let h(t) = -2*t**2 - t - 40. Let j be h(0). Let d = -39 - j. Is (-6 - -5)*d - (1 - 4) even?
True
Let t = 277 - 268. Suppose 1786 = t*r + 292. Is r a multiple of 25?
False
Let n(l) be the third derivative of 37*l**6/360 - l**5/20 - l**4/6 - 7*l**3/6 + 22*l**2. Let j(b) be the first derivative of n(b). Is j(-1) a multiple of 7?
False
Let t(f) = f**2 + f**3 + 102*f - 86*f - 15*f**2 + 0 - 2. Is 7 a factor of t(14)?
False
Suppose -3*g + 10*w - 11*w = -1787, g + 2*w = 599. Is g a multiple of 119?
True
Suppose 5 - 29 = -4*o. Suppose 7*q = o*q. Suppose -4*c = -4*x + 3*x + 23, q = -4*c - 4. Is 3 a factor of x?
False
Suppose 4*g - 340 + 44 = 0. Suppose -g = -5*k - 4*t + 5*t, k - 10 = 5*t. Does 2 divide 51/12 + k/20?
False
Suppose 351*q - 295*q - 56056 = 0. Is 11 a factor of q?
True
Let k(r) be the first derivative of r**4 - 5*r**3/3 - 8*r - 9. Is k(4) a multiple of 21?
True
Let j = 1227 - -2301. Is 24 a factor of j?
True
Suppose 3*p - 17644 = q, 13*p - 11764 = 11*p + q. Does 196 divide p?
True
Suppose 5*i - 90 = 50. Let p = 27 + i. Does 11 divide p?
True
Let b = -672 - -804. Is b a multiple of 7?
False
Suppose -13*p = -28*p + 17*p - 46136. Does 73 divide p?
True
Let q = 6 + -3. Suppose -q*w + 4*w - 4*m - 326 = 0, 6 = 3*m. Is w/6 - (-2)/(-12)*-2 a multiple of 14?
True
Suppose 15 = -2*i + 3*u, 34*u - 20 = i + 30*u. Suppose s + s - 440 = i. Is 10 a factor of s?
True
Let u be 8 + -5 - 4788/(3 - 1). Let l = u - -3637. Is 14 a factor of l?
True
Let h = 1600 - 1444. Is h a multiple of 11?
False
Let w be (4048/77)/(-8) - (-6)/(-14). Is 9 a factor of 319 - w - (8 + -6)?
True
Let l = 76 - 76. Let o be (-6)/(-3) - (l - (-4)/(-2)). Suppose -5*i = 2*n - 90, 0*i + 5*i = o*n - 180. Is n even?
False
Suppose -2758 = 2*c - 12736. Does 14 divide c?
False
Let t(q) = -3. Let s(d) = -14*d + 34. Let o(v) = s(v) + t(v). Is o(-22) a multiple of 27?
False
Suppose 45*f + 30*f - 70110 = -15*f. Is 41 a factor of f?
True
Suppose 2*i + i = 0, 3*l - 3*i = 36. Suppose 4 = 4*a - l. Suppose -2*q = -a*j + 242, 3*j = -q + 39 + 145. Does 13 divide j?
False
Let m(j) = -4*j - 39. Suppose -s - 30 = -6*s. Let k = s + -29. Is m(k) a multiple of 49?
False
Suppose 5*y = f + 1963, y - 3*f = 313 + 88. Is (-1 + 54/14)/(56/y) a multiple of 4?
True
Let w = -9954 + 12005. Is w a multiple of 8?
False
Let l(a) = a + 12. Let f be -5 + (-9)/(-2) - (-17)/2. Suppose -4*b - 3*m + 8 + 10 = 0, 5*m - f = -3*b. Does 18 divide l(b)?
True
Suppose -3*d - 5*a = -15, 0*a + 4*a = 2*d - 10. Let j be 5/d + (-734)/1. Does 37 divide j/(-5) + ((-84)/15 - -6)?
False
Let s(o) = -3*o**2 + 16*o - 3. Let h be s(5). Let x be 11/((-22)/(-84))*3/h. Suppose -t - 3*m = -12, -4*t + x = -2*m - 13. Is t a multiple of 3?
True
Let p(x) = 40 + 25 - 89*x + 45. Is p(-6) a multiple of 13?
False
Let a = 95 - 76. Suppose 5*n = 2*l + 572, 458 = 4*n + 17*l - a*l. Is 19 a factor of n?
True
Let a be (5/(-3))/(1/(-3)). Suppose s + 0*s = -4*v + 99, 3*s - 297 = a*v. Is 3 a factor of (6/(-9))/(3/(s/(-2)))?
False
Suppose 0 = -203*j + 316*j - 123057. Does 9 divide j?
True
Let x(i) = -10*i**3 - 5*i**2 + 6*i + 6. Let v(m) = 12*m**3 + 5*m**2 - 6*m - 4. Let b(d) = 3*v(d) + 4*x(d). Does 37 divide b(-6)?
False
Let x(b) be the first derivative of -b**4/4 + 26*b**3/3 - 21*b**2 + 17*b - 5. Does 7 divide x(24)?
True
Let x(s) = 3*s + 13. Let r be x(-27). Let w = r + 77. Is 3 a factor of w?
True
Let j(m) = -3*m**2 + 4*m - 5. Let l be j(2). Let q = 197 - l. Let k = -90 + q. Is k a multiple of 15?
False
Let p be (3 + -2)*4 - 10. Let x be (-36)/(-24)*(-8)/p. Is (x + 2)*22/8 a multiple of 3?
False
Let n = -25 - 83. Does 13 divide (n/90)/(1267/1270 + -1)?
False
Let y be 252/27 + -9 - 1328/6. Is y/(-39) + -5 + (-1834)/(-3) a multiple of 12?
True
Let v(m) = 5*m + m - m + 44. Let f be v(-12). Let w(i) = 2*i**2 + 17*i + 15. Is w(f) a multiple of 15?
True
Suppose -61500 = -5846*r + 5836*r. Is r a multiple of 82?
True
Let r = 8318 - -6740. Does 75 divide r?
False
Suppose -2396869 - 559091 = -391*b. Is b a multiple of 12?
True
Suppose 77 = 2*j - n - 5315, 0 = -2*j + 2*n + 5394. Suppose -j = 7*r - 18*r. Does 49 divide r?
True
Suppose -5*k + 0 - 83 = 2*y, -55 = 5*k - 5*y. Does 20 divide k/12*(-14 - (3 - 1))?
True
Let w = 6611 + -3398. Is 17 a factor of w?
True
Let m(o) = -o**2 + 6*o + 10. Let n be m(7). Suppose 4*w - 246 - 96 = -k, -2*k + 664 = 4*w. Suppose n*p - 332 = k. Does 26 divide p?
False
Does 61 divide -78*(-10 - (-604)/(-24))?
False
Let k(r) = -r**2 + 19*r + 7. Let h(i) = i**2 - 3*i - 12. Let o = -58 + 65. Let n be h(o). Does 11 divide k(n)?
True
Let p be 5/(-3)*(-8 + 2). Let t = 275 - 301. Does 7 divide 4/t + (-214)/(-52)*p?
False
Let i be ((4809/14)/(-1))/((-6)/4). Let t = 487 - i. Does 22 divide t?
False
Suppose 30*l - 525 = -5*l. Suppose -5*p = -l, 271 = j + 4*p - 241. Is j a multiple of 50?
True
Let v = -2101 - -2361. Is v a multiple of 13?
True
Let y(c) = 14*c - 29. Let w be y(2). Is 3 a factor of 298/6 + 2*w/(-6)?
False
Suppose -2*x - 40 = -10*x. Suppose -w - 32 = -3*a - 116, 454 = x*w + 2*a. Is 12 a factor of w?
False
Let h(m) = -3*m**2 - 2*m + 1. Let b be h(-3). Let u = b + 80. Suppose -178*p - u = -182*p. Is p even?
False
Let j(l) = l**2 - 7*l + 3. Let d(v) = 3*v**2 - 5*v + 8. Let g be d(3). Let i = 28 - g. Is 3 a factor of j(i)?
False
Let l be (-16