-216)/(-16) a prime number?
False
Suppose -5*d + 602 = -3*d. Is d a composite number?
True
Suppose -3*d + 17 - 4 = 2*y, -23 = -3*d - 4*y. Is 263 - (-1 - d)*1 a prime number?
False
Suppose -s = -296 + 43. Is s a prime number?
False
Suppose -2*k - 3*n + 133 = 0, -13 = -4*n + 7. Is k composite?
False
Let s = 21 + -15. Let b(n) = -n**2 + 2*n - 1. Let f(k) = k - 1. Let l(i) = -b(i) - 2*f(i). Is l(s) prime?
False
Is 1*5/5 + 430 a prime number?
True
Suppose -8*n + 3*n - 75 = -5*w, -4*w = 5*n - 51. Suppose -44 + w = -d. Suppose q + d = 4*q. Is q prime?
False
Suppose -z - 3*z = 0, -4196 = -4*h + z. Is h a prime number?
True
Let d(p) = 0*p - p**2 + 5*p + p**3 + 3 + 0 - 6*p. Let r be d(0). Suppose -5*g + r*g - 5*n = -55, 3*g = 4*n + 25. Is g a composite number?
True
Suppose -2*t = -8, j + 2*t = 3*j + 4. Let b be j/((15/6)/5). Suppose b*s - 166 = 2*s. Is s composite?
False
Suppose 0 = -2*f + 3 + 5. Suppose 5*j - 2*v - 300 = 0, 0*j = -2*j - f*v + 144. Is j composite?
True
Suppose -w = 4*z - 18, -z + w + 7 = -0*w. Suppose z*b + 659 = 3*r, 4*r - 3*b - 217 = 3*r. Is r composite?
False
Let h(g) = -g**3 + g. Let o be h(0). Is (3 + o)/(3/59) a prime number?
True
Let p(j) be the second derivative of j**5/20 + j**4/3 - j**3/3 - 3*j**2/2 + j. Let q be p(-4). Suppose q*i - 150 = 115. Is i prime?
True
Suppose x = 5*d - 6, -2*d + 0 = -2. Let i be ((-16)/(-20))/(x/5). Let v = i - -7. Is v prime?
True
Let y(w) be the first derivative of w**6/24 - w**5/30 + w**4/24 + w**3/6 - 2*w**2 - 1. Let k(q) be the second derivative of y(q). Is k(2) a composite number?
True
Let c(a) = -36*a - 10. Let s(l) = -73*l - 21. Let k(x) = -7*c(x) + 3*s(x). Is k(4) a prime number?
True
Suppose 0 = -3*m + 2*m + 5. Suppose 5*r = m, -b + 3*r - 126 + 511 = 0. Suppose -83 - b = -3*f. Is f a composite number?
False
Let i = 6 - 5. Is (2 - i)*1*127 prime?
True
Let n = -101 - -1337. Suppose 4*j - 352 = n. Is j a prime number?
True
Let s(h) = 12*h**3 + 4*h**2 + 2*h - 1. Is s(4) a prime number?
True
Is ((-193 - 2) + -4)/(-1) prime?
True
Let d = 4 + 0. Is 6*1*d/8 a prime number?
True
Let a = 418 - 153. Is a prime?
False
Let b(s) = 6*s + s + 0*s - 3. Let m(w) = -21*w + 8. Let f(z) = 17*b(z) + 6*m(z). Is f(-4) a prime number?
False
Suppose 2*t = -i - 9, -i = t + 2*t + 14. Let q be i/(((-4)/(-3))/4). Suppose -16 - 2 = -q*d. Is d composite?
True
Suppose -3*q = -0*q - r - 50, -2*q + 4*r + 50 = 0. Suppose 0 = -5*i - q, -2*h - i + 145 = -0*h. Let l = h - 39. Is l a composite number?
True
Let m = 110 - 57. Is m a prime number?
True
Let d(f) = 17*f**2 - 7*f - 29. Is d(12) composite?
True
Let b(j) = 483*j**3 + j. Let y be b(1). Suppose 0 = 3*h + h - y. Is h a prime number?
False
Suppose -2*o = 3*x + 59, -x - 33 = -0*o + 4*o. Is (x/2)/(7/(-70)) prime?
False
Let q(i) = 2*i**2 + 8*i - 4. Let t be q(-7). Suppose 5*d - t = -13. Suppose n + d*p = 26, -4*n = n - 5*p - 40. Is n a composite number?
False
Suppose -g - 120 = -p + g, -p + 5*g + 114 = 0. Let s = p + -72. Suppose 3*n = -2*j + n + s, 0 = 5*j - n - 100. Is j prime?
False
Suppose -18 + 63 = 5*y. Let s = -6 + y. Suppose 0 = -b + 2, 3*b + 142 = s*q + q. Is q a composite number?
False
Suppose -3*x + 0*x = 5*f - 14, 0 = f + x - 2. Suppose 0 = f*i + 12, 529 = 2*y - 0*y + 3*i. Let o = -180 + y. Is o prime?
True
Let s(z) = 604*z + 1. Let g be s(1). Suppose 5*v - 934 = 3*p, 5*v + 2*p - 314 = g. Let r = v - 132. Is r prime?
True
Let g(m) be the third derivative of -m**5/60 - 2*m**4/3 - m**3/3 - 2*m**2. Is g(-11) composite?
False
Let w be ((-18)/(-54))/(1/(-393)). Let c = w + 220. Is c a composite number?
False
Let y(z) = -26*z + 37. Is y(-17) a composite number?
False
Suppose -2 = -8*t + 6*t. Let d be 0 + 3 + 1 + 0. Suppose 0 = -d*p - p - 4*s - t, -3*p - 5*s - 11 = 0. Is p prime?
True
Suppose -d + 6 = 2*a - 0*d, 4*a + 4*d = 16. Is (153/3 - 0) + a a prime number?
True
Suppose -5*o = -122 - 1843. Suppose -r - o = -4*r. Is r a composite number?
False
Suppose -9 - 39 = -4*g. Let x(l) = -l - 4. Let t be x(-4). Suppose -3*o = -g, -253 = -5*n - t*n + 3*o. Is n a prime number?
True
Suppose 0*n = 3*n + 2*k - 222, 15 = 5*k. Let t = -55 + 92. Let s = n - t. Is s a prime number?
False
Suppose 5*z = a + a - 430, 607 = 3*a + 2*z. Is a a prime number?
False
Suppose -15*a + 17*a - 118 = 0. Is a prime?
True
Suppose 25*s - 28*s + 267 = 0. Is s composite?
False
Let y(i) be the first derivative of i**4/4 - 3*i**3 - 9*i**2/2 + 7*i + 1. Let l be y(7). Let j = l - -219. Is j composite?
True
Suppose 1213 = -2*p + 5*p + 2*w, 3*w + 1589 = 4*p. Is p composite?
False
Suppose c + 5*m - 1087 = 0, -2*c - 5*m = 3*c - 5475. Is c a prime number?
True
Suppose -c + 1119 = 64. Is c composite?
True
Let q be 0/(-2)*(-2)/4. Let w(z) = -2*z**3 - 3*z**2 - 4*z - 188. Let s(h) = -3*h**3 - 4*h**2 - 5*h - 187. Let a(y) = 3*s(y) - 4*w(y). Is a(q) composite?
False
Let o(l) = -122*l - 9. Is o(-2) a composite number?
True
Suppose 9*j - 60665 = -23756. Is j composite?
True
Let w be 38/(-8) - (-4)/(-16). Let d be 12/w*325/(-10). Suppose 5*l + d = 8*l. Is l a composite number?
True
Is 1*(-3765)/(6/(-2)) prime?
False
Suppose -2*h + 2*w = -w - 345, -4*h = 2*w - 714. Is h prime?
False
Suppose -3*n - 12 = -7*n. Suppose 236 = -n*f + 1559. Let a = f + -250. Is a a prime number?
True
Let f(v) = -v**2 + 8*v - 8. Let x be f(6). Suppose 0 = 4*n - x*g - 72, 4*n = -n + g + 110. Is n prime?
True
Let z(g) = 126*g + 1. Is z(1) composite?
False
Let k = 7 - -3. Suppose -u + 5*v - 25 = 2*u, 2*v - k = -4*u. Let o(q) = q**3 - q**2 + q + 47. Is o(u) a composite number?
False
Suppose 351 = 5*c - 364. Suppose c = 3*o - 0*o + z, 4*z = 2*o - 72. Is o composite?
True
Suppose 5*c - k + 5 = 4*k, 5*k = 0. Let t be 0 + c + -1 + 22. Let o = t - 7. Is o prime?
True
Let m(l) = -1 - 3 - l**2 - 8*l + 3*l**2 + 7. Is m(5) prime?
True
Let o(q) = q**3 - 8*q**2 + 4*q - 4. Let g be o(8). Let a = g + -17. Is a prime?
True
Let g(r) be the third derivative of r**4/24 - r**3/2 - r**2. Let o be g(3). Suppose 2*s - 19 = -l, 3*s = 5*l - o*s - 43. Is l a prime number?
True
Is (10 - 9)/((-1)/(-19)) prime?
True
Let v(z) = 1216*z**2 + 5*z + 7. Is v(-2) a prime number?
True
Let z(o) = 11*o**3 + 2*o - 1. Is z(2) a composite number?
True
Let h(s) = -s**3 + 6*s**2 + 5*s + 5. Is h(-6) composite?
True
Suppose -4*q + 2*r + 0*r + 9714 = 0, -3*r = 5*q - 12148. Is q a prime number?
False
Is (4/6)/((-6)/(-10359)) prime?
True
Let y be ((-3)/(-4))/((-4)/(-688)). Let u = y + -270. Let f = -22 - u. Is f a composite number?
True
Let u(c) = c**3 + 4*c**2 + c + 1. Is u(-3) composite?
False
Let m = 248 - 153. Is m a composite number?
True
Suppose r = 4*l - 9, 4*l = -4*r - 2 + 26. Suppose -71 = 2*q + m, -7*q + 2*m = -l*q + 138. Let j = q - -72. Is j prime?
True
Let q(m) = -10*m. Let i be q(-1). Suppose 5*t + i = 0, -k + 2*t = -4 - 8. Is 267*(k/(-6))/(-4) composite?
False
Suppose -3*u + 2*t + 73 = 0, 82 = 4*u + 2*t + 3*t. Let z = 46 - u. Is z composite?
False
Let x be (-1)/3 - (-2)/6. Let h(u) = u**2 - u + 37. Is h(x) prime?
True
Let w(i) be the second derivative of 13*i**5/120 - 7*i**4/24 + 2*i**3/3 + i. Let y(p) be the second derivative of w(p). Is y(6) prime?
True
Let k be (1 + -1 - 0)*-1. Let l = k + -1. Is ((-5)/2)/(l/10) composite?
True
Let y = 131 - 50. Let c = y + -38. Is c a prime number?
True
Let x be (0 + 4/6)*3. Is 8/x + (-174)/(-6) a composite number?
True
Let g be 0*2/(-4) - -2. Suppose 3*s - 440 = -g*s. Suppose 0 = 4*u - s - 60. Is u prime?
True
Suppose 5*r + 5*b - 3365 = 0, -3*r + 5*b + 1024 = -995. Is r a prime number?
True
Let t(f) = -f**3 + 3*f**2 + 0 - 11*f - 5 - 13*f**2. Let h be t(-9). Let g = 24 + h. Is g composite?
False
Suppose -k + 2*b - 5 = 7*b, -5*k - 4*b + 17 = 0. Suppose -k*f - 4*q + 1695 = 0, 640 = -3*f + q + 1657. Is f prime?
False
Let p(g) = 5*g**2 + 6*g + 21. Is p(-8) composite?
False
Let v be 36/10*(5 - 0). Let r be (7/3)/(3/v). Suppose 0 = 2*a - 5*g - 32, -3*g + 5*g = a - r. Is a a prime number?
False
Suppose 7453 = 18*m - 22877. Is m a composite number?
True
Let y(i) = i**3 + i**2 + 8*i - 7. Let o be y(5). Let n = -77 + o. Suppose -2*v = -4 - n. Is v composite?
True
Let t = -17 + 27. Let z be (-132)/9 - (-2)/(-6). Is 4/t + (-189)/z a composite number?
False
Let y(n) = 2*n**2 - 14*n - 7. Is y(10) composite?
False
Suppose 3*q - s + 0*s = 557, 0 = -2*q - 3*s