3957 = -l. Is l prime?
False
Suppose -77 = -4*z - 9. Is 26*z - -1 - -2 prime?
False
Suppose -4*k + 15 + 5 = 0. Suppose 20 - 154 = -2*y + 5*d, 335 = 5*y + k*d. Is y composite?
False
Suppose -34 - 26 = -5*z. Let v be -1*(z - 3) - -3. Is (310/(-4))/(v/12) prime?
False
Suppose 2*r + 4*i = -0*r + 1966, i = 2. Is r a composite number?
True
Is 7 + -8 - (-587 - 1) composite?
False
Let t be 24 + 3 + 9/(-3). Is (-16)/t - 797/(-3) prime?
False
Let i = 279 + -160. Is i a prime number?
False
Suppose o - t + 9 = 5*o, -5*t = -3*o + 24. Suppose o*g + 5*q = 22, 0 = 5*g + 3*q - 38 + 12. Suppose 5*x - 272 = -g*u + x, -4*x - 53 = -u. Is u a prime number?
False
Let v = -57 - -89. Suppose t - 10 = l - 2, -l = 4*t - v. Is 82/t + (-1)/4 a composite number?
True
Let f be 6/15 - 106/(-10). Let h = f + -8. Suppose p - y - 9 = 0, -h*y + 79 = 5*p + 2. Is p a prime number?
True
Suppose -2*x = -h + 4, 5*x - 17 = -3*h - 5. Suppose -h*k + 1185 = k. Is k prime?
False
Let l be 9 - (-1 + (-3)/(-3)). Suppose -p + 16 = c, l*c = 4*c + 4*p + 71. Is c prime?
False
Let q be 6 - (2/2 - -2). Let b(r) = 81*r**2 + 2*r - 3. Let c be b(q). Suppose -5*t + c = 5*z - 28, -310 = -2*t - 4*z. Is t a composite number?
False
Suppose -3*l - t + 11 = 0, -3*t + 20 = l + 3. Let i = l + -6. Is (-222)/(-4) + 2/i prime?
False
Suppose -2*s = -5*s + 15. Suppose -k = s, -i + k = -5*i + 1775. Is i composite?
True
Suppose 4*l + 1261 = -2*g + 5*g, -l = 4*g - 1675. Is g prime?
True
Suppose -2*j - 2*j = -2*t + 4, 3*t + 5*j = 17. Suppose -t*q = 3*d + 1, 6 = -0*d - 2*d - 4*q. Is d/10*(1 + 237) composite?
True
Suppose 0*b + s + 94 = 4*b, 5*s = 2*b - 56. Suppose -2*m + 4*c - 14 = -c, -5*c = m - b. Suppose 2*r - 82 = -m*n, 5*r = -0*n - 4*n + 191. Is r prime?
False
Suppose -4503 = 22*s - 96837. Is s a composite number?
True
Let h = -1012 - -1809. Is h prime?
True
Let q = -3 + 172. Let g = -85 + q. Let p = -47 + g. Is p a prime number?
True
Let v(q) = 12*q - 4. Suppose 0 = 5*i + 3*d - 45 - 25, -4 = i - 3*d. Let j(k) = 4*k - 1. Let l(c) = i*j(c) - 4*v(c). Is l(-7) composite?
True
Suppose 0 + 10 = 2*x. Suppose 3*u - 14 = x*c, -4*u = 5*c - 5 - 72. Is u a composite number?
False
Suppose -2*h + 354 = -h - 2*z, 0 = 3*h + 4*z - 1092. Suppose 0 = -3*u + h + 273. Is u a prime number?
True
Let n(c) = -225*c - 5. Is n(-4) a prime number?
False
Let t be (-5)/3 + (-4)/(-6). Is (-2 + 1 - 76)/t a prime number?
False
Let h(b) be the first derivative of b**4/6 + b**3/3 - b**2/2 - 2*b + 2. Let j(r) be the first derivative of h(r). Is j(5) composite?
False
Is (-7)/(-21) - 176/(-3) composite?
False
Let b(g) be the third derivative of -g**6/120 + g**5/20 + g**4/8 - g**2. Let u be b(4). Let o = u - -25. Is o a prime number?
False
Suppose -4*f - b - b = -384, 291 = 3*f + 3*b. Is f a composite number?
True
Let o = -15 - -48. Is o + (-6)/((-6)/(-2)) a prime number?
True
Is 8286/4*12/6 a prime number?
False
Suppose -2*m = 4*v + 2958, 3*m + 735 = -v - 2*m. Let s = -321 - v. Is s composite?
False
Suppose -3*w = -3*a - 45, 5*a + 7*w + 45 = 2*w. Let l be (7 - (-1 + 2))*2. Is ((-633)/a)/(3/l) a composite number?
False
Suppose 16*h = 14*h + 2302. Is h composite?
False
Is 1/(2/(-3) - 4041/(-6021)) prime?
True
Is (206/(-5))/(2/(-5)) a composite number?
False
Let z(p) be the second derivative of -p**5/20 - p**3/6 + 3*p**2/2 + 3*p. Let h be z(0). Suppose 0*v - 69 = -h*v. Is v a composite number?
False
Let o(d) = 6*d**2 + 3*d - 6. Let l(r) = -7*r**2 - 3*r + 5. Let t(a) = 2*l(a) + 3*o(a). Is t(11) a prime number?
True
Let w(n) = -24*n**2 + n + 2. Let r be w(-2). Let s = 517 - r. Suppose -2*a - 99 + s = 0. Is a composite?
False
Let c(p) = -8*p**2 - 4*p + 4. Let x = -14 + 8. Let g be c(x). Let d = g - -441. Is d prime?
True
Let g be 1/(-2) - 561/(-6). Let q = -16 + g. Is q composite?
True
Let q(l) = -2*l - 5. Let h be q(-4). Suppose h*w + 3476 = 7*w. Is w a composite number?
True
Let i be (8/10)/((-1)/(-5)). Suppose 4*r = 2*r + i*x + 14, -3*r - x = 7. Is ((-19)/(-2))/(r/(-2)) a prime number?
True
Let u = -56 - -107. Is u composite?
True
Let i = -11 - -1. Is ((-124)/(-10))/((-4)/i) a prime number?
True
Is -1*((-1)/(-3) - (-4494)/(-9)) a composite number?
False
Let i(b) = 118*b**3 + 2*b - 2. Is i(1) prime?
False
Suppose -4*z = 5*c + 12, -2*c - 14 = -7*z + 4*z. Suppose 3*s = -6*q + z*q + 136, 4*q + s - 144 = 0. Is q prime?
True
Let y(g) = g**3 + 6*g**2 - 7*g + 1. Let r be y(-7). Let b be -3 + r + 9 + -3. Is (-7)/(-2 + (b - 3)) a composite number?
False
Let c be 21/6 + 2/(-4). Suppose -3*t = 15, c*q + 0*q - 4*t = 23. Is (3 - -2 - 2)*q prime?
True
Suppose 7*w = 5*m + 2*w - 160, 4*m = -2*w + 128. Let f(k) = -4*k + 1. Let u be f(6). Let o = m + u. Is o a composite number?
True
Suppose 0 = s - 1, -4*v - 30 = -3*s - 327. Let r(h) = h**2 - 4*h - 2. Let q be r(6). Is (-12)/q*v/(-10) composite?
True
Let a be 1/(-6) - (-759)/18. Suppose -2*t = -b - 28, b - a = -3*t + 5*b. Is t prime?
False
Let b(g) = 23*g**2 - 31*g + 21. Is b(13) a prime number?
False
Let w = 56 - 25. Is w prime?
True
Suppose -4*y = 16, 2*y = -z + 5*y + 349. Is z a composite number?
False
Let c(g) = g - 4. Let n be c(2). Is 27 + ((-4)/n)/(-1) a prime number?
False
Is (-4)/12*3 + 479 composite?
True
Suppose 6*r - 4 = 2*r. Let q(h) = 79*h**2. Let u be q(r). Let c = u + -12. Is c prime?
True
Let j(h) = -h**2 + 11*h - 1. Suppose 20 = 2*i + 6. Let n be j(i). Suppose -3*t + 4*o + 192 = n, -t = 4*o - 71. Is t a prime number?
True
Suppose 4*o + 125 = j, 2*o - 180 = -2*j + 60. Suppose -4*c + 0*c = -u - j, 152 = 5*c - 2*u. Suppose -w = w - c. Is w composite?
True
Let i be (-42)/(-8) - (-1)/(-4). Let u(g) = -g**2 + 6*g - 5. Let l be u(i). Suppose l = -3*s + 1 + 104. Is s prime?
False
Is 4*(1 - (-14802)/8) prime?
False
Suppose -4*n - 5 + 18 = c, 5*n + c - 17 = 0. Let k = 13 + 13. Suppose 0 = -m + 3*v + k, -3*v - 91 = -n*m - 4*v. Is m a composite number?
False
Let a = 1075 - -394. Is a composite?
True
Let y = 16 + -2. Is y a prime number?
False
Is ((-886)/4)/((-2)/4) prime?
True
Suppose 1172 + 344 = 4*w. Is w composite?
False
Let b(v) = -v**2 + 13*v + 11. Let d be (3/6)/((-2)/(-4)). Let w(q) = 11*q**3 + q**2 - 2*q + 1. Let z be w(d). Is b(z) a composite number?
True
Let n be 6/(-8) - 54/(-8). Let p be ((-2)/n)/(1/(-471)). Let w = p + -78. Is w a prime number?
True
Let m be 3 + 10 + 0 + -1. Let t = 42 - m. Let n = 151 - t. Is n a prime number?
False
Let o(w) = -4*w**3 + 2*w**2 - w + 2. Let p be ((-5 + -1)/(-2))/(-1). Is o(p) composite?
False
Suppose -5*z + 71 = -3*k, -z + k + 45 = 2*z. Let u = -11 + z. Suppose -481 = -u*c - 86. Is c a composite number?
False
Let t(o) = 66*o**2 - 4*o + 3. Let s be t(2). Let u = -5 + s. Is u a prime number?
False
Suppose 4*g - 303 = 793. Suppose 4*b - 990 = -g. Is b prime?
True
Let m be (-2)/(-10) + (-148)/(-10). Suppose 5*u + 7 = -3*j, -4*j = 4*u + m - 3. Is (-58)/(-3) - u/3 a composite number?
False
Let w(g) = g**3 + 5*g**2 + 2*g. Let s be w(-4). Let d be s/6 + 4/(-12). Is 48 - d - (-5 - -3) prime?
False
Suppose -16 = -l + 7. Is l prime?
True
Let x(i) = -51*i + 3. Let q be x(-6). Suppose -55 = 2*k - q. Is k composite?
False
Let g be (-33)/(-7) - (-14)/49. Suppose b = -g, -2*b = -3*m - 172 + 791. Is m composite?
True
Suppose -m - 7 = 2*u - 2*m, 5*u + 3*m = -34. Let i = -3 - u. Suppose -3*s + 99 = i*c - c, s = -c + 33. Is s prime?
False
Let u(y) = -1 - 1 + 31*y + 12*y - 4. Let c be u(4). Suppose -c = -v - v. Is v prime?
True
Suppose 5*q - 4*f + 0*f - 50 = 0, 30 = 3*q + 2*f. Suppose -q = -j - j. Suppose 2*i = r - 89, -i - 160 + 572 = j*r. Is r a composite number?
False
Suppose 2*l = 39 - 217. Let x = -14 - l. Let t = -38 + x. Is t prime?
True
Suppose 2*y - 6 = 2. Suppose -32 = -y*h + 4*k, 4*h + 0*k - 11 = -3*k. Suppose 2*g + 3*g + 3*m - 592 = 0, 5*g - 590 = -h*m. Is g a composite number?
True
Suppose 128 = a + 5. Let q = a + 22. Is q composite?
True
Let j(q) = -2*q**3 - 4*q**2 + 4*q - 1. Is j(-4) composite?
False
Let l = 470 + -135. Suppose 2*s + 45 = l. Is s a composite number?
True
Suppose 0 = -2*h, -5*w + 22 - 7 = -h. Let u(n) = -3*n + n**w + 3*n - 4*n. Is u(3) a composite number?
True
Suppose 1 = -2*s - 3*m + 2, -m - 13 = 4*s. Let c = s + 11. Is 16/(-56) - (-240)/c a prime number?
False
Let h(z) = z**3 - 3*z + 3. Let t be h(3). Suppose 11*u - 8*u = 6. Suppose -t = u*p - 91. Is p 