ppose 3*x - 647 - 490 = 0. Is x a prime number?
True
Let j(m) = -m + 2. Suppose l + 4 = -1. Let b be j(l). Let y = b + 24. Is y a composite number?
False
Suppose 0 = -2*j + 2*a + 290, -4*j + 88 = a - 512. Is j prime?
True
Suppose -y - 3*y + 16 = 0. Suppose 0 = -i - x + 48, 242 = 5*i + y*x - x. Is i a composite number?
True
Is 4036/7 - 33/(-77) a prime number?
True
Suppose -116 = w + 3*u, -u + 212 = -4*w - 291. Let v = 274 + w. Is v a composite number?
False
Let c(i) = 54*i**2 + 4*i - 3. Is c(2) a prime number?
False
Let b = -9 + 323. Is b a composite number?
True
Suppose -w = 1, 69 = -a + 3*a + 3*w. Suppose 3*x = 21 + a. Is x a composite number?
False
Let j = 37 + -6. Let u = j + -9. Is u prime?
False
Let o be (-1 - 7) + (-6)/(-3). Let z be o/8 - (-3)/4. Suppose z = -5*q + 5*i + 38 - 3, 0 = -q - 3*i + 7. Is q prime?
True
Let p(y) = y**3 - 2*y**2 - 3*y + 1. Let u(o) = -o**3 - 4*o**2 - 2*o - 4. Let m be u(-4). Is p(m) prime?
False
Suppose -5*k + 3409 + 104 = 4*y, -4*k + 2635 = 3*y. Is y a composite number?
False
Suppose 5466 = h + 3*n - 4052, 5*n = -25. Is h a prime number?
True
Suppose a + 4*a - 25 = 0. Suppose 0 = -a*b + 469 + 291. Suppose -b = y - 3*y - 2*l, -2*y + 5*l = -159. Is y composite?
True
Let z(f) = f**3 - 2*f**2 - 2*f + 2. Let p be z(2). Let y = p - -4. Suppose 2*n + 5*q = 120, -y*n + 0*q = 3*q - 124. Is n composite?
True
Suppose -387 = -3*j + 714. Is j prime?
True
Let a = 370 - 203. Is a a composite number?
False
Is (228/(-9))/((-2)/9*3) prime?
False
Let q(w) = 7*w**2 - 6*w + 4. Let x(n) = -6*n**2 + 5*n - 4. Let z(c) = -4*q(c) - 5*x(c). Is z(3) a composite number?
False
Suppose -2*s = -0*s - 3*o - 147, 3*o = 5*s - 390. Let t(m) = 229*m**3 - 2*m**2 + m. Let y be t(1). Suppose 3*k - y = -s. Is k a prime number?
False
Suppose 3*c + 0*c + 5*f = 757, 5*f = -2*c + 498. Is c a composite number?
True
Let d be (-4)/10 + (-17)/(-5). Suppose -3*t - d = 2*y + 1, -3*t - 5*y = 10. Suppose 3*g - 57 - 90 = t. Is g prime?
False
Suppose 3352 = 4*c + 2*y, -4*c + 5*y + 1046 = -2320. Is c a prime number?
True
Let l(y) = -y**3 - 2*y**2 - 2*y - 3. Let x(t) = -t**2 - 7*t + 3. Let b be x(-8). Is l(b) a composite number?
True
Let f(w) = 2*w + 10. Let x be f(-8). Let c(v) = 6*v + 19. Let q(h) = 3*h + 9. Let m(n) = 2*c(n) - 5*q(n). Is m(x) a composite number?
False
Let f(t) = t**3 + 7*t**2 - 4*t - 17. Is f(8) prime?
True
Suppose -2*w = 3*u + 11, 5*w + 2*u - 7*u = 35. Suppose w*c + 245 = 7*c. Is c composite?
True
Is 1 - ((-4 - 0) + -377) a prime number?
False
Let o(h) = -h**2 - 9*h - 9. Let p be o(-10). Let t = p - -56. Is t prime?
True
Suppose -9 = -6*u + 3. Suppose 1144 = 4*b - 2*d - 2*d, 5*d - 579 = -u*b. Is b a prime number?
False
Is 140 + 5 + (-16)/(-4) a prime number?
True
Let c = -9 - -11. Is ((-8)/16)/(c/(-892)) prime?
True
Suppose 264 = 4*b - b. Suppose -b = 2*w - 3*w. Suppose -c + 2*c = 4*u - w, 3*u - 4*c - 53 = 0. Is u composite?
False
Suppose 0 = -35*q + 30*q + 745. Is q a prime number?
True
Let l(c) = 21*c - 32. Is l(6) prime?
False
Let h(u) = 26*u**2 + 5*u - 4. Let z be h(6). Suppose 547 = 3*j - z. Is j composite?
False
Suppose -5*z = 4*g - 1666, -5*g - 5*z + 1491 = -594. Is g composite?
False
Suppose -4*z + 244 = -4*j, z + 2*z = -2*j + 173. Is z a prime number?
True
Is (-19630)/(-39)*3/2 composite?
True
Let y(v) be the first derivative of v**3/3 - 3*v**2/2 - v + 3. Is y(-6) composite?
False
Suppose -423 = -4*m + 61. Is m composite?
True
Let p(g) be the first derivative of 8*g**3/3 - 3*g**2/2 - 3*g + 5. Is p(-2) composite?
True
Suppose -2*i + 6 = 2*c, -4*c + 2*i - 7 = -1. Suppose c*o - 2 = -o. Suppose 3*t + o*t - 131 = -3*s, -103 = -3*s + 2*t. Is s prime?
True
Let m = -3 - -6. Is (86/m)/(4/6) composite?
False
Let j = 63 + -64. Let h = 5 + -1. Let l = j + h. Is l a prime number?
True
Let y(t) = t**3 - 6*t**2 + 7*t - 7. Let w be y(5). Suppose -w*z + z = -74. Is z composite?
False
Suppose 3*w - 4*j = 2*w + 12, -w + 14 = -5*j. Let m = -18 + 56. Suppose 102 = w*n - m. Is n composite?
True
Let i(x) = -50*x. Let z be i(1). Let r = z - -115. Is r a prime number?
False
Is (4 + (-2726)/1)/(-2) composite?
False
Let h(b) = b**3 - 6*b**2 + b. Is h(6) prime?
False
Let n(y) = -y**3 - 3*y**2 + y. Let z be n(-4). Suppose -j = 3*j - z. Is j prime?
True
Let p(r) = 7*r**2 + 7*r + 7. Let s be (-2 + 1)*1*6. Is p(s) prime?
False
Suppose 4*y = 5*u + 43, -5*u + 5*y - 35 = 10. Let l be (-41)/2 + 6/(-12). Let h = u - l. Is h prime?
False
Let p(s) = 104*s**2 - s - 4. Is p(3) a prime number?
True
Let u = 4 - 7. Is (87 - u) + 2/2 prime?
False
Let i(x) = 5 - 3 + 6*x - x**3 + 0 + 5*x**2. Let m be i(6). Suppose -g = -r - 0*r + 3, r + m*g - 15 = 0. Is r composite?
False
Let u(a) = 5790*a**2 - 6*a - 7. Is u(-1) a composite number?
True
Let d = 2540 - 445. Suppose -6*f + f + d = 0. Is f composite?
False
Suppose 2*f = 6*f. Let r = 1 - -1. Suppose r*v - 20 = -f*v. Is v prime?
False
Let w(v) = v - 1. Let b be w(5). Suppose b + 8 = -3*i, 815 = 5*x - 5*i. Suppose -4*t + x = -t. Is t a prime number?
True
Let w(i) = -4*i**2. Let t be (-2 + (-10)/(-4))*-2. Let p be w(t). Is (-2)/(-3)*(-318)/p prime?
True
Let a = 48 + 22. Let v = a + -37. Is v composite?
True
Suppose -8 = -3*y + y, -418 = 3*c + 2*y. Let t = c + 227. Is t a prime number?
False
Let g(k) = -22*k - 29. Is g(-12) composite?
True
Is 4/10 - 4539/(-15) a composite number?
True
Suppose 3*v - 45 + 12 = 0. Let x = v - -10. Is x a prime number?
False
Let h be 2/3 - (-474)/18. Suppose 4 = -f, d - 2*f + h = 72. Is d a composite number?
False
Suppose -h - h = -142. Suppose -w = 5*j - 787, 4*j = w + 555 + h. Is j a prime number?
True
Suppose 0 = -2*p + 7*p. Let m = 30 - p. Suppose -237 = -3*u - m. Is u a prime number?
False
Let g = 3442 - 1787. Is g composite?
True
Let s = -5 + -5. Let j be 40/12*(-24)/s. Suppose -3*b + j*b - 75 = 0. Is b prime?
False
Suppose 6819 - 1466 = 5*n + 4*q, 4*n - q = 4274. Is n prime?
True
Let l be 70*-3*2/(-12). Suppose -81 - l = -2*s. Is s a prime number?
False
Suppose -4 = -p - 1. Suppose 5*s = 2*f - f + 667, 393 = 3*s + p*f. Is s a composite number?
True
Suppose q - 1260 = -4*q - 5*u, -2*q - 4*u = -506. Is q prime?
True
Suppose -4*t - o + 5 = 0, -2*o = -4*t - o - 5. Suppose t = -4*a - 0*a + 388. Is a a prime number?
True
Let d(n) = -n - 16. Let r be d(-7). Let b be ((-8)/6)/(2/r). Let g(w) = w**2 - 3*w + 7. Is g(b) prime?
False
Suppose -f + 3180 = 5*b, -3*f = f - 4*b - 12840. Is f a prime number?
False
Is 1/(-3) - (-29262)/27*3 a prime number?
True
Let c be (-25)/20*(-8)/(-2). Let b = -3 - c. Suppose -b*d + 3*t + 136 = 0, -3*d - 3*t = -0*d - 189. Is d prime?
False
Let m = 13 + -11. Suppose -i - 409 = -m*i. Is i a composite number?
False
Suppose 0 = 2*u + 2*u + 32. Let f = 14 + u. Suppose 4 = 4*c, -5*a + 3*c = -f*a + 38. Is a composite?
True
Let w(t) = t**2 - 4*t + 1. Let k be w(4). Is k + -4 + 968/4 prime?
True
Let s = -228 + 745. Is s prime?
False
Suppose -w + 0*w + 47 = 2*x, -w = 5*x - 35. Is w a prime number?
False
Let f(w) = -7*w**3 + 5*w**2 - 15*w - 7. Let y(j) = 4*j**3 - 2*j**2 + 8*j + 3. Let z = 6 - 11. Let k(n) = z*y(n) - 3*f(n). Is k(5) a prime number?
True
Suppose 23 - 80 = -4*w - 5*i, -5*w + 15 = -5*i. Let y(o) = 3*o**2 + 2*o + 4. Let b be y(w). Suppose 0 = -j + 5*j - b. Is j a prime number?
True
Let p(d) = 2*d**3 + 3*d**2 + 4*d - 2. Suppose 2*i = g - 9, -5*g + 4*i + 11 = -16. Is p(g) composite?
True
Suppose m + m - 44 = 0. Let b = m - -46. Suppose 2*p + b = 2*n - p, -5*n = -2*p - 181. Is n a composite number?
False
Let v = 12583 - 8980. Is v a composite number?
True
Let k(j) = j**2 + 3*j - 5. Suppose 3*n = -n. Suppose 2*o + 20 = -7*u + 5*u, n = 4*o + 3*u + 38. Is k(o) prime?
False
Let y(s) = -33*s + 26. Is y(-7) composite?
False
Let r = -4140 - -6119. Is r composite?
False
Suppose 8 = -2*d, 5*g - 5 = -2*d + 7*d. Is (-2 - g)*81 + 4 composite?
True
Suppose 0 = -6*m + 1724 + 898. Is m a composite number?
True
Let d(s) = -171*s + 6. Let y(b) = -34*b + 1. Let p(r) = -2*d(r) + 11*y(r). Is p(-1) a composite number?
False
Suppose 2*n - 3*k - 785 = -190, 2*k = 5*n - 1471. Is n a prime number?
True
Let v be ((-32)/(-56))/((-4)/(-14)). Suppose -388 = -5*i + o + 2*o, v*o = -2. Is i a prime number?
False
Suppose -18*o + 9*o = -30501. Is o prime?
True
Let j be (-17)/3 - 1/3. Let k(f) = 1 - 3*f + 3 - 5 + f.