, v = 4*t - 38. Let s be (249/t)/((-4)/(-624)). Suppose -5*y + 0*o + 5395 = 2*o, 4*y + 4*o - s = 0. Is y prime?
False
Let j(r) = r + 15. Suppose -14 + 26 = -m. Let k be j(m). Suppose k*w - 133 = -l, -3 = -w + 1. Is l a prime number?
False
Let h(f) = 23*f + 22. Let v(s) be the second derivative of 2*s**3 + 11*s**2/2 + 3*s. Let r(x) = -2*h(x) + 5*v(x). Is r(12) prime?
True
Suppose -4*m - 20 = -o, -2*o = o + 5*m + 25. Is (2/6)/(o - (-3)/2853) composite?
False
Let q = -66 + 178. Suppose -q = 3*u - 775. Is u prime?
False
Is (18464/(-5))/(-4) + (-14)/70 prime?
False
Let j(y) = 2*y**2 + 3*y - 10. Let m be 4/6*(5 + 175/10). Is j(m) prime?
False
Let o(h) be the first derivative of 5*h**4/4 - 11*h**3/3 + 9*h**2 - 3*h + 24. Is o(6) a prime number?
False
Suppose 0*g - 3548 = -4*g. Let x = -294 + g. Is x prime?
True
Let o(v) = 17*v**3 - v**2 + 2*v + 7. Let n be (-6)/10 - 140/(-25). Is o(n) a prime number?
False
Let r(t) = -2*t**2 - 274*t + 37. Is r(-47) prime?
False
Suppose 4*b + 0*m - 19 = -m, -b = -5*m - 10. Suppose -162 = -j - 3*w + 2*w, 806 = b*j + 3*w. Suppose 0 = 5*u - 2*t - t - j, -2*t = -10. Is u composite?
True
Let l(n) = -8*n**3 + 30*n**2 - 27*n - 20. Let p(w) = 3*w**3 - 10*w**2 + 9*w + 7. Let j(y) = 4*l(y) + 11*p(y). Is j(-9) a composite number?
True
Is (-2521*(-2)/10)/(65/650) a prime number?
False
Let h(r) = 9*r - 1. Let q be h(4). Suppose -j = -5, 6*o - q = o - 2*j. Suppose -o*n = 5*g - 80, 2*n = 2*g - 2*n - 62. Is g prime?
False
Let b(v) = -v**3 - 16*v**2 + 10*v + 24. Let q(k) = -2*k**3 - 32*k**2 + 19*k + 47. Let z(g) = 11*b(g) - 6*q(g). Let c = -46 - -33. Is z(c) a composite number?
False
Let u(s) = 3 + 0*s - 3 + 90*s**2 + s. Let n(i) = i**3 + 5*i**2 + 6*i - 1. Let h be n(-3). Is u(h) a prime number?
True
Let g = 629 - -2490. Suppose 4*p - 3*v + 0*v - 2489 = 0, -5*p - 4*v = -g. Is p prime?
False
Let s = -2 + 6. Suppose -1376 = s*o + 344. Let a = -299 - o. Is a composite?
False
Let f = 9 - 5. Suppose -5*k + 4*r - 30 = 0, f*r - 11 = 3*k + 15. Is k/(2*(-2)/106) a composite number?
False
Let a(i) = -i**2 + 271*i - 33. Is a(68) a prime number?
False
Suppose 2*y + 3*b = -9, 4*y + 2*b + 3 = -b. Suppose -r = -4*p + 1784, 5*r + 2215 = 2*p + y*p. Is p a prime number?
False
Let g = 6 - 0. Suppose 2145 = g*j - 1917. Is j a composite number?
False
Let f(t) = 7*t**2 - 9*t + 13. Let h be (-9)/((-14)/4 + 2). Suppose 0 = -3*b + 24 - h. Is f(b) a composite number?
False
Suppose 4*a + 8*z - 1518 = 3*z, 2*a = -2*z + 760. Is a prime?
False
Suppose 187*u - 182*u - 3*a - 113683 = 0, -a - 90952 = -4*u. Is u composite?
False
Let x(s) = -2*s**3 - 15*s**2 - 3*s - 17. Let g(r) = 3*r**3 + 29*r**2 + 7*r + 34. Let p(u) = 3*g(u) + 5*x(u). Is p(12) a composite number?
False
Let d(l) = 5*l**2 - 8*l + 12. Let n(b) = -6*b**2 + 8*b - 13. Let w(x) = -4*d(x) - 5*n(x). Is w(7) a prime number?
False
Let l = 5741 + -4078. Let t = l + -197. Is t composite?
True
Let p(z) = z**2 - 4*z + 2. Let t be p(5). Let f(k) = t + 16*k + 5*k - 7*k. Is f(5) a composite number?
True
Let f = 413 + 468. Let w = f + 1092. Is w prime?
True
Is 1946 + (2/4)/(8/(-16)) composite?
True
Is (-4*(-14583)/6)/2 a composite number?
False
Let s be (-53)/(-11) + 4/22. Suppose 4776 = 4*o - 4*n, -3*o + s*n + 3584 = -0*o. Is o a composite number?
False
Suppose -2*z - 20 = -5*a + 3*z, z = -2*a - 7. Is ((-1)/(a/141))/1 a composite number?
True
Let h(s) = s**2 + 23*s - 157. Is h(20) a composite number?
True
Let j = -336 + 503. Suppose -4*g = -j - 65. Is g prime?
False
Let y(a) = 39*a**3 - 2*a**2 + 1. Let v be y(1). Let x = v - -89. Is x prime?
True
Suppose -4*i - 12 = -3*s, 2*i - 16 = -4*s - 3*i. Suppose 9 = -3*j, o + s*j = -4*o + 3133. Is o composite?
True
Suppose -21*v + 4574 = -20899. Is v prime?
True
Let m(o) = -5*o**3 + 4*o**3 + 4*o**2 - 5*o + 8 - o**3. Let i be m(-6). Suppose -165 = -3*r + 5*b + i, -4*r + 2*b = -1020. Is r a prime number?
False
Let x(u) = 531*u - 53. Let b be x(14). Suppose 0 = -4*y + 5*q + 5918, 0 = 3*y + 2*y + 2*q - b. Is y a prime number?
False
Suppose 18*o = 1071 + 3645. Is o prime?
False
Suppose -8*q + 169014 = 26*q. Is q prime?
False
Is 5 + (-5 - -8) + 3215 a prime number?
False
Let g = -753 + 1848. Let u = g + 31. Is u a prime number?
False
Let r(v) = -517*v - 3. Let d(w) = w**3 + 7*w**2 - 8*w - 2. Let x be d(-8). Is r(x) a prime number?
True
Let n = -17 + 19. Suppose 16 = 2*o + n*o. Suppose 0 = -s - 4*h + 21, 0 = 6*s - s - o*h - 201. Is s prime?
True
Suppose 0 = c + 10*c. Is (251/(-3) + c)*(83 - 86) a composite number?
False
Is 635185/55 + (-1)/((-11)/2) prime?
True
Suppose 0 = -j + 2*j + 1. Is j*((-2)/(-11) - 2217/33) a composite number?
False
Let q be (4284/8 + 2 - 0)*2. Suppose 3*j - 3008 = q. Is j a prime number?
True
Suppose -5*p - 4956 = -17*p. Is p composite?
True
Let q(l) = l**3 + 14*l**2 - 16*l - 13. Let a be q(-15). Let z(o) = 265*o - 9. Is z(a) prime?
True
Let m = 11554 - 1838. Suppose 19*d + m = 23*d. Is d prime?
False
Let g(m) = 104*m**2 - 2*m + 3. Is g(2) a composite number?
True
Let x(k) = -10548*k + 245. Is x(-9) a composite number?
False
Suppose 0 = -22*a + 32*a - 162170. Is a composite?
False
Let k(v) = 30*v**2 - 30*v - 49. Is k(11) a prime number?
True
Suppose 3*j = -2*h + j + 5884, h - 2945 = -4*j. Is h a prime number?
False
Let x be (-2)/(1 + 22/(-26)). Let h = 11 + x. Let n(t) = -10*t**3 - t**2 + 1. Is n(h) prime?
False
Let a = 59534 - 8277. Is a a composite number?
False
Let u(z) = 748*z**2 + 81*z + 11. Is u(-6) composite?
True
Suppose 3*o - 281977 = -34*o. Is o a composite number?
False
Let o(l) = l**3 + 14*l**2 - 9*l + 17. Is o(-12) a composite number?
True
Suppose -25371 = -2*i - 7*i. Is i a prime number?
True
Suppose -2*d = 4*g + 398, -4*d - 439 = -2*g + 387. Suppose 7*v + 214 = -808. Let m = v - d. Is m prime?
True
Let m = -271 + 797. Let o = -275 + m. Is o a prime number?
True
Let i be 1666/7 - 4/1. Let n = 323 + i. Is n a prime number?
True
Let h(i) = -i**3 + 15*i**2 + 49*i - 84. Is h(-17) a composite number?
True
Is (-25)/(-5) - (-115 + 2) a composite number?
True
Let t be (1 + -4 + 2)*60920. Is (-2)/(-10) - t/25 prime?
True
Suppose -j = 2*x + 1639, -5*x - 5965 = -5*j - 1875. Let y = -290 - x. Is y composite?
True
Let l(m) = m**3 - 9*m**2 + 13*m + 16. Let x be l(7). Is 411 + 3*(-6)/x a prime number?
True
Suppose -2*k - 18 = -8*k. Let o(s) = 75*s**2 - 3*s + 7. Is o(k) a composite number?
False
Let h = -30 + 49. Suppose h*g = 14*g + 605. Is g composite?
True
Let h be -506 - (1 + -3) - 1/1. Let w = -296 - h. Is w composite?
True
Suppose p - 3*l = -0*l - 26, p + 3*l - 4 = 0. Let j be 1607/2 - p/(-22). Suppose -j = -2*q + 271. Is q a prime number?
False
Let g be 984 - (5 + -1) - 0. Let x = -347 + g. Is x prime?
False
Let f(s) = -679*s - 415. Is f(-20) prime?
False
Let k(b) = 62*b**3 - 8*b**2 + 2*b - 11. Is k(8) a prime number?
True
Suppose 5*d - 5*b = -3*b + 12319, 5*b - 9842 = -4*d. Is d prime?
False
Let h(o) = o**2 - o. Let d be h(3). Suppose -4*j = -d*j - s + 1043, 3*s = -4*j + 2087. Is j a prime number?
True
Let l = -3 - -5. Is -2*2/l - -33 a composite number?
False
Let s = 379 + -594. Let y = 884 + s. Is y prime?
False
Let b = 4 - 4. Suppose -4*v + 5*v + 3*j - 917 = b, 2*j = 4*v - 3640. Is v composite?
False
Suppose -4*s = 5*d - 127674 + 32951, -4*s = 12. Is d a composite number?
False
Let j(w) = -w**3 + 5*w**2 - 8*w + 3. Let v = 0 + 20. Suppose 4*g + l + 19 = -6, -v = 3*g + 2*l. Is j(g) a composite number?
True
Suppose 3*f = -505 - 1283. Let o = -393 - f. Is o a composite number?
True
Let m(q) = q**3 - 12*q**2 + 19*q + 7. Let x be m(16). Let z = -274 + x. Is z prime?
True
Let n = 21713 - 12798. Is n a composite number?
True
Let l = 6686 - -18023. Is l a prime number?
True
Let r = -443 - -918. Let f = -212 + r. Suppose 0 = 4*s - s - 4*k - f, -k + 83 = s. Is s a prime number?
False
Let t = 7 - 2. Suppose -i = -2*c - 4, 3*i + 8 = 5*c + t*i. Suppose c = -2*o + o + 91. Is o prime?
False
Let z(o) = 65*o**2 + 10*o - 7. Is z(10) a prime number?
False
Let t(o) = -2*o**3 + 6*o**2 + 19*o + 9. Is t(-14) prime?
False
Let q(s) = -s + 799. Suppose 2*p + 3*p = 0. Is q(p) a composite number?
True
Suppose -3*d = -4*q + 246 + 1441, 0 = 2*q + 2*d - 854. Let b be (q/24)/(1/15). Is (-3 + (-16)/(-4))*b composite?
True
Suppose -5*o = -41*o + 17964. Is o a prime number?
True
Let