ple of 14?
True
Suppose -78*u + 70*u - 112 = 0. Let g = 41 - u. Is 14 a factor of g?
False
Suppose 231 = 26*w - 315. Suppose w*x - 2737 = 16352. Does 9 divide x?
True
Let y be (-13 - -135)/((12/(-10))/3). Let m = 625 + y. Let o = m + -138. Does 40 divide o?
False
Suppose 2*q + 2*q = 3*l - 91, 3*l = -3*q + 63. Suppose 47*a = 51*a. Suppose -19*d + l*d - 1566 = a. Is 48 a factor of d?
False
Let t(u) = 16*u**3 + 3*u**2 - u + 3. Let o be t(-2). Let r = -148 - -62. Let s = r - o. Is 3 a factor of s?
False
Suppose 0 = 17*f - 15*f - 56. Suppose -f = 5*b - 163. Let p = 55 - b. Is 8 a factor of p?
False
Let o(n) = -n**3 + 7*n + 34. Let v be o(0). Let c(k) = 5*k - 78. Is 5 a factor of c(v)?
False
Suppose 0 = 79*y + 15*y - 846. Let o = -10 - -40. Suppose -492 = -y*m + o. Does 27 divide m?
False
Suppose 5*i + 86 - 51 = 0. Does 13 divide (-7 - i) + 1 - -310?
False
Let g = 9 - 6. Let x(l) = -l**2 + 4*l + 1. Let j be x(g). Suppose o + 0*o = -2*z + 284, -j*z + 3*o = -548. Does 28 divide z?
True
Suppose 9*f + 2*f = 0. Suppose -39*n + 43*n - 8 = f. Suppose -144 = -4*v + 3*j, -n*j + 72 = 2*v + 3*j. Is 12 a factor of v?
True
Suppose 2*s = -3*s - 100. Let j be -146 + (-16)/(s/5). Let u = j - -262. Is 12 a factor of u?
True
Let x be 4/(3 - 11)*298. Let l = x + 369. Suppose 0*p + 3*i = 5*p - l, 118 = 3*p + i. Does 8 divide p?
False
Suppose 0 = -26*g + 32*g - 6738. Let h = -31 + g. Is h a multiple of 21?
True
Let g be 440/16*176/(-20). Is (768/(-30))/(4 + g/60) a multiple of 16?
True
Let j = 1234 - 874. Suppose 3*v + 3*s = 51, 5*s + 41 = 5*v - 44. Suppose j = v*l - 11*l. Is l a multiple of 15?
True
Let p = 4064 + 15028. Is p a multiple of 43?
True
Suppose -79*k = -0*k + 126*k - 8244690. Does 41 divide k?
False
Is (-5)/(-22 + 17)*(19046 + 0) a multiple of 107?
True
Let v be 12*((-14)/4 - -2*2). Suppose 12 = -2*j + v*j. Does 18 divide 642/4 + 15/(-6) + j?
False
Let v(j) = -j**2 - 12*j - 18. Let o be v(-10). Suppose -25 = -5*d, -2*f + 295 = o*d - 51. Is f a multiple of 7?
True
Is (157614/(-21))/((-108)/378) a multiple of 82?
False
Suppose b - 2 = -2*d + 7*d, 10 = 4*d + 5*b. Let i be d - (-3 + -66 + 4). Suppose 4*u - i = -u. Is 7 a factor of u?
False
Let l be 5 + 4 + (-45)/5 + 722. Suppose -l = -5*u + 223. Does 7 divide u?
True
Suppose 5 - 4 = r. Is 1 + r - (-70)/7 a multiple of 4?
True
Let c = 201 - 81. Suppose 2 = 2*z, -5*p - z + 22 = z. Suppose 3*g - 76 = -i - 21, p*i + c = 5*g. Is g a multiple of 10?
True
Let r = 1284 - 814. Does 94 divide r?
True
Suppose 247*q + 213864 = 261*q. Is 228 a factor of q?
True
Let m = 52 + -458. Let d = -282 - m. Suppose -5*i = -4*y + d, 5*y + 0*i - 3*i = 168. Is y a multiple of 12?
True
Does 12 divide ((-283184)/(-110))/(4/30)?
True
Suppose 0 = -5*p - 25, 3*h - 5*p - 72 + 8 = 0. Let z = h + -7. Suppose 113 = z*r + 29. Is r a multiple of 2?
True
Suppose -2*y - 3*y + 20 = 0. Suppose -k + j = 2, -y = -j - j. Suppose k = -5*t - 50 + 670. Is 18 a factor of t?
False
Let t(h) = 2*h + 10 + 100 - 11. Let l be (-2 - (7 + -9))/(-4 - -3). Is t(l) a multiple of 39?
False
Is 47 a factor of (25 + 3822/(-104))/((-3)/11784)?
True
Let u be (-68)/(-17) - (-1 - 244). Suppose 0 = 2*f - 2*c - 250, 13*c = 2*f + 12*c - u. Is 10 a factor of f?
False
Let f(d) = d**3 + 37*d**2 - 59*d + 156. Does 59 divide f(-35)?
False
Let v(t) = -8*t - 1650 + 25*t**2 - 6*t**2 + 1645. Let k be v(-3). Suppose 5*m - k = -2*f - 3*f, 0 = 3*m - f - 114. Does 5 divide m?
False
Let n = 133 + -183. Is 64 a factor of ((-216)/(-5))/((-5)/n)?
False
Suppose 0 = 4*p - 3*c + 159 + 16, 131 = -3*p + 2*c. Let q = p + 41. Is (-8)/q - (-9 - -7) even?
True
Let t(d) = 6*d + 58. Let k be t(-7). Is 13 a factor of (k + -233)*(1 + -2) + 4?
True
Let n = -52 - -54. Suppose 4*m = -3*i - 7, m - n*i = -m + 14. Suppose m*a = -2*a + 660. Is a a multiple of 11?
True
Let m be 3/21 - (-54)/42*3. Is 11 a factor of m*39*15/10?
False
Let a(g) = -10*g - 133. Let d be a(-13). Does 39 divide 12723/21 - d/21?
False
Let b = 595 - 344. Let h = 565 + b. Does 13 divide h?
False
Suppose -4 = -2*a, 0 = d - 3*a - 1735 + 257. Suppose t + 3*y = 3*t - d, -4*t + 2960 = -4*y. Is 23 a factor of t?
True
Let q(k) = -175*k**3 + k**2 + 3*k + 3. Let b(j) = -3*j**2 + 6*j + 3. Let v be b(-2). Let n be (-6)/(-15) + v/15. Does 16 divide q(n)?
True
Let d(g) = -7*g**3 - 2*g**2 - 33*g - 48. Does 15 divide d(-9)?
True
Let g(v) = -12*v**3 - 6*v + v**3 + 2*v**2 + 6*v**3 - 15. Is g(-4) a multiple of 33?
False
Suppose 0 = 2*h + 3*l - 296 - 125, 5*l + 660 = 3*h. Suppose 0 = -35*n + 38*n + o - h, 3*o = 4*n - 291. Is 9 a factor of n?
True
Let k be -5 + (-12)/(-4) - -8. Is 16 a factor of -2 + k - -976 - 4?
True
Does 47 divide (-235)/(-141) + (3 - 16418/(-6))?
False
Suppose -17*d = 2*m - 16*d - 23308, 46624 = 4*m - 2*d. Is 105 a factor of m?
True
Let a = 1967 + -1307. Suppose 256*s = 259*s - a. Is s a multiple of 20?
True
Suppose -15 = -2*k - i, 3*k - 40 = -20*i + 15*i. Suppose 4*a - k*a = x - 699, x - 2101 = -3*a. Is a a multiple of 11?
False
Let s be (8/6)/(6/45). Let r(q) = q**3 - 16*q**2 + 31*q + 10. Let b be r(15). Suppose -s*z + b = -130. Is z a multiple of 5?
False
Let n(q) = -q**2 - 6*q + 25. Let b be n(-8). Let z(u) = 3*u**2 + 9*u - 21. Is z(b) a multiple of 6?
False
Let y = -406 - -403. Does 49 divide 271*y*8/(-6 + -2)?
False
Let s = 30 - -6. Suppose 0 = j + s - 129. Let i = 137 - j. Does 5 divide i?
False
Suppose -7 = 255*o - 6892. Let a = -86 - -182. Let t = o + a. Does 15 divide t?
False
Suppose o + 628 = 7*o - 830. Is o a multiple of 14?
False
Suppose -5*a + 61 + 49 = 0. Suppose 30 = 4*n + a. Suppose -55 = -o - 4*j, -n*o + 0*j + 4*j + 170 = 0. Does 10 divide o?
False
Suppose -3*y - 10 = -4*m, -y + 4*m + 0 = 14. Suppose 0 = q - 2*n - y, 0*q + q = 4*n. Suppose -q*j = -2*j - 60. Is 5 a factor of j?
True
Let r be ((-1944)/20)/(2/120). Is r/120*((-9)/3 + -2) a multiple of 4?
False
Let y = -291 + 292. Is 11 a factor of (9009/(-195))/(-2*y/10)?
True
Let j(y) = y**2 + 19*y + 14. Let m be j(-16). Let g = 36 + m. Is (123/9 - g)/((-4)/(-36)) a multiple of 21?
True
Suppose 0 = 5*i - p - 5839 - 1218, 2*i - 2816 = -3*p. Suppose -i = -5*b + 49. Is (-40)/(-140) - b/(-7) a multiple of 21?
True
Let m = 2550 + -755. Does 16 divide (m/10)/((-5)/(-10))?
False
Suppose 25*k - 18*k - 70 = 0. Is 7 a factor of ((-77)/14 + 8)*184/k?
False
Suppose 2*l = 7*l - 4*c - 333229, 2*l = -4*c + 133342. Does 13 divide l?
False
Suppose 30*p - 28*p - 10 = 0, -4*n + 6879 = 3*p. Is 11 a factor of n?
True
Is 47 a factor of (-1)/23 - (-11574892)/2737?
False
Is 930410/364 + 7/(-98) a multiple of 71?
True
Does 27 divide ((-3269709)/(-1599))/((-3)/(-26))?
False
Let m = -137 + 140. Is 3/(((-226)/(-44) + -5)/m) a multiple of 22?
True
Let p(a) = 2*a**3 + 184*a**2 - 59*a + 273. Is 28 a factor of p(-91)?
True
Let d(h) = -57*h + 562. Is 2 a factor of d(8)?
True
Let z(v) = -v**2 - 11*v - 16. Let t be z(-9). Suppose -5*n = t - 27. Suppose -n*f - 5*u = -590, 3*f - 5*u - 427 = -f. Is 28 a factor of f?
False
Let o(i) = 12*i**3 + 8*i**2 - 24*i + 4. Let l(r) = r**3 + r**2. Let t(a) = 3*l(a) + o(a). Does 18 divide t(4)?
True
Suppose 0 = 18*m + 2321 + 523. Let d = m - -334. Is d a multiple of 44?
True
Let p be 1 + -279 - ((-6)/(-3) + 2). Let b = p + 442. Is b a multiple of 16?
True
Let i = 53593 + 627. Is i a multiple of 41?
False
Let g(s) = -s**2 + 8*s - 12. Let h(l) = l + 4. Let q be h(-1). Let n be g(q). Suppose w + 101 = 6*w + n*o, -2*w + o + 47 = 0. Is w even?
True
Let m(v) be the first derivative of 7*v**2/2 - 15*v + 47. Suppose 3*i - 22 - 14 = 0. Is m(i) a multiple of 11?
False
Suppose -2615 = -19*y + 14*y. Let d = -229 + y. Suppose -31*i = -28*i - d. Is i a multiple of 18?
False
Let k = 115 + -145. Does 10 divide (-210)/(2/3 - k/(-18))?
True
Let l = 2 + 50. Suppose -54*z + l*z = 0. Suppose z = -4*i + 8*i - 128. Is i a multiple of 8?
True
Suppose -5*o - t = -45755, 13*o + t + 45745 = 18*o. Is 30 a factor of o?
True
Suppose 887 = 21*o - 940. Suppose -m = -3*g + 781, -3*g - 4*m + 674 + o = 0. Is g a multiple of 10?
False
Suppose 1800 = 4*j + m, -j - 4*m = -6*j + 2250. Suppose j = 3*a - 1068. Does 22 divide a?
True
Suppose -115 = -5*s + 10. Let v(u) = -51*u - 1. Let b be v(-2). Suppose -3*g + b = -s. Is g a multiple of 14?
True
Let t = 827 - 577. Is 18 a factor of (-6)/(-10)*4/(8/t)?
False
Let d