number?
False
Suppose -3*x + 915212 - 3274986 = -4*m, 0 = 3*m + 3*x - 1769841. Is m prime?
False
Let n(i) = -1467*i**2 + 6. Let u(o) = 489*o**2 - 2. Let p(x) = 2*n(x) + 7*u(x). Let b be p(-2). Suppose b = 4*a + 278. Is a a prime number?
True
Is ((13860/(-48))/35)/(-6*1/2936) prime?
False
Let s be 4/18 - 48/(-27). Suppose -s*d - 31554 = -2*p + 2*d, -4*p + 63126 = -2*d. Is p composite?
True
Let l = 66 - 26. Let g(s) = s**2 + 5*s + 2. Let i be g(-9). Suppose -42*n + l*n + i = 0. Is n composite?
False
Suppose -332*u - 62*u - 1965980 = -5050606. Is u a composite number?
False
Suppose 0 = 12*w - 6*w + 6. Let d(v) = -2*v - 751*v**3 - 7 - 619*v**3 + 6. Is d(w) a prime number?
False
Suppose 8*p - 6*p - 26018 = -5*w, 4*w = -2*p + 26018. Is p a prime number?
True
Let i(u) = -133*u - 1. Let p be i(18). Let c = 5028 + p. Is c a composite number?
False
Let q = 27426 + -843. Is q composite?
True
Let v be (1 + -2)*(9 + 40293/(-3)). Suppose 8*x = 6*x + v. Is x a prime number?
False
Let b = 10992 + -4592. Let c = b + 6357. Is c composite?
False
Suppose 98 = 4*t + 102. Is (t + 8 - -4362) + 0 prime?
False
Suppose 0*s + n = -s + 11888, -4*n + 16 = 0. Suppose 0 = -d - 3*d + s. Is d prime?
True
Suppose 2*t - 4*t = -4*t. Let c be (10 - 17)*(t + 216/(-14)). Let w = 517 - c. Is w a composite number?
False
Suppose 43171436 = 532*v - 26298720. Is v a prime number?
False
Is (-10)/(5 + 5)*(-65867)/1 composite?
False
Suppose 4*a = 3 + 9. Suppose a*b = 1224 + 669. Is b a prime number?
True
Let j(i) = 4114*i**3 + 74*i**2 - 3*i - 2. Is j(5) composite?
True
Let p(o) = o**3 + o + 11*o**2 + 2*o + 14*o**2 - 22. Let m(r) = 88*r + 8877. Let a be m(-101). Is p(a) prime?
False
Let x = 2012726 + -1251639. Is x composite?
False
Suppose -4*j - 14666 = -4*s - 1754, -5*s + 16142 = -3*j. Is s a composite number?
False
Suppose 5*a = 4*n - 1415582, -1061703 = -3*n + 15*a - 14*a. Is n composite?
True
Let n be ((-6)/4)/1 - 2999/2. Let g = 484 + n. Let d = g + 1716. Is d a composite number?
True
Let z(o) = o - 6. Let c be z(8). Suppose -5*r + 15 = 5*x - 0*x, 8 = 3*x + c*r. Suppose 3*f - 671 = 2*d + 1422, -1427 = -x*f - 5*d. Is f composite?
False
Is ((-729659)/(-147)*(-6)/(-4))/(1/2) a prime number?
True
Suppose 36*j + 1981831 = 32*j + 33*j. Is j a prime number?
False
Let h(s) = -s**3 + 11*s**2 + 8*s + 89. Let f be h(14). Is 86/f - (-75046)/18 a composite number?
True
Let g(q) = 81*q - 67. Let p(k) = -79*k + 68. Let o(b) = 2*g(b) + 3*p(b). Is o(-5) a composite number?
True
Let v = 21086 - -17583. Is v composite?
False
Let o(a) be the third derivative of -41*a**5/120 - a**4/8 + 4*a**3/3 + 13*a**2. Let n(x) be the first derivative of o(x). Is n(-12) a composite number?
True
Suppose -2*w = -4*r - 18, 3*r = 4*w - 0*r - 36. Suppose 13690 = w*v + v. Is v a composite number?
True
Suppose 3*m - 2*t - 1 = 3*t, -4*m + 9 = t. Suppose -m*q = -4*i + 2 + 2, i = 2*q - 5. Suppose q*r - 1249 = -197. Is r composite?
False
Suppose -5*b - 23664 = -b. Is 7 - b/(7 + -4) prime?
True
Suppose -3*i + 29 = 4*k, -4*k + 7*k - 6 = 3*i. Let l be (-6)/((-60)/(-175))*(-4)/k. Is 2/3*(6 + 5313/l) a composite number?
False
Suppose -90*a + 10681251 = -3*a. Is a a prime number?
False
Let v be 264/(-18)*(-9105)/10. Suppose -2*z + q = -v, -z + 0*q = 4*q - 6695. Is z a composite number?
False
Let m(h) = -8*h**2 - h + 4*h - 33 + 13*h + h**3 - 6*h**2. Is m(14) a composite number?
False
Let l(h) = 1639*h**2 + 220*h - 37. Is l(-24) prime?
True
Suppose -22*y + 85 = 85. Suppose -5 = 5*s, y = -16*l + 14*l + s + 29783. Is l a composite number?
False
Let l(p) = 24 + 903*p + 596*p + 517*p - 19. Is l(4) a composite number?
False
Is (1108/16)/(2 + 12302/(-6152)) composite?
True
Let y(i) = 6*i**2 + 45*i + 3011. Is y(-208) a composite number?
True
Let f = -135505 - -323412. Is f a composite number?
False
Suppose 12*n = 17*n - 20. Suppose -2*v = -n*m - 10880, -5 = -5*m + 4*m. Is (-27)/18 - v/(-4) a prime number?
True
Let a(p) = -11*p + 85*p + 85*p - 131 - 10*p. Is a(12) prime?
True
Let t(f) = 10*f**3 - 2. Let v be t(-3). Suppose -m - 574 = -5*h, 2*m + 2*h + 611 + 549 = 0. Let x = v - m. Is x prime?
True
Let y(p) = p + 918. Let t be y(0). Let a(b) = -1526*b + 15. Let f be a(-2). Let c = f - t. Is c a prime number?
False
Is 29840 + 81/(36/(-4)) composite?
True
Suppose -5*o + 74945 = 5*m, -2*m + m = 2*o - 29976. Suppose -o = -18*z + 10159. Is z prime?
False
Suppose 3*i - 3*t - 945117 = 0, -4*i + 5*t + 449723 = -810425. Is i a composite number?
False
Suppose 0 = 24*x - 1511 - 4897. Suppose -2*c - 344 = -36. Let f = c + x. Is f prime?
True
Let v(c) = -835*c - 28. Is v(-2) composite?
True
Suppose -3*r + 7*r - 11472 = 0. Let x = -1399 + r. Is x composite?
True
Let d = 135 + -157. Let b be -3 + 62/22 + (-129100)/d. Suppose b = 14*y - 3568. Is y composite?
True
Let a = 47025 - 32700. Suppose a = b + 772. Is b a composite number?
False
Suppose -256*k + 102734 = -254*k. Is k a composite number?
True
Let z(n) = 18*n**3 + n**2 + 3*n - 3. Let l be z(3). Let s = 1447 - 1426. Suppose -s*m = -20*m - l. Is m prime?
False
Suppose -j = -5*f + 134632, j - 26934 = -f + 5*j. Suppose -f = -6*d + 17432. Is d a composite number?
False
Let l be (-17)/(255/(-40))*(-3)/(-2). Suppose 2*t = 8, -l*z + 17741 = t - 5779. Is z prime?
True
Suppose -1623*a - 30989219 = -1682*a. Is a composite?
False
Let v(h) = 7*h - 51. Let i be v(3). Is i*(12567/(-18) + -2) prime?
False
Suppose 4*r = 0, 6*k - 2*k - 3*r - 24 = 0. Let f be 131358/18 + (-2)/(0 - k). Let u = f - 4219. Is u a prime number?
True
Let w(a) = -2*a**2 + 4*a + 3. Let v be w(2). Suppose -v*t + 6 = 9, 0 = 2*u - 2*t - 8254. Is u a prime number?
False
Is ((-2141)/2)/((-69)/14214) - -6 prime?
True
Let s(m) = 2*m**2 - 12*m + 3. Let n(h) = -4*h**3 - 2*h**2 - 5*h - 3. Let z be n(-2). Let b be 8/10 - 1 - z/(-5). Is s(b) composite?
False
Suppose 7*u = -4*u - 48411. Let r = -1102 - u. Is r a prime number?
True
Suppose 0 = 314*k - 318*k + 2168. Let t = k - 61. Is t a composite number?
True
Suppose 4*a - 488662 = -m, -16*a + 19*a + 2*m - 366489 = 0. Is a prime?
True
Is (-2*2/(-6))/((-34332171)/(-4904595) - 7) prime?
False
Let q(f) = -276 + 132*f + 528 - 199. Is q(9) a prime number?
False
Let o(h) be the third derivative of 5*h**4/8 - 2*h**3 - 16*h**2. Let z be o(1). Is (3426/(-4) + z)/(2/(-4)) a prime number?
False
Let h(k) = 5*k**3 + 3*k**2 + 3*k - 31. Let w be h(6). Suppose 0 = -5*u - 5*f + w, -7*f = u - 5*f - 237. Is u a prime number?
True
Let j(l) = 4*l**2 - 14. Let a be j(2). Suppose 0 = 4*r - z + 2*z - 96537, -5*r - a*z = -120675. Is r composite?
False
Is 43944897/6227 - (-1 - 1 - (-28)/13) a prime number?
True
Suppose -3*s = -2*n - 23, 5*n + 5 = -0. Suppose -5*w = -3*x - 2876, -4*x - s = 1. Suppose -w = -13*g + 11*g. Is g a prime number?
False
Let b(u) be the third derivative of -19/60*u**5 + 1/60*u**6 - 1/6*u**4 + 8*u**2 + 0*u + 0 - 1/6*u**3. Is b(10) composite?
False
Let f = 119420 + -60474. Is f composite?
True
Suppose -4*w = 2*o - 434, 3*w - 207 = -2*o + 229. Is o prime?
False
Let w(v) = 448*v - 65. Let z be w(7). Let i = z + -2073. Suppose 4*p - 8866 = -i. Is p a prime number?
False
Suppose 2*z - 7*z + 20 = 0. Let m(g) be the third derivative of 135*g**4/4 + 11*g**3/6 - 59*g**2 + 2. Is m(z) composite?
False
Let n be -2 - (6/15 + 102/(-5)). Suppose 23*c - n*c = 22045. Is c a prime number?
True
Let s(p) = 80*p**2 - 73*p + 450. Is s(-29) a prime number?
True
Suppose 4*y - 217892 = 5*i, -47*y - 108946 = -49*y - 4*i. Suppose 27214 = w - 5*k, w + w = k + y. Is w prime?
True
Let m(t) = -484*t + 43. Let k be m(-4). Let u = -580 + k. Is u a composite number?
False
Suppose 29*k + 304904 = 31*k. Suppose -36*s = -32*s - k. Is s prime?
True
Suppose 0 = 3*m - 4*s - 28, m - 4*s = 2*m + 12. Is -1 + 4205 + (-24)/32*m a prime number?
True
Let q(p) = -2560*p**3 - 2*p**2 + 5*p + 11. Is q(-2) a composite number?
True
Let q(b) = -7*b**3 - 81*b**2 - 76*b - 41. Is q(-57) composite?
True
Suppose -5*y = 2*x + x - 34, 0 = -4*x + 5*y + 22. Let z(t) = -t**3 - 14*t**2 - 23*t - 77. Let g be z(-20). Suppose -g = -x*o + 4041. Is o prime?
True
Suppose 7*v + 0*v = -1960. Let x(b) = -b**3 + 5*b**2 + 2*b - 7. Let g be x(8). Let r = g - v. Is r a composite number?
False
Let u = 3219 + -722. Let v = u + -1095. Is v a composite number?
True
Suppose -3*d = -4*d - 4*v