 (v/3 - -1) a composite number?
False
Suppose -83 = 4*n - 3*n. Is 2*n*(-1)/2 a prime number?
True
Let d be (-6)/(-15)*5*-1. Let m be (d - -1)/((-2)/6). Suppose j - 52 = -m*j. Is j composite?
False
Is (-3 - -4)/((-1)/(-59)) composite?
False
Suppose 1603 + 518 = 3*a. Is a prime?
False
Let r(f) = -f**2 - 19*f - 7. Is r(-13) a prime number?
True
Suppose 4*q - 708 = 1392. Suppose 6*l = l - 5*z + q, 2*l = 2*z + 226. Is l prime?
True
Suppose -11346 = -5*w + 2*n + n, 3*n - 6822 = -3*w. Is w prime?
False
Let i(a) = -14*a**3 - 41*a**2 - 25*a - 15. Let f(o) = -5*o**3 - 14*o**2 - 8*o - 5. Let r(v) = 11*f(v) - 4*i(v). Is r(-8) a composite number?
False
Let h = -2 + 2. Is (h - 7)*(2 - 5) a prime number?
False
Let g(w) = 47*w - 9. Let c(z) = z - 1. Let d(i) = 6*c(i) - g(i). Is d(-2) composite?
True
Suppose 2*r = 5*k - 78, 0 = -3*r - 14 + 2. Suppose -c - c = -k. Is c composite?
False
Let d(z) = 226*z - 6. Let h be d(5). Let o be h/(-6) - 3/(-9). Let g = -104 - o. Is g prime?
True
Suppose n = 6*n - 350. Suppose -n = -2*a - 0*a. Is a prime?
False
Let p be 24/2*1/(-2). Let m = 35 + p. Let j = m + -19. Is j prime?
False
Suppose 434 = 2*b + 82. Let y = 381 - b. Is y prime?
False
Let m(b) = -4*b**2 - 9*b + 6. Let l be m(6). Let q = l - -271. Is q prime?
True
Suppose 0*z - z = -2. Suppose -4*s = 5*d - 6*s - 284, -d = -s - 55. Is 1*((-6)/z + d) a prime number?
False
Let c be (3/(-1))/(9/(-15)). Suppose -5*f = 2*n - 1021, -2*f - c*n = -2*n - 415. Is f a prime number?
False
Suppose c = -0*c + 3*h + 110, -2*h - 8 = 0. Let q = c - -17. Is q composite?
True
Let k be ((-3)/(-5) + -1)*-15. Suppose -2*g + 4*g = -3*l - 22, g - l + k = 0. Let z = 15 + g. Is z a composite number?
False
Suppose -i = -8*i + 3913. Is i prime?
False
Let w(c) = 5*c**3 + c + 1. Suppose -3*g = -15, -3*m - 2*g - g + 12 = 0. Let y be w(m). Let j(q) = -6*q + 7. Is j(y) a composite number?
False
Suppose 232 = 3*l + l. Suppose 2*n + l = 228. Is n composite?
True
Suppose -2*m + 8 = -0*m. Suppose -n - 5*i + 25 = 0, -2*i - 41 = n - m*n. Is n a composite number?
True
Suppose 0 = 3*a + 3*a - 19230. Is a a prime number?
False
Let j = 85 + -44. Suppose 24 = i - j. Is i prime?
False
Suppose -2*u = -0*d + 5*d - 135, -5*u - 2*d + 327 = 0. Suppose -i + 2*r + u = 0, 5*r - 4*r + 68 = i. Is i prime?
True
Let n = 649 + -438. Is n prime?
True
Let l = 37 + -23. Let x = l + -9. Suppose 2*q - 3*n + n = 22, 0 = 2*q + x*n + 6. Is q a composite number?
False
Suppose 0 = t - 3*j - 319, 4*t - 783 - 493 = j. Is t prime?
False
Let b be (-22)/(-5) + (-2)/5. Let k(n) = n**2 - 5*n - 2. Let d be k(b). Is -2 + 134*(-3)/d a prime number?
False
Let o(c) = -23*c - 11. Let h be o(5). Is 4/(-12)*h/3 prime?
False
Let a = 793 - -58. Is a a prime number?
False
Let h be 4/(-10) - 804/(-10). Suppose h = 4*y - 44. Suppose 2*m = 3*m - y. Is m composite?
False
Let d(u) = 2*u**2 - 12*u + 5. Is d(9) composite?
False
Let i be 154 - (-2 - (6 + -4)). Suppose a - g = i, -4*a + 346 = -2*a + 4*g. Is a a composite number?
False
Suppose -7*x = -3*x - 12. Let w = -5 + 10. Suppose 7 = 2*a - 3*a - w*c, -5*a - x*c = -53. Is a a composite number?
False
Is ((-6)/15)/((-2)/15) prime?
True
Let w(h) = -h**3 - 5*h**2 + 7*h + 9. Let m be w(-6). Suppose -4*y + r - 3*r + 898 = 0, -m*y - 3*r + 678 = 0. Is y a prime number?
True
Let y = 16 - 14. Suppose 0 = -3*a + a - 2*n + 596, y*n - 1475 = -5*a. Is a composite?
False
Let u(y) = -2*y. Let x be u(-3). Suppose 1645 = -s + x*s. Is s composite?
True
Suppose -6*p + p + 20 = 0. Is (-4)/(-16) - (-507)/p a composite number?
False
Suppose -2*t - 4*b - 10 = 0, 5*t = -2*b - 2*b - 1. Let l be (-2 - (0 + 2))*-8. Suppose w = -x + l, t*x + w + 3*w = 91. Is x a prime number?
True
Suppose 11*k - 5*k + 210 = 0. Let w be ((-1)/2)/((-2)/8). Let y = w - k. Is y composite?
False
Let i(p) = p**3 + 9*p**2 + 9*p + 11. Let u be i(-8). Suppose 0 = 2*r + k - 498, r + k + 498 = u*r. Is r prime?
False
Let t(m) = 2651*m**2 - m - 1. Is t(-1) prime?
False
Let m(d) = -d - 5. Let n be m(-6). Suppose -2*j + 2*a - 7*a = -16, 5*a - 22 = -4*j. Suppose -j*h - n + 10 = 0. Is h prime?
True
Suppose 0 = -4*r + 5*y + 26, -y = 5*r + 4*y - 10. Suppose x + c = -c + 2, 2*x = 4*c + r. Is x a prime number?
True
Let p = 22 + -16. Let f(j) = 4*j**2 - 3*j - 7. Is f(p) a composite number?
True
Suppose 5*p + 44 = 4. Is 4/(-16) - 298/p composite?
False
Is -5 - (-40)/4*232 prime?
False
Suppose -13 = -3*w + 11. Let y = w + -5. Is (0 - 1)*(-42)/y a prime number?
False
Suppose 4*i + z = 267, -z = 4*z - 15. Let p be (22/(-3))/((-2)/i). Suppose n = -31 + p. Is n prime?
True
Let x = -404 + 110. Is (x + 1)*-1*1 a prime number?
True
Let h be (20 - 16)*6/4. Let b = 1 + 8. Let m = b + h. Is m composite?
True
Let h be 8/28 + (-624)/(-21). Is 6/h + (-828)/(-10) a composite number?
False
Suppose 0 = -7*a + 2*a + 5. Suppose 5*r - a = -4*h, -5*r + 3*h - 19 = 8. Let z = r - -6. Is z a composite number?
False
Let n = -16 - -7. Let f(g) = g**3 + 8*g**2 - 10*g + 12. Is f(n) a prime number?
False
Let b(o) = -150*o - 13. Is b(-5) a composite number?
True
Is 1/((-4 + 3)/(-121)) a prime number?
False
Suppose -5 = -2*r - 5*q, 2*r - 2*q = 5*r - 13. Suppose j - 4*c - 112 - 35 = 0, 0 = -r*j + c + 640. Is j a composite number?
False
Suppose 5*r + l + 4*l + 2395 = 0, -475 = r + 3*l. Let o = 200 - 478. Let q = o - r. Is q prime?
False
Let p be 6/(2/(2*-1)). Suppose 5*a - 6 + 36 = 0. Is 98 + (-3)/a*p a prime number?
False
Suppose -2*c = -3*i + 330, -201 = 3*i - 5*i - 5*c. Let v = -31 + i. Is v composite?
True
Let m = 7 - 1. Let v be (-2)/m*(8 - 29). Suppose u + 2*c - 104 = v*c, -3*c - 9 = 0. Is u a prime number?
True
Let s(n) = -3 + 3 + n**2 - 1 + 2*n. Let u be s(-3). Suppose -u*i = 5*h - 105, -4*h + 105 = h - 3*i. Is h composite?
True
Let s(q) = -1 - 1 + 9*q - 8*q + 2*q**2. Is s(5) composite?
False
Let j be (1/2)/(1/(-24)). Is 36/j + (0 - -152) prime?
True
Let b = 0 - -2. Is (b + 15)*(-28)/(-4) prime?
False
Let b = 5599 - 2336. Is b a prime number?
False
Let h = -115 + 169. Suppose -466 = -4*y - h. Is y a prime number?
True
Let g = 193 - -250. Is g prime?
True
Let s(j) = 6*j**2 - 2*j + 3. Is s(3) a composite number?
True
Suppose -y + 8 = 5*i - 6, 5*i - 12 = -3*y. Suppose -3*u - 2495 = -5*m, -i*m + 5*u = -m - 998. Is m a composite number?
False
Suppose -5*c - 104 - 6 = 0. Let a be 7*2/(-4)*c. Let x = a - 55. Is x composite?
True
Let w(q) = -8*q + 2. Is w(-13) prime?
False
Is 35/(-15)*(-4 - -1) a composite number?
False
Suppose -2*u = -176 + 66. Is u composite?
True
Suppose 1 = -x + p, 5*x + 3*p - 6 = 13. Let t = -8 - -8. Suppose t = x*d - 36 + 10. Is d prime?
True
Let q(g) = 11*g**2 - 3*g + 3. Suppose -2*a + v - 12 = 3*v, 4*v = 2*a - 6. Is q(a) composite?
True
Let c be 679/3 - 1/3. Let d be -1 + (-2 - 9/(-3)). Suppose b + f - 109 = d, -c = -3*b + b + 2*f. Is b prime?
False
Is (1 + -2)*(-80 + -3) composite?
False
Let z = 81 + 96. Let n = z + -95. Is 2*(n/4 - 2) a prime number?
True
Let k(c) = c**3 + 4*c**2 + 3*c. Let l be k(-2). Suppose 143 = 4*w - 5*j, l - 188 = -5*w - j. Is w a prime number?
True
Let q be -9 - 2/(-2)*1. Let z = q - -87. Is z composite?
False
Let i(v) = -v**2 - 8*v + 6. Let b be i(-8). Let j(s) = 2*s**3 - 5*s**2 - 2*s + 13. Is j(b) composite?
True
Let y be -1 + 3 + -2 + 0. Suppose a = 2*s - y*s + 9, s + 15 = 4*a. Suppose a*n - 21 = -0*n. Is n a prime number?
True
Let c = 234 - 119. Is c a composite number?
True
Suppose 3*f - 91 = 14. Is f a composite number?
True
Suppose -3*b + 2*j + 9 = 0, -b - 3*j = 2 - 16. Is (-3)/(-5) - (-182)/b composite?
False
Suppose -3 = 4*c - 19. Let h = 55 + c. Let j = h + 20. Is j a prime number?
True
Suppose -3 = 3*x + 3*f, -x = -8*f + 3*f + 19. Let c(p) = p**2 + 3*p. Let d be c(x). Suppose d*k + 0*q - 259 = -3*q, -q = -k + 70. Is k prime?
True
Suppose -5*t + 0*t + 20 = 0. Suppose -j + 3*n + 38 = -0*j, 0 = -t*j - 5*n + 203. Is j composite?
False
Suppose 0 = 6*f - 4119 + 1101. Is f a prime number?
True
Let q be 10*-2*1/4. Let k = q - -18. Is k prime?
True
Suppose 0 = 3*s + f + 2*f - 1230, 3*s - f - 1246 = 0. Is 4/(-6)*s/(-12) a composite number?
False
Suppose 2*s = 3*c - 0*s - 526, 0 = s - 4. Is c composite?
True
Let n be 70/6 + (-7)/(-21). Suppose -2*z = 2*z - n. Suppose -5*s + 5*x + 33 = -s, z*s - 5*x = 26. Is s a prime number?
True
Let u = 111 + 80. Let d = 