number?
False
Suppose 0 = 7*p - 2*p - 2935. Is p composite?
False
Let o(y) = 387*y**2 - 2*y - 9. Is o(-2) a prime number?
True
Let b(r) = -r**3 + 9*r**2 - r + 12. Let k be b(9). Suppose 5*z - 84 = k*z. Suppose z = p - 29. Is p a composite number?
False
Let z(v) = -58*v**3 + v. Let i be z(1). Let c = i - -36. Is c*(2/(-6) + 0) composite?
False
Suppose -2*h + 6 = -5*h. Let f(w) = w**2 - 4*w - 3. Let t be f(h). Is -14*(-1 + t/(-6)) a prime number?
False
Let p(u) = -u + 3. Let h be p(3). Suppose h = 3*j - 0*j + 24. Is j/(-4)*37/2 a prime number?
True
Is 4/6*213147/66 prime?
True
Let i be (4/(-2))/((-8)/500). Suppose 2*d - 17 = -i. Is 691/9 - 12/d composite?
True
Let a = -488 + 755. Is a prime?
False
Let a be (-5)/(((-15)/(-6))/(-5)). Suppose 5*m = -0*m + a, 3*l = 5*m + 917. Is l a prime number?
False
Let j be 16/3 - (-5)/(-15). Let v(t) = -t**3 + t**2 + 4*t + 4. Let n be v(-4). Suppose -3*r + n + 4 = -j*b, -2*r = -4*b - 50. Is r composite?
False
Let t be (-2 - 3) + 2 + 3. Suppose d = -t*d + 21. Is d a prime number?
False
Suppose 0 = -2*g + 47 - 223. Let h = g - -131. Is h composite?
False
Suppose 385 + 356 = 5*z - x, 5*z + 2*x - 753 = 0. Let n = -94 + z. Is n prime?
False
Let b = -1065 + 747. Is ((-11)/11)/(2/b) composite?
True
Suppose 0 = -2*z - r + 2355, -2*z + 3041 - 692 = -5*r. Is z composite?
True
Let p(g) = 2*g**2 + 3*g - 4. Let f be p(-4). Let w = 40 + f. Suppose 8*v - 4*v = w. Is v a prime number?
False
Suppose -4*q - z = -4*z - 15, 0 = 3*q - 3*z - 15. Suppose -5*w = 3*m - q*w + 19, 11 = 3*m - w. Is 750/5 - (3 - m) composite?
False
Suppose 0*n - 1015 = -5*n. Let s = -142 + n. Suppose 0 = 2*l - s - 41. Is l composite?
True
Let d(m) be the second derivative of -m**3/6 + 199*m**2/2 + 4*m. Is d(0) a composite number?
False
Suppose 0 = t - 4*t + 153. Suppose 0 = 5*d - 124 - t. Suppose -4*c = -d - 113. Is c composite?
False
Let m(y) = 4*y**3 - 5*y - 3*y**3 + 5*y**2 - 2*y**3 + 4. Suppose 4*d - 3*w + 5*w = 20, -22 = -2*d - 4*w. Is m(d) composite?
False
Suppose 605 = 3*j + 2*b, 3*b = 4*j + 131 - 932. Is j a composite number?
True
Let g(u) = -2*u**3 + 2*u**2 + 5*u + 2. Let k(i) = i. Let c be k(-3). Is g(c) a prime number?
True
Suppose l = -0*l + 4. Suppose -2*p = -5*w + 43, 37 = -w + l*w - 4*p. Is w a composite number?
False
Suppose 3*i + 852 = 5*z - 337, -3*i = -z + 245. Let o = -157 + z. Is o prime?
True
Suppose v - 70 = -5*x - 0*v, -4*v + 55 = 5*x. Let i(z) = -z**3 - 7*z**2 - 7*z - 4. Let b be i(-6). Is (6/x)/(b/310) prime?
False
Is 1*(-5)/15*-3246 prime?
False
Let r = 1277 - 318. Is r prime?
False
Let b be (-8)/(-12) + (-1736)/(-6). Suppose -6*m + 4*m = -b. Is m a prime number?
False
Let b = 0 + -1. Let p be b/5 - 64/(-20). Suppose p*z = z + 164. Is z a prime number?
False
Let x(a) = 44*a - 29. Is x(12) a prime number?
True
Suppose -c - 1 = 2. Is (c/3)/(1/(-447)) a composite number?
True
Let j(z) = 23*z - 27. Is j(14) composite?
True
Suppose 14 = c - a + 139, 0 = -2*a. Let b = 225 + c. Suppose n = -35 + b. Is n a composite number?
True
Suppose 0 = 4*s - 0*s - 3836. Is s a prime number?
False
Let x(u) = 5*u**2 - 3*u - 3. Let n(a) = a + 1. Let q(j) = 2*n(j) + x(j). Is q(-4) composite?
False
Let r(a) = 7*a - 6*a**2 + 6*a**3 - 7*a**3 - a**2 + 8. Let k be r(-8). Suppose 2 = -2*d + k. Is d composite?
False
Let p be (423/6)/((-2)/(-4)). Suppose 2*z = -5*o + 270, 3*o - 2*z - p = z. Let t = 78 - o. Is t prime?
False
Let q(v) = v**2 - 5*v - 2. Let u be q(6). Suppose u*d - d - 4*p = 751, -5*d + 5*p + 1255 = 0. Is d prime?
False
Let a be 12/30 - (-398)/5. Suppose 0 = 3*f - 349 - a. Is f composite?
True
Suppose 8*u - 290 = 6*u. Is u a prime number?
False
Let i = 10 + -8. Suppose -4*w + 212 = 4*y + y, -96 = -i*w - 5*y. Is w prime?
False
Let g be 4/(-4*2/(-72)). Is ((-5640)/g)/((-2)/3) composite?
True
Let l = -8 - -10. Suppose -l*b + 6 + 22 = 0. Is b a prime number?
False
Let p(y) = 9*y**2 + 8*y + 6. Is p(7) prime?
True
Let y = -8 - -10. Let a be 80/14 - y/(-7). Suppose 0 = -p - u + a, -4 = -3*p + p - 4*u. Is p a prime number?
False
Suppose 3 = 4*g - 29. Suppose g*r = 3*r + 345. Is r prime?
False
Let k = 27 - 54. Let z be (-1)/(111/36 - 3). Let b = z - k. Is b composite?
True
Let u be (-8)/(-28)*(6 - -1). Suppose -5*y + 1261 = 3*p, 3*y - u*y = 4*p - 1712. Is p prime?
False
Let i be (-16)/(-20)*5*1. Suppose -i*j = -9*j + 55. Is j composite?
False
Suppose 4*m + 1295 = 5*t - 440, -1041 = -3*t + 2*m. Is t prime?
True
Is (-1939)/(-3) - (-8)/12*1 composite?
False
Let q(w) be the third derivative of -w**4/8 - 5*w**3/6 - 3*w**2. Is q(-6) a prime number?
True
Suppose 5*d - 49 = 6. Is d composite?
False
Is 2/4*-2*-33 a composite number?
True
Let z(d) = 3*d**2 - 1. Let s be z(1). Is (-1076)/(-12) + s/(-3) a prime number?
True
Let d(i) be the first derivative of 1 + 2*i**2 - 4*i**2 + 5*i**2 - i. Is d(2) a composite number?
False
Let l = 3 - 6. Let t be -2 + (-3)/(l/7). Suppose s - 149 = -t*m + m, 3*s = 3. Is m a prime number?
True
Suppose 4*d + 428 = 6*d. Is d composite?
True
Suppose 9 = -c + 4*c. Let m = 9 - c. Is m a composite number?
True
Suppose b + 65 = 5*w + 6*b, 13 = w + 4*b. Suppose -z = -0*z - w. Is z prime?
True
Let f = 176 + -43. Is f a prime number?
False
Let y(l) = 32*l**2 - 10*l - 5. Is y(6) a prime number?
True
Let c = 1 - 0. Let p be 1/(c + (-4)/6). Suppose 2*a - 4*x = -p*a + 615, 15 = 3*x. Is a a prime number?
True
Suppose 0 = 4*c + 5*k - 829, -8*c + 1061 = -3*c - 2*k. Is c composite?
False
Let v(d) = -86*d + 13. Is v(-5) a prime number?
True
Let u = 132 + -1. Is u prime?
True
Suppose -o + 2 = -5*a + 2*o, 8 = -2*a + 3*o. Suppose -2*y + a = -3*y. Is -254*y*2/8 prime?
True
Suppose -2*j + 7*j = 405. Suppose 5*r - j = 74. Is r a prime number?
True
Suppose 0*m = -2*m + 4. Is m*3/(-6)*-13 prime?
True
Let k = 1286 + -848. Let m = k - 275. Is m a composite number?
False
Let x = 15 + -11. Let y be ((-90)/(-7))/((-24)/(-224)). Suppose x*z - y = 28. Is z composite?
False
Let u = -150 - -229. Is u a prime number?
True
Suppose 5*o - 472 = o. Let w = o + -9. Is w composite?
False
Suppose 15 = -5*t, 3*y - t - t = -3. Is (-2)/y - (-43)/3 a prime number?
False
Let n(x) = -15*x - 13. Let l(c) = -30*c - 27. Let u(p) = -4*l(p) + 9*n(p). Is u(-8) composite?
True
Suppose -j - 3 = 0, 4 = -4*g + 3*g - 2*j. Suppose g*h = 5*s + 282, 5*s + 9 = -11. Is h composite?
False
Suppose 5*w - 319 + 44 = 0. Is w prime?
False
Let s = -1003 + 8305. Suppose 5*c + 3531 = 4*d, 5*d - 3*c + 2872 = s. Is d prime?
False
Suppose -4*b - 5*o = 18 - 3, 5*b + 35 = -3*o. Let n = -6 - b. Suppose n*d - 58 = 226. Is d composite?
False
Let i(x) = -4*x**3 + 9*x**2 - 6*x - 1. Let z(n) = -3*n**3 + 9*n**2 - 6*n - 1. Let m(v) = -2*i(v) + 3*z(v). Let g = 10 - 3. Is m(g) a composite number?
True
Let h be ((-8)/10)/((-12)/(-30)). Is (h/(-6))/(2/12) a prime number?
True
Let h = 576 - 332. Let s = -21 + h. Is s composite?
False
Suppose k + h = -h + 13, -5*h = -5*k + 50. Is k composite?
False
Suppose -3*g - 2*d = -d - 1372, -3*g + 1368 = -3*d. Is g a composite number?
False
Let d(b) = -49*b. Let h = 1 - 2. Let r be d(h). Let l = -30 + r. Is l a prime number?
True
Is ((-105)/42)/((-2)/5444) composite?
True
Suppose g = 2*b + 3*b + 4594, 0 = -2*g + 3*b + 9209. Is g composite?
True
Let l be 2/4*(-1 - -1). Suppose 3*z + 31 = -5*i, -4*z - 28 = -l*z + 4*i. Let u(r) = -4*r - 2. Is u(z) composite?
True
Suppose -q + 3*q + 3569 = i, -10701 = -3*i + 4*q. Is i composite?
True
Let c = 5 + -1. Is c/(-10) - 776/(-40) a prime number?
True
Suppose 3*z + 399 = 2976. Is z composite?
False
Let m(l) = -l**2 - 7*l + 3. Let p be m(-7). Suppose -p*k = 2*k - 175. Is k a composite number?
True
Let l(i) = -2*i**3 + 14*i**2 - 9*i - 2. Let y be l(7). Suppose 5*b + 1288 = -2*f, 40 = -2*b - 4*f - 488. Let w = y - b. Is w prime?
True
Suppose -998 + 100 = -2*q. Is q composite?
False
Let w = 99 - 40. Is w a prime number?
True
Let b = 190 - -205. Is b composite?
True
Suppose -5*x + 4*x + 2*d + 1227 = 0, -5*x = 3*d - 6135. Is x a composite number?
True
Let g(x) = x**2 + 4*x - 8. Let s be g(-6). Suppose -s*q + 312 = 4*p, -3*q - 342 = -4*p - q. Is p prime?
True
Let j(n) be the third derivative of 7*n**4/24 + n**3 - 2*n**2. Let f be j(5). Is -1 + f + 1/(-1) a composite number?
True
Let i be -13 - (-2 + 6 + -2). Is 154/5 + (-3)/i prime?
True
Let s be (-2)/