 number?
True
Let o(v) be the third derivative of 13*v**5/60 - 11*v**4/24 - 5*v**3/6 - 13*v**2. Is o(8) prime?
True
Is 3/2*(-4 - (-76312)/12) a composite number?
False
Let v = 11 + -5. Suppose v*b = b + 35. Is b/(2/44*2) prime?
False
Let n be (-1*1)/((-3)/6). Suppose -624 = -a - n*a. Suppose 3*k - u - 205 + 37 = 0, -a = -4*k - 4*u. Is k composite?
True
Let a(q) = -12*q**2 + 8*q + 5. Let b be 54/(-8) - 4/16. Let j be a(b). Let f = j + 973. Is f composite?
True
Suppose -5*v = 20, 3*v + 18127 = 3*m - v. Is m prime?
True
Suppose 0 = 2*w + 3*w + 15. Let z be (2/5)/(w/(-345)). Let r = 83 - z. Is r a composite number?
False
Let y be 2*(-2)/(-6)*171. Let a be ((-2)/(-4))/(3/1578). Let i = a - y. Is i prime?
True
Let s = -101 + 438. Let j = s - -332. Is j prime?
False
Is (-218)/(-1 + -3 + (-2 - -5)) composite?
True
Let g(b) = b**3 + 23*b**2 - 25*b - 18. Let w be g(-24). Suppose -5212 - 4154 = -w*j. Is j a prime number?
False
Let z = 26 - 25. Is 0 + z + 632 - 2 a prime number?
True
Suppose z + 15 = 2*z. Is (-10)/z - 2494/(-6) composite?
True
Let u = 749 - 1122. Let m = u + 623. Suppose 2*p + 500 = 4*t, m = 3*t + 2*p - 139. Is t a prime number?
True
Suppose -2*j = 10, -g - 2*j = -3*j - 5. Suppose g = -d + 2*d - 337. Is d a prime number?
True
Suppose -5*d + d = -2116. Suppose -d - 3736 = -5*m. Is m a prime number?
True
Let y(d) = 38*d**3 + 9*d**2 - 9*d + 67. Is y(8) a prime number?
False
Let h(v) be the second derivative of -v**5/20 + v**4/12 + 6433*v**2/2 - 20*v. Is h(0) a prime number?
False
Suppose 7424 = 7*f - 185. Is f a prime number?
True
Let a be ((-2)/(-4))/((-1)/(-64)*4). Let o(p) = 11 - 12*p - p**3 - 2*p**2 + 2*p**3 - 4*p**2. Is o(a) prime?
True
Let x(i) = i**3 - 4*i**2 + 2*i - 9. Let o be x(4). Let c(j) = 128*j**2 - 1. Is c(o) composite?
False
Let i = 110079 - 78364. Is i a prime number?
False
Is 2*2579*(63/(-14) - -5) composite?
False
Let p be (14 + 2)*(-5)/(-10). Let q be 4/(p/3)*2. Suppose i = -q*i + 1468. Is i a composite number?
False
Suppose -5*y = -2*z - 1471, 0 = -122*z + 125*z + 9. Is y a prime number?
True
Suppose -3*z + 87 = 423. Let l = -63 - z. Is l prime?
False
Is (1*18/(-45))/(2/(-2615)) a composite number?
False
Let q(c) be the second derivative of -c**5/20 - 5*c**4/4 - 5*c**3/2 - 3*c**2/2 - 2*c. Let d be q(-14). Is d/(-44) + (-141)/(-4) composite?
True
Let o be (215 - (3 + -2))*21/6. Suppose 6*t - o - 2173 = 0. Is t a composite number?
False
Let u = 133 + -71. Suppose 214 + u = v. Suppose 5*c = -h + v, -h + 280 = 5*c + 4*h. Is c a prime number?
False
Suppose 12 = 3*f, 5*q = 4*q - 2*f + 2713. Is q prime?
False
Let c(h) = 54*h + 11. Let a = 33 - 25. Is c(a) a prime number?
True
Suppose -4*d = -2*w + 402, -2*w - 3*d + 5*d = -392. Suppose -3*t - w = -4*x, 0 = -3*x + 7*x - 2*t - 190. Is x prime?
True
Suppose h + h + 3*u = 2579, 0 = -h + 3*u + 1267. Suppose 239 = -7*o + h. Is o a composite number?
False
Let g(p) = -p - 1. Let v be g(3). Let z(a) be the first derivative of -17*a**2 + 7*a + 3. Is z(v) a prime number?
False
Suppose -2*q + 4*r = -0*r - 24, -3*q + 16 = -2*r. Suppose 0 = 3*u + q*y - 537, 0 = -6*u + u + 5*y + 895. Is u a composite number?
False
Suppose -24*r - 14786 = -26*r. Is r a composite number?
False
Suppose -3*o = -2*s - 2392 - 1576, -s - 4 = 0. Suppose 7*v + o = v. Let b = v - -459. Is b a prime number?
True
Suppose 5*q = 10, 6*q + 19171 = y + q. Is y a prime number?
True
Let u(o) = -6*o**3 - o**2 - 1. Is u(-8) composite?
True
Suppose 0*g - 3*a - 121531 = -5*g, -g + 4*a = -24313. Is g prime?
False
Suppose -3*j - 5*u + 4 = -6, -j + 2*u + 7 = 0. Suppose -2 = -t - 2*o + j, 5*o = 4*t - 15. Suppose 0 = -2*k - 4*v + 990, t*v + 18 = 8. Is k a composite number?
False
Let a(t) = 346*t**2 + 10*t - 37. Is a(-5) a prime number?
True
Suppose -4*n = -f + 2, 4*f = 2*n - 6*n + 8. Is ((-1563)/f)/(18/(-4) + 4) a composite number?
True
Let i be (-8)/(-44) - (-3054)/22. Is 0 + i - (2 - 2) prime?
True
Suppose -3737 = -y + 2*z + 7102, 2*y - 21682 = 3*z. Is y a prime number?
True
Suppose -7*x - 126198 + 479411 = 0. Is x composite?
False
Let j(o) = -14*o - 12. Let r(y) = -25*y + 6. Let f be r(1). Is j(f) a composite number?
True
Suppose 3*v - u - 1279 = 111, -2*u - 2 = 0. Let j = v + -264. Is j a prime number?
True
Let j(v) = v**3 - 3*v**2 - 7*v - 6. Suppose -h + 2*d = -3*h - 30, 4*h + 3*d = -60. Let u = 22 + h. Is j(u) a prime number?
False
Let v = -8348 - -14163. Is v composite?
True
Suppose l - 4 = -k, -5*k = -1 + 21. Suppose 5946 = 14*n - l*n. Is n a prime number?
True
Suppose -5*j + 140 = -3*c - 2*c, -3*c = -j + 88. Let x be 26/10 + (-12)/c. Suppose 2*t + 3*a = t + 736, -766 = -t + x*a. Is t composite?
False
Suppose z = 3 - 5, -2*z = -i + 446. Suppose -3*l - 4*y + 1323 = 0, -2*y - i = -l - 3*y. Is l composite?
True
Suppose 0*y - 81 = -3*y. Suppose 0 = -y*z + 23*z + 2108. Is z a prime number?
False
Let c be (-16)/(-24) + (-1501)/(-3). Suppose 0 = -6*j + c + 465. Is j a prime number?
False
Let x be 2*-1 + (-63)/(-9). Suppose 1364 = x*q - 2*d - 3073, -5*d = -5*q + 4440. Is q a composite number?
False
Let x(s) = 12*s**2 - 12*s + 35. Is x(22) composite?
True
Let q(s) = 256*s - 4. Let i be q(4). Let w = i - 601. Is w prime?
True
Let v(x) = x**3 - 11*x**2 + 10*x + 12. Let j be v(10). Suppose f - j = -3*f. Is f - (-20 + 2 + 0) composite?
True
Let l = 170 + -64. Suppose 3*q = 541 - l. Is q a composite number?
True
Let n(f) = 3*f**3 - 3*f + 1. Is n(6) prime?
True
Let a(r) = -5150*r + 213. Is a(-7) a prime number?
True
Let x(m) = 2*m**3 + 2*m**2 - m + 156. Let a(k) = k**3 + k**2 - k - 1. Let z(v) = -a(v) + x(v). Suppose 0 = 6*q - 7*q. Is z(q) a composite number?
False
Suppose d + d = 4, 5*a = 3*d + 684. Suppose -3*x - a = -6*x. Suppose -3*t - x + 475 = 0. Is t a composite number?
True
Let x be (6/12)/((-2)/1676). Is (-2)/(2/x + 0) prime?
True
Suppose 0 = -8*m + 2*m - 42. Let d(f) = -f**2 - 8*f - 7. Let s be d(m). Suppose t - 133 - 189 = -5*j, s = -5*t - 4*j + 1547. Is t prime?
True
Is 11270544/360 - (-4)/(-60) a prime number?
True
Suppose -5*k = -6*k - 5*a + 22, k - 28 = -3*a. Let i = -65 + k. Let n = i + 49. Is n a prime number?
False
Let k(z) = -55*z**3 + 4*z**2 + 5*z + 1. Let g be k(-2). Suppose 0*y = -y + g. Is y a prime number?
False
Let l = 12535 - -378616. Is l a composite number?
False
Let x(r) = 22829*r**2 + 3*r + 1. Let y be x(-1). Is y/91 + (-4)/(-26) a prime number?
True
Let g be 2*(-2)/4*-5. Suppose 956 = g*d - 459. Let x = d + -162. Is x composite?
True
Let s be (-25 + -3 - -4) + -1. Let v be 5/s + 6188/(-10). Let r = v - -1100. Is r a composite number?
True
Suppose 5*l - 10 = -0*l. Let c = l - 1. Suppose -4*h - 3*d = -259, -2*d - c = 5. Is h a composite number?
False
Let p(w) = w**3 - 9*w**2 - 11*w + 12. Let y be p(10). Suppose -7*g - y*g + 3051 = 0. Is g a composite number?
True
Suppose 2*f - 6147 = -f. Let r be f/12 + (-2)/(-8). Let p = r + 68. Is p a prime number?
True
Is -2 + 6 - 6 - (-47595)/3 composite?
True
Let m = -7176 + 4250. Let p = m - -5399. Is p prime?
True
Let p(y) = 700*y - 14. Let l be p(-7). Let r = -3426 - l. Let k = r + -229. Is k composite?
False
Suppose 5*w = t + 25, 2*t - 4*t = 0. Is w/1 + -2 - (-984 + -2) a prime number?
False
Suppose -5*l - 70 = -12*l. Is (l/(-6))/((-3)/2097) composite?
True
Let t = -3279 - -18808. Is t prime?
False
Let f = -3322 - -5110. Suppose -f - 308 = v. Is ((-6)/(-8))/((-4)/v) a composite number?
True
Let d = 93 + 3. Let c be 1/(3/(-12)) + d. Suppose 2*m - c = -r, 3*r + 4*m - 3*m = 251. Is r a prime number?
False
Let j(x) = 296*x**2 + 30*x - 149. Is j(5) a composite number?
True
Let q = 336 + -78. Let y = 371 - q. Is y a prime number?
True
Let g = -1376 + 5733. Is g a prime number?
True
Is (3015/6)/15*254 a composite number?
True
Let u(x) = 14*x**2 - 4*x + 4. Suppose -3*a - 3*i = 6, -2*i = 9*a - 4*a - 5. Is u(a) a composite number?
True
Let t(r) = -12900*r**2. Let w(d) = -133*d**2. Let l(g) = -4*t(g) + 387*w(g). Let k be l(1). Is 2*1/2*k composite?
True
Let s = 5237 - 3726. Is s prime?
True
Let g be (4 - -898) + (-3 - -2). Suppose -403 = -8*h + g. Is h prime?
True
Suppose -3*n + 668 = 4*a, a = 3*n - 0*n + 167. Suppose 0 = -4*u - q + 1220, 3*q + 1825 = 5*u + 283. Let j = u - a. Is j composite?
False
Let p(m) = -3*m**3 + 154*m**2 - 30*m + 61. Is p(44) a composite number?
False
Let