 Is y a multiple of 9?
False
Let c = 1320 + 6064. Is 11 a factor of c?
False
Let q = -22 + 0. Let d be 1*3 + (q - -14). Does 3 divide 9/3 + (9 - d)?
False
Let j(o) = 2*o**2 + 13*o - 33. Let t be 335/(-20) - (-3)/(-12). Does 13 divide j(t)?
False
Let z(i) = -12*i**2 + i**3 + i + 0*i**3 - 16*i - 13*i. Let h be z(14). Is (-2592)/(-117) + ((-4)/26 - h) a multiple of 4?
False
Let n = -49 + 46. Let w(f) = -24*f**3 + 2*f**2 + 6*f + 17. Does 35 divide w(n)?
True
Let m = 419 + 5607. Is 46 a factor of m?
True
Let h(t) = 102*t**2 - 35*t + 18. Is 52 a factor of h(-6)?
True
Suppose 5*s + 3*m = -1180, 4*m + 248 = -s + m. Let y = s - -938. Does 15 divide y?
True
Suppose 2*o + c = 7091 + 7682, -4*o + 5*c + 29553 = 0. Does 37 divide o?
False
Let p = 57724 - 456. Does 13 divide p?
False
Suppose -2*v = 8 - 2, 323 = -5*f + 4*v. Let t = -13 - f. Does 2 divide t?
True
Let h(v) = 42*v - 21. Let a be h(14). Let u be (-8)/6*a/(-6). Let b = u - 84. Is 14 a factor of b?
True
Let w = 99 - 81. Let k be (6/w)/((-5)/(-4545)). Suppose -4*m + 1009 - k = -2*x, -2*m + 359 = x. Does 15 divide m?
False
Suppose -198 = -18*o + 18. Is 15/(-12) + 1755/o a multiple of 29?
True
Let r(s) = -s + 1. Suppose 4*w - 2*w = 4*v + 10, 5*w = 2*v - 7. Let z be -9*(5 + -4) - (v + 0). Is r(z) a multiple of 2?
True
Let p be -1*10/(-4)*(-16)/(-10). Suppose p*l - 129 - 7 = -4*u, 3*u + 2*l - 105 = 0. Let k = -19 + u. Does 6 divide k?
True
Let c = 42 - -7. Let w = 61 - c. Suppose -w = a - 75. Does 15 divide a?
False
Let v = -302 + 194. Let d = 36 + v. Does 20 divide 178/9 + (-16)/d?
True
Let o be (-4*(-2)/20)/((-2)/(-130)). Suppose o + 54 = -10*v. Is 501/4 + (-6)/v a multiple of 21?
True
Is 11 a factor of -14*(-2 - 69)*14*(-5)/(-10)?
False
Let x be (-12)/42 - (318/14 - 0). Let h = x - -26. Is 40 a factor of (h/12*6 + 3)*32?
False
Suppose -u - 8*l + 7 = -3*l, 5*l = -5. Is 5 a factor of (3 - 18/u)*60?
True
Is (9 + 1 + 9)*40 a multiple of 4?
True
Suppose -4*h + 24 + 4 = 0. Let m = 587 - 584. Suppose h*t - 304 = m*t. Does 19 divide t?
True
Let z be -2*195/42 - 10/(-35). Is 15 a factor of (-6498)/z*4/8?
False
Let o(n) = -2*n - 10. Let l be o(-5). Suppose 30 = 2*u - l*u + 4*j, 2*j = -4*u + 54. Suppose -5*f + u*f - 168 = 0. Does 4 divide f?
False
Is (-4 - (-34)/8) + 660487/148 a multiple of 19?
False
Let s(d) = 2*d**3 - 27*d**2 - 48*d + 28. Is s(22) a multiple of 24?
True
Let b be (1 - 5)*(-8)/(-32)*-2. Suppose 5*a = b*a + 60. Let z(v) = 20*v - 37. Does 30 divide z(a)?
False
Let p be (-1 + 76/12)*6. Let x = p + -26. Is ((-8)/x)/((-11)/33) even?
True
Suppose -17*q = 36 - 376. Suppose q*r - 23468 + 4568 = 0. Does 63 divide r?
True
Suppose -5*a - 3*m = -86 - 269, -142 = -2*a - 3*m. Let s = -29 + a. Is (6/5)/(s/4340) a multiple of 10?
False
Let h = 4 + 21. Suppose -4*s = 4*l - 20, 7*s - h = -5*l + 5*s. Is 5 a factor of l?
True
Let j be -62*6/(0 + -6). Suppose 0 = -3*a + 5*i + 101, -j = -4*a + 2*a - 2*i. Does 15 divide a?
False
Let w = 53 - 44. Suppose w + 39 = c - o, -c = 5*o - 48. Suppose c = -h + 78. Is 5 a factor of h?
True
Suppose -3*t - 5*p + 12 = 0, t = -t - 3*p + 8. Suppose -2*k + 2*s + 1874 = 0, 3 = -t*s - 9. Does 12 divide k?
False
Suppose 11*b + 5*w + 3860 = 12*b, -4*w + 3860 = b. Is 20 a factor of b?
True
Let t be -1 + 10/5 - 1. Suppose t = 28*g - 29*g + 385. Suppose 5*f - 2*l - g = 0, 82 - 452 = -5*f + 5*l. Is 30 a factor of f?
False
Suppose -3*w = 23*h - 19*h - 1470, h + 4*w - 374 = 0. Let v = h + -54. Does 12 divide v?
True
Suppose -7*l - 15568 = -5*j, 4*j + 4*l - 5659 = 6757. Does 7 divide j?
True
Let p = 7373 - 711. Is p a multiple of 2?
True
Let d = 874 - 867. Let w = 2859 + -979. Suppose w = d*m + 3*m. Does 38 divide m?
False
Suppose -10 = 2*h - 2*s, 4*h + 2*s = -0*h - 8. Is h/(4938/549 - 5 - 4) a multiple of 61?
True
Let v(j) = 58*j**2 + j + 3. Suppose -17*f + 25*f - 16 = 0. Is 7 a factor of v(f)?
False
Suppose -15*p = -21*p + 2286. Suppose 0 = -2*j + 5*b + p, 5*j + b = -270 + 1209. Is 7 a factor of j?
False
Suppose 5131152 = 49*v - 11*v + 40*v. Does 12 divide v?
True
Suppose 12 + 0 = -3*s - 2*c, 0 = -2*c. Let p be s/(-10) - (-14)/(-35). Suppose -7*x + 57 + 447 = p. Is x a multiple of 18?
True
Let n be (-959157)/(-187) + -1*(-6)/(-33). Suppose n + 2191 = 61*x. Does 24 divide x?
True
Let w = 19 + -32. Let o(z) = -3*z + 24. Let v be o(w). Suppose v = 6*h - 711. Is h a multiple of 22?
False
Suppose 0 = 4*m + 5300 - 29588. Suppose -m + 312 = -10*p. Does 9 divide p?
True
Suppose n - l = -0*n + 54, -l = 4*n - 236. Suppose 47*c = n*c - 759. Is c a multiple of 23?
True
Suppose 5*m = 15*m - 100. Suppose -m*a + 3*a = -3465. Is 33 a factor of a?
True
Suppose -140*u + 139*u = -6. Suppose 274 = u*m - 92. Is 6 a factor of m?
False
Suppose g = d + 5*g - 17, 0 = 2*g - 10. Let u be 0 + 1/(212/72 + d). Is (-248)/u + (-30)/(-135) a multiple of 8?
False
Let q be ((-14)/(-4))/((-15)/(-150)). Let j = -95 + q. Is 32 a factor of j/(-45) - 188/(-3)?
True
Suppose 36919 = 3*b - c, 49488 = -9*b + c + 160243. Is b a multiple of 12?
False
Let m be ((495/(-12))/(-5))/((-1)/(-4)). Let l(j) = j**2 - 8*j - 10. Let u be l(-5). Let p = u - m. Is 22 a factor of p?
True
Suppose -14 + 76 = 4*h + 2*g, -5*h = 5*g - 65. Suppose 0 = h*j - 35 - 6391. Is j a multiple of 21?
True
Let q be (13 + -1)/((-6)/15*-5). Suppose -257 = -t + 4*j, -9*j = 5*t - q*j - 1262. Does 16 divide t?
False
Let i be (12/(-20) + 446/(-40))*-4. Suppose -i*x = -51*x + 8. Suppose -140 = -x*b - 5*d, -5*b = -2*d + 3*d - 373. Is b a multiple of 25?
True
Suppose 590*t - 800 = -5*x + 595*t, -5*x + 772 = -t. Is 9 a factor of x?
True
Suppose s = 6*s - 35. Suppose 0*x + s*x = 28. Suppose 3*r + 0*r + 6 = 0, x*c + r = 178. Is c a multiple of 5?
True
Let q = 3934 - 397. Suppose -9*p = -q - 603. Suppose -27*y = -31*y + p. Does 40 divide y?
False
Suppose 0 = -5*b - 3 + 13. Suppose 5*y - b*v = 548, 4*v + 336 = 3*y + v. Suppose -y = 5*r - 458. Does 5 divide r?
True
Is 2 - -4084 - ((-720)/(-20))/6 a multiple of 240?
True
Let w = 26 - 25. Let n(g) = -g**3 - g**2 - g - 1. Let l(t) = -4*t**3 - 14*t**2 - 10*t - 13. Let v(o) = w*l(o) - 6*n(o). Is 20 a factor of v(6)?
False
Let y(f) = f**3 - 4*f**2 + 2*f - 2. Let z be (-3 + (-81)/(-6))*16/6. Suppose -16 = 3*n - z. Does 6 divide y(n)?
True
Let w(j) = 31*j + 46. Let r be w(40). Does 64 divide 12/(-8) - r*(-3)/12?
True
Let r = 81 - 57. Suppose r*y - 1008 = 12*y. Is 6 a factor of y?
True
Let p(h) = 77*h - 4. Let f = -110 + 118. Is 68 a factor of p(f)?
True
Let v be (12/(-4))/(1 + 52/(-51)). Let c = v - -51. Does 6 divide c?
True
Let m(n) = n**3 - 8*n**2 - 10*n + 4. Let i be m(9). Let k(v) be the second derivative of -v**5/10 - 3*v**4/4 + v**3/6 + 7*v**2/2 + 22*v. Is 24 a factor of k(i)?
False
Let s = 1582 - -3684. Does 24 divide s?
False
Does 82 divide 47 + -40 + 25689/(4 + -1)?
False
Suppose 0 = 8*v - 4*v - y - 35, 4*y - 31 = -3*v. Is v + (0 - (-2 + -3)) a multiple of 7?
True
Let g(u) = u**3 - 3*u + 14. Let l be g(0). Suppose 15 = 19*t - l*t. Suppose -t*c + 212 = -f, 0*c - 4*c + f + 283 = 0. Does 48 divide c?
False
Suppose -16*c + 80487 = -14*c + 9*c. Is 9 a factor of c?
True
Suppose -6*u - 32 = 76. Let t be (-8)/18*u/4. Is (t + -1)/((-2)/(-42)) a multiple of 6?
False
Suppose -6*s = -13*s + 2779. Suppose -1803 = -11*w + s. Does 21 divide w?
False
Suppose -293*m = -290*m - 1785. Suppose -5*v + 414 + 177 = 4*o, 0 = -5*v - 5*o + m. Is v a multiple of 5?
True
Let f = 38 + -20. Let t = 425 - 149. Suppose 14*r + t = f*r. Is 9 a factor of r?
False
Let g(a) = a**3 + 7*a**2 + 3. Let c be g(-7). Suppose c*i = -59 + 17. Is 10 a factor of 3*67 - (i/(-2) + -3)?
False
Let b be (10/(-3))/(2 - 64/24). Suppose 0 = b*r + 34*r - 7761. Is 4 a factor of r?
False
Suppose -48946 = -82*u - 7208. Does 9 divide u?
False
Let x(y) = y + 23. Let w be x(-14). Suppose o + w = -2*o. Is ((-10)/8 - -5)/(o/(-136)) a multiple of 34?
True
Let v(x) = 191*x**2 - 35*x - 156. Does 7 divide v(-4)?
False
Suppose 0 = -5*d - 25, 3*l - 1190 = d - 201. Let r = l - -307. Is 16 a factor of r?
False
Let r(v) = 21*v**2 - 6*v + 15. Let n be r(2). Let i = -85 + n. Suppose i*b - 16 = 4*k + 88, 250 = 5*b - 5*k. Is 21 a factor of b?
False
Let i(n) = 91*n**2 - 2*n + 6. Let o be i(4). Let u = -734 + o. Does 72 divide u?
True
Suppose -115*s + 384*s - 27355 = 990003. Does 31 divide s?
True
Let f