ime?
False
Suppose -7 = 4*w + 17. Let n = w - -139. Is n a prime number?
False
Let f = -74 + 130. Let k = f - -21. Is k prime?
False
Let k(v) = v**3 - 5*v**2 + v - 3. Let x be k(5). Suppose s = 3*y - 128, -2*s - x*s = 5*y + 478. Is (s - -1)/(-2 - -1) prime?
False
Suppose -4*s + 5*s = 0. Suppose -2*z - 2*z + 56 = s. Is z a prime number?
False
Let l = -45 - 22. Let t(k) = 2*k**2 - 4*k + 6. Let u be t(8). Let c = u + l. Is c prime?
False
Let i = 202 - 69. Is i a prime number?
False
Suppose -3*n + 4*n - 419 = 0. Suppose 4*t - 41 - n = 0. Is t a composite number?
True
Let m = 52 + -17. Let u be 244/6*3/2. Let x = u - m. Is x composite?
True
Let m(p) = -49*p + 40. Is m(-9) prime?
False
Let x = -3 - -4. Suppose z + 2 = u, 2*z = -5 + x. Let c(r) = -r**3 - r**2 + r + 83. Is c(u) a composite number?
False
Is -1 - (-6 + 4) - -808 composite?
False
Let n(y) = 4*y**2 + 3. Is n(3) a prime number?
False
Let t(d) = -28*d - 27*d + 14 - 19. Is t(-4) composite?
True
Suppose -3*d + s + 14 = 0, 5*s = -d + 2*s - 12. Is d/(-6) + 423/2 a composite number?
False
Let u(v) = 10*v + 7. Suppose 0*k = -k - 2*g + 4, 5*k + 2*g - 36 = 0. Is u(k) composite?
True
Let x(g) = 223*g + 15. Is x(4) composite?
False
Suppose s - 322 = -2*c, 4*c = -s + 252 + 396. Suppose 0*h + c = h. Is h composite?
False
Suppose j + 162 = -2*j. Let s = 107 + j. Is s a prime number?
True
Is 1*4*(918/24 + 1) a prime number?
True
Let d be 8/1*(0 - 1). Let n(i) = i**3 + 9*i**2 + 5*i - 4. Let z be n(d). Let k = -5 + z. Is k prime?
False
Let j(m) = 2 - m**2 - 1 + 3*m**3 + 0*m**3. Let u be j(1). Suppose 2*v - 165 = -3*t, 0*v - 203 = -4*t + u*v. Is t composite?
False
Suppose -2*h - 5*o - 27 + 9 = 0, h + 8 = -3*o. Let z(i) = i**3 + 4*i**2 - 5*i - 4. Let v be z(-5). Is h/v - (-4)/(-8) composite?
False
Suppose 0 = 2*m - 3 - 3. Suppose 0 = -8*o + m*o + 4*z + 159, 2*o + 4*z - 86 = 0. Is o prime?
False
Let x = -1035 - -6280. Is x composite?
True
Let y(a) = -4*a**3 - 7*a + 2. Let f(w) = -w**3 - w**2 + 1. Let l(g) = 6*f(g) - y(g). Is l(-6) a composite number?
True
Suppose 596 = 8*d - 4*d. Is d composite?
False
Let b(m) = -m**3 - m**2 + m + 10. Suppose 0 = -n + 3*n. Suppose n = -3*f - r, -2*r = 5*f - 5*r. Is b(f) a composite number?
True
Let d(n) = -n + 3. Let z be d(0). Suppose 5*a = -2*p + 4*p - 559, -z*a = -5*p + 1426. Is p a composite number?
True
Suppose 429 + 661 = 5*z. Let s = 379 - z. Is s prime?
False
Suppose 0*o + 3*o - 1659 = 0. Is o a composite number?
True
Let u be (-16)/(-6) - 6/(-18). Suppose 4*w = -5*x + 812, w + u*w - 5*x = 812. Is w a prime number?
False
Let g = -1590 + 2455. Is g prime?
False
Let y = 705 + -458. Let j = 10 - 6. Suppose 5*l - 3*q = 3*l + 193, 3*l + j*q - y = 0. Is l composite?
False
Let v(z) = -55*z - 2. Is v(-4) a prime number?
False
Suppose -m - 3*r + 7 = 0, 0 = -0*m + 3*m - r - 21. Is ((-7)/m)/((-2)/86) prime?
True
Let u(v) = 20*v**2 - v + 1. Is u(2) a prime number?
True
Suppose 0 = -3*n + 6*n - 12. Let c = n + 33. Is c a prime number?
True
Let c(b) = -b**3 + b**2 + 6. Let p be c(0). Let l(v) = 7*v - 2. Let x be l(p). Suppose 3*j - 2*s - 110 = 0, 2*j + 4*s - x - 44 = 0. Is j prime?
False
Is (-80524)/(-36) - (-6)/27 composite?
False
Suppose 395 = 8*h + 99. Is h a composite number?
False
Let k(w) = w**3 + 4*w**2 - w - 1. Let x be k(-3). Let v(o) = -o - x*o - 5*o. Is v(-7) a composite number?
True
Suppose t + m = 118 + 160, 2*m - 10 = 0. Let w(f) = -3*f**3 - f. Let n be w(-1). Suppose t = -o + n*o. Is o prime?
False
Let s be 500 - 3 - (-2 - -1). Let d = s + -352. Suppose 3*j = -2*a + 87, -d = -5*j - 5*a + 2*a. Is j composite?
False
Let o = 7 + -4. Let m(f) = f - 7. Let u be m(12). Suppose -2*w + 6*w - 105 = -u*c, w - 22 = o*c. Is w composite?
True
Suppose 0 = 3*z - 4*v + 7, 4*v - 14 - 5 = -z. Let k(w) = w**3 - 4*w**2 - 6*w + 7. Let q be k(5). Suppose -z*n = -4*h - h - 139, -q*h + 8 = 0. Is n composite?
False
Let p = -2156 - -3715. Is p a prime number?
True
Let z(d) = 10*d - 3. Let y be z(4). Let j be (-33 + 1)*(-3)/4. Let u = y - j. Is u prime?
True
Let d = 39 + 72. Is d a prime number?
False
Suppose 4*k = -3*x + 1880 + 37, 0 = 5*k - 15. Is x composite?
True
Suppose -3*z - 360 = 3*l, -4*z - 334 - 114 = -4*l. Is z/(-2)*(4 - 3) a composite number?
True
Let o = -95 + 174. Is o a composite number?
False
Is 123 - (2 - 3)*-2 a prime number?
False
Let d(b) = -6*b - 11*b + 3 + 3. Let y(u) = 35*u - 11. Let r(n) = -5*d(n) - 2*y(n). Is r(9) composite?
False
Suppose -s + 218 = 35. Is s a prime number?
False
Let p = 1 + -5. Let b be (89/p)/((-2)/8). Let d = 142 - b. Is d prime?
True
Suppose -80*l = -87*l + 6209. Is l composite?
False
Let a = 8 + -8. Suppose -12 = -3*n - a*n. Suppose t - 3*v + n = 0, -v + 49 = 4*t - 0*v. Is t a prime number?
True
Let c = -155 - -227. Suppose 3*f - 2*u = -57, -u - 3*u = -4*f - 76. Let d = f + c. Is d a prime number?
True
Let y(a) = -2*a + 2. Let l be y(4). Let x = l - -7. Is ((-202)/(-4))/x*4 a composite number?
True
Let l be (1 + 13)/(2/(-5)). Let f = l - -25. Let m = 96 + f. Is m composite?
True
Let z = -11 + 16. Suppose 1 = z*w - 24. Suppose i = 2*n + 69 - 163, -240 = -5*n + w*i. Is n composite?
True
Let p = 415 - -100. Is p a prime number?
False
Suppose -c + 3*c = 0. Let b(h) = h + 75. Let k be b(c). Let v = -28 + k. Is v a composite number?
False
Let i be 6*(-1)/(1/(-1)). Suppose -4*j + 12 = 0, -i*j - 6 = -3*o - 2*j. Suppose o*y = -a + y + 12, -a - 3*y + 10 = 0. Is a a composite number?
False
Suppose 0 = -k - 5*r - 0*r, 5*k - r - 52 = 0. Suppose 4*x - o = -2*o + k, -4*x - 2 = -5*o. Suppose 2*n + x*n - 132 = 0. Is n prime?
False
Let t(i) = -3*i**2 - 2*i + 2. Let j(w) = -2*w**2 - w + 1. Let v(b) = -5*j(b) + 3*t(b). Let f be v(2). Suppose f*m - 34 - 365 = 0. Is m a composite number?
True
Is 1*3/(-6)*-314 prime?
True
Suppose 76 = t - 11. Is t a composite number?
True
Let d(u) = 2*u - 2. Let y be d(2). Suppose -3*j + 98 = -b, 0 = -b + 3*b - y. Is j a prime number?
False
Let b = -28 - -20. Is (3 + 22/b)*508 a composite number?
False
Let d(f) = 65*f**2 - 3*f - 5. Is d(3) a prime number?
True
Let x be (-24)/(-10) - 6/15. Let p = 0 - 0. Suppose p = -4*v - 2*f + 74, v - 20 = x*f + 1. Is v a prime number?
True
Let t = 1600 + -751. Is t prime?
False
Let w(i) = i - 11. Let y be w(8). Let a(p) = 11*p**3 - p**2 + 4*p. Let q be a(y). Is (4/(-6))/(4/q) composite?
False
Let r be (4 - 1)/(-6)*-504. Let o = r + -358. Let q = 21 - o. Is q prime?
True
Suppose 2*k - 113 = k. Is k a prime number?
True
Suppose 3*c - 4454 = d, -d + 3*d + 3*c + 8926 = 0. Is -3*(d/(-12))/(-5) a composite number?
False
Let t(v) = -4*v**3 - 10*v**2 - 5*v - 3. Is t(-4) a prime number?
True
Is 6678/12*(-4)/(-6) a prime number?
False
Let x(a) = -a**2 + a + 2. Let j be x(0). Is 339*(2/3)/j a composite number?
False
Let w = -34 - -64. Suppose 10 = h + 2*y, -2*h - h + 15 = 3*y. Suppose h = i + w - 95. Is i composite?
True
Suppose 11*x - 3*x - 2312 = 0. Is x composite?
True
Suppose -y + 333 = 8*y. Is y a prime number?
True
Let p be (5/4)/((-2)/(-8)). Suppose -5*s = 3*r - 313, 0 = -p*s - 0*r + 5*r + 345. Is s a composite number?
True
Let w = 203 + -309. Let f = w + 163. Is f a composite number?
True
Suppose 5*l - 4*h - 574 = 0, -5*l = h - 6*h - 570. Is l a prime number?
False
Suppose 748 - 4992 = -4*t. Is t a prime number?
True
Suppose -2*s + 0 = -f + 6, f = -2*s - 2. Let i be (-4)/2*f/4. Is 2 + 124 - (i + 0) a composite number?
False
Suppose -2*q = 2*z - 8, 5*z - 2 = 2*q - 4*q. Let b(t) = 2*t - 9. Let s be b(q). Suppose -123 = -4*y - 5*w, -4*w + 20 = y + s. Is y a composite number?
False
Let y be 1422/45 + (-4)/(-10). Suppose 0 = -4*f - 0 - y. Is ((-10)/f)/((-2)/(-16)) composite?
True
Let t be (-1428)/8 + (-3)/6. Is (-8 - -9)/((-1)/t) a prime number?
True
Let p(z) be the first derivative of 2*z**3 - z**2 + z + 1. Let j be p(1). Is (336/(-40))/((-2)/j) a composite number?
True
Suppose 6*v - 5*v - 42 = 0. Suppose -2*m + 4*j + 12 + v = 0, 2*j = 5*m - 151. Is m prime?
True
Suppose -10*n = -3*n - 4907. Is n composite?
False
Let d = -88 - -145. Suppose -5*j + 242 = d. Is j a prime number?
True
Let l be 5/2*4/10. Suppose 5 - l = w. Suppose -16 = 5*b - b, -w*j + 92 = -b. Is j a prime number?
False
Suppose -4*m + 20 = 3*j, 7 - 35 = -5*m - 3*j. Is -1*2/(m/(-148)) prime?
True
Let y = -32 + -41. Let g = 104 + y. Is g a c