-2 - v). Suppose d = -3*a + 7*a + 8, -104 = -2*n + 3*a. Is n a prime number?
False
Let k be (-26)/(-8)*-33*(-20)/15. Let m = 120 + k. Is m prime?
True
Let w(f) = 523*f - 142. Is w(23) prime?
True
Let y = -128 - -286. Suppose -312 - y = 5*b. Let f = b + 401. Is f a composite number?
False
Suppose 0 = -4*q - 34 - 62. Let f = q + 28. Is (3 + (f - 8))*-331 a composite number?
False
Is (-6)/((-120)/290)*2*307 a composite number?
True
Let x(r) = -30*r**2 - 10*r + 26. Let s(y) = 6*y**2 + 2*y - 5. Let h(o) = 11*s(o) + 2*x(o). Let w be h(2). Let q = w + -15. Is q a prime number?
False
Let t be -22 - -23 - (1 - 0). Let b(s) = 7*s**3 - 3*s**2 + 7*s. Let x be b(5). Suppose -k + t*k + x = 0. Is k a prime number?
False
Suppose -59*p + 54*p = -2*v - 158601, 5*v - 10 = 0. Is p a composite number?
False
Let b = 303 - 299. Suppose -5*x + 4*q - 2*q = -1316, 0 = 5*x - 4*q - 1312. Suppose 4*o + b*g - 536 = 0, 2*g = 2*o - 0*o - x. Is o prime?
False
Suppose 46*y - 8 = 42*y. Suppose -5*r + 4*i = -1261, -4*i = -r + y*r - 257. Is r a prime number?
False
Suppose 0*a + 2*k = 2*a - 274, -397 = -3*a - 4*k. Suppose -29 + 249 = 5*o. Let f = o + a. Is f a prime number?
True
Suppose n - 5097 = 5*c, -5*n - 3*c = -0*n - 25541. Is n a prime number?
True
Let j = -8 - 1. Let q(h) = -h**2 - 6*h - 13. Let k be q(j). Let z = 77 + k. Is z composite?
False
Let u = -14 - -18. Suppose 0*y + u*y - 472 = 0. Is y a prime number?
False
Let u(x) be the first derivative of -2*x**2 - 13*x - 23. Is u(-9) a prime number?
True
Let l = -2114 - -4367. Is l prime?
False
Let g be (-10 + 2 + 3)*(0 + -1). Suppose 0 = -g*h + 6*h - 1171. Is h a prime number?
True
Suppose -3*g - 14*g + 182699 = 0. Is g composite?
True
Suppose -l = -2, -4*l = 5*v - 49 - 14. Suppose 13 = y - 2*w, -5*w - v = 9. Suppose 4*x + 0*x = -5*f + 603, -y*x + 248 = 2*f. Is f composite?
True
Suppose -2*s + 722 = 2*b, 3*b = -s + 6*s + 1091. Suppose j = -j + b. Suppose 2*t + 2*f = t + 59, -3*f = -4*t + j. Is t a composite number?
True
Suppose -546 + 2890 = 4*y. Suppose -x - 3*x = -o + 591, 0 = o - 5*x - y. Is o a prime number?
False
Suppose 10652 = 8*i - 60420. Suppose -i = 14*f - 26370. Is f a prime number?
True
Let f(t) = 50*t**2 - 3*t - 1. Is f(-16) composite?
True
Suppose 0 = -10*y + 5757 + 22613. Is y prime?
True
Suppose 13*k - 6549 = 20738. Is k composite?
False
Let a = 58 - 31. Suppose -32 = -5*s - 4*q, -3*s + a = q + 4*q. Suppose -3*h + 2*b + 72 = 0, 3*h + h - s*b - 92 = 0. Is h prime?
False
Let w be 4 + -201 + -4 + 7. Let h = -321 - w. Let q = 669 + h. Is q a composite number?
True
Let n be -3 - 7/((-7)/3). Is n + (2 - -74) - (2 + -3) a composite number?
True
Let v = 43 + -44. Is 1 - v - (-245 - 0) a composite number?
True
Suppose 4*i - 759 = 565. Is i composite?
False
Is ((-2032)/(-24))/((-2)/(-9)) composite?
True
Let h be ((-4)/(-10))/(20/100). Suppose 4*y = -h*z + 13084, -7*y = -3*y + z - 13084. Is y prime?
True
Let t(h) = 3*h**2 - 6*h - 12. Let w be t(-15). Suppose 398 = n - w. Is n a prime number?
True
Suppose -5 = y + 1. Let q(h) = h**2 + 8*h + 9. Let o be q(y). Let c(k) = -13*k**3 - 3*k**2 - 4*k - 1. Is c(o) a composite number?
True
Is 3 + -10 - (-146826)/9 prime?
False
Let i be 0/1 + 0/(-2). Let t(g) = g + 35. Let a be t(i). Suppose v = 2*v - a. Is v prime?
False
Let b be (-14)/35 - (-14)/10. Let z be 2 - b/(-4)*-4. Suppose -66 = -3*g + 4*u, 2*g = -2*u + 43 + z. Is g a prime number?
False
Let o be (-14)/(-91) - (-813)/39. Let z be o/(-12)*-2*4. Is 4/z + 32049/63 prime?
True
Let s(g) = -g**2 - 5*g + 17. Let j be s(-7). Suppose -j*r + 6*r = 1473. Suppose c + r = 2*c. Is c a prime number?
True
Let u = 8280 - -33163. Is u a prime number?
True
Suppose -7*w - 71 = -1. Let c(n) = n**3 + 12*n**2 - 8*n - 21. Is c(w) a prime number?
False
Let k = 11179 + -3858. Is k composite?
False
Suppose -5*c = 2*a + 173, 5*c + 0*c = -a - 89. Let x = 13 - a. Is x composite?
False
Let b be 9*3/(-36)*-4. Suppose 2*j - b*j = -111. Suppose -3*c = -90 - j. Is c a composite number?
False
Let b = -17 + 17. Suppose b*x + 10 = -2*x. Is (-1)/5 + (-311)/x a prime number?
False
Let z(l) = 2*l - 20. Let q be z(19). Suppose -3*s + q = -s. Is s/3*139/3 a composite number?
False
Suppose -c + 87 = -110. Let w = c - 48. Is w a prime number?
True
Suppose -248*h + 233*h + 92685 = 0. Is h composite?
True
Let y(o) = o**2 + 13*o + 9. Let d be y(-11). Let t(x) = -15*x + 4. Is t(d) a composite number?
False
Is ((-9081660)/(-630))/((-4)/(-6)) composite?
True
Suppose 5*x + r - 11 = 0, -x + 4*r + 0*r = 2. Suppose z - 9 = -x*z. Suppose -3*v + 4*i + 3183 = -0*v, -z*v = 2*i - 3165. Is v a composite number?
True
Let g(w) = -3*w + 15. Let p be g(5). Suppose -15 = t - 4*t, -3*i - 5*t + 3496 = p. Is i prime?
False
Let l = -377 + 207. Let m = 282 + l. Suppose -4*d - 12 + m = 0. Is d a composite number?
True
Let p(h) = -1561*h - 207. Is p(-14) a composite number?
False
Suppose t - p = -1 - 3, -t - 2*p = -5. Is -1 - 0 - t - -341 a composite number?
True
Let g = 3342 + 1. Is g a prime number?
True
Is (2 + 0)/((-2)/(-629)) prime?
False
Is 1/(12/9) - 107160/(-96) prime?
True
Let a = -78 - -178. Let p be a/30 - (-4)/6. Let u(c) = 28*c + 3. Is u(p) a composite number?
True
Let x(c) = 28*c**3 + 3*c**2 - 26*c + 16. Is x(9) prime?
False
Let o(g) = 38*g**2 + 6*g - 5. Let l be o(4). Suppose -206 - 115 = -s - w, 2*s + 5*w = l. Is s a prime number?
False
Suppose 94*o - 108*o = -113302. Is o prime?
True
Let y(c) = 323*c - 16. Suppose 0 = 6*d + 10 - 28. Is y(d) composite?
False
Let l(b) = 32*b**2 + 3*b + 4. Let t = -11 - -23. Suppose 7*u - t = 3*u. Is l(u) a prime number?
False
Let k be (-2096)/14 + (-8)/28. Let o be 1085/4 - (1 + 18/(-24)). Let b = o + k. Is b a prime number?
False
Suppose -5*w - 3*a = -44568 - 43043, -3*a = 6*w - 105132. Is w prime?
False
Let l be -10 + 13 + 5*-1. Is (2/4)/(l/(-1852)) prime?
True
Suppose -4 = r - 5*r. Is ((-291)/6 + -3)*(-2)/r a prime number?
True
Let a = -490 + 1551. Let k = a - 406. Is k a prime number?
False
Let p(k) be the first derivative of k**4/4 + 8*k**3/3 - 4*k**2 + 3*k - 1. Let w be p(-9). Is (440/w - -1)*-3 a prime number?
False
Let w(c) = 2*c + 2. Let y be w(-1). Suppose -5*k = 5*s - 120, -5*s + k - 18 = -150. Suppose -2*x + 36 + s = y. Is x composite?
False
Let r = 2255 - 458. Is r prime?
False
Suppose 5*y = -2*y. Suppose 3*v - 5308 - 4379 = y. Is v a prime number?
True
Let h be (-273)/(-6) + (-2)/(-4). Suppose z = -y + 79, 2*z + 8*y - 13*y = 130. Let v = z + h. Is v prime?
False
Let f = -24337 + 79898. Is f a composite number?
True
Let a be 3 + -4 + (2 - -1). Suppose -a*p + 127 = -507. Is p a prime number?
True
Let z = -33 - -37. Suppose -z*d = -3387 + 415. Is d prime?
True
Let b(z) = 7*z**2 + 10*z + 5. Let y(v) = -8*v**2 - 11*v - 5. Let s(i) = 5*b(i) + 4*y(i). Let u = 7 - 15. Is s(u) a composite number?
False
Let f(l) be the third derivative of l**6/24 - l**5/12 - 11*l**4/24 - 4*l**2. Is f(5) composite?
True
Suppose u + 36050 = 4*c - 8053, 3*c + 4*u = 33101. Is c composite?
False
Is (-10012)/6*(-9)/6 a prime number?
True
Let s(j) be the first derivative of 60*j**3 - j**2/2 + 9. Is s(2) composite?
True
Let s(q) = 230*q**2 - 13*q - 26. Is s(-7) a composite number?
True
Let w(u) = -2*u**3 - 2*u**2 - 9*u - 7. Let m be w(-8). Suppose -m + 218 = -g. Is g a prime number?
True
Let o(s) = 378*s**2 - 3*s + 1. Let p be o(2). Suppose p = -2*b - j + 4*j, 4*j = b + 741. Is (-38)/57 + b/(-3) prime?
False
Suppose 7*r - 3*r - 2392 = 0. Suppose 2*y - 1251 = -5*h, 0*y + y - 3*h - r = 0. Suppose 4*m + 225 = y. Is m composite?
False
Suppose -3305 + 15285 = 5*c. Let v = c + -1489. Is v prime?
True
Let z be (-169)/(-1) - -1*(-4)/(-2). Is (40/12)/(6/z) composite?
True
Let b be (-12)/(-28) - (-34)/(-14). Let s be (-2)/(1 - (-3)/b). Suppose s*u - 95 = -u. Is u a prime number?
True
Let k = 147 - 70. Suppose 2*f + 4*h - 665 = k, 1504 = 4*f + 3*h. Is f a prime number?
True
Let h(r) = 3888*r - 317. Is h(21) a prime number?
True
Let y = -20 + 12. Let t(f) = -87*f - 19. Is t(y) composite?
False
Let b(q) = q**3 - q**2 - 1. Let m(p) = -4*p**3 - 11*p + 17. Let v(z) = -3*b(z) - m(z). Is v(11) a prime number?
True
Suppose 0 = 5*v + 4*y + 5072, -1024 = v - 2*y - 2*y. Is (3/(-12))/(2/v) a prime number?
True
Let z(q) = 6*q**2 - 5*q + 3. Let w be z(2). Let x = w - 15. Suppose x*h = 