rime number?
True
Suppose 0 = 18*c - 2*c - 33776. Is c a prime number?
True
Let l(t) = -60*t + 2. Suppose -3*w - d + 7 + 4 = 0, -3*w = 3*d - 9. Let j be l(w). Let b = -21 - j. Is b a composite number?
True
Suppose 125*w = 126*w - 2939. Is w composite?
False
Suppose 0 = 9*a - 16238 - 5317. Is a prime?
False
Suppose 2*w + 2*h + 2 = -h, 3*w + 2*h = 2. Let u be 19*-12*4/w. Let f = u - -775. Is f a composite number?
True
Suppose 21*s = 33*s - 8196. Is s prime?
True
Let v(p) = -p**3 + 4*p**2 + 3*p. Let r be v(-1). Suppose l - 72 = -f, r*l + f - 6*f = 179. Is l a prime number?
False
Suppose 22*g - 20*g = -5*u + 3309, -4*u = -3*g + 4975. Is g prime?
True
Suppose 16 = 3*y + 2*o, 2*y + 9 = 4*o - 7. Let q be (-2)/(-3) + (-464)/(-6). Suppose 0 = y*t - 32 - q. Is t a composite number?
True
Let p(m) = -84*m**3 + m**2 + 3*m + 1. Let t(u) = -u - 6. Let z be t(-4). Let y be (-2 - (-3 - z))*1. Is p(y) a prime number?
True
Let m(c) = c**2 + 13*c + 9. Let r be m(-13). Suppose 2*i + 5 = r. Suppose 191 = i*y - 191. Is y a composite number?
False
Is (-689880)/300*10/(-4) a composite number?
False
Let s(i) = -i + 2. Let x be s(2). Suppose x = 5*b - 3*b - 2*h - 14, 0 = 2*h. Is (5 - b)*(-74)/4 a composite number?
False
Suppose -1233 = -3*l - 2*n, -2*l = -0*n + 4*n - 814. Is l a composite number?
True
Let b = 3 + 1. Suppose 170 = v + b*v. Is v prime?
False
Let n = 176 + 532. Suppose -963 = -3*i + n. Is i composite?
False
Let u = -9 + 15. Suppose 4*o = y - 53, 4*y - u*y - 5*o + 106 = 0. Suppose t - y = 156. Is t composite?
True
Suppose -2*b + 5*v - 1 - 11 = 0, 5*b - 5*v = 0. Suppose 2*h + 14*c = 9*c + 399, 2*h - 4*c = 426. Suppose z = b*z - h. Is z a prime number?
False
Suppose -53*o = -66*o + 267449. Is o prime?
False
Let u(k) = k + 7. Suppose 0 = -3*t + l - 9 + 42, 9 = t - l. Is u(t) prime?
True
Let z(w) = -2568*w - 1119. Is z(-20) a composite number?
True
Let i = -3660 + 8471. Is i a prime number?
False
Suppose -5*z = 4*n - 20702, -2*n - 14*z + 11*z = -10352. Is n composite?
True
Suppose -3*f + u + 369 = 0, 5*u + 55 = 3*f - 314. Let g be -2 + f - 15/5. Suppose -y = -25 - g. Is y composite?
True
Let f = 4080 - 1081. Is f prime?
True
Let k(n) = n**3 - 5*n**2 + n + 4. Let c be k(4). Let s(m) = m**3 + 6*m**2 - 5*m + 5. Let l be s(c). Let p = 44 - l. Is p prime?
True
Suppose 4*z = 8*z - 44. Let i(u) = -5*u + z*u**2 + 11 - 2*u - 9*u + u**3. Is i(-12) prime?
True
Let u(c) = 4*c**2 - c - 2. Let n be u(8). Suppose -j + 3*g - 79 = -201, -2*j = -5*g - n. Is j/5 + 4/10 a prime number?
False
Suppose o - 32 - 626 = -5*n, -4*o - 5*n = -2617. Let m = o - 402. Is m a prime number?
True
Suppose 2*i - 152 = i. Let t be 4/(-20) + i/10. Let w = 25 - t. Is w prime?
False
Let p(a) = a**2 + 15*a + 6. Let v be p(-15). Suppose 2*c + v*c = 1592. Is c a composite number?
False
Suppose 3299 = -4*y - 2645. Let k = -900 - y. Is k composite?
True
Suppose 39*f - 1112338 = -19987. Is f a composite number?
True
Let f(d) be the third derivative of -d**7/2520 - 19*d**6/720 + d**5/24 + 5*d**4/12 + 9*d**2. Let s(o) be the second derivative of f(o). Is s(-8) a prime number?
False
Suppose r - 714 = -w, -r = -w - 93 + 797. Is w prime?
True
Let a(p) = -2*p**2 - 56*p**3 - 2*p**2 + 4 - 7*p + 84*p**3. Is a(5) a prime number?
False
Let k = -61 - -66. Is 2399/5 + (-4)/k prime?
True
Suppose -2*j = 2*x - 1516, -4*x + 3*x + 753 = 2*j. Suppose 7*m + x = 5880. Is m a prime number?
False
Let r(c) = c**2 - 10*c + 12. Let b be r(2). Is 1/b - 2525*1/(-4) prime?
True
Let z be -74 + -2*(-1)/(-2). Let q be (3 + z - 2)*-2. Suppose 7*g - q = 3*g. Is g prime?
True
Let c(o) = -7*o**2 + 12. Let h(f) = 12*f**2 - 23. Let v(p) = 5*c(p) + 3*h(p). Let q be (21/(-9))/((-2)/12). Is v(q) prime?
False
Suppose 6*l - 13 = -1. Let o = -131 + 501. Suppose 0 = -l*q - 0*q + o. Is q prime?
False
Let x be 6 - (0 - (-3 - -2)). Let w be x*(-2 + 18/(-5)). Is (-807)/(-7) - (-8)/w prime?
False
Let g = 4245 + 47020. Is g composite?
True
Let p(w) = -w + 539*w**3 - 1 + 3 + 623*w**3 + 296*w**3. Is p(1) composite?
False
Let c(h) = -h**3 + 23*h**2 - 30*h + 31. Is c(20) prime?
True
Suppose 2 = v + 3. Let b be (-475)/3 - v/3. Is b*(-4)/((-8)/(-2)) composite?
True
Suppose -11*w + 13*w = -16. Is 1 - (-4 - w) - -396 composite?
True
Let v = -2926 - -21875. Is v a prime number?
False
Suppose -41*g = -11*g - 785580. Is g a prime number?
False
Let m(t) = -23*t - 30. Let l be m(-5). Suppose 0 = -2*k - 3*s + 53 + 15, 3*k - 4*s - l = 0. Is k a composite number?
False
Suppose -3*n - 9 = -6*n, 4*n = 4*l - 122200. Is l a prime number?
True
Let b(h) = 4 + 156*h + 387*h - 3 - 17*h. Is b(1) a composite number?
True
Let s(k) = 163*k - 6. Let t be s(27). Suppose -3*w + t = -0*w. Is w a composite number?
True
Let w = 1192 + -315. Is w prime?
True
Suppose 3*h - 26 = -9*c + 4*c, -5*h + 14 = c. Is (-1 - (-10)/8) + 10819/c a composite number?
True
Suppose -7*p + 288 = -6*p. Suppose -863 = -3*m + 4*a - 4, -p = -m + a. Is m prime?
True
Suppose 4*o + 26 = -2*m - 282, 0 = 4*m - 3*o + 638. Let n = -168 - -409. Let k = n + m. Is k a composite number?
False
Let m = -3282 - -4711. Suppose 2*i - 5*q - m = 0, q + 3 = -0. Is i prime?
False
Let b(a) = -2*a**2 - 2. Let u = -7 + 12. Let z be b(u). Let s = 435 - z. Is s a prime number?
True
Suppose -292 = -3*m - 2*t + 3*t, -288 = -3*m - 3*t. Is m prime?
True
Let z = 3055 + 31264. Is z prime?
True
Let c(x) = x**2 - 10*x - 7. Let p be c(10). Let s(b) = 9*b**2 + 15*b + 9. Let v(y) = -4*y**2 - 8*y - 5. Let o(u) = -2*s(u) - 5*v(u). Is o(p) a composite number?
True
Let z(i) = 4*i - 10. Let q be z(4). Suppose 5*v - 113 = q*v. Is v/(-2) - (-18)/12 a composite number?
True
Suppose -4*j = -20, -14 = u + u - 2*j. Is (-2)/4*(0 + 1397)*u composite?
True
Suppose 9947 = l + 9*h - 4*h, 2*l + 4*h = 19918. Is l prime?
True
Let n(c) = -1 - 8 + 65*c + 8. Let s = 14 + -10. Is n(s) prime?
False
Let m(v) = 2*v**2 - 15*v + 12. Let b be m(7). Suppose -4*f + 944 = 2*u, -5*f + b*u - 9*u = -1183. Is f composite?
True
Let t = -17 + 31. Let b be 3/(-3 + 48/t). Suppose 0 = b*w + 710 - 7773. Is w a composite number?
False
Suppose -11 = -6*k + 1. Suppose -232 = -k*u + 64. Let t = u + 37. Is t composite?
True
Let z(l) = -5*l**3 - 9*l**2 - 13*l - 19. Is z(-16) a composite number?
True
Let r = -44 + 84. Let q = r + -38. Suppose q*p - 5*p + 356 = 5*n, -10 = 2*n. Is p a prime number?
True
Suppose 5*w = 4*z - 5463, 5*w - 816 = -z + 581. Let m be (-12)/(-54) + z/(-18). Let f = 155 + m. Is f a composite number?
False
Let g = 39 + -35. Suppose -254 = g*s - 6*s. Is s prime?
True
Let o be 2*((-140)/8 - -2). Let v = 38 + o. Let f(y) = y**3 - 6*y**2 - 2*y. Is f(v) composite?
True
Let w(h) = -h**3 + 8*h**2 + 3*h + 9. Let t(f) = f**3 - 8*f**2 + 7. Let u be t(8). Is w(u) a prime number?
True
Let q(g) = 11*g - 19 - g - 4*g**2 + 4*g**3 + g - 2*g**2. Is q(10) composite?
False
Suppose -4*v - 3*b - 2 = -10, -3*b + 7 = 5*v. Is v/(5/(-800)) + 3 a prime number?
True
Suppose u = 2, 11*w = 15*w - 2*u - 28600. Is w a prime number?
True
Let f = -1169 + 1914. Is f composite?
True
Let i(u) = 31*u**2 + 5. Let f = -69 - -49. Let g = f - -16. Is i(g) a prime number?
False
Suppose 11*p = 8*p + 9171. Is p a composite number?
True
Let d(c) be the first derivative of 3*c**4/2 - 2*c**3 - 2*c**2 + 3*c + 6. Is d(6) composite?
True
Is 20620 + (5 - 4)*3 composite?
True
Suppose -1803 = 6*g + 1503. Let u = 246 - g. Is u a composite number?
False
Let p be (-3 - -1318)*(2 - 1). Suppose 3*l = 8*l - p. Is l prime?
True
Suppose 4*x + 52 - 448 = 0. Suppose 4*c - 77 = 43. Let i = x - c. Is i composite?
True
Let y = -13 + 13. Suppose y*s - 3*s + 651 = 0. Is s a prime number?
False
Let o = 0 + 70. Let s be 1530/14 - 20/o. Suppose -3*w + s = -230. Is w a prime number?
True
Suppose -4*g = 3*p, 3 = -2*g + 5*p - 23. Let f be (-8)/g - 52/(-39). Suppose 0 = -5*j + 15, f*c - 5*j = 417 + 136. Is c a prime number?
False
Let u(z) be the third derivative of z**5/6 - 5*z**3/6 + 12*z**2. Is u(-7) prime?
False
Let j be (-9)/(-6)*(-24)/(-9) + -4. Suppose -12*r + 9*r + 4083 = j. Is r a composite number?
False
Let n = 8 + -5. Let y be -2*2*(2 - n). Suppose -y*k + 9*k = 635. Is k a prime number?
True
Suppose 0 = -b - z + 4*z - 70, 5*b + 317 = 4*z. Suppose -3*u + 336 = 51. Let s = u + b. Is s a prime number?
False
Let a = -5064 + 8841. Is a a com