umber?
True
Suppose -10*f + 17*f = 9527. Is f a prime number?
True
Suppose -f + 18992 = 3*u - 34133, -u = f - 17711. Is u composite?
False
Let g be ((-180)/(-8))/(3/12). Suppose 5*z = 3*z - g. Is ((-11)/3)/(5/z) prime?
False
Let s = -45 + 51. Suppose -s*q + 5752 = 2*q. Is q prime?
True
Let r(p) be the second derivative of 97*p**3/3 - 25*p**2/2 + 25*p. Is r(7) prime?
False
Let y(h) = -h**2 - 10*h - 24. Let l be y(-4). Suppose l*t + 12*t = 25860. Is t a prime number?
False
Let i(b) = -13*b + 10. Let n(f) = -f**2 + 6*f - 4. Let s be n(3). Suppose -s*w - 35 = 2*c, -3*w = -c - c + 37. Is i(w) a prime number?
True
Let m be 1941/(-45) - (-4)/30. Let r = m - -64. Is r a composite number?
True
Suppose -16*n = -54472 - 22952. Is n a composite number?
True
Let x(p) = -2*p - 3 - 6 + 27 - 10. Is x(-7) a prime number?
False
Suppose -36*d + 3*d = -568623. Is d prime?
True
Suppose -5*x - 8*s = -12*s - 715523, 21 = 7*s. Is x a composite number?
False
Let v(o) = 391*o + 3. Let q be v(5). Let d be (-2)/(3 - q/654). Let c = 548 + d. Is c a prime number?
False
Let u(p) = -p**3 - 8*p**2 - 3*p + 19. Is u(-9) a composite number?
False
Suppose -4 = -4*i + 4*u, -3*i = -0*i - 5*u + 5. Let j = -123 - -321. Suppose 147 + j = i*y + 5*a, -y + 57 = -5*a. Is y prime?
True
Let g(c) = c**3 + 4*c**2 - 4*c + 5. Let p be g(-5). Suppose l - t - 410 = p, 1019 = 2*l - 3*t + 198. Is l a composite number?
False
Suppose -3*o - 45526 - 3717 = -j, o = 4*j - 196994. Is j a composite number?
True
Suppose -3*x - 20*x = -72289. Is x a composite number?
True
Suppose -15 + 7 = -2*o. Suppose -2*g + g = o, -3*g = 5*j - 3268. Suppose 4*b - 188 = j. Is b a composite number?
False
Let d(k) = -5*k - 12. Let p be d(-4). Let a(h) be the first derivative of 49*h**2/2 - 19*h - 1. Is a(p) composite?
False
Let h = 10112 - 6351. Is h composite?
False
Suppose -s = -6*s - k + 78, 4*s - 48 = 4*k. Suppose -3*t + 4 = -3*g - 11, 3*g = -s. Suppose -5*c - 2*c + 889 = t. Is c a prime number?
True
Suppose 3*g = 3*x + 48735, 0 = 3*g - 2*x - 1055 - 47684. Is g prime?
True
Suppose -40 = -i + 79. Let v be i/14 - 2/(-4). Let p = v + 10. Is p a composite number?
False
Suppose 10*c + 102 = 11*c. Suppose -181 + c = -f. Is f prime?
True
Suppose -55*j + z = -53*j - 96445, 5*z + 144678 = 3*j. Is j a composite number?
False
Let n(c) be the third derivative of 7*c**4/12 - 7*c**3/6 + 18*c**2. Is n(12) a prime number?
False
Let h = -439 - -4742. Is h prime?
False
Suppose -4*m + 0*m + 16 = 0. Let a(n) = 79*n + 3. Is a(m) prime?
False
Let v(a) = a + 3. Let h be v(-4). Let k be (0/2)/(2 + h). Suppose -5*q + 6663 - 1078 = k. Is q prime?
True
Suppose 2*b - 12438 = -2*k + 5292, -b + 3*k + 8845 = 0. Suppose -1178 = -6*q + b. Is q composite?
True
Let q = -3127 + 5600. Is q a prime number?
True
Let l = -3426 + 7753. Is l prime?
True
Suppose -4*q = -h - 2*h + 9, 0 = 5*q - 3*h + 9. Suppose q = -w - 223 + 810. Is w a composite number?
False
Let l be 1/3 - (-3 + 7/3). Is l*-1*(-5 + -213 - -7) a composite number?
False
Suppose -d = 2*d + 4*y - 78, d = 4*y + 26. Suppose -d = 3*a - 8. Is a/4*(-236)/3 a prime number?
False
Let q be (-135)/(-75) + 2/10*1. Is (-90 - -1)/(-3 - (0 - q)) prime?
True
Let p = -104283 + 189562. Is p composite?
True
Suppose 33*l - 24*l - 2691 = 0. Let u = l + 680. Is u a prime number?
False
Is (-2)/(-3) - (3453625/(-15))/5 prime?
True
Suppose -2149*w = -2146*w - 180219. Is w a prime number?
False
Suppose -q + 2*q + l - 410 = 0, -3*l + 3 = 0. Suppose 1135 = 6*z + q. Is z prime?
False
Suppose -o - 9 = -4*o. Suppose 1 = c - v - 3*v, o = -v. Let k = 22 + c. Is k prime?
True
Suppose 3*j - j + 5*r = 58, -3*j = 2*r - 76. Let u be (-112)/j + (-4)/(-6). Is (-3 - u) + 495 + 3 a composite number?
False
Suppose -4*h = -4*n + 52, -4*h - n - 55 = -2*n. Let a be (h - -4) + (0 - -2). Is (1*82)/(a - -9) a prime number?
False
Suppose 5*q - 41 + 26 = 0, -v + 5*q + 2539 = 0. Is v a prime number?
False
Suppose 0 = 4*g + g. Suppose d - 2 = -g. Suppose -d*m + 65 = -53. Is m composite?
False
Suppose -3*f + 98802 = q, -15*f - 32945 = -16*f - 4*q. Is f composite?
False
Suppose -2*q = 5*h + 3*q + 2125, -4*h + 3*q = 1679. Is h/(-4)*(11 + -1) prime?
False
Suppose -i = -3*i + 6. Suppose -726 + 87 = -i*l. Let j = -134 + l. Is j composite?
False
Suppose -4*m + 563 = -5*d, 3*d + 141 = 2*m - 140. Is m a composite number?
True
Let u = -4640 + 7229. Is u prime?
False
Let g(f) = -f**2 - 3*f + 7. Let t be g(-5). Let h = 0 + t. Is 11/(3/(-261)*h) composite?
True
Suppose -17 = 3*f - 4*v, -2*f - 3 = 2*v - 1. Is (-6)/(-4*f/(-1194)) a composite number?
True
Let u be ((-24)/16)/((-1)/(44/(-3))). Is (-1931)/(-2)*8*u/(-88) composite?
False
Suppose l = 4*f + 3, 5*f - 2 + 6 = l. Is (f + 509)*7/28 composite?
False
Let c = 20 - 10. Suppose -2*s - 7 + 2 = -d, 0 = -4*d - 2*s - c. Let m(v) = -50*v**3 + v**2 - v - 1. Is m(d) composite?
True
Suppose 0 = 4*s - 3 - 29. Suppose 10*w - 6018 = s*w. Is w/12 - (-5)/20 composite?
False
Let t = -3406 - -8067. Is t a composite number?
True
Let c(w) = -12 - 125*w + 34 - 16. Is c(-3) a composite number?
True
Suppose -2*j + 16 = 2*j. Suppose 8 + 24 = j*g. Is 714/g + 2/(-8) a composite number?
False
Suppose 0 = -2*p - 2*p - 3364. Let m = p + 1498. Suppose -4*r + 1149 = 5*q, -5*r + m = 3*q - 22. Is q a composite number?
False
Suppose -5*z = 0, 3*z + 1 = -l - 0*l. Let p(t) = -209*t + 2. Is p(l) prime?
True
Let v(a) = 2*a**2 - 4*a + 1. Let j(g) = -g**2 + 8*g - 5. Let r be j(8). Let i be v(r). Is -1 + (-3 - 0) + i prime?
True
Let o(c) = -c**3 + c**2 + 6*c + 3. Let z be o(-5). Suppose z = -j + 333. Suppose 4*v - j = u, 5*v - 3*v - 114 = -4*u. Is v a composite number?
False
Suppose -i - 690 = 252. Let x be 1603 - ((-2)/(-2) + -2). Let p = i + x. Is p prime?
False
Is 6301/6 - (-217)/(-186) composite?
False
Let h(t) = 19752*t + 61. Is h(1) prime?
True
Let l(x) be the third derivative of x**5/60 + x**4/24 + 3659*x**3/6 + 23*x**2. Is l(0) composite?
False
Let s(z) be the third derivative of z**5/60 - z**4/24 + 157*z**3/6 + 9*z**2. Let h be s(0). Is (h + 6)/(0 - -1) composite?
False
Suppose 2*r - 6 = r. Suppose -6655 = o - r*o. Suppose -o = -5*b + 264. Is b a prime number?
False
Let t = 1348 + -1349. Let g(i) = -23*i + 17*i - 157*i. Is g(t) prime?
True
Is 616686/(-210)*1*(2 + -7) a composite number?
False
Let l = 7138 + 1641. Is l composite?
False
Let d(x) be the first derivative of x**4/2 - 7*x**3/3 + 5*x**2/2 + 6*x + 84. Suppose 2*p + 2*b = 6, 2*p - 5*b = -2*b + 16. Is d(p) a prime number?
False
Let m(o) = 256*o**2 + 6*o - 1. Is m(-3) composite?
True
Suppose -2854 - 7304 = -6*f. Is f a composite number?
False
Suppose 2 = -g + 1, -5*p - 2*g = -83193. Is p composite?
True
Suppose 155833 - 450037 = -12*l. Is l a prime number?
True
Let c(a) = a**3 - 4*a + 2. Let w be c(2). Suppose w*h = h + 3*b - 9, 0 = 2*h - 4*b + 10. Suppose 3*u - 936 - 57 = h*l, -2*l = 4*u - 1312. Is u a prime number?
False
Let t(w) = w**3 + w + 3. Let y be t(0). Suppose 4*x = 2*d + y*x - 184, -d - x = -95. Is d a composite number?
True
Let a(h) = -4*h + 44. Let g be a(8). Is 31316/g + 2/(-3) composite?
False
Let q(l) = -l**3 - 12*l**2 + 4*l - 2. Suppose 0 - 70 = 5*f. Let i be f - (-4 + 0) - 3. Is q(i) a composite number?
True
Suppose 42*k + 18317 = 149315. Is k a composite number?
False
Is ((-174)/9)/((-64)/25824) prime?
False
Let b = -59 + 62. Suppose 742 = 5*d - b*x - 0*x, 0 = -d + x + 148. Is d composite?
False
Suppose 41 = u - 2*u. Let l = u + 21. Let p = l + 33. Is p a prime number?
True
Let s be ((-2)/4 + 270/(-12))*-9. Suppose -4*f = -101 - s. Is f a composite number?
True
Let p = 7 - 0. Let x = p + -5. Suppose 2*k + x*k = 40. Is k a prime number?
False
Let b be 9/15*-5930*3/(-6). Suppose -2*d - i = -0*i - b, 0 = -3*i + 15. Is d a prime number?
True
Let a(v) = v**3 - v + 1. Let w(s) = 7*s**3 + 15*s**2 - 19*s - 29. Let d(m) = 6*a(m) - w(m). Is d(-16) prime?
True
Let k(f) = -f**3 + 9*f**2 - 7*f + 16. Suppose 0 = 2*p - 9 - 5. Is k(p) composite?
True
Let t = 573 + -1062. Let b = t + 1156. Let h = b + -466. Is h a composite number?
True
Let m(d) = 10*d - 33. Is m(7) a prime number?
True
Is 1/4 - (1 + (-37742)/8) composite?
True
Suppose -b + 3*q + 9967 = 0, -58*b = -63*b - 4*q + 49835. Is b composite?
False
Let h(y) = y**2 - 14*y + 2. Let c be h(14). Suppose -9332 = c*u - 6*u. 