Is q(x) a prime number?
False
Let y = -1 - -5. Suppose 5*v - y*h - 178 = 3*v, 4*v - 384 = h. Is v composite?
False
Let f(n) = 2*n - n**3 + 2*n**2 - n**2 - 3 + 2*n**3. Suppose 4*g + 0*g = 16. Is f(g) prime?
False
Let y be 6/(1 + -3)*-1. Suppose y*p = -0*p + 231. Is p a prime number?
False
Let n(q) = -q**3 - 3*q**2 + 5*q + 6. Let h be n(-4). Suppose -4*b + w = -b - 251, -h*w + 178 = 2*b. Is b prime?
False
Let s(g) = -g**2 - g + 57. Let q be s(0). Suppose q = m + 2*m. Is m a prime number?
True
Let o = 3 - -2. Let f = o + 2. Is f a prime number?
True
Suppose -298 = 3*w - 931. Is w composite?
False
Let y(s) = 2*s - 1. Let h be y(4). Suppose -h*k = -2*k - 65. Is k composite?
False
Let v(y) = 203*y**3 - y**2 + 1. Is v(1) prime?
False
Let q = -484 + 708. Let h = q + -75. Is h prime?
True
Let g(r) = r + 12. Let t be g(-10). Suppose -t - 86 = -4*w. Is 3789/33 - (-4)/w a composite number?
True
Suppose 8*d - 1091 = 533. Is d composite?
True
Let v = -1608 + 2651. Is v composite?
True
Let m = -1 - 0. Let b = -9 + 15. Let a = b - m. Is a prime?
True
Let m = -3 - -3. Suppose m = a + 4*h + 11, -h - 4*h - 45 = -5*a. Suppose i + 8 = a*y - 49, -42 = -4*y - i. Is y prime?
True
Suppose 22 = 2*s - q, -s + 1 = -0*q + 2*q. Suppose -5*m + 4*v + v + 45 = 0, m - 3*v = s. Is m a prime number?
False
Suppose -5*p = 25, 4*p = -a - 0*p - 14. Suppose a*u - 3*u - 861 = 0. Is u composite?
True
Let y be 5*((1 - 2) + 2). Suppose y*i = 4*i + 3, -3*i - 99 = -4*q. Suppose 2*f - 5*f = -q. Is f prime?
False
Is 3477/39 + 4/(-26) composite?
False
Suppose -6*j = -8*j + 1042. Is j a composite number?
False
Let c(a) = a**2 + 2*a - 4. Let j be c(-3). Let p(u) = -44*u - 1. Is p(j) prime?
True
Suppose -3 = 3*f - 180. Let m be (-20)/(2/(-4) - -1). Let z = f + m. Is z prime?
True
Let l be -7 - (3 + (-6)/3). Let r be 6/l + (-66)/(-24). Suppose -5*p + 38 = 4*a, -3*a - r*p = a - 32. Is a a prime number?
True
Let x(t) = t**2 + t + 5. Let a be x(0). Let w(d) = d**3 - 5*d**2 + 4*d + 1. Is w(a) a composite number?
True
Let q be (-5)/((-42)/20 - -2). Suppose 2 = 4*r - 2*y - 54, 4*r = -y + q. Is r a prime number?
True
Let z = 1 + 7. Suppose -r = -z - 2. Is r prime?
False
Suppose 48 + 54 = 3*s. Let w = s - 62. Is 161/w*(-3 + -1) a composite number?
False
Suppose -2*s + 3 = -m - 5*s, -4*m - s + 10 = 0. Suppose 6 = m*v - 6. Suppose 363 = 4*h - u - 0*u, -v = -4*u. Is h prime?
False
Suppose 5*v + 60 = -0*v. Let z be 12*(-2 + (-195)/v). Suppose -2*l = -z + 61. Is l a prime number?
False
Suppose -5*x = 17 + 13. Let r(s) be the third derivative of s**6/120 + 3*s**5/20 + s**4/4 + 5*s**3/6 + 2*s**2. Is r(x) a prime number?
False
Suppose 1963 = 3*a - 4*d, 8 = -5*d + 33. Suppose 2*p - a - 332 = -5*o, 3*p = 3*o - 600. Is o prime?
True
Let x(c) = 55*c**3 - 2*c**2 - c - 3. Let j(g) = 111*g**3 - 5*g**2 - 3*g - 7. Let t(a) = -2*j(a) + 5*x(a). Is t(1) prime?
True
Suppose -7*c + 2*c + 34 = m, -4*c - 5*m = -44. Is (c/(-18))/(2/(-894)) composite?
False
Suppose 0 = 3*j + 6, -4*y - 3*j + 3 = 1. Suppose 3*k = 9, y*a - 452 = -0*k - 2*k. Is a a prime number?
True
Is ((-44)/12 + -4)*-3*1 composite?
False
Suppose -3*m - 4*w + 491 = -187, w = 3*m - 693. Suppose -5*f = -0*f - m. Is f a composite number?
True
Let s = 12 + 1049. Is s a prime number?
True
Suppose 4*o - 20 = 0, -3*o - 56 - 232 = -z. Is z prime?
False
Suppose -6*s = -8*s + 6542. Is s prime?
True
Let c(n) be the second derivative of n**5/20 - 5*n**4/4 + 17*n**3/6 - 5*n**2/2 - 7*n. Is c(14) composite?
False
Let q(a) = -a**2 + 12*a - 15. Let r be q(10). Suppose -2*l + r*x - 13 = 0, -l + 4*x - 50 = -6*l. Is l prime?
False
Let t = -302 + 673. Is t a prime number?
False
Suppose 0 = r - 0*r - 295. Suppose 4*a + 0*a - 8 = 0. Suppose -r = t - a*t. Is t a prime number?
False
Suppose -3*d + 9 = 4*u - 0*u, 4*d = u + 12. Suppose -2*a + 145 + 613 = u. Is a a composite number?
False
Let q = 14 + -8. Suppose 154 = -4*k + q*k. Is k a prime number?
False
Let n be (-2)/5 + (-792)/(-30). Suppose -5*r = -n - 44. Is (r/(-6))/(1/(-3)) composite?
False
Let g(x) = x**3 + 12*x**2 + 4*x - 6. Let p be g(-9). Let y = 499 - p. Let h = y - 167. Is h a prime number?
True
Let q(l) = -l**3 + 10*l**2 - 9*l + 9. Let g be q(7). Let f = g - -164. Is f composite?
False
Let t = 9 + -8. Let x(s) = 222*s**2 + s. Is x(t) composite?
False
Let p = -4 - -7. Suppose p*k - 3*j - 60 = 0, -2*k + j + 4*j = -46. Is (-4)/k + 191/9 a prime number?
False
Suppose 2*b = -3*g - g + 10, -25 = -4*g + b. Suppose 0 = g*i + 2*n - 181, -2*n - 28 = -i + 1. Is i composite?
True
Is 5 + -6 - 186/(-1) a prime number?
False
Let u = 184 + -93. Let t = u - -36. Is t prime?
True
Let b(x) = -x**3 + x**2 + 2*x + 19. Is b(0) a prime number?
True
Suppose 2*x + 1 = x. Let f = 76 - x. Is f a prime number?
False
Is 3/(-6)*(-5931 - -5) composite?
False
Suppose 5*r + 2*z = 285, 0 = -2*r + 3*z - 0*z + 95. Is r a composite number?
True
Suppose 3*p + 3*l + 177 = -0*l, -3*p + 3*l = 159. Let w = p - -93. Is w a composite number?
False
Let p(r) = r**3 + 4*r**2 - 3*r. Let w be p(-5). Let c = -6 - w. Suppose c*u - 14 = -2*o, -2*o + 0*u = u - 23. Is o a composite number?
False
Let t be (2/(-3))/((-18)/1026). Is 17*t/((-4)/(-2)) prime?
False
Suppose 0*u - 15 = -5*h - 5*u, 0 = 2*h - 3*u + 9. Let j(l) = -l - 4. Let z be j(h). Is (-35)/z + (-1)/(-4) prime?
False
Let c = 3754 + 399. Is c prime?
True
Let m(t) = -t**2 + 5*t + 4. Let q be m(5). Suppose 8*j - 1004 = q*j. Is j prime?
True
Let h(f) = -61*f - 4. Let l(g) = -31*g - 2. Let n(c) = -3*h(c) + 5*l(c). Let y be n(2). Suppose -y = 4*i - 374. Is i a prime number?
True
Suppose -3*s - 238 = -6*i + i, -2*s = -4*i + 190. Suppose -44 = -4*o + 5*b, -2*o - 5*b = 2*o - 4. Let a = i + o. Is a a composite number?
False
Suppose -4*i - s - 5 = -0*s, 5*s = 4*i - 25. Suppose -2*j = i, 3*k + j - 2*j = -3. Is (2 - 3)*k + 46 a prime number?
True
Suppose -4*u - u = -50. Let s be u/2*(-6)/(-10). Is (-1)/((s/(-45))/1) prime?
False
Suppose -4614 = -4*j - 5*f, 2*j + 2*f - 2294 = 6*f. Is j a prime number?
True
Let i be (670/(-3))/((-7)/21). Let f = -35 + i. Suppose 4*q - f = -5*j, -408 = -7*j + 4*j + 3*q. Is j a composite number?
False
Suppose -28 = z - 5*z + 4*p, -2*z + 10 = -p. Let s(j) be the third derivative of j**6/24 + j**5/30 + j**4/8 + j**3/6 - j**2. Is s(z) prime?
True
Suppose -5*r - 22 = -2*b + 235, 261 = 2*b - r. Let d = 208 - b. Is d a composite number?
True
Let u = -3 + 1. Is ((-7)/28)/(u/1112) a composite number?
False
Let o(l) = 6*l**3 + 4*l**2 + 12*l - 57. Is o(7) composite?
False
Let x(k) = -k**2 + k + 1. Let u(l) = -1. Let b(i) = 3*u(i) - x(i). Let a be b(-3). Suppose -4*t = -12 - a, -3*t - 493 = -4*d. Is d a composite number?
False
Let q = 122 - 66. Suppose -5*i + 659 = 4*l, -5*i - q = -l + 90. Is l a prime number?
False
Let u = 625 - 235. Suppose 6*o - 5*k = o + u, -o - 4*k + 103 = 0. Is o a composite number?
False
Suppose 4*h - 5*b + 83 = -119, 3*h + 138 = -3*b. Let n be 19/(3/h*-2). Suppose 5*t - n = -47. Is t a composite number?
True
Let r be (-4)/(-4)*(-8)/2. Let f be ((-8)/r)/((-4)/(-6)). Suppose 0 = -4*n + v + 306, 0*n - 235 = -f*n - 2*v. Is n a composite number?
True
Let z = -5924 - -9345. Is z composite?
True
Let a = -291 + 1534. Is a a composite number?
True
Suppose 5*y = 25 + 10. Suppose 2*z + 2*z + 90 = 3*l, 0 = l + 5*z - 30. Let h = y + l. Is h a composite number?
False
Let v be 219/(-9)*(1 + 2). Let j = 170 + v. Is j*(-2)/(-1 + -1) composite?
False
Let c = -3 - -5. Let a = 5 - c. Suppose a*n - 118 = 29. Is n composite?
True
Suppose -595 + 118 = -3*m. Is m composite?
True
Suppose -a + 5 = -30. Let d = 4 - 8. Is (a/d)/(5/(-20)) composite?
True
Let j = -357 + 748. Is j a composite number?
True
Let r be (-4)/(-22) + 168/44. Suppose -3*f + l + 16 = 1, -f = -r*l + 6. Is f a prime number?
False
Let d(b) = -b**2 + 73. Let t be d(0). Let l = 108 - t. Is l prime?
False
Is 10179/18 + 1/(-2) a composite number?
True
Suppose 4*a = -a + 19735. Is a composite?
False
Let z(b) = b**3 - b**2 + 5*b + 4. Suppose q - 5*j = -2*q - 4, -8 = 2*q + 2*j. Let f be z(q). Let s = -28 - f. Is s a composite number?
False
Suppose d = -3*q + 10978, 2*q - 5*d - 7316 = -3*d. Is q a composite number?
False
Suppose -4*u + 15 = x - 9, 4*u - 28 = -2*x. Let p = 9 + x. Is p a prime number?
True
Suppose -1307 = -u - 4*x, -6*u = -u + 3*x - 658