 of z?
True
Let f(l) = 3*l**2 + 14*l + 25. Let v be f(-10). Let m = v - 161. Does 4 divide m?
True
Is 2/23 - ((-3736008)/437)/9 a multiple of 25?
True
Let q = -330 + 359. Let y = q - -900. Does 18 divide y?
False
Let f be (1 - 15865)*((-40)/12)/(-5). Let j be 2/7 + f/(-28). Let s = j + -266. Is s a multiple of 19?
False
Suppose -1289 = 8*i - 6753. Let g = -328 + i. Does 41 divide g?
False
Suppose 2*r = -z + 2, 0*r + 2*z = r - 1. Let x be (r - -1)*918/(-36). Let d = x - -54. Is 2 a factor of d?
False
Let c = -233 - -229. Does 12 divide 72/96 + (-621)/c?
True
Let j be -7*15/(-420) - 2/8. Let s(x) = -x**2 + 50 + 3*x**2 - x**3 - 3*x + 0*x. Is s(j) a multiple of 23?
False
Does 18 divide ((-3)/5 + (-26351)/15)/((-96)/288)?
False
Let h = 233 - 106. Suppose -h = -5*w + 708. Is 26 a factor of w?
False
Suppose -16*b + 40 = -6*b. Let c = 726 - 426. Suppose 4*q + c = -j + 6*j, -b*q + 260 = 5*j. Does 14 divide j?
True
Let t(n) = -21*n + 3*n - n**2 - 5*n + 10*n. Is t(-10) a multiple of 3?
True
Let t(n) = -n**3 + 5*n**2 - 7*n - 4. Let z = -62 + 59. Let r(s) = s**3 - 4*s**2 + 6*s + 4. Let y(k) = z*t(k) - 2*r(k). Is y(6) a multiple of 6?
False
Suppose -4395*b = -4421*b + 341874. Does 14 divide b?
False
Suppose -72*h + 70*h = -70. Let m = h - 18. Is 5 + 12/(-3) + m a multiple of 2?
True
Suppose -3*m + 70 = 73, -1625 = -5*v + 5*m. Does 18 divide v?
True
Suppose 15*o - 16087 = 23. Does 8 divide o?
False
Let n(x) = -x**3 + x**2 - x. Let v(i) = 3*i**3 - i**2 + 10*i - 4. Let m(l) = 4*n(l) + v(l). Let b be m(4). Suppose 10*o - b*o = 36. Does 6 divide o?
True
Let k = -15977 - -22772. Does 45 divide k?
True
Let b(h) be the third derivative of h**5/15 - 7*h**4/24 - 561*h**2. Let x(s) = -s**2 - 6*s - 3. Let c be x(-4). Does 9 divide b(c)?
False
Let z = 1312 + -928. Suppose 5*d - z = 66. Is d a multiple of 16?
False
Suppose 0 = -474*x + 475*x + 21. Let u(q) = -20*q + 40. Does 20 divide u(x)?
True
Suppose -2*i + 3*s = -34566, i - 5*s - 17282 = -4*s. Is 32 a factor of i?
True
Let d = 587 - 378. Is 19 a factor of d?
True
Let b = -39263 + 46569. Is 7 a factor of b?
False
Let b = 1177 + -517. Suppose 654*f - b*f + 5796 = 0. Does 21 divide f?
True
Let f(h) = h**2 + 4*h - 14. Let j(w) = 3*w + 10. Let v be j(18). Let z be (22/(-8))/(16/v)*1. Is f(z) a multiple of 21?
True
Let r(p) = 2*p**3 - 10*p**2 + 4*p + 12. Let o be r(5). Suppose 0 = -6*b + 64 + o. Suppose -15*g + 14 = -b. Does 2 divide g?
True
Suppose 4*v + 37 - 49 = 0. Suppose 0 = -v*s + 2*w + 139, -w = 5*s - 2*w - 234. Does 38 divide s?
False
Let m(u) = 1184*u + 14. Let a be m(2). Suppose 4*x = 10 + a. Does 13 divide x?
True
Let n(t) = -2*t + t**2 - 16*t**3 + 8*t**3 + 27*t**3 + 4*t - 1. Does 21 divide n(1)?
True
Let u = -9261 + 19220. Is u a multiple of 23?
True
Let b(v) = -2*v + 43. Let k(n) = n - 22. Let u = 146 + -141. Let o(j) = u*k(j) + 3*b(j). Does 5 divide o(4)?
True
Let w(l) = 58*l + 161. Suppose 2*p - i - 9 = 0, 3*i = -12*p + 13*p + 8. Is w(p) a multiple of 7?
True
Suppose -632 = 31*j - 136. Let u(r) = -29*r + 3. Does 10 divide u(j)?
False
Let z be 0 + 8 + 41314/26. Let w = -1045 + z. Is w a multiple of 53?
False
Suppose -23*s = 57 + 35. Is 224/2 - (-4 + s) a multiple of 20?
True
Is 0*(-3)/27 - (-8928)/(2/2) a multiple of 18?
True
Let w be 2 - (-7 - -6)/((-1)/(-439)). Suppose 19*d - w = 91. Is 14 a factor of d?
True
Let z = 18981 + -10731. Is 51 a factor of z?
False
Let v(s) = 49903*s + 1004. Does 239 divide v(1)?
True
Let l(h) = 1 - 5 + 2*h**2 - h**2 + 0. Let c be l(-4). Let a = c + 9. Does 7 divide a?
True
Suppose 29*t = 23*t - 348. Let w = t - -65. Suppose 2*c = w*c + 3*m - 264, 0 = -2*c + 3*m + 93. Is c a multiple of 17?
True
Suppose -256*n + 1616545 = 675745. Is n a multiple of 9?
False
Let q(k) be the second derivative of k**4/12 + 17*k**3/6 + 17*k**2 + 17*k. Let j be q(-24). Let y = -90 + j. Is y a multiple of 28?
True
Suppose s - 3*l - 224 = 0, 0 = 5*s - 17*l + 15*l - 1159. Suppose 0*g + 73 = g - 3*a, 0 = -3*g + 2*a + s. Is 6 a factor of g?
False
Is (106/(6 + -4 + 4))/(2/1344) a multiple of 35?
False
Let r = -63 - -311. Suppose 0 = -0*q + 2*q. Suppose q = -2*m - 80 + r. Is m a multiple of 15?
False
Does 9 divide (-8)/(-8)*(4/42 + (-2012800)/(-525))?
True
Let a(z) = 753*z + 248. Is 27 a factor of a(2)?
False
Let c(l) = l**3 - 36*l**2 - 45*l + 1. Let g be c(37). Let n = g + 355. Is n a multiple of 12?
True
Let q(c) = c**3 + 13*c**2 - 2*c - 73. Let b be q(-9). Let m = 216 + -321. Let n = m + b. Is n a multiple of 41?
True
Suppose -4*c - 67*m + 66*m + 49918 = 0, -5*m = -3*c + 37450. Is 195 a factor of c?
True
Suppose 1152*p - 1226*p = -2118990. Is p a multiple of 48?
False
Suppose 2*r = -2*m + 30, -2*m - 45 = -5*r + 30. Let v = 5 - 4. Is ((-220)/r + -4)/(v/(-3)) a multiple of 14?
True
Let j = 1627 - 1033. Is 9 a factor of j?
True
Let c(y) = 84*y + 12923. Is c(0) a multiple of 35?
False
Let o be (-8)/(-2) - (26 - 18). Is (8 - 0)/(3/(-462)*o) a multiple of 11?
True
Let b(h) = 17*h + 2215. Does 24 divide b(-23)?
True
Suppose 4*i - 21925 = -5*p, 13192 = -p + 4*p - 5*i. Does 7 divide p?
True
Let k(o) = -2*o**2 - 6*o + 8. Let t be k(-4). Suppose t = 11*b - 20*b + 4374. Is 12 a factor of b?
False
Let r(o) = -o**3 + 8*o**2 + 4*o + 39. Let w be r(9). Is (44/66)/(w/(-12915)) a multiple of 43?
False
Suppose 86*u = 89*u + 228. Let p = u + 146. Is 7 a factor of p?
True
Suppose -438*j + 16*j + 22377394 = 0. Is 222 a factor of j?
False
Let o be 12*1*3/(-9). Let r = o - -8. Suppose 0 = 3*f - 2*a - 103, r*f - 49 = 3*f - 3*a. Does 21 divide f?
False
Let v be (-225)/(-25) + (-4)/(3 - 2). Suppose 3*i = -v*b + 125 + 10, 3 = b. Does 40 divide i?
True
Let y = -146 - -4804. Is y a multiple of 137?
True
Is (70/4)/((2/(-124))/(3549/(-273))) a multiple of 155?
True
Suppose 136*b = -5*q + 132*b + 195062, -5*q + 195065 = 5*b. Does 12 divide q?
False
Suppose 12*q - 70 = -94. Is (10 + (-4500)/(-9))*q/(-4) a multiple of 15?
True
Let l(u) = u**2 + 44*u + 232. Let v be l(-38). Suppose -6*s - 6*f = -s - 6005, 0 = -v*f - 20. Is s a multiple of 17?
True
Let k(v) = 2*v**2 + 34*v + 20. Let b be k(11). Suppose -l = 11*l - b. Does 6 divide l?
False
Suppose -5*v + 49 = w, 2*w - 46 = 4*v - 4. Let b = w + -31. Is 6 a factor of 42 + b/(2/1)?
False
Let t = -25 + 43. Let w = t - -28. Suppose 118 = 4*x - w. Does 29 divide x?
False
Suppose -3*i + 696 = c, -4*i + 4*c + 308 + 636 = 0. Suppose -5*j + 0*j = -2*z + i, 2*j = -5*z + 597. Does 17 divide z?
True
Let p = 36 - 27. Suppose 695 = -p*w - 493. Let d = w - -202. Does 14 divide d?
True
Let i(y) = y**3 + 8*y**2 + 5*y - 21. Let q be i(-7). Let j(c) = c**3 + 9*c**2 + 12*c + 6. Does 12 divide j(q)?
False
Let b(r) = -4*r + 31. Let m be b(7). Suppose 5*p - 3 = -5*n + 37, m*p = 4*n + 10. Is p even?
True
Let y(b) = -b**3 + 15*b**2 + 16*b - 32. Let v be y(15). Suppose 2*f + h = 9, f - 6 = -h - 0. Suppose 3*w - v = r + r, 5*r - 236 = -f*w. Is w a multiple of 36?
True
Suppose 3*s - 2521 = 51*h - 52*h, -s + 843 = -h. Let x = s + -527. Does 27 divide x?
False
Let p be (24/10 + 57/(-19))*-10. Does 4 divide (3 + ((-8)/(-4) - p))*-137?
False
Let n(z) = -511*z**3 - 4*z**2 - 4*z - 1. Let b be n(-1). Let m = b + -162. Does 29 divide m?
True
Let g = 2030 + -1409. Does 27 divide g?
True
Suppose -2*g + 12252 = 2*r, -268*r + 264*r + 2*g = -24534. Is r a multiple of 87?
False
Suppose -b + 259 = -2*d, 2*d = -5*b + 264 + 1055. Suppose -w = -37*q + 36*q - b, q = -2*w + 532. Does 53 divide w?
True
Let o = 4189 + -2443. Let i = o + -1078. Let a = i + -423. Is 13 a factor of a?
False
Let i(d) be the second derivative of 0*d**4 + 0 + 2/3*d**3 + 16*d - 1/2*d**2 - 7/20*d**5. Is 16 a factor of i(-3)?
True
Let k(u) = 135*u - 178. Let p = -491 + 498. Does 13 divide k(p)?
True
Suppose -5*v + 9*v - n - 10801 = 0, -5*v + 4*n = -13493. Is v a multiple of 9?
False
Let i be 189/(-18)*(-24)/14. Suppose -4*x = 5*q - 28, -3*q - 2*x = x - i. Suppose -24 = -3*c - 4*h, q*c + h + 0*h - 45 = 0. Does 3 divide c?
True
Suppose 23964 = 18*j - 28380. Is 19 a factor of j?
False
Suppose 0 = 2*l + 4*m - 1765 + 153, -5*m + 791 = l. Is l a multiple of 12?
True
Suppose -i + 24142 = -2*a, 3*a + 10520 = i - 13618. Is 35 a factor of i?
True
Let i be (38/(-57))/(4/558). Let a = i - -95. Suppose -5*g - 2*p + 270 + 316 = 0, a*g = -2*p + 238. Is g a multiple of 29?
True