a composite number?
False
Let r = 107 + 160. Is r prime?
False
Suppose r + 2*c - 159 = 0, -2*r - 5*c + 175 = -144. Is r composite?
False
Suppose x - 58 = -4*t, -2*t + 6 = -2*x - 28. Suppose -5*l = -t, l - 6*l = 5*i - 665. Suppose -4*p = -m + 47, m + m - i = -4*p. Is m prime?
True
Let n(r) = 6*r - 3. Suppose 4*i + 3*k - 21 = 0, 2*i - 7 = -k + 2. Let d = 0 + i. Is n(d) composite?
True
Suppose -c + 4 + 1 = 3*g, 3*g - 9 = -3*c. Suppose c*o + 2*o + 20 = 0. Let x(f) = -2*f - 3. Is x(o) a prime number?
True
Suppose 345 = 5*q - 0*q. Is q a composite number?
True
Let o(k) = 961*k + 4. Is o(3) a prime number?
True
Let v(l) = 4*l**2 + 9*l - 9. Let q be v(-8). Suppose -5*h = -160 - q. Is h a prime number?
True
Let q be (0 + -1)/(3/102). Let k = 87 + q. Is k composite?
False
Let g(t) = -6*t**2 - 3*t + 1 + 5*t + 2*t**3 - 7 + 1. Is g(4) a composite number?
True
Let m = -2 + 163. Is m prime?
False
Let r = -3 - 3. Let w = -5 - r. Suppose -2*n = -w - 5. Is n a prime number?
True
Let m = 6 - 4. Is (m - (-37 + 2))*1 a composite number?
False
Suppose 4*p = p + 2055. Is p prime?
False
Is (10339/(-28))/(1/(-4)) composite?
True
Let c be 15/(-12) + 6/(-8). Let s be ((-3 - c)*3)/(-1). Suppose s*t - 120 = 57. Is t a prime number?
True
Let c = -71 - -49. Let i = 35 + c. Is i a prime number?
True
Let w = -69 + 207. Suppose -5*z - 10 = 0, 3*z + 2*z - w = -4*i. Is i a prime number?
True
Suppose 4*l = l + 3. Let g be ((-2)/(-4))/(l/4). Suppose -s - g*s = -159. Is s composite?
False
Suppose 3971 = 4*v - 1769. Suppose 9*c - v = 4*c. Is c a composite number?
True
Suppose -3*q + 5*g - 13 + 48 = 0, 0 = -5*g - 20. Suppose -104 + 9 = -q*i. Is i composite?
False
Let o(p) = 15*p**3 - 2*p + 1. Let w be o(1). Let s be (w/35)/(2/10). Suppose b - 5*y = 41, 0 = 2*b - b + s*y - 13. Is b a composite number?
True
Let u = -1 + -5. Let j(k) = 3*k**2 - 5*k - 7. Is j(u) composite?
False
Let u be (5 + -1)*(-3)/4. Let y = 6 + u. Suppose 4*k - f - 170 = 2*k, -253 = -y*k + f. Is k a prime number?
True
Let k = 2350 - 1651. Is k a composite number?
True
Suppose 2*x + d - 6905 = 0, 2*x - 3*d = 2772 + 4137. Is x a prime number?
False
Suppose -3*r + 108 + 9 = 0. Suppose 0 = -5*j + 4*f + r, -f + 24 = 3*j - 4*f. Suppose -5*z + j = -3. Is z a composite number?
False
Let h = -1 + 204. Is h a composite number?
True
Let s(j) = 3*j**3 - j**2 - 6*j - 7. Let q be s(7). Suppose -5*w - 2*a + q = -0*w, 0 = 5*w - 2*a - 939. Is w a prime number?
False
Is 1117*(-3 - (-2 + -2)) a prime number?
True
Suppose 0 = 39*k - 37*k - 506. Is k a composite number?
True
Suppose -4*o - 93 = -3*i, -7*i = -3*o - 3*i - 61. Let d be 50/3 + 18/o. Is (-1 + 2)*(d + -2) a composite number?
True
Suppose -4*m + 10*m = 1542. Is m a composite number?
False
Suppose -5*h - 7 = 4*z, 0*h + 2*h + 14 = 4*z. Suppose -z*t + 0*t + 628 = 0. Suppose -l = -3*l + t. Is l a prime number?
True
Suppose 3*f = -0*f + 33. Let q = f - 7. Suppose 2*k - 4*o = -o + 23, 0 = 4*k - q*o - 48. Is k composite?
False
Let w(f) = -f - 28. Let x(b) = 4. Let c(a) = -4*w(a) - 28*x(a). Let h be c(-1). Let v(u) = 4*u**2 + 5*u + 5. Is v(h) composite?
True
Suppose -455 = -0*h - h. Suppose 4*p + p - h = 0. Is p a composite number?
True
Suppose d = 4*s - 466, 5*s - d + 5*d - 593 = 0. Suppose 3*k = -4*j + k + 126, 5*k = -4*j + s. Is j prime?
False
Suppose 5*n - n = 332. Is n composite?
False
Is 387 - 9 - 9/6*-2 composite?
True
Let o(r) = -4*r + 8. Let k be 0 - -1 - (1 + 7). Let m be o(k). Let v = 41 + m. Is v a composite number?
True
Let g = -9 - -16. Suppose -2*p + g*p - 10 = 0. Suppose 342 = 3*k - n, 0 = -3*k + p*n + 238 + 101. Is k prime?
False
Let h(x) = -x**2 - 24*x + 2. Is h(-17) a composite number?
True
Let j = -52 + 29. Let n = -1 - j. Is n a prime number?
False
Let c be -450 + 0 - (1 + -3). Is 12/(-3) + 1 - c a composite number?
True
Let d = 1305 - 528. Suppose -3*o = 3*j - 4*o - 777, 0 = 3*j - 5*o - d. Is j prime?
False
Let k(y) = -y**2 - 27*y + 9. Is k(-16) prime?
False
Let n(t) = -t**3 - 4*t**2 - t + 1. Let g be n(-3). Let b be (6/3)/((-2)/g). Suppose -w = 5*a - 27, -a = b*w + a - 181. Is w a prime number?
True
Suppose -5*t + 31 = 4*d - 0*t, -2*d + 2*t + 2 = 0. Let l(s) = s**2 + s - 2. Let q be l(-2). Suppose -b - 5*z = -d*b + 282, q = 3*b + 3*z - 258. Is b composite?
False
Let h(o) = o + 1. Let y be h(1). Suppose -2*g - y*q + 80 = 0, -95 = -2*g + q - 6*q. Is g composite?
True
Let w = -3344 - -7563. Is w composite?
False
Let c = 3 + -1. Let q(n) = 5*n**2 - 4*n + 2. Let g be q(c). Suppose 3*u + g = 5*u. Is u a composite number?
False
Suppose -6 = -2*i - 8. Is 219 + 3 - (i - 0) a composite number?
False
Let s(h) = 2*h**3 - 2*h**2 - 2*h - 1. Let v be s(-1). Let n be (-15)/9 + (-2)/6. Is v + 2 - (n - 22) a prime number?
True
Is (-1040)/(-2) - (-15)/15 a prime number?
True
Let n(c) = -63*c - 7. Is n(-6) prime?
False
Suppose -4234 = -5*q + 1001. Is q a prime number?
False
Suppose -3*p - 793 = -5*q, -582 - 82 = -4*q - 5*p. Is q composite?
True
Suppose 0 = -3*s - 2*s + 1435. Is s prime?
False
Suppose 2*u - 120 = u. Suppose f - 91 - u = 0. Is f a composite number?
False
Suppose 5 = g + 1. Suppose 0 = -g*y - 0*y + 740. Is y a composite number?
True
Suppose 8*f = -5*f + 6305. Is f a prime number?
False
Suppose 9*p - 6 = 6*p. Suppose -4*v = p*v - 12. Is v a composite number?
False
Let m = -37 + -177. Let y be (m/(-4))/((-2)/4). Is (-2)/4 - y/2 a prime number?
True
Suppose 0 = 2*r + 591 - 5809. Is r a prime number?
True
Suppose -3*q - q = -s + 36, 0 = 4*s - q - 114. Suppose -3*b + s = -209. Is b a prime number?
True
Let z = -1238 - -2685. Let d = -1032 + z. Is d prime?
False
Is 114 - 3/9*-3 prime?
False
Let w(z) = -3*z**3 - 6*z**2 - 9*z - 5. Let s(o) = o**3 + o. Let j(k) = 2*s(k) + w(k). Is j(-6) composite?
False
Suppose 0 = -2*y + 3*y. Let c = -35 + 70. Let u = y + c. Is u a composite number?
True
Let q(x) = 6*x**3 + 0*x**2 - 3*x**2 - 4*x**3 + 5. Suppose -4*k + 4 = -12. Is q(k) prime?
False
Let r = 2227 - 910. Is r a composite number?
True
Suppose 11*d = 9*d + 508. Is d a composite number?
True
Let b = 154 + -51. Is b a prime number?
True
Let m = -7 + 11. Suppose -987 = -m*d - 275. Suppose 3*q - 6*y = -2*y + 267, -2*q = -2*y - d. Is q a composite number?
False
Let c(b) = -5*b + 7. Let u = -43 + 75. Suppose 5*i + u = i. Is c(i) prime?
True
Suppose 2*y - 135 = y - 4*t, 2*y - 4*t = 330. Suppose -u + 196 = a, -2*a + y + 36 = u. Is u composite?
True
Suppose -6*z - 4 = -2*z, 0 = -5*c - 5*z - 35. Let g be (3/c)/(3/30). Is (58/g)/1*-5 a composite number?
True
Let j = 1 + 0. Let w(u) = u - 3*u + 4*u - j - 4*u**2 + 6*u**2. Is w(-7) a composite number?
False
Let f(t) = -t**2 - 4*t - 4. Let n be f(-6). Let y be ((-6)/(-4))/((-3)/n). Is (y/(-6))/((-4)/30) a composite number?
True
Let n(v) = v**3 - 11*v**2 + 11*v + 9. Let w = -22 + 32. Is n(w) composite?
False
Suppose 3*d - 60 = -3*d. Is d a prime number?
False
Let d = 1503 + -314. Is d prime?
False
Suppose -3*m + 1594 = -3*y - 572, m + 3*y - 718 = 0. Is m a composite number?
True
Let a = 3248 - 2055. Is a prime?
True
Let j(z) = -10*z + 21. Is j(-11) a composite number?
False
Suppose -3*o + 2808 + 6477 = 0. Is o composite?
True
Suppose i = -3*z - 101, 3*z + 4 = 4*z. Is (i/(-4))/((-4)/(-16)) a prime number?
True
Let x be 12*1 - (-11 + 14). Is (x/6)/((-15)/(-110)) prime?
True
Let i(j) be the second derivative of j**4/6 - 2*j**3 - 9*j**2/2 - 2*j. Is i(10) prime?
True
Let g be 1 + -3*(-4)/3. Suppose 0 = -7*f + g*f + 674. Is f a composite number?
False
Let z be 2*1*(-2)/(-2). Suppose -4*d - 5*g = -316, z*d + 0*d - 158 = 4*g. Is d composite?
False
Let q(r) = 26*r + 5. Let b(a) = 51*a + 10. Let w(d) = 3*b(d) - 5*q(d). Is w(6) a prime number?
False
Let g(r) = -r + 7. Let w be g(5). Let z(x) = w*x + 3*x**2 - 3*x**2 - 6*x - 1 + 9*x**2. Is z(4) composite?
False
Suppose 3*n = -0*n. Suppose -5*a - 362 = -2*o - a, n = o + a - 184. Suppose 0 = 2*b - u - o, 5*b - 411 - 45 = u. Is b a composite number?
True
Let w = -725 - -482. Let d = 370 + w. Is d a prime number?
True
Let s(k) = k**3 + 6*k**2 - k - 2. Let v be s(-6). Is (-48 + -2)*v/(-8) a prime number?
False
Suppose l = 3*v + 2*v + 171, -312 = -2*l - 5*v. Is l prime?
False
Let z = 201 + -63. Suppose -7*w = -4*w - z. Suppose c + w = 2*c. Is c prime?
False
Suppose 1882 = 3*y - 2819. Is y prime?
True
Is (-5)/2*