posite?
True
Let t = 13 - 6. Let d(l) = l**3 - 2*l**2 + 7*l + 7. Let r be d(t). Let y = r - 152. Is y prime?
True
Let m(g) = 3*g**3. Let f be m(1). Suppose -f*i = i - 20. Suppose i*w - 34 + 151 = 2*r, -r + 5*w = -66. Is r a prime number?
False
Suppose -20 = -n - 0*n. Suppose -2*r = n - 126. Is r a composite number?
False
Suppose -3*n = n - 4324. Is n a prime number?
False
Is 14/((-1 - 2)*(-4)/102) a composite number?
True
Suppose -4*m + 0*m = -2*p - 2, -3*p + 1 = -2*m. Let d(c) = 56*c + 1. Is d(m) composite?
True
Let f = 17 - 2. Let i = f + -8. Is i a composite number?
False
Let c(b) = 4*b**3 - 4*b**2 + 3*b + 7. Is c(4) a composite number?
False
Let w(j) = -8*j + 7. Let b(n) = -n**2 + 7*n + 12. Let x be b(9). Is w(x) a prime number?
False
Is (-2)/3*(-1185)/10 prime?
True
Let w(u) = -u**2 + u + 1423. Is w(0) composite?
False
Let t = 1 - -160. Is t a prime number?
False
Let w(l) = l + 6. Is w(13) prime?
True
Let k(n) = -n + 4. Let y be k(7). Let c be (17/(-2))/(y/(-150)). Is c/(-20) + (-1)/4 a composite number?
True
Suppose 751 = 5*c + 2*y, 0 = c + y - 4*y - 140. Is c prime?
True
Let r be 15/12 - 2/8. Is r*19*(6 + -5) a composite number?
False
Let z = -2 - -6. Is (1/(-1))/(z/(-132)) prime?
False
Suppose 2*f = -12 + 2. Let x be (3 + f)/(0 + -1). Suppose x*n - 2 = 26. Is n a prime number?
False
Is (-1 - 4)/(-6 - 893/(-149)) a prime number?
False
Suppose -f + 18 = -3*s, -26 - 15 = -2*f + s. Is f composite?
True
Let m be (-4)/(-14) - (-15)/21. Let z = 27 - m. Is z a prime number?
False
Suppose 4 = 2*s, 0 = -3*b + 5*b + 2*s - 182. Suppose -n = -0*n - b. Is n prime?
True
Suppose 0 = x - 116 - 3. Is x a composite number?
True
Let x(r) = r**3 - 12*r**2 - r + 10. Let m = 20 + -7. Is x(m) composite?
True
Suppose 4*v = -c + 7, 4*v + 7 + 1 = 4*c. Let z = 52 + c. Is z a composite number?
True
Let i = 3249 + -2296. Is i a prime number?
True
Suppose 37*r - 33*r - 212 = 0. Is r a prime number?
True
Let f(j) = -232*j + 5. Is f(-5) a prime number?
False
Is (35/(-15))/((-4)/3804) a prime number?
False
Let u = 21 + -13. Suppose 0 = -3*h + u*h - 655. Is h composite?
False
Let b = 429 - 227. Is b prime?
False
Let j be ((-10)/(-4) - 1)*10. Suppose 0*f - f + 3 = -3*p, 5*f - 3*p = j. Suppose f*z - 194 = z. Is z composite?
False
Suppose 3*i + 3*g = 471, -2*i + 6*g + 338 = 2*g. Is i a prime number?
False
Let b(q) = q**3 + 4*q**2 + 4. Let r be b(-4). Suppose -r*k + 423 = -37. Is k prime?
False
Suppose -p - 312 = -4*t, t = 3*p + 48 + 41. Is t a prime number?
False
Let a be 2/4 - (-33)/6. Suppose 4*d = 2*l + 14, -l + 29 = a*d - 2*d. Is d composite?
True
Let p be (-2)/(-12)*9*-2. Let h(y) = 4*y**2 + y + 4. Is h(p) a prime number?
True
Let q(h) = -25*h + 14. Is q(-5) a composite number?
False
Suppose 4*z - 87 = -3*p + z, -2 = z. Is p composite?
False
Let k(s) = -s. Let x be k(0). Suppose 2*n + 2*g - 172 = x, 0 = 3*n - 2*g - 109 - 164. Is n prime?
True
Let h = 3 - 3. Suppose h = -0*f + f - 71. Is f composite?
False
Let h = -555 - -1196. Is h prime?
True
Let n(v) = v**2 + v - 1. Let r(a) = 3*a**2 + 10*a - 9. Let p(y) = y**2 + y - 1. Let h(k) = p(k) + r(k). Let o(q) = -h(q) + 6*n(q). Is o(7) a prime number?
True
Let k be 623/49 + 4/14. Let n = 32 - k. Is n a composite number?
False
Suppose d - 47 - 151 = p, 0 = -2*d + 3*p + 395. Suppose 0 = 3*b - 4*t - d, -8 = t - 5*t. Is b a prime number?
False
Let w(q) = -9*q**3 + 3*q**2 + 3*q - 2. Is w(-3) a composite number?
True
Suppose 5*s - 2*o + o - 11 = 0, -3*s + 5 = -o. Suppose 12 = -s*a + a. Let q(w) = w**3 + 7*w**2 + 6*w + 6. Is q(a) prime?
False
Let n(z) = 4*z**2 + z. Let d be n(-6). Suppose 2*y + d = 472. Is y a prime number?
True
Let d(p) = -144*p - 1. Let k be (6/(-4))/(12/16). Is d(k) prime?
False
Is 0 + 5 + -3 - -44 composite?
True
Is (-2 + 1)/(1/(-127)) a prime number?
True
Suppose -4*f + 8306 = 414. Is f composite?
False
Suppose 2*g + g - 6 = 0. Let k(j) = -2*j - 9. Let v be k(-6). Suppose 0 = -v*q - g + 233. Is q composite?
True
Suppose 5*a - 20 = -0. Suppose 4*b = -p + 5*p - 196, 0 = a*p - b - 202. Is p a prime number?
False
Let g = -2 + 4. Suppose -3 = d, 6*i - g*i = 2*d - 54. Let y = -8 - i. Is y composite?
False
Let h = 19 - 19. Suppose -4*s + 5*m + 62 + 45 = 0, -5*s + 4*m + 127 = h. Is s a prime number?
True
Let x = 90 + 776. Is x a prime number?
False
Let y(t) = 6*t + 10. Is y(12) prime?
False
Let v(k) = 3*k**2 - 2*k - 1. Let y be v(-4). Is y - (4 - (-2 + 4)) prime?
True
Is ((-15)/6)/(1/(-526)) composite?
True
Let l(v) = 50*v**2 - 4*v - 1. Is l(2) composite?
False
Suppose 2*w = 2*t, 4 = w - 3*w. Is (0 + t)*95/(-10) a prime number?
True
Let j(u) = -327*u + 11. Let v be j(-9). Let x be (-2)/5 + v/10. Suppose -3*q + x = 2*q. Is q composite?
False
Suppose -s = -0*s. Suppose -5*o + 28 + 187 = s. Suppose 3*x - 191 = 3*k - 38, -x + o = k. Is x a composite number?
False
Let i(o) = 7*o + 331. Is i(0) prime?
True
Let h(y) = 2*y**2 - 6*y - 1. Let c(k) = k - 1 - 2 + k. Let p be c(4). Is h(p) a composite number?
False
Let t(j) = -j. Let d be t(3). Let h = d - -5. Suppose 0*q - 30 = -h*q. Is q composite?
True
Suppose -4*j = -j + 48. Let y = 42 - j. Is y composite?
True
Suppose 3*u - 3*g - 112 = 2*u, u = -2*g + 102. Is u a prime number?
False
Let a(m) = 2*m - 5. Let v be a(6). Let s(u) = 7*u - 6. Is s(v) composite?
False
Let f be (30/(-25))/((-6)/40). Suppose 2*g = 2 + f. Suppose -35 = g*t - 390. Is t composite?
False
Suppose 3*r - 5 = 1. Is r/(-4) - 311/(-2) prime?
False
Suppose 244 = -4*o - 4*y, -2*y = -6*y - 20. Is (-14976)/o + 6/(-14) prime?
False
Suppose 0 = -3*y - 10 - 2. Let s be y/(-26) + (-1582)/(-26). Suppose s = 5*n + 4*d - 50, -3*d - 72 = -3*n. Is n a prime number?
True
Let m(y) = -32*y - 3. Let u be m(-4). Suppose 234 = -5*r + 679. Suppose -k = c - u, k + 28 = c - r. Is c composite?
True
Let c(t) = -2*t + 7. Let z be c(6). Is (-68)/z - 6/10 composite?
False
Is 30/(-20)*110/(-3) composite?
True
Suppose -3*v + v = -4. Suppose 2*m = 3*l + 4, 10 = -l + v*l + 5*m. Suppose -5*y = l, 0*y - 31 = -f + 5*y. Is f composite?
False
Let y be 15/10 - 2/(-4). Suppose y*n - 4 = -2*n. Is n/1*3 + 66 prime?
False
Is (1104/40)/((-2)/(-5)) a prime number?
False
Let m(o) = -13*o**2 - 4*o - 2. Let i be m(-2). Is 4/(-2) - (-5 + i) prime?
False
Let o(d) = 4*d + 2. Let m(p) = -4*p - 1. Let z(i) = -5*m(i) - 6*o(i). Let k be -10*4/(-32)*-4. Is z(k) composite?
False
Suppose 20 + 75 = 5*j + 5*x, 3*j = 5*x + 25. Suppose 5*c - 15 = j. Is c prime?
False
Suppose 2*s - 5 = 5*b, 5*s - 2 + 21 = 2*b. Let t = -2 - b. Is -3*(-2*t + 1) composite?
False
Suppose 3*y - 71 = -2*f - 3*f, -21 = -f - 4*y. Is (2 - f)*(2 + -7) prime?
False
Let z = 13 + 11. Suppose -13 - 14 = -5*h + v, -3*h = 2*v - z. Is ((-555)/h)/(2/(-4)) composite?
True
Suppose 3*r - 1907 = -5*f, 2*r = 2*f + 2*f - 1530. Is f composite?
True
Let h(y) = -149*y**2 - 3*y + 2. Let z be h(-2). Let b = -337 - z. Is b a prime number?
True
Let u = 2 - 5. Let x = u - 1. Let v(g) = -g**2 - 6*g - 1. Is v(x) composite?
False
Let b(f) be the first derivative of -9/2*f**2 - f + 1. Is b(-4) composite?
True
Let l(k) = k**3 - k**2 + k. Let s be (15/5)/(1 - 0). Is l(s) a composite number?
True
Let b(a) = a**2 + 8*a + 4. Let g be b(-8). Is ((-138)/g)/((-3)/6) composite?
True
Let p = 6 + -5. Is (5/3)/(p/21) prime?
False
Let r(w) = -14*w + 5. Let x(j) = -j**3 - 4*j**2 - 2*j - 3. Let a be x(-3). Is r(a) composite?
False
Suppose 0 = -a - 0*a - 3*h + 60, -4*a - h + 229 = 0. Is a a prime number?
False
Suppose -5*f = -q - 9, -11 = -3*f + 5*q + 12. Let i(y) = y + 1. Let g be i(f). Suppose g*a - 19 = 19. Is a composite?
False
Suppose t - 5 = -t + 3*h, 0 = -3*t - 5*h + 17. Suppose t*c = z + 2, 6*z - c - 47 = z. Let d = z + 27. Is d a composite number?
False
Let c = 359 - -182. Is c prime?
True
Suppose n = -2*u + 6, 2*u = 4*n - 2*u - 12. Suppose 4*q = -3*m + 182, 2*q = 6*q + n*m - 180. Is q composite?
False
Suppose -25 + 7 = -2*h. Let x = h - 9. Suppose 4*z = 2*b - 44, x*b - b = -4*z - 30. Is b a prime number?
False
Suppose t + 2*i + 1 = -0, -i + 4 = 0. Let x = 47 + t. Is x prime?
False
Let f(t) = -t + 2. Let b be 9/(-18) - (-26)/4. Let y be f(b). Let g(u) = 5*u**2 - 2*u + 1. Is g(y) prime?
True
Let k be 2/(-1) + 4*14. Let h(x) = -10*x + 1. Let m be h(-2). Suppose -k - m = -d - 5*r, 4*r + 187 = 3*d. Is d a composite number?
True