*q - j = -z*q. Is q a multiple of 4?
True
Suppose 257 - 2663 = -20*n + 2474. Is n a multiple of 11?
False
Suppose -250632 = -35*x + 144203. Is x a multiple of 28?
False
Suppose 5*g - 5*v = 430, 5*v + 8 = -17. Let n(r) = -r**3 - 4*r**2 + 16*r + 3. Let u be n(-7). Suppose 41*i = u*i + g. Does 9 divide i?
True
Let k(y) = 4511*y + 121. Let m be k(3). Suppose 0 = 38*z + 2368 - m. Is z a multiple of 29?
False
Let m be (-5)/(5/8)*1. Let y(x) = x**2 + 8*x + 20. Let l be y(m). Let z = -8 + l. Is 7 a factor of z?
False
Suppose 3040 = -10*k + 14*k. Does 76 divide k?
True
Suppose 46*z + 23*z = 695244. Is z a multiple of 45?
False
Let o = 67 - 63. Suppose 0 = -5*u + o*t - 229 - 27, u = t - 52. Does 3 divide (-1520)/u + 4/(-6)?
False
Suppose -58*n + 54*n - z + 810 = 0, 2*n = 5*z + 438. Does 17 divide n?
True
Suppose 6957 = -35*i + 145277. Does 16 divide i?
True
Let l = -474 - -485. Suppose -10*p + l*p - 192 = 0. Does 48 divide p?
True
Suppose -65*p = -102*p + 688237. Is p a multiple of 21?
False
Suppose -a + 156 = -4*i - 192, -5*a = 2*i - 1740. Suppose 10*g + a = 1948. Suppose -g = -11*b + 1721. Is b a multiple of 57?
True
Suppose 0*k - k - 3*i = -2294, -5*k + 3*i = -11542. Does 4 divide k?
False
Suppose 1 - 9 = 2*m - g, 2*g + 19 = -3*m. Let q be (-1 - m)/((-6)/9). Does 3 divide 3/6 - 69/q?
True
Let o(t) = 647*t - 2856. Is o(19) a multiple of 102?
False
Let o(t) = 4*t**2 + 31*t - 1042. Is o(-43) a multiple of 22?
False
Suppose -2*f - 403 + 2221 = 4*c, -f - 1351 = -3*c. Suppose 5*x - 4*x - 3*m = c, -2*x + 4*m + 900 = 0. Let h = x + -272. Is 58 a factor of h?
True
Suppose x = r - 2, -4*r - 11*x + 9 = -14*x. Is 7 a factor of 1 + 325 + 2 - (r - 1)?
False
Let m be (108/8)/3 + 7/(-14). Suppose -429 = -m*x - o, 268 = 4*x + 5*o - 149. Does 27 divide x?
True
Let h(c) = 20*c + 15. Suppose 0 = 9*t - 7*t - 16. Is 25 a factor of h(t)?
True
Suppose -2*f = 31 - 181. Let n = f - 3. Is 2 a factor of n?
True
Let j be (52/(-20) + 3)/(2/30). Is 23 a factor of (4/j)/((-14277)/4761 - -3)?
True
Suppose -93*n + 90*n + 135 = 0. Suppose n*d - 14553 - 3087 = 0. Is d a multiple of 4?
True
Let o(z) = -1710*z - 15225. Is o(-15) a multiple of 15?
True
Let c(u) = -491*u + 771. Is 4 a factor of c(-9)?
False
Suppose 0 = -3*q + 2*s + 70, 5*q - 3*s + 4 = 119. Suppose 5*o = -2*j + 629 - 149, -q = -4*j. Is 29 a factor of o?
False
Suppose 12*u - 3*u - 85572 + 477 = 0. Is 17 a factor of u?
False
Let w(z) = -z**2 - 15*z + 2. Let o be w(-15). Suppose -i + 4*l = 17, -5*l + 19 = o*i - 4*i. Suppose -5*q - 65 = -3*y, -i*q + 5*q + 23 = y. Is 2 a factor of y?
False
Suppose 43*u = 20*u + 460. Does 15 divide ((-15)/u + 2)/(2/160)?
False
Suppose -u - 2*m + 2 = 0, -u - 3*u + 26 = -m. Let q(o) = o**3 + 3*o**2 - 6*o - 5. Let w be q(-4). Does 12 divide u*(1 + 27/w)?
True
Let z(m) be the first derivative of 10/3*m**3 + 5 + 0*m + m**2. Is z(3) a multiple of 22?
False
Is (-33182)/((-11 - 98/(-14)) + 1 + 1) a multiple of 13?
False
Let k(s) = -s**3 - 2*s**2 - 4*s - 3. Let g be k(-2). Suppose 2*c + 69 = 4*c - 3*x, 0 = -5*x + g. Let i = 78 - c. Does 14 divide i?
True
Let o = -72 - -75. Let z(u) = -u**3 - 15*u**2 - 15*u - 11. Let r be z(-14). Suppose -5*f + 3*g - g + 42 = 0, o*g = r*f - 18. Is 10 a factor of f?
True
Is 43 a factor of ((-28)/4 + 12 - (-7)/(-1)) + 5973?
False
Suppose b + 10555 = k, -4*b = -26*k + 29*k - 31707. Does 17 divide k?
False
Suppose 60570 - 65599 = 194*j - 256647. Does 7 divide j?
False
Let o(p) = -7*p**3 + 12*p**2 - 17*p - 36. Does 24 divide o(-3)?
True
Let g(c) = c**2 - 19*c + 83. Let y be g(13). Suppose -a = 4*a - 2*b - 167, 4 = b. Let x = a + y. Is x a multiple of 20?
True
Suppose -4*v - 18 = -2, -8908 = -2*x + 5*v. Does 20 divide x?
False
Let o(a) = -a**3 - a**2 + 2*a + 2. Let m be o(-2). Suppose 3*h + 1 = -4*s - 4, 0 = -m*h + s + 15. Suppose h*l - 6 = 349. Is 11 a factor of l?
False
Let y be 1329/(-12) - 1/4. Let s = 735 + -729. Let t = s - y. Is t a multiple of 13?
True
Suppose 0 = 3*d + 4*j - 27118, -5*j + 10*j = -10. Is 31 a factor of d?
False
Is 35 a factor of (20/(-8) - 106/(-53)) + (-13091)/(-2)?
True
Let d(n) = 2 + 14*n + 31*n - 26 - 32. Does 41 divide d(14)?
True
Let r = -243 + 243. Is 179 + 1 - (r/5)/9 a multiple of 12?
True
Suppose -57*x + 56*x + u = -3547, 2*u = -x + 3547. Is x a multiple of 13?
False
Suppose -9*y + 41 = -49. Suppose y*g - 600 = 6*g. Suppose 17*x - 14*x = g. Is 5 a factor of x?
True
Let t(n) = 5*n**2 + 60*n - 170. Let w(h) = h**2 + 12*h - 34. Let z(d) = -2*t(d) + 11*w(d). Let b be (-2 + (-20)/3)*(-21)/14. Is z(b) a multiple of 49?
False
Suppose -6*t + 37 = -5. Let f be (t/(-21))/((-1)/(-3)). Is f - -172 - (1 - (-5 - -6)) a multiple of 19?
True
Let s be (-4131)/567 + (-2)/(-7). Let i(w) = w**2 + 3*w + 6. Let b(t) = 2*t**2 + 6*t + 11. Let r(k) = -2*b(k) + 5*i(k). Is r(s) a multiple of 12?
True
Let t(f) = -2*f**3 + 43*f**2 + 33*f - 147. Does 141 divide t(21)?
True
Let g = 66043 - 34073. Is 11 a factor of g?
False
Let x be (190/152)/(2/8). Suppose 0 = -2*d + x*p + 546, 7*d - p = 8*d - 280. Is d a multiple of 39?
False
Suppose 367116 = 50*h - 1279284. Suppose 17*c + 11*c - h = 0. Is c a multiple of 14?
True
Let r(k) = -k**2 + 28*k + 156. Suppose 26*c = 25*c - 5*i + 45, -c = -3*i - 21. Does 24 divide r(c)?
True
Suppose -21*z + 4*l - 21 = -24*z, 5*l = -2*z + 21. Does 10 divide 1/((-1 - z) + (-13025)/(-3255))?
False
Let i = 120 - 27. Let v = i - 93. Suppose n - 5 = v, -p + n + 69 = -n. Is p a multiple of 38?
False
Let p = 8 + 17. Suppose 4*d - f = 15, 5*d + 7*f - p = 2*f. Suppose 8*s - 4*s + 60 = k, -d*k + 315 = -s. Is k a multiple of 10?
True
Suppose 0 = -s + 4, -3*l + 3*s = -6235 - 2303. Does 59 divide l?
False
Let u = 33 - 30. Suppose -2*p - p = -u*m + 357, 5*p = 15. Let g = -71 + m. Is g a multiple of 7?
False
Let q = 7159 + -3559. Does 40 divide q?
True
Let n = -10838 - -11653. Does 8 divide n?
False
Let w(v) = 8*v**2 + 4*v + 4. Suppose 5*g + 25 - 20 = 0. Let r be w(g). Is 2 + ((-107)/(-2) - 4/r) a multiple of 11?
True
Let a(u) = u**2 - 16*u + 54. Let d be a(11). Suppose -o + 6 = 4*p, -4*o + 3*o + 5*p - 12 = 0. Is -4 + (-40)/d + o even?
True
Suppose -320*c + 270500 = -270*c. Does 13 divide c?
False
Let u(i) be the third derivative of i**4/8 - 7*i**3/6 + 33*i**2. Let p be u(4). Suppose -5*y + p*m + 35 = 0, -5*y - m + 44 = -3*m. Is 5 a factor of y?
True
Suppose 0 = -n + 115 - 16. Let r = 7850 + -7829. Suppose -4*g + r + n = 0. Does 15 divide g?
True
Let p be 4/(-38) + 453914/38. Suppose 35*x = -p + 38335. Is x a multiple of 17?
False
Suppose 2*x - 56160 = -j, -112320 = -4*x + 213*j - 209*j. Is 24 a factor of x?
True
Let l = 87 - 85. Suppose -4*h + 178 = 3*w, 2*w + 88 = l*h + 4*w. Is h a multiple of 23?
True
Let c = -115 - -523. Is 12 a factor of c?
True
Let h(w) = 338*w**2 + 53*w - 13. Is h(-3) a multiple of 19?
False
Suppose -1290*b + 4287 = -1287*b. Is 2 a factor of b?
False
Let q(l) = 293*l**2 - 11*l + 3. Let n be q(3). Suppose -5*z - 2577 = -4*k - 0*z, 4*k - n = -5*z. Suppose -17*h = -26*h + k. Is h a multiple of 24?
True
Let d(x) = -2*x**2 + 20*x - 27. Let r be d(8). Suppose -r*k + 2416 + 1004 = 0. Does 18 divide k?
True
Let f(m) be the second derivative of 2*m**3/3 - 13*m**2 - 7*m. Let x be f(7). Suppose -2*p - p + 37 = x*h, -p - 4*h + 29 = 0. Is p a multiple of 2?
False
Let b(h) = -4*h - 4*h + 5*h + 0*h + 31. Let q be (-16)/(-4) + 11 - 6. Is b(q) even?
True
Let x(c) = 305*c + 5 - 153*c - 159*c. Suppose -13*w + 16*w + 15 = 0. Does 7 divide x(w)?
False
Does 245 divide 145/(-20)*85968/(-26) - 2/(-13)?
False
Let i = -39 - -42. Suppose -2*b = -2*r - 558, -i*b - r + 353 = -488. Is b a multiple of 4?
True
Let s = 35308 + -33347. Does 53 divide s?
True
Suppose -3*v + 1014 = 3*v. Suppose -v = -2*g + 71. Let q = -55 + g. Is 16 a factor of q?
False
Let g = 4 - 4. Suppose -115*t = -119*t + 4*h + 412, -409 = -4*t + 3*h. Suppose 0 = 3*c - w - t, 6*c - 4*c + w - 70 = g. Is 4 a factor of c?
False
Let j = 5678 + -4903. Is j a multiple of 7?
False
Let o(z) = 3*z + 4582. Is o(144) a multiple of 15?
False
Let b = 4937 - 3681. Is 4 a factor of b?
True
Suppose 31*m + 62 = 33*m. Suppose -15*k - 1280 = -m*k. Is 4 a factor of k?
True
Let m be (8 + 58 + -2)*11. Suppose -m*s + 703*s = -70. Is 5 a factor of s?
True
Let t(x) = -82*x - 2. Suppose -3*o - 7 + 4 = 0. Is 16 a factor of t(