0 = -3*x + 483 + 6. Is x a composite number?
False
Suppose -86*n + 53 = -85*n. Is n a prime number?
True
Let x(o) = -58*o - 3. Let h be 75/10*(-2)/3. Is x(h) composite?
True
Let x(n) = -2*n**3 - 5*n**2 + 7*n + 9. Let t be x(-6). Suppose -78 = 3*g - t. Is g prime?
True
Is -4007*(-1)/9 + (-10)/45 composite?
True
Suppose f - 4*c = 2*f - 275, 0 = -4*f - 3*c + 1139. Is f a prime number?
False
Suppose 6*a - 5751 - 5547 = 0. Is a a composite number?
True
Suppose 1 = -3*c + 7, 3*c = -4*l + 17978. Is l a prime number?
True
Let x = 283 + -80. Suppose -x = -4*u + 3*u. Is u a composite number?
True
Let p(i) be the second derivative of -i**5/20 - 2*i**4/3 - 7*i**3/6 + 11*i**2/2 + 3*i. Is p(-8) a composite number?
False
Is 1383/12 + 5/(-20) a composite number?
True
Suppose -5*s = -2 - 33. Suppose -s*d + 2*d + 15 = 0. Suppose -3*k + 85 = 2*i, d*k - i = i + 65. Is k a composite number?
True
Suppose -5*a + 7 = -8. Suppose 2*t - a*b + 4*b = 48, -b = -3*t + 62. Is t a composite number?
True
Suppose 5*c - 6526 = -4*s, -5*c + 6490 = -9*s + 4*s. Is c/2 + (-1 - 1) prime?
False
Let f(h) = 14*h**2 + 2*h + 1. Let y be f(-3). Let b = y - -88. Is b a prime number?
False
Suppose -4*i = -4*x + 140, 0*i + 2*x = -3*i - 80. Let k be (0 + 6)*i/9. Let n = 27 - k. Is n composite?
False
Suppose 5*n + 4*b = 1285, n - b + 173 - 430 = 0. Is n a composite number?
False
Suppose 2*y = 5*i - y - 332, y - 1 = 0. Let q be (3 - -3)/(3/(-22)). Let b = q + i. Is b a composite number?
False
Suppose 0 = -211*n + 209*n + 6238. Is n composite?
False
Let b = 17 + -12. Suppose b*g - 45 - 410 = 0. Is g composite?
True
Suppose 5*f - 294 = -4*m, -m + 163 = 5*f - 143. Is f composite?
True
Let i(s) be the first derivative of s**3/3 + 5*s**2/2 + 8*s + 5. Is i(-7) a composite number?
True
Suppose -3*n = -3*w - 1236, -3*n + 2*w = 91 - 1322. Is n a composite number?
True
Suppose -5*c + 5448 = 3*x, 0*x - 4*c = 3*x - 5451. Is x composite?
True
Suppose 51658 = 5*z + 1853. Is z prime?
False
Let p(c) = c**2 + 4*c - 10. Let u be p(-7). Suppose -u = -4*l - m + 4, -5*l = 2*m - 21. Suppose 4 - 13 = -l*z, 4*i - 2*z = 734. Is i composite?
True
Let a(x) = -x**2 - 4*x - 4. Let o be a(-5). Let u(j) = j**3 + 10*j**2 + 5*j - 10. Is u(o) a composite number?
True
Let i = 217 - 531. Is (i/(-4))/((-2)/(-4)) a composite number?
False
Is ((-2)/2)/(-2*(-1)/(-1258)) composite?
True
Let k(x) be the second derivative of x**5/60 + x**4/8 - x**3/6 + 2*x. Let a(j) be the second derivative of k(j). Is a(5) prime?
True
Suppose 3*w - 917 = -5*j, 25 = -5*j - 0*j. Is w a prime number?
False
Suppose 0 = p + 43 + 36. Let d = 138 + p. Is d composite?
False
Is ((-24)/8)/((-6)/502) a prime number?
True
Let a(x) be the second derivative of x**4/2 - x**3/2 + 3*x**2 + 4*x. Is a(5) a composite number?
True
Suppose -2*x + 4627 = 3*m, -4*m + 2*m + 2*x + 3088 = 0. Is m prime?
True
Let n = -32 - 40. Suppose 5*x + 546 = -4*o, 0 = 3*x - 3*o + 204 + 102. Let q = n - x. Is q prime?
False
Let f(d) = 0 + 1 - 1 - 3 + 18*d. Is f(5) prime?
False
Is 13602/2*(-3)/(-9) a composite number?
False
Suppose -3*u = 6, -5*i + 2*u + 7365 = -3*u. Is i prime?
True
Let t = 6 - 5. Is (0/3 + 47)/t prime?
True
Let f(y) = 4*y**2 + 5*y - 3*y**2 + 0 + 7. Let p = 6 + -11. Is f(p) composite?
False
Suppose -14 + 4 = 5*h. Let a(u) = u**2 + u**2 + 1 + 0*u + u. Is a(h) a prime number?
True
Let v be ((-4)/10)/(2/10). Let r be v*((-207)/(-2) + 2). Let g = r - -372. Is g a prime number?
False
Let t(a) = 33*a - 9. Let k(m) = 65*m - 17. Let p(z) = 2*k(z) - 5*t(z). Is p(-12) composite?
False
Let d(g) = -g**3 - g**2 - 5*g - 21. Is d(-8) a prime number?
True
Let l = 4 - -4. Let x = l - 3. Suppose x*n = n + 740. Is n a composite number?
True
Let y(o) = 35*o - 1 - 237*o - 3 + 3. Is y(-1) prime?
False
Let w = -1 - 3. Let z(r) = 2*r**2 - 1. Is z(w) composite?
False
Suppose 5*n - 7 = 4*j, 3*n - 1 = 5*j - 2. Suppose n*r + 3 = 45. Is r prime?
False
Suppose -f = -2*b + f + 976, -f + 1484 = 3*b. Is b composite?
True
Let u be (-2)/5*(0 - -10). Is (-312)/(-5) - u/(-10) prime?
False
Let m(a) = a**3 + 9*a**2 + 9*a + 1. Let c = -4 - 2. Is m(c) composite?
True
Suppose -3*z = z. Let c be z/((-1)/(-2)*-4). Suppose -2*k + 5*t + 45 = c, 3*k + 50 = 5*k - 4*t. Is k a prime number?
False
Suppose 2*t - 4*v - 178 = -0*v, -3*v = -t + 89. Is t composite?
False
Let y be ((-68)/3)/(2/(-6)). Let w = -11 + y. Is w prime?
False
Is 10*2 - (-7 + 8) a prime number?
True
Let x(y) = 20*y**2 - 3. Is x(8) prime?
True
Let h = 101 + -10. Suppose w - 5*g + h = 3*w, -4*g - 12 = 0. Is w a composite number?
False
Let o be 1 - 1*6/2. Is (-107)/(-3) - o/(-3) prime?
False
Let t(h) = -71*h + 3. Is t(-4) prime?
False
Suppose -5*s + n = 97 - 1350, 5*s - 5*n - 1245 = 0. Is s prime?
True
Is (-7)/(-14)*(695 + -1) composite?
False
Suppose 0 = -0*i + 3*i - p - 30, 40 = 5*i - 5*p. Is i prime?
True
Let j(u) = u - 6. Let w be j(6). Suppose -2*d = -3*z + 609, 812 = 4*z - w*d - 2*d. Is z a prime number?
False
Let j be 2/4*(-555 - -3). Let c be (j/(-9))/(-4)*9. Let l = -48 - c. Is l prime?
False
Is 6/1 - (-728)/14 a composite number?
True
Suppose 14 + 11 = 5*f. Suppose -f*k - 15 = -440. Suppose 0 = t + 2*j - k, -5*t - 3*j + 410 = 2*j. Is t a composite number?
False
Let k(a) = a**2 + 10*a + 8. Let g be k(-10). Let n be (1/(-2))/((-2)/4). Suppose -d + g = n. Is d a prime number?
True
Let c(q) = 18*q - 3. Let i be c(3). Let g = i + -8. Is g a prime number?
True
Let l = 1957 - 1326. Is l composite?
False
Suppose -v + 116 = -174. Suppose 463 = 3*b - v. Is b a prime number?
True
Suppose 3*c = -3*a - c + 1583, -5*c - 2580 = -5*a. Is a a composite number?
False
Let x be (1 + -2)/(2/(-16)). Let i(d) = -8*d**2 - 7*d - 9. Let z(l) = 3*l**2 + 2*l + 3. Let m(c) = 4*i(c) + 11*z(c). Is m(x) composite?
False
Suppose -379 = -z - 3*l, -l = 3*z - 486 - 651. Is z a prime number?
True
Suppose -4 = -c - c. Suppose -3*d = -5*x - 19, 2*d - c*x - 1 = 5. Let k = d - -21. Is k a composite number?
False
Suppose -7*i + 2*a = -3*i - 1734, 5*a + 25 = 0. Suppose -6*t - i = -7*t. Is t a prime number?
True
Let s be -1 + -3 + 2 - -4. Suppose s = -5*d + 27. Suppose -3*r - x = -226, -d*x + 0*x = 4*r - 283. Is r prime?
False
Suppose -5*b + 813 = 208. Is b prime?
False
Let r = 496 - -181. Is r a composite number?
False
Let y(z) = -z + 5. Let s(l) = -l**2 - 1. Let v(h) = -2*h + 1. Let g(u) = 2*s(u) + v(u). Let r be g(-2). Is y(r) a prime number?
False
Suppose -2*v + 4*v - 574 = 0. Suppose 0 = 3*f + 2*t - 771, -f - 30 = -3*t - v. Is f composite?
False
Let w(d) = 2*d**2 + 8*d - 4. Let m(o) = o**2 + o + 1. Let g(n) = 3*m(n) - w(n). Is g(12) a composite number?
True
Let s(b) = 177*b - 1. Let n be s(1). Suppose -5*y - r - 424 = 0, 0 = y + y + 2*r + n. Let h = -47 - y. Is h composite?
False
Suppose -3 = t - 5, 0 = -3*d - 5*t + 1699. Is d composite?
False
Suppose 0 = g - 4*l - 96 + 13, -394 = -5*g - l. Let w = -44 - -24. Let r = g + w. Is r a composite number?
False
Let w(s) = -s**3 + s**2 - 13*s + 8. Is w(-11) a composite number?
True
Let t(l) = l**3 + 3*l**2 - l - 1. Let y be 1 + 0 + 2*-2. Let k be t(y). Suppose 3*w + k*w + a = 43, 1 = w + 4*a. Is w prime?
False
Let i(q) = q**2 - 2*q - 5. Let j be i(5). Suppose 0 = b + 4*u - 29, -b - 4*u - j = -3*b. Is b a composite number?
False
Let l be (3 + 0 - -60) + -2. Let p = l - 28. Is p a composite number?
True
Let r be 2/(-5) + (-2483)/5. Let b = 401 - r. Is 6/(-9) + b/6 composite?
False
Suppose -4 = -2*o - 2. Let u be 6*(15/9 - o). Let k(n) = 3*n**3 - 4*n**2 + 4*n - 1. Is k(u) prime?
False
Let x(b) = -46*b**2 - 2*b - 1. Let f be x(5). Is 1/4 - f/12 a composite number?
False
Let c = 3 + 2. Is (-2)/(-10) + 1674/c prime?
False
Let h(x) = -1441*x + 39. Is h(-4) a composite number?
True
Let t(z) = -z**2 - 4*z + 5. Let o be t(-5). Suppose 3*q - u - 13 = o, -5*u = 2*q + 2 + 12. Suppose 235 = -0*s + 5*s + d, -3*s + 141 = -q*d. Is s a prime number?
True
Suppose 0 = -2*b - 3*o + 7, 0 = -3*b + 4*b - 2*o. Suppose -b*x + 353 = q, 5*q = -0*x + x - 204. Is x a prime number?
True
Suppose -152 - 50 = 2*g. Let f = g - -280. Is f composite?
False
Is (-4)/(-10) + (-1377)/(-45) composite?
False
Suppose -2*y = -3*y + 2. Suppose -3*j + 517 = y*a, 1265 = -a + 6*a + 2*j. Is a a prime number?
True
Suppose -3*q = 2*h - 176, 3*h + 144 + 27 = 3*q. Is q composite?
True
Let g(u) 