omposite number?
True
Suppose 3*k + 3 = -4*s, -3 + 6 = 2*s + 3*k. Let m be (-26)/18*s - 4/3. Suppose -m*b + z + 2626 = -4*z, -1752 = -2*b + 2*z. Is b prime?
True
Let d be (-1)/(7/4 + -2). Suppose -17 = -d*g - 5. Suppose g*w - 130 = 47. Is w prime?
True
Let y = 119042 + 157505. Is y prime?
False
Let j = 64158 + -23165. Is j prime?
True
Let j(c) = 525*c - 15 + 154*c - 76. Is j(12) a prime number?
False
Suppose r + 24 = -3*r. Suppose -5*x + 3*i - 63 = -18, -3*x + 4*i - 16 = 0. Is (-1)/r - 3826/x a composite number?
True
Let g(p) be the second derivative of -70*p**3/3 + 283*p**2/2 + 4*p - 10. Is g(-38) composite?
True
Suppose 5*k + d = 5*d - 8, -k + 4*d = 8. Suppose 4892 = 2*f + 3*o, k*f - 5*f - 4*o + 12237 = 0. Is f a prime number?
False
Suppose -2*f + 5*t + 420381 = 9679, 3*t + 1026717 = 5*f. Suppose -f = -7*q - 52846. Is q a prime number?
False
Is -13241*-4*2/8 prime?
True
Let u = -4117 - -1804. Let y = u + 4582. Is y composite?
False
Let h(m) = 1785*m - 4189. Is h(100) a composite number?
False
Let x(h) = 2274*h + 3569. Is x(12) a composite number?
True
Suppose 5*c = -408 + 243. Let q(u) = -215*u - 256. Is q(c) composite?
True
Let f = 556 + -370. Let n(r) = -3*r**3 + 8*r**2 + 75*r + 1. Let u be n(9). Let x = f - u. Is x a composite number?
False
Let u(q) = 32*q**3 - 4*q**2 - 3*q + 1. Let y be 0/2*((-5)/(-10))/(-1). Suppose b + 1 = y, 3*t - 5*b - 9 = -8*b. Is u(t) a composite number?
False
Suppose -4*q = 20, 4*f = 2*f - 2*q + 12. Let h(d) = -3*d**2 + 3*d + 11. Let n(x) = -3*x**2 + 2*x + 12. Let c(g) = -7*h(g) + 6*n(g). Is c(f) composite?
True
Suppose 84*m + 251125 = 1082809. Is m a prime number?
True
Suppose 0 = -10*j + 7*j - 9. Let y(v) = -v**2 - 3*v + 2. Let a be y(j). Suppose 4*x = -a*x + 5934. Is x prime?
False
Let u(k) = -5*k**3 - 10*k**2 + 3*k - 12. Let l(a) = a**3 + a. Let o(f) = -6*l(f) - u(f). Let t be o(9). Is 1145/6 - t/(-72) a prime number?
True
Suppose 4*x + 5*k = 33, 0 = -4*x + 4*k + 3 + 21. Suppose 3*w = -4*q + 21, -w + 4*q = -0*w - x. Suppose w*s - 4300 = -429. Is s prime?
False
Suppose -261*q + 195539190 = -51*q. Is q a composite number?
True
Is (97 + 0)/((-128)/(-43136)) a composite number?
True
Let i(a) = -21*a - 47. Let l be i(-2). Is l/(-5) + -1 + 8504 + -3 a prime number?
True
Let k(z) = z**3 + 5*z**2 + 7*z + 14. Let x be k(-4). Suppose 3 = -x*g + 5, 0 = -4*u - 2*g + 2166. Is u prime?
True
Suppose g - 2990 = -m, g + 4*m = 957 + 2045. Let p = g + -107. Is p a composite number?
False
Let i(r) = r**2 + 3*r - 15. Let y be i(-7). Suppose 3 = 4*l - y. Suppose a + l*o + 94 - 391 = 0, 4*a = o + 1154. Is a a prime number?
False
Is (((-171)/6)/(-19))/((-15)/(-505810)) a prime number?
True
Suppose 4*i + i - 2*t - 226 = 0, 0 = 4*t - 8. Suppose h + 14 = -3*f, 5*h + i = f - 4*f. Is (-526)/(-10)*(h + 13) a prime number?
True
Suppose 8*r = 4*r + 5*s + 5, 4*r = -3*s + 29. Suppose 0 = -q + 6*q + 4*h + 471, -4*q - 375 = r*h. Let l = q + 889. Is l composite?
True
Let r be (-1)/(-6) - 29/(-6). Suppose 0 = -8*o + r*o + 78. Suppose -15*s + o = -14*s. Is s a composite number?
True
Let v = 146 - 144. Suppose -v*x - 9*x + 4873 = 0. Is x a prime number?
True
Let x = 300 + -306. Is ((-2238)/(-8))/(x/(-16)) prime?
False
Let q be 49238 + 3 + -7 + 8. Suppose 184473 = 5*w - q. Is w composite?
True
Let y(w) = 127*w + 18. Let h(a) = a**2 - 9*a + 5. Let q = 8 + 1. Let o be h(q). Is y(o) a composite number?
False
Let r be (6 + 38415/20)/((-1)/(-4)). Suppose -3*z = m - 4631, 0 = -5*z - 2*m + 6*m + r. Is z a composite number?
False
Suppose 1 = -2*i - 1. Let u be i*(-1 + 2)*(3 + 358). Let d = 1632 + u. Is d composite?
True
Let w be 15/(-6)*72/(-20). Let q be -4 - 0 - (-10116)/w. Let u = q - 739. Is u a prime number?
False
Is (-1 - -526752)*1 + (-2)/(6 - 7) a prime number?
False
Let x = 25542 + -16605. Suppose 97*q - x = 88*q. Is q a composite number?
True
Suppose -3 - 1 = -v, 0 = 2*d + 4*v - 24. Suppose 0 = -5*y - 5*a + 120, 4*y - d*a - 96 = -0*a. Is (-21645)/(-12) - 18/y composite?
True
Let l = 18 + -10. Suppose -o = -3*v - 8, v - l - 8 = 5*o. Is o + 4/1 + 337 composite?
False
Is ((-204)/1224)/((-2)/484644) a composite number?
False
Let g = 333942 - 234455. Is g composite?
False
Suppose 0 = 2*q + 3*f - 43, 4*q - 22 = -5*f + 59. Suppose 11*r = q*r + 1719. Let h = r - -810. Is h prime?
False
Let a(j) be the second derivative of -23*j**5/20 - 5*j**4/6 - 2*j**3/3 + 9*j**2/2 - 97*j. Is a(-8) composite?
False
Let z(j) = 34*j**3 - 7*j**2 - 12*j - 73. Is z(12) a prime number?
True
Let x(d) = -5*d**3 - d**2 - 2*d + 1. Let q(c) = -11*c**3 - 2*c**2 - 3*c + 2. Let a(s) = 2*q(s) - 5*x(s). Is a(4) prime?
True
Suppose 15*s + 4357 = 320280 + 984322. Is s a composite number?
True
Let j be (825/60)/((-2)/200). Let k = j + 622. Is k*2/(-18)*3 a prime number?
True
Is 7203 - 13 - (-4 + 21/3) composite?
False
Suppose -16*z = 5*b - 19*z - 139439, z = -3*b + 83641. Is b prime?
True
Let c be (-286824)/(-28) - 14/(-49). Let d = c + -5487. Is d a prime number?
False
Let w = 21 + -14. Let s = w - 11. Is ((-6052)/8)/((-2)/s + -1) composite?
True
Let u be (-1)/((-52)/208 + (-1190)/(-4776)). Let i = u + 56363. Is i prime?
True
Let o = 31381 - -78280. Is o composite?
False
Let a be 10/5 + 530/(-2). Let s = 53 - a. Suppose 6*t = 2*t + s. Is t composite?
False
Suppose -14*v + 4749390 = 76960. Is v composite?
True
Let g(w) = -w**2 - 12*w - 19. Let h be g(-9). Let p(x) = 11*x**3 + 2*x**2 - 2*x - 7. Is p(h) a composite number?
False
Let i(c) = 224796*c**2 + 145*c - 513. Is i(4) a prime number?
False
Suppose -3*d - 2*d + 4*o + 30 = 0, -5*d - 3*o = 5. Suppose -3*h + d*t - 7*t = -1063, -667 = -2*h + 5*t. Suppose m = h - 39. Is m prime?
True
Suppose -355*z + 351*z - 4*n + 58968 = 0, 5*n = -3*z + 44224. Is z prime?
False
Let g = -403 + 408. Suppose g*d - 36265 = 4*o, 2*d + o = -3*d + 36240. Is d a prime number?
False
Is 19867242/(-268)*2/(-3) + 10 prime?
False
Let h(l) = 5*l**3 - l**3 + 8*l**2 + 3*l**3 + 9*l + 6 - 6*l**3. Let b be h(-5). Suppose -b*d + 34*d + 590 = 0. Is d a prime number?
False
Let l = 2158 + -1354. Suppose -c + l = -2183. Is c a prime number?
False
Let t(x) = -3*x**3 + 8*x**2 - 15*x - 19. Let f be t(-10). Let r = -1184 + f. Is r prime?
False
Let f be 2/(8/12)*-1. Let i(r) = -15*r**3 + 2*r**2 - 5*r - 5. Let s be i(f). Suppose s = 3*x + 7. Is x composite?
True
Let b(i) = 75*i**2 - 64*i + 893. Is b(16) a composite number?
False
Suppose -d - 16 = -9*d. Suppose 5*r = -d*u + 8782, -2*r = -4*u - 3391 - 141. Suppose 3*c = 5*p - 13553 + r, -4*p - c + 9436 = 0. Is p a composite number?
True
Suppose 5*a - 334817 = 261*z - 265*z, -4*z - 200871 = -3*a. Is a prime?
False
Let a(i) = -i**2 - 9*i - 3. Let b be a(-8). Suppose 7*p - 4*w = 2*p - 20, 0 = -b*p - 2*w + 10. Is (p/(-4) - -2) + 1212 composite?
True
Let h(s) = -74*s + 11. Let n(t) = 2*t**2 + 2*t - 4. Let c be n(3). Suppose -5*j - 2*d + d = 16, -2*j + 3*d = c. Is h(j) prime?
True
Let h(q) = 447*q**2 - 333*q - 17. Is h(14) composite?
True
Is 66/28*743874 + 8 + (-174)/21 composite?
False
Let o(t) be the second derivative of 0 - 5/6*t**3 + 23/2*t**2 + 181/12*t**4 + 28*t. Is o(3) prime?
True
Is 8/(-200)*5*(-3 - 2490167) a prime number?
False
Let r = 2549 + -392. Let x be -14*(-216)/(-252)*4/(-3). Is r/17 - x/(-136) a composite number?
False
Let q be 96/10 + (-36)/(-90). Suppose -q*c + 18 = -2. Suppose c*p = -2*p + 3*x + 6769, -5*p = -x - 8464. Is p a composite number?
False
Let i be (-1)/4 + 7/(196/(-105)). Let f be 22/4 + -5 + (-2686)/i. Is (-5 - -4)/(2/6) + f a composite number?
True
Suppose 3324 - 35076 = -6*a. Let m = a + -2016. Let w = m - 2209. Is w a composite number?
True
Let p = -2689 + -4330. Let i = p + 10510. Is i composite?
False
Suppose 116506 = v - q, -q = -0*v + 5*v - 582536. Is v composite?
False
Let t(d) = -1689*d**3 + d**2 + 9*d + 21. Is t(-2) a composite number?
True
Let s be ((-8)/(-2))/(1/2). Suppose -2073 = -s*y + 7*y - 2*k, -3*y + 3*k = -6219. Is y prime?
False
Suppose -4585397 + 1264890 = -25*y + 5390168. Is y a prime number?
False
Let q(w) = 6303*w - 6. Let b be q(-2). Let x = b - -2130. Is 6/105*5 - x/14 composite?
True
Let q = 3 + -9. Let l(c) = 9*c**2 + 2*c - 3. Let o(g) = -7*g**2 - g + 5. Let w(x) = 6*l(x) + 5*o(x). Is w(q) a prime number?
False
Suppose 73*o - 71*o = -2*p + 41408, -3*o - 62094 = -3*p. Is p prime?
