)/(3/p) a composite number?
True
Let c(n) = -12*n + 1. Suppose -15 = -6*l + l. Suppose 0*i = -3*v - 2*i - 7, l*v + 13 = -5*i. Is c(v) a composite number?
False
Let x(w) = 4*w**3 - 2*w**2 + w. Let b be x(1). Suppose 2*q = b*q + 3*o - 35, -3*q + 4*o + 66 = 0. Is q composite?
True
Let u = -6 + 10. Suppose 20 = 4*l + 2*m, 0 = -u*l - 6*m + m + 26. Suppose -d + 35 = -0*d - 5*s, 0 = l*d - 3*s - 72. Is d a prime number?
False
Let f = -192 - -406. Is f a composite number?
True
Let q(n) = 6 - 3 + 0 + n - 2. Let o be q(4). Suppose 0 = -o*z - 5*v + 295, -6*z + z - 2*v + 283 = 0. Is z prime?
False
Suppose -2*x + 3*l = -4*x + 1295, 1325 = 2*x - 3*l. Is x a prime number?
False
Let p be (-3)/(0 + (3 - 6)). Is p/2 - 420/(-8) composite?
False
Let z = -13 + 5. Let j = z + 11. Is j prime?
True
Let g = 4 - 10. Let h be (-3)/(-1 + (-3)/g). Is 4/h*(7 + -4) a prime number?
True
Suppose -v - 3*o - 2*o - 3 = 0, -2*o = -4*v + 10. Suppose 0 = -3*i + 3, -v*i - 181 = -5*u + 2*i. Is u composite?
False
Suppose 5 = 3*l + 2*m + 2, 0 = -l + 3*m + 12. Is l + 4*-1 + 54 a prime number?
True
Let s be (-14)/(1/2*-1). Suppose 5*i = 247 + s. Let l = -21 + i. Is l a prime number?
False
Suppose -2*u + 46 = 2*f, -4*u + 4*f - 3 + 71 = 0. Is ((-356)/u)/((-2)/10) prime?
True
Let x be (3 - -4)*450/7. Let c = x + -251. Is c a prime number?
True
Is -18 - -309 - (1 - 5) prime?
False
Let u(n) = n - 5. Let v be u(5). Let k = v - -3. Let z(c) = 9*c - 4. Is z(k) composite?
False
Let o(p) = -p + 4. Let x be o(4). Suppose 0*a + 5*a - 153 = -2*r, -2*r + a + 159 = x. Is r prime?
True
Suppose -2*j - 514 = -142. Let d = j + 419. Is d a composite number?
False
Suppose -88 = 2*i - h, 118 = -3*i - 0*h - 2*h. Let z = i + 157. Suppose 3*r - 4*l - z = 158, 364 = 4*r - 4*l. Is r a prime number?
False
Let n = 57 + -19. Is n a composite number?
True
Let f(c) = -c**3 - 7*c**2 + 9*c + 8. Let r be f(-8). Is (-31)/(-1 + r/3) a composite number?
False
Let h = -13 + 21. Let x(n) = 20*n - 2. Let d be x(h). Suppose -b = -45 - d. Is b composite?
True
Suppose a = 5*t - 1891, -a = -2*t + 4*a + 738. Is t a composite number?
False
Suppose 4*h = -h + 1480. Suppose -6*x + 4*x + h = 0. Suppose -r + x = 3*r. Is r a prime number?
True
Suppose 0*f + f = -4*d + 415, 0 = d + 1. Is f prime?
True
Let q(o) = 18*o**2 + 4*o - 2. Let c be q(3). Suppose -2*s + c - 58 = 0. Is s prime?
False
Let k(p) = -36*p + 1. Let c = -2 - -4. Suppose -7 = 3*h - 4*j + 2*j, 1 = -5*h - c*j. Is k(h) a prime number?
True
Let u(x) = -x**3 - x**2 + 2*x + 2. Let c be u(0). Suppose 5*o = -f + 61, 2*o = -c*f + 4*o + 182. Is f prime?
False
Let m(h) = -h**3 - 2*h + 3*h + 0*h**2 + h**2 + 2. Let d be m(2). Suppose -2*z + 230 = -d*z. Is z a prime number?
False
Let r(q) = -q + 8. Let h be r(8). Is 23/(3 + (-2 - h)) composite?
False
Suppose 2 = -3*u - 4*k, 4*u + 3 - 19 = 4*k. Suppose 218 = 2*h + 3*i, u*h - 408 = -2*h + i. Is h prime?
True
Suppose 3*z + 4*l = -z - 8, -2 = z - l. Is (1/z)/((-7)/1246) a composite number?
False
Let m(r) = 2*r - 2. Let d be m(-1). Is (-3)/d + 6828/48 prime?
False
Suppose 5*b = -4*b + 4041. Is b prime?
True
Let v(n) = n**2 - 9*n + 6. Let a be v(8). Let c(h) = -h**2 - 6*h - 3. Let f be c(a). Suppose f*s - 3*y = 29 + 139, -4*y - 103 = -3*s. Is s a prime number?
False
Suppose -o - 8 = -0*o + 2*k, 5*o - k = 15. Is 46/8 - o/(-8) a prime number?
False
Let f(s) = s**3 + 3*s**2 - 4*s + 2. Let z = 2 - 6. Let o be f(z). Suppose 0 = -w - 3*w + 5*a + 142, -62 = -o*w - 2*a. Is w a composite number?
True
Suppose 3*f + 1115 = 8*f. Is f prime?
True
Suppose 4*d - 2*d = 12. Is (-4)/(-12) + 1756/d prime?
True
Let b(s) = -3*s - 7. Let c be b(-3). Suppose -c*f = 17 - 135. Is f a composite number?
False
Suppose -3*g + 19 = 2*n, 0 = -5*g - 3*n - 2*n + 30. Suppose -g*h + 3*h = 0. Suppose h = -5*u + 320 + 75. Is u composite?
False
Let l = -6 - -10. Suppose i = -l*i. Suppose i*c + 119 = c. Is c a composite number?
True
Let x = 30 + 25. Let v = 276 - x. Is v a composite number?
True
Suppose 18 = 5*n - k, 1 - 4 = 3*n + 4*k. Let u be 0 + -2 + n - 1. Suppose -5*b = -4*q + 618, u - 8 = -4*b. Is q composite?
False
Suppose 0 = 4*c - 6*c + 74. Is c a prime number?
True
Suppose 0 = -n - n + 250. Let y = 222 - n. Is y prime?
True
Let q(v) = 592*v - 15. Is q(8) prime?
True
Suppose -5*p + 158 + 92 = 0. Suppose -s - 5*k = -27, 2*s - p - 56 = 3*k. Is s prime?
True
Let h be -2 + 9 - (-3 + 4). Let a = 21 + -34. Is h/15 - a/5 prime?
True
Suppose 2*y - y = 91. Is y a composite number?
True
Let c be 54*(0 - (1 - -1)). Let f = -73 - c. Let w = f - 4. Is w a prime number?
True
Let n = 49 - 38. Is n composite?
False
Is (-6)/(-9) - 10/6 - -2190 a prime number?
False
Let f be -4 - 2*-4 - 2. Let l be ((-11)/(-4))/((-2)/(-24)). Let a = l - f. Is a a composite number?
False
Suppose -3*d = -5*v - 25570, 6*v - v + 3*d + 25570 = 0. Let x be v/8 + (-6)/8. Let f = -419 - x. Is f composite?
True
Let u(z) = 62*z. Let f = 8 + -7. Is u(f) a prime number?
False
Let k = 12 + -8. Suppose -q = -f + 2*q + 109, -74 = -f - k*q. Is f a composite number?
True
Is 2481/13 + 4/26 a prime number?
True
Let g(v) = -2*v**3 + 6*v**2 - 4*v - 7. Is g(-5) a composite number?
True
Let x be ((-12)/(-3))/((-6)/3). Is x/4*(3 - 265) prime?
True
Let f = 484 + -227. Is f a prime number?
True
Let y be 0/(1 + (-2 - 0)). Suppose 2*b - 2*n - 326 = y, -b - 3*n + 0*n = -155. Is b a composite number?
True
Suppose 3*h = -h - 36. Let s be (-36)/(-15) + h/(-15). Let o(c) = 2*c**3 + 3*c**2 - c + 1. Is o(s) a prime number?
True
Is 25516/28 - 12/42 a composite number?
False
Let u = -7 + 13. Let a(q) = 11*q**2 - 8*q - 1. Is a(u) a composite number?
False
Let u = 9 - 5. Is (-30)/u*10/(-3) prime?
False
Let d(g) = -16*g + g**2 + 4 + 0*g**2 - 2*g**2 + 5. Is d(-14) composite?
False
Let c(o) = o**3 - 5*o**2 + 4*o - 1. Let f be (-14)/(-35) + 23/5. Is c(f) prime?
True
Let k be -1 + (1 - 0 - 438). Let n = k - -63. Is 1/(-4) - n/12 a prime number?
True
Let m(d) = 6*d + 5. Let p(h) = h. Suppose q + 5 = u - 0*q, -15 = -3*u + 5*q. Let j be p(u). Is m(j) prime?
False
Let t(c) = -14*c**2 + 2*c + 1. Let u be t(-4). Let v = u - -328. Is v prime?
True
Suppose s = -2*s + 3*f - 6, -3*f + 8 = -2*s. Let y be (3 - 2) + 1*s. Suppose -3*p - y*w + 447 = 0, 3*w + 2*w = 0. Is p a prime number?
True
Let z be (-16)/4 - -1 - -2098. Suppose -8*i + z = -3*i. Is i a prime number?
True
Is (101 - -8)*(1 + 0) a prime number?
True
Let h(p) = 2*p**3 - 4*p**2 - p + 1. Let a be h(3). Suppose 2*o - a + 0 = 0. Suppose 30 = d + o. Is d a composite number?
True
Is (-16)/4 - 335*-1 a prime number?
True
Suppose -9 = 5*y - 34. Let z = 33 + y. Is z a composite number?
True
Suppose 3 = 2*a - 137. Suppose -14*u - a = -16*u. Is u prime?
False
Let x be ((-3 - -2) + 0)*-100. Let v = -58 - -9. Let p = x + v. Is p a prime number?
False
Let f(n) = -442*n - 53. Let i(u) = 147*u + 18. Let r(k) = 4*f(k) + 11*i(k). Is r(-7) composite?
True
Let g = 42 + -21. Suppose -m = -g + 4. Suppose 4*w = 93 - m. Is w a prime number?
True
Suppose 0 = h - 6*h + 30. Let t(p) = p**3 - 7*p**2 + 8*p - 8. Let m be t(h). Suppose s - m*c - 35 = -0*c, 4*s - 140 = -c. Is s composite?
True
Let w = -21 + 31. Is w a composite number?
True
Let w = 1898 - 177. Is w composite?
False
Suppose 2*p + 5*t - 579 = 0, 8*t - 3*t = -4*p + 1143. Suppose -4*v + p = -0*o + 3*o, -3*o + 282 = -2*v. Is o prime?
False
Let p = -11 - -17. Suppose 4*n - 2 = p. Is (-1)/(n/(-22))*5 a composite number?
True
Suppose 2*v - 268 = 4*v. Let k = v - -223. Is k a prime number?
True
Suppose o = -3*o + 52. Is o prime?
True
Suppose 2*d - 6 = 4*d. Let u be 1/(-2)*(3 + d). Suppose u = -5*w + 3*w + 262. Is w a composite number?
False
Let y(v) = 4*v + 6. Let g be y(7). Suppose -g = -w + 48. Suppose 4*d - w - 2 = 0. Is d composite?
True
Suppose 0 = -10*u + 12*u - 662. Is u a prime number?
True
Suppose y - 587 = -2*a, -3*a + 269 = -5*y + 3243. Is y a prime number?
True
Let v(c) = 75*c - 2. Is v(5) a composite number?
False
Let m(g) = -g**3 - 6*g**2 - 3*g - 2. Let c be m(-5). Suppose 57 = z + 2*z. Let i = z + c. Is i prime?
True
Let a(h) = 66*h**2 - h - 3. Let d be (-90)/(-40) - (-1)/(-4). Is a(d) composite?
True
Let v(g) = g**3 + 3*g**2 - 2*g - 4. Let a be v(-3). Let t(j) = 6*j**3 + 0*j**3 - 7*j - 4*j**3 - j**a + 5. Is t(4) composite?
False
Let y = 55 - -27. Suppose 