7*q**2/2 - 7*q - 6. Is s(t) a prime number?
True
Let y = 1113 - 677. Suppose 98 = 2*n + 4*q - 632, 4*q = 4. Suppose -2*s + y = -2*o, 4*o + 292 + n = 3*s. Is s composite?
True
Suppose -3*p + 207 = 3*u, -2*u - u + 4*p + 193 = 0. Let j = 162 - u. Is j composite?
True
Let c = 1679 + -205. Suppose -3*s + 3*j - c = -8*s, -3 = -j. Is s a composite number?
False
Is ((-5)/(-20))/((-2)/(-4168)) a composite number?
False
Suppose 0 = 4*j - 4, 5*x = -j + 1. Let p = x - -2. Suppose 0 = h - 3*f - p*f - 17, 115 = 3*h + f. Is h prime?
True
Suppose -24 = -2*x - x. Let o = 8 - x. Suppose o = -0*v - 4*v + 3*y + 154, 5*y + 10 = 0. Is v a prime number?
True
Let s(v) = 3*v**2. Let b be s(1). Suppose 5*i - 2*q - 8 = 4*i, 0 = i + q + 1. Suppose -5*k = -b*n - n - 23, n = -i. Is k composite?
False
Let h be 8 - ((0 - -3) + -1). Suppose -2*y = -d + 9, -5*d + 9 = -0*d - y. Let r = h + d. Is r prime?
True
Let r = -183 + 330. Is r + (-2 - 0 - 0) a composite number?
True
Suppose 4*s - 190 = 318. Is s composite?
False
Let v = 5 + -8. Is ((-885)/10)/(v/4) composite?
True
Let u be (12/15)/(1/5). Let w = 3 - u. Let j(h) = 69*h**2. Is j(w) a prime number?
False
Let m = -10 + 41. Let v = -1 + 2. Is (-3 + 4)/(v/m) a composite number?
False
Suppose 0 = -w + 166 - 45. Is w a prime number?
False
Suppose -2*b - 3 = -5*b, m - 8605 = 4*b. Is m a prime number?
True
Let c be 1/3 + (-4)/(-6). Is c/(636/633 + -1) prime?
True
Let m be (-22)/(-6) + (-2)/(-6). Suppose 147 = 3*q + 2*v, m*q - 2*q = 2*v + 88. Is q a composite number?
False
Let k(n) = -8*n + 3. Let u be k(-4). Suppose -4 = -t - 0, 2*t = 2*y. Suppose y*r + r = u. Is r prime?
True
Let l(n) = 469*n**2 + 2*n - 2. Is l(1) a prime number?
False
Suppose -4*k - k + 10 = 0. Let d be (-33)/(-3) - (0 + 0). Let s = d - k. Is s a prime number?
False
Let w(t) = 34*t**2 - t - 5. Let a be w(-4). Let c = a + -286. Is c prime?
True
Let o = 339 - -128. Is o a composite number?
False
Suppose -2*s + 5*s = 3*m + 24, 5*s - 48 = m. Is s composite?
True
Suppose -5*c + 27 + 8 = -5*t, 21 = 2*t + 5*c. Let g be (-639)/(-6) - (-1)/t. Suppose g = -0*h + 2*h + 4*s, 3*s + 28 = h. Is h composite?
False
Suppose -3*z = -4*z + 5*s + 74, 2*z = 4*s + 130. Is z a prime number?
True
Suppose -4*c + 6 = -4*x - 6, 5*x = 2*c - 9. Suppose 0 = q + c, -2*w + 156 = 5*q. Is w a prime number?
True
Let r(i) = 2*i**3 - 4*i**2 + i + 2. Is r(7) a prime number?
True
Suppose 0*u - 4*u = 3*l - 1051, 4*u - 2*l = 1026. Is u composite?
True
Let w(u) = u**2 - 3*u - 2. Let x be w(2). Let t = x + 1. Is ((-106)/(-1))/(t - -5) composite?
False
Let h = -4 + -5. Let d(z) = z + 5. Let t be d(h). Let n(k) = 2*k**2 - 2*k - 5. Is n(t) a composite number?
True
Suppose 10*t - 2803 = 1417. Is t a composite number?
True
Suppose -4*j + 5*i = -72, j - 7*i - 18 = -3*i. Suppose -3*b + j = -51. Is b a prime number?
True
Suppose 0 = o - 3*o - 6. Let p be 3/((o/(-4))/1). Suppose -z + 69 = p*y, 7*y - 3*y = -2*z + 158. Is z a prime number?
True
Let q be 1*(0 - 2) + -3. Let k = -10 - -9. Is 73 + q + 1/k a composite number?
False
Is 4/36 - (-22660)/18 composite?
False
Suppose 2*b = -0*b + 646. Is b prime?
False
Let d(z) be the third derivative of 77*z**5/120 + z**4/6 + z**3/3 - 3*z**2. Let m(u) be the first derivative of d(u). Is m(3) a composite number?
True
Suppose 4*f = f. Suppose -180 = -2*k - 2*i, -4*k + 5*i = -f*i - 351. Is k a prime number?
True
Let y(t) = 2*t**3. Let g be y(1). Is (-8)/g + 6*21 prime?
False
Let d(o) be the first derivative of 1 + 6*o**2 + 3*o + 2/3*o**3. Is d(-8) a composite number?
True
Let f(u) = -u**3 - 4*u**2 + 2. Let o be f(-4). Suppose 0 = o*x - 9 - 53. Is x a prime number?
True
Let n(f) = 18 + 6*f + 9*f - 7. Let y be n(8). Suppose -294 = -5*x + y. Is x a composite number?
True
Let o(u) = -8 + 5*u - u**3 - u**2 + 6*u**2 + 4*u. Is o(6) composite?
True
Let h = 105 - 179. Let p = 129 + h. Is p prime?
False
Let p = -441 + 1226. Is p a prime number?
False
Let r = 1488 + -379. Is r a prime number?
True
Suppose -4*q + 12 = -3*q. Suppose 5*l - q = l. Is l a prime number?
True
Let t = -7 + 10. Suppose -3*x + 957 = -t*p, x - 2*x = -2*p - 319. Is x a composite number?
True
Let t be -4*(-3)/6 - 1. Suppose -v = -b + t, 2 = 3*b - v - 3*v. Is b prime?
True
Suppose -t + 0 + 2 = 0. Suppose l + t*l = 33. Is l composite?
False
Is 6/4*12132/54 a composite number?
False
Let u = -222 - -455. Let o = u + -142. Is o a composite number?
True
Let t = -6 + 145. Is t prime?
True
Let s(n) = -18*n + 1. Suppose 0 = 2*x + 4*u - 20, -x + 4*x - 2*u = -10. Let o be 2*((-3)/6 - x). Is s(o) prime?
True
Let c = 25 + -9. Suppose 6*p - c = 2*p. Is (98/p)/((-3)/(-6)) a composite number?
True
Suppose 2*o - 534 = 2*t - 3344, -3*o - 5616 = -4*t. Is t composite?
True
Let f = 6 + 15. Let i be 1 - f*(-7 + 0). Suppose i = -3*p + 7*p. Is p a prime number?
True
Suppose 0 = -3*k + 69 + 357. Suppose -w - 2*v = -65, w + w - k = 2*v. Suppose 0*i - 3*i + w = 0. Is i a composite number?
False
Suppose -j + 2 = -4*s, -10 = -5*j + 3*s - s. Suppose 3*o = -2*t + 515, 2*o - t - 342 = -j*t. Is o prime?
False
Let s = -8 + 8. Suppose 15 = x - s*x. Is x composite?
True
Let t(y) = -y**2 - 10*y - 7. Let r be t(-9). Suppose 0 = -r*p + p + 4. Suppose -36 - 8 = -4*j + p*s, 3*s - 22 = -2*j. Is j prime?
True
Let c(y) be the first derivative of 2*y**3/3 + 7*y**2/2 - 6*y + 3. Is c(5) a composite number?
False
Let a be 24*(-8 - 0)/2. Let k = a - -223. Is k a prime number?
True
Let r(c) = 28*c + 10. Let i be r(-6). Is i/3*24/(-16) prime?
True
Let t = -6 + 1. Is (3/t)/((-4)/60) prime?
False
Let t(g) = 4*g**2 + 4*g + 14. Let o = -1 - 5. Is t(o) a composite number?
True
Let p be 1/(-2)*(0 + 0). Suppose 0 = -2*t - 5*w + 194, p = t + 2*w - 4*w - 79. Is t a composite number?
True
Suppose 3070 = 2*m + 3*m. Is m composite?
True
Suppose j + j = 0. Is 77 + j*(-3)/(-9) composite?
True
Let k(g) be the third derivative of 1/4*g**5 + 1/6*g**3 - g**2 + 0 - 1/12*g**4 + 0*g. Is k(1) composite?
True
Suppose h - 2 = 2*h. Let b(u) = 4*u**2 + u + 1. Is b(h) composite?
True
Let n(p) = p**2 + p - 4. Is n(-6) a prime number?
False
Let t = 11 + -9. Suppose -t*q + 86 = 4*m, 3*q + q + 5*m - 157 = 0. Is q prime?
False
Let d = 1 - -11. Let i be 68/18 + d/54. Suppose 4*w - 33 = -s + 52, i*s - w - 306 = 0. Is s composite?
True
Let k(h) = -37*h + 1. Let s be k(-5). Is 12/(-18)*s/(-4) a composite number?
False
Let x(c) = 1. Let z(m) = -24*m - 3. Let r(u) = 2*x(u) + z(u). Let q = 8 + -12. Is r(q) composite?
True
Let r(v) = -v**3 + v**2 - v + 5. Let i be r(0). Suppose 5*u + 2*x = 3*x + 25, 0 = -u - 4*x + i. Suppose -2*t + u*b + 32 = -50, 43 = t - 2*b. Is t composite?
True
Is ((-951)/(-3) - 1)/((-4)/(-2)) a composite number?
True
Let h(d) = 8*d**3 - 3*d**2 + 2*d - 3. Let y be h(2). Let x = 84 - y. Is x composite?
False
Suppose -3*z + 7*z + 5*w = 5459, z + 4*w - 1373 = 0. Is z a prime number?
True
Suppose 0 = -y - 5*w + 732, 0 = 2*y + w - 727 - 692. Is y prime?
False
Let x be -2 + 4 - (3 + -6). Suppose 485 + 1610 = x*n. Is n composite?
False
Let l(j) = -j**3 + 16*j**2 + 4*j - 9. Is l(16) a composite number?
True
Let w(v) = 3*v**2 - 12*v + 8. Is w(11) a prime number?
True
Is (0 - (-1)/2)/(7/39662) a prime number?
True
Suppose 105 = -4*d + d. Is (-10)/d + (-369)/(-7) prime?
True
Let y be 47/(-3) + 2/(-6). Let o = -10 - y. Is (o/9)/(2/381) a composite number?
False
Is 221 + 8/(-16)*-4*1 prime?
True
Let x be 3/9 + 20/(-6). Is (58/x)/(4/(-12)) prime?
False
Suppose -18 = k - 5*m, m - 10 = 3*k - 3*m. Let n(r) = 3*r**2 - r - k*r - 5 + 4. Is n(4) composite?
True
Let h(l) = l**3 - 4*l**2 - l - 10. Let w be h(7). Let t = -68 + w. Let s = t - 27. Is s composite?
True
Let s(g) = g**3 - 10*g**2 + g - 2. Let b be s(7). Let f = -63 - b. Is f a composite number?
False
Let g = -6 - -2. Let x(m) = -m**2 - 6*m - 4. Let t be x(g). Suppose 4*k = 2*b - 28, -t*b - 5*k + 26 = -4. Is b a prime number?
False
Suppose -4*b + 1739 = 3*i - 1018, -4*i + 3676 = -4*b. Is i composite?
False
Let c be (3 + (-9)/2)*-2. Suppose -x + c*d + 144 = 0, 3*x - x + 3*d = 315. Suppose 5*g = -0*q + 3*q + x, -5*q + 20 = 0. Is g prime?
False
Let v = -7 - -18. Is 10 - v - (-324)/2 composite?
True
Let y(j) = 2*j**3 + 2*j**2 + 5*j - 5. Let g(c) = 3*c**3 + 3*c**2 + 5*c - 6. Let w(z) = 3*g(z) - 4*y(z). Is w(5) prime?
True
Let o be (-2)/(-6) + (-682)