of r?
True
Let q = -5080 - -6410. Is q a multiple of 7?
True
Let r(w) = 3392*w**2 + 117*w - 128. Is r(3) a multiple of 23?
True
Let q be 1/(-2)*(2 + -6). Suppose -q*u = 2*u - 20. Suppose 4*k - 2*k - 127 = -u*r, -5*k + 3*r = -302. Is k a multiple of 17?
False
Suppose -4*s - x + 5*x = 100, 3*s - 5*x = -83. Let w be (-1120)/s + (-1)/3. Let i = -18 + w. Is i a multiple of 7?
True
Let f be (63/(-14) + 1/2)*46. Let m = f + 401. Does 65 divide m?
False
Let u(p) = 38*p - 16. Suppose -36*d - 320 = -68*d. Is u(d) a multiple of 14?
True
Suppose 63*z - 1705744 = 19*z - 80*z. Is z a multiple of 38?
True
Suppose 12 = 3*c - 9. Suppose c*t = 10*t + 765. Let p = 361 + t. Is p a multiple of 22?
False
Does 47 divide (3/(-9))/(2/(-12)) + (8345 - -66)?
True
Suppose -6*i + 1032 = -540. Suppose g - i = -2*g + 5*w, 0 = w + 2. Is 12 a factor of g?
True
Let z(y) = y**2 - 15*y + 29. Suppose -7*s = -18 - 3. Suppose -26 = -4*o - s*n + 57, 3*n = -o + 32. Does 21 divide z(o)?
True
Let j(b) = -809*b - 147. Is j(-6) a multiple of 9?
True
Let o = -25 - -26. Is 85728/190 - o/5 a multiple of 13?
False
Suppose 0 = 26*z - 31*z + 25. Suppose 0 = z*p - 5*h - 4115, -3*p + h + 4*h = -2477. Is 12 a factor of p?
False
Let r be 515 + 4/(-1) + 0. Let s = r + -269. Is 22 a factor of s?
True
Let i(q) = -2*q**3 + 14*q**2 + 10*q - 16. Is i(-6) a multiple of 6?
False
Let t(j) = j**3 + 15*j**2 - 3*j + 2. Let w be t(-15). Let h = w + -42. Suppose 0 = 3*c - 4*x - 181, -h*c + 5*x + 289 = -6. Is c a multiple of 13?
False
Suppose -69*y + 310996 = -102*y + 91*y. Is 7 a factor of y?
True
Suppose 0*k + 6*k = 108. Let w(o) = 2*o**2 - 38*o + 84. Is 4 a factor of w(k)?
True
Let b = 4189 + 245. Is 51 a factor of b?
False
Let x = -2 + 101. Let w be 3/(-21) + 119/147*15. Does 5 divide x/2 - (-6)/w?
True
Suppose -3*l = -4*n - 115, 3*n - 5 - 1 = 0. Let y = l - 67. Let u = y + 138. Is 14 a factor of u?
True
Suppose -1169 + 329 = -3*q. Suppose -q = -0*o - 2*o. Suppose 5*n = 220 + o. Is 9 a factor of n?
True
Let w(d) = 7*d**2 - 126*d - 20. Let g = 270 + -250. Is w(g) a multiple of 10?
True
Let r(f) be the second derivative of 5*f**3/3 - 77*f**2/2 + 87*f. Is 14 a factor of r(23)?
False
Let o = -57 - -75. Suppose 16*s + o = 7*s. Does 13 divide (s - -1) + (-1)/(2/(-340))?
True
Let w(z) = 29*z + 13. Suppose 5*j + 2*h - 5*h = 55, -2*j + 22 = -2*h. Let d be w(j). Let c = d + -119. Is c a multiple of 13?
False
Let h(d) = -d**3 - 6*d**2 + d + 3. Let y be h(-7). Let l be y/10 + (-2)/4. Suppose -24 - 68 = -l*c. Is c a multiple of 8?
False
Let w(z) = -z - 5. Let x be w(-5). Let q(n) = -6*n**2 - 289*n - 44. Let p be q(-48). Suppose x = p*s - 84 - 4. Does 22 divide s?
True
Let r(c) = -14*c - 3*c - 16 - c**2 - 9. Let w be r(-16). Is 26 a factor of 1*w/((-9)/130)?
True
Let k(j) be the second derivative of 7*j**3/6 - 43*j**2/2 + 20*j. Is 2 a factor of k(10)?
False
Let l = -99 - -101. Suppose -l*v + 371 = 83. Does 24 divide v?
True
Let l(r) = -r**3 + 17*r**2 + r - 142. Let u = -528 + 544. Is l(u) a multiple of 65?
True
Let q(w) = 26*w - 7*w**2 - 10 + 5 + w**3 - 3 + 0*w**3. Let c = 40 + -34. Is 27 a factor of q(c)?
False
Suppose -3*t + 1 = -5. Suppose -2*h + 23 = 3*x, -4*h - 2*x + 16 = -10. Suppose h*k = -1 - 3, -u = -t*k - 98. Does 16 divide u?
True
Suppose -12*z + 328 = -8*z. Let h be (-2)/(-4)*z - 2. Suppose 0*s = -3*s + h. Is 13 a factor of s?
True
Let h(p) = 25*p**2 - 29*p + 199. Is 58 a factor of h(34)?
False
Let p be ((-92)/115)/(2 - 56/30). Does 5 divide (2700/(-63))/(p/21)?
True
Let q = 8680 - 3472. Is q a multiple of 17?
False
Let z = 10 - 5. Let b = 326 + -252. Suppose 0 = -l - w + 24 + b, -z*l = 2*w - 496. Is 25 a factor of l?
True
Let y(i) = 4*i - 2. Let h be y(-5). Let m = -99 - h. Let k = 34 - m. Is k a multiple of 37?
True
Let q be (-4 + 6 - 2)/2. Let p be q/((-1)/(5/10)). Suppose 219 = 3*t - p*t. Is 27 a factor of t?
False
Let a be (-2 - -4 - -1) + -3. Suppose a*q = 2*g + 2*q - 6, -q - 7 = -g. Suppose 0 = -r + 4, -g*r = -5*z + 463 + 257. Is z a multiple of 37?
True
Let i(d) = -491*d - 2608. Does 62 divide i(-24)?
True
Let l(c) = c**2 - 7*c - 12. Let p be l(-3). Suppose -9*f = -3*f - p. Is (-40)/(-12) - f - 629/(-3) a multiple of 42?
True
Suppose 0 = 447*r - 1139087 - 415579. Does 17 divide r?
False
Let t be ((-1454)/8)/(-3*4/(-96)). Let a = t - -2078. Is 26 a factor of a?
True
Let v(m) = 28*m - 123. Let y be v(6). Is 19 a factor of (-9)/(y/7)*-45?
False
Suppose 2874*q - 2870*q = -36. Let m(n) = n**3 + n - 1. Let f(b) = -2*b**3 - 7*b**2 - 3*b + 30. Let z(x) = f(x) + m(x). Does 19 divide z(q)?
True
Suppose 0 = -15*n + 460 + 20. Suppose -40*w + 4800 = -n*w. Is w a multiple of 10?
True
Suppose 0 = l + 3*q - 52, 0*l - 3*l = 3*q - 180. Let r = 64 - l. Is 2/(-3) + r + 2170/105 a multiple of 20?
True
Suppose 0 = -2*o + 4*f + 28210, -109*o + 14056 = -108*o + 5*f. Is 231 a factor of o?
True
Suppose -2*u + 3*f = -43789, 4*u - 656*f - 87598 = -654*f. Is 94 a factor of u?
True
Let r(t) = 70 + 0*t**3 + 2*t + t**2 - 3*t - t**3. Let h = 330 + -330. Is r(h) a multiple of 7?
True
Let a = 703 + -439. Let g = a + 2. Is g a multiple of 14?
True
Suppose 2*y - 775 = -3*q, 4*y - 5*q - 407 = 3*y. Suppose 12*o - 116 + y = 0. Let b = o + 29. Does 3 divide b?
True
Suppose 0 = -35*v + 10*v - 800. Let h = 274 + v. Is h a multiple of 92?
False
Let h be 4/((-4)/1) + 37. Let p = 32 - h. Is (-3 - -2)/1 - (p - 116) a multiple of 17?
True
Let k = 2980 - 1690. Suppose 3*d = -2*i + 964, 4*d + 7*i - k = 2*i. Is d a multiple of 10?
True
Is 8 a factor of ((-1)/(-6) + (-101980)/(-48))/((-1)/(-4))?
False
Let i = 551 + -302. Suppose 4*l - p = -0*l + i, 0 = -5*l - p + 318. Does 9 divide l?
True
Let h = 97 + -54. Suppose 55*c - h*c = 1728. Is c a multiple of 17?
False
Let v(c) = 132*c**3 - 4*c**2 - c + 7. Let m be v(-2). Let j = 1595 + m. Is 47 a factor of j?
False
Suppose 0 = v + 3*v + 3*z + 10, 2*z - 4 = 0. Is 9 a factor of (2/v)/(4/(-3064))?
False
Let r(o) = 3*o + 0 - 9 - 4. Let b be r(6). Is 20 a factor of (6/b)/(16/1760)?
False
Suppose l - 2*t - 1695 = 0, -3352 = -3*l + 4*t + 1733. Does 15 divide l?
True
Let q be ((-1004)/12 - 1)/((-4)/24). Is 8 a factor of (-1)/(-3)*-2 + q/6?
False
Let j be 57/51 + (-22)/187. Let d(s) = 240*s**3 + s**2 + 12*s - 13. Is d(j) a multiple of 6?
True
Let w(o) = -o**3 + 32*o**2 + 4*o - 45. Is w(24) a multiple of 27?
False
Let t = 9803 - 5297. Is t a multiple of 16?
False
Let i be ((-11725)/21)/((-1)/(-3)). Let n = i + 3237. Suppose 5*z = -6*z + n. Is z a multiple of 11?
False
Suppose 29173 = 5*i + 4*w, 40*w + 28 = 44*w. Is i a multiple of 67?
True
Let i = -4948 - -5548. Is 29 a factor of i?
False
Is (12840/(-240))/(2/(-52)) a multiple of 13?
True
Let i = 210 - 198. Suppose -110 = -4*t + y + 1095, -4*y + i = 0. Does 14 divide t?
False
Suppose 19*y = 24*y - 6220. Let w be (-23)/161 + y/(-14). Let c = -45 - w. Is c a multiple of 22?
True
Suppose -2*j - 4*d = -388, 388 = -101*j + 103*j - 3*d. Is j a multiple of 2?
True
Let b(j) = j**2 + 3*j + 8. Let u be 28/(-7)*1*-1. Let r be b(u). Does 14 divide (r - 1) + 0/(-19)?
False
Let k = -35 - -39. Suppose -5*x = 4*t - 648, 648 = k*t - 3*x + 5*x. Is t a multiple of 7?
False
Let m = 964 + -903. Suppose -m*w + 9166 = -4559. Is w a multiple of 15?
True
Does 18 divide 8/(-12)*29439/(-6)?
False
Let r be 1986/(5 - 28/8). Let v = -700 + r. Suppose -o + v = o. Does 39 divide o?
True
Let i = 3097 - 692. Is 2 a factor of i?
False
Let s = 50939 + -42674. Is s a multiple of 95?
True
Let s(i) = 2*i**3 + 6*i**2 + 3. Let n be s(-3). Suppose -69 = n*b + 24. Let p = b + 37. Is 3 a factor of p?
True
Let g = 50 + -101. Let y = g - -96. Let q = y + -28. Is 6 a factor of q?
False
Suppose 3*l - 8 = 7. Suppose l*h = -f + 41, 3*h + 2*f + 5 = 31. Let b = h - -77. Is 28 a factor of b?
False
Let w be ((-15)/(-45))/(2/1308). Suppose 5*m - w = 672. Is m a multiple of 13?
False
Let k be ((-7 - -7)/(-3))/1. Suppose -8*v = -3*v + 25, k = 4*m - 3*v - 1023. Is m a multiple of 26?
False
Suppose -3*l + 3*x + 16 = 109, -4*l = -x + 109. Let a = l + 1214. Does 18 divide a?
True
Let p(d) = -28*d**3 + 19*d + 36. Is 8 a factor of p(-4)?
True
Suppose 153*v - 151*v - 38 = 0. Suppose n - 47 = -3*f, 4*n = 3*f + v + 139. Is 6 a factor of n?
False
Let t(q) = -q**2 - 10*q + 14. Let c be t(-11). Does 15 divide (51/(-9))/(c/(-27))?
F