number?
True
Let d(p) = -p**3 + 5*p + 4. Let z be d(-3). Suppose z - 4 = 2*y. Suppose h - y*h = -35. Is h a composite number?
False
Let t be (-1)/(-2*3/12). Let n(r) = -3*r**2 + 2*r + 2. Let j be n(t). Is ((-6)/9)/(2/j) a prime number?
True
Let b(n) = -2*n**3 - n**2 + 2*n - 3. Is b(-6) a composite number?
True
Suppose -3*y + 5*o + 73 = 217, -5*y - 203 = 4*o. Let q = -22 - y. Is q a prime number?
False
Suppose 0 = -4*q - 40 + 804. Is q composite?
False
Let f be -12*(2 - 0)*-2. Let s be f - (0 + -2 - -1). Let u = s + -12. Is u prime?
True
Let x = 1190 - 1670. Let f = 893 + x. Is f a composite number?
True
Suppose 2*k + 3*y - 20808 = y, -5*y = -k + 10410. Is k prime?
False
Let g be 12 - (-1 + -3)/2. Let n = 35 - g. Let l = n + -6. Is l a prime number?
False
Suppose v = -3*v + 236. Let p = -12 + v. Is p composite?
False
Let f be ((-103)/2)/(3/12). Let o be (-2)/(-8) - f/8. Suppose -4*d + 82 - 30 = -q, 2*d = 2*q + o. Is d composite?
False
Is 5*(4 + 148/20) composite?
True
Let p = -133 - -62. Let u = -38 - p. Is u prime?
False
Let u = 1361 + -682. Is u a composite number?
True
Is -2 - 1 - (-5 + -201) composite?
True
Let k be (1 + 5/(-7))*7. Suppose k*f - 510 + 88 = 0. Is f a prime number?
True
Let j = -145 - -219. Let n = j - 38. Let b = n - 11. Is b a composite number?
True
Let m be 758/(-6)*3/(-1). Suppose 0 = 3*v + 2*z - 7, 0*z - 20 = 5*z. Suppose -m = -4*b + c, 361 = 4*b - 0*b + v*c. Is b prime?
False
Let l = 174 - -893. Suppose -v = -i + v + 219, l = 5*i - 3*v. Is i a prime number?
True
Let y be (-1)/(((-2)/1)/(-4)). Let z be 3/(y/4*-2). Is ((-7)/z)/(3/(-63)) composite?
True
Let u = -901 + 1572. Suppose 3*z + c = 668, c + u = 3*z - c. Is z a prime number?
True
Suppose 889 + 2363 = -6*j. Let g = -213 - j. Is g composite?
True
Let b be 42/(-4)*(-12)/7. Suppose -5*a + 2 = -b. Suppose 130 = 4*c - 2*t, -a = -2*c + 5*t + 41. Is c composite?
True
Suppose -3*y + 569 = -2*y. Suppose -3*z + 5*s + 84 = -330, 0 = -4*z + s + y. Is z a composite number?
True
Let o(h) be the third derivative of -h**4/4 + 7*h**3/6 - 5*h**2. Is o(-5) composite?
False
Suppose -4*m - 2*r + 8 = 0, 2 = -5*m - 3*r + 13. Is 1/(m/19*1) composite?
False
Suppose 4*a = 5*m - 13, -7 = -4*m + 5*a - 2. Suppose -4*c + 313 = -d, -243 = 2*c - m*c - 2*d. Is c a prime number?
True
Let c(x) = -x**3 + 9*x**2 - 6*x - 7. Let m(t) = -t**2 - t + 3. Let f be m(0). Suppose -13 = -f*s + 5. Is c(s) a composite number?
True
Suppose -4*u = 8, 0*y - 301 = -3*y + 5*u. Is y a composite number?
False
Let r(n) = -n**2 - 8*n + 12. Let p be r(-9). Is 8/(-12) - (-2051)/p prime?
True
Suppose -11*a + 669 = -8*a. Is a a prime number?
True
Let u(d) be the first derivative of -d**4/2 - 3*d**3 + 2*d + 2. Is u(-7) a prime number?
False
Let u be (-6306)/15 + 2/5. Let z = -233 - u. Is z prime?
False
Is 2*(-3)/(-4)*(-31880)/(-60) a prime number?
True
Let d(c) = c + 42. Let v be d(0). Let m(n) = n**2 - n - 2. Let j be m(-5). Let w = v - j. Is w prime?
False
Suppose -3*o = -5*a - 1776, o = -3*a + 501 - 1561. Let z = a + 541. Is z a prime number?
False
Let f(w) = 6*w**3 - w**2 - w. Let n be f(-1). Let c = 83 + n. Is c composite?
True
Let y = -4 + 43. Is y prime?
False
Let d(u) = 2*u**2 + 3*u + 1. Let y be d(-2). Suppose 2*q - y*h = -4, -h = q + 1 - 4. Is q + 1 + (48 - 1) composite?
True
Suppose -2*j + j + 142 = 0. Suppose -5*y = -r + 141, 4*r - 4*y - 423 = r. Suppose 4*z + j = 8*z - 2*v, 4*z = v + r. Is z composite?
True
Suppose -10*n - 185 = -15*n. Is n a composite number?
False
Let q = -50 - -95. Let i = 62 + q. Let v = i + -48. Is v prime?
True
Suppose 0 = 2*v + 2*o - 684, -2*v + 0*o + 699 = 5*o. Is v composite?
False
Suppose -b - 2542 = -q - 553, q - 1991 = 2*b. Is q a composite number?
False
Is (-6)/(-14) + (73632/(-14))/(-6) prime?
True
Let z(a) = -a**2 + 4*a - 4. Let d be z(2). Let m be (-14)/(-3) + (-2)/3. Suppose -m*b + 36 - 12 = d. Is b a composite number?
True
Is ((-9)/36)/((-1)/7892) a composite number?
False
Let b(g) = -255*g + 40. Is b(-9) a composite number?
True
Let b(j) = 5*j**2 + 5*j - 5. Is b(5) composite?
True
Let i(k) = -186*k + 13. Is i(-7) composite?
True
Suppose 0 = 5*y - 10, 0 = -m + 3*m - 3*y - 500. Is m prime?
False
Let n be 114/4*4/(-6). Let m = 0 - n. Is m a prime number?
True
Suppose 3*b + 2*b = 5. Let g = b + -1. Suppose -p - 2*p + 201 = g. Is p prime?
True
Suppose 0 = p + 2*r + 28, -4*p - r - 2*r - 102 = 0. Let i = p + 93. Is i a composite number?
True
Let p(o) be the first derivative of -10*o**2 - o + 2. Is p(-2) a composite number?
True
Let n = 21 + -50. Is 1/((-1)/n)*2 prime?
False
Let q(v) = -2*v + 3. Let w be q(5). Let g = 130 + -70. Let a = w + g. Is a prime?
True
Let x be ((-32)/(-2))/(-4) + 7. Is (29 - x)*(-6)/(-4) prime?
False
Let c = 843 - 461. Is c prime?
False
Suppose t - 6 = 2. Is ((-39)/12)/((-2)/t) a composite number?
False
Suppose 5*g - 45 = -17845. Let s = -2075 - g. Suppose -5*k = -4*a + 1224, a = -4*a - 5*k + s. Is a a prime number?
False
Let t be ((-138)/(-8))/((-39)/(-208)). Suppose t + 73 = 3*o. Is o composite?
True
Let v be -1*(72 - 3)*-1. Is ((-6)/(-9))/(2/v) a composite number?
False
Suppose -1758 = 8*d - 14*d. Is d composite?
False
Suppose j + 0*j + m - 236 = 0, j - 4*m - 231 = 0. Suppose -u + 3*t + 62 = 0, 3*u - j = -u - t. Is u composite?
False
Let c(r) = 36*r + 12. Let d be c(9). Let u be (1 - d/3)*-3. Suppose u = 2*w + 3*w + 3*j, 2*w + 5*j - 118 = 0. Is w a prime number?
False
Let m(y) = -32 - y + 32. Let n be m(-2). Suppose 5*k = 5*f + 200, n*k - f + 188 = 7*k. Is k a prime number?
False
Let i(r) be the first derivative of r**6/45 + r**5/120 - r**4/24 + 2*r**3/3 + 1. Let a(b) be the third derivative of i(b). Is a(2) composite?
True
Let k(p) = 3*p + 4. Is k(5) prime?
True
Let m(s) = -316*s - 13. Is m(-10) prime?
False
Suppose 5*t - 997 - 318 = 0. Is t prime?
True
Let w(i) = i + 12. Let f be w(-9). Suppose -f = -4*l + 5. Is l a composite number?
False
Let f be 3*(3 + 1068/(-9)). Let u = -220 - f. Is u a composite number?
False
Suppose 2*z + 6 = -4*v, -4*z + 5*v + 19 = -8. Suppose -5*b - z*o = 1, 9 = -3*b + 4*o - 9. Is (185/(-20))/(b/56) prime?
False
Let b(n) be the second derivative of n**3/3 - 7*n**2/2 + 3*n. Let x be b(6). Suppose -3*j = 4*c - 117, x*c = -j + 4*j - 90. Is j prime?
False
Let i(t) = t**2 + 3*t + 2. Let b be i(-4). Suppose -7*f + 3*f + 620 = 0. Suppose -b*v = -v - f. Is v composite?
False
Let b be -2 - 0 - (5 + -8). Let i(l) = -315*l**2 + 2*l - 1. Let w be i(b). Is w/(-4)*(10 + -8) composite?
False
Let z = -3 + 7. Suppose o - 3*d + 10 = -6*d, 12 = z*o - d. Suppose o*q - l - 9 = 110, 5*l + 15 = 0. Is q a composite number?
True
Let s(u) = 10*u + 3. Let i(m) = 49*m + 14. Let x(d) = -3*i(d) + 14*s(d). Is x(-2) prime?
False
Let u = -4 + 14. Suppose 0 = -2*b + u, 2*b - 922 = -3*w + 6*b. Is w a composite number?
True
Is (-3)/(0 + (-5)/205) a composite number?
True
Suppose -n = 4*t + 3, n + t = -0*n. Is (1 - 2) + 24*n composite?
False
Suppose -3*z + 85 + 76 = -2*q, 0 = 5*z - q - 266. Is z a composite number?
False
Let v(f) = -89*f + 1. Let g(t) = -90*t + 1. Let s(c) = -3*g(c) + 2*v(c). Let u be ((-2)/2)/1 - -2. Is s(u) a composite number?
True
Let n(j) be the third derivative of j**5/15 + j**4/24 - j**2. Let h be n(-1). Suppose 3*v = 2*l - 129, 0*v = -l + h*v + 60. Is l a composite number?
True
Let u(w) = -403*w**3 + w + 1. Is u(-2) composite?
True
Let h = -153 - -257. Suppose 5*q - 4*j - h = 76, -5*j = 4*q - 185. Suppose 3*x - q = -4*v, -x - x - 60 = -4*v. Is v composite?
False
Let q(h) be the third derivative of -59*h**4/24 - 2*h**3 + 7*h**2. Is q(-9) composite?
True
Suppose -2114 - 3638 = -8*x. Is x prime?
True
Suppose -9*j - 1388 = -13*j. Is j prime?
True
Let u(c) = -2221*c - 3. Is u(-2) prime?
False
Let o(g) be the first derivative of -7*g**2/2 - 4*g + 3. Is o(-5) a composite number?
False
Let v(g) = g**2 + 4*g - 8. Let x be v(-6). Suppose 0 = 2*z - x*z - 4*o + 90, 4*z - 180 = -2*o. Let y = 44 + z. Is y composite?
False
Suppose 4*m - 24 = -2*z, 3*m + 3 = -0. Suppose 2*t + 27 = -5*q, -z - 16 = 5*q + 5*t. Is 328/10 - 1/q a prime number?
False
Suppose 0 = n - 5*n. Suppose 4*p + p - 715 = n. Is p prime?
False
Suppose 2*k = c - 6*c + 1569, 0 = 5*k + 3*c - 3932. Is k prime?
True
Is 311/2 + (-6)/(-4) a composite number?
False
Suppose 2*r - 4 = 3*b, 6*r = -4