ppose -q + n + 208 = 0, 3*q = -q - n + c. Is q a prime number?
False
Let r(x) be the first derivative of 135*x**2/2 + 26*x + 4. Is r(11) a composite number?
False
Suppose -227*t + 63805 = -222*t. Is t a composite number?
True
Suppose 22*l - 263809 - 117605 = 0. Is l a composite number?
True
Let m(i) = i**2 + 7*i - 13. Let k be m(-9). Suppose -k = -3*x + 1. Suppose -3*y + x*h = 42 - 331, -2*y = 4*h - 182. Is y a composite number?
True
Is (-14816)/(-10) - 195/325 composite?
False
Let v(g) = -10*g - 3. Let a be v(14). Let c = 538 + a. Is c composite?
True
Suppose 0 = -p - g - 0*g + 5, 3*p - 14 = -2*g. Suppose 0*r + 134 = 2*v + p*r, -2*v = -5*r - 179. Is v prime?
False
Suppose -4*c + 10 = -w, -3*w + 5*w = -5*c + 6. Is c*(-3 + (-370)/(-4)) a composite number?
False
Let n(s) = -150*s + 7. Suppose -71*r + 76*r + 10 = 0. Is n(r) composite?
False
Let i(h) = -2*h - 14*h - 5 + 0*h. Let q be (-3 - -7 - 2)*-2. Is i(q) composite?
False
Let l(r) be the first derivative of -r**4/2 - 2*r**3/3 + 11*r**2/2 + 7*r - 20. Is l(-4) a prime number?
True
Let j(h) = -6*h + 39. Let f be j(7). Is (-5)/3*(27 - 4)*f a prime number?
False
Let x = 3 - 1. Suppose 4*t - 3*l - 923 = 2*l, 3*l = 3*t - 696. Suppose p = -x*p + t. Is p prime?
True
Suppose 0*l - 5*l + 570 = 0. Suppose -2*n - n + l = 0. Is n prime?
False
Let r = 15249 + -4030. Is r composite?
True
Let k(b) = -b**3 + 12*b**2 - 13*b + 22. Let s be k(11). Suppose s = -2*o - 4*n + 1782, 0*n = -3*o - 3*n + 2670. Is o composite?
True
Is (-4)/16 + 27634/8 + -1 composite?
True
Is 2524508/(-580)*5/(-1) a prime number?
False
Let n = 71 + 699. Suppose -9*i - i + n = 0. Is i prime?
False
Let x(b) = -3*b - 4. Let h be x(-2). Let j(t) = 49*t**2 + 4*t - 3. Is j(h) prime?
False
Let i(t) = -2*t**3 - 10*t**2 + 39*t - 61. Is i(-20) prime?
True
Let u(b) = 51*b**2 - 13*b + 15. Is u(-8) a prime number?
False
Let y(i) = i**3 - 2*i**2 - i - 2. Let f be y(3). Suppose -f*z = -8*z. Suppose 66 = -z*r + 2*r. Is r a prime number?
False
Suppose -9*a - 988 = -5*a. Let r = 195 - a. Suppose -4*p - r = -6*p. Is p a composite number?
True
Is 3203/(((-8)/28)/(1 + -3)) composite?
True
Suppose -5*w = 10914 - 70699. Is w prime?
False
Let b(m) = 133*m**2 - m - 55. Is b(-6) a composite number?
True
Let s(n) = n**3 - 5*n**2 + n - 2. Let l be s(5). Suppose 133 = -4*d + l*w, -5*w - 145 = 4*d + 28. Let y = d + 196. Is y composite?
True
Let c(d) = d**3 + 2*d**2 + d + 3. Let f be c(0). Is 650 + (-1 + 3 - f) prime?
False
Suppose 2*m + 279 - 796 = 3*l, 0 = 5*m + 4*l - 1235. Is m composite?
False
Let z(o) = 37*o**2 + 13*o - 37. Is z(11) composite?
False
Let c(v) = -v**3 + 17*v**2 - 15*v - 4. Let t be c(16). Suppose t*f - f - 39457 = 0. Is f composite?
True
Is 1/2 - 156795/(-30) a prime number?
True
Let u = 3 + 3. Suppose -12*y + 2514 = -u*y. Is y a prime number?
True
Let b be (99/22)/((-3)/(-4)). Let g(x) = -b + 2*x - 16*x + x**3 - x**2 + 0*x**2 + 1. Is g(7) prime?
True
Let w be 1/((-5)/(-2320)) + 4. Suppose 6*p - w = 930. Is p a composite number?
False
Suppose -9 = -h + z, 27 = 2*h - z - 4*z. Is (-1)/h + (-430)/(-60) a prime number?
True
Let r = 47377 - 25503. Is r a prime number?
False
Suppose 4*z - 6624 = -4*y, -8249 - 33 = -5*z - 3*y. Is z a prime number?
True
Let l = 5 - 2. Suppose l*g + 4 = g. Is g/(49/51 - 1) prime?
False
Suppose -215 - 5 = -2*p. Let a = p - 13. Is a composite?
False
Suppose -23543 = 29*m - 42*m. Is m a composite number?
False
Suppose -2*s - 2 = -6, 3*w - 5*s - 2 = 0. Let y be 2 + (w - 3/(-1)). Let a = 19 - y. Is a prime?
False
Let r = -33 + 37. Suppose 0 = r*y - 3103 + 227. Is y composite?
False
Let t(r) = r**2 + 12*r + 5. Let p be ((-3)/(-2))/(-1)*8. Let q be t(p). Suppose 7*s = q*s + 262. Is s composite?
False
Let q(m) be the second derivative of 0 + 1/12*m**4 - 1/3*m**3 + 1/2*m**2 - 4*m. Is q(-10) composite?
True
Suppose 0*b + 8*b - 128 = 0. Let v be 4 - 1*b/4. Suppose 6*t - 3*t + 3*a - 201 = 0, -a = v. Is t prime?
True
Let m = -58 - -58. Suppose 7210 = 5*a - m*q - q, -4*a = -q - 5769. Is a composite?
True
Let p(u) = -9*u + 162*u - 3*u - 11. Is p(2) prime?
False
Let d = -91 + 94. Suppose 10*c = d*c + 3353. Is c a composite number?
False
Let c = 2659 + -900. Is c a composite number?
False
Let a(c) = -8*c**3 + c**2 - 3*c - 17. Is a(-4) a composite number?
False
Let u(z) = 68*z**2 - 6*z - 7. Let a be u(-3). Suppose 1257 = 4*f - a. Let t = -247 + f. Is t a prime number?
True
Is 1/(((-32)/(-58684))/8) composite?
True
Suppose 8*b = 21 + 75. Is 5829/b - 21/28 prime?
False
Suppose 8*h - 48277 = 2259. Is h composite?
False
Let l(c) = 35*c + 30. Let x be l(7). Suppose -n + x + 1398 = 0. Is n a composite number?
True
Suppose -246*h - 12 = -248*h. Is (-19482)/(-10) + 8/60*h composite?
False
Let w = 388 + 397. Is w a composite number?
True
Let j = -5 - 296. Let w = j - -1064. Is w a composite number?
True
Is (-10)/35 - ((-242460)/28 - 4) a composite number?
False
Let y = 8788 - 5295. Is y a composite number?
True
Let n be 324/42 + 6/21. Suppose -n*r + 19894 = 1022. Is r a composite number?
True
Let b = 5267 - 3706. Is b prime?
False
Suppose 22*h + 254 = 3906. Suppose -2*b = -4*b + 166. Let k = h - b. Is k a composite number?
False
Let w = -82 + 59. Let m(b) = 12*b**2 + 11*b + 4. Let u be m(-4). Let j = u + w. Is j a composite number?
True
Suppose -z - 52 = -2*v - 351, 5*v + 296 = z. Suppose -346 = -s + z. Is s composite?
False
Let v(z) = -z**2 - 3*z + 14969. Is v(0) composite?
False
Let i be (-4)/26 - (-53280)/208. Suppose 3*x - 413 - i = 0. Is x a prime number?
True
Let b(x) be the first derivative of -x**4/4 - 2*x**3/3 + 4*x**2 + 5*x + 6. Let s be b(-8). Suppose -4*l - 4*v + 200 = -60, -5*l - 4*v = -s. Is l composite?
True
Suppose 0 = 4*u - 11976 + 260. Let s(c) = 2*c**2 + 34*c - 33. Let f be s(-18). Suppose 0 = l + f*b - 593, -2*l + 3*b = 3*l - u. Is l a prime number?
True
Let q(m) = -m - 8. Let j be q(10). Is (2/(-5))/(j/3870) a composite number?
True
Is 19/(-2)*(-710 + -36) a prime number?
False
Let a = 4009 - 1378. Suppose -11*y = -8*y - a. Is y prime?
True
Suppose -2*y - 4*m = -2956, 0 = -0*y - 4*y - 2*m + 5936. Is y composite?
True
Let i = -14 - -29. Suppose 5*n - n + 7 = -3*m, -m = -3*n - i. Suppose -5*j = m*d - 410, 5*j - 405 = -2*d - 2*d. Is j a prime number?
False
Suppose 0 = -3*x + 4*g + 20349, 2*x + 7*g - 4*g - 13583 = 0. Is x composite?
True
Suppose d + o - 409 = 0, -6*d + 2059 = -d - 2*o. Is d prime?
False
Let l = 30687 + -7880. Is l prime?
True
Let b(r) = -863*r - 2. Let s be (0 - 1)*(-2)/(-2). Let a be b(s). Let w = a - 320. Is w a composite number?
False
Let c be 6/18 + (4928/(-6))/(-2). Suppose 90 = b - c. Is b a prime number?
False
Let z(n) = n**2 + 4*n**2 + 5 - 3*n - 2*n**2. Let b be z(-6). Is b*(-5)/((-4)/4) a composite number?
True
Is ((-4)/(-14) - 345/644)*-59692 prime?
True
Let k(d) = 275*d - 251. Is k(6) prime?
True
Let a(t) = 2156*t - 117. Is a(4) composite?
True
Let u be ((-8)/14)/(4/(-4634)). Is ((-5)/(-10))/(1/u) a composite number?
False
Let g be (3 - (2 - 0))*114. Suppose 3*n - g = 3*k + 114, -2*k = 4*n - 310. Is n a prime number?
False
Suppose -2*y + 3*y + 13 = -p, 5*y + 1 = 3*p. Let w(k) = 8*k**2 + 47*k + 5. Is w(p) prime?
False
Let t(q) = 3*q**2 - 10*q - 3. Let a be t(4). Is -257*((-6)/(-10) + (-28)/a) prime?
False
Suppose 0 = -8*n + 3*n - 7375. Suppose -5*q = -10*q - 4460. Let g = q - n. Is g a prime number?
False
Let l(w) = -111*w - 3. Let i be l(-7). Suppose 21 = 5*t - i. Is t a prime number?
False
Suppose -3*r = 8 + 1. Let l(j) = -j**3 - 2*j**2 - 4*j - 7. Let s be l(r). Is 3042/s - (-6)/(-21) composite?
True
Let l(y) = -3092*y - 105. Is l(-4) composite?
False
Let f = 77 - 22. Suppose 0 = 2*w - 139 - f. Is w a prime number?
True
Suppose 2*v + 0*v - 12 = 0. Suppose -x - 3*x + 4*d + 13028 = 0, -x = -2*d - 3258. Suppose 0 = v*b - 6326 - x. Is b a prime number?
True
Let w(l) = -l**2 - 20*l - 24. Let n be w(-18). Let m(x) = 1 - 2 + n*x - 2 + 0. Is m(5) a composite number?
True
Let k = 7 + 1. Let c be 4/k - 5673/6. Let h = c - -1734. Is h composite?
True
Let g(f) = -f. Let v(d) = -26*d - 2. Let t(r) = -2*g(r) + v(r). Is t(-2) composite?
True
Suppose 0 = 4*g + 1666 - 10442. Suppose -2*z = -n - 910 + 3107, -n + z + g = 0. Is n a composite number?
True
Let z(l) = 7 - 3 - 3*l + l + 1. Let d be z(15). Is (30/d)/((-2)/155)