114 = 2*z - 3*w. Let f(m) = m - 2. Let r be f(-2). Let a = r + z. Is a a prime number?
True
Let h = 599 + -280. Is h a prime number?
False
Let d be (6/(-2))/((-2)/1250). Suppose 5*f - 470 - d = 0. Is f prime?
False
Let x be (-23)/(-5) + (-6)/(-15). Let b(o) = 2*o**2 - 6*o + 6. Is b(x) a prime number?
False
Suppose 2*n = -2*c + 46 + 24, c = 3*n - 121. Is n a prime number?
False
Suppose 2*i + 1788 = -2*i. Let y = 627 + i. Suppose -2*r - a = -2*a - y, 5*a = -10. Is r prime?
True
Is 0 - (-630 + 8/2) a composite number?
True
Let s = 1 - -12. Is s*(3 - (1 + 1)) a prime number?
True
Let x be (-1 - -4)/((-2)/(-2)). Let f = x + 10. Is f*7*2/2 prime?
False
Let m(b) = 5*b**2 + 8*b - 1. Suppose -4*k + l - 24 = 0, 8*l - 30 = 5*k + 3*l. Is m(k) prime?
True
Suppose 4*q = -4*i + 8, -2*i = -q - 3*q - 10. Suppose 35 = -4*w - i*x, -w - 25 = 2*w + 2*x. Let m(z) = 4*z**2 + 4*z + 3. Is m(w) a prime number?
True
Suppose -1853 = -3*r + 1048. Is r composite?
False
Let p(z) be the first derivative of z**4/4 + 10*z**3/3 + 5*z**2 - 10*z - 4. Let u be p(-9). Let g = u + 74. Is g composite?
True
Let g = 1747 + -1230. Is g a composite number?
True
Let h(q) = -32*q - 15. Let z(s) = 97*s + 44. Let d(r) = -11*h(r) - 4*z(r). Is d(-5) a composite number?
True
Let t = 1017 - 718. Is t a composite number?
True
Let n be (4 + -1)/(2/34). Suppose n = 2*j - j. Is j prime?
False
Is 3076 + (-3 - -3*2) a composite number?
False
Suppose r = 5*y + 16 + 2, -2*r + 4*y + 12 = 0. Is 7/(r*1/(-58)) prime?
False
Suppose -3*s + 3*u + 504 = 0, -3*s + 5*u + 671 = s. Is s a prime number?
False
Let o be 2 + (-3 - -1) + -2. Is (o + 267)*2/2 composite?
True
Let s(a) = a**3 + 6*a**2 - a - 3. Let i(f) = -12*f**2 + 5*f + 3*f**3 + 5 - 5*f**3 - 3*f - f. Let c(q) = 2*i(q) + 5*s(q). Is c(-5) composite?
True
Let x = 82 + -210. Let i be x*((-10)/4 + 2). Let q = i - 15. Is q prime?
False
Let r(c) = c**3 + 9*c**2 + 41*c + 17. Is r(20) prime?
True
Let y = -520 - -1197. Is y a composite number?
False
Let v = 3067 - 2012. Is v composite?
True
Is 123*1 + (1 - -3) prime?
True
Suppose 3 = l, -6*l - 15 = -3*i - l. Let p = i - -34. Suppose p = 3*w - 5*h + 10, -4*w = -5*h - 47. Is w prime?
True
Suppose 4*m + 85 = -m. Let g = -83 - m. Is g/(-10) - (-8)/20 composite?
False
Let b(g) = 13*g**2 + 6*g + 5. Is b(6) a prime number?
True
Let i be 9/2 - 2/(-4). Let t be i/(-1)*(-6)/10. Suppose 293 = t*f + 2*n, -6*f + 2*f = -n - 376. Is f a composite number?
True
Is (266/(-19))/(2 + 208/(-103)) prime?
False
Let b = -7 + 8. Suppose 5*t = -b + 11. Is 135/2 - 1/t prime?
True
Let f(k) = k**3 - 5*k**2 + 6*k + 5. Suppose -3*c = 5*a - 42, 5*a - a = 4*c + 40. Let m be (4 - a)*14/(-10). Is f(m) a composite number?
True
Let v(c) = -836*c - 10. Is v(-3) a prime number?
False
Let t = 179 + 221. Let r(g) = -g**2 + 3*g + 1. Let l be r(2). Suppose -5*h - 3 - 2 = 0, h = l*b - t. Is b a composite number?
True
Suppose -11*d + 6*d - 10 = 0. Is 255/20 + d/(-8) composite?
False
Let u(y) = -56*y - 5. Is u(-3) prime?
True
Suppose -r + 0*r - 6 = 0. Let y be r/39 + (-123)/(-39). Is 3 + ((-6)/y)/(-2) a prime number?
False
Let x(p) = -2*p - 2. Let k be x(-4). Let v(d) = -6*d - 1 - k + 1 + 1. Is v(-4) a composite number?
False
Let y = -234 - -389. Suppose 5*l = 4*a - 5*a + 33, l = -3*a + y. Is a composite?
False
Suppose 2*z + 7 = -17. Is 3 + 1650/(z/(-4)) a composite number?
True
Let p(j) = -j**2 + 4*j + 1. Let i be p(2). Suppose 519 = 2*n + i*y, -n - 5*y + 0*y + 262 = 0. Is n a prime number?
True
Suppose 2*k + 2 = -z + 7, 2*z = -k + 10. Suppose -5*a = -k*a - 2550. Suppose 3*h + 511 = 2*m, -4*m + 2*m + 4*h = -a. Is m a prime number?
True
Is (-1)/(-2)*(-1 + 107) a composite number?
False
Suppose -4*b + 16 = 0, 5*b = -v - 20 + 273. Is v a prime number?
True
Let l = -50 + 97. Is l a composite number?
False
Let d(s) = s**3 - 9*s**2 + 7*s + 6. Let i be d(8). Is 79 + i + -2 + 4 a prime number?
True
Is (-70)/(-2) + -1 + 1 composite?
True
Is (-3)/(-6) + 2665/10 composite?
True
Is 6/4*((-71950)/15)/(-5) composite?
False
Let k(a) = 4*a - 5. Is k(5) a prime number?
False
Let p(l) = -29*l - 2. Let c(b) = 15*b + 1. Let o(f) = -f. Let w be o(5). Let g(x) = w*c(x) - 3*p(x). Is g(4) prime?
False
Let j = -7 + 8. Let k be (-3 - -4) + 81/j. Let f = k - -133. Is f a prime number?
False
Let s(w) = 168*w + 1. Is s(2) a prime number?
True
Is (-4)/14 - (-43376)/14 composite?
True
Suppose 4*s + 5*n - 436 = 0, 0 = -0*s - 2*s + n + 218. Is s a prime number?
True
Is 10/25 + (-49086)/(-10) a prime number?
True
Let q = 2 - -12. Suppose 3*n - q = 7. Suppose -5*c - 4*m = -n*m - 247, -2*c = -5*m - 114. Is c prime?
True
Suppose -5*t + 5*s = -3375, s + 252 = -2*t + 1602. Let x = t - 410. Is x composite?
True
Let p = 410 - -284. Is p composite?
True
Suppose 3*k - 2*x + 3 + 3 = 0, -k + 4*x - 12 = 0. Suppose t - 2*f + 5 + 0 = k, -5*t + 3*f - 18 = 0. Is (390/(-9))/(2/t) prime?
False
Suppose -2*r + 19 = -1. Suppose 2*g + 3*k = g - r, 0 = -g - 5*k - 18. Suppose -36 = -g*x + 5*h - 0*h, 0 = 4*x - h - 90. Is x a prime number?
True
Suppose 739 = a - 30. Is a prime?
True
Suppose 2*c = -75 - 261. Let x = c - -377. Is x composite?
True
Let u(c) = 2*c**3 + 2*c**2 + 2*c - 3. Let h = -7 + 17. Suppose g = 3*z - h, 2*g + z - 4 = 4. Is u(g) prime?
False
Suppose 2*r = -j + 86, -2*r + 43 = -r - 5*j. Is r prime?
True
Let g(i) = -2*i**3 + 4*i**2 + 2*i - 4. Let b be g(-3). Suppose -c = c - b. Suppose -2*r = -4*w + 34, 3*w + r = c - 2. Is w prime?
True
Let l(a) = -a + 3. Let s be l(3). Suppose 0 = -s*g + 2*g - 70. Is g prime?
False
Suppose -3*a - 12 = 0, -1361 = -5*p + 2*a + 2*a. Is p a prime number?
True
Let a = -1 - -4. Suppose 0*y + 45 = a*y. Is y a prime number?
False
Suppose b - 434 = 2*n, -b - 2*n + 844 = b. Suppose 466 = 4*k - b. Is k a prime number?
True
Suppose 3*p = 10 - 4. Let t(z) = -z**p + 3 + 9 + 5 - 2 + 13*z. Is t(11) a composite number?
False
Let a(b) = b**3 + 3*b**2 - 1. Let m be a(-2). Suppose -m*w = 2*w - 10. Suppose -w*x = -0*x - 4*f - 82, 0 = -5*x - f + 150. Is x composite?
False
Let u be 9 + -3 + -1 + 4. Suppose 2*b + u = 3*b. Is b a composite number?
True
Let r be (8/12)/((-5)/(-30)). Suppose 5*s - 4*w - 254 = 1185, -3 = 3*w. Suppose -r*b - 574 = -2*j - b, -j + b = -s. Is j a prime number?
False
Let v be (0 - 0)*5/(-5). Let c be (v + 3)*(-21)/(-9). Let x = 18 - c. Is x prime?
True
Let z be (-4)/14 + (-2)/(-14)*-33. Suppose 4*j - 86 = -j - 3*x, 5*x + 72 = 3*j. Let v = j + z. Is v prime?
False
Let y(s) = s + 1. Let k be y(-2). Let x(m) = 379*m - 5. Let g(b) = -76*b + 1. Let d(r) = 11*g(r) + 2*x(r). Is d(k) composite?
False
Suppose j + 3*j - 8 = 0. Suppose 102 = j*i - 28. Is i composite?
True
Let t = -25 + 10. Suppose l - 4*l + 117 = -4*m, 5*m + 4*l + 154 = 0. Let b = t - m. Is b prime?
False
Let g(h) = 3*h**2 - 2*h - 5. Let o be (-2)/(-6) + (-1)/3. Let z = o + 4. Is g(z) a composite number?
True
Let c(n) be the first derivative of -4*n**2 - 2*n - 3. Is c(-2) a composite number?
True
Let m = 614 - 297. Is m a composite number?
False
Suppose -r = -6*r + 2*w + 7667, 3082 = 2*r + 3*w. Is r prime?
False
Suppose 4*l = -l + 15. Let t be -3*l/(-18)*4. Suppose -t*z + 35 = 3*z. Is z a prime number?
True
Suppose -4*x - 4*d + 6*d = -14, 0 = 3*x + 3*d - 33. Let k be (x*6/9)/2. Suppose -2*v - 245 = -3*s, -2*s - 3*v + k*v + 154 = 0. Is s a prime number?
True
Let k(y) = -4*y + 0 + y + 2 + 5*y. Let d be k(-4). Is (764/d)/(2/(-3)) prime?
True
Let j be 3 - 2 - (-6)/2. Suppose 24 = -3*h + 5*w, 3*w + 32 = -j*h - 2*w. Let b(k) = -k**2 - 13*k - 7. Is b(h) a composite number?
True
Let l = -1702 - -2769. Is l composite?
True
Let f(b) = 4*b**2 - b - 12. Let z(m) = 2*m**2 - m - 6. Let s(a) = -4*f(a) + 9*z(a). Is s(7) a composite number?
True
Let l(i) = 12*i**2 - 9*i + 3. Is l(8) prime?
False
Suppose -3*k = -0*k - 21. Let i = 5 - k. Let b(x) = 18*x**2 - 4*x - 3. Is b(i) a composite number?
True
Suppose 4 = 2*a - 0. Suppose -2*z = -r - a*r - 107, 0 = -4*z - 2*r + 174. Is z prime?
False
Let l be 2/(12/(-8) + 2). Suppose -l*h + 44 = -608. Is h prime?
True
Suppose 529 = 2*p - 335. Suppose 3*z - 15 = p. Is z composite?
False
Let t be (-1)/2*2 - -4. Suppose -t = -2*i + 5. Suppose 4*h - 20 = -i*b, 2*h = 3*b - 3*h + 1. Is b composite?
False
Let w(v) = -v**3 + 23*v**2 - 23*v - 7. Is w(16) composite?
True
Let v be (-4)/((-2)/8*1). 