2 + 2. Suppose 2*s + 3*s = k. Suppose -75 = -s*c - 5*c. Is c a prime number?
False
Is 29 - (4 + -12 - -4) prime?
False
Suppose -s + 317 = -0*s. Is s composite?
False
Suppose 1262 = -2*q + 4*q. Is q a composite number?
False
Let t be (2 - (-56)/(-20))*-5. Suppose 5*m - l - 2037 = l, t*l + 1225 = 3*m. Is m prime?
False
Suppose 3*n + 8 = -n. Let d = n - 4. Let w = d + 19. Is w a prime number?
True
Suppose -4052 + 12218 = 6*n. Is n composite?
False
Is (-29*(-2)/6)/((-10)/(-1410)) prime?
False
Let j(l) = -60*l + 11. Is j(-6) composite?
True
Let r be 1 + 1 + -11 + 3. Let b be (-2)/r*(2 - 2). Suppose -o - 5*t = -33, b = -0*o + 3*o - 3*t - 117. Is o a composite number?
True
Let p(h) be the second derivative of h**4/12 - 2*h**2 + 3*h. Is p(9) a composite number?
True
Let z(y) = y + 10. Let d(c) = -c - 9. Suppose 0 = -3*p + 2*p + 2, -2*x = 5*p + 8. Let j be d(x). Is z(j) a prime number?
False
Let r = 8 + 29. Is r a composite number?
False
Let k(b) = -5*b**2 + 3*b - b + 2*b**3 - 5 + b**3 + 3*b. Is k(4) composite?
False
Suppose 3*i + 6 = 5*i. Suppose -5*r - i*x + 895 = 26, -4*x = 3*r - 528. Let l = r - 117. Is l prime?
False
Let v(m) = 6*m**3 - 3*m**2 + 9*m - 9. Let w(r) = 11*r**3 - 5*r**2 + 17*r - 19. Let i(k) = -5*v(k) + 3*w(k). Is i(5) a prime number?
False
Let m(w) = -7*w**3 - w**2 + 1. Let a = 1 + -2. Let o be m(a). Suppose 2*y - 6 = -4*f, o*f + 28 = y + 4*f. Is y a prime number?
True
Let v = 2 + -2. Let h be (-1 + 1)/(-3 - -5). Suppose v = -h*y + 4*y - 260. Is y composite?
True
Let k(x) = -x**3 + x**2 + 3*x - 6. Suppose -4*y = -2*y + 14. Is k(y) a composite number?
True
Let k(n) = -58*n - 1. Let j be k(1). Let y = 138 + j. Is y prime?
True
Let i be 2/5 - 18/(-5). Is (i/(-6))/((-4)/222) a composite number?
False
Suppose p - 8 = -p. Suppose p*r - 18 = 6. Is r composite?
True
Suppose 0 = 8*x - 3*x - 370. Is x prime?
False
Suppose 3*a = -a. Suppose a = 2*x - 0*x - 54. Suppose -u - u + x = -3*s, -5*s = -25. Is u a prime number?
False
Let v = 0 - 0. Let y = 4 + v. Let s = y - -17. Is s composite?
True
Let t = -609 + 2558. Is t prime?
True
Let d = 29 + -15. Suppose -2*t = -4 - d. Is t prime?
False
Let y(c) = c**2 + 2*c + 3. Let z be y(-3). Suppose 0 = a - z*a + 110. Is a composite?
True
Suppose 10 = -5*b, 2*b = -t - 3 + 1. Suppose 2*z = -t*z + 460. Is 0*3/(-9) + z a composite number?
True
Suppose 0 = -3*u - 4*m + 589, -2*u - 2*m - 565 = -5*u. Is u a composite number?
False
Let v(a) = a**3 - 2*a**2 - a + 2. Let k be v(3). Let j(u) = 4*u - 26. Let o be j(7). Suppose -k = -x - o. Is x composite?
True
Let b be (-4)/(-10) + 4/(-10). Suppose -5*c + 0 + 5 = b. Is c*15*(-20)/(-12) a composite number?
True
Suppose 0 = q + 2*q - 45. Is q a composite number?
True
Suppose -y = -3*s + 32, -2*y + y + 56 = 5*s. Is s composite?
False
Let p = 9 - -2. Is p a composite number?
False
Suppose -o - 3680 = -5*u, 6*o - 5*o - 2953 = -4*u. Is u composite?
True
Suppose -i - 24 = 2*i. Is 23/(-4)*(-28 - i) a prime number?
False
Let u(c) = 24*c**2 + c + 14. Is u(-9) prime?
True
Suppose -2 = u - 9. Is 2/u - 1056/(-77) a composite number?
True
Let z = 8 - -20. Suppose x - 151 = z. Suppose x + 236 = 5*y. Is y prime?
True
Let b(q) = -256*q + 19. Is b(-10) prime?
True
Let g(s) = -s. Let r be g(-2). Suppose -q = -n - n + 8, 3*n = -r*q - 2. Suppose -3*o + 103 = b, n*b = -4*o - 0*b + 140. Is o a prime number?
False
Let v(d) = 2*d**3 - 4*d**2 + d - 1. Suppose o - 24 = -3*o. Is v(o) composite?
False
Let k = 2 + -4. Let b(j) = -245*j + 1. Is b(k) a composite number?
False
Let a(y) = 9*y - 1. Let p be (-2)/8 - 123/(-12). Is a(p) a prime number?
True
Let j(h) = -7 + h**3 - 6 - 8*h + 12*h**2 - 19*h**2. Is j(9) a composite number?
True
Let z = 9276 + -5009. Is z a composite number?
True
Suppose 0*n + 126 = 3*n. Let h = n + 28. Suppose 2*d + 3*d - h = 0. Is d composite?
True
Let s be -3*(-1 - (-1 - -1)). Suppose 4*g + l - 8 = s*g, 5*l + 16 = 3*g. Is g a prime number?
True
Let t be 0 - (-7 + 3 + -1). Suppose t*z = z + 76. Is z prime?
True
Suppose -5*h + 4*h = 0. Suppose h = -2*j - j - 105. Is 2/7 - 4155/j prime?
False
Suppose -v + y - 41 = 0, 3*v + 5*y + 139 = -0*v. Let b(t) = -2*t**2 + 8*t - 4. Let n be b(6). Let p = n - v. Is p composite?
True
Let s be ((3 - 2) + -2)*-2. Let n be s/(-7) + 74/14. Suppose -14 - n = -f. Is f a composite number?
False
Suppose 0 = -t - 5*r + 248, t = -3*r + 8*r + 198. Is t composite?
False
Let x = -3 + 10. Is x composite?
False
Suppose 5257 = 3*f + 928. Suppose 0 = -4*d - 0*m + 3*m + 11, -10 = -5*d + 5*m. Suppose -4*a + 851 = -a - 5*q, -d*a - 4*q = -f. Is a a prime number?
False
Let o(p) = p**3 + 4*p**2 + 4*p + 2. Let z be o(-3). Is (-38)/z*(-2 - -3) a prime number?
False
Let s = -4 - -4. Suppose 0 = 3*p + 2*c + 10, -2*c - 1 - 3 = s. Is (0/p + -13)/(-1) a composite number?
False
Let m = 10 + -8. Suppose -8 = -m*q, 5*i - 4*q = 431 + 168. Is i composite?
True
Let c(v) = v + 191. Is c(0) a composite number?
False
Suppose 3*n - 4*a - 2653 = 0, -2*n - 3*a - 881 = -3*n. Is n a prime number?
True
Let s(r) = -4 - 1 + 3 + 5 + 58*r. Is s(5) prime?
True
Suppose 0 = 7*x - 1342 + 299. Is x a composite number?
False
Let q(j) = -j**3 - 12*j**2 - 11*j - 2. Let s be q(-11). Is s + (-3 - -122) + 2 prime?
False
Is -1*((-1479)/12)/(2/8) prime?
False
Let w = -381 + 592. Is w prime?
True
Is ((-14)/(-8))/((-1)/(4 - 120)) a composite number?
True
Suppose 0 = 2*o - o. Let g be o/(2/(0 + -1)). Suppose 0 = -4*s + 12 - g. Is s composite?
False
Is (3 - 2)/(5/190) a prime number?
False
Suppose -4*x + y + 20 = 0, 2*x = 5*x - 5*y - 15. Let f(u) = 3*u**3 - u**2 + 2*u + 5. Is f(x) composite?
True
Let c(g) = 40*g. Let s be c(1). Let t be (-30)/4*s/(-6). Suppose -2*i = -0*i - t. Is i a composite number?
True
Suppose 2*h - 4*h - 3*s + 13 = 0, 0 = 5*h - 2*s + 15. Let q = h - -6. Suppose 10*z - 185 = q*z. Is z a prime number?
True
Suppose -328 = -4*j - 0*j - 5*i, i = 3*j - 265. Is j a composite number?
True
Let d be 1*(-2 + (1 - -6)). Suppose 2*p + 3*o = 3*p - 67, d*p + 2*o = 403. Is p composite?
False
Let n(m) = m**3 - m**2 - 2. Let a be n(2). Suppose 0 = -q - 0*q - a. Is 14/8 - q/8 a prime number?
True
Suppose -53 = z - 180. Is z a prime number?
True
Let o = 14 + -10. Let k(i) = i**3 - i**2 - 5*i + 5. Is k(o) prime?
False
Let h be -12*((-5)/(-3) - 2). Suppose -24 + 160 = h*o. Is o composite?
True
Let j = -4 + 2. Let l = 59 + j. Is l composite?
True
Let w(d) = -d**3 - 3*d**2 - d + 1. Let l be w(-2). Let f be (0 - l)/((-2)/4). Is 1 + f + 81 - 1 prime?
True
Let q(s) = -s + 8. Let i be q(0). Is ((-194)/i)/((-4)/16) a composite number?
False
Let b = -43 - -182. Let h = b - 57. Is h a prime number?
False
Suppose 4*c = -2*w + 6, 4*c - 3*w + 1 - 2 = 0. Let a(p) be the first derivative of 35*p**4/4 - p**2/2 + p + 1. Is a(c) a composite number?
True
Let y(v) = v**3 + 6*v**2 - 5*v - 1. Is y(-5) a prime number?
False
Suppose 5*p - 3*u + 444 + 548 = 0, -2*p - 3*u = 380. Let w = 543 + p. Is w prime?
True
Suppose 0 = 9*f - 3*f - 390. Is f a prime number?
False
Suppose -4 = -s - 1. Suppose -2*m - 4*c = 0, -12 = -2*m + 3*c - 5. Suppose 26 = s*q + m*l, -q + 0*q + 14 = 2*l. Is q prime?
False
Let b(i) = 57*i + 2. Let x(o) = -58*o - 3. Let m(y) = 4*b(y) + 3*x(y). Is m(1) prime?
True
Let m(h) be the first derivative of h**4/2 - h**3/3 - h**2 - 4*h + 3. Is m(3) composite?
True
Is (-3)/(-6) - 1351/(-14) composite?
False
Let k(a) = -775*a - 44. Is k(-7) prime?
True
Is ((-590)/4)/((-20)/40) a prime number?
False
Let z(f) = -f**3 + 17*f**2 - 14*f + 15. Is z(11) composite?
False
Let w(p) = -p**3 - 96. Let n be w(0). Let a = 333 + n. Is a a prime number?
False
Let w(g) = -43*g + 3. Let v be (-1)/((-2)/3 + 1). Let a be w(v). Suppose 8 - a = -4*q. Is q composite?
False
Suppose 4*b = 2*g - 1270, b = -4*b. Is g prime?
False
Let i = 13 - 10. Suppose -3*r - 209 = 2*f - 600, -i*f = r - 576. Is f composite?
False
Let a(n) = 26*n**2 + 5*n + 2. Is a(3) prime?
True
Let g = -18 + 39. Suppose 1 + g = 2*a. Is a composite?
False
Let g = 100 + -29. Suppose -r + 4*y = -4*r - 107, 3*y = -2*r - g. Let i = 84 + r. Is i a prime number?
True
Suppose 2*a + 4*i - 8 = 0, 0 = 2*a - 6*a - i + 23. Let f = 9 + a. Is f a composite number?
True
Suppose u + l - 657 = -u, 2*l - 321 = -u. Is u a prime number?
True
Let x(j) = -73*j**3 + j**2 + 8*j + 3. Let f(g) = -1