number?
False
Let u(t) = 3*t + 1 - 2*t - 12. Let k be u(5). Let r(v) = v**3 + 8*v**2 + 7*v - 8. Is r(k) a composite number?
True
Let d(v) = -v**3 - 3*v**2 - v. Let i be d(-3). Suppose -3*l + 192 = -2*u, 0*l = -i*l - u + 183. Is l prime?
False
Let q(n) = -n**2 - 26*n + 6. Is q(-5) composite?
True
Suppose -11 = -4*w - 5*b, 5*b = -2 - 3. Suppose 5*u + w = -1. Is 66 + (u + 2 - -2) a composite number?
True
Suppose 0 = -11*z + 3178 - 879. Is z a prime number?
False
Suppose 0*y + 10 = y. Let a be (6/y)/((-4)/(-20)). Suppose a*t - 8*t = -45. Is t prime?
False
Let z(q) = -2*q**3 + 2*q**2 - 6*q + 5. Let d(l) = 2*l - 1. Let i be d(-2). Is z(i) prime?
False
Let r(k) = 100*k**3 - k**2 - 4*k + 6. Is r(2) a composite number?
True
Suppose b - 3251 = -0*l - 5*l, -l - 5*b = -631. Suppose -5*f + p = -l, -4*p - 12 = -7*p. Is f a prime number?
True
Let u(r) be the third derivative of -r**5/24 - r**4/6 + r**3/6 - r**2. Let k(p) be the first derivative of u(p). Is k(-7) a composite number?
False
Let p(c) be the third derivative of -5*c**6/144 + c**5/60 - c**4/6 + 3*c**2. Let s(n) be the second derivative of p(n). Is s(-3) composite?
True
Suppose 31*j - 30*j = 673. Is j composite?
False
Suppose -2 = 2*r, -2*s + 0*s + 46 = -2*r. Suppose 5*i + 0*i = 2*u + s, 4*i = 5*u + 38. Let l(w) = -14*w - 7. Is l(u) a composite number?
True
Let f be (0 - 0) + (0 - -2). Suppose 4 = f*r - 0. Is (-2 + (-39)/r)*-2 a prime number?
True
Suppose -4*o = -2*o + 3*s - 482, -725 = -3*o - 5*s. Is o composite?
True
Let c(u) = 2*u**2 - 5*u - 26. Is c(11) prime?
False
Let o = -35 + 196. Is o prime?
False
Let o(h) = 2*h**2 - 7*h + 1. Let s = 8 - 12. Let t be (-32)/(-12)*9/s. Is o(t) composite?
True
Let k = -930 - -1727. Is k prime?
True
Let o be ((-29)/2 + -1)*22. Let p = o - -600. Is p a composite number?
True
Let s(d) = d**2 - 2*d + 1. Let b be s(3). Suppose -b*y + 3*t = -280 - 429, -y = -4*t - 174. Is y a prime number?
False
Let a(w) = 5*w**2 - 2*w - 7. Let f be a(-6). Suppose -3*u = -82 - f. Is u a composite number?
False
Suppose -m - 2*m = 5*p + 2, 2*m = -4*p. Suppose 5*j = u - 5*u + 113, u = -3*j + 37. Suppose -p*v = 4*b - u, 4*v - 32 = -0*v - 2*b. Is v a composite number?
False
Let v(t) = t + 6. Let o be v(-6). Suppose o = -3*c + 176 + 97. Is -2*1 + (c - -2) a composite number?
True
Let d(j) = j**3 + 5*j**2 - 8*j - 8. Let w be d(-6). Suppose -2*u + 4*z = -56, 57 = w*u + z + 2*z. Is 3/(u/(-118))*-3 composite?
False
Let r(d) = -d**3 + 11*d**2 + 11*d + 13. Suppose -30 = -2*p - 5*m, -5*m - 8 = -p - 4*m. Is r(p) prime?
True
Suppose -b + 5*o + 1658 = 526, 5*b + 2*o = 5579. Is b a prime number?
True
Let c(s) = s**2 + 3*s - 2. Suppose 35 = -5*q + 15. Let p be c(q). Suppose p*r = -3*r + 185. Is r composite?
False
Suppose 2*x + 2209 = 4*x + 5*g, -5*x - 3*g + 5494 = 0. Is x a composite number?
False
Suppose -4*a + 5*q = -232, a - q = -a + 110. Is a a prime number?
True
Let a = -25 - -230. Is a a composite number?
True
Let f(g) = g**2 - 6 + g + 64 + 53. Let u be f(0). Suppose -l = -4*l + u. Is l composite?
False
Let r(k) = k**3 - 2*k**2 - 4. Let o be r(3). Suppose o*x = x + 1564. Is x a composite number?
True
Let i be 168 - (3 - (-2 + 3)). Suppose 6 = -5*z + i. Suppose 0 = -4*u - 4*w + z, -u - 3*w = -3 - 7. Is u composite?
False
Suppose -p = 5*p - 1974. Is p composite?
True
Let h = -10 - -11. Is 1 - (-1 + -64) - h prime?
False
Let a = -110 - -192. Suppose -v - v = 90. Let s = a + v. Is s a composite number?
False
Let r = -329 + 592. Is r a prime number?
True
Suppose 136 = n - 9. Let y = n + -63. Is y a prime number?
False
Suppose 492 = 6*f - 3*f. Let t = 159 + f. Is t prime?
False
Let s be 32/(-24) + 2/6. Is s/(-1) + -2 - -4 a prime number?
True
Is (-52 + -1)/((-5)/10) a prime number?
False
Suppose 3*i - 1106 = i. Is i a prime number?
False
Suppose -p = 2*p - 915. Is p composite?
True
Suppose 0*f - 4*f = 0. Suppose -r + 4*a = -f*a - 18, 0 = -2*r - 2*a + 46. Is r a prime number?
False
Suppose -3*f + 29 = 5*p - 135, -2*p + 5*f + 47 = 0. Is p composite?
False
Suppose 0 = 3*y - 9, -3*y - 1 = -3*i + 5. Suppose i*z - 2*l - 8 = 0, -2*l + 4*l + 8 = -5*z. Suppose z = 2*h - h - 7. Is h a prime number?
True
Suppose c + 2*c = 2*l + 2, 4*l - 16 = c. Suppose 1528 = c*r - 4*b, 3*r + 1892 = 8*r + b. Is r a prime number?
True
Let i(t) = -2*t**2 - 7*t - 607. Let b(l) = -l**2 - 4*l - 304. Let j(n) = 5*b(n) - 3*i(n). Is j(0) a prime number?
False
Suppose 0 = -3*n - 608 + 1721. Is n composite?
True
Suppose q + q - 2*g = 76, 0 = -4*q - g + 157. Suppose 9 = -4*k - q. Is (-1110)/k - (-6)/(-4) a composite number?
True
Suppose -v = 3*c - 211, -v = 3*v - 4*c - 844. Is v a composite number?
False
Suppose -4 - 4 = 2*d. Is (-1315)/d + (-1)/(-4) a composite number?
True
Suppose 3*y - 12 = -y. Suppose 171 = y*f - 366. Is f composite?
False
Suppose -8378 = -4*m + 2*n, -2 = n - 3. Is m composite?
True
Suppose 0 = -38*o + 30*o + 8920. Is o a prime number?
False
Let k(q) = -q**2 + 6*q - 3. Let r be k(5). Suppose 0 = 3*s + r*s - 155. Is s a prime number?
True
Let w = -6 - -8. Suppose w*h + 0*h = 446. Is h composite?
False
Let k = 363 + -137. Let u = k - 15. Is u composite?
False
Let w(k) = 2*k**2 - 2*k + 1. Let x be w(1). Let p be (-1 + (2 - 1))*x. Let d(y) = y + 31. Is d(p) a composite number?
False
Let u = -2447 + 3445. Is u prime?
False
Let a = 12 + -19. Let s(o) = -8*o - 5. Is s(a) a prime number?
False
Suppose -2*q = q - 6. Suppose 6 = -q*g, -2*g - 13 - 3 = -5*o. Suppose -p + 399 = o*p + 3*t, -3*t - 649 = -5*p. Is p a prime number?
True
Let b be (-3)/3 + 4 + 0. Suppose 3*y - 5*y - 65 = -b*o, 4*o = -5*y + 56. Is o composite?
False
Suppose k - 207 = -2*k. Let n = k + -16. Is n a composite number?
False
Let v = 1670 - 555. Is v composite?
True
Suppose -6*m - 3*k = -m + 41, -m = -4*k - 1. Let z = m - -38. Is z prime?
True
Let i(s) = -15*s + 1. Let n be i(-1). Suppose n = 2*z - j, -22 = -z - 4*j + j. Is (92/z)/(6/30) a prime number?
False
Let z(x) = x**2 - 6*x + 6. Let l be z(6). Let q(k) = 3*k**2 - 4*k - 7. Is q(l) composite?
True
Let m(k) = 5*k**2 - k - 1. Let v be m(-1). Suppose -4*d = -4*j - 0*j + 28, 0 = -4*d + v*j - 29. Let h(l) = 3*l**2 - 2*l + 7. Is h(d) prime?
True
Suppose -4*g = 3*p - 478, p + 3*p = -8. Is g composite?
True
Let s(n) = -n**3 + 13*n**2 + 9*n + 11. Let q be s(13). Let w = -61 + q. Is w a prime number?
True
Let w(r) = -r**2 + 11*r - 7. Suppose 3*v + a = -2, -4*v + 5*a - 4*a = 12. Let b = v + 7. Is w(b) a composite number?
False
Let l(a) = -a + 3. Let j be l(2). Let x = 5 - j. Suppose 196 = x*q + 8. Is q a composite number?
False
Let u(y) = -4*y - 7. Suppose -6 - 14 = 5*l + 5*b, 3*l - 2*b + 32 = 0. Let o be u(l). Is (-548)/(-10) + 5/o composite?
True
Suppose -4*q - 5*x = q - 51865, 3*x = -5*q + 51857. Is q a composite number?
False
Let k be 36/(-10) - (-2)/(-5). Let s(b) = 4*b**2 - 4 + 4*b**2 - 1 + 4. Is s(k) composite?
False
Suppose 0 = i - 0*i. Suppose -h - 1 = -v + 5, 2*v + h = i. Let f(s) = 42*s + 1. Is f(v) prime?
False
Let b(f) = 9*f**2 - 2*f + 2. Is b(-3) a composite number?
False
Suppose -4*n = -6*u + 4*u - 196, n - 3*u - 59 = 0. Let i = -22 + n. Suppose -2*b = 4*d - 54 - 8, -i = -2*d + 5*b. Is d composite?
True
Let q be 195/(-21) + (-2)/(-7). Let x = 1 + q. Let g = x + 15. Is g a prime number?
True
Let z(i) be the second derivative of 5/12*i**4 + 0 - 7/6*i**3 + 0*i**2 - i + 1/20*i**5. Is z(-6) composite?
True
Let n(h) = 207*h**2 + h + 1. Let a be n(-1). Let t = a - 88. Is t a composite number?
True
Suppose 0 = -2*w + 32 + 558. Is w prime?
False
Let t(s) = s**3 - 4*s**2 + 5*s + 1. Let p be t(5). Suppose 3*d + 3*q + 17 = 5*d, 0 = 3*d + 4*q - p. Is d prime?
True
Suppose -4*x + 16 = -4. Suppose -u + x*n + 311 = 0, 1210 = 2*u + 2*u - 3*n. Is u composite?
True
Let q(n) = -92*n**3 - n**2. Suppose 6*s + 4 = 2*s. Is q(s) prime?
False
Let v = -1038 - -1481. Is v prime?
True
Suppose 56 = -5*p - b, 0 = 5*p + 5*b + 14 + 46. Let s = p + 15. Suppose 0*t - s*t + 140 = 0. Is t a prime number?
False
Let c(a) be the third derivative of a**5/30 + 5*a**4/8 - a**2. Let n be (-66)/(-4)*2/(-3). Is c(n) prime?
False
Let o(c) = -c - 4. Let s be o(-4). Suppose -4*y = 4, 4*u - y - 7 - 6 = s. Is u composite?
False
Let l be 3 + -5 - 24/(-3). Suppose 2*n + a - 33 - 228 = 0, l = 2*a. Is n composite?
True
Let r be (8 + -1 - 1) + -2. Su