se
Let q(j) = 3*j**2 - 3*j + 4. Let x be q(-3). Let v = -47 + x. Is (-1)/v + (-3408)/(-7) a prime number?
True
Let o = 52 - 49. Let a(c) = 44*c**3 - c**2 - 3*c - 1. Is a(o) prime?
False
Suppose -6*i + 266 = -4*i. Is i prime?
False
Let r(b) = b**2 - 3*b + 1. Let q(v) = v**3 + 17*v**2 + 15*v - 21. Let y be q(-16). Let g be (-29)/(-5) + (-1)/y. Is r(g) composite?
False
Suppose -f = -q + 3*f - 349, 5*f + 763 = -2*q. Let c = -21 + 47. Let i = c - q. Is i prime?
False
Let c(t) = -t**3 + 23*t**2 + 26*t - 19. Let u = -29 - -50. Is c(u) a composite number?
False
Let h(s) = 22*s + 1. Let y(l) = l**3 - 5*l**2 - l + 11. Let b be y(5). Is h(b) a prime number?
False
Suppose 8*h - 10005 = -7*h. Is (-5 - -3)*3/(-6)*h a composite number?
True
Is ((-6 - -2)/12)/((-1)/71769) a prime number?
False
Let i(k) = 5*k**2 - 2*k - 17. Let q(j) = -j**2 + 9*j + 14. Let m be q(11). Is i(m) a prime number?
False
Let l be (-224)/(-42) - (-2)/(-6). Suppose -446 - 279 = -l*t. Is t a prime number?
False
Let y(f) be the second derivative of -25*f**3/6 + 51*f**2/2 + f. Let d(w) = -8*w + 17. Let r(i) = -7*d(i) + 2*y(i). Is r(9) a composite number?
False
Let w(z) = -5 + 0 + 92*z - 5 + 3. Let l be w(-5). Let p = l + 798. Is p a prime number?
True
Let s = -24196 + 51435. Is s composite?
False
Let u = 25727 - 7734. Is u a prime number?
False
Is 1/((-3)/(-2)*(-8)/(-113532)) prime?
True
Suppose 3*c = 7*c - 4276. Is c composite?
False
Let l(g) = -889*g + 133. Is l(-10) composite?
True
Suppose 9*j - 52540 + 12211 = 0. Is j prime?
True
Let r = -25 - -16. Let y(l) be the third derivative of l**6/120 + l**5/5 + l**4/2 - 2*l**3/3 + l**2. Is y(r) prime?
True
Let c = 666 - -1481. Is c a composite number?
True
Suppose -4*w = -7*w + 6. Let q be (-155)/(-25) - w/10. Suppose -q*m + 2103 = -3*m. Is m a composite number?
False
Suppose 75258 = 4*q - 2*k - 148374, -167729 = -3*q + 4*k. Is q a composite number?
True
Let z(l) = 3*l**2 - 16*l - 28. Let g be z(13). Suppose -d + g = -0*d + 4*h, d + h = 271. Is d a composite number?
False
Is 3 - (-4)/((-2 + 4)/7340) prime?
True
Let f(c) be the first derivative of -3*c**2 - c - 5. Let s be f(-1). Suppose 0 = 2*m - s*q - 117, 37 = 3*m + 2*q - 186. Is m composite?
False
Let r(d) = -68*d**3 - d**2 + 1. Is r(-2) composite?
False
Let o(t) = 104*t**2 + t - 2. Let q(i) = 207*i**2 + i - 5. Let u(k) = 5*o(k) - 2*q(k). Let p be u(-2). Suppose -a = a - p. Is a a prime number?
False
Let i be 2736/45 + (-8)/10. Is (i/(-75))/(4/(-170)) a composite number?
True
Let g(w) = -w - w**3 + 1 - 1 + 1 + w**2 - 2*w**2. Let c be g(-2). Suppose 0 = 3*z - c*z - 5*q + 560, 4*z - 3*q = 592. Is z a composite number?
True
Let y = -3277 + 6484. Is y a composite number?
True
Suppose 0 = 2*v + 6, 3*s - 7*s - 15 = 5*v. Suppose s = l, 0 = -t - 4*l - 102 + 733. Is t composite?
False
Suppose 0 = 2*i - 7*i - 1165. Let o = -98 - -462. Let x = i + o. Is x composite?
False
Suppose 3*r - 2350 = -j, r + 2*j = -j + 786. Let l = 1574 - r. Is l prime?
False
Let b be ((-24)/2)/((-4)/(-226)). Let z = 3979 - 1860. Let t = b + z. Is t a prime number?
False
Let k(q) be the second derivative of -11*q**3/2 + 13*q**2/2 - 24*q. Is k(-6) prime?
True
Let a be -744 - (8 + 1 + (-3 - 1)). Suppose 2*b + 6 + 3 = o, 4*b + o = -3. Is (a/2)/(b/4) a composite number?
True
Suppose -4*t + 4*o + 4 = -4, 12 = 4*t - 2*o. Is ((-1)/t)/(((-11)/(-5692))/(-11)) composite?
False
Suppose 2*r - 2460 + 824 = 0. Suppose q - a = 879, -4*a - r - 67 = -q. Is q prime?
True
Let j be (-40)/180 + (-4)/(-18). Suppose -3*x + 1768 = 4*u, -4*u + 6*x - 3*x + 1744 = j. Is u a composite number?
False
Let i = -3303 - -9602. Is i a prime number?
True
Let w = -10 + -12. Is (4/(-3))/(w/99) prime?
False
Let g(y) be the second derivative of 1/12*y**4 + 0*y**3 + 0 - 6*y**2 - 3*y. Is g(7) prime?
True
Let x = -36 - -41. Suppose -3*t - x*z + 4*z = -8200, 0 = -2*t + 3*z + 5452. Suppose -1054 = -6*b + t. Is b a prime number?
True
Let h(l) = -l. Let w(j) = -40*j + 1. Let d(p) = 5*h(p) + w(p). Let x be d(-3). Suppose 10*r - 6*r = x. Is r a composite number?
True
Let p = -4644 + 7913. Is p composite?
True
Is (931/(-21) - 2)*-93 a prime number?
False
Suppose -46*n + 29170 = -41*n. Is n prime?
False
Let x be (-3)/2 + 278/4. Is 0 - (3 - x/1) composite?
True
Let c(r) = 941*r + 8. Is c(3) a composite number?
True
Suppose -57*z + 3556485 - 779844 = 0. Is z a composite number?
True
Let a = -39940 + 57143. Is a a prime number?
True
Let f be 12*1*48/9. Let w = f - -186. Suppose 0 = 4*k - 1138 - w. Is k a prime number?
True
Let x = -5828 - -2676. Is 1 + -4 + x/(-8) a prime number?
False
Let c(z) = -2*z + 3. Let t(w) = w - 2. Let x(l) = -3*c(l) - 5*t(l). Let b be x(3). Suppose 4*i + 0*h = -5*h + 240, -b*i = 4*h - 236. Is i a prime number?
False
Suppose -w + 9810 = 8*w. Suppose 4*v - w = -6*v. Is v composite?
False
Let c be ((-3)/(-9)*-2)/((-2)/15). Suppose 5*l = -c*n + 930, -4*l + 2*l = -4*n + 774. Is n a prime number?
True
Let p(t) = -8*t**2 + 6 - 30*t**3 + 11*t + 2*t - 17 + 32*t**3. Is p(10) composite?
False
Let p(q) = -q**3 - 9*q**2 - 8*q - 8. Let c be p(8). Let s be (-11)/(-4)*c/(-10). Let n = 518 - s. Is n a composite number?
False
Let p = -36 + 19. Let n = 36 + p. Is n a prime number?
True
Let g(t) = 29*t**2 - 32*t**2 + 0*t**3 - 11*t**3 + 0*t - 1 - 2*t. Is g(-2) prime?
True
Let t be 0/(3/(15/(-10))). Suppose 2*f - 2294 = -4*x, t = -5*f - 5*x - 909 + 6654. Is f prime?
True
Suppose 3*o - 14 = -3*w + 4*o, 2*w - 18 = 5*o. Suppose 5*n + 0*n + w*t = 1099, 2*t + 900 = 4*n. Is n prime?
True
Let h(u) = u**2 - 5*u - 1. Let a be h(6). Suppose 5*q + 5 = -3*t, -q - 3*t - t = 18. Suppose -q*j + a*j = 609. Is j prime?
False
Let l(w) be the first derivative of 47*w**3/3 + w**2/2 - 7*w + 20. Is l(-3) a prime number?
False
Let w(u) = -326*u**3 - 6*u**2 + 3*u + 5. Is w(-4) a composite number?
True
Let m(i) = 4*i**2 + 45*i + 25. Is m(-52) a composite number?
False
Let w(b) = 18*b**2 + 3*b - 5. Let t be w(-11). Let n = 1276 - t. Let m = 1310 + n. Is m a prime number?
False
Let v = -60 - -63. Suppose 4*k - i = -1 + 11, 12 = 3*k - 3*i. Suppose 1435 = v*b + k*b. Is b composite?
True
Suppose -2*p + 210 = 3*p. Suppose p = -3*v - 2*o, 3*v + 34 = o + 1. Is ((-14)/3)/(4/v) prime?
False
Is (-156625)/(-1000) - 3*2/(-16) a prime number?
True
Let p(m) = m**3 - m**2 + 2*m - 2. Let t be p(3). Suppose 287 + t = 3*x. Is x a prime number?
True
Suppose -4*p = -3*y + 6*y - 4, -1 = -2*y - p. Suppose -g + y*g + 2286 = 3*d, 4*d = 12. Is ((-2)/(-3))/(6/g) a composite number?
True
Let w(c) = 38*c**2 - 11*c + 1. Is w(-8) prime?
True
Is (-5 - (-5 - 1))*7297 composite?
False
Is 7/(35/56925) + 2 composite?
True
Is (-2)/((-4)/41176*4) prime?
True
Let v(i) = -3*i**3 + 6*i**2 - 2*i - 50. Is v(-11) prime?
True
Let d(c) = -2*c - 2 - 13*c - 5 + 14*c**2. Is d(-10) a prime number?
True
Let m(d) = 965*d - 48. Let a be m(-5). Let h = -2690 - a. Is h a prime number?
False
Let w(n) = 8*n**2 - n. Is w(3) a composite number?
True
Let k(h) = -1740*h - 147. Is k(-5) a prime number?
False
Let b be 4 - 3737*(5 - 6). Suppose -3*f = -b - 2313. Is f composite?
True
Suppose -7*n = n + n. Suppose n*o + c = 2*o - 2307, -3443 = -3*o - 2*c. Is o prime?
True
Let a = 14 - 11. Suppose 2*o - 2634 = -o - a*y, 2*y = -4*o + 3510. Is o a prime number?
True
Let z(o) = -o**3 + 6*o**2 + 9*o - 10. Let x be z(7). Suppose x*c - 4 = 0, 2*p + 3*c = -0*c + 301. Is p composite?
False
Let q(t) = 487*t**2 - 3*t - 19. Is q(-3) a prime number?
True
Let d(g) = -127*g + 4. Let t be d(-3). Suppose -m + 15 = 4*q, 13 = 2*q - 4*m - m. Suppose -o = q*o - t. Is o a prime number?
False
Let x = -136 + 138. Suppose 2274 = 2*c - j, 6*j + 2266 = x*c + 3*j. Is c a composite number?
True
Let x(o) = -272*o - 3. Let i be x(-4). Suppose -b + i = 6*b. Is b a prime number?
False
Let f = 714 - -5395. Is f a prime number?
False
Suppose 12*w - 263 - 829 = 0. Is w composite?
True
Let k = 829 - 554. Let j = -67 - -155. Let s = k - j. Is s a composite number?
True
Suppose -r + 6*r = 15. Suppose 2*a + r*a - 1335 = 0. Suppose a = 8*p - 5*p. Is p composite?
False
Suppose -j + 19 = -0*j + 4*i, 18 = 2*j + 3*i. Suppose -j*b + 8 = -4. Suppose -r - 2*k = 2*k + 13, -8 = -b*r - 4*k. Is r prime?
True
Let d(v) = 483*v**2 + 4*v - 2. Let r be 4/(-8)*(-18)/3. Suppose -4 - 3 = -5*j - k, 0 = -r*j - 2*k + 7