60 a factor of r(15)?
True
Suppose -60*x + 109952 = -600748. Does 39 divide x?
False
Suppose -650450 + 2023122 = 158*y - 46*y. Is 30 a factor of y?
False
Suppose 1249*k + 4620 = 1255*k. Does 37 divide k?
False
Let m = 11772 + -5658. Is m a multiple of 9?
False
Suppose 3*h + 15688 = 11*h. Does 6 divide h?
False
Suppose 5*s + 578 - 1820 = -3*o, 5*o = 5*s - 1210. Is s a multiple of 246?
True
Let u(r) = -r + 1. Let h be u(-1). Suppose 0*q + 76 = h*f - 2*q, f - 30 = 3*q. Is 6/f - 648/(-21) a multiple of 26?
False
Let h = 17174 + 3838. Is 46 a factor of h?
False
Let j = -283 - -293. Suppose -q - 167 = -t, 5*q = -t + j*q + 147. Does 30 divide t?
False
Suppose -310*b + 312*b - 20 = 0. Suppose -b*s + 4*s + 216 = 0. Is s a multiple of 6?
True
Let k = 609 + -619. Let b(a) = a**3 + 5*a**2 - 58*a - 3. Is 11 a factor of b(k)?
True
Suppose 0 = 15*z - 28*z + 104. Suppose -z*w + 16*w = 4400. Is 25 a factor of w?
True
Let r = -2965 - -5792. Suppose -13*b = -24*b + r. Is b a multiple of 100?
False
Let v(l) = l**2 + 6*l + 18. Let b be v(-5). Let j = b + -12. Is 70 + j*(1 + -2) + 1 a multiple of 13?
False
Suppose 132 = -60*l + 66*l. Suppose l*g - 7680 = 17*g. Is g a multiple of 96?
True
Suppose 5*g - 2 = -3*i, 9*i - 6*i - 3*g - 18 = 0. Suppose z + 19 = i. Does 11 divide 4 + (-1105)/z - (-6)/(-9)?
True
Let g(p) = p - 9. Let y be g(11). Is (-16)/y + 5 + 120 a multiple of 39?
True
Let k(a) = -a**3 - 15*a**2 - 10*a + 68. Let b be k(-14). Suppose -2*p + 872 = -b. Does 27 divide p?
False
Suppose 177 - 44 = q + 3*b, -2*q = 5*b - 267. Let z = -319 + q. Let d = -128 - z. Is 15 a factor of d?
False
Let j(r) = -6*r**2 - 26*r - 63. Let l be j(-3). Let a be (-19)/(-3) - (-1)/(-3). Is 7 a factor of a/l + (-552)/(-39)?
True
Suppose 5*m - 209 = -2*k, 2*k + k = 5*m + 276. Suppose 123 = 4*s - k. Suppose 5*t - 830 = -s. Does 37 divide t?
False
Suppose -4*n + p - 1612 = 0, -n + 6*p - 10*p - 420 = 0. Let i = 151 - n. Does 27 divide i?
False
Let a(b) = 2*b**3 + 95*b**2 + 124*b - 240. Does 13 divide a(-44)?
False
Let a be 14/((-28)/(-1014)) + -6. Let w be 3/(-2) + (-39)/(-6). Suppose 0 = -w*h - a + 1321. Does 14 divide h?
False
Let q = 209 + -217. Let w(i) = -4*i**2 - 51*i - 22. Is 6 a factor of w(q)?
False
Suppose -157*a - 138*a = -263*a - 267968. Does 106 divide a?
True
Let c(a) = -5*a + 48. Let u be c(9). Let k(h) = 89*h - 19. Is k(u) a multiple of 31?
True
Let n(r) = 543*r**2 - 140*r - 333. Is n(-7) a multiple of 70?
False
Let x(a) be the third derivative of -5*a**4/24 - 11*a**3/6 + 3*a**2. Let n be x(3). Let w = n + 56. Is w a multiple of 30?
True
Let t(d) = 12*d - 62. Let h be t(6). Suppose 2*x + h = -8*x. Let g(f) = -142*f**3 - 2*f**2 - f. Is 19 a factor of g(x)?
False
Let m be 7*(1 - 2)*(-2 - 0). Let k be 1/(((-6)/(-4))/(m + 4)). Suppose 8*z = k*z - 740. Is 37 a factor of z?
True
Let t be (((-42)/4)/(-7))/((-3)/(-6)). Suppose 4*y = 5*b - 173, -t*y - 49 - 56 = -3*b. Is b a multiple of 11?
True
Let f = -495 + 979. Is 9 a factor of f?
False
Let c = -23 + 23. Suppose c = 5*l + 269 - 1369. Is l a multiple of 20?
True
Suppose 4*t = 2*a + 6886, -35 = 5*a - 10*a. Is t even?
False
Suppose 15*o - 9541 = 2159. Is o a multiple of 52?
True
Let m(y) = 202*y**2 - 445*y - 9066. Does 172 divide m(-20)?
False
Let l(t) = -7*t + 16. Let d be l(-4). Suppose d = -5*h + 514. Does 14 divide h?
False
Let m(p) = -5*p**2 - 732*p + 428. Does 206 divide m(-102)?
True
Does 16 divide (1589 - 1)*(-7)/196*-7?
False
Suppose -6*v - 49*v - 12731 = -1411876. Is 8 a factor of v?
False
Let n = 174 - 198. Let i = 46 - n. Does 19 divide i?
False
Let s(y) = 40 - 14 - y**3 + 53*y + 3 - 27*y**2. Does 14 divide s(-29)?
False
Suppose -138*u + 1889461 - 1680564 = -3944213. Is 7 a factor of u?
False
Let m be (-579)/(-39) + 6 - (-2)/13. Suppose -25 = m*y - 16*y. Does 2 divide (0 - y) + 1/((-1)/2)?
False
Let j(f) = 2*f**3 + 2*f**2 + f + 1. Let w(n) = -n**3 + 1. Let p(q) = -j(q) + w(q). Let l be p(-3). Let m = l + 24. Is 10 a factor of m?
True
Suppose 0 = 4*i - y - 9980, 65*i - 64*i + 3*y = 2482. Does 78 divide i?
False
Let u = -719 + 716. Does 65 divide 3510/180*((-217)/u - -1)?
True
Suppose -5*r + 3*j = 485, -4*r + 6*j - 2*j - 380 = 0. Let u = -98 - r. Suppose u*z - 12 = -2*z, 4*z = -o + 40. Is o a multiple of 25?
False
Let z be (-2)/(3 - (4 + 1)). Suppose 9 = 2*o - z, 59 = n - 5*o. Is n even?
True
Let c be (8/12)/(1/39). Let i = 32 - c. Suppose 6*t + i*t - 720 = 0. Is 12 a factor of t?
True
Let t = -3413 + 4098. Does 5 divide t?
True
Suppose 0 = 3*o - 4*o - g - 1, -4 = -4*g. Let m(q) = -522*q + 18. Does 66 divide m(o)?
False
Suppose -60637 - 193045 - 8518 = -150*q. Is q a multiple of 17?
False
Let b be (2 + (-1 - -3))*(-1 + -3). Let j be (b/2)/(4/14). Is 28 a factor of j/((-3)/12*1)?
True
Suppose -185*i + 781 = g - 179*i, -3*g - 5*i = -2408. Does 53 divide g?
False
Let w = -47 - -66. Suppose 15 = -w*q + 22*q. Suppose 4*b + 335 = q*i - 2*i, -5*b + 371 = 3*i. Is i a multiple of 19?
False
Suppose 0 = -4*t + 2*a + 4 + 2, 4*t + 9 = -3*a. Let l be 3 + 5 + t + 6. Is 10/((-7)/l*(-2)/8) a multiple of 20?
True
Suppose -5*o - 11561 = 2*p, 0 = -3*o - p + 513 - 7449. Let n = -1551 - o. Is 2/(-6) - n/(-30) a multiple of 25?
True
Let x(t) = 619*t - 2112. Is x(20) a multiple of 302?
True
Does 42 divide ((-130)/(-12))/((-135)/(-195210)) + 9?
False
Let u(y) = -y**3 - 22*y**2 + 56*y + 39. Is 25 a factor of u(-28)?
True
Suppose 4*x - 19 = -3, -2*s - 3*x + 628 = 0. Is 11 a factor of s?
True
Let v = 1240 + -961. Let x = -211 + v. Is x a multiple of 3?
False
Let s be (-1)/(-8) - 17592/(-64). Suppose -3*y - 80 = -s. Suppose 0 = 4*v - 5*x - 415, -4*x = -2*v + y + 141. Is 15 a factor of v?
True
Let b = 5696 - 3242. Does 7 divide b?
False
Let g = -9496 + 10836. Is g a multiple of 8?
False
Suppose 0 = -88*l + 93*l + 1485. Let f = -129 - l. Does 11 divide f?
False
Suppose 9182 = 11*j - 322. Does 4 divide j?
True
Let f be (2 - -1) + 2 + -1. Suppose 0 = 6*y + 1550 - 1568. Suppose 3*q + 4*x = 68, 100 = 8*q - y*q + f*x. Does 2 divide q?
True
Let b be (4 + 196/(-35))*-640. Let j = -473 + b. Is 79 a factor of j?
False
Suppose 2*m = -p - 3*p - 1814, 3*p + 1353 = m. Let x be 6/(-15) - p/5. Is (-47)/(-6) - (-15)/x a multiple of 8?
True
Suppose 5*h = -2*b - 0*b + 1293, -2*b + 8 = 0. Suppose -h*l + 1152 = -254*l. Is 32 a factor of l?
True
Is 8 a factor of (-12)/10*(-551320)/462?
True
Let z = 19372 - 9146. Is 21 a factor of z?
False
Let q = -3544 + 4011. Is 31 a factor of q?
False
Let s = 0 + 15. Let u be (2/4)/(s/210). Suppose u*i - 2*i - 335 = 0. Does 13 divide i?
False
Suppose 0 = -17927*s + 17922*s + 60. Does 7 divide s?
False
Let d = 82 + -58. Suppose 3*s + 5*a - d = 0, 3*s - a - 21 = -5*a. Let m = 14 + s. Is 17 a factor of m?
True
Let m be -2 + ((-1)/(-6) - 143/(-78)). Suppose 8*z - 24*z + 3360 = m. Is 6 a factor of z?
True
Let m(k) be the third derivative of k**5/6 - 73*k**4/24 - 5*k**3/6 + 3*k**2 - k. Is m(10) a multiple of 53?
True
Let p = -8204 - -17446. Does 52 divide p?
False
Let j = -150 + 77. Let s = j - -358. Is 15 a factor of s?
True
Suppose 2*r - 24 = -2*h, -4*r - 5*h - 6 = -5*r. Let w(v) = -3*v + 46. Let d be w(r). Suppose 252 = -d*c + 14*c. Is 12 a factor of c?
True
Let h = 172 + -154. Does 15 divide (-1)/(-2)*24444/h?
False
Suppose 0 = -v - 4*x - 11, -3*v = -2*v - 5*x - 34. Suppose -47 = -v*m - 11. Suppose 2*g = 4*r - 610, 3*r = 8*r + m*g - 730. Is 15 a factor of r?
True
Let d(m) = -57*m - 35. Let i(s) = 58*s + 34. Let b(w) = -5*d(w) - 6*i(w). Let h be b(-7). Is (-2)/((48/h)/(-6)) a multiple of 21?
False
Let c = -5358 - -6699. Is c a multiple of 9?
True
Let x = -14911 - -17839. Does 3 divide x?
True
Suppose l = c - 93, -c = 2*c. Let b = 148 + l. Suppose 80 = 3*p - b. Is 7 a factor of p?
False
Suppose -2*g - 4785 = 4*i + 755, -4*g - 11116 = -4*i. Is g/(-32)*4 + -2 a multiple of 15?
True
Let l = 80 + -82. Does 2 divide (-4 - -28 - l) + 6/2?
False
Let m(h) = 5595*h**2 - 12*h + 27. Does 15 divide m(1)?
True
Suppose 4*b - 36944 = -5*u, -34*u + 7378 = -33*u - b. Is u a multiple of 13?
True
Let a(l) = 2*l**3 - 2*l**2 - 5*l + 4. Is a(3) a multiple of 8?
False
Let u(k) = -k**2 + 3*k + 20. Let n be u(0). Suppose 25*i - n*i - 195 = 0. Is 13 a factor of i?
True
Let y = 392 - 412. Is 11 a factor of (-412)/(-6) - (-6 - y/3)?
False
Let h = 2265 + -603. Is 