 4*d + 2*o - 60. Let z = 1 + -2. Is (z + 7)*d/(-4) prime?
False
Let q be (8/(-5))/((-2)/5). Suppose 0 = 3*k + 15, 3*n + 2*k = n - q. Is n a prime number?
True
Let f be 174/1 + (-4)/2. Suppose -f - 245 = 3*h. Let g = h + 236. Is g prime?
True
Let v(z) = 89*z**2 - 15*z - 3. Is v(4) a composite number?
False
Suppose 0 = 8*k - 444 - 460. Is k a prime number?
True
Let c = -7 - -9. Suppose 114 - 767 = -5*x - c*s, 0 = -3*x - 5*s + 407. Is x composite?
True
Suppose -3*s - m + 39 = -s, -3*s + 61 = -m. Is 35/3 - s/30 a composite number?
False
Suppose -g = x - 352, 5*x - x = -4. Is g prime?
True
Let u = 283 - 106. Is u a composite number?
True
Let b = -26 + 16. Let g = b - -25. Is g a prime number?
False
Let q(h) = 88*h + 1. Let c = 2 - 1. Is q(c) prime?
True
Let n = -7 + 0. Let m(y) be the second derivative of -22*y**3/3 + 9*y**2/2 + 5*y. Is m(n) a prime number?
True
Let n(b) = -15*b - 1. Suppose -3*y + 3*t + 3 = 0, 29 = -y - 0*y - 5*t. Is n(y) a prime number?
True
Suppose -5*f - 5*k = 0, 5*f - 2*k = 2 + 19. Let y be ((-10)/4 - 1)*-20. Suppose f*w + p - y = 0, 2*w = w + 5*p + 2. Is w a prime number?
False
Let n = 319 + 378. Is n composite?
True
Suppose -1 = 5*j - 6, 0 = r - 5*j - 764. Is r a composite number?
False
Let x = 30 + -20. Suppose x = 5*w - 60. Let r = w - -11. Is r prime?
False
Let d = 7 + -5. Is ((-14)/(-4))/(d/12) composite?
True
Let w = -3 - 1. Let c(r) = 7*r**2 + 6*r + 1. Is c(w) a prime number?
True
Suppose -2*l + 7*l = -3*y - 41, -4*l + 4*y - 20 = 0. Let a be (-10)/(-35) - 54/l. Suppose a = m - 151. Is m a prime number?
False
Is 592 - (-4)/(-1) - 1 prime?
True
Let c = 10 + -6. Suppose 0 = 6*l - 3*l + c*r - 157, 102 = 2*l + 2*r. Is l composite?
False
Is -2 + 2427 + 2 + 2 prime?
False
Let p(i) = 11*i**2 - 2*i - 1. Let g(z) = -z + 6. Let d be g(4). Is p(d) a composite number?
True
Let d be (-135)/(2 + (1 - 4)). Let l = d + -80. Is l a prime number?
False
Suppose -1 = w + 9. Let n(f) be the second derivative of f**4/6 + f**3/2 + 11*f**2/2 + 3*f. Is n(w) prime?
True
Let h(t) = 528*t - 33. Let o(f) = 33*f - 2. Let g(v) = 2*h(v) - 33*o(v). Is g(-1) prime?
False
Let u(y) = -381*y - 26. Is u(-3) a composite number?
False
Suppose -2*t + 15 = 3*t. Suppose 0 = -t*g + 8*g - 20. Suppose -4*c + 40 = -4*w, g*c + 5*w - 8 = w. Is c a prime number?
False
Suppose 1906 = 5*s - 219. Suppose 2*u + 0*m = -3*m + s, 0 = 5*u + 5*m - 1060. Is u composite?
False
Let u be (352/(-40))/((-4)/10). Let i = u + 37. Is i a prime number?
True
Let x(p) = -19*p**3 + 3*p**2 - 3*p + 1. Let m be x(3). Is m/(-8) - 3/(-12) composite?
True
Is ((-6)/(-9))/(8/444) a prime number?
True
Let o(h) = 14*h**2 - 23*h - 45. Is o(-16) prime?
True
Suppose 4*n = 4*l - 2720, 5*l - 2*n - 3421 = -4*n. Is l composite?
False
Let j(b) = 2 - 4 + 5*b + 9*b**2 + 5 + 0. Is j(-4) a prime number?
True
Let s(h) be the second derivative of h**4/4 - h**3/6 + h**2/2 + 2*h. Is s(1) a composite number?
False
Let z(y) be the first derivative of 2*y**3/3 + 5*y**2/2 + 3*y - 3. Let n be z(-3). Let b(w) = 20*w + 1. Is b(n) a composite number?
True
Suppose 3*h + 4*r + 290 = 0, 4*h - r + 206 = -187. Let q = 17 - h. Is q a prime number?
False
Let a = -1 - -7. Suppose 391 = -5*x + a*x. Is x a prime number?
False
Suppose -2 = 3*k - 4*k. Suppose -c + 6*c - 42 = -3*v, 0 = k*v + c - 35. Is v a composite number?
False
Suppose -2*c + 125 + 37 = 0. Let o = -153 + c. Let w = -13 - o. Is w composite?
False
Suppose 4*q = -2*t + 6*q + 8, -20 = 5*q. Suppose -2*f + 4*f - h = 26, 5*f + 5*h - 65 = t. Is f composite?
False
Let g(z) = -z**2 - 5*z - 4. Suppose 19 = -5*k - 6, -28 = 2*r + 4*k. Let o be g(r). Suppose 3*p = 5*v - 53, o = 5*v + p - 48 - 21. Is v a prime number?
True
Let j(x) be the first derivative of 0*x - 2*x**2 - x - 2*x**2 - 6*x**2 - 1. Is j(-2) composite?
True
Is (0 - -4)*511 + 159/53 a prime number?
False
Let n(g) = -35*g. Let q be n(-2). Let b = -8 + q. Is b a prime number?
False
Let c(d) = d**2 + 4. Let z be c(-4). Suppose -6*j + z = -j. Suppose -54 = -4*b - j*q - 14, 0 = -4*b - q + 43. Is b composite?
False
Let m be 4/(-12) + 16/(-6). Let l be m/6*2 - -5. Suppose 143 = i - l*w, 2*i + i + w = 377. Is i a prime number?
True
Is -37*(-14 + (-12)/(-4)) prime?
False
Is 6/4*((-519)/(-9) - 1) a prime number?
False
Let r(g) = g**2 - g + 5. Is r(6) composite?
True
Let l(h) = 38*h**2 - h - 1. Is l(2) a prime number?
True
Suppose -2*u = -0*u + 6. Let q(i) = i**3 + 3*i**2 - 3. Let w be q(u). Is (w/(-4))/((-1)/(-4)) a composite number?
False
Is ((-158)/4)/(7/(-14)) composite?
False
Let y = -2 + 34. Let r = 159 + y. Is r a composite number?
False
Let t = -1 - 0. Let j(g) = -23*g - 1. Let f be j(t). Suppose -1 = a - f. Is a a composite number?
True
Suppose -x - 2*h = 0, 4*x - h = -5*h + 4. Suppose -5*a = -4*k - 571, 4*a - 230 = 2*a + x*k. Is a a composite number?
True
Suppose 3*w = t - 2500 - 1105, 4*t - w - 14453 = 0. Suppose -t = -5*y - 3*d, 2*y + d - 1433 = 4*d. Is y composite?
True
Let z = 36 + 7. Suppose -2*l + z = -h, -4*l - 2*h + 80 = 2*h. Is l a prime number?
False
Is 2/10 + (-1094)/(-20)*14 composite?
True
Let y(i) = 2*i**2 + 2*i - 5. Let b be 2 - (-2 + 2) - 0. Let l be -3 - b/(-3)*-3. Is y(l) composite?
True
Suppose -1203 + 175 = -4*k. Is k a composite number?
False
Let j(z) be the second derivative of -z**4/12 + 2*z**3/3 - z**2/2 + 5*z. Is j(2) a prime number?
True
Suppose -7 = 3*h - 19. Suppose 4 - 1 = z + h*k, -2*z + 61 = -3*k. Is z a composite number?
False
Let a = -193 - -402. Is a a prime number?
False
Let y(p) = -p**2 - 15*p - 10. Let m be y(-9). Suppose -d + m = 1. Is d prime?
True
Suppose 10*c + 1113 = 13*c. Is c prime?
False
Suppose -1366 = -3*g + 1841. Is g a composite number?
False
Suppose 3*r - 2*x + 5 = 40, 4*r = 2*x + 46. Suppose -105 = -2*h + r. Suppose -4*d + h = -306. Is d composite?
True
Suppose -2*k = -392 + 130. Suppose -4*l = -9 - k. Is l composite?
True
Let q(z) be the second derivative of 15*z**5 + z**4/6 - z**3/6 + 5*z. Is q(1) prime?
False
Suppose -c = -2*h - 0*h - 3, 3*h - 6 = -2*c. Suppose h = 5*j - 2*d - 417, 0 = -4*j + 4*d - 0*d + 336. Is j composite?
False
Let n(h) = 3*h - 3. Let p be n(-4). Suppose -12*u = -4*u + 40. Is u/(p/636) - 1 a composite number?
False
Suppose -h - 207 = 100. Let k = 576 + h. Suppose -n = -g - 52, 5*n + 5*g - g - k = 0. Is n a prime number?
True
Suppose 4*k - 5*u - 814 = -0*u, k - 199 = -u. Suppose h - k = -2*h. Is h prime?
True
Is (3 + 2209/2)*2 a composite number?
True
Let t = -2 - -4. Suppose -2*j + 16 = -t*f, j - 1 - 19 = 5*f. Suppose 2*b = 4*a - a - 71, -3*b = -j*a + 118. Is a composite?
False
Let d be ((-2)/4)/(4/24). Is ((-262)/d)/((-10)/(-15)) prime?
True
Let m(z) = -2*z**2 + 15*z - 16. Let k(u) = u**2 - 8*u + 8. Let q(d) = -9*k(d) - 4*m(d). Let x be q(11). Suppose -x*o = o - 140. Is o composite?
True
Let h = 1289 + -798. Is h a composite number?
False
Suppose 8*c - 3*c = -155. Let z = 62 + c. Is z composite?
False
Is (-347)/(((-4)/14)/(6/3)) composite?
True
Let k(y) = 110*y**3 - y**2. Suppose 4*n - 2 - 2 = 0. Is k(n) prime?
True
Suppose -3 + 3 = -6*f. Let a be 1*2/(-2) + 22. Suppose f = -4*w + 3*w + a. Is w composite?
True
Let q be (0 + 0)*(-5)/10. Let l be (-2)/(-2 + 0 - -1). Suppose 0*t + 43 = c - l*t, q = c - 5*t - 52. Is c a prime number?
True
Let g(h) be the second derivative of h**6/180 + h**5/30 + h**4/4 - h**3/3 + 3*h. Let a(p) be the second derivative of g(p). Is a(-4) prime?
False
Let g = 73 - 29. Let r be g/24 - (-2)/12. Suppose 318 = r*z - 4. Is z a composite number?
True
Suppose 4 - 7 = -u. Suppose 2 = -u*g + 8. Is g prime?
True
Suppose g = 109 + 394. Is g a prime number?
True
Suppose -2*f + 2573 = 3*i, i + 5*f = 6*f + 861. Is i composite?
False
Let i be 2/((-147)/(-36) - 4). Let n = 11 + -4. Suppose -3*f - i = -n*f. Is f a prime number?
False
Suppose -4*w + 451 = -2*i - 3*i, -4*w = i - 481. Is w a prime number?
False
Let t = 9 - -136. Is t prime?
False
Suppose 0 = 4*h + 8, 386 - 1764 = -4*a - 3*h. Is a a prime number?
False
Let z(d) = 3*d**2 + 2. Let n be z(4). Suppose x + n = -4*x. Let o(p) = -p + 1. Is o(x) a prime number?
True
Let o = -4 - -4. Suppose 3*f + o*f - 105 = 0. Is f prime?
False
Suppose f + 66 - 225 = 0. Is f a composite number?
True
Let g = -171 + 190. Is g a prime number?
True
Let f = -697 + 1074. Is f prime?
False
Let n(y) 