= 4*j + 5*v - 1992. Does 30 divide j?
False
Let y = 16 + -14. Let v be (y - (1 - 7)) + 4. Suppose -v*q + 486 = -3*q. Does 18 divide q?
True
Let y(u) = -4517*u - 135. Is y(-8) a multiple of 37?
True
Let j(v) = 16*v - 30*v - 93 - 28*v - 2*v - 6*v. Is 20 a factor of j(-4)?
False
Let x = 7152 - 4125. Is 13 a factor of x?
False
Suppose -530 = 5*f + 5*k, -2*k = f + 98 + 5. Let i = f + 175. Does 22 divide i?
True
Let i(h) = -6*h + 45. Let f be i(7). Suppose 3*m - 4*r = 794, -2*m + 7*m - f*r - 1316 = 0. Is 24 a factor of m?
False
Let y be 4/(-1) + (0 - -212) - 3. Let r = y - -821. Does 38 divide r?
True
Suppose 1382 = s - b - 49, 2*b = -4*s + 5700. Suppose 29*q - 6212 = -s. Is 15 a factor of q?
True
Let z be (-5)/1 - 3*50/(-30). Suppose z = 13*f + 13*f - 3094. Is 20 a factor of f?
False
Suppose -13 = 5*f - 4*b, b - 22 = 5*f - 0*b. Is 62/(f + 3)*-12 a multiple of 12?
True
Suppose -56*r = 26*r - 4344 - 4758. Is r a multiple of 3?
True
Let g(m) = -m**2 + 32*m - 55. Let y be g(30). Let l(f) = -4 + f**3 - y*f + 5 + 2 + 9*f**2. Is l(-5) a multiple of 14?
False
Let y(b) = b**3 + 21*b**2 + 38*b + 4. Let j be y(-19). Suppose h = -5*a + 3152, 0 = -j*a + h - 3*h + 2524. Is a a multiple of 18?
True
Let q(w) = 64 + 170*w - 140 - 49. Is 4 a factor of q(2)?
False
Suppose -17*h - 1309 = 1547. Let t = -120 - h. Is 5 a factor of t?
False
Let v be (1 - 1) + 1*2. Suppose 2*q - 201 = r, 2*r = -q + 6*r + 104. Suppose -2*h = -3*w - q, -v*w - 272 = -5*h - 0*w. Does 14 divide h?
True
Suppose -3*s + 25 = 19. Suppose -4*m - 6 - s = 0. Is m + 460/24 - 1/6 a multiple of 3?
False
Let g = 10686 - 6799. Does 13 divide g?
True
Let a = 476 - -1097. Suppose n + 1160 = 4*v, 2*v - a = 2*n + 765. Is 13 a factor of 6/(-30) + n/(-10)?
True
Suppose 71*x + 5*c = 72*x - 3139, 0 = x - c - 3131. Is x a multiple of 46?
False
Suppose -95 = -4*o - 3*n - 247, 3*o - 2*n = -114. Let s(b) = 4*b**2 - 6*b - 2. Let h be s(5). Let m = o + h. Does 10 divide m?
True
Suppose -5*g = -5*t + 680, 0 = 5*g - 102*t + 106*t + 662. Suppose 0 = 2*w + 4*a + 116, 5*w - a + 299 - 9 = 0. Let n = w - g. Is 23 a factor of n?
False
Suppose -45*p = -42*p - 4536. Is p a multiple of 36?
True
Let n(c) = -1117*c + 159. Let j be n(-11). Does 2 divide j/50 - (-228)/2850?
False
Let s = 29 - 25. Suppose 0*k + 316 = s*k. Suppose 4*a = k + 209. Does 14 divide a?
False
Let i(d) = 6*d + 6. Let h be i(6). Let u = 45 - h. Suppose u*j = 4*j - 122. Is j a multiple of 14?
False
Let i be 0 + 36/3 + 1. Suppose -p = -1 + i. Let m = p + 96. Does 11 divide m?
False
Let y(m) = -28*m + 73. Suppose -7*f = -14*f - 63. Is 5 a factor of y(f)?
True
Let u be 5/(-10) + (-2)/(-4). Suppose 15*d = 6*d + 27. Suppose u = d*c + 5*m - 133, -2*c - 6*m = -3*m - 89. Does 6 divide c?
False
Let n(q) = -q**3 - 8*q**2 - 12*q - 12. Let c be n(-6). Let f = c - -14. Suppose 0 = 2*x + 10, -6*g - x = -f*g - 315. Does 10 divide g?
True
Let y(b) = -b - 4. Let l be y(-10). Let w(u) = 5 - 3*u + 4*u + 4*u - 17. Is 9 a factor of w(l)?
True
Suppose 501*h = 499*h + 84358 - 6642. Is 16 a factor of h?
False
Let k(n) = 1 + n**3 - 4*n**2 + 5*n**3 + n**3 - 6*n**3. Let t be k(3). Does 13 divide (260/t)/(2 - (-10)/(-4))?
True
Suppose -5*i + 159 = -3*t, 2*t - 4*t + 54 = 2*i. Suppose i*f = 16*f + 504. Suppose 42 + f = x. Does 13 divide x?
True
Suppose 4 = 2*c - 0*c. Let y(t) = 2*t**3 - 66*t**2 + 2*t - 58. Let q be y(33). Let p = c + q. Is 2 a factor of p?
True
Let z(x) be the second derivative of -17/6*x**3 - 21/2*x**2 - 2/3*x**4 + 23*x - 1/20*x**5 + 0. Is 6 a factor of z(-6)?
False
Let k = -39 + 52. Let w = 5 + -24. Let s = k - w. Is 16 a factor of s?
True
Let d be (111/(-12) + 9)*(-40)/2. Suppose -5*y = 5*q - 346 - 1734, d*y - q - 2068 = 0. Is 69 a factor of y?
True
Let m(x) = -2*x**2 - 31*x - 11. Let u be m(-15). Suppose 647 = u*c - 697. Is c a multiple of 8?
True
Suppose 5*g + 1408*q = 1405*q + 118281, -3*g - q = -70975. Is g a multiple of 111?
False
Let n(w) = -w**2 + w + 30. Let a be n(6). Suppose -20 = -4*i, -4*i = -0*q + 3*q - 122. Suppose 2*x = q - a. Is x even?
False
Suppose 0 = 3*w - 180 + 618. Let d = w + 240. Let j = -38 + d. Is 15 a factor of j?
False
Suppose 7*j + 18*j - 14475 = 0. Suppose -2*s = s - j. Is s a multiple of 13?
False
Let v be -3 - (-27 + 58)*-5*1. Suppose -5*w + 1897 - 117 = 0. Suppose 326 + v = 4*j - l, -3*j + 2*l = -w. Is 5 a factor of j?
True
Let d(b) = b**3 + 12*b**2 - 2*b - 16. Let r be d(-12). Let i = r + 4. Suppose -l - i = -30. Is l a multiple of 3?
True
Let f = -67616 - -97324. Does 28 divide f?
True
Let q(s) = -5*s**2 + 706*s - 353. Does 37 divide q(48)?
True
Let x(a) = -42 - 14*a**3 + 4*a - 13*a**3 - 10*a**2 + a**2 + 26*a**3. Is x(-11) a multiple of 39?
True
Let i = -3066 - -4972. Is i a multiple of 17?
False
Let f(v) be the second derivative of v**4/6 + 11*v**3/6 + 32*v**2 + 12*v - 3. Is f(-16) a multiple of 8?
True
Let l = 170 - 167. Let r(w) = 8*w**3 + 2*w**2 + 5*w + 3. Is r(l) a multiple of 14?
True
Suppose 4*y - 133 = 2*n + 3*y, 0 = 3*y + 9. Let z = n + 100. Is ((-210)/4)/((-24)/z) a multiple of 10?
True
Let x = -8913 + 15044. Is x a multiple of 100?
False
Let w = -5337 - -8649. Is 92 a factor of w?
True
Let h(i) = 1 + 17 + 78*i + 24 - 19*i - 21*i**2 - i**3. Does 46 divide h(-24)?
False
Does 5 divide 35*-150*(-4)/24?
True
Let x(c) = 5729*c + 5884. Is x(4) a multiple of 18?
True
Let c be 12/5 + (-8)/20. Suppose -16*p = -p - 975. Suppose -4*v + 175 = a, c*a + 4*v - 269 = p. Is 18 a factor of a?
False
Let j(o) = -14*o + 136 + 218 - 40 - 2*o. Is j(8) a multiple of 13?
False
Is 38 a factor of (-19 + 9473 - 11) + 23?
False
Suppose 21*d + 122*d = 146718. Does 9 divide d?
True
Is (-338712)/(-588) + (-50)/1225 a multiple of 32?
True
Let q be (3 + 3)*(-32)/24. Let m(t) = -45*t - 52. Does 17 divide m(q)?
False
Let c be 36/27 - 8/6. Suppose 0 = -4*s + 2*p - 30, -2*s - 5 = p - c. Does 36 divide 8/(-10)*1*9*s?
True
Let b(m) = m**3 - 4*m**2 - 5*m - 6. Let c be b(-3). Let w = c + 43. Is 16 a factor of 8820/110 - (2 + 20/w)?
True
Let m = -3238 + 5001. Suppose 17*a - m = 1790. Is 19 a factor of a?
True
Suppose v + k - 8 = 4*k, -2*k = -3*v + 38. Suppose -v = -5*c + 2*w, c - 2*c + 10 = -4*w. Does 4 divide 7*(c - 1)*(-96)/(-56)?
True
Let i = 13 + 12. Suppose 3*s + 2*o - i = 4*o, -11 = -s - 2*o. Does 3 divide s?
True
Let o = 972 + -486. Is o a multiple of 9?
True
Let z = 34 + 75. Let i be (z + 0 + -1)*(-15)/6. Let t = i - -380. Is 14 a factor of t?
False
Let k = 516 + -519. Is 57 a factor of (18/(-4))/(2*k/456)?
True
Suppose 0 = 3*f - 4259 + 1451. Let y be (36/(-2))/(9/333). Let w = y + f. Is 54 a factor of w?
True
Let c = 6321 - 6067. Is c even?
True
Suppose 3*p = n + 57, -2*n + 3*p - 32 = 67. Does 2 divide 1 + n/(-7) - -14?
False
Let q be (7/14 + -1)/(1/8). Let z be (q/(-10)*8)/(10/25). Does 16 divide z/10 - (-3168)/40?
True
Suppose 32 + 765 = a. Does 13 divide a?
False
Let h be ((-56)/42)/((-4)/(-18)). Does 11 divide (101 - 6) + 42/h?
True
Let m = 284 + -255. Let y(h) = 2*h**2 - 39*h - 71. Is 24 a factor of y(m)?
True
Let o be (-24)/5*2795/(-86). Let w = o + -102. Is w even?
True
Is 20 a factor of 372936/180 - -8 - (-2)/15?
True
Let s = 6775 + -4820. Is 23 a factor of s?
True
Let r(w) = -w**3 + 29*w**2 - 48*w + 10. Let k be r(27). Let u = k + -72. Is u a multiple of 19?
False
Let z(p) = 42*p**3 + 10*p - 7. Let a(q) = -163*q**2 - 7*q - 28*q**3 + 163*q**2 + 5. Let y(m) = 7*a(m) + 5*z(m). Is 38 a factor of y(2)?
True
Let z = 176 - 170. Suppose 10*q - z - 1434 = 0. Is 9 a factor of q?
True
Let b(s) = s**2 - 17*s + 36. Let y be b(16). Suppose -n + y = -3*n + 4*h, -4*n - 2*h - 20 = 0. Is 4341/18 - (-1)/n a multiple of 41?
False
Suppose -u + 2*j - 6 - 3 = 0, 5*j = -4*u - 36. Let a(g) = -4*g. Let c be a(u). Suppose 372 = -c*w + 40*w. Is 46 a factor of w?
False
Suppose -10 = 5*i + 5*k, -k - 20 = 11*i - 16*i. Suppose 5*b + 749 = i*c, 6*b - b + 2*c = -734. Let n = b + 357. Does 17 divide n?
False
Is 20 a factor of (10/(-155) - 12985792/(-248))/2?
False
Let h be (3*10/18)/(1/3). Let j(a) = 1468*a**2 - 1469*a**2 + h - 21*a + 17. Is 20 a factor of j(-19)?
True
Suppose 0*l - l + 4*w + 19 = 0, 5*l + w = 74. Suppose 52*q = 55*q + l. Is (q + (-297)/12)/((-3)/24) a multiple of 34?
True
Let y(p) = -36*p - 39. Let h be y(24). Let l = 1267 + h. Is l a multiple of 13?
True
Suppose -