-2*n = -p + 387. Is p a composite number?
False
Let t = -6 + 245. Is t composite?
False
Let d = -406 - -819. Is d a prime number?
False
Suppose -2*i = 3*c - 2009, 3*c - i = 2*i + 1989. Is c composite?
True
Let v = -309 - -466. Is v composite?
False
Let r = -426 + 278. Let q = 263 + r. Is q prime?
False
Suppose -4*f - 3*o + 13168 = 0, -o + 2809 = -3*f + 12698. Is f a composite number?
True
Suppose 0 = -4*w + 3 + 1. Is 1520/12 + w/3 a composite number?
False
Let h = -1 + 4. Suppose -5*b + 4*j = -8, 2*b - 2*j + 0 = 2. Suppose -h = b*x - 43. Is x a prime number?
False
Suppose s - 261 = -4*n, 0*n - 3*n + 1288 = 5*s. Is s a prime number?
True
Let o(s) = s. Let z be o(0). Let c(u) = -u + 37. Is c(z) prime?
True
Let b = -320 + 813. Is b prime?
False
Let h(b) be the third derivative of -b**6/120 + b**5/5 - b**4/2 + 7*b**3/3 - 2*b**2. Let j be h(11). Is j + (-2)/1 + 8 a prime number?
False
Suppose -2854 = -5*p - 519. Is p prime?
True
Let d = 961 + -108. Is d a prime number?
True
Let q(d) = d + 85. Is q(0) a composite number?
True
Let y(i) = -i + 15. Let m(q) = -q**2 + q + 8. Let k be m(0). Is y(k) composite?
False
Let q(k) = k**3 + k - 12. Let h be q(0). Let u be (h/(-9) - 1)*-3. Is (2 - (10 + -1))*u a prime number?
True
Let j = 1269 + -722. Is j prime?
True
Suppose 5*i + 0*i - 10 = 0. Suppose s = 9 - i. Is s a prime number?
True
Suppose -2*t - 5212 = -2*z, 0 = 4*z - z - 2*t - 7821. Is z a prime number?
True
Let w(y) = y**2 + y - 1. Let o be w(-3). Suppose -2*t = 3*z - 2*z + 3, -o*z = 4*t - 3. Suppose 4*x - 3*u = 85, 0*u - z*u = -2*x + 41. Is x a composite number?
True
Let h = -1 + 6. Suppose 0 = -2*p - 5*l - 53 - 252, -h*p - 680 = -4*l. Let f = p + 351. Is f prime?
True
Suppose -3 = -2*j + 3. Suppose -j*c - 88 = -4*u, 0 = 2*u - 0*u + 3*c - 26. Is u prime?
True
Let a = -115 + 712. Is a a composite number?
True
Let r(q) = -q. Let m(w) = 3*w + 9*w + 3*w + 6. Let z(b) = -m(b) - 2*r(b). Is z(-7) a prime number?
False
Suppose 2*r = 6*r - 5*i - 1224, -3*i = -r + 299. Is r a composite number?
False
Let q(o) = -89*o - 7. Let x = 11 + -16. Let m be q(x). Suppose -m = -4*r + 430. Is r composite?
True
Let q(k) = k**3 + 5*k**2 - 6*k + 4. Let c(o) = 2*o**3 + 9*o**2 - 11*o + 7. Let a(b) = 3*c(b) - 5*q(b). Let g = -4 + 7. Is a(g) a composite number?
False
Suppose 0*m = -m - 4*j + 5, 5*m - 3*j = 25. Let h(l) = l**3 - 5*l**2 + l + 5. Let d be h(m). Is (-4)/d - 1011/(-15) a prime number?
True
Let o = -4 + 9. Suppose 0*l - o*l = 10. Is 12*(-4)/(-3) + l composite?
True
Let a = 137 - 87. Suppose a = 2*d - 0*d. Let o = 74 - d. Is o a prime number?
False
Suppose -2*o = k - 1491, -o - 3*o - 5*k + 2985 = 0. Is o a composite number?
True
Is 7613 + -3 + (2 + 7)/(-3) a composite number?
False
Let w be (159/(-12))/((-1)/4). Let j = 29 - w. Let s = j - -38. Is s composite?
True
Suppose -6*m - 2*r - 342 = -2*m, -5*m - 4*r = 426. Let k = -4 + m. Let v = k - -181. Is v a composite number?
True
Let z(b) = 8*b**2 + b. Suppose 3*v = 4*y + 1, -2*v - 4*y + 27 = -v. Let k = 9 - v. Is z(k) a composite number?
True
Suppose 0*d - 5*d = -4625. Suppose 9*m = 4*m + d. Is m composite?
True
Let w(g) = -3*g**2 + 8*g**2 - 12 + 7*g + 6*g**2 + 7. Is w(-7) composite?
True
Suppose 5*x - 290 - 1135 = 0. Is x*((-3)/(-9) + 0) composite?
True
Let h be 6/(-4)*(-18)/(-27). Is 0 + h + 12*2 a prime number?
True
Let o = -2191 - -4122. Is o prime?
True
Suppose -5*m + 28 = 2*o - 2, 0 = 2*m + 3*o - 23. Suppose 4*q = -a + 23, 4*q - 8 = m*a - 0*q. Suppose -12 = -a*w - w. Is w prime?
True
Suppose 4*n + 6 = -2*p, -4*n + 5*p + 18 - 3 = 0. Let c be (n - (-2 - 43)) + -2. Suppose 0 = -d - 0*d + c. Is d composite?
False
Let q = -1 + 9. Let f = -18 - -33. Suppose f = y - q. Is y composite?
False
Suppose 3*h + 4*m - 1638 = 0, 6*m - 2174 = -4*h + 4*m. Suppose -2*w + h - 220 = 0. Is w composite?
True
Is (24552/14 - 0) + (-6)/(-21) a prime number?
False
Let w = 3721 + -2550. Suppose -5*h = 4*c - w, -2*c + 0*c = 2. Is h prime?
False
Suppose -2 = -0*o + o. Let w be -2*(-1)/o - -4. Suppose -w*b - 84 = -7*b. Is b a composite number?
True
Is (2157/(-9))/((-4)/12) prime?
True
Suppose 32 = -2*m - q, m - 5*q + 35 = -2*m. Let a be (-1)/3 + (-35)/m. Suppose a*j - 134 = -2*o, 3*j - 5*o - 201 = -o. Is j a prime number?
True
Suppose -4*k + 4 = l - 2*l, -4*l + 10 = -3*k. Is l composite?
True
Let m be 3/((-3)/(-2)) - -1. Suppose 2*z + y = 62 + 49, -107 = -2*z + m*y. Is z prime?
False
Suppose c = 311 + 284. Suppose 2 = 4*p - 6. Suppose p*h - c = -3*h. Is h a composite number?
True
Let g(l) = 3*l**2 - 10*l - 6. Let x = -4 - -6. Let d be (-1)/2*7*x. Is g(d) a prime number?
True
Suppose 6 = 5*b - 4. Let g(c) = 6*c**b - 2 + 2 + 1. Is g(-3) a composite number?
True
Suppose 1632 = 4*m + 4*x, 3*m - 3*x - 1625 = -m. Is m composite?
True
Let x(u) = 2*u**2 - 11*u + 107. Let m(a) = a**2 - 5*a + 53. Let r(o) = 9*m(o) - 4*x(o). Is r(0) a prime number?
False
Suppose 0 = -3*h + 15, 4*a + 3*h + h = 3004. Is a composite?
True
Is (-3 - 25/10)*-14 composite?
True
Suppose -7*v + 3*k - 69 = -2*v, -2*v - 36 = -4*k. Let g = v - -91. Is g prime?
True
Let o(l) = l**3 - 5*l**2 - 2*l + 5. Let b be o(5). Let x(t) = -t**3 - 4*t**2 + 4*t - 5. Let q be x(b). Suppose -u - u + 12 = q. Is u a composite number?
True
Let f be -2 - -4 - -1*4. Let c be f/(-15) + 282/5. Suppose -z + c = 3*z. Is z composite?
True
Let y = 730 - 1222. Let c(m) = -328*m - 1. Let i be c(1). Let l = i - y. Is l a prime number?
True
Suppose -c + 3*q - 12 = 0, -q = 5*c - 4*q + 12. Suppose -3*s + 99 = -c*s. Is s composite?
True
Let p = -236 - 458. Let g = -275 - p. Is g prime?
True
Let g(j) = j**2 - 3*j - 7. Let c be g(5). Is 1/c - 632/(-12) a prime number?
True
Let y = -135 - -34. Let x = y - -244. Is x a prime number?
False
Suppose 4*g - 3*g + 5*w = -3, 3*g - 4 = -2*w. Suppose -g*c = c - 57. Is c a prime number?
True
Let b be -2 + 2 + (-1 - 1). Let v = b + 5. Suppose 389 = 5*d + v*m - 2*m, 5*d - 393 = -2*m. Is d a prime number?
False
Let h = -7 - -9. Suppose x = -3 + h. Is 19 + -5 + x*1 composite?
False
Let v = 10 - -6. Suppose 5*z + 2*o - v = z, 16 = 4*o. Suppose 2*x + z*x = 184. Is x composite?
True
Suppose -2 = -3*q + 1. Let v(i) = 32*i + 5. Let t(o) = o - 1. Let d(x) = q*v(x) + 6*t(x). Is d(1) composite?
False
Suppose -2*u + 957 = u. Is u a composite number?
True
Suppose -9*n = -13*n + 1708. Is n a prime number?
False
Let x = 3 + 7. Suppose x*c - 356 = 6*c. Is c composite?
False
Let z(y) = -3*y - 2. Let r be z(4). Is 7/(r/4) - -37 a prime number?
False
Let f(r) = 71*r**2 + 4*r - 4. Is f(-3) a prime number?
False
Let t = -9 - -15. Let y be -5*(-16)/(-30)*t. Is (-1)/(-2) + (-5960)/y composite?
False
Suppose 2*f - 2*p = 2*p + 28, -34 = -3*f + 4*p. Let x(r) = 2*r**2 - 5*r - 7. Is x(f) a prime number?
False
Let u(l) = l**3 + 6*l**2 + 3*l - 7. Let h be u(-5). Let f(z) = 2*z - 1. Let b be f(h). Suppose -b*i = -81 - 754. Is i composite?
False
Let s(k) = -k**3 - 2*k**2 - 3*k - 1. Let b = 10 + -2. Let p be -6*(b/(-6) - -2). Is s(p) a composite number?
False
Suppose -c - 421 = -2*c - 3*l, c - 3*l = 409. Is c prime?
False
Let o = 2 - 5. Is 12 + o + 0 + -2 a composite number?
False
Let s(n) = 2*n**2 - n - 1. Suppose -3*a + 15 = -5*z, -z + 4*a = 6*a + 16. Is s(z) prime?
False
Let l(m) = m + 6. Let q be l(-2). Suppose -q*c - h = -715, -5*c - 264 = 4*h - 1166. Is c prime?
False
Let u(k) = k**3 + 17*k**2 - 5*k - 5. Is u(-16) prime?
True
Let k(v) = 10*v**2 - 10*v + 1. Is k(-12) a composite number?
True
Suppose 0 = -3*j + 2*j + 2. Let l(f) = 19*f**3 + 3*f**2 - 1. Is l(j) a prime number?
True
Let m be (1 - (1 + 2)) + 2. Is (1 - m)/(2/94) composite?
False
Suppose -s = 7*u - 2*u - 6360, 4*u - 5097 = s. Is u a composite number?
True
Let n be (-44)/(-8) - (-1)/(-2). Suppose -3*w + 1350 = 4*m - 2675, -5*w + 4031 = 4*m. Suppose 0 = -n*a + 51 + m. Is a a prime number?
True
Is 75 + (-8)/(-1 + -1) prime?
True
Let g(k) = k - 17. Let b be g(8). Is ((-6)/b)/((-2)/(-1689)) prime?
True
Let z(r) = -r**2 - 2*r + 1. Let n be z(-6). Suppose 9 = 2*j - 81. Let q = n + j. Is q prime?
False
Let h(j) = -j**3 + 8*j**2 - 8*j - 3 + 2*j**3 - 2*j**3. Let c be h(7). Let d = 0 - c. Is d prime?
False
Let a(i) = 12*i**2 + 3*i + 8. Is a(-5) a prime number?
True
Is 6/4*(-16440)/(-90) a composite number?
True
Suppose -4*h = -4*w - 0*h + 40, 0 = 2*h. Let