34?
False
Let o = 127 - 113. Is 12 a factor of (-1364)/(-8) - 7/o?
False
Let h = -541 - -867. Is 14 a factor of h?
False
Let l = 19 + 9. Suppose 5*a - 3 + 21 = -3*j, 2*a - 39 = 3*j. Let g = j + l. Is 17 a factor of g?
True
Let d = -2 - -5. Suppose 6 + 6 = d*g. Is (-1)/(-3)*0 + g a multiple of 4?
True
Let g(m) = 6*m**2 - 21*m - 4. Is g(-11) a multiple of 54?
False
Let j = -34 + 34. Suppose -2*z + 6 = 4*n - 30, -z + 4 = j. Suppose -n*s = -5*s - 70. Is 13 a factor of s?
False
Let u(f) = 13*f**2 + 23 - 30*f**2 + f + f**3 + 18*f**2. Is u(0) a multiple of 3?
False
Suppose 2*s - 2*l = 4*s - 16, 2*s = 3*l + 1. Suppose s*v + 268 = v. Let a = v + 109. Does 18 divide a?
False
Is (40/6)/(6/216) a multiple of 10?
True
Let u(w) = 223*w + 6. Is u(1) a multiple of 5?
False
Let v = -752 + 391. Let g = -176 - v. Does 24 divide g?
False
Let t be ((-6)/(-4))/(-3 - (-724)/240). Let v = 6 + t. Is v a multiple of 24?
True
Let i(j) = 3*j + 15. Let h be i(-4). Is 36 a factor of ((-9)/h)/3 + (46 - -1)?
False
Let v(s) = -s**3 + 25*s**2 + 9*s + 4. Does 44 divide v(21)?
False
Let u(r) = 4*r**3 + 4*r - 3. Let o be u(1). Suppose o*j = 9*j - 696. Does 29 divide j?
True
Suppose -8*i + 1116 = -4*i. Is i a multiple of 31?
True
Suppose -106 - 148 = -2*v. Suppose -129*c = -v*c - 192. Is 8 a factor of c?
True
Let a be 5*(0 - 6/(-3)). Suppose a*g - 504 = g. Is g a multiple of 14?
True
Does 11 divide ((-55)/15 - -3) + 13776/9?
False
Let f be (0 + 69/(-6))*2. Let x = f + 42. Does 19 divide x?
True
Suppose -5*b + 0*b - 3*g + 3075 = 0, 5*g = -4*b + 2460. Does 31 divide b?
False
Let k = 706 + -662. Does 44 divide k?
True
Let x(j) = 21*j**2 - 2*j - 2. Suppose 0 = 2*r - 1 - 3. Is x(r) a multiple of 26?
True
Let h be (4 - 12)*7/(-2). Suppose 3*c = 7*c - h. Is 4 a factor of c?
False
Suppose 2*i = -3*i - 35. Let u be (i/21)/((-2)/24). Is 21 a factor of (-5 + -113)*(-2)/u?
False
Let v(o) = o**2 + 2*o + 117. Let k be v(0). Suppose 0 = -3*h - 3*s + 378, h - s = s + k. Does 46 divide h?
False
Let x = 1145 + -1070. Does 3 divide x?
True
Suppose 7*l - 11*l + 8 = 0. Suppose 0 = -5*q + 4*o + 81 + 72, q + l*o = 39. Suppose 0 = 4*t - q - 51. Is t a multiple of 6?
False
Suppose -h + 12 = 5*h. Is 6 a factor of (2 - (-17 - h)) + -3?
True
Suppose -22*d = -6450 + 2468. Is d a multiple of 10?
False
Let h be 51/(-4) + 2/(-8). Let l = h - -16. Does 14 divide 53 - (3 - (3 + l))?
True
Let f = 3 + -5. Let u(l) = -64*l + 12*l + 15*l - 3. Does 17 divide u(f)?
False
Let c(t) = -4*t**2 + 8 - 1 + t**3 - 8 + t. Let j be c(4). Suppose 4*k - 108 = -4*r, -j*k = k - r - 128. Is k a multiple of 14?
False
Let g(t) = 46*t + 67. Is 29 a factor of g(8)?
True
Suppose m + 3*y = -2*m, -y - 15 = -2*m. Suppose 0*z - 15 = 5*z, -m*o + 5*z + 640 = 0. Does 15 divide o?
False
Let b(n) = 341*n + 43. Is b(1) a multiple of 32?
True
Let s(f) = f**2 + 7*f + 15. Let p be s(-6). Let a = p - -136. Is 13 a factor of a?
False
Let i be 180/(-14) - (-12)/(-84). Let j = -11 - i. Is (4 + 4)*(j - -2) a multiple of 8?
True
Suppose -4 = -0*r - 4*r + 4*o, 0 = 5*r + o + 25. Does 14 divide 35/30*r*-9?
True
Suppose 4 = 4*s - 2*t, -2*t = -2*s + s - 5. Let x be 64/48*s/2. Is x/(-4 - (-470)/115) a multiple of 10?
False
Let l(s) = -33 + 166 + s**2 - s - 2*s**2. Let k be l(0). Suppose -y + k = 4*y - 4*h, -2*y - 4*h + 42 = 0. Is 24 a factor of y?
False
Let z(r) = -119*r + 1. Let l be z(-1). Let o be (14/4 - 5) + 133/2. Let a = l - o. Is 15 a factor of a?
False
Let o(u) be the second derivative of 2*u**3/3 - 15*u**2/2 + 10*u. Is o(6) a multiple of 3?
True
Let p = -1814 + 2934. Suppose 0 = -0*k - 10*k + p. Is 19 a factor of k?
False
Suppose -11448 = -30*a - 6*a. Does 6 divide a?
True
Let r = -75 + 78. Suppose t - 3*i = 86 - 28, 0 = -5*t + r*i + 254. Does 19 divide t?
False
Let f = 6 + 3. Suppose -m = 2*m - f. Suppose 3*t = 2*u - 99, 8 + 1 = -m*t. Does 15 divide u?
True
Let a(n) = -29*n**2 - 3*n + 1. Let s be a(1). Let z = s + 98. Is z a multiple of 8?
False
Let j(s) = -s**3 + 4*s**2 + 6*s + 1. Let y be j(5). Let k be (-16)/(-3) - 2/y. Suppose 0 = k*r - 4*r - 27. Is 16 a factor of r?
False
Let n(f) = -10*f - 4*f + 3*f - 11*f**2 + f**3 + 2*f**2 + 13. Let k be n(10). Suppose -k*o + 24 = -o. Is o a multiple of 12?
True
Let w be 224/24*63/6. Is (-2 - (-4 - -4)) + w a multiple of 32?
True
Let m be (-1)/(-1 - (-242)/244). Is (22 - m)*(-2)/8 a multiple of 11?
False
Suppose w - 2*w = -5*n - 146, 0 = -2*n. Suppose 2*x = a - 75, 2*a - w = -5*x - 23. Let j = a - 25. Is 11 a factor of j?
True
Let l(b) = -5*b**3 + 3*b**2 + b - 6. Is 4 a factor of l(-2)?
True
Let v be (169/3)/((-4)/12). Let s = -144 - v. Is 4 a factor of s?
False
Does 14 divide 7/(-2) - -3 - (-726)/4?
False
Suppose 0 = 3*w + w - 68. Suppose 4*i + 1 = w. Let l(h) = h**2 + 4. Does 15 divide l(i)?
False
Let n(b) = -b**3 + b**2 + 2. Let r be n(0). Suppose -l = g - 54 - 82, g - 127 = r*l. Is g a multiple of 42?
False
Let o(r) = 0*r + 12*r + 7*r + 15*r - 6. Let b be o(4). Suppose -y - b = -0*l - 5*l, -l + 26 = -3*y. Is l a multiple of 13?
True
Suppose 2*m = -6*g + 2*g + 3834, -3*m = -5*g + 4798. Is g a multiple of 29?
False
Suppose 2*t - 6 = -2*d + 20, -4*t + 40 = -2*d. Suppose -4*v = 3*m + t, 3*v = -6*m + 2*m - 3. Does 11 divide (-3)/9 + 100/m?
True
Suppose -5*f + 2*o - 8 = -2, 4 = -f - o. Let p be 37 + -3 - f - 1. Suppose -h + 6*h = p. Does 3 divide h?
False
Suppose 92 = m - 6. Does 17 divide m?
False
Suppose 5*p - 5*g = 15, 4*p + p + 5*g - 15 = 0. Suppose -p*q + 52 = q. Does 8 divide q?
False
Suppose -31*t - 55*t = -71552. Does 13 divide t?
True
Suppose -6*h + w = -4*h - 12, 3*w - 12 = -2*h. Suppose -5*l + 4*i + 1911 = 0, -9*l - 2*i + 1129 = -h*l. Does 31 divide l?
False
Is 2 a factor of ((-874)/(-4) - -6)*2?
False
Let i(m) = 2*m**3 + 5*m**2 - 10*m - 17. Let t(h) = -h**3 - 3*h**2 + 5*h + 9. Let s(p) = -6*i(p) - 11*t(p). Let z be (-2 + -2)*6/8. Does 14 divide s(z)?
True
Let n(c) = c**3 - 7*c**2 + 5*c + 12. Let k(v) = -2*v - 16. Let q be k(-11). Let p be n(q). Is p/(-36) + 194/12 a multiple of 8?
True
Let g be 4/(-4) - (-3)/((-3)/(-193)). Suppose -j - 4*q = -151, -5*j = 2*q - 527 - g. Is j a multiple of 13?
True
Let j = 175 - -180. Is j a multiple of 71?
True
Suppose 7*s = 11*s - 268. Suppose -28 + 3 = -2*o + r, r = 5*o - s. Does 14 divide o?
True
Let x = 875 - 629. Does 6 divide x?
True
Let m(t) = t**2 + 8*t - 3. Let w be m(-9). Let u be -30*(15/w - 1). Let x = u - -67. Is x a multiple of 11?
True
Let z = 1341 - 1085. Is 21 a factor of z?
False
Let l = 11 + -9. Suppose -l*j + 3*j = -6. Let f(a) = -a**2 - 9*a - 9. Does 9 divide f(j)?
True
Let x be ((-28)/3)/((-18)/27). Suppose 4 = -2*h, -3*g - h - 4 = -x. Suppose 4 = -3*w - 2, g*w + 158 = 5*o. Does 15 divide o?
True
Suppose 2*s - k + 802 = 0, 2*s = 4*k - 0*k - 808. Let m be (6/5)/(15/s). Let w = m - -38. Is w a multiple of 4?
False
Suppose -5*h = 4*b - 388, -5*h + 11 = -9. Suppose -4*g - b = -260. Does 28 divide g?
False
Suppose 5*k - 7 - 3 = 0. Let o = 11 - k. Suppose -r - l + 12 = -5*l, r - l = o. Is 4 a factor of r?
True
Let k = -83 + 70. Is 32 a factor of 18/117 - 3261/k?
False
Let q(b) = 2*b**2 + 7*b - 4. Let i = 16 - 4. Suppose 0*g - 2*g - i = 0. Is q(g) a multiple of 7?
False
Suppose 0 = z + 2*z. Let m be (8 - (0 - -7))*-17. Is -2 - (z + 0 + m) a multiple of 15?
True
Suppose 2*k - 41 - 53 = 0. Suppose 135 = k*g - 46*g. Does 27 divide g?
True
Let n(v) = 27 - 3*v + 32*v**2 - 13*v - 33*v**2 - v. Is 31 a factor of n(-11)?
True
Let q = 56 + 44. Suppose -19 + q = s. Is 11 a factor of s?
False
Let f(l) = 8*l**2 - 5*l. Let x(s) = s**3 - s**2 - 8*s + 15. Let z be x(2). Is f(z) a multiple of 4?
False
Suppose 3*x - 3*l + 2*l - 33 = 0, -3*x + 2*l + 33 = 0. Let j(o) = -o**2 - 11*o + 8 + o - x. Does 13 divide j(-8)?
True
Let i be (0 + 2 - -2) + 312 + -10. Suppose -2*q + i = 2*w, w - 98 = -4*q + 46. Is w a multiple of 30?
False
Suppose -52*f = -49*f - 4320. Does 18 divide f?
True
Let p = -20 + 42. Does 9 divide p?
False
Let a = 631 + -344. Is 7 a factor of a?
True
Let s = 22 - 11. Suppose -10*p = -s*p + 38. Is p a multiple of 16?
False
Let v(a) = 2*a**3 + 7*a**2 - 2*a + 152. Let o(j) = j**3 + 3*j**2 - j + 76. Let x(c) = 5*o(c) - 2*v(c). Does 13 divide x(0)?
False
Is 96 a factor of 48/(-7)*(29 - 407)?
True
Let a = 924 - 490. Does 9 divide a?
False
Is 9 a factor of (68/(-2