- 4) + ((-2)/(-1) - r). Suppose 0 = 2*p - c*q - 48, -3*q + 5*q = 4*p - 104. Is 14 a factor of p?
True
Let y(w) be the second derivative of -3*w**3 + 7*w**2/2 + 6*w + 5. Does 12 divide y(-9)?
False
Let o = 75 - 72. Suppose -2*g - h = -o*h - 194, 5*h = -g + 121. Does 25 divide g?
False
Suppose -4*f + 856 = -4*s, 4*f - 7*f + 4*s = -646. Suppose -120*q - f = -125*q. Is 7 a factor of q?
True
Suppose l - 14353 = -3*t, -9*t = -14*t - 2*l + 23920. Is 7 a factor of t?
False
Suppose 0 = -29*d - 34557 + 466567 + 776681. Does 11 divide d?
True
Suppose -277*q + 429 = -274*q. Is 28 a factor of (-52644)/(-39) - (-22)/q?
False
Suppose j + 2*w = 17, 3*j + 5*w - 62 = -j. Let a(o) = 8*o - 2. Let n be a(j). Let r = 158 - n. Does 8 divide r?
True
Let w = 83500 + -58013. Is w a multiple of 11?
True
Let p(t) = -t**2 + 10. Let d be p(-3). Let w be (-4)/(d/(-4) - (-17)/84). Let c = w + -35. Is c a multiple of 7?
True
Let h(x) = 3*x - 17. Let f be h(7). Let i be (-34)/8 + (-3)/f. Does 6 divide 52 + 5 - -3 - i?
False
Let m = -429 - -622. Let z be (((-90)/65)/9)/(1/(-13)). Suppose g - 4*x - 89 = 0, -z*x - m = 4*g - 621. Does 15 divide g?
True
Suppose 2*k + 5*m + 194 = 0, 0 = -2*m - 2*m - 8. Let w be -6 + k/(-15) - (-94)/(-30). Does 5 divide (-1 - w)/(18/14 + -1)?
False
Let h(v) = -31*v + 7. Let g be h(3). Let u = g + 145. Suppose 2*f - u - 75 = 0. Is f a multiple of 5?
False
Let r be (286/4)/(205/(-100) - -2). Let q = r + 2140. Is 11 a factor of 3/(-16)*4 - q/(-8)?
True
Suppose 0 = 92*k - 791362 - 654602. Does 29 divide k?
False
Suppose -470*n = -244*n - 6836500. Is 22 a factor of n?
True
Suppose 50*q - 319 = 39*q. Suppose -3208 = -q*f + 2708. Does 34 divide f?
True
Suppose -28*i + 31*i = -3*z + 5142, 0 = 4*z - i - 6881. Is 18 a factor of z?
False
Let y = -14430 - -25557. Is 3 a factor of y?
True
Let u = 51187 - 38587. Is u a multiple of 24?
True
Let y = 1788 - 1792. Let n = -93 + 142. Does 8 divide n + y/(1 - 2)?
False
Let p = 27 - -3. Suppose 0 = 8*m - 14*m + p. Suppose m*y - 4*q = -5*q + 599, -476 = -4*y - 4*q. Does 20 divide y?
True
Let k be (5/5)/(3/6). Suppose -k*g - 15 = -5*u + 3*g, -4*u - 3*g = -26. Suppose -42 = o - 3*o + u*d, 4*d = -o + 8. Is 3 a factor of o?
False
Let h(l) = -26*l**2 + 17*l - 7. Let y be h(6). Let w = y - -1244. Is 3 a factor of w?
False
Suppose 4*z - 84737 = 5*v, -5*v - 14356 + 56747 = 2*z. Is 57 a factor of z?
False
Let j be (0 - (-6 - -4))*13. Let b(p) = -p**3 + 25*p**2 + 35*p - 90. Is b(j) a multiple of 9?
True
Let b(a) = 169*a - 2479. Does 33 divide b(46)?
False
Let z(w) = 10*w - 15. Let x be z(6). Let n = 126 - 158. Let v = x - n. Is 11 a factor of v?
True
Let l = 8771 - -4455. Does 24 divide l?
False
Let r(t) = 3*t - 3. Let i be r(1). Suppose 1 = -g - i*g - 2*x, -2*g = x - 7. Suppose -4*n = 2*u - 8, -5*n + 48 = g*u - 2*n. Is 12 a factor of u?
True
Suppose 20*u = 3*u + 13243. Let s = -586 + u. Does 10 divide s?
False
Let i be (-188)/12*(-4 + 1). Let w = i - 47. Does 28 divide 4 - w - 5 - -244?
False
Let f be (2*18/10)/((-3)/(-90)). Let q = 337 - f. Is 40 a factor of q?
False
Let c = -72 + -30. Is 16 a factor of ((-2600)/(-15))/13*c/(-5)?
True
Let q = 16624 - 12300. Does 47 divide q?
True
Let g = -56 + 56. Suppose -4*b + 85 + 715 = g. Does 10 divide b?
True
Let p(w) = 2*w - 2. Let q be p(3). Suppose 0 = -172*y + 173*y - 80. Suppose 3*x - q*h - y = -2*h, 0 = -2*x + 4*h + 64. Is x a multiple of 4?
True
Is 30/105 - 560384/(-28) a multiple of 20?
False
Let y = 1860 + -754. Let w = -634 + y. Is w a multiple of 59?
True
Let w = -1189 - -4619. Does 28 divide w?
False
Let h = -113 - -96. Let m = h + 100. Is m a multiple of 22?
False
Let f(d) = 2*d + 12. Let n(p) = -5 + 1 + 5 - p + 0. Let u(y) = -f(y) + 2*n(y). Does 11 divide u(-8)?
True
Suppose -3*i = -0*i - 0*i. Let z(o) = o**3 + o + 65. Let h be z(i). Let q = h - 39. Is 17 a factor of q?
False
Suppose -3*n + 22 = -0*n + j, -2*n + 4*j = 4. Suppose -4*s + n*s = -2*p + 122, 2*s = 5*p + 115. Is 18 a factor of s?
False
Suppose 38*t = 35*t - 24. Does 22 divide (-2)/(-3) + (t - (-5950)/21)?
False
Let z = 76 - 71. Suppose 0 = 8*x - z*x - 24. Let g = x - -48. Does 28 divide g?
True
Let p(r) = -r**3 + 21*r**2 - 36*r - 2. Suppose -64 = -4*i + 3*y, 0*i = 5*i + 2*y - 103. Is 10 a factor of p(i)?
False
Let v(p) = -13*p + 21. Suppose -3*t - 104 + 17 = 0. Let a be 22/66*(t - 1). Is v(a) a multiple of 14?
False
Let q(p) = 89*p + 2517. Is q(11) a multiple of 4?
True
Let f be (-7254)/(-12)*14/(-21). Let s = f - -447. Is s a multiple of 22?
True
Let c = -1074 - 648. Let i = -1227 - c. Is i a multiple of 11?
True
Suppose -35*o = -27*o - 11*o + 864. Does 3 divide o?
True
Does 100 divide (72/32)/(352063/70412 + -5)?
False
Suppose -u - 29 = -5*q, -3*q + 7*u - 4*u = -27. Suppose 4*x + 2*c - 4 = 0, -c + 4*c = -5*x + q. Does 10 divide 372/(-2)*x/(-2)?
False
Let y = 7032 - 1832. Is 50 a factor of y?
True
Let a(c) = -26*c + 26. Let j be a(-33). Let y = -413 + j. Does 34 divide y?
False
Does 12 divide (0 - 16/6)/(122/(-2196))?
True
Let x be (8 + 46/(-6))/((-2)/(-84)). Let v(u) = 2*u**2 - 26*u - 24. Is 2 a factor of v(x)?
True
Is (202/4)/(11/22) + 9 + -9 a multiple of 101?
True
Let c be (-6)/(-27) - (-188)/(-36). Let l(u) = u**3 + 5*u**2 - 2*u - 16. Let r be l(c). Does 4 divide 23 + r/(-39) + 24/13?
False
Let u = 27 + 96. Let r = 153 - u. Is r a multiple of 15?
True
Does 2 divide (-81374)/184*(0 + 0 - 4)?
False
Suppose 3*p + 25 = 142. Suppose p = 4*a - 373. Is a a multiple of 11?
False
Suppose 5625 + 4293 = 174*v. Let x = -2 - -8. Suppose 3*a + x = v. Is a a multiple of 2?
False
Suppose -5*d - 2*y = -6, 2*d - 15 = -0*y - 5*y. Suppose 4*c - 5*r - 37 = d, -3*r = -5*c - 7*r + 77. Suppose -1668 = -c*o + 7*o. Is 36 a factor of o?
False
Let l(a) = a**3 + 9*a**2 + 8*a + 6. Let v = 22 + -30. Let m be l(v). Is 41 a factor of ((-2)/m)/((-4)/1380)?
False
Let v(f) = 23*f - 4. Let t(z) = -z**2 + 3*z + 1. Let a be t(3). Let b be v(a). Let n = b - -17. Is n a multiple of 4?
True
Suppose 15 = -1168*u + 1169*u. Let r(j) = 10 + 14 + 7 - j. Is r(u) a multiple of 16?
True
Let b be (-8)/5*(168/(-16) + 8). Suppose 2*f - b*h - 1358 = -0*h, 667 = f + h. Is f a multiple of 8?
False
Is 3 + 37/(-13) - 363665/(-65) a multiple of 15?
True
Does 21 divide (459/(-6)*(-245)/14)/(84/1792)?
True
Suppose 3*l + 5376 = 15*l. Suppose -169*h + 167*h = -l. Is h a multiple of 31?
False
Is (3 - 4)/(7/22057*-1) a multiple of 13?
False
Let k(l) = -379*l + 3061. Does 11 divide k(-5)?
False
Let k = -409 + 1733. Is 4 a factor of k?
True
Let l be ((-819)/6 - (-4)/(-2))*-20. Suppose -5*i + l = 5*x, 15*x - 20*x + 20 = 0. Is 11 a factor of i?
True
Suppose 5*k = 4*p - 7215, -3*p - 2*k = 2081 - 7498. Is 3 a factor of p?
False
Suppose -62*y - 72360 = -122*y. Is 30 a factor of y?
False
Suppose -122 = -o - 3*z, 172 = 5*o + 3*z - 450. Let g = -97 + o. Is g a multiple of 4?
True
Suppose 5*i - 62792 = 5*k + 152553, 6*k = 2*i - 86142. Is i a multiple of 57?
False
Suppose 24 = -3*o + 18. Is 95 - (2/8)/(o/8) a multiple of 6?
True
Let g be (12712/49)/(-4)*(-1 - 6). Let c = g - 181. Does 22 divide c?
False
Let h be (4/3 - 1)/(18/54). Is 135 + h/(7/49) a multiple of 7?
False
Let u(w) = -3*w - 2. Let c be u(4). Let a be 2890/35 + 8/c. Suppose 40 = 4*n - 4*y, 3*y = 3*n - 8*n + a. Does 7 divide n?
True
Let t be (-78)/(-182) + 5*(-12)/(-7). Suppose -t*c = -4*c - 25, 0 = -n + 4*c + 320. Suppose -3*b + 206 = -n. Is 26 a factor of b?
True
Let l(o) = -2*o - 5. Let w(d) = d + 5. Let q(n) = -3*l(n) - 2*w(n). Let s be q(-3). Let x(k) = k**3 + 9*k**2 + 5*k - 17. Does 12 divide x(s)?
False
Let g(u) = 3*u**2 + 135*u + 38. Is 19 a factor of g(22)?
False
Let y(j) = j**3 - 9*j**2 - 3*j + 10. Let z be y(11). Suppose -z - 101 = -a. Is a a multiple of 5?
True
Let n be 1306/8 + 20/(-80). Let p = -311 + n. Let x = p + 211. Is 11 a factor of x?
False
Suppose 0 = -13*f - 7 + 20. Suppose 11 = 6*q - f. Suppose -w - 4*a = -77, 0*w + 154 = q*w + 3*a. Is w a multiple of 19?
False
Let c(q) = 17*q**2 - 315*q - 102. Does 11 divide c(22)?
False
Suppose -2*x + 1133 = -6*o - 6169, 0 = 2*x + 5*o - 7357. Does 26 divide x?
True
Let x(z) = -3*z. Suppose -4*n + 8 - 4 = 0. Let v be x(n). Is 14 a factor of (1414/21)/((-1)/v)?
False
Let i(y) = y**2 + 4*y + 7. Let s be ((-8)/(-12))/(2/(-9)). Let k be i(s). Suppose -3*j - 5*m = 