prime number?
False
Suppose -5*f = -2*h + 6*h - 717, 3*h - 284 = -2*f. Is f a composite number?
True
Let k(r) = 14*r - 3. Suppose o = 3*o. Let l(p) = p + 2. Let t be l(o). Is k(t) prime?
False
Suppose -i = -2*c + 8 - 0, -4*i = -3*c + 7. Is ((-2)/4)/(i/(-460)) a composite number?
True
Let f = -130 - -251. Is f prime?
False
Let u(k) = -k + 0*k + 42*k**2 - 26*k**2 - 15*k**2 - 13. Is u(-12) a composite number?
True
Let l(q) be the first derivative of -6*q**2 + 7*q + 1. Is l(-7) a prime number?
False
Suppose 0 = 4*l - 1558 + 42. Is l a composite number?
False
Suppose 2*f + 4*i + 1676 = 6*f, 0 = -2*i - 10. Is (4/12)/(2/f) a composite number?
True
Let l(h) = h**3 + 9*h**2 + 8*h + 7. Let d = 9 - 16. Is l(d) prime?
False
Suppose 0*p = -4*p + 2*g + 6608, -2*p - g = -3300. Is p a prime number?
False
Let f(b) = -18*b - 12. Let p be f(-9). Suppose -71 = -a + c + c, 0 = -2*a + 2*c + p. Suppose 3*z - a = -10. Is z composite?
False
Is 29/(-1 - 6/(-5)) prime?
False
Suppose 2*w + 0*w - 8418 = 0. Let z = w - 2981. Suppose 5*g - z = g. Is g a composite number?
False
Let v(h) = -h**3 - 7*h**2 - 5*h - 1. Let k be v(-6). Let u(g) = -g**3 - 7*g**2 - 2*g - 10. Is u(k) a prime number?
False
Suppose k + 3*k = 0. Suppose -d - d + 166 = k. Is d prime?
True
Let d = -16 + 19. Suppose -2*s - 55 = -d*s. Is s a composite number?
True
Let d(q) = 8*q**2 + 10*q - 6. Let s(t) = 9*t**2 + 9*t - 5. Let j(i) = -5*d(i) + 6*s(i). Let r be j(-3). Suppose 6*u = 3*u + r. Is u composite?
True
Let v be 1*(-4 - -3)*3. Let u = 2 + v. Is -1*(-54 - (-4 - u)) composite?
True
Is (1 - 159)/((-4)/(-2)*-1) a prime number?
True
Suppose 30 = -0*b + 3*b. Let x be (4/b)/(3/45). Suppose -r + 4 = -x. Is r prime?
False
Suppose 4*d = -k - 3*k + 28, 3*d = -5*k + 27. Let h be 116 + -1 - (1 - -1). Suppose 2*v = q - d*q + h, q - 38 = -v. Is q a prime number?
True
Suppose -14 = -3*l + 10. Let m(f) = -5 + l*f + 0 - 2*f**2 + 7*f**2. Is m(-6) prime?
True
Let j = 9 + -5. Suppose -j*m = -5*c - 109, 8*c - 15 = 3*c. Is m composite?
False
Let r be -1 + (-2 - -65 - 0). Suppose -81 = -2*b + 5*b. Let f = b + r. Is f a composite number?
True
Let u = 5 - 2. Suppose 2*p + 3*k - 19 = 58, -p + 31 = u*k. Is p composite?
True
Suppose 10*s + 2*h - 18301 = 5*s, -s + 3*h + 3650 = 0. Is s composite?
False
Let d(b) = 5*b**2 - 8*b - 7. Let r be d(8). Let h(y) = -y**2 + 7*y - 3. Let i be h(6). Suppose r = i*v - 0*v. Is v prime?
True
Let m = 423 + -133. Let b be 57/(1 - 16/18). Let l = b - m. Is l a prime number?
True
Let s = 1233 - -5062. Is s prime?
False
Suppose -o = j - 2257, o - 1876 = 4*j + 361. Suppose 8*u + o = 4*q + 3*u, 0 = -q - 5*u + 532. Is q a prime number?
True
Let v = -455 - -762. Is v a composite number?
False
Suppose 4*n = -n + 925. Is n composite?
True
Let p be (-178)/((1 + -4)/(-3)). Let b = -101 - p. Is b a prime number?
False
Let m = -2 - -4. Suppose m*z = z - 1. Is 28*((-15)/12)/z a prime number?
False
Let o(y) = 4*y**2 - 2*y + 1. Let h(c) = c**2 - 11*c + 12. Suppose 2*x = -4*v + 36, 2*v + 32 = 2*x + 2*x. Let k be h(x). Is o(k) a composite number?
False
Suppose -2*c + 2*g = -0*c - 6, -4*c = 2*g + 6. Suppose 3*k - 318 = -c*k. Is k a composite number?
True
Suppose -10 + 26 = -2*y. Is 7/(28/y) - -1759 prime?
False
Let j(s) = 15*s - 11. Suppose 2*c = -2*c + 3*x + 43, 4*c + 2*x = 38. Is j(c) a prime number?
True
Let l(a) = -a**3 + 6*a**2 + 3*a + 2. Let v be l(-5). Suppose -2*d + 4*d - v = 0. Is d prime?
True
Let b = 6 + -4. Let p be (3 - b)/(2/12). Is ((-28)/(-6))/(2/p) a prime number?
False
Let f be 2/6 - (-3210)/9. Suppose 0*h - f = -3*h. Is h a composite number?
True
Let a(k) be the third derivative of 0 - 1/4*k**4 - 1/6*k**3 - k**2 + 0*k. Is a(-6) a composite number?
True
Let v be (-10)/(-15) - 5/3. Is 201*1/(-3)*v prime?
True
Let l = 5995 - 1010. Is l composite?
True
Let g = -7 + 13. Suppose -b + g = 2. Is (-473)/(-4) - (-3)/b prime?
False
Suppose -10 = -3*g - 2*g, 2*g + 5 = 3*i. Suppose 3*f - 2*t - 233 = 0, -5*t - 387 = -5*f - i*t. Is f a composite number?
True
Is 0 + 521 + -4 + 0 a composite number?
True
Let o be -2 + 2 - (-12)/(-6). Let k = 12 - 35. Is o + -1*(0 + k) a composite number?
True
Let r = 4205 - 2496. Is r a prime number?
True
Let f be (-4)/16 - 39218/(-8). Is f/30 - 4/10 composite?
False
Suppose 6*b - b - 1700 = 0. Suppose 2*s + 2*s = b. Is s a composite number?
True
Suppose 0 = 3*b - 3 - 42. Is b composite?
True
Suppose -6*w + 1281 + 13467 = 0. Is w prime?
False
Let i(u) = 8*u - 2. Is i(1) a prime number?
False
Suppose 3*m = 2*m + 751. Is m a composite number?
False
Let x = 6 - 4. Let b(s) = s**2 + 6*s - 4. Let p be b(7). Suppose x*j - p = j. Is j prime?
False
Suppose -2*w = -3 - 1. Suppose 5*a - 42 = w*a. Is a composite?
True
Suppose q + 906 = -2*q. Is (0 + q)*(-4 + 3) a composite number?
True
Is (-236)/(-3) - (-4)/12 a prime number?
True
Suppose 4*w - 6*w = -52. Is w a composite number?
True
Let w = -523 - -776. Suppose -5*r + w = 4*k, 0 = 4*r - r + 5*k - 144. Is r a composite number?
False
Suppose -r + 3*r = -8. Is (18/2)/((-6)/r) a composite number?
True
Suppose -27 = -5*i - 4*n, n = -i - 1 + 7. Suppose 0 = z - 2*z + 658. Suppose -i*l - 25 = -z. Is l composite?
False
Let u(j) = -j**3 - 10*j**2 - 2. Let k be u(-10). Is k*-3*1/2 a composite number?
False
Let d(i) = i**2 - 3*i + 1. Let c be d(4). Suppose -m + 0*m - c = 3*s, -m - 4*s = 6. Is m/8 + (-2868)/(-16) a composite number?
False
Let x be 3 - 1/(-2)*-6. Suppose 5*p + 5*f - 195 = x, 0 = 5*p - 3*f - 191 + 4. Is p prime?
False
Let d(b) = 23*b**2 - 9*b - 5. Let a be d(-7). Suppose 0*j - a = -5*j. Is j a composite number?
True
Suppose m = -m + 6. Let b(l) = l**2 + 5*l - 3. Is b(m) prime?
False
Let d = -155 + 292. Let z = 229 + d. Let r = -209 + z. Is r prime?
True
Let b = 5436 + -2879. Is b composite?
False
Let f(r) = -1489*r - 12. Is f(-5) a composite number?
False
Is (806/4 - 4)*2 prime?
False
Suppose -3*u - 23 = -v, v - 3*v = 5*u - 101. Suppose -v = -0*y - 2*y. Let p = -13 + y. Is p a composite number?
True
Let h = 892 - 501. Is h a prime number?
False
Let m(g) = -g**2 - 4*g - 6. Let p be m(-6). Let y be 31/(-1 + p/(-15)). Suppose -4*q + y + 153 = 0. Is q a prime number?
False
Suppose 0 = -4*z - 2*n + 816, 0*n = -n - 2. Is z a prime number?
False
Suppose 5*v - 451 = 3*a, v + 4*a - 348 = -3*v. Is v a prime number?
True
Suppose g = 2*g - 2. Suppose -3*h = 2*u - 1, 4*u + g*h - 10 = 4*h. Suppose -3*f + j = -u*f - 81, 2*f - 4*j = 170. Is f a prime number?
False
Suppose 7*r - 3*r = 7468. Is r composite?
False
Let w = -360 - -853. Is w prime?
False
Suppose -z - 3*p = 5 - 25, -2*p - 30 = -z. Is z composite?
True
Suppose 86 = 4*w - o, o = -3*w + 3*o + 62. Is w a prime number?
False
Is (0 + 1)*1182/2 a prime number?
False
Suppose 4*d + 9 = -3*t + 23, -5*t + 2*d + 6 = 0. Suppose -k = g + k + 14, t*k = 3*g + 2. Is (g - -2) + 1*23 prime?
False
Let d(o) = -o**3 + 4*o**2 - 4*o + 1. Let u be d(3). Is u/10 - 13648/(-40) prime?
False
Let r = -6 - -4. Let u(w) = 13*w**3 + 12*w**2 - 16*w + 19. Let m(k) = -4*k**3 - 4*k**2 + 5*k - 6. Let q(j) = r*u(j) - 7*m(j). Is q(3) a composite number?
True
Let l(i) = -3*i + 2. Let d be l(-3). Let b = d - 3. Is (-69)/(-2)*b/6 a composite number?
True
Let q(i) be the third derivative of i**5/120 + 23*i**4/24 - i**3/2 - i**2. Let f(j) be the first derivative of q(j). Is f(0) composite?
False
Suppose -31*s + 35*s = 712. Is s prime?
False
Let o(d) be the second derivative of d**6/720 + 23*d**5/60 - d**4/6 + 2*d. Let h(z) be the third derivative of o(z). Is h(0) prime?
False
Let k(o) = -28*o**2 + 1. Let y be k(-2). Let r = y + 260. Is r a composite number?
False
Let p(c) = 36*c**2 - 1. Let w(z) = -z**2 + 4*z + 1. Let a be w(3). Suppose -s - 3 = -a*s. Is p(s) a prime number?
False
Suppose -4*o = -h - 7038, 0*o + 5*o - 2*h = 8799. Is o prime?
True
Suppose 7 = 5*v + 22. Let b = 13 + v. Is b composite?
True
Let o = -518 - -1405. Is o composite?
False
Suppose 0 = -x + 2*h + 1159 + 400, -4*h - 1567 = -x. Suppose 2*b + 2*g = 1034, 4*b + g = b + x. Is b prime?
False
Let w(m) = m**2 - 3*m - 9. Let y(x) = -2*x - 13. Let o be y(-10). Is w(o) composite?
False
Let g(u) = u**2 + 8*u + 8. Let l be g(-9). Suppose 26 = 4*y - 2*z, -4*y + 5*z - l = -52. Suppose y*c - w - 35 = 2*w, w = 4*c - 21. Is c prime?
False
Let y(a) = a + 6. Let g(d) = 1. Let t(