1217 prime?
True
Is (-654)/9*6/(-4) a prime number?
True
Let r(z) be the third derivative of 4*z**2 + 1/24*z**4 + 0 + 0*z - 1/15*z**5 + 5/6*z**3 - 1/120*z**6. Is r(-5) composite?
True
Let o = 0 + 2. Is (-6)/o*4206/(-18) composite?
False
Suppose -59 = -2*o - 19. Suppose -4*k = -o, 4*t = 5*k + 873 + 330. Is t composite?
False
Suppose 0 = 5*n - 168 - 287. Suppose 4*i = -2*p + 78, -n = -0*i - 3*i + 5*p. Is (i/3)/(10/45) prime?
False
Let u = -57 - -129. Suppose -2*p - u = 2*p. Let q = -11 - p. Is q a prime number?
True
Let j = 11 + -15. Let a(b) = -2*b**3 - 9*b**2 - 2*b - 6. Let k(u) = -2*u**3 - 10*u**2 - u - 6. Let q(r) = 4*a(r) - 3*k(r). Is q(j) prime?
False
Is (-3)/((2 + 416/(-211))/(-2)) prime?
True
Let n = 2 - 1. Let b = -3 + n. Is 6/3*14 + b prime?
False
Suppose 5*o - 4*g = 31, -2*o = -0*g - 5*g - 26. Suppose 5*w - o*j = 280 + 352, -4*j = -3*w + 377. Is w prime?
True
Suppose -5*r + u + 13595 = 0, -3*u = -r - 8*u + 2719. Is r a prime number?
True
Let n be (12/(-10))/(7/(-140)). Let j = -2 + n. Is j a composite number?
True
Let r = 17 + -8. Suppose -n + 4 = 4*v - 7, 0 = 3*v - r. Is -2 - -25 - 2*n a composite number?
True
Let v(k) = 25*k**3 + 2*k**2 + 2*k - 1. Is v(2) prime?
True
Suppose -3*k - 23 = -5*a + 191, 0 = 5*k - a + 342. Let s be 2 + (k - 0/2). Let l = -43 - s. Is l a prime number?
True
Suppose 2*a + 43 = -a + x, -x = 2. Is (0 - -537)/(a/(-10)) a composite number?
True
Let v be 3*(3 - 2) - -2. Suppose -5*h + 2332 = -5*w + 4*w, -v*w = -2*h + 919. Is h prime?
True
Let k be (-24)/10 - 6/(-15). Let t = 1 - k. Suppose -2*o = c - 533, 358 + 422 = t*o - 5*c. Is o composite?
True
Let u be 3 + (-33)/(-6)*18. Suppose 0 = 4*d - 2*d - u. Is d a composite number?
True
Let h = 884 + -528. Suppose k + 3*k - h = 0. Is k prime?
True
Let a(f) = -4*f + 3. Let y(t) = -t - 11. Let r be y(-7). Is a(r) composite?
False
Let v(z) = 83*z + 12. Is v(5) a prime number?
False
Let y = -165 + 339. Suppose 3 = b, 0 = -3*n - 2*b - 3*b + y. Is n a prime number?
True
Let b = -160 - -17. Is b*(-1)/(-2 + 3) a prime number?
False
Let d = 207 + -89. Is d a prime number?
False
Suppose p + 2*h + 8 = 3*p, 0 = p - 5*h. Suppose 310 = p*s - s + v, -2*v = 4*s - 312. Let n = s + 2. Is n a composite number?
False
Let z be (16/10)/(6/15). Suppose 1095 = -0*j + 5*j + 4*t, -z*j = -3*t - 845. Is j prime?
False
Is (-128 + 1 + 0)/(-1) composite?
False
Let t(i) = 121*i**2 - 1. Let r be t(1). Let u = -51 + r. Is u prime?
False
Suppose -5*u = 4*z - 0*u + 85, -2*z + 4*u - 62 = 0. Suppose -2*q - 46 = q - 5*x, -4*q - 46 = x. Let j = q - z. Is j prime?
True
Let k be 6*3/6 + 67. Let a = k + -32. Is a prime?
False
Let f = 16 + -11. Suppose -q + 0*q + 154 = 3*y, 2*y = -f*q + 81. Is y prime?
True
Suppose 0 = 4*q - c + 4*c - 925, -3*c - 15 = 0. Is q prime?
False
Suppose -2*d = -176 - 438. Is d a prime number?
True
Suppose -5*b = 10, -2*b + 0*b = -5*p + 14. Suppose 169 = p*f + 3*t, 2*f + 2*t = t + 175. Is f prime?
True
Suppose -p - 5*f = -99, -108 + 1 = -p - 3*f. Is p prime?
False
Let p(i) = 9*i**2 + 2*i - 1. Is p(6) a prime number?
False
Is (324/(-8) + 1/(-2))*-13 prime?
False
Let a(b) = 715*b**2 - b - 3. Let c be a(2). Suppose -c = 16*u - 21*u. Is u prime?
True
Let i(y) = -3*y**3 + 2*y**2 - 9*y + 1. Is i(-7) a prime number?
False
Let a = 10 - 6. Suppose -l - 8 + 80 = -5*j, a*l - 2*j - 198 = 0. Suppose 0 = 5*k + 12 - l. Is k a composite number?
False
Let l(j) be the third derivative of -j**5/60 - j**4/6 - j**2. Let d be l(-5). Let w(z) = 2*z**2 - z - 2. Is w(d) composite?
False
Let b = -2 + -3. Let t be (-2)/b - 4284/(-15). Suppose 3*c = 3*w - 0*c - 426, -4*c - t = -2*w. Is w composite?
True
Let v = 5 + -2. Let d(g) = 2*g + g**v + 3*g**2 + g**2 + 1 + 5*g**2 + 4. Is d(-7) composite?
False
Suppose -67 = o + 124. Let d = 270 + o. Is d prime?
True
Let x(j) be the third derivative of 5*j**4/6 - j**3/2 - 4*j**2. Is x(2) composite?
False
Suppose u - 4279 = -4*i, 2*u = 4 + 2. Is i prime?
True
Let h(m) be the second derivative of 9*m**5/20 - m**4/12 - m**3/6 - m**2/2 + 3*m. Let n(q) be the first derivative of h(q). Is n(2) a prime number?
True
Suppose 5*n - 5*w + 873 = -1247, 5*n = -w - 2108. Let x = -49 - n. Is x a composite number?
False
Let n(g) = g + 6 - 3*g + g. Let s be n(3). Is -5 - -149 - s*1 a prime number?
False
Let j(s) = 3*s**2 - 6*s - 8. Let m be j(7). Let x = m + -44. Is x prime?
True
Let v(r) = -7*r**2 - 2*r**2 + 3*r**2 + 3 - r**3 + 2*r + 6*r. Let b be v(-7). Is 64 + 2/b*-2 prime?
False
Let q(y) = 1540*y + 29. Is q(2) prime?
True
Let t = -58 + 113. Is t a prime number?
False
Let j(r) = 59*r**3 + 11*r**2 + 5*r - 7. Let d(w) = 29*w**3 + 6*w**2 + 3*w - 4. Let a(b) = -11*d(b) + 6*j(b). Is a(1) composite?
True
Suppose 561 = 2*b + b. Is b a prime number?
False
Suppose -4*a - 3261 = -7*a. Is a a composite number?
False
Let t(n) = 22*n - 19. Is t(15) a prime number?
True
Suppose -j - 5*j = -120. Is (470/j)/(2/4) a prime number?
True
Let o(d) = 94*d**2 - 3*d + 7. Let h(c) = 47*c**2 - 2*c + 4. Let b(x) = -5*h(x) + 3*o(x). Suppose 0 = -2*u + 8, -u = -t - 6*u + 19. Is b(t) a composite number?
False
Let n(f) = 93*f**2 - 3*f + 2. Let w be n(1). Let d = w - 49. Is d a prime number?
True
Let l be -2 - (-20 - (-4)/(-2)). Suppose 4 = z - 3*m - 0, -m - 34 = -5*z. Suppose 0 = 4*a - l, 2*a - 35 = -2*j - z. Is j prime?
False
Let i = -65 - -396. Is i composite?
False
Let l = -12 + 15. Suppose -6*j + 381 = -l*j. Is j composite?
False
Let s be 6/(-2) + 3 + 2. Suppose s*v = -m + 8, 0 = -0*m + m + 5*v - 20. Suppose q + 2*q - 45 = m. Is q a prime number?
False
Suppose -5*w + 3*w + 4 = 0. Is ((-17)/(-3))/(w/12) composite?
True
Let p(x) = x**3 + 5*x**2 - 4*x + 3. Let i be p(-5). Let j = i - -8. Is j a composite number?
False
Let y(q) = -5*q**2 - 3*q + 7. Let t(i) = 7*i**2 + 4*i - 10. Let w = 8 + -16. Let r(x) = w*y(x) - 5*t(x). Is r(-7) prime?
True
Let n be ((-1)/1 - -4) + -5. Is 20/3 + n/(-6) composite?
False
Let h(s) = -s**2 - 15*s + 2. Let u(f) = -4*f**2 - 44*f + 5. Let y(c) = -7*h(c) + 2*u(c). Let j be y(9). Suppose -107 = -5*m + j. Is m composite?
True
Let b be (0 - 0)*(-3)/(-6). Suppose b*l + 15 = l. Is l prime?
False
Suppose -5*d - 8 = 2. Let u be (-6)/(d + 2 - 2). Suppose u*h = -3*r + 2*h + 7, -2*h + 2 = 0. Is r prime?
True
Is ((-16201)/34)/(1/(-2)) a prime number?
True
Suppose 4*l + 194 = 6*l. Is l a composite number?
False
Let m(s) = -s**2 + 11*s - 1 - 9*s + 2*s**2 - 16*s**3. Let x(j) = -16*j**3 + j**2 + j - 1. Let w(d) = 2*m(d) - 3*x(d). Is w(2) a composite number?
False
Let u = -579 - -1270. Is u composite?
False
Let n(c) = 4*c - 1. Let y be 2/(-1*(-4)/6). Is n(y) a prime number?
True
Let s(p) = -24*p + 10. Is s(-8) a prime number?
False
Suppose s - 4*s = -9. Suppose 0 = s*u + u - 1180. Is u a composite number?
True
Let s = -36 + 289. Is s composite?
True
Let c = 328 - 180. Suppose 2*u - c = 6. Is u prime?
False
Suppose -1455 = 3*c - 6*c. Is c composite?
True
Let k = -6 - -6. Let a = k + 0. Suppose 2*y = -w - a + 19, -4*w = -y + 14. Is y a composite number?
True
Suppose -2*x = o - 4*o - 374, -2*o - 260 = -4*x. Let j = 175 + o. Is j prime?
True
Suppose -3*d + 3*m = 0, 0*m - m = 2*d - 12. Suppose 5*b - 341 = -4*k + 20, 2*k - d*b = 174. Is k a prime number?
True
Suppose -1 = -2*s + 9. Is (-356)/2*s/(-10) prime?
True
Let j = -94 - -161. Is j composite?
False
Suppose 2*l + 3*z = 2932, 0 = -z - 0 + 2. Suppose 4*s + 285 = h, l = 5*h - 0*s - s. Is h a prime number?
True
Let d(k) be the third derivative of -1/120*k**6 - 1/6*k**3 - 7/12*k**4 - 2*k**2 + 0*k - 11/60*k**5 + 0. Is d(-10) a prime number?
False
Suppose -2*z = -3*z - 3. Let s be z/12 - 305/(-4). Suppose -f + 2*f + 3*i = s, -5*f = -2*i - 329. Is f prime?
True
Suppose 2*d + 3*d = -170. Let b be d/(-2) - (1 - -1). Is 397/5 - 6/b composite?
False
Let y = -3 - -5. Suppose -3*j + 0*j - c + 237 = 0, -246 = -3*j + y*c. Suppose j + 5 = m. Is m prime?
False
Let u = 140 - 94. Is u a prime number?
False
Let q be 1/((-1 - -2)*-1). Suppose 0 = i - 0 - 1. Is 1 + q - (i - 4) composite?
False
Is (-35)/7*339/(-15) a composite number?
False
Let a(i) be the second derivative of -10*i**3/3 - 3*i**2 + 5*i. Is a(-4) composite?
True
Let z = -85 - -156. Is z a prime number?
True
Let y(n) = 2*n - 2. Let c be y(6). Let t(w) = 8*w - 13. Is t(c) prime?
True
Let c(o) be the first derivat