 1 + 114*z + 1. Is p(1) a prime number?
True
Suppose -5*y + 25 = -4*v + 360, -2*v + 3*y = -167. Is v a prime number?
False
Let n be (-2 + -1)/((-12)/8). Suppose -n*h + h = -14. Is h a prime number?
False
Suppose 0 = -0*f + f - v - 446, 2*f - 889 = 3*v. Is f composite?
False
Suppose -4*a + 2 = -34. Suppose f + a = 4*f. Suppose 5*t = f*u + 671, 0 = -4*t - 3*u + 487 + 39. Is t a prime number?
False
Let o(l) = -l. Let v be o(3). Let h be -3*((-6)/(-3) + v). Suppose 5*x + 2*r - 339 = 0, -h*r + 63 = x - 10. Is x a composite number?
False
Let h(z) = -z**3 + z**2 - 1. Let v be h(-1). Let a be 1/v - (-6 - 1). Let m(u) = 5*u - 3. Is m(a) a prime number?
True
Let u be (16/(-6))/(2/(-132)). Suppose 5*g = -k + 88, 0 = 4*k + g - u - 233. Is k a composite number?
False
Let k be ((-7)/(-2))/((-4)/(-88)). Let b = -12 + k. Is b composite?
True
Let d = 426 + -294. Let y = d - 50. Is y a prime number?
False
Let o(c) = -c + 8. Let b be o(5). Suppose 4*u = b*h - 771, 503 = 2*h - 0*u + u. Is h composite?
True
Is (12/4)/(2/158) prime?
False
Let i = -21 - -35. Is (i/(-4))/((-6)/204) a composite number?
True
Is (4/(-3))/(8/(-852)) prime?
False
Let u(g) = g**3 + 7*g**2 + 6*g. Let h(f) = 2*f + 8. Let v be h(-7). Let l be u(v). Suppose l*y + 70 = 5*y. Is y prime?
False
Let g = -9 + 9. Suppose -4*u - 20 = 0, -3*f + 2*f - 4*u - 16 = g. Is 49 - 3*f/6 composite?
False
Suppose -6*q = -q - 165. Is q prime?
False
Is 39 - (-4)/8*0 composite?
True
Let f = 7 - 3. Let n(x) = -x**2 + 5*x + 1. Let t be n(f). Suppose -t*u + 136 = -u. Is u a prime number?
False
Let u(a) = 41*a. Let x be u(5). Suppose 3*m - 13 - 8 = i, 4*m = -3*i + 28. Suppose -353 = -m*l + 2*l - 4*t, -t = -3*l + x. Is l prime?
False
Suppose 4*k = 4*g + 1724, g + 2*k = -644 + 207. Let b = 684 + g. Is b a prime number?
True
Suppose -2*t + 3*c = -583, 4*t - 874 = t + 5*c. Is t a composite number?
False
Let u = 270 + -149. Is u a composite number?
True
Let r(w) = 11*w**2 + 9*w - 12. Let b(l) = -5*l**2 - 4*l + 6. Let f(a) = -9*b(a) - 4*r(a). Let t = -11 - -6. Is f(t) composite?
False
Suppose -k - c = -3*c - 5, 30 = 4*k - 3*c. Let o(z) = -1 - 1 - 4*z - k. Is o(-8) prime?
False
Suppose 6*x - 1475 = -53. Is x prime?
False
Let k(x) = x - 5. Let a be k(8). Is (2 - (a - 4))*13 prime?
False
Let v = -8 - -13. Suppose -3*f - y + 386 - 40 = 0, 0 = v*f + y - 574. Suppose 3*c + 3*x - f = 0, -c - x + 29 = -3*x. Is c composite?
True
Suppose 0 = u - 0*u - 541. Is u prime?
True
Let n be 485 - (0 - 0) - 1. Suppose y = -y + n. Suppose 0 = -3*l + l + y. Is l composite?
True
Suppose -2*h + 18 = -124. Is h a prime number?
True
Let z(k) = -k**3 + 11*k**2 - 6*k - 3. Let r be z(9). Let d = r - 14. Let f = -54 + d. Is f a prime number?
True
Let s(n) = -n**3 + 2*n**2 + 11*n - 1. Is s(-8) prime?
False
Let d = -9 - -14. Let s(f) = 3*f - 5. Let i be s(d). Is (i/(-4))/(3/(-12)) a composite number?
True
Let w be (-6)/4 - 18/(-12). Suppose q + q - 194 = w. Is q a prime number?
True
Let s(u) = 7*u - 3*u - 3*u - 5. Let b be s(4). Is (-47 - b)*(-2)/2 prime?
False
Let x = 195 + 1186. Is x composite?
False
Suppose -3 = -h - 0*h. Let t(l) = -h + 5 - 3*l + 7 - 3. Is t(-5) a prime number?
False
Let r be (-1)/(-4) - (-1530)/24. Suppose 0 = 5*z - v - r, -3*z + 5*v = -z - 21. Is z composite?
False
Let y be -350 + -9 + (-1 - -1). Let s = -182 - y. Is s a prime number?
False
Let t(h) = 3*h**2 + 20*h - 1. Is t(-14) prime?
True
Let h(k) = k + 127. Let f be h(0). Let r = f - -30. Is r a prime number?
True
Let l be (33/(-12))/(1/(-8)). Is (-4)/l + 9944/121 a prime number?
False
Suppose u - 5*o = 407, 1989 = 5*u - 3*o + o. Is u prime?
True
Let k(b) = 5*b**3 + 11*b**2 - 5*b - 6. Is k(5) a composite number?
True
Suppose 0 = t + t + 5*h - 168, -h - 2 = 0. Is t composite?
False
Let g = -2916 + 2013. Is (2/6)/((-7)/g) composite?
False
Let t be 5*((-3186)/(-10) - 2). Suppose -4*b - 99 = -t. Is b a prime number?
False
Suppose 7*m = -2*m + 8469. Is m composite?
False
Let p = 85 + -82. Let t(b) be the third derivative of b**6/40 - b**5/30 - b**4/24 - b**3/6 - b**2. Is t(p) a composite number?
False
Let p(k) be the second derivative of -287/6*k**3 + 0*k**2 + 2*k + 0. Is p(-1) composite?
True
Let o = 7 + -3. Let b be o/14 + 1584/42. Is (b/4)/(7/98) composite?
True
Let q(t) = 5*t. Let x be q(-1). Let n be 2/x + 2/5. Suppose n*a + 70 = 5*a. Is a composite?
True
Let t(u) = 2*u - 3. Is t(3) prime?
True
Let y be 1 - -1 - -1*1. Suppose 0 = 2*b - 11 - y. Let z = 0 + b. Is z a composite number?
False
Suppose q + 190 = 3*a + 6*q, -5*a + 324 = q. Is a prime?
False
Suppose -5*b + 2 + 8 = 0. Suppose 2*l - 154 = -5*k, 231 = 3*l - b*k - 3*k. Is l a prime number?
False
Let g(u) = 4*u**2 - 4*u - 6. Let k(b) = 7*b**2 - 7*b - 11. Let j(p) = 5*g(p) - 3*k(p). Is j(0) a composite number?
False
Let g(r) = r**2 - 6*r + 3. Let z be g(6). Suppose 5*q - 5 = 0, 3*q = z*k - 0*q - 156. Is k a composite number?
False
Suppose -l + 4*l = 795. Is l prime?
False
Is 6/(-4) + 2561/26 composite?
False
Let k = -9 + 14. Suppose k*r - 247 = 4*r. Is r composite?
True
Let b = -691 + 1178. Is b composite?
False
Suppose 3*b = -0*c - c + 163, -269 = -5*b - c. Is b prime?
True
Let u(w) = 2*w**2 + 3*w - 4. Let f be u(-3). Suppose -4*z - 8 + 33 = -3*n, -f*z + n + 34 = 0. Is (z*(-10 - -3))/(-1) a composite number?
True
Suppose 3*v = -5*g + 19, 0 = 2*g - 6*g - 5*v + 10. Suppose g*r = 3*l + 343, -5*r = 2*l + 3*l - 375. Is r a prime number?
True
Is (-2095)/(-7) - (5/(-7) - -1) a prime number?
False
Let s = 34 - -23. Let v = 26 + s. Is v a prime number?
True
Suppose 2*l - 2*g - 938 = 0, 3*l + 2*g + 704 = 2101. Is l a composite number?
False
Is 4 + (-150)/35 - (-11050)/14 a prime number?
False
Is 11 - -200 - 6/(-2) composite?
True
Let m(q) = q**2 - 3*q - 9. Is m(7) a composite number?
False
Let i = 70 - 36. Let a = 3 + i. Is a a prime number?
True
Let k(n) = -2*n**3 + 2*n + 7. Is k(-4) a prime number?
True
Let d(t) = t**2 - 6*t - 4. Let q be d(8). Is (-4)/(-3) - (-3524)/q prime?
False
Let u(r) = 2 - 2*r - 2. Suppose -2*s - s + 19 = -4*t, -23 = 2*t + 3*s. Is u(t) composite?
True
Let y(l) = 13*l**2 - 2 - 6 + 0 - l**3 - 11*l. Is y(11) a composite number?
False
Let m(l) = 3*l**2 + 2*l + 1. Let x be m(-1). Let s(q) = 76*q + 10. Let w(d) = 51*d + 7. Let v(f) = 5*s(f) - 7*w(f). Is v(x) a composite number?
False
Suppose 2*m + 2*m - 4 = -2*o, 0 = 3*m - 9. Let l = o + 4. Suppose -2*r + 30 = -l*r. Is r prime?
False
Suppose -4 = 6*p - 2*p, -4*q + 4*p = -24. Let g(v) = v**3 - 2*v**2 - 3*v - 7. Is g(q) prime?
True
Let t(s) = s**3 - 4*s**2 - 3*s - 5. Is t(7) a composite number?
True
Let y = 902 - 3. Is y a prime number?
False
Suppose 0 = 4*s - 2*u + 6, -2*u - 2*u = -2*s - 18. Is ((-993)/(-6))/s*2 prime?
True
Let h(j) = -38*j + 6. Let z(n) = 39*n - 7. Suppose -g = -0 + 4. Let y(q) = g*h(q) - 3*z(q). Is y(2) a prime number?
True
Suppose f + 4*j = 483, -3*f = 2*f + j - 2434. Is f prime?
True
Suppose 6*b = 251 - 635. Suppose -3*u = -c - 285, 4*u - 3*c = -8*c + 380. Let x = u + b. Is x a composite number?
False
Let u(j) = -j**3 + 2*j**2 + j + 4. Let y be u(3). Let z be y + 1 - 0 - -1. Is (-21)/2*(-2 - z) prime?
False
Suppose -3*u = -x - 423, -5*x - 4*u - 2073 = -5*u. Let a = x + 1293. Is a a composite number?
True
Let n(k) = 4*k**2 + 4*k - 1. Let q be n(4). Let u = q - 44. Suppose -17 = -2*d + u. Is d a prime number?
False
Let g be 490/4 + (-1)/2. Let b = g - -77. Is b composite?
False
Let b = -62 - -379. Suppose 2*y = y + b. Is y a composite number?
False
Suppose 0*q - 4*q - 20 = 0, -4*q = -3*j + 32. Suppose -2*r = 2*m - 216, -2*m + j*r + 359 = m. Is m a composite number?
False
Let j(u) = -41*u**2 - 2*u + 3. Let f be j(4). Let o = -378 - f. Let k = o - 164. Is k a prime number?
False
Let h(w) = -7*w - 9. Is h(-6) prime?
False
Let w(z) = 3*z**2 - 2*z + 1. Let s be w(1). Suppose 324 = s*p + 64. Suppose l = 3*l - p. Is l a prime number?
False
Let q = -12 + 31. Is q a composite number?
False
Suppose m - 91 = -2*m - q, -5*m = -4*q - 163. Is m a prime number?
True
Let m = -14 + 74. Suppose 0 = -n - 2*t + m, -5*n + 5*t = t - 314. Is n composite?
True
Suppose 37 = 2*h - 11. Suppose h = -2*u - 2*u. Is (u/(-4))/((-3)/(-30)) prime?
False
Suppose y + 1 = 5*x + 19, 0 = -3*y + 5*x + 24. Is y/6*(20 + 2) a composite number?
False
Suppose 5*g + 278 = 2*s, 3*s - 2*g - 