prime number?
True
Let q(t) = t**3 + 9*t**2 - 6*t - 3. Let p be (-2 + -1)/((-4)/(-12)). Is q(p) prime?
False
Let u = 11 - 8. Suppose 5*r + h - 147 = 105, 9 = -u*h. Is r a prime number?
False
Let h(i) = 29*i**2 + 10*i - 10. Is h(7) a prime number?
True
Suppose -10 - 18 = -4*y. Let m be 2 - (3 - (1 + y)). Suppose 131 = 4*o + m. Is o a composite number?
False
Let x be 2 - (-10)/(-1)*-1. Let y = -7 + x. Suppose -3*q = y*g - 43, 3*q = 4*g + 24 + 55. Is q prime?
False
Let o(c) = 2*c - 2. Let u be o(2). Suppose 4*m - 4*f = 888, -4*f = m + u*m - 666. Suppose -h + z + 80 = 0, z - 4*z + m = 3*h. Is h a prime number?
False
Let a(j) = j**3 - 5*j**2 + 4*j + 7. Let n = -2 - -8. Let u be a(n). Is (-5 - -3)/((-2)/u) prime?
True
Let m(d) = 23*d**2 + d. Suppose 2*s - 3 = s. Suppose 0 = -5*l + 2*l - s. Is m(l) a prime number?
False
Let c(x) be the second derivative of 3*x**5/5 - x**4/4 + 2*x**2 - 6*x. Is c(3) composite?
True
Let h(d) = -d + 2. Let a be h(0). Suppose 4*m - 2*m = 0. Suppose -a*s + 38 + m = 0. Is s a composite number?
False
Let p(s) = s**3 + 19*s**2 + 24*s - 13. Is p(-17) composite?
False
Let z(x) = -43*x - 3. Let m be z(-4). Let f = -100 + m. Is f a prime number?
False
Is (557/(-3)*2)/(4/(-12)) composite?
True
Suppose -c - 1336 = -3*a, -c + 0*c + 889 = 2*a. Suppose -6*j - a = -2731. Is j prime?
False
Let p(t) = -2 + 3 - t**2 - 3*t - 5*t**3 + 4*t. Let c be p(-1). Is 2/c - 3/(-2) a composite number?
False
Let k = 8 - 5. Let z be (k + 9)*(-2)/(-8). Suppose -g - 161 = -2*d, 2*d + z*d = -g + 420. Is d a prime number?
True
Suppose -3*s = -2*i - 2915, 0 = 4*s + 4*i - 1410 - 2470. Is s composite?
False
Let r(g) = -2*g**3 - g**2 + 1. Suppose -2*q - 4 = l, 3*q + l + 0*l = -7. Is r(q) composite?
True
Suppose 4*j = 5*r + 30, -8 = -2*r - 3*j + 3. Let m be -1 + 3 - r/1. Suppose 0 = -4*n + u + 86, -n - m*u + 34 = n. Is n composite?
True
Let k(b) = -6*b**3 + 7*b**2 + 6*b - 6. Is k(-5) a prime number?
False
Let o(f) = f**3 - 2*f**2 - 4*f + 4. Let y be o(4). Suppose -4*v = -8*v + y, -4*i + 1138 = -2*v. Suppose i = 5*d + 52. Is d composite?
False
Suppose i - 1 = -4. Let x = i - -5. Suppose -1 = q, -3*q - 43 = -x*r - 10. Is r composite?
True
Let c = 2 + -2. Suppose -2 = p - c*p. Is -4 - -13 - (-4)/p prime?
True
Suppose 1099 = 2*y - 169. Suppose 2*p - y = -156. Is p a prime number?
True
Let d be 2/(-2) + 318/(-6). Let v = d - -91. Is v composite?
False
Suppose -3*q + 447 = -0*q. Is q a composite number?
False
Suppose 0 = -3*v + 11 + 7. Suppose -v*x + 665 = -x. Is x a prime number?
False
Suppose r - 4*u = 1 - 7, -4*r + 5*u = 13. Is (-177)/r - (-2)/4 a prime number?
True
Let w(i) = i**2 + i + 1. Let k be w(0). Let m = k - 6. Is (-123)/(-4) + m/(-20) a composite number?
False
Let s(l) = 134*l**2 - 3*l. Is s(-5) prime?
False
Let j(v) = 136*v + 1. Let i(k) = -k + 8. Let x be i(7). Let u be j(x). Suppose -u = -5*c - 42. Is c a composite number?
False
Let t = 315 - -32. Is t a composite number?
False
Let o(z) = z**3 + 13. Let w = 6 + -6. Let x be o(w). Let m = x - 6. Is m a prime number?
True
Is (-1227)/(-4) - 5/(-20) composite?
False
Suppose 2*g = 2*o + 10, 7*g - 16 = 3*g. Let k(i) = -33*i + 2. Is k(o) prime?
False
Suppose x = 133 + 778. Is x a prime number?
True
Suppose -18 = -5*o - 58. Let s = o + 13. Suppose -s*g + 288 = 4*f, 0*g = -2*g + 8. Is f a prime number?
True
Suppose 0*z - 5*z + 1545 = 0. Is z a composite number?
True
Let a(c) = -c + 4. Let l be a(0). Let y(s) = 169*s + 9. Is y(l) a prime number?
False
Suppose -4*m = -3*c - 24, -m - 3 = -6*m - 3*c. Suppose -11 = -m*j + 1. Let y(w) = 2*w + 1. Is y(j) composite?
True
Let r(o) = -o**2 + 3*o - 2. Let d be r(2). Let l = d + 2. Suppose 0 = l*y + 2*f + 3 - 1, 3*f + 6 = -2*y. Is y prime?
True
Let j be (5 + -4)*(0 + 7). Let g(o) = -o**3 + 8*o**2 - 3*o - 5. Is g(j) composite?
False
Suppose 4*u + 3*a = 3095 - 367, 0 = -3*a + 12. Is u prime?
False
Let l(s) = 12*s**2 - 6. Let f be l(-5). Suppose 9 - f = -5*k. Is k prime?
False
Let s(a) = 224*a + 3 - 8 - 4. Is s(4) prime?
True
Suppose -2*m + 4*b + 6 + 16 = 0, 5*m - 16 = -3*b. Let y = -10 - m. Is ((-39)/(-5))/((-3)/y) a prime number?
False
Let n be (-9)/(-6)*(-848)/(-6). Suppose n = -2*r + 6*r. Is r composite?
False
Let r = 9 + -15. Let z(q) = -30*q + 5. Let m(v) = 31*v - 5. Let s(w) = 4*m(w) + 5*z(w). Is s(r) a prime number?
False
Let d be ((-5)/((-10)/(-8)))/(-2). Is 2/(-1)*(-121)/d a prime number?
False
Let r(v) = -2*v**2 - 8*v + 1. Let q be r(-6). Let d = q + 49. Is d prime?
False
Let p(z) = z**2 + z + 514. Is p(0) a composite number?
True
Let p(m) = m - 6. Suppose -12 = -5*i + 3. Let t be p(i). Let b(d) = -7*d - 2. Is b(t) a prime number?
True
Let s = 661 - 204. Is s prime?
True
Let n = 184 + -65. Is n prime?
False
Let n(v) = 320*v**3 + 2*v**2 - 2*v + 1. Is n(1) a prime number?
False
Is (-856)/(-6)*(-6)/(-4) a prime number?
False
Let h(n) = -2*n + 5*n**3 - 28*n**3 - 1 - 5*n + 6*n. Let c be 4/(-6) + 1/(-3). Is h(c) a prime number?
True
Let n(d) = 115*d**2 + 6*d - 23. Is n(6) a composite number?
False
Let d = 5 - 2. Let k = -75 + 189. Suppose -d*b + k = 15. Is b prime?
False
Let m = 12852 + -3761. Is m a prime number?
True
Let a(p) = 2*p**3 - 4*p**2 - 3*p + 9. Suppose 5*n - 2*b + 3*b = 30, -2*n = -3*b - 12. Let y be a(n). Let i = y - 130. Is i composite?
False
Is 118/6*6/2 a composite number?
False
Suppose 410 = 3*s + 143. Is s a composite number?
False
Let s be 1/5 + 34/5. Let m(q) = -2 - 3*q**2 + 3*q - s*q - 2*q**2 + q**3. Is m(6) composite?
True
Is 2471 - (0 + -3 + 3) a composite number?
True
Let a be (-111)/(-21) + (-4)/14. Suppose -a*q = -2*q + 60. Let d = 107 - q. Is d prime?
True
Let n = 623 - 369. Let y = 669 - n. Is y a composite number?
True
Let v(s) = -s**3 - s**2 + 2*s - 1. Let o be v(1). Is (0 + o)*(-20)/2 composite?
True
Suppose -g + 246 = -p, 5*g - 517 = 3*g - 3*p. Is g prime?
True
Let v(f) = 2*f**2 + 6*f + 1. Let u be v(-4). Let q(x) = 2*x - x**2 + u*x**2 - 5*x**2 + 8*x**2. Is q(-3) a composite number?
True
Let m = -5 + 1. Let l be m/10 + (-1101)/(-15). Suppose 2*p - 1 - 1 = 0, 0 = 2*q + 3*p - l. Is q a composite number?
True
Let p = 3 + -3. Suppose p*c = -2*c + 246. Is c a prime number?
False
Let f(c) = -c**2 + 8*c - 4. Let v be f(7). Let g(a) = 44*a - 1. Is g(v) prime?
True
Let a(f) = -f**2 - 8*f - 13. Let l(z) = z**2 + 7*z + 12. Let k(x) = 4*a(x) + 5*l(x). Is k(6) composite?
True
Let o be (-2)/(-4)*(-1 + 1). Let q(j) = 3*j**2 + 3*j + 41. Let p(y) = y**2 + y + 1. Let i(w) = -4*p(w) + q(w). Is i(o) composite?
False
Let k(n) = -2*n**3 + n - 7. Is k(-6) prime?
True
Suppose -j + 1 - 22 = 0. Let h be -130*1/5*-2. Let m = h + j. Is m prime?
True
Is 3 + ((-750)/(-4) - (-3)/6) a composite number?
False
Is 1791/11 + -2 + 144/66 composite?
False
Let f be (-6)/18 + 32/6. Suppose -1190 - 665 = -f*r. Is r prime?
False
Let q = 4 - 1. Suppose 0 = 4*t + 4*o - 132, q*t + 2*o = o + 95. Is t composite?
False
Let z(i) = -2*i**3 - 14*i**2 - 13*i - 4. Is z(-7) a composite number?
True
Let c(j) = -31*j - 18*j - 8*j + 9. Let p be c(-8). Is 4*(p/(-12))/(-1) a composite number?
True
Let d(v) = v**3 - 4*v**2 + 2*v. Let s be d(3). Let n = s + 3. Is 3 + n - (-209 - -1) a composite number?
False
Let k(p) = 4*p - p + 64*p**2 + 1 + 2. Let l = 37 + -39. Is k(l) a prime number?
False
Let x(j) = 191*j**3 + j**2 - 1. Let c be (-15)/10*(-6)/9. Is x(c) a composite number?
False
Is 6/(-1)*(214/(-6) - 2) composite?
True
Is ((-27)/(-18))/(1*3/502) a composite number?
False
Suppose -56 - 194 = -2*q + 4*x, 4*q + 2*x = 490. Suppose 2*r = 421 - q. Is r a prime number?
True
Suppose -3*y + 582 = -5*d - 659, 3*y + 4*d = 1205. Is y a prime number?
False
Suppose 4*w = 11 + 5. Suppose g - 95 = -w*g - 5*i, -g = -5*i - 7. Suppose -5*b - 3*s + 89 = 0, -b = -2*s + 3*s - g. Is b a prime number?
True
Suppose 5*n + 91 = -879. Suppose 2*g + 4*t - 391 = 5*g, 0 = 3*t - 12. Let s = g - n. Is s prime?
False
Suppose 0 = -j - 4*q + 59, 5*j + 4*q = 2*j + 217. Is j composite?
False
Suppose -3*t = -4*t. Suppose -n + t*n = -265. Is n a prime number?
False
Let j = 261 + 70. Is j prime?
True
Is 1*(-3 - (4 + -138)) composite?
False
Let s(k) = k**2 - 2. Suppose -d = 4*l + 3 - 6, 0 = -5*d + 15. Let w be s(l). Is (0 - (-1)/w)*-62 composite?
False
Let q(a) = a**3 + 8*a**2 - 9*a + 1. Suppose -5*x - 9 = -4*x. Let h be q(x). Supp