12). Suppose -3*t = -15, -2*i + 7*i = -5*t + p. Is i prime?
True
Let n = -622 - -2879. Is n a prime number?
False
Let t(q) = 1476*q + 1. Is t(1) a prime number?
False
Let h = -1 - -1. Suppose -t - 3*a + 17 = -h, t - 5*a + 23 = 0. Is (t - 270/8)*-4 a prime number?
True
Let h = 574 - 317. Is h a prime number?
True
Let x = 167 + -114. Is x prime?
True
Let h(o) be the second derivative of o**5/10 - o**4/4 - o**3/3 + o**2 + o. Is h(3) prime?
True
Suppose 5*j - 62 = 108. Is j composite?
True
Let a be (14/(-6))/(3/(-9)). Let h(r) = 7*r + 8. Is h(a) a prime number?
False
Let t = 142 + 59. Let l be 8/(-44) - (-57)/11. Suppose 2*x - 6*p + p = 54, -4*p + t = l*x. Is x a prime number?
True
Is (-25124)/(-14) + 42/98 prime?
False
Let b be (0 - 0)/(-4) + 10. Suppose -b = -4*u + 82. Is u a composite number?
False
Let k = 617 + -394. Is k composite?
False
Let m(h) = h**2 - 2*h - 2. Let g be m(-2). Let d = -4 + g. Suppose -83 = -3*x - 5*b, -x - b - d + 31 = 0. Is x composite?
False
Let f be (-3)/(-3)*(-2 - -30). Suppose -k + f = -7. Is k a composite number?
True
Suppose 0 = 2*d - 8*d + 534. Is d a composite number?
False
Suppose 4*q - 264 = 44. Is q a composite number?
True
Suppose 0 = -5*r + 3*r. Let k = r + 11. Is k composite?
False
Let l(v) = -v**3 - v**2 - v. Let a(q) = 20*q**3 + q**2 + 8*q + 7. Let y(s) = -a(s) - 3*l(s). Is y(-3) a composite number?
True
Let l(y) = 12*y**2 - 2*y + 1. Is l(3) a composite number?
False
Let b = -371 - -137. Let s = b + 128. Let t = -11 - s. Is t composite?
True
Let y(v) = -v**2 - 5*v + 4. Let l be y(-6). Let t be (-2 - l)*1/(-2). Suppose -2*q + 32 + 6 = t. Is q composite?
False
Let b be ((-2)/(-5))/((-1)/(-5)). Suppose -5*a + 1031 = -2*h, 5*h = a + b*a - 630. Is a a prime number?
False
Let z = -66 + -33. Let y = -41 - z. Suppose -3*j + y + 83 = 0. Is j a composite number?
False
Let p(v) = v**3 - 10*v**2 + 9*v - 5. Let i be p(9). Let a = i - -5. Suppose a*z + 4*z = 52. Is z prime?
True
Let h be 5 + (12 + -3)/(-3). Suppose j - h*j = -115. Is j a prime number?
False
Suppose 2*r + 0 = 2. Suppose 7 = -2*j - r, j - 207 = -l. Is l prime?
True
Is (-53)/(-4) - (-8)/(-32) prime?
True
Let k(p) = 15*p**3 + p**2. Let g be k(1). Let b(z) = -z**3 + 12*z**2 - 13*z + 23. Let s be b(11). Is s/(-1)*-3 + g composite?
False
Let z = 757 + -200. Is z prime?
True
Suppose -2*l = -0*l - 6. Suppose 2*x - 17 = 3*r, l*x - r = 15 - 0. Suppose x*s - 129 = s. Is s a composite number?
False
Suppose -c - 3*a + 503 = 0, 4*a = -3*c + 799 + 690. Is c composite?
False
Suppose -4*a + 34 = -2*a + 3*s, 76 = 4*a + 4*s. Is a a prime number?
True
Suppose o - 87 = -2*o. Suppose -5*t + 2*u = -17, 5*t - o = -u - 0*u. Suppose 2*g = -g - t*s + 138, -g = 3*s - 42. Is g a composite number?
True
Let z be -3 + -1*(0 + 1). Let v(i) = 5*i + 3. Let h(s) = -3*s - 1. Let d(a) = 5*h(a) + 2*v(a). Is d(z) prime?
False
Let p = 0 + 4. Let j = 7 - p. Is j prime?
True
Suppose -o + 0*o + 16 = 0. Suppose -5 = -w + o. Is w prime?
False
Suppose 5*i = j + 4*j - 4790, 4770 = 5*j - i. Is j a prime number?
True
Suppose 0 = -5*d + l - 265, -l = -3*d + 4*d + 59. Suppose 3*o + 6 = 2*f, 4*o + 4*f = -f + 15. Is (d/(-3))/3 - o a composite number?
True
Let h(y) be the first derivative of -y**2 + 4*y - 2. Is h(-5) a prime number?
False
Let a be 4/14 + (-99)/(-21). Suppose -z = -52 + a. Is z + 2 + -1 + -1 composite?
False
Let w(m) = -11*m - 16. Let y be w(-13). Is y + -2 + 6/3 composite?
False
Let v = -8 + 12. Let o = v + 2. Is o/6 - (-15 - -1) a composite number?
True
Let x be (-1 - -9) + (-1)/1. Let f = 9 - x. Suppose 0*q - f*q = -4. Is q a prime number?
True
Suppose -8*i + 1807 = -6441. Is i prime?
True
Suppose -t = 3*t - 4*l - 316, -3*l - 321 = -4*t. Let k = t - -43. Is k prime?
True
Suppose 3*m = -5*r - 88, -4*r - 2*m - m - 71 = 0. Let u = -6 - r. Suppose 4*p = u + 65. Is p composite?
False
Let q(b) be the first derivative of -b**4/4 - 2*b**3 + b**2 + 9*b + 2. Let i be q(-6). Is i/9 + (-79)/(-3) composite?
True
Suppose 5*a = 5, -2*a - 3*a = -5*f + 160. Is f a prime number?
False
Let n be 6 + (-2 - -2 - -1). Let a(v) = 7 - 3 + v**2 - 2 + 2*v. Is a(n) prime?
False
Let z(a) = a**3 + 3*a**2 + 2*a + 4. Let o be z(-3). Let h(n) = -24*n**3 - n**2 + 3. Is h(o) prime?
True
Let f(x) be the third derivative of x**6/120 - x**4/6 - x**3/6 + x**2. Let z(w) = -w**3 + 7*w**2 - 6*w + 4. Let v be z(6). Is f(v) a composite number?
False
Let k = 223 + -91. Let m = -77 + k. Is m prime?
False
Let g(v) be the first derivative of -v**4/4 - 2*v**3 + v**2 + 4*v - 3. Let x be g(-6). Is (92/(-6))/(x/12) composite?
False
Let m be (20/16)/(1/8). Let d(q) = -q**3 + 10*q**2 - 3*q - 2. Let g be d(m). Let u = g + 69. Is u a composite number?
False
Suppose -3*a + 7*a - 62 = d, a = -5. Let c = d - -335. Is c a prime number?
False
Let b(a) be the third derivative of -a**6/120 + 7*a**5/60 - a**4/4 + a**3/3 + a**2. Let l be b(6). Suppose l*f = 3*f - 19. Is f composite?
False
Suppose 6442 = 10*b - 26548. Is b a composite number?
False
Is -4*(2359/(-20) + (-1)/(-5)) prime?
False
Let b(g) = -g**3 - g**2 + 4*g + 2. Let k(w) = -3*w**3 - 3*w**2 + 12*w + 7. Let a(f) = 7*b(f) - 2*k(f). Let l be a(-3). Suppose 4*o + 134 = l*o. Is o prime?
True
Suppose 0 = -14*p + 12*p + 5006. Is p composite?
False
Suppose 5 = -2*j + c, -3*j + 2*c - 10 = -4*j. Suppose j*f - 635 = -5*f. Is f composite?
False
Let r = 18 - 8. Suppose 0 = -3*s - 4*z + r, 2*s + 2*s - 7 = z. Is s prime?
True
Let v = -2 - 2. Is ((-422)/v)/(7/14) a prime number?
True
Suppose 290 = 3*h + 5*w, -h + 335 = 2*h - 4*w. Suppose 0*g = -3*g + 93. Let l = h - g. Is l composite?
True
Let z(g) be the first derivative of 143*g**3/3 + g**2/2 - g + 1. Is z(1) a prime number?
False
Let m(j) = 6*j**3 + 7*j**2 + j + 1. Let s(k) = 7*k**3 + 8*k**2 + k + 2. Suppose 5*h - 20 = -0*h. Let a(c) = h*s(c) - 5*m(c). Is a(-3) prime?
False
Let q be (1/(-3))/((-1)/6). Suppose -q*b + 43 = -1. Is b composite?
True
Let a be (1596/(-16))/((-1)/4). Let x = -43 + a. Suppose s + x = 5*s. Is s composite?
False
Suppose -1244 = -3*c + 217. Is c a composite number?
False
Let s = -540 - -1174. Suppose 0 = -3*u - 37 + s. Suppose 2*n - u = -4*k + 87, 0 = 4*n - k - 527. Is n a prime number?
False
Suppose -5*u - 10 = -5*d, 4*d + 13 - 45 = -4*u. Suppose 35 = -v + 186. Suppose -576 + v = -d*z. Is z a composite number?
True
Let q be -10*(3/(-2) + 1). Let k = 48 + q. Is k a prime number?
True
Suppose 4*n + 284 = 2*l + 20, 0 = l + 4. Let s be 78/4 + (-2)/(-4). Is 4/s - n/10 a composite number?
False
Let m(f) = f**3 + 7*f**2 - 3*f + 5. Let g be m(-7). Suppose 4*n - 2*a = 14, 2*n + 2*a = -2*n + g. Suppose -k = -n*k + 76. Is k a composite number?
False
Suppose 2*h - 12 = -h + s, -21 = -5*h + 2*s. Suppose h*q - j - 179 = 0, -j + 13 = q - 52. Let y = q + -24. Is y prime?
True
Let v(y) = -y - 2*y + 1 - 6 - 2. Is v(-6) prime?
True
Suppose m - 216 = -3*m. Let w = -35 + m. Is w prime?
True
Let a(p) = 149*p + 5. Let n(f) = -f**2 + 3. Let k be n(0). Let s(y) = -50*y - 2. Let q(d) = k*a(d) + 8*s(d). Is q(1) a composite number?
True
Suppose 21 + 27 = 4*q. Suppose l + q = 4*l. Suppose -2*t + l*t = 254. Is t a composite number?
False
Let z(l) = 3999*l + 2. Is z(5) a composite number?
False
Let i = 14 - 16. Is 1410/(-3)*1/i prime?
False
Let k be (15/12)/(2/8). Let t be (-5)/k*1*-13. Suppose 3*n = 2*n + t. Is n a composite number?
False
Let j(a) be the second derivative of 0 - 1/2*a**2 - 2/3*a**3 - 2*a. Is j(-4) a composite number?
True
Let b(z) = -z - 13. Let q be b(-10). Is (-8)/(-12) - 256/q prime?
False
Let k(a) = -a**3 + 5*a**2 - 4*a + 2. Let x be k(3). Let j = x + -5. Suppose -3*w + 5*w + 49 = i, 0 = j*i + 5*w - 147. Is i composite?
True
Let i be 4/(-1 + 0) + 2. Let f(r) = -8*r**3 - r + 1. Is f(i) prime?
True
Let b(z) be the first derivative of 45*z**2/2 - 5*z + 1. Let p be b(7). Suppose -2*l - 2*n + 148 = 3*n, -4*l = 3*n - p. Is l composite?
False
Let n be (0 + 1)*(-9 - -12). Is 83 + (9/n - 4) composite?
True
Is (-12)/(-6 + 2) - -83 a prime number?
False
Let y(f) = f - 2. Let a be y(7). Let k(b) = b**3 + b + 1. Is k(a) composite?
False
Let v(i) = 3*i**2 + 4*i - 3. Suppose 2*p + 8 = -6. Let o be v(p). Suppose -2*h + 3*w = -o, -2*w = 5*h - 0*w - 271. Is h a composite number?
True
Suppose 13 = 5*m + 4*y, -y + 3*y + 1 = 5*m. Let u(s) = -3*s**2 - 8*s 