a prime number?
False
Let c(t) = 7*t**2 + 4*t + 6. Is c(-5) a prime number?
False
Let f(r) = r**3 - 11*r**2 + 2*r - 10. Let d be f(11). Is 4/(2 + d/(-9)) composite?
True
Suppose 0 = -l - c - 1, -5*l + 3*c + 16 - 5 = 0. Let k(x) = 2*x**2 - x + 1. Let u be k(l). Suppose u*j = 312 - 118. Is j a prime number?
True
Let n(f) = -110*f - 9. Is n(-15) a composite number?
True
Let a = -4 + 4. Let d = a - 2. Let l = d + 39. Is l a prime number?
True
Let v be -17*(10 + 3) + -2. Let f = v + 142. Let l = f + 114. Is l prime?
False
Suppose 5*l - 4*z + 11 = 0, -2*l + 0*z = -z + 2. Let u = l + -8. Let j = u + 9. Is j composite?
False
Is (-17994)/4*-6*9/81 composite?
False
Let u(x) = -x**3 - 5*x**2 - 3*x + 4. Let i be u(-4). Suppose 0 = 4*v - i*v - 364. Is v composite?
True
Suppose 0*r - 4*s = 2*r - 12, -r + 2*s + 6 = 0. Suppose 0 = -4*b - r + 26. Suppose 0 = g - 4*j - b, -2*j + 90 = 3*g + j. Is g a composite number?
True
Suppose -1398 + 283 = -5*z. Is z a composite number?
False
Let o = -59 + 548. Let y = o - 130. Is y a prime number?
True
Let o(u) = u**2 - 4*u + 3. Let m be o(4). Suppose 32 + 154 = m*n. Let f = -25 + n. Is f a composite number?
False
Suppose -1223 = -2*b + 3*z, 3*z - 7*z - 20 = 0. Suppose -b + 184 = -4*v - 4*t, 3*t - 424 = -4*v. Is v a composite number?
False
Let k be (-4)/(-6) + 31/3. Suppose 3*b + 6 = 0, b - 64 = -3*d - 0*b. Let l = k + d. Is l a prime number?
False
Is -1*(-5)/(5/694) a composite number?
True
Let p be (-4)/6 + (-5656)/(-24). Let y = p - 146. Is y a composite number?
False
Let v be (-4 + 0 - 1)/(-1). Suppose -v*f - 460 = -f. Let r = f - -172. Is r a composite number?
True
Let p be (-70)/9 - (-4)/(-18). Let c = p - -17. Is 6/c*318/4 composite?
False
Suppose -5*r + 1 = 4*t - 51, 13 = t + 2*r. Suppose -t*l + 12*l = -82. Is l composite?
True
Suppose -3*m - 3*x + 773 = x, 2*m - 3*x - 487 = 0. Is m prime?
True
Let h be (-12)/(-5) + (-33)/(-55). Is 1 + 152 + -1 - h a composite number?
False
Suppose 4*f + 9*f = 12857. Is f a composite number?
True
Let t = 1 + 9. Is 16/40 - (-346)/t a prime number?
False
Let y(s) = s**3 + 3*s**2 + 2*s + 2. Let u be y(-2). Suppose 2*r = d - 1, u*d + d = 3. Is -1 + (r + 2 - -126) a prime number?
True
Let t(d) = 18*d**2 + d + 38. Is t(15) composite?
True
Suppose 0 = 4*t + 2*b - 4*b - 404, 2*b = 5*t - 507. Is t a composite number?
False
Let g(l) = 195*l - 6. Let c be g(7). Suppose -b - c = -4*b. Is b prime?
False
Suppose 0 = 2*r - 5*z - 1287, r - 495 = 3*z + 151. Is r a prime number?
True
Let a(m) = -m**3 + 5*m**2 + 5*m + 26. Is a(-5) composite?
False
Suppose -q = -4*q + 174. Is q a prime number?
False
Let l(k) = -k + 4. Let m be l(-4). Let x = m + -5. Suppose x*h - 9 = -0*h. Is h prime?
True
Let r = 8 + -1. Suppose 0 = r*b - 4*b. Suppose a + b*d + 6 = -3*d, a + 5*d + 12 = 0. Is a prime?
True
Suppose -5*c - 2069 = -4*k - 680, -3*k - 5*c + 1033 = 0. Let t = -145 + k. Is t prime?
False
Suppose 5*d = 4 + 16. Suppose -3*q - 2*f = -561, -4*q + 976 = -d*f + 228. Is q composite?
True
Let d = 7 - 6. Suppose d = -k + 3, -4*k = 3*h - 47. Is h prime?
True
Let q = 68 - -131. Is q composite?
False
Suppose -5*a - s + 14 = 0, -2*a = -5*a + 3*s - 6. Is 120 - (a + (-3)/1) a prime number?
False
Let j(w) = w**2 - 2*w - 21. Is j(-14) a composite number?
True
Let o be (-1)/((-4)/3 - -1). Suppose 5*p + 15 = 0, -2*t - o = p - 16. Let j = t + 7. Is j a composite number?
True
Let m = 5 - 4. Is 37 + (0 - m) + -1 a composite number?
True
Let s(r) = -r**2 + 7*r - 4. Let g be s(6). Let o be g - (1 - -47*2). Is (o/(-6))/((-2)/(-4)) a prime number?
True
Suppose 0 = 2*t - 4*t + 8. Suppose -1184 = -t*p - 2*d + 6*d, 3*p - d = 882. Is p prime?
True
Suppose 1 + 3 = z. Suppose 0*k = 5*k + 5*y - 195, y - 141 = -z*k. Let x = 119 - k. Is x a prime number?
False
Let m(s) = -2 + s + 3*s - 2*s. Let g be m(6). Is 2/g + (-468)/(-10) composite?
False
Let q(j) = -20*j - 1. Suppose 4 = p + 5. Is q(p) composite?
False
Suppose 4*x + 4*r = 2024, 3*x - r = -0*x + 1502. Is x prime?
False
Suppose 0 = -5*w + 2 + 8. Suppose 0*d - 62 = -w*d. Is d a prime number?
True
Let a(w) = 68*w - 9. Let f(y) = -68*y + 8. Let h(g) = -3*a(g) - 4*f(g). Is h(2) prime?
True
Let s = 83 + 76. Is s composite?
True
Let c(j) = 83*j**2 + j - 7. Is c(3) prime?
True
Let y = -152 + 1837. Is y a composite number?
True
Let t(l) = -l**3 - 9*l**2 + 4*l - 21. Is t(-11) a composite number?
True
Let p(y) be the first derivative of y**2/2 + 14*y - 3. Let m be p(-10). Suppose -35 = -m*r + 41. Is r prime?
True
Suppose 71 - 279 = -4*d. Suppose p - 1 - d = 0. Is p a prime number?
True
Let c = 1310 - 789. Is c a composite number?
False
Is ((-6)/(-3))/(6/111) a composite number?
False
Let w(f) = 12*f**2 - 29*f - 9. Let z(d) = -4*d**2 + 10*d + 3. Let u(b) = 6*w(b) + 17*z(b). Let v be (-15)/4 - (-1)/(-4). Is u(v) composite?
True
Suppose 6*x - 3*n = 3*x + 9, -30 = -3*x - 4*n. Let r = -2 + x. Suppose 85 = 4*q - q - r*u, 3*q - 2*u = 77. Is q a prime number?
True
Suppose 0 = 2*n + 4*s - 704, n - 5*s - 677 = -n. Let z = -227 + n. Is z composite?
True
Is 28821/15 - (-6)/(-15) a composite number?
True
Let s(w) = w**3 + w + 5. Let a be s(0). Suppose c - 5 = -a*p + 3*p, 4*c - 4 = -4*p. Suppose -21 = -p*y + 23. Is y a prime number?
True
Suppose -1 + 4 = -w. Let b be 0*(-1)/w + 5. Let p = b - -4. Is p prime?
False
Suppose 2180 = 5*p + 85. Is p composite?
False
Let n = 11 + -11. Suppose -l + 3*a + 94 = n, 0*a + 450 = 5*l + 5*a. Is l a composite number?
True
Suppose 0 = -0*s + s - n + 2, -5*s + 10 = -n. Let a be (-10)/s*24/(-10). Is ((-2)/a)/((-1)/76) a prime number?
True
Let z = 97 - 43. Let p = z - -17. Is p a prime number?
True
Let w(b) = -b**2 + 5*b + 7. Suppose 15 = 3*x + 39. Let a = x + 13. Is w(a) prime?
True
Let o(w) = -w**3 + 7*w**2 + 2*w + 6. Let t be o(5). Suppose -4*h = -2*h - t. Is h prime?
False
Let o = 390 - 215. Suppose -6*s = -s - o. Is s prime?
False
Let r = 6380 - 643. Is r a prime number?
True
Let r(m) = -5 + 3 + 2 - 11*m. Is r(-5) composite?
True
Let d(h) = -4*h + 1. Let z be d(-1). Suppose 2*y + 3*k = -k + 986, y - 472 = z*k. Is y a composite number?
False
Let l = -3 - -3. Suppose l*g + g = 12. Is (-8)/g + 203/3 a composite number?
False
Let f(m) = 2*m**2 - 8*m + 3. Is f(11) a prime number?
True
Let o = 7 - 217. Let m = -104 - o. Is m a prime number?
False
Let u(x) = 0*x + 44*x**2 - x + x - 1. Is u(-1) a composite number?
False
Let q(n) = 7*n**3 + n**2 + 2*n - 3. Is q(4) composite?
True
Let b(g) = 0*g + 10*g + 7 + g. Is b(5) composite?
True
Let m(d) = 23*d**2 + d - 3. Let w be m(-2). Is -5*8/(-20) + w a prime number?
True
Let i = 28 + 759. Suppose 117 = -a + i. Let p = -459 + a. Is p composite?
False
Let m(y) = 17*y**2 + y - 1. Let t be m(1). Suppose -110 = -n + t. Is n prime?
True
Let l = 418 - -469. Is l a prime number?
True
Let o be (-10)/(-35) + 1195/7. Let z = 40 + o. Is z a prime number?
True
Let q be (17 - 1)/(-4) + 4. Let w(h) = 3*h**2 + 3*h**2 - 5*h**2 + 15 - h. Is w(q) prime?
False
Let i = -5 - -8. Suppose -6*d = -i*d - 3*c - 6, 0 = 2*d + 3*c - 9. Is (-136)/(-6) + (-2)/d prime?
False
Suppose -3*g + 2 = -4. Let k be (-8)/12*3/g. Let w(b) = -24*b + 1. Is w(k) prime?
False
Suppose -5*t - 10 = j, -4*t = -3*j - 2*j + 8. Let y be (-4)/(2 + t + -1). Suppose -3*a + 35 = 5*l, y*l = 4 - 0. Is a a prime number?
False
Let o = -69 - -230. Is o a prime number?
False
Suppose 3*t - t = 2*x - 288, 0 = -x + 3*t + 146. Suppose -2*j + x = -5*g, 8 + 7 = -3*g. Let s = j - 6. Is s a prime number?
True
Is 1 + 247 + 0 + -1 prime?
False
Let y = 79 + 426. Is y a composite number?
True
Let x be (4 - 3) + 276/2. Suppose 0*i - x = -3*i + 5*f, i - 3*f - 45 = 0. Suppose 2*y - 2*j - i = 0, 3*y = -y - 2*j + 102. Is y a prime number?
False
Let y(x) = -3*x + 6*x + 4*x - 2. Is y(7) a prime number?
True
Suppose -3*l = -14 + 2. Suppose 4*v = 2*m + 150, -v + 8 = -l*m - 33. Is v a composite number?
False
Suppose 18 + 2 = 2*t. Is t a prime number?
False
Let q(t) = -5*t**3 - 2*t**2 - 1. Let l be q(-2). Suppose -41 = -4*k + l. Let x = k - 12. Is x composite?
True
Suppose -245 = -2*a + 143. Is a a composite number?
True
Is 0 + 334 + (-2)/(-2) a composite number?
True
Suppose -b + 2*r + 457 = 0, -3*b + 5*r + 1355 = -14. Let q be (20/(-16))/((-1)/256). Let h = b - q. Is h prime?
False
Let n(a) = -3*a - 3. Let p be n(-2). Le