 prime number?
False
Let s be -2 - ((-22)/(-10) - 3/15). Let j(k) = -k**3 + 5*k**2 + 5*k + 3. Is j(s) a prime number?
True
Let c(o) = 2*o**3 - 10*o**2 - 10*o - 7. Let v be (-12)/8*(1 + 1 + -8). Is c(v) prime?
False
Suppose 3*f + 291 = 6*f. Let v = f - -960. Suppose -2*g = -v + 311. Is g a prime number?
True
Let w be 3/6*11*2. Suppose -12*m + w*m = 2. Is (4 - (5 - m)) + 194 composite?
False
Suppose 35066 = -17*h + 186145. Is h prime?
True
Let w(u) = -10*u - 3*u**2 - 27*u**3 + 16*u**3 + 10*u**3 + 7 - 6*u. Is w(-11) prime?
True
Let b be (30/5)/(-3)*2. Is (1138 - -4)*(-2)/b composite?
False
Let r be 363/2*6/9. Let s = r + -424. Let g = -50 - s. Is g composite?
True
Suppose -5 = -5*c + 15. Suppose 0 = -2*l + 3 - 1, -c*l + 59 = 5*j. Is j composite?
False
Let i(o) = 285*o**3 + 2*o - 1. Let n be i(1). Let k = -319 - n. Is (k/22)/(1/(-2)) composite?
True
Let g = -69678 + 152135. Is g a prime number?
True
Suppose 2*r - 5*n - 19 = -0, r = 2*n + 9. Let x(a) = 3 - 9 - r - 43*a + 0. Is x(-12) a prime number?
True
Let w be 4/(-1) - (-1 + -5). Let o(p) = -p**3 + 3*p**2 - 2*p + 2. Let k be o(w). Is (1592/4 - k) + 1 prime?
True
Let p(v) be the third derivative of -6*v**2 - 7/24*v**4 - 4/3*v**3 + 1/4*v**5 + 1/120*v**6 + 0 + 0*v. Is p(-15) composite?
False
Let x be (-5 + 3)/(-4)*-1022. Let o = x - -818. Is o a prime number?
True
Let c be -4 - (-1 - (-1 - -43)). Let m be -4*(c/(-12) - -2). Suppose 5*p - 658 = 2*p - m*i, -i = p - 216. Is p a prime number?
True
Let s(h) = -h - 1329*h**2 + 1361*h**2 - 19*h + 33 + h + h**3. Is s(-31) prime?
True
Suppose -5*g - 5*k + 1 = -4, -k = -g - 5. Is 580/4 - (-8)/g prime?
False
Suppose -z - 66 = -12*z. Let s(g) = -14 + 5*g - 3*g + 6*g**2 + 4*g**2. Is s(z) prime?
False
Let v be (2/4 + (-45)/6)*-3. Suppose -16*g - 6295 = -v*g. Is g composite?
False
Let w(k) = 92*k**2 + 40*k - 259. Is w(12) composite?
False
Is ((-162087)/6 + -4)*(1 - 3) a composite number?
False
Let a(k) = 1 - 5 - 6*k**2 + 2. Let h(b) = 11*b**2 + 4. Let u(f) = 5*a(f) + 3*h(f). Is u(-7) composite?
False
Let l(m) = -m**2 + 10*m + 13. Let s be l(11). Suppose -4 = -3*b + 2*a, 0 = 2*b + 4*a - 2*a + 4. Suppose f - 3*f = -3*d - 191, b = -4*f - s*d + 422. Is f prime?
True
Suppose 0 = j - 19*j + 52956. Is j composite?
True
Suppose -4*a + 5*f = -1638, -2*a + 334 + 482 = -f. Is a a prime number?
False
Suppose 0 = 2*t + f - 12, 0*f - 2*f + 14 = 2*t. Suppose -t*u + 1031 = c - 61, 0 = -2*c + 4*u + 2170. Is c composite?
False
Suppose 6*x + 15 + 3 = 0. Is 3745/7 + x/(6/4) composite?
True
Let h be ((-24)/(-32))/(2/(-8)). Let u be 21*5 + -1 + h. Let r = -52 + u. Is r prime?
False
Let r(u) = 7*u + 2*u**2 + 1 + 0*u**2 - 4 - u. Suppose 4*z - 8 = -2*l, -3*z - 5*l = -l + 4. Is r(z) a prime number?
True
Suppose 10*w + 6974 = 21*w. Is w composite?
True
Suppose 4*x + 3*h - 17442 = 0, -x + 2*h + 4357 = h. Suppose 2133 = f + u, 4*f + x = 4*u + 12859. Is f prime?
True
Let y(w) be the third derivative of 29*w**6/12 - w**3/6 + 4*w**2. Let c be y(1). Suppose 0 = -4*b - 77 + c. Is b a composite number?
False
Let p = -7 + 9. Let j(b) = 16*b**p - 3*b**2 - 9 + 8 + b**2. Is j(-2) composite?
True
Suppose -z + 3928 = 3*v, v = -z + 1521 + 2409. Suppose 0 = -4*p + 3*b + 5450, -5*p + b + z = -2876. Is p prime?
True
Let v = 2094 + -1301. Let t = -466 + 130. Let g = v + t. Is g a composite number?
False
Let l(w) = -w + 54. Let i be l(7). Suppose i*p = 51*p - 844. Is p composite?
False
Suppose -y = -3*z - 6*y + 370, 398 = 3*z - 2*y. Let i(m) = 7*m + 111. Let l be i(-26). Let f = l + z. Is f a prime number?
True
Is (-20)/(-6)*(82290/20)/13 a prime number?
False
Let l(w) = 5974*w + 7. Let v be l(1). Let s = -3928 + v. Is s prime?
True
Suppose 0 = 30*t - t - 5162. Is t prime?
False
Let w be ((-3)/2)/(6/(-12)). Let p(t) = t**2 - 3*t - 1. Let n be p(w). Is (n/(-2))/((-7)/(-98)) a composite number?
False
Let h be ((-6)/15)/(2/(-1580)). Suppose -3*k + h = k. Is k composite?
False
Let q(x) = -3*x**2 + 6*x - 10. Let i be q(8). Let o be (1 + 2)/(21/i). Let s = o - -45. Is s prime?
True
Let n = -1171 - -2012. Is n prime?
False
Let x = 1 - -3. Suppose 2*l - y = -x*y + 268, -3*l - 5*y = -402. Let h = l - 39. Is h composite?
True
Let k(d) = 7*d**2 + 5*d - 9. Is k(-5) a prime number?
False
Suppose 0 = 5*o + 4*g - 2107, 5*o - 4*g + 2*g = 2119. Suppose d - 364 = o. Is d a composite number?
False
Is (1051883/(-147))/(2/(-6)) prime?
True
Suppose -623 = -q - 6*q. Let c = -46 + q. Is c prime?
True
Suppose -138 - 164 = -d. Is d composite?
True
Let h(z) = -161*z + 51. Is h(-4) a prime number?
False
Suppose 7*z + 5*f = 4*z + 13019, 17382 = 4*z - 5*f. Is z composite?
True
Suppose 3*x - 17 = -z, -2*z + x + 3*x = 6. Suppose -z*n + 3*n = -1838. Is n a composite number?
False
Let v be 755 - -2*((-20)/(-8) + -1). Suppose -i + v = -2739. Is i a composite number?
True
Let d(r) = r**3 - 11*r**2 - 41*r + 50. Is d(19) composite?
True
Let f = 13918 - 9344. Is f a composite number?
True
Suppose -2*s + 14 = -10. Suppose 0 = -2*j - s + 6. Is (j + 2)/(2/(-466)) prime?
True
Is 0 - 341512/(-28) - 3/(-21) a composite number?
False
Suppose 2*q - 2 = -m - 15, 2*m - 1 = 5*q. Let g(v) = v**3 + 12*v**2 + 3*v - 10. Let d be g(m). Suppose 3*z - d = -3*s - 64, -5*s + 271 = -2*z. Is s prime?
True
Suppose 26 - 11 = 3*p. Suppose 0 = 6*r - p*r - 2491. Is r prime?
False
Let k(m) = 8*m**2 + 3*m - 1. Let i be ((-8)/(-10))/(5/(-25)). Is k(i) composite?
True
Suppose 3*t + 590 = 2*t + 3*k, -3*k = -4*t - 2360. Let i be -7 + (-4)/(-1) - t. Is i/(3/(-6)*-2) prime?
True
Let o = 2524 + -765. Is o prime?
True
Let u(g) = g - 2. Let a be u(0). Is a*((-55)/2 - -1) a composite number?
False
Let f(s) be the first derivative of -s**3/3 - s**2 + 3*s - 2. Let k be f(-3). Suppose k = -6*v + 2*v + 332. Is v a prime number?
True
Let w(y) = -y**2 - 13*y - 11. Suppose 0 = -2*n - 4*c + c - 11, -4*n = -c + 43. Is w(n) a prime number?
True
Let r be ((-14728)/140)/(-1*(-2)/(-120)). Is r/2 + (-6)/(-12)*-6 a prime number?
False
Suppose -8*c + 10824 = 2600. Suppose 5*u = u, 3*u = 4*b - c. Is b a composite number?
False
Let w(a) = -31*a**2 - 2. Let t(j) = j**2 + 4*j - 7. Let n be t(-6). Let z be w(n). Is (z/9)/(5/(-15)) a composite number?
True
Suppose 2*p = 5*z + 29, -2*p = -z + 6*z - 19. Let r be p/(-42) - 5613/(-21). Suppose -4*l + 473 = -r. Is l a composite number?
True
Suppose -2*s = -5*s. Suppose s*u - u = 0. Suppose z - 105 - 128 = u. Is z composite?
False
Suppose 0 = 2*o - 4*o - 88. Let i be 8/10 + o/(-20). Suppose z + 968 = 2*b, 0 = i*b + 6*z - z - 1465. Is b composite?
True
Let k = -90 - -10. Let r = -43 - k. Is r a prime number?
True
Let u(d) = -871*d - 12. Let q be u(6). Is q/(-78) - 4/26 a prime number?
True
Let r(v) = -v**2 + 11*v - 3. Let d(u) = 5*u**2 + 7*u + 3. Let p(y) = 4*y**2 + 7*y + 2. Let x(s) = -5*d(s) + 6*p(s). Let f be x(4). Is r(f) a prime number?
False
Is 26338*(-3 - -4) + -1 a composite number?
True
Suppose 0 = 3*y + d - 13, -y - 2*d = -2 + 1. Suppose -3*f - 26 = y*w, 0 = 2*w - 5*f + 39 - 10. Let x = 120 - w. Is x composite?
False
Let z = -20 - -14. Let f(y) = y**3. Let m(q) = 6*q**3 + 12*q**2 + 10*q + 7. Let v(s) = -5*f(s) + m(s). Is v(z) a composite number?
False
Suppose 5*h + 247 - 7017 = 0. Suppose -h = w - 3*w. Is w prime?
True
Let m = -4 + 6. Suppose -303 = -5*v - 2*d - 49, -2*v = -m*d - 110. Suppose b - 183 = -v. Is b prime?
True
Let v(m) = 6*m + 2. Suppose -27 = -6*s + 33. Is v(s) a prime number?
False
Let g(v) = 34*v**2 + v**3 - 3*v**3 - 13*v**2 + v**3 - 15 + v. Let k be g(21). Let d(o) = o**2 + o - 7. Is d(k) prime?
False
Let s = 6505 - 1322. Is s a composite number?
True
Let o be 722/(-4)*(-8)/4. Suppose -s + 1916 = o. Is s prime?
False
Let s(d) = 4*d**3 - 89*d**2 - 9*d + 36. Is s(25) composite?
True
Let j(s) = 36*s**2 - 37*s + 323. Is j(16) composite?
True
Let i(z) be the third derivative of 6*z**2 + 0*z - 5/12*z**4 + 0 - 5/6*z**3. Is i(-3) a prime number?
False
Let k = 8 + 0. Is 2/(k/236*1) a composite number?
False
Suppose 4*i = -5*v + 1562 + 3053, -914 = -v + i. Is v prime?
True
Suppose 0 = 4*m - 2*i - 26, -3*m = -3*i + 4*i - 17. Suppose 0 = 5*l + c - 4*c + m, -2*l - 2*c = -4. Suppose l = -3*t - 5*t + 2456. Is t prime?
True
Suppose 4*w + 3*a = 8*a + 11007, -8284 = -3*w - 2*a. Suppose 5*y - w = -153. Is y composite?
False
Suppose -3*p + 5*b = -264, 