 1 - -5 a composite number?
True
Let q be (3/2)/(6/(-16)). Is 22/q*8/(-4) prime?
True
Let s(c) = -c + 2. Let o be s(0). Suppose 3*f - o = -5. Is ((-2)/5)/(f/65) composite?
True
Suppose -4*r + r = -357. Suppose 6*z - 18 = z - m, 3*z - 3 = 2*m. Suppose z*v - r = 76. Is v prime?
False
Suppose 3*z + 8 = 2. Is 1 - (z + 3 + -3) a prime number?
True
Let n be 4/(-6) + 5/3. Suppose -6 + n = -u. Let j = u + -2. Is j composite?
False
Suppose 3*h - 6 = 6. Suppose 5*l = h*v - 353, 2*l + 459 = 4*v + 109. Suppose -5*o - 22 + v = 0. Is o a prime number?
True
Let v(b) = 2*b**3 - 12*b**2 + 8*b + 5. Is v(9) prime?
True
Suppose -26 = -0*s - 2*s + 2*h, -4*s = 4*h - 44. Suppose z - 3*z = s. Let g(w) = -17*w - 7. Is g(z) a prime number?
False
Suppose -4*q = 16, -3*k + 15 + 3 = -3*q. Suppose k*h - 12 = -0. Is h composite?
True
Suppose -4*d + 4 = -2*x + 7*x, 0 = 4*d + x + 12. Let f = d - -6. Suppose 0 = -5*v + f*s + 51, 2 = -2*s + 6. Is v a prime number?
True
Let q = -2 - -6. Let w be (74/(-8))/(4/(-16)). Suppose q*i - 137 = -w. Is i prime?
False
Let n(k) = -13*k. Suppose -2*d - 4 = a, a - 2 = 4*d - 0. Is n(a) a prime number?
False
Suppose -44 = -3*d + 148. Let n(g) = g**2 - 6. Let m be n(6). Let q = d - m. Is q prime?
False
Suppose 5*t - 7081 - 1982 = -2*y, 0 = t - 2*y - 1803. Is t prime?
True
Let y = 4604 - 1305. Is y a prime number?
True
Let w be (-1 - 1)/(2/(-31)). Let d = -97 - w. Let b = -79 - d. Is b a prime number?
False
Suppose -3*s = -15, 3*v + 202 = 7*v - 2*s. Let m be (2*v*-1)/(-1). Suppose -d = d - m. Is d a prime number?
True
Suppose -54 = -b - 7. Suppose 3*q = 2*q + b. Is q a composite number?
False
Is (4/(-6))/((42/(-774))/7) a prime number?
False
Let w = -2 - -2. Let i(s) = -17*s + 14. Let j be i(-10). Suppose w = -4*a - 0*a + j. Is a prime?
False
Suppose 5*h + 70 = 4*c, -2 = c + 3. Let d be (-1192)/h - (-4)/(-18). Let l = d - 43. Is l a composite number?
False
Let z = 1780 - 1259. Is z composite?
False
Let z(o) = -7*o**2 - 11*o + 19. Let a(g) = 3*g**2 + 5*g - 9. Let b(x) = -13*a(x) - 6*z(x). Is b(5) composite?
False
Suppose 0 = -3*c + 341 - 14. Is c prime?
True
Suppose 7*l - 2 = 6*l. Suppose 15 - 53 = -l*h. Is h a prime number?
True
Suppose 6*d - 2*d = 8. Suppose 0 = p + 3*q - 5, q - 2*q = -1. Suppose -5*k - p*x + 190 = -7*x, d*k + 3*x = 71. Is k a prime number?
True
Let m = -8 - -6. Let q be ((m + -2)/2)/(-1). Is (-1)/q*(1 - 5) composite?
False
Let z(j) be the second derivative of -j**4/12 - 2*j**3 + 4*j**2 - 2*j. Let i be z(-10). Suppose 169 - i = 3*u. Is u composite?
False
Let n = 439 - 282. Let z = -222 + n. Let k = z + 154. Is k composite?
False
Let h(l) = l**2 - 11*l - 3. Is h(19) composite?
False
Suppose -4*v - 6 = -78. Is 4/v + 7682/18 a prime number?
False
Let f = -1 + 5. Suppose -4 = f*p - 0*p. Let j(m) = 60*m**2 - 1. Is j(p) a prime number?
True
Let d be 9/(-6)*(-10)/3. Let t(z) = -z**3 + 5*z**2 + 2*z - 4. Is t(d) composite?
True
Suppose -t = 3*l + 133 + 48, 0 = 4*l + 4*t + 244. Let p = 85 + l. Is p a prime number?
False
Let c be -3*111/(-3) - -1. Let p = c - -1. Is p a prime number?
True
Suppose 400 + 234 = 2*x. Is x a composite number?
False
Suppose -3*x + 2*t + 473 = 0, -2*x + 2*t + 314 = -0*x. Is x composite?
True
Let d = -1457 - -1027. Let g = -303 - d. Is g prime?
True
Let o be 23/7 - (-2)/(-7). Suppose 5*y = 3*p - 0*y + 9, o*p + 4*y - 18 = 0. Suppose -p*h + 38 + 476 = 0. Is h a composite number?
False
Let r be ((-2 - -3) + 324)*1. Let t(x) = 2*x - 13. Let q be t(9). Suppose 0*a + 2*a = -z + r, 4*z + 819 = q*a. Is a a composite number?
False
Suppose -4*c = -3*c - 379. Is c prime?
True
Let z be ((-1220)/(-15))/((-2)/(-3)). Suppose -m - 291 = -5*c, -m - z + 8 = -2*c. Let s = -22 + c. Is s a prime number?
True
Suppose -2*f = -5*f + 6. Suppose -552 = -5*v + 3*o, 0 = f*o - 4*o + 2. Is v a composite number?
True
Let n = 0 - -5. Suppose 2*t + 1012 = -4*f, -4*t + n*f - 2*f - 2002 = 0. Is (-4)/8*t/1 composite?
False
Let j(p) = -45*p. Suppose 0 = -3*u + 2*u + 3. Let x be j(u). Let i = 226 + x. Is i a composite number?
True
Let y(i) = -i**3 + 5*i**2 - 5*i + 6. Let x be y(4). Suppose -4*t + x*t + 8 = 0. Suppose 0*u + k + 383 = t*u, -u - 3*k + 112 = 0. Is u a prime number?
True
Let f(h) = 194*h**2 + 2*h - 1. Is f(3) a prime number?
False
Let v be (8 - 8)/(1/(-1)). Suppose 0*s - 4*s + 460 = v. Is s a composite number?
True
Suppose -4*f = 2*i - 11328, -4*f + i + 11332 = 5*i. Is f composite?
True
Let r be (8/6)/((-2)/(-15)). Suppose -r = -5*x, 0*v + v - 1 = x. Suppose v*s - 61 + 4 = 0. Is s prime?
True
Let n(j) = 4*j + 5 + 11*j**2 + 4*j - 2*j - 2*j + j**3. Is n(-9) a prime number?
True
Suppose 0 = 7*w - 2*w - 10. Let n be (3/2)/(w/4). Suppose 0 = -5*f - 5*y + 925, -n*f + 2*y + 642 = 77. Is f a prime number?
False
Suppose -2*g + 2*o + 0 = -2, 2*g + o + 7 = 0. Let l be -2 + (2*-5)/g. Suppose 0 = -l*j + 81 - 3. Is j prime?
False
Let f(r) = -r + 4. Let y be f(0). Suppose -2*k + 59 = y*q - 7, -15 = 3*k. Is q prime?
True
Suppose -2*w + 580 = 2*w. Is w prime?
False
Let w = 3 - 0. Suppose -w*y + 5*m = -y - 273, 3*y = -m + 384. Is y prime?
False
Suppose -5*x + 10*x = 20. Is (x - 0)*635/20 composite?
False
Let c(l) = -l**2 - 7*l + 7. Let j be c(-5). Suppose -5*h = j + 3. Is (h - -3) + 38 + 0 prime?
True
Is (-2 - (-3541)/(-3))/(12/(-36)) a prime number?
True
Let k be ((-2)/(-5))/(1/(-5)). Let h be (k - -1)/(4/(-604)). Suppose s = h - 8. Is s a prime number?
False
Let f(h) be the third derivative of 37*h**6/120 - h**5/60 + h**3/6 + h**2. Suppose 4 = 3*j - b, b + 3 = 5*j - 3. Is f(j) a composite number?
False
Suppose s - 2*h - 1015 = 0, 1696 = 2*s + 2*h - 358. Suppose 3*w = -q + s, 682 = -3*w + 5*w - q. Is w a composite number?
True
Is (-14)/63 - 26363/(-9) prime?
False
Let k(q) = q**2 - 8*q - 5. Let b be k(8). Let w(z) = -z**3 - 3*z**2 + 7*z + 7. Is w(b) a composite number?
True
Suppose 0 = 15*y - 1833 - 3222. Is y a composite number?
False
Let j = -1 - -7. Suppose 2*q - 14 = -2*w, -2*q + j = -4*w + 2*w. Suppose 0 = -4*z + 105 - q. Is z a prime number?
False
Suppose 0*q = 5*q - 5. Let i = -9 - -7. Is (q/i)/((-3)/12) a composite number?
False
Let v = 2 - 0. Suppose 20 = x - 4*h, -3*h - 26 = -x - v*h. Let g = x + -13. Is g a prime number?
False
Suppose -3*f + 1 + 660 = 4*y, 0 = 5*f - 5*y - 1125. Is f prime?
True
Let g(z) = -10*z**3 + 4*z**2 - 5*z + 2. Let j be g(3). Let b = -104 - j. Is b composite?
True
Suppose 9*k - 930 = 3*k. Is k prime?
False
Let a = -1 - 0. Let q be 2 + a + 3/1. Let m(r) = -r**2 + 6*r + 2. Is m(q) a composite number?
True
Let a(w) = -96*w + 4. Let d be a(-4). Suppose -o - d = -5*o. Is o prime?
True
Let q = 6 + -3. Suppose 0 + q = -k. Is ((-1078)/(-21))/((-2)/k) composite?
True
Let f(r) = 91*r**2 + 4*r - 3. Let g be f(3). Let d = g - 323. Is d a prime number?
False
Suppose -2*k - 2*a - 147 = -509, k - 2*a - 181 = 0. Is k a prime number?
True
Let r(b) be the first derivative of 33*b**2 - b + 4. Is r(2) a composite number?
False
Let t = -759 + 465. Let s be t/(-8) - 3/(-12). Let d = 80 - s. Is d prime?
True
Let u = 365 - 246. Is u a prime number?
False
Let h(q) = -8*q - 6. Let l be h(6). Let r be (-4)/2 + (-3 - l). Is (-2 - r)*2/(-2) a prime number?
False
Let o(x) be the first derivative of x**2/2 + 3*x + 2. Let m be o(-3). Suppose -3*y + p = -4*p - 30, 2*y + 3*p - 39 = m. Is y a prime number?
False
Is 0/(-6 - -3) + 167 composite?
False
Let u = 21 - 15. Suppose -5*i + u + 209 = 0. Is i*2 + 15/(-5) composite?
False
Let y(k) = -k**3 - 8*k**2 + 4*k - 14. Is y(-9) composite?
False
Suppose -8*z = -7*z - 101. Let o = z - -8. Is o a composite number?
False
Let n = -9 - -6. Let t be 2/6 - 1454/n. Is t/10 - 1/(-2) composite?
True
Suppose 0 = d - 0*d + 4. Is (-458)/(-14) + d/(-14) a prime number?
False
Let g(r) = r**2 + 6*r - 7. Let q be g(-7). Let f = -2 + 2. Suppose f = k - q*k - 79. Is k a composite number?
False
Suppose -5*p = -2*d - 523, 0 = -5*p + 3*p + 3*d + 207. Let a = -22 + p. Is a composite?
False
Suppose 0 = -p - 4*n + 4381, n = 2*p - n - 8742. Is p a prime number?
True
Let n(x) = x**3 - 4*x**2 + 5*x + 4. Let u = 30 + -24. Is n(u) prime?
False
Let w(u) = u**3 - u. Let t(a) = 10*a**3 - 2*a**2 - 7*a + 4. Let i(d) = -t(d) + 6*w(d). Is i(-3) prime?
False
Suppose -4*m + 5*n + 11 + 19 = 0, -3*m - 5*n = -5. Suppose -m*i + 281 = 86. Suppose 5*l 