o + 7*p = 3*p + 417, -2*o + 278 = 3*p. Let u = o + -54. Is u a composite number?
True
Let q(a) = 51*a**2 + 2*a. Let j be q(-2). Suppose 6*k + 88 = 2*r + 4*k, -5*r + k = -j. Suppose -c = -r - 56. Is c composite?
True
Suppose 0 = -5*a + 837 + 48. Is a a prime number?
False
Let l(s) = -s + 7. Let i(q) = q - 11. Let b(t) = -5*i(t) - 8*l(t). Let k be b(1). Suppose -k*h + 4*h - 27 = -5*p, 4*h = -5*p + 19. Is p a composite number?
False
Let o(b) = -b**3 + 4*b**2 - b + 841. Is o(0) a prime number?
False
Let u(s) = -8*s - 2*s**2 + 1 + 4*s**2 - 6. Is u(7) composite?
False
Suppose -5*z + 21 = 6. Suppose 60 = z*l - 135. Is l a prime number?
False
Let h be (-10)/2*(-96)/15. Is ((-138)/8)/((-12)/h) composite?
True
Let k be (-2)/(-7) + 1676/14. Let s be (k/(-14))/((-1)/7). Suppose 2*m + 2*m = s. Is m a composite number?
True
Suppose -k + 326 + 563 = 0. Is k prime?
False
Let d(s) be the second derivative of s**5/20 - s**4/2 + 5*s**3/6 + 3*s**2/2 + 2*s. Is d(7) prime?
False
Let r(u) = u**2 + u + 2. Let p(s) = 2*s**2 + 2*s + 3. Let a(z) = 5*p(z) - 8*r(z). Is a(-5) prime?
False
Let x(q) = 1087*q + 1. Let f be x(1). Suppose 312 = -4*n + f. Is n a prime number?
False
Suppose t - 3*t = -206. Let s = t + -34. Is s a composite number?
True
Let l = 110 - -17. Is l composite?
False
Let f = 67 + -194. Let s = -8 - f. Is s prime?
False
Let d(l) = 148*l**3 + l**2 - 1. Let i be d(1). Suppose -2*g - 2*g = -i. Is g a prime number?
True
Let l = 10 - 10. Is l + 2 + (288 - -3) composite?
False
Suppose -v - 145 = -b, -3*v - 2*v - 278 = -2*b. Is b a prime number?
True
Let c(d) = -3*d. Let i be c(-1). Suppose -6*y - 4*q = -y - 24, 5*y = -5*q + 25. Suppose w = i*p + 36, w + y*p + 1 = 44. Is w composite?
True
Is 8/8 + 1*2 prime?
True
Suppose -d = n - 2*d - 132, 5*d - 483 = -4*n. Is n prime?
True
Let l = 198 - -1. Is l prime?
True
Suppose -3*w - 1 = -7, 0 = 4*c - 4*w - 9324. Is c prime?
True
Let r(t) = -56*t - 13. Is r(-6) a composite number?
True
Let g = 3 - -5. Let t = g - -11. Suppose -4*h + t + 41 = 0. Is h a composite number?
True
Suppose -420 = -4*z + 524. Suppose -z = -3*s + 109. Is s a composite number?
True
Let a = -2 + 3. Let c(w) = 85*w**3 + w**2 - 2*w + 1. Is c(a) composite?
True
Let x be 122 - -2*(3 + -2). Let p = -39 - -35. Is (p/(-2))/(4/x) a prime number?
False
Let i(h) = 3*h**3 - 3*h**2 + 4*h + 3. Is i(4) a composite number?
False
Let a(f) = 6*f + 3. Let q be a(8). Let l = 77 - q. Let s = -17 + l. Is s a prime number?
False
Let w(f) = -7*f - 3. Let y be w(-5). Let o be (y/(-6))/(2/(-33)). Let u = -39 + o. Is u a prime number?
False
Let a(i) = -i**2 + 2*i. Let g be a(-3). Let u = 29 + g. Is u a composite number?
True
Suppose d - 4*t = 3*d - 212, 0 = 5*d - 4*t - 586. Suppose -3*r + 155 = -2*o, -2*r - 4*o + d = -0*r. Is r prime?
True
Let x(a) be the third derivative of -a**5/60 - a**4/2 + a**3 - 3*a**2. Is x(-9) composite?
True
Is 1 + -1 - 1779/(-1) composite?
True
Suppose 5*k + 280 = -2*t + 856, -2*t + 2*k + 590 = 0. Is t prime?
True
Suppose 2*r - 3*r + 2 = 0. Suppose -568 = -2*n - r*y, -5*n = -n + y - 1145. Suppose 0 = 3*q + 38 - n. Is q prime?
True
Suppose -3*c = c - 12. Let o be (111 + 0)*1/c. Suppose h + 4*t = o, t - 45 = -5*h + 83. Is h composite?
True
Let q(m) = 58*m**2 - 2*m + 1. Suppose 4*k = 2*b + 4, 5*k = -3*b + 2 + 14. Let r be ((-7 - -3) + b)/(-2). Is q(r) prime?
False
Suppose -l + 26 = 5*m, 5*l + m = 3*m - 5. Let n(j) = j**2 - 6*j - 7. Let a be n(7). Suppose t - 8 + l = a. Is t a composite number?
False
Let b be (9 - 6) + (-107)/(-1). Let g = -214 - -306. Suppose -5*r - g + 222 = 3*l, 3*l + r = b. Is l prime?
False
Suppose 72 = 7*z - 3*z. Let m = 1 + z. Is m a composite number?
False
Let x(n) = -n + 10. Let j be x(7). Suppose 8*b - 185 = j*b. Is b prime?
True
Let i(w) = w**3 - 4*w**2 - 8*w + 7. Let o be ((-12)/(-14))/(1/7). Is i(o) composite?
False
Suppose 73 = -4*f + 453. Is f a composite number?
True
Let y = 6268 - 2879. Is y a prime number?
True
Let w(v) = v**2 - 2*v - 2. Let h be w(-3). Let n = -6 + h. Is n composite?
False
Let p = -14 - -37. Suppose 10 + p = v. Is v prime?
False
Let p(j) = 2*j**3 + 4*j**2 - 4*j + 1. Let k(w) = -w**2 + 10*w - 13. Let z be k(8). Is p(z) a composite number?
False
Suppose 4*b + 3*h - 4 - 10 = 0, -5*h + 10 = 0. Let w = b + 2. Suppose -w*r - 54 - 34 = -4*d, 63 = 3*d - 2*r. Is d composite?
False
Suppose 3*a + 3 = -j, 0*j - j + 3*a = -9. Is (-2 - 2) + j - -368 prime?
True
Let x = 261 - 182. Is x prime?
True
Suppose 4*y - 2*y - 273 = -5*a, 2*y + 3*a - 283 = 0. Is y a prime number?
True
Suppose -3*z = -7*z + 1016. Suppose 3*c - t - 201 = 2*t, 4*c - z = -3*t. Is c prime?
False
Let g = 377 - 51. Is g composite?
True
Let g = 7 - 7. Suppose 0 = 3*c - g*c. Suppose -a + c*r + 36 = -r, 0 = -4*a - 5*r + 153. Is a a prime number?
True
Let n = 7 - 3. Suppose -n*t + 151 = -5*i, 4*i = 3*t - 2*t - 35. Is t a composite number?
True
Suppose -2*k - 4362 = -8*k. Is k prime?
True
Let r(k) = k**2 - 3*k + 5. Is r(-13) a prime number?
False
Let u(n) = -4*n + 8. Let r(t) = -5*t + 9. Let x(s) = 6*r(s) - 7*u(s). Let b be x(-2). Suppose 4*y + 2*k - 30 = 0, 0*k = b*y + 3*k - 17. Is y composite?
False
Let k(d) = 2*d**2 + d + 4. Let s be k(4). Suppose 4*v - 24 = s. Let z = -6 + v. Is z a composite number?
True
Suppose -3*d - 18 = -9*d. Is 6/9 - (-595)/d prime?
True
Suppose -1 = -g + 5. Suppose -6*o + 3*o = -g. Suppose 4*k - 84 = -o*l, -4*k + 19 = -l - 53. Is k prime?
True
Let v(h) = -6*h**2 + 7*h + 3. Let q(f) = 12*f**2 - 15*f - 6. Let r(s) = -3*q(s) - 7*v(s). Is r(4) prime?
False
Let r(j) = 588*j**3 - 1. Is r(1) a composite number?
False
Let z(i) = i**3 + 11*i**2 + 8*i - 1. Suppose 0 = -3*d - 15 - 12. Is z(d) prime?
True
Suppose 4*d - 23 = -o, 4*o + 4*d - d = 66. Suppose 5*f - o = 10. Suppose 2*x - f*x + 105 = 0. Is x a composite number?
True
Let p = -4 + 11. Let j(b) = 32*b - 3. Let r be j(p). Let v = 108 + r. Is v a prime number?
False
Suppose -c + 1174 + 355 = -4*i, 0 = 4*c + 5*i - 6032. Is c prime?
False
Let g(a) be the second derivative of -a**4/12 + a**3/3 + 9*a**2/2 - 3*a. Let z be g(-8). Let k = 198 + z. Is k composite?
False
Suppose -2*k - 89 + 1395 = 0. Is k a prime number?
True
Let m(s) = -8*s**2 - 8*s - 4. Let z be m(8). Let n = 1174 + z. Suppose 199 - 606 = -2*q + 3*a, -3*q + n = a. Is q a composite number?
False
Let y be (-627)/9 - (-2)/(-6). Let p = -35 - y. Is p composite?
True
Suppose 2*i + 520 = 3326. Is i prime?
False
Suppose -4*t + 4*k + 1 - 5 = 0, 5*k + 10 = 0. Suppose 2*x - x - 3*f = 19, x - 5*f = 23. Is x + 0/t + 2 a prime number?
False
Let y(l) = l**2 + 26*l - 16. Is y(19) prime?
True
Let v(l) = 3*l**2 - 10*l - 1. Let h(i) = -4*i**2 + 9*i. Let s(r) = 2*h(r) + 3*v(r). Let a be s(6). Is 8/52 - 4011/a a composite number?
False
Let x = 28 - -25. Is x composite?
False
Let q be 2/(-3)*(-38 - 7). Suppose -3*h - q = -y, 3*h + 27 = 5*y - 63. Suppose 0 = 4*z, 4*z = l - y - 22. Is l prime?
True
Let x(u) = -u - 1. Let o be x(-3). Let z(w) = 2*w**3 + 5*w**2 - 4*w + 5. Let v be z(3). Suppose o*d - v = -18. Is d composite?
False
Let m(f) = 5*f**2 - 3*f + 1. Let q be 1/(4/3 - 1). Suppose -13 + 4 = -q*x. Is m(x) prime?
True
Suppose -4*p + 4*w + 125 = 3*w, -2 = 2*w. Is p a composite number?
False
Suppose 4*z - 23 - 14 = -3*k, -33 = -3*z - 4*k. Suppose -3*p = -z + 1. Suppose 163 - 21 = 2*n - p*b, -5*n = 5*b - 315. Is n a prime number?
True
Suppose l + 46 = 351. Is l prime?
False
Suppose -3*p - 2*l + 16 = 0, -4 = -p - 2*l + 8. Let y be (-4)/6 + 330/9. Suppose 0 = p*m - y - 38. Is m composite?
False
Let h = -4 + 7. Suppose h*y - 44 = y. Suppose -34 - y = -4*x. Is x prime?
False
Let z(f) = -2*f**2 + 13*f - 3. Let w be z(6). Let k(c) = 13*c**3 - 3*c**2 + c + 4. Is k(w) composite?
False
Suppose 0 = 3*v + 12 - 48. Suppose -v*h + 7*h = -635. Is h prime?
True
Suppose -6687 = -4*l - 0*u - 5*u, 3*l - u = 5039. Is l composite?
True
Suppose -4*p - 2 = 6. Is p/4 - (-3978)/12 a composite number?
False
Let w(p) = -3*p + 2. Let x be w(-2). Let f be -3 + 1 - (x + -47). Is f/2 + 1/2 a prime number?
True
Let h(x) = -195*x - 24. Is h(-5) a composite number?
True
Let n(b) = -6*b + 7. Let r = -3 - 2. Is n(r) prime?
True
Is -47*(30/(-5) - -3) a prime number?
False
Let h(n) = -n**2 + 4*n - 3. Let u be h(3). Is 14*((2 - u) + -1) a prime number?
False
Let q = -53 - -95.