ime number?
True
Is 310860/100 - 3/(30/(-4)) composite?
False
Suppose -3*h + 0*h + 369 = 0. Is h a composite number?
True
Let t(p) = -4*p - 5. Let y be (2/4)/((-1)/(-8)). Suppose 0*z + 20 = -y*z. Is t(z) prime?
False
Suppose -2 = -5*z + 23. Suppose -l + 0*o - o = -13, -4*l + z*o + 34 = 0. Is l a composite number?
False
Suppose 4*o - 6 = 3*o. Suppose 0 = 4*b + 5*i - 112, -b + 5*i - 145 = -o*b. Is b a composite number?
True
Suppose -1670 - 595 = -3*h. Is h prime?
False
Suppose 0 = 5*p + 5*t - 25, -p + 26 = 3*p + t. Let q(s) = 8*s - 9. Is q(p) a composite number?
False
Let m(l) = 547*l**3 + 4*l**2 - l + 1. Is m(2) a composite number?
False
Let v = 9 + -5. Suppose -o + 47 = 5*t - 3*t, 0 = -v*t - o + 89. Is t a composite number?
True
Let v = 1109 - 774. Is v prime?
False
Suppose 0 + 8 = 2*q, -2*a - 4*q + 2034 = 0. Is a a prime number?
True
Let z(s) = -3*s**3 - 11*s**2 - 3*s - 137. Let w(h) = 2*h**3 + 7*h**2 + 2*h + 91. Let y(c) = 8*w(c) + 5*z(c). Suppose 0 = -i - 4*i. Is y(i) a composite number?
False
Is (-3 - 2)*(-204)/20 composite?
True
Let z(d) = -d**2 - 6*d - 2. Let h be z(-5). Suppose -5*a + 17 = -h. Suppose 0 = a*u - p - 24, -u + 5*p = u + 6. Is u a composite number?
False
Let h(l) = -118*l - 3. Is h(-5) a composite number?
False
Let w = 0 + 0. Suppose 3*y - 56 - 10 = w. Let h = y + -15. Is h a composite number?
False
Let f be -4*2/8*-5. Suppose 0 = -f*j - 26 + 76. Is j prime?
False
Let z = 6 + 1. Suppose 5*w = z*w - 586. Is w composite?
False
Let p = -131 + 1172. Is p composite?
True
Let b(k) = 5*k**2 - 5. Let x be b(6). Suppose 830 = 2*i + 3*i - 5*q, -i + 4*q = -x. Is i a prime number?
True
Let l(d) = d**2 + 8*d - 13. Let x be l(-9). Let h be x/(-24) - (-10)/12. Is (227 - h)*3/6 a composite number?
False
Let h = 58 - 35. Is h prime?
True
Let j(x) = -x**2 - 15*x - 6. Let q be j(-14). Let m(r) = 20*r - 2. Is m(q) a composite number?
True
Let s = 19 - 17. Suppose -s*g + 3556 = 2*g. Is g composite?
True
Suppose -5*t - 900 = 4*x, 241 = -t + 5*x + 61. Let n = -113 - t. Is n a prime number?
True
Let d be -2*(-1 - -87)/(-2). Suppose 0 = 4*b + 217 - 21. Let h = d + b. Is h composite?
False
Let v(p) = -155*p - 1. Let w be v(-1). Suppose -4*c = 5*s - 164, -4*c + 4*s + w = -c. Is c composite?
True
Suppose -2*d + p + 19 = -4*p, 5*d + 4*p - 31 = 0. Suppose -d - 122 = -2*b - 3*t, 0 = 2*t + 6. Is b a prime number?
False
Suppose 20*l - 23*l + 363 = 0. Is l prime?
False
Let m be 156/(-27) - (-8)/(-36). Is (4/m)/((-10)/1305) prime?
False
Suppose w = -0*p - 2*p, -2*w + 16 = -4*p. Let a be 2 + 5/((-5)/w). Let o(f) = 5*f**2 + 4*f + 3. Is o(a) prime?
False
Let f = 7 - 4. Let x be (-1 + 248)*3/f. Suppose 3*a - x = 98. Is a prime?
False
Is 2*69/(-12)*(-1072)/8 a composite number?
True
Let a(x) = 483*x + 4. Is a(1) composite?
False
Let p = 330 - 145. Suppose 5*c - p = -2*k, 5*k - 4 = c - 14. Is c a prime number?
False
Is 2*(-1 + (-2)/4*-1089) composite?
False
Suppose 20*v - 9*v - 16049 = 0. Is v a prime number?
True
Let t = -9 + 10. Is (-2 + 1)*(t - 26) a composite number?
True
Is 1/(-2 - (-2)/(5752/5756)) a composite number?
False
Let o(g) = 131*g + 1. Is o(2) a composite number?
False
Let d(x) = -107*x - 11. Let w be d(-10). Suppose -3*b = 5*t + 2*b - 1080, -5*t + w = -2*b. Is t a composite number?
True
Suppose -507 = -f + 3*s, -3*s + 6*s - 2607 = -5*f. Is f prime?
False
Suppose -23 = -5*z + 7. Let l = -3 + z. Is l composite?
False
Let o = -19 + 22. Suppose -o*v - 59 = -1226. Is v a prime number?
True
Suppose 6 = 2*i - 0. Let l = i - -11. Is 514/l - 8/(-28) a prime number?
True
Suppose 0 = z - 68 - 6. Suppose 2*s = 3*s - z. Is s prime?
False
Let h(k) = -k**3 - 6*k**2 - 7*k - 9. Let y be h(-6). Suppose -y = -j + 4*z, 4*j - 78 = -2*z - 0*z. Is j composite?
True
Let r be -4 - 0 - -8 - -538. Let m = 1051 - r. Is m a prime number?
True
Is (4 - 4 - 4)*14/(-8) a prime number?
True
Let z = 6 - -9. Is 1626/10 - (-6)/z composite?
False
Let a(c) = -24*c**3 + 2*c**2 - 2*c - 1. Let n be a(-2). Suppose f - 89 = -5*z, -4*f + 237 = -z - n. Is f composite?
False
Suppose -2*t + 1323 = -263. Suppose -4*r = -5*n - 1565, -2*r - n = -0*n - t. Is r prime?
False
Let q be (-1)/(91/(-92) + 1). Is (-1)/3 - q/6 a composite number?
True
Let n be 3490/6 - (-2)/(-3). Let u = -370 + n. Is u a prime number?
True
Suppose -2*h = 5*o - 424, 2*o = -3*h + 6*h - 655. Is h a composite number?
True
Let s = 643 - 380. Suppose 5*j = -3*i + s, 3*j + 3*i = j + 98. Is j prime?
False
Let m(w) = -9 - 3*w + w + w**3 + 4*w - 3 - 13*w**2. Is m(13) a prime number?
False
Is 2/3 + 2786/42 a prime number?
True
Let c be -1*5*(-24)/(-20). Let x be c/((-4)/(-2)) - -4. Is (1 - 128)*(-1)/x composite?
False
Suppose h - 216 = 249. Suppose 3*s - 2*s + h = 2*q, -20 = -4*s. Is q prime?
False
Let y(u) = 2*u**2 + 10*u + 7. Let g be y(-6). Let i = g + 34. Is i a composite number?
False
Suppose -2*l + 7*l = 0. Suppose l = 5*k - 265 - 70. Let p = -30 + k. Is p prime?
True
Suppose -4*v + 246 = -318. Is v a composite number?
True
Suppose -3*u + 2*u = 4. Is (568/10)/(u/(-10)) a composite number?
True
Let c(i) = 224*i**2 + 50*i**2 + 155*i**2 - 58*i**2. Is c(1) a composite number?
True
Let c = 2119 + -1160. Is c prime?
False
Suppose 0 = -5*d - 25, -4*o + d + 11 = -2*o. Let f(t) = t**3 + t**2 - 5*t + 2. Is f(o) a composite number?
False
Suppose 5*y + 0*y = 0. Suppose -m + y*m + 483 = 3*v, -3*m = 2*v - 322. Is v a composite number?
True
Let k be (-37)/(-7) + (-8)/28. Suppose k*b = 2 + 93. Is b a prime number?
True
Suppose -3*l = 2*l. Let j be l*((-3)/9)/(-1). Is (j - 42 - 1)/(-1) prime?
True
Is 5136/9 - (3 - 20/6) a composite number?
False
Suppose -s + 185 = r - 4*s, -567 = -3*r + 5*s. Let k = r - -122. Suppose 65 - k = -p. Is p a composite number?
False
Let z(h) = h**2 - 1. Let d be z(-2). Let i be d*2/(-3) + 355. Suppose -327 - 34 = -4*w + 5*a, 0 = -4*w - 3*a + i. Is w composite?
False
Is (-3)/(-15) - (-1632)/15 a composite number?
False
Let t(q) = q**3 + 6*q**2 + 3*q - 4. Let w be t(-5). Let c(o) = 3*o**2 - 5*o + 1. Let f be c(w). Suppose 4*g - f = -l, 0*l = -5*g - 5*l + 80. Is g composite?
True
Let g(b) = b**3 + 15*b**2 + b + 3. Is g(-10) a prime number?
False
Let n = -1034 + 2037. Is n a prime number?
False
Let b(j) = 84*j**2 - 3*j - 1. Is b(-2) a prime number?
False
Let x(i) = 5*i**2 + 17*i - 7. Is x(8) a composite number?
False
Let v(r) = r**3 + r + 388. Let m be v(0). Is (-9)/(-45) + m/10 composite?
True
Suppose -2*a + 3*n = -184, 5*a = -3*n - 0*n + 418. Is a a prime number?
False
Let u = -14 + 15. Let z(a) = 785*a**2 + a - 1. Is z(u) composite?
True
Suppose -3*x - x = -104. Let v be x + 5 + 1*2. Is 1*v/3*3 a prime number?
False
Let x(a) = -a + 18. Let f be x(8). Is (-15)/f*92/(-6) a composite number?
False
Let g be ((0 - -2)/2)/(-1). Let k(a) = -2*a - 16. Let f be k(-12). Let n = f + g. Is n a prime number?
True
Let o = -47 + 19. Let d = o + 42. Is d a prime number?
False
Suppose -33 + 1888 = 7*f. Let z = f + 144. Is z a composite number?
False
Is (-422)/3*(-15)/10 prime?
True
Let p(o) = o - 2. Let z be p(4). Is (z + 9)*(9 + -2) composite?
True
Let y(p) = 52*p + 11. Suppose 25 - 5 = -5*d, 4*r - 28 = -2*d. Is y(r) composite?
False
Let u(s) = -s - 6. Is u(-13) a prime number?
True
Let d(c) = 7*c**2 + 5*c - 7. Suppose 0*z + 4*p = -3*z + 29, 0 = -3*z - 5*p + 34. Is d(z) a composite number?
False
Let b(l) = 108*l**2 + l + 2. Is b(-1) prime?
True
Let v = 54 + -33. Suppose 4*i - 5*s = 368, -s = -5*i + 460 - v. Is i a prime number?
False
Suppose 0 = 4*m + m + 2*c - 957, -4*m + 3*c + 784 = 0. Suppose 61 = 2*k - m. Is k a composite number?
False
Let l be 2/(3/387 - 0). Suppose -2*k - l = -4*k. Is k composite?
True
Let a(t) = -t**3 + 13*t**2 - 12*t - 2. Let g be a(12). Let j(p) = -56*p + 3. Is j(g) a composite number?
True
Is -3 - (72 + 2)*-2 composite?
True
Suppose -6*p + 8 = -2*p. Let a(u) = -744*u**2 + 2*u + 1. Let o be a(-1). Is (o/(-20))/(p/8) prime?
True
Suppose 6*a + 314 = 1436. Is a a composite number?
True
Suppose 0 = -3*x + 5*q + 12842, 3*x - 5*x + 4*q = -8558. Is x prime?
True
Let w(s) be the third derivative of s**7/2520 + s**6/360 - s**5/120 + s**4/12 + s**2. Let r(g) be the second derivative of w(g). Is r(4) a prime number?
True
Suppose -x = -2*x. Suppose -j + 712 - 71 = x. Is j a composite number?
False
Suppose 584 = 5*c 