-4 + -32. Is 1/(k/(-33) + -1) prime?
True
Suppose -3*w = -22 + 4. Let v(c) = -c**3 + 15*c**2 - 3*c + 5. Is v(w) a composite number?
False
Suppose -b = 2*a - 1246, 5*a - 4*b - 623 = 4*a. Is a composite?
True
Suppose -5*y + 22 = 7. Suppose 3*g - 4*c - y = 6, -2*g + 4*c = -2. Is g a prime number?
True
Let x(g) = 0*g**2 - 7 - 3*g**3 + 7*g**2 + 4*g**3 + 4*g. Let i be x(-6). Suppose 150 = i*l - 115. Is l prime?
True
Let w(k) = -k**2 - 16*k + 8. Let f be w(-17). Let a(c) = -50*c + 1. Is a(f) a prime number?
False
Let g = -4 + 1. Is ((-5)/g)/(1/87) prime?
False
Let q(d) = 5*d**2 - 2*d + 62. Let b(n) = -3*n**2 + n - 31. Let x(o) = 7*b(o) + 4*q(o). Is x(0) a prime number?
True
Let u(p) = -8*p - 9. Let b be u(-6). Suppose -l - 2*l = -b. Is l a composite number?
False
Suppose 2283 = 3*d + 3*q, 0 = 5*d + 2*q - 7*q - 3775. Is (-16)/(-24) - d/(-6) a prime number?
True
Suppose 36*m - 40*m = -2540. Is m a composite number?
True
Let w be (-12)/(-8)*4/3. Let d = 1 + w. Is 13 + 0/(1 - d) a prime number?
True
Let h(z) = 8*z**3 - 2*z**2 - 3*z + 2. Let b be h(2). Suppose b = 5*i - 3*i. Is i a composite number?
True
Suppose 5*d = -2*b + 2*d - 94, -d = 2*b + 102. Let q = 18 + b. Let r = -20 - q. Is r a composite number?
True
Let g be 3/(3/1)*5. Suppose -g*v + 1228 = -v. Is v composite?
False
Is (-3 - -3 - -2) + 235 composite?
True
Let b = 7 + -11. Let c = b - -7. Suppose -z - 146 = -3*z - 2*v, c*v = -12. Is z a composite number?
True
Let l(d) = d**2 - 3*d. Let g be (-1)/4 - (-51)/12. Let h be l(g). Is ((-1)/(-3))/(h/24) a prime number?
True
Suppose -4*r = 5*o - 2*o - 1512, 0 = 4*o + 16. Is r prime?
False
Let m = 2 - -1. Let h = 3 - m. Suppose 8*u - 5*u - 273 = h. Is u composite?
True
Suppose 0 = 7*g - 2*g. Suppose -4*q + 20 = g, -4*q + 9*q + 1178 = 3*f. Is f a prime number?
True
Suppose 272 = -z + 5*z. Suppose -z = -4*c + 2*g, c + g - 14 = -0*g. Let s = -9 + c. Is s a prime number?
True
Suppose 2*c - 4*x - 140 = 0, -4*x = -c + 49 + 27. Suppose o = 25 + c. Is o a composite number?
False
Suppose -f + 2*f + 21 = 0. Let w = f + 60. Suppose -3*k + w = -0*k. Is k composite?
False
Let w = -306 + 433. Is w prime?
True
Let o(y) = 127*y**2 - y + 1. Is o(-3) composite?
True
Let x(q) = q**2 - q - 4. Let j be x(3). Let k be (-4)/j*(-6)/(-4). Let f = 5 + k. Is f a composite number?
False
Let o(h) = -h**3 - 12*h**2 - 12*h - 1. Let v be o(-11). Suppose -2*w - v = 0, 3*z + 15 - 424 = 2*w. Is z a composite number?
True
Let m(h) = h**3 + 11*h**2 - 17*h - 16. Let i be m(-12). Let s(u) = -u**2 - 38 + 3*u + i + 5*u. Is s(7) a composite number?
False
Let r(l) = -l**2 + 28*l - 34. Is r(18) a composite number?
True
Suppose 2*v + v + 107 = 5*z, -5*z + 4*v = -111. Is z prime?
True
Suppose -2*u + 343 = 5*u. Is u composite?
True
Let l be (-5 + 3 - -2)/2. Suppose l = -4*q + 72 - 12. Is q a prime number?
False
Suppose 0 = 5*j - 9 - 6. Suppose -a + j*i - i + 8 = 0, 4*a = -i - 4. Suppose a = -3*f + 10 + 59. Is f a composite number?
False
Let d(p) be the third derivative of 23/3*p**3 + 0*p**5 + 0*p + 1/120*p**6 + 0*p**4 + 0 + 2*p**2. Is d(0) a prime number?
False
Let o(t) = -t + 4. Let y(s) = -s + 5. Let l(i) = 2*o(i) - 3*y(i). Suppose -4*q = 5*x - 50, x - 6*x = 5*q - 60. Is l(q) composite?
False
Let y(q) = 5*q - 6. Is y(13) composite?
False
Let i(a) = -6 - 4 - 7*a - 4*a. Is i(-9) composite?
False
Let x(h) = -h**2 + 7*h - 4. Let u be x(7). Let a be 170/45 - u/18. Suppose b = -a*b + 335. Is b a composite number?
False
Let f(m) = 3*m**3 - m + 1. Suppose -2*r = 4*c - 6, 3*c + 3*r = -r - 3. Is f(c) a composite number?
False
Suppose 3 = -3*w + 6. Is (4/(-6))/(w/(-39)) a prime number?
False
Let m(r) = r**3 - 5*r**2 + 4*r - 7. Suppose 4*d = -8 + 36. Is m(d) prime?
False
Let o(c) = -26*c + 173*c + 8 - 7. Let s be o(2). Suppose -j + s = 4*j. Is j a composite number?
False
Let z = -63 + 97. Suppose 0 = 3*r - 6*r - v - 46, -5*r + 3*v - 72 = 0. Let y = r + z. Is y composite?
False
Let g(z) = z**2 + 1046. Let x be g(0). Suppose -2740 - x = -6*u. Is u prime?
True
Suppose -p = 4*p - 15. Suppose 3*f + p = 2*n, 0 = f + 2*f + 4*n - 15. Is -3 - -2 - (f - 16) a prime number?
False
Suppose -8*w = -4*w. Suppose w*b - b + 134 = -5*c, 2*c - 589 = -5*b. Is b a composite number?
True
Let g(o) = 61*o**3 + 2*o - 2. Let y be g(2). Let q = y - 329. Is q a prime number?
False
Let o be (-18)/21*-3*7. Let j(i) = -i**2 - 2*i + 7. Let s be j(-5). Let u = s + o. Is u composite?
True
Is (-3)/(-1) + (-2716)/(-2) prime?
True
Suppose 4354 = 5*o + 3*d, 4183 = 4*o - 2*d + 713. Is o a composite number?
True
Suppose 2*k - 1914 = 2*c, 3*k - 7*k + 2*c + 3820 = 0. Is k a prime number?
True
Let f(l) = l**3 + 5*l**2 + 4*l - 3. Let p = 2 - 6. Let q be f(p). Is 1/(-3)*q - -54 a composite number?
True
Suppose -21*v = -16*v - 5605. Is v composite?
True
Suppose -g + 215 = 49. Let c = g - 97. Is c prime?
False
Let f(m) = 6*m**3 - 4*m + 11. Is f(6) composite?
False
Suppose 0 = 5*d + 10, 3*d + 194 = 4*b - 208. Suppose -3*t + b = 3*j, 3*j - 4*t = -0*t + 85. Is j a composite number?
False
Suppose -3*s - 4*h = 23, 2*s + 5 = -2*h - 7. Let u be (2 + s)*-1 - 2. Is u/((-12)/38)*2 a composite number?
False
Suppose -5*f + 6*f - 10 = 0. Is f prime?
False
Let y(i) = i**2 + i - 1. Let t(u) = -u**3 - 9*u**2 + 5*u + 13. Let j(q) = t(q) + 4*y(q). Let z be j(-6). Is (-249)/(-2)*(-6)/z a composite number?
False
Is 712 - ((12 - 5) + -2) composite?
True
Let g(h) = -5*h**3 + 10*h**2 - 3*h + 5. Let j(k) = 6*k**3 - 10*k**2 + 3*k - 6. Let v(u) = 5*g(u) + 4*j(u). Is v(7) a prime number?
True
Suppose -5*b = -2*b - 12. Suppose -b*v - 3*s + 35 = -75, -5*s = -5*v + 120. Is v a prime number?
False
Let v be 4/14 - 150/35. Let o(r) = -6*r - 5. Is o(v) a composite number?
False
Let u = 68 + -122. Suppose -2*a - 3*a + 467 = 3*l, 3*a + 435 = 3*l. Let h = l - u. Is h a composite number?
True
Let p = 53 - -34. Is p a composite number?
True
Suppose 0 = 2*c - 0*c - 506. Suppose 72 = 5*l - c. Is l prime?
False
Let p(y) = y**3 + 15*y**2 + 11*y - 4. Is p(-13) a composite number?
False
Let k(d) = d**3 - 4*d**2 + 4*d + 4. Let f be k(4). Let h be (-29)/5 + (-4)/f. Is (-362)/(-4) + (-3)/h prime?
False
Suppose d = -0*p - p + 9, -5*p - 35 = -5*d. Suppose -d*y = -4*y - 508. Is y prime?
True
Let r(s) = s**2 - 7*s + 8. Let b be r(6). Suppose -6*q + b*q = -472. Is q composite?
True
Suppose -5*n = 2*h + 13, 0 = -h - n - 1 + 2. Suppose x + 10 = h*x. Suppose l - 45 = -x*l. Is l a composite number?
True
Suppose -l = -302 + 43. Is l composite?
True
Suppose 0 = 4*m + 3*q + 13, 2*m - 7*q + 2*q = 13. Let k(g) = 210*g**2 - g. Is k(m) a prime number?
True
Let t be (-3)/(-6)*0 - 5. Is 6/(-10)*t*2 prime?
False
Let o be 4/10 + (-206)/(-10). Suppose a = -p + 52, -2*a - 3*a + 250 = 3*p. Let k = a - o. Is k composite?
True
Let d = 3742 + -1589. Is d a prime number?
True
Suppose -9 = 2*g + 7. Let c = -5 - g. Suppose 773 = c*r + 158. Is r composite?
True
Let q(p) = 5*p**3 - 2*p**2 + 3*p - 19. Let x(z) = -11*z**3 + 3*z**2 - 6*z + 38. Let k(j) = 13*q(j) + 6*x(j). Is k(-13) a composite number?
False
Suppose -4*f + 27 + 29 = 4*m, 0 = 4*f - 2*m - 68. Suppose 2*n - 5*h = -f + 165, -238 = -4*n - 2*h. Suppose 0 = -4*c + 2*c + n. Is c a prime number?
True
Let i be 7 - -1388 - (0 - 4). Suppose 6*u + 133 = i. Is u a prime number?
True
Suppose 0 = -5*n + 4*n - 2. Let u(d) = -2*d. Let o be u(-3). Is 38/(-6)*o/n composite?
False
Let h be (0/(-9))/(-1*1). Suppose -345 = -h*t - 3*t. Is t prime?
False
Let s = 366 - 209. Is s composite?
False
Let h = -470 + 915. Is h prime?
False
Let g be ((-3)/6)/(2/(-16)). Let f(c) = -g*c**2 + 3*c**2 + 0 - 5 + 2*c + 4*c**2. Is f(6) a prime number?
False
Let o(x) = -x**3 - x**3 - 7*x**3 + x**2 - 5*x**2 - 4. Is o(-3) composite?
True
Let k(j) be the second derivative of j**5/10 - 7*j**4/12 + 2*j**3/3 + 3*j**2/2 - 3*j. Is k(4) a composite number?
True
Let a = 12 + -7. Suppose a*k = 4*k - 3. Let w(c) = 4*c**2 - 1. Is w(k) a composite number?
True
Is 573*2/(2 + 4) composite?
False
Let c = 5731 + -3122. Is c prime?
True
Let a be 13*3*(3 + -4). Suppose 2*v - 147 = -3*g, -5*v + 5*g + 376 = 21. Let w = a + v. Is w a prime number?
False
Suppose 6*k - 50 = k. Is k a composite number?
True
Let c = 2 - -2. Suppose 5*v - 571 = -c*r, 3*r - 2*v = -6*v + 427. Is r composite?
False
Let r(f) = 70*f**2 + 6*f - 1. Is r(2) c