a composite number?
True
Suppose -7*m = -12*m + 325. Is m a prime number?
False
Let q be (-4)/22 - (-504)/(-11). Is q*(-2 + 9/6) a prime number?
True
Let o(r) = r + 6. Let k(f) = -f**3 - 3*f**2 + 3*f - 2. Let n be k(-4). Suppose 0 = 3*v - 5*w + 24, -4*w - 9 = n*v - 5*w. Is o(v) a composite number?
False
Suppose 3*l = -48 - 54. Is 3 - -1*l/(-1) a composite number?
False
Suppose w - 65 = 3*h - 1395, 0 = 2*h + 4*w - 896. Suppose -2*g - g = -h. Suppose 0*r = 4*r - g. Is r a composite number?
False
Let f = 3 + -1. Is (0 - -1)*1 + f prime?
True
Let d(i) = 2*i**2 + 18*i + 25. Is d(13) prime?
False
Let o(q) be the first derivative of -67*q**4/4 - q**2/2 - q + 1. Let s(i) = i**2 + 3*i + 1. Let f be s(-2). Is o(f) composite?
False
Suppose 476*x + 1662 = 478*x. Is x a prime number?
False
Is ((-1114)/8)/(-4 - 45/(-12)) a composite number?
False
Is (-2)/(5/(-6805)*2) composite?
False
Let j be (-3)/(-3)*(8 + 1). Let x(w) = -w**2 + 8*w + 12. Is x(j) composite?
False
Suppose 0 = 7*w - 1661 - 2784. Is w a prime number?
False
Let b(c) = 8*c**3 + 3*c**2 - c - 2. Suppose t - 6*t = -10. Let w be b(t). Let q = 169 - w. Is q a composite number?
False
Let l(z) = z**2 + 9*z + 8. Let q be l(-7). Let n = q - -9. Suppose 3*h = -i + 108, -n*h - 2*i + 102 = -3*i. Is h prime?
False
Let o be 0 + 2/(-4)*-4. Suppose -o*t = a - 26, -3*t + 64 - 16 = -3*a. Suppose m = -0*m + t. Is m prime?
False
Let o be (-4)/(-4) - 2/(-1). Suppose -3*l = -9, -3*l = -o*p - 4*l + 78. Suppose p = h - 70. Is h prime?
False
Suppose -2*j = 332 - 994. Is j a prime number?
True
Let g = -7 + 5. Is (-375)/g - 1/2 composite?
True
Let p(y) be the first derivative of y**2/2 + 2*y - 3. Let g be p(4). Is ((-26)/g)/(6/(-126)) a composite number?
True
Let x = -267 - -458. Is x prime?
True
Let m = 1 + 1. Let y be 0/((-2)/m - -2). Suppose y = -i - 0*i + 26. Is i a prime number?
False
Let a(r) = 7994*r**2 - 1. Is a(-1) a prime number?
True
Suppose 4 = -3*y + 7. Is 993 - 1*(-3 + y) prime?
False
Let s(m) = -m**2 + 25*m + 4. Let l be s(14). Let x = -91 + l. Is x prime?
True
Let m(p) = -62*p - 65. Is m(-9) composite?
True
Suppose -h - 3*b + 2302 = 0, -4*b = -0*h - 2*h + 4654. Is h a prime number?
False
Is (-28)/126 + 33250/18 a prime number?
True
Let j(o) = -o**3 - o**2 - 2*o + 2. Let c be j(1). Suppose -5*l + 3*n + 189 = 2*n, 0 = -2*l + 4*n + 72. Is (-2)/c*(l + 1) a composite number?
True
Let d be 7/(-3) - (-4)/(-6). Let n(h) = -h**2 - 4*h - 1. Is n(d) prime?
True
Let n(c) = 2*c**3 - 7*c**2 + c - 7. Suppose 16 = 5*y - i - 5, i - 14 = -2*y. Let j(t) = -2*t**3 + 8*t**2 + 8. Let q(h) = y*n(h) + 4*j(h). Is q(4) prime?
True
Let p(d) = d. Let t(v) = 36*v - 3. Let y(k) = 5*p(k) - t(k). Is y(-4) prime?
True
Let b(w) = -3 - w**2 + 0*w**3 + 0*w**3 - w**3 - 5*w + 3*w**2. Is b(-3) a composite number?
True
Suppose -5*z + 0*l + l = -1000, z + 3*l = 200. Suppose 9*i - 4*i = z. Is i - 5 - (1 + 1) composite?
True
Suppose r = 3*r - 4*t - 716, -5*r + 1781 = -t. Let i = -111 + r. Suppose -5*h + 0*h + i = 0. Is h prime?
False
Suppose -5*w + 44 + 31 = 0. Is w a composite number?
True
Let y = 3270 + -1805. Suppose b + y = 6*b. Is b a prime number?
True
Let z = -11 - -11. Let a(i) = -i + 57. Is a(z) composite?
True
Let u be (-7 + 3 - -12)/2. Suppose 0*y + 2*y - 6 = 0. Suppose 80 = x - y*k, 2*k - 202 + 502 = u*x. Is x composite?
True
Let w = 5 - 1. Suppose -311 - 137 = -w*k. Suppose -3*y + 2*y + k = -a, 0 = 2*y - 4*a - 218. Is y a composite number?
True
Let s = -286 - -573. Is s prime?
False
Suppose b = 182 + 705. Is b a prime number?
True
Suppose 3*n - 1499 = -u, 2*n - 2*u - 448 = 546. Is n prime?
True
Let g(l) = -53*l + 4. Is g(-21) composite?
False
Let b = 107 - 70. Is b a composite number?
False
Let g = 1848 - 1319. Is g a prime number?
False
Let m be 131*-1 + 1 + 0. Let x = 197 + m. Is x composite?
False
Let v be (-3130)/15*(-6)/4. Let s = v - 152. Is s a composite number?
True
Suppose -4*n - 1 + 1517 = 0. Is n prime?
True
Let b = 1351 + 3876. Is b prime?
True
Suppose s = 4*s - 1353. Is s prime?
False
Suppose 3*g + 381 - 123 = 0. Let a = 41 - g. Is a composite?
False
Let d = 482 - -177. Is d a composite number?
False
Is 3548/6*(-3 - (-36)/8) a composite number?
False
Let o(c) = 49*c + 2. Is o(3) a composite number?
False
Suppose -5*i = -7*i + 8. Suppose 1024 = i*o - 2*j, 0*o + 3*j - 1291 = -5*o. Is o prime?
True
Let b(q) be the third derivative of -17*q**4/12 - q**3/2 + 2*q**2. Let z be b(-2). Let n = z + 2. Is n a prime number?
True
Let g(k) = -28*k - 1. Suppose f + 5*z - 8 = 0, 0 = 6*f - 3*f + 3*z. Is g(f) a composite number?
True
Suppose -3*m + 4 = 13. Let k be (-3)/(m/89)*1. Suppose -3*b = 20 - k. Is b a prime number?
True
Let v be (-2305)/(-4) - 1/4. Suppose 4*f = -4*p + v, 3*f - 270 = 2*p + 137. Is f a composite number?
False
Let g = -10 + 43. Suppose 2*w = 5*w - g. Is w prime?
True
Let w be (-1)/(-2)*(-4)/1. Let i be 26/10 + w/(-5). Suppose i*s = 4*m - 93, -4*s - 90 = -4*m - 2*s. Is m a composite number?
True
Is 1791/21 - 6/21 prime?
False
Let k(o) = o. Let t be k(5). Suppose -t*v = 5*x - 1580, v = 2*v + 1. Is x composite?
False
Let z(g) be the third derivative of -g**8/20160 - g**7/560 - g**6/240 - g**5/60 - 3*g**2. Let i(r) be the third derivative of z(r). Is i(-7) composite?
False
Let s(o) = -25*o**2 + o + 5. Let f be s(-4). Let x = f + 620. Is x a composite number?
True
Suppose -2 = -3*n + 4. Suppose -n*t - 2*t = 52. Let j = t + 23. Is j composite?
True
Suppose 128 + 396 = 4*x + 5*z, 2*x = -5*z + 272. Suppose -2*i - 276 = -4*f, 0*f + 2*f + 2*i = x. Is f prime?
True
Suppose 6*y = y + 1010. Let k = y + -83. Is k a composite number?
True
Let q = -2 + -5. Let i = 12 + q. Suppose -i*c + 144 = -181. Is c a prime number?
False
Suppose 0 = 5*l - 21 + 6. Suppose -s - 5*d = -l, -1 + 7 = 2*s + 2*d. Suppose s*f - 23 = 2*f. Is f prime?
True
Let a = 2 - 4. Let x(n) = -n + 1. Is x(a) a prime number?
True
Let t be (-1 - 1)*(-4)/4. Suppose 6 + 0 = t*c. Suppose -2*n = -2*j + 9 + c, -4*j + 3*n + 21 = 0. Is j a prime number?
True
Let i = 2378 + -1671. Is i a prime number?
False
Let z = -120 + 49. Let k = z + 140. Is k a prime number?
False
Suppose 5*x - 162 = -2*q, 2*q + 62 = 4*x - 2*x. Let b = x - -21. Is b a prime number?
True
Suppose 3*j = 104 + 235. Is j composite?
False
Suppose 0 = -0*w - 4*w + 372. Is w a prime number?
False
Suppose 5*k = 5*h - 0*k - 10, 5*k = 2*h + 2. Let d = 7 - h. Is d prime?
True
Is (-4475)/(-11) + 4/22 a prime number?
False
Let s = 4952 + -1855. Suppose 4*t + 4*h = -589 + s, 3*t = 3*h + 1857. Is t a composite number?
True
Let s(g) = -30*g + 2. Is s(-4) composite?
True
Let s = 1138 - 749. Suppose 3*z = 7*z + 8, 0 = 3*r - 4*z - s. Is r prime?
True
Let n(c) = -c - 18. Let q be n(-13). Is ((-932)/(-10))/((-2)/q) a prime number?
True
Let x(s) = -s + 4. Let y be x(7). Let c be ((-164)/(-2))/(y/(-12)). Suppose 5*b = -3 + c. Is b prime?
False
Let h(p) = -104*p - 1. Suppose 3*a + a = -4. Let u be h(a). Suppose -2*v = 3*s - u, -5*v + 4 = -6*v. Is s a composite number?
False
Suppose 12 + 4 = -a - 4*z, 3*a + 13 = -5*z. Suppose -9 = a*i + 67. Is 10/5*i/(-2) prime?
True
Let a = 214 - 83. Suppose -3*r + 4*r - a = 0. Is r composite?
False
Suppose -m + 637 = -2*v, 3*m - 3141 = -2*m - v. Is m a prime number?
False
Let x(j) = -j**3 + 10*j**2 + j + 7. Is x(7) composite?
True
Let d(a) = -3*a**3 + 3*a**2 + 5*a - 10. Is d(-5) prime?
False
Let o(n) = n**3 - 2*n + 2. Let c be o(2). Suppose -b - 715 = -c*b. Suppose 492 + b = 5*j. Is j prime?
True
Let m(g) = 6*g**2 - 11. Is m(8) a prime number?
True
Let s(w) = -67*w**3 - 2*w**2 - 2*w - 4. Let v be s(-3). Suppose -5*d + 4478 = 2*k, -2*d + 0*k + v = -k. Suppose -3*a + d = 263. Is a a prime number?
True
Suppose j = -3*j + 8. Suppose -j*t = -4*z - 664, 6*z - 3*z + 987 = 3*t. Suppose 3*p = 2*d - 334, -4*d + t = -2*d - p. Is d composite?
True
Suppose 0 = 3*u + 1 + 5. Let i be 1*(u + 2/1). Suppose 4*b + b - 1645 = i. Is b composite?
True
Let q(s) = -3*s**2 - 4 - 2*s**2 - 3*s + 0*s**2 - 6*s**3 + 0*s**2. Let x be q(-3). Let b = x + -31. Is b composite?
True
Let s be -3 - -2 - (-6 + 1). Suppose -492 = -s*d + 604. Is d prime?
False
Suppose -4*g - 3*w = -776, -4*w + 0*w = -4*g + 748. Is g prime?
True
Let c be 1*(-2)/(-6)*0. Let a = c - -3. Suppose 5*d + 2*k - 300 = d, -a*d - 2*k + 223 = 0. Is d prime?
