 p*v + 35. Is (v - 1)*33/(-6) a composite number?
True
Let p(k) = -k**3 + 10*k**2 - 4*k + 13. Is p(9) composite?
True
Is 35604/44 + (-14)/77 a composite number?
False
Suppose 0*g = -5*g + 710. Is g prime?
False
Suppose 12*i - 5912 = 4972. Is i composite?
False
Suppose m + 2*m = j + 26, j = 4*m - 34. Suppose 0*l - 5*f - 1 = -2*l, -2*f = 2*l - 22. Is (-2)/m + 282/l prime?
False
Let v = 5699 + -2677. Is v a prime number?
False
Let d(m) = -m**3 + 9*m**2 - 9*m. Let n be d(6). Is n + (-1 + -1 - -5) composite?
True
Let s be (0 + (-15)/(-6))*2. Suppose -s*f - 6 = 4. Is -53*(2 + f - 1) prime?
True
Suppose -45 = -4*d + 167. Is d a prime number?
True
Is 7*(1 + -27)/(-2) prime?
False
Let h be 44/7 - (-2)/(-7). Let b be (h/(-4) + 2)*-74. Let r = 72 + b. Is r prime?
False
Let x be 4/(-3)*18/(-4). Let v = x + 279. Suppose -5*h = 5*q - v, h - 2 = -0. Is q a prime number?
False
Suppose -m + 16 = 3*m. Let c = m + -3. Is (-28 - c*-2)/(-2) a composite number?
False
Is ((-66)/(-30))/(1 - (-668)/(-670)) a composite number?
True
Suppose 60 = 2*m - 6. Is m a composite number?
True
Let d = -32 + 123. Is d prime?
False
Suppose -3*s = 2*s + 3*d + 41, 3*d - 15 = 3*s. Let y be 279/21 + 2/s. Let q = -7 + y. Is q composite?
True
Let h be (6/8)/((-2)/(-32)). Suppose o - h = -2*o, -2*f = -3*o - 2. Is f composite?
False
Let q = 192 + 170. Suppose -7*w - 1215 = -2*w. Let l = w + q. Is l a prime number?
False
Suppose 5*j = 2112 - 307. Suppose -334 = -5*h + j. Is h composite?
False
Suppose a + 62 - 299 = 0. Is a composite?
True
Let s(z) = z**2 + 2*z - 3. Let k be s(-4). Suppose -k*y - w = -276, 6*y = y - 4*w + 279. Is y a prime number?
False
Let s = -71 - -117. Is s prime?
False
Suppose -5399 = -5*n + 2*j, 2*j - 12 = -2*j. Is n a composite number?
True
Suppose 13 = -i - 3*k, -1 - 3 = k. Let x = i - -7. Is ((-158)/(-4))/(x/12) composite?
False
Let z(f) = 134*f**3 + f**2 - f + 1. Let o be z(1). Let s = -72 + o. Suppose 2*w - y = s, 2*w - 7*w - y = -168. Is w a composite number?
True
Suppose 2*o + 2*o - 92 = 0. Suppose -q + 5*l + 13 = 0, l - 12 = -2*q - 3*l. Let x = o - q. Is x prime?
False
Suppose -4722 = 5*i - 7*i. Is i a composite number?
True
Suppose -t = 3*t - 5*h - 881, -219 = -t + h. Is t composite?
True
Let o(j) = -j - 2. Let u(w) = 4*w + 6. Let q(s) = -8*o(s) - 3*u(s). Is q(-6) composite?
True
Suppose -5*t - 10 = 15, 4*a - 5*t = 4681. Suppose 2*w = -2*w - a. Is (w/15)/(1/(-5)) prime?
True
Let j(y) = -y**3 - 3*y**2 + 3*y - 5. Is j(-6) a composite number?
True
Suppose 72 = 2*m - 0*m. Let v = 0 + 0. Suppose -4*f + m = -v*f. Is f a prime number?
False
Let m be ((-2)/(-5))/((-2)/20). Let x be (-3)/(1/m*2). Suppose -4*p - 35 = -x*p + 3*v, -v = -4*p + 85. Is p composite?
True
Let j be (-4518)/27 - (-1)/3. Let n = -226 + 536. Let g = n + j. Is g a prime number?
False
Let m = -1 - -4. Let w(c) be the third derivative of -c**6/120 + c**5/20 + c**4/12 + 2*c**3/3 + c**2. Is w(m) composite?
True
Suppose -23*y + 20*y + 1551 = 0. Is y a composite number?
True
Let i be ((-4)/10)/((-2)/890). Suppose 0 = -0*o + 2*o - i. Is o a prime number?
True
Let h = -371 - 47. Is h*(-3)/6 - -2 prime?
True
Suppose -3*w + 47 = w + t, 4*t + 20 = 0. Let c(k) = k**2 - 5*k - 6. Let q be c(6). Let r = w - q. Is r a composite number?
False
Let j(c) = 9*c**2 + 10*c - 39. Is j(-12) prime?
False
Let r be (20 + 4)/((-6)/57). Let o = 441 + r. Is o a prime number?
False
Is ((-2)/1)/((-32)/29872) composite?
False
Let r(k) = -134*k - 6. Is r(-2) prime?
False
Let m(b) = b**2 + 5*b - 8. Let f be m(-7). Suppose -x + 15 = -f*x. Is (-20)/x + 1/3 a prime number?
True
Suppose -3*r - 9164 = -4*k, 3*r - 8129 = -3*k - 1256. Is k composite?
True
Let z(g) = -2*g**3 + 9*g**2 - 3*g. Is z(4) prime?
False
Let u = 94 + -9. Is u composite?
True
Suppose -2*u - 3*u - 2*v + 23 = 0, -2*u + 4*v = -14. Suppose -20 = 2*g + 5*x, -g = -x + 1 - u. Suppose g = -6*y + 3*y + 237. Is y a prime number?
True
Let t = -771 + 1165. Is t composite?
True
Let w = -10 + 46. Suppose -2*c + 0*c = -w. Is (-58)/3*c/(-4) composite?
True
Let o be (-2 + 3)*0/(-5). Suppose -4*y - p + 1144 = o, 3*y + 5*p - 454 = 387. Is y a composite number?
True
Let h = 8 + -5. Suppose 0 = -3*w + h*x + 642, 3*x - 1080 + 34 = -5*w. Is w composite?
False
Let c(w) = -w - 2. Suppose 7*k = 4*k - 3*g - 15, -g = -3. Let y be c(k). Suppose -3*r + 4*n = -6*r + 37, 5*n = r - y. Is r a prime number?
True
Suppose 4*u = 3*u + 5. Suppose 9*t - 2*y - 335 = 4*t, 5*y = u*t - 335. Is t prime?
True
Suppose -4*j + 1124 = -1656. Suppose 0*z = -5*z + j. Is z prime?
True
Suppose -5*k + 4 = -6. Let f be k/7 - 280/(-49). Is (-4)/f + 47/3 a prime number?
False
Let a(f) = -f - 2. Let l be a(-8). Let w be l + (-2)/1 - 0. Suppose 4*v + 3*m = 52, -26 = -w*v + m + 26. Is v prime?
True
Let z(f) = -f**2 - 7*f - 5. Let c be z(-6). Let m be (0 - c)*(1 + -1). Suppose m*x - 2*x + 46 = 0. Is x prime?
True
Let u = 1533 - 950. Is u a composite number?
True
Suppose -r + 2*r + 632 = 5*k, k = -5*r + 142. Is k a composite number?
False
Let h = -61 - -150. Is h a composite number?
False
Let m be (3 + 0)/((-6)/(-4)). Let p = -4 - -18. Suppose q = m*q - p. Is q prime?
False
Suppose -2*z - 7007 = -4*l - 3*z, -4*l - 4*z = -6992. Is l a prime number?
True
Let r = 6 - 4. Suppose -t - s = 3, -4 = -5*t + r*s - 26. Let w = t + 29. Is w a composite number?
True
Suppose 3*v + 2078 = 7*v - c, 2*v - 1046 = 4*c. Is v prime?
False
Let h = 0 - -2. Suppose o = 3*z, -5*o - 4*z + 17 = -h*z. Suppose -o*p = 41 - 140. Is p composite?
True
Suppose 2*z - 5640 = -4*x, z = 7*x - 4*x - 4225. Is x composite?
False
Let i(x) = -36*x**3 + x**2 + x + 1. Suppose b = 2*b + 2*p + 5, 4*b = -5*p - 14. Let h be i(b). Let k = h + -18. Is k composite?
False
Let t(o) = -678*o - 1. Is t(-1) a composite number?
False
Suppose -5*w = -5*x + 75, 3*w + 75 = 5*x + 5*w. Suppose -2*k = -x - 295. Suppose 0*l + k = 5*l. Is l prime?
True
Suppose 5*w + 4*d - 1227 = 0, -4*d - 3 = 5. Is w a composite number?
True
Let a(t) = -t**3 + t**2 + 3*t. Let v be a(3). Let h = 15 + v. Is h composite?
True
Suppose 0 = 3*w - 14 - 1. Let v = w + 32. Is v a prime number?
True
Suppose 0 = 62*c - 61*c - 831. Is c a composite number?
True
Suppose -2*c - 6320 = -5*o, -2*c = o - 0*c - 1252. Suppose -q = q + 4*m - o, 4*q = 5*m + 2524. Is q a composite number?
False
Let n be -1*11/((-3)/3). Let v = -8 + n. Suppose -4*c + 2*c + 36 = v*y, -5*c + 15 = 0. Is y prime?
False
Let s = 7039 + -4737. Is s a composite number?
True
Let a(b) = b**3 + 11*b**2 - 4*b - 7. Suppose -3*q + 14 - 47 = 0. Is a(q) composite?
False
Suppose 5*f - 3*j + 43 = 0, 0*f + 13 = -2*f - 3*j. Is 37/4 - 6/f composite?
True
Suppose 0 = 5*c + 5*g - g - 1977, 0 = 3*c - 2*g - 1195. Is c prime?
True
Let l be 2/(-5) - 210/(-25). Let g = 13 - l. Suppose -73 = -3*a - 2*y, -129 = -g*a + 3*y + y. Is a composite?
True
Suppose 0 = -19*s + 28*s - 1269. Is s prime?
False
Let m = -123 + 183. Suppose 5*t - 89 = -3*b, 4*b - m = 2*b - 3*t. Is b composite?
True
Let o(t) = -51*t. Let j(y) = -51*y + 1. Let x(g) = -4*j(g) + 3*o(g). Is x(3) prime?
True
Suppose 3*z + 0*z = 0. Suppose z*g = -3*g + 1743. Is g a composite number?
True
Let s = 1 + 1. Suppose p - 2 = s*p. Is 42/2 + (p - 0) a composite number?
False
Is (1703/(-26))/(1/(-2)) prime?
True
Let z(l) = -l**2 + 5*l + 7. Let y be z(6). Let s be (-3)/y*8/3. Let w = 27 + s. Is w composite?
False
Is 18975/27 + 4/18 composite?
True
Suppose 3*b = -5*j + 3 + 27, -4*j - 13 = -5*b. Suppose -l + 164 = -b*a - 22, a - 478 = -3*l. Is l composite?
True
Let w(o) = -8*o**3 + 6*o**2 + 5*o - 1. Is w(-4) prime?
True
Suppose x = -3*u - 13, -2*x - 21 = 8*u - 3*u. Suppose 6 = 2*b, 3*b = -x*s + 1841 - 414. Is s a composite number?
False
Suppose 4*m = 3 + 9. Suppose -m*o + 5*o + 52 = 0. Let u = o + 36. Is u composite?
True
Is 62*3/6*1 + 0 composite?
False
Is 165 + (-4)/(4 - 2) a composite number?
False
Suppose -2*h + 20 = -5*t, 3*t = -3*h - 2*h - 12. Suppose -3*v + h*v + 1 = -4*c, 2*v - 2 = 3*c. Let u = c + 13. Is u prime?
False
Let z be 1/3 + 20/(-15). Let r(s) = -4*s**3 + 2*s**2 + 2*s + 1. Let p be r(z). Suppose 0 = -p*a + 70 + 95. Is a composite?
True
Let a = -5 - -1. Suppose 0 = -2*u + 6*u + 60. Let b = a - u. Is b a prime number?
True
Let d(t) = 1 - 3 - 19*t - 4*t. Let i be 1/(-1)*(-1 + 4). Is d(i) a composite number?
False