True
Let c be ((-1)/(-3))/(1/54). Is 375 - c - (0 + -1) a prime number?
False
Suppose 5*p - 3380 = -445. Is p a composite number?
False
Let t be 1/((-3)/(-59))*6. Let p = 249 - t. Suppose 0 = -q - 0*q + p. Is q composite?
False
Let t = -757 + 1256. Is t a prime number?
True
Suppose 12*q - 923 = 1321. Is q prime?
False
Let b(q) = 40*q + 1. Let v(x) = -x. Let z(f) = b(f) + 4*v(f). Is z(1) prime?
True
Let v be 1 + -2 + 7*1. Let r(x) = -x**2 - 2 - v + 2*x**2 - 6*x. Is r(-7) a prime number?
True
Suppose -7*t = -9975 + 3626. Is t a prime number?
True
Suppose -4*k - t - 4*t = -581, -283 = -2*k - 5*t. Is k a prime number?
True
Suppose 5*w = z - 4*z + 1503, 0 = -3*z + w + 1503. Is z a composite number?
True
Let u(z) = z**2 - z + 5. Suppose 0 = -4*i + 119 + 9. Suppose -3*w = w + i. Is u(w) a composite number?
True
Suppose 5*u + 76 = t - 52, -173 = -t - 4*u. Let l = t + -18. Suppose 317 + l = 4*r. Is r prime?
True
Let f(o) = -o**3 + o**2 + 4*o - 1. Let u(h) = h**3 + 7*h**2 + 7*h + 3. Let x be u(-6). Let l(a) = a. Let n be l(x). Is f(n) a composite number?
False
Let z = -119 - -196. Is z prime?
False
Suppose 2*i - f = 6, 3*i + 0*f + f = 14. Let l(r) = 11*r**2 + 2 + 3*r - 4*r**2 - 3 - r**3. Is l(i) a composite number?
False
Let z(q) = 2*q**2 - 4*q + 3. Let u be z(2). Suppose u*i + 8 = 23. Suppose 423 = i*j - 2*f, -j + 2*f + 2*f + 99 = 0. Is j a composite number?
False
Let f = -2 + 4. Suppose 0*b = f*b - 118. Is b composite?
False
Is ((-2)/6)/(3/(-4797)) a composite number?
True
Suppose 0 = -8*j + 10*j - 74. Is j prime?
True
Let o = -660 - -989. Is o a prime number?
False
Let k be -1 + 2 + (5 - 4). Suppose c = -3*a + 4*c + 681, -k*a = 3*c - 429. Let g = 65 + a. Is g a prime number?
False
Is (4/5)/(18/10755) a prime number?
False
Let j = 7 + -2. Suppose 5*u = 3*m + 3, 3*u - 4 = j*m + 1. Let l(x) = -x**3 + x**2 + 37. Is l(u) prime?
True
Let g = -2 - -6. Suppose g*a = -172 + 440. Is a a composite number?
False
Let c be 9/(-36) - (-371)/(-4). Suppose -u + 3*u = 12. Is -1*2*c/u prime?
True
Suppose 4*k = -k + 15. Suppose -w = k*x - 916, 134 = x + 3*w - 158. Is x a prime number?
True
Suppose -2*s = -0*s - 6. Suppose 2*x - 3*m = -3, 0*x = -s*x - 2*m - 11. Is x - ((-3)/3 - 11) composite?
True
Let b(g) = 12*g + 27. Is b(7) prime?
False
Let x = -50 + 139. Is x prime?
True
Let f(y) = y**3 + 11*y**2 + 9*y - 10. Let u be f(-10). Suppose 5*g - 255 - 70 = u. Is g a composite number?
True
Suppose -t + 1607 - 430 = -4*m, 3*m = 5*t - 5953. Is t a prime number?
True
Suppose 4*u = -3*d - 55, -4*d - 2*u = 2*u + 76. Is d/3*(-9 - 4) a composite number?
True
Let c be 75/(-10)*(-2)/3. Suppose -c*r + 1103 = 3*t, -207 = -0*r - r - 4*t. Is r a composite number?
False
Let k(t) = 100*t + 11 - 3 - 19*t + 8. Is k(7) a prime number?
False
Let d(o) be the first derivative of 10*o**3/3 + 2*o**2 - 7*o - 1. Is d(5) a prime number?
True
Let w = -14 - -26. Is (-3)/18 + 1526/w prime?
True
Let s = 0 - -5. Let b(n) = -n**3 + 9*n**2 - 6*n + 16. Let j be b(6). Suppose s*g - j = 77. Is g a prime number?
False
Suppose -3*c + 6*c - 2*a = 6, -3*c - 5*a + 6 = 0. Suppose -3*v + 17 = -c*v. Let o = v - 7. Is o a composite number?
True
Let r = 74 - 152. Let h = -45 - r. Is h composite?
True
Suppose -3*u - d + 4 = 0, 2*d = -15 + 5. Let j = 328 - 143. Suppose h - 24 = u*v + 43, 3*h - 5*v - j = 0. Is h prime?
False
Let k be 4/10 - (-231)/35. Suppose -2*x = -k*x + 485. Is x a composite number?
False
Let u be (-1)/(1*1/(-5)). Let b be 0/(-1)*(-3 + 2). Suppose u*k - 25 - 150 = b. Is k a composite number?
True
Let o(p) = 11*p + 4. Suppose -g = -0*g - 3. Is o(g) composite?
False
Suppose -12 = v + 5*o, 21 = -v + 6*v - 2*o. Suppose -v*d = 6 - 207. Is d composite?
False
Suppose -2*i = -488 - 26. Is i a prime number?
True
Suppose 5*g + 2*d - 49 = 112, 3*g = 3*d + 84. Is g a composite number?
False
Let i(r) = -r**3 + 6*r**2 - 8*r + 11. Let t be i(5). Let p(q) = -4*q + 6. Is p(t) prime?
False
Let f = 1911 + -1298. Is f a prime number?
True
Let m(k) = k**3 - 12*k**2 + 3*k - 18. Let h be m(12). Suppose -13*u + h*u = 2035. Is u a composite number?
True
Let q(g) be the second derivative of -g**5/4 - g**4/12 + g**3/2 + g**2/2 - 2*g. Is q(-2) a composite number?
False
Let d(u) = u**3 - 8*u**2 - 28*u + 16. Is d(11) a composite number?
False
Let b(m) = -12*m + 1. Let g be b(-2). Let s = g + 12. Let i = 9 + s. Is i a composite number?
True
Let m = -198 - -288. Let u = 347 - m. Is u composite?
False
Let m(y) = y**3 + y**2 + 1. Let h(w) = -5*w**3 - w**2. Let b(a) = -h(a) - 4*m(a). Let d be b(3). Let i = 11 + d. Is i prime?
True
Let f be (-4)/(-22) + 105/(-33). Let g be -16 - (-3)/(f/2). Is (-670)/g - 2/9 a prime number?
True
Suppose -2 = 3*d - 17. Suppose 4*p + 2*g = -622, -494 + 1276 = -d*p - g. Let n = p + 236. Is n a composite number?
False
Let d = 238 + -89. Is d a prime number?
True
Suppose -4*h = -5*h + 9. Suppose -h + 85 = 4*f. Is f a composite number?
False
Let n = -6 - -10. Suppose n*k + 3*t = 142 - 6, -k = 4*t - 47. Suppose -y - 5*c = -k, 4*y - 3*y = c + 19. Is y a prime number?
False
Let d be (-3)/18 + 434/12. Suppose -4*j + 20 = -2*j. Is (d/j)/((-2)/(-5)) a prime number?
False
Suppose f - 5 = -z, 0*f - 6 = -3*f. Is ((-11)/z)/((-3)/27) a prime number?
False
Let r = -8 + 8. Suppose r*c + 1052 = 4*c. Is c a prime number?
True
Is 6*(-219)/(-10) + 8/(-20) composite?
False
Let p be (-4)/(-6)*(-135)/(-18). Suppose 313 = p*u - 72. Is u a composite number?
True
Let v be (-3 + (-4)/3)*12. Let f = v - -105. Is f a prime number?
True
Suppose -4*n + 2*n - t = -706, -2*t - 1420 = -4*n. Let p = -143 + n. Is p prime?
True
Let k = 187 + -78. Is k a composite number?
False
Is (21/(-12))/(2/(-776)) a composite number?
True
Let u(m) = 10*m**2 - m + 5. Is u(4) prime?
False
Let b be -331 + 0 - (0 - 1). Let u = b + 488. Is u a composite number?
True
Let w(j) = 9*j**3 - 6*j**2 + 3*j + 3. Is w(5) prime?
False
Let s(t) = t**2 - 5*t - 8. Let d be s(7). Suppose -d*z + z - g + 43 = 0, -g - 29 = -3*z. Is z a composite number?
True
Let l = 4 - 1. Suppose 5*m = l*u + 23, 6 = 2*m + 4*u + 2. Suppose 725 = m*r + r. Is r composite?
True
Let u = 16 - -17. Is u a prime number?
False
Suppose 9 = -4*z + 1. Let b(i) = -35*i**3 + 4*i**2 + 4*i + 3. Let y be b(z). Suppose -q + y = 2*q. Is q a composite number?
False
Suppose -3*x = 2*d - 24, 3*x - 5*x - 10 = -3*d. Is d a prime number?
False
Suppose -10*n - 285 = -15*n. Suppose 0 = -3*g - n + 810. Is g prime?
True
Let k(f) = 6*f**2 - 1. Is k(-7) a prime number?
True
Let k(g) be the third derivative of g**5/60 + g**4/12 + 3*g**2. Let o be k(-3). Suppose -y - 2*q + 39 = -28, 2*y - o*q = 169. Is y a composite number?
True
Let j = -288 - -1205. Is j a composite number?
True
Let d = 798 + -417. Is d a composite number?
True
Suppose -139*x + 1409 = -138*x. Is x a prime number?
True
Let f = -12 - -6. Let u(o) = 5*o**2 + 7*o - 6. Let z be u(f). Suppose -z = -4*b + 88. Is b prime?
False
Suppose 0 = -2*i - 2*i + 20. Let l(j) = -j**2 - j - 1. Let d(x) = 10*x**2 + 5. Let s(q) = d(q) + 6*l(q). Is s(i) a prime number?
False
Let k(p) = -406*p**3 + 1. Is k(-1) a prime number?
False
Let a = -7 - -83. Suppose -5*c = -c - a. Is c a prime number?
True
Let o(n) = -n**3 - 9*n**2 - 8*n + 7. Is o(-8) a composite number?
False
Suppose -x = 3*h - 5*x - 473, -x + 167 = h. Is h a composite number?
False
Suppose 2*q = -3*q - 3*z + 6725, 2690 = 2*q + 4*z. Let c = q + -798. Is c a prime number?
True
Is 5250/9 + (-4)/12 a composite number?
True
Suppose 4*m - 9*m + 1375 = 0. Suppose m = -5*a + 1020. Is a a prime number?
True
Let y = -375 - -574. Is y a prime number?
True
Suppose 0 = -b - 5*i - 1, 0 = i + 1. Let d(y) be the second derivative of y**3/2 + y**2 + 3*y. Is d(b) composite?
True
Let g(s) = 44*s**2 - s - 2. Let f = 6 + -4. Let b be g(f). Suppose 0 = -5*n + 737 - b. Is n prime?
True
Let r = 1 - 1. Suppose -4*a = 2*l + 76, -a + 3*l - 5 = -r*l. Let g = a + 42. Is g a prime number?
False
Suppose 6 - 1 = -5*s + p, 4*s + 3*p = 15. Let f(r) be the third derivative of r**4/24 + 17*r**3/3 + r**2. Is f(s) prime?
False
Suppose -15*o + 18*o - 534 = 0. Is o composite?
True
Suppose -2*u - 71 = -5*q, 5*q - 6*q = 3*u - 21. Suppose -3*a = -q, 0*a = -5*l + 2*a + 570. Let k = -81 + l. Is k composite?
True
Suppose -j - 3*v + 38 = 0, 5*v = -3*j + 38 + 72. Su