z + z - 2079. Suppose -742 = -5*x + z. Is x a prime number?
False
Let n(a) = 188*a**3 + a**2 + a - 1. Is n(2) a composite number?
True
Let o = 47 - 86. Let t = 23 - o. Is t prime?
False
Let t be 2/9 - (-398)/(-9). Let w be 5*(-10)/2 - 4. Let a = w - t. Is a prime?
False
Is 7126/(1/5 - (-63)/35) prime?
False
Suppose -3*k = -4*n + 456 + 728, -4*k = 4*n - 1212. Suppose -n = -f + 80. Is f a composite number?
False
Let i = 1867 - 956. Is i a composite number?
False
Suppose 99 = 3*i - 474. Is i composite?
False
Let h(p) = p**2 + 10*p + 10. Let f be h(-9). Suppose 2*x - 15 = -f. Is x a prime number?
True
Let a = 6 - 6. Let k be 8*66/(a - -3). Suppose -s + 47 = -5*f, 3*s - k = -f - 67. Is s a prime number?
True
Suppose 4*c + 1189 - 3953 = 0. Is c a prime number?
True
Let s(q) = -q**3 + q - 2*q**3 - 2*q + 2*q**2 - 6 + 1. Is s(-4) prime?
True
Suppose 3*z + 4*m = -11, 2*z - 31 = -0*z + 5*m. Suppose -z*n + 803 = 134. Is n a prime number?
True
Let u(j) = 6*j**3 + j. Let z be u(-1). Is 361 - (-4 + 0 - z) composite?
True
Suppose 3*u - 747 = -0*u. Is u prime?
False
Let x = -4 - -6. Is (-6)/9*(-201)/x a composite number?
False
Is (-23195)/(-20) - 3/4 prime?
False
Suppose -a + 2 = -3. Suppose 416 = a*l + 91. Is l a composite number?
True
Suppose t + 0*t - 53 = -h, 2*t + 50 = h. Let c be (-1)/(-2) - h/8. Let z = c + 17. Is z prime?
True
Let d = -3 - -6. Let x be (3 - 2) + d + -2. Suppose -94 = -2*k + 4*z, z = x*k + 2*k - 174. Is k a composite number?
False
Suppose -x = 2 - 4. Let k(a) = a**3 - 5*a**2 + a - 5. Let b be k(5). Suppose -44 = -x*q - b*q. Is q a composite number?
True
Suppose -11*y + 153 + 11738 = 0. Is y prime?
False
Let h = -141 - -53. Let s be (-1)/(-3) - h/6. Let n = 29 - s. Is n composite?
True
Suppose -4*w = -6 - 2. Suppose m + 1 = w*m. Is -2 + (-81)/m*-1 a prime number?
True
Let a(u) = 43*u + 2. Is a(9) a prime number?
True
Let z(b) = -10*b - 27. Is z(-11) prime?
True
Suppose 4*b - 5*h - 7592 = 0, -3*h = 2*b - 5*b + 5691. Is b a composite number?
True
Suppose 2*x + q - 11 = -2, 3*x = 3*q + 27. Suppose -5*i - 149 = -x*i. Is i a prime number?
True
Suppose -11*r + 9 = -8*r. Suppose g - 6*j = -j - 8, -3*g = -3*j. Suppose -5*l + g*s = -197, 5*l = l - r*s + 153. Is l a composite number?
True
Let m be (331/2)/(7/(-14)). Let a = m - -798. Is a a composite number?
False
Let l = -47 + 145. Let f = l + -35. Suppose 3*a - f = -0*a. Is a a composite number?
True
Let l(n) = n**3 - 5*n - 10. Is l(7) a prime number?
False
Let m(u) = -3*u. Suppose -4*z = -z - 39. Let x = -20 + z. Is m(x) prime?
False
Let r(q) = 5*q**2 - 2*q**2 + q**3 - q + 3 + 3*q + 0. Let m be r(-3). Is -76*m/12*5 prime?
False
Suppose 0 = -2*m + 6*m. Is m + 2 + (-4 - -5) a composite number?
False
Suppose 0 = -7*s + 2*s + 2300. Suppose s = 4*w - 576. Is w a prime number?
False
Suppose -2*n - 347 = -95. Let j = -73 - n. Is j prime?
True
Is (-696)/(-30) - 2/10 - 1 a prime number?
False
Let w = -3 - -2. Let q = w - 10. Let m = -5 - q. Is m a prime number?
False
Let k be 28/8*(0 - -2). Suppose 0 = k*t - 3*t - 836. Is t composite?
True
Suppose 0 = k - 2*k + 65. Is k a prime number?
False
Suppose -3*t = -t - 298. Is t a composite number?
False
Suppose -5*u - 2*p = -19, 0 = u + u - 3*p. Let f = u + 28. Is f a prime number?
True
Let l = 35 - 116. Suppose 0 = -4*a + 161 + 615. Let s = l + a. Is s a prime number?
True
Suppose 5*h - 18 = 2. Is 2/8 - (-147)/h a composite number?
False
Let m(i) = -85*i + 38. Is m(-11) prime?
False
Is -1*1*(-9 - 22) prime?
True
Let w(q) = 3*q**2 - 2*q + 13. Let g(p) = 5*p**2 - 3*p + 20. Let b(h) = 5*g(h) - 8*w(h). Let l be b(3). Is 46/l - (-1)/4 composite?
True
Is -1 + 2 + 1160 - -2 prime?
True
Let q = -160 + 285. Suppose -q = -5*a + 30. Is a a composite number?
False
Let b(y) = 3*y - 1. Let v be b(3). Suppose -c = -59 - v. Is c composite?
False
Let u(c) be the second derivative of c**5/20 + 5*c**4/24 + 5*c**3/6 - 3*c**2/2 + c. Let q(n) be the first derivative of u(n). Is q(-5) a composite number?
True
Let v = -1464 + 868. Let g = -379 - v. Is g composite?
True
Suppose -3*q + 0 = -9, 3*x = -q + 54. Let y = x + -14. Is y prime?
True
Let l be (-2)/6*(0 - 9). Suppose 3*t + k + 69 = 4*t, 211 = l*t - 5*k. Is t prime?
True
Suppose 33 = -h + 139. Is h a prime number?
False
Suppose 3*l = 8*l - 10. Suppose -l = 4*r - 6. Let d = r + 20. Is d a composite number?
True
Let v(m) = 11*m + 6 - 7 + 67*m. Is v(2) a composite number?
True
Suppose 0 = 4*o + 192 - 620. Let z = o - 22. Is z a prime number?
False
Let n(m) = -m**3 - 5*m**2 + 11*m - 1. Let v = 14 + -33. Let f = v + 11. Is n(f) a composite number?
False
Suppose 82 = j + 23. Is j composite?
False
Let d = -5 - -8. Let n(x) = -2*x - d*x + 2 + 6*x + 8*x**2. Is n(3) a prime number?
False
Suppose 4*z - z = 3*x - 87, 5*z + 5*x = -125. Let h = -14 - z. Is h a composite number?
False
Let l = 5 + 1. Suppose 3*h - h - l = 0. Is -3 + (65 - -2) + h composite?
False
Let m = 8585 + -3846. Is m a prime number?
False
Let f(y) = -y**2 - 7*y - 2. Let x be f(-6). Is 121/x + (-3)/(-4) composite?
False
Let y = -1467 - -3388. Is y composite?
True
Let y be (18/3 + -2)*6. Let a be (158/6)/(2/y). Suppose 6*v - 2*v = a. Is v a composite number?
False
Let w(h) be the second derivative of h**5/20 - h**4/3 + h**3/3 + h**2 + 2*h. Let v be w(2). Is (14/6)/(v/(-12)) composite?
True
Let h(o) = -114*o - 1. Is h(-12) composite?
False
Let c(p) = p**3 + 14*p**2 - 14. Is c(-13) a prime number?
False
Suppose 5*x = -4*u + x, 3*x + 2 = -u. Let p be ((-21)/(-6))/(u/2). Let l = p - 3. Is l a prime number?
False
Let y(k) = 1195*k**3 + k**2 - 1. Suppose -3*p = -4*h - 0*p + 13, -2*p = -2*h + 8. Is y(h) a prime number?
False
Let w(r) = -r + 11. Let z be w(10). Is (-1671)/3*(-1)/z a composite number?
False
Let v(g) = 22*g**2 - g + 26. Is v(9) composite?
True
Let r be (-10)/(-2)*(-2)/(-2). Let q(z) = -z**3 + 6*z**2 - 6*z + 7. Let j be q(r). Suppose -j*f = -2*v + 166, -4*v = -3*v - 4*f - 95. Is v prime?
True
Let r = -987 - -1618. Is r composite?
False
Suppose -p + 10 = 4*p. Suppose p*j + 0*d = 5*d - 56, 84 = -3*j - 2*d. Let g = -3 - j. Is g a prime number?
False
Let a = 29 + 105. Suppose -r = -3*r + a. Is r prime?
True
Let z = 6 + -3. Suppose -3*b = z*i - 594, 3*b - 2*i = 686 - 67. Is b a composite number?
True
Suppose 0 = 3*i - 13 + 1. Suppose -i*x + 41 = -3*l, 0*x + 3*x - 2*l - 31 = 0. Is x a composite number?
False
Suppose -4 = 2*q, y - 16 + 0 = 2*q. Suppose -y - 2 = 2*h. Let w = h + 16. Is w composite?
True
Let y(m) be the second derivative of -13*m**3 - m**2 - 3*m. Let n be y(-2). Is n/(-4)*(-7 + 5) composite?
True
Is ((-5826)/(-9))/(10/15) prime?
True
Let l(j) = 1339*j**2 + 11*j + 5. Let c(p) = -268*p**2 - 2*p - 1. Let h(v) = -11*c(v) - 2*l(v). Is h(-1) prime?
True
Let f(j) = 73*j + 5 + 8*j - 1. Is f(2) a composite number?
True
Let o = -182 + 309. Is o a composite number?
False
Let s(r) = -281*r - 82. Is s(-9) a prime number?
True
Let y(q) = 4*q + 1. Let l = -2 + 12. Suppose i - 5 = -4*b, 0*i - l = -2*i - b. Is y(i) a composite number?
True
Suppose -39*x = -46*x + 7861. Is x a prime number?
True
Let b be 36*(-3)/(-18)*3. Is 112/b - 2/9 a composite number?
True
Let f be 1 + (-6)/(-8)*4. Suppose 0 = -f*q + 6*q - 158. Is q a composite number?
False
Is 758*(3/2)/3 prime?
True
Is (-780)/(-25) - 1/5 composite?
False
Let a(b) = 20*b**2 - 3*b + 3. Let v be (-3 + -4)*(-12)/14. Suppose 2*o = v - 2. Is a(o) prime?
False
Is ((-1671)/(-12))/(1/4) composite?
False
Suppose -2*p = p. Let q be p/(4 + (-1 - 1)). Suppose q = -4*r + 96 + 44. Is r a prime number?
False
Let v(r) = -7*r + 6. Let y be v(4). Is (-4)/22 - 466/y composite?
True
Let a be -1 - ((-6)/(-3) + 1). Let u be (a/(-12))/((-2)/(-24)). Suppose y + u*j - 43 = 0, 3*y - j - 40 - 63 = 0. Is y a prime number?
False
Let d(n) = -32 - 4*n**3 + 23 - 3*n + 11*n**2 + 3*n**3. Is d(8) a composite number?
True
Suppose 3*l - 120 - 792 = 0. Let k = 537 - l. Is k a composite number?
False
Is (12830/15)/(5/15) a composite number?
True
Let b(n) = 180*n**2 + 7. Is b(5) a prime number?
True
Let c(k) = -130*k**2 - 5*k + 4. Let h be c(3). Let d = -600 - h. Is d a prime number?
False
Suppose -5*j = 5*x - 835, 4*x - 5 = 3. Is (76/6)/(10/j) a prime number?
False
Let i = 173 - -326. Is i prime?
True
Let g(b) = 14*b**3 + 2*b**2 - b + 4. Let k be (-8)/12 +