 a prime number?
True
Let l be 3*(-6)/(-9) - -2. Suppose l*s - s = 678. Suppose 81 = i - s. Is i a composite number?
False
Let r(y) = 2*y**2 + 9*y + 20. Let d(f) = -3*f**2 - 17*f - 39. Let n(c) = 4*d(c) + 7*r(c). Let q be 4/(-16) + 106/8. Is n(q) composite?
False
Suppose 5*c - g = 39965, 2*g + 7993 = c - 0*g. Is c a prime number?
True
Suppose -v = 4*d - 0*v - 2337, 0 = 3*d + 4*v - 1756. Let b = d - 1602. Is (21/14)/((-3)/b) composite?
False
Let o = 909 - 167. Suppose 6*j - 3*j + 450 = 3*a, -5*a - 3*j + o = 0. Suppose 6*c - 37 = a. Is c a prime number?
True
Suppose l = -4*z + 5, -7*z + l - 5 = -3*z. Let o = -109 - -196. Suppose n - o - 184 = z. Is n a composite number?
False
Suppose -1112 - 1933 = -5*h. Suppose -b = 4*q - 1230, -h - 661 = -b + 4*q. Is (-2)/7 - b/(-14) a prime number?
True
Suppose -3*v = -0*v - 303. Let m be v/4 + (-7)/28. Suppose -4*p + 5*p + d - 56 = 0, -5*d + m = 0. Is p prime?
False
Let z(t) = -t**3 - 4*t**2 + 3*t + 9. Let o be z(-4). Let w(b) = -48*b**3 - b**2 + 7*b + 2. Let r be w(o). Suppose -4*j + r = -0*j. Is j a prime number?
True
Let a = 31996 + -5957. Is a a prime number?
False
Let u(g) be the third derivative of -g**6/60 + g**5/20 + g**4/6 + g**3/3 - 34*g**2. Is u(-5) prime?
True
Let b(c) be the first derivative of 3*c**3 + c - 5. Suppose -14 = -4*p - 6. Is b(p) a prime number?
True
Let r = 840 + 1493. Is r composite?
False
Suppose 0 = 10*b + 5*b - 2250. Let s = 299 - b. Is s a composite number?
False
Let f(s) = 243*s**2 + s - 7. Is f(11) a composite number?
True
Let v be 4/6 + 24/18. Suppose -3 = -3*y + n, -4*y + 13 + 1 = v*n. Suppose -88 - 170 = -y*h. Is h a prime number?
False
Let k(b) = 80*b**2 + 26*b - 37. Is k(-11) a prime number?
False
Let f(c) = -8*c - 3. Let d be f(-3). Is 6252/d + (-8)/(-28) composite?
True
Suppose 6*s - 4*s - 8 = 0. Is (-12)/s + (85 - -1) prime?
True
Suppose -85260 = -5*r + 42535. Is r prime?
False
Let m(x) = 1185*x - 134. Is m(17) a prime number?
True
Suppose 8*c + 6904 = 63264. Is c composite?
True
Suppose -2*g + 8*d - 1673 = 3*d, -5*d - 3421 = 4*g. Is (-10)/(-15) - g/9 composite?
True
Let r = -46 - -76. Suppose r + 1050 = 3*z. Suppose 2*w - i - 195 = -2*i, z = 4*w - 4*i. Is w prime?
False
Suppose 5*s + 30 = 5*g, 2*g - 3*s - 12 + 0 = 0. Suppose -u = r + 3*r - 229, -3*r = -g. Is u composite?
True
Let d be (30/(-35))/(3/(-14)). Suppose d*k = 3*t - 280, -k - 210 = -2*t - 3*k. Suppose -4*f - t + 458 = 2*y, -5*y + 272 = 3*f. Is f a prime number?
True
Let k(a) = -33*a + 20. Let f = 41 + -46. Is k(f) composite?
True
Let f = -2524 - -8164. Suppose -3*d + 2*w = -w - f, -2*w = 0. Is d/4 + 1/(-1) a prime number?
False
Let n(h) = 11*h**2 - 7*h + 6. Let f be n(-6). Let s = 751 - f. Is s a prime number?
True
Let o(b) = -48*b + 23. Let s(f) = 143*f - 68. Let z(m) = 11*o(m) + 4*s(m). Is z(9) prime?
False
Let f be 1/((-60)/(-8)) - 70644/(-45). Suppose -5*j = 5*j - f. Is j composite?
False
Let g(j) = -3*j**2 + 15*j + 7. Let i be g(-6). Let u = 418 + i. Let d = u + -140. Is d composite?
True
Let i = 9506 + 37741. Is i prime?
False
Let z = 142 - 139. Is (-362)/(-3) - (z - 104/24) composite?
True
Let m = 2 - -3. Let s be -10*(-2)/m*1. Suppose 0 = -3*p + 2*k + 2445, -2*p = -s*k - k - 1630. Is p prime?
False
Suppose 0 = -2*h + 3*h - 3*g + 13, -4*g = -2*h - 16. Suppose 0 = h*d - 228 + 2. Is d prime?
True
Let a(p) = 2*p**2 - p - 1. Suppose -2*q = -h - 10 + 1, -4*h - 20 = -4*q. Let r be a(h). Let z(k) = 93*k**2 - k + 1. Is z(r) composite?
True
Let h = 3 - 9. Let d be ((-4)/(-3))/(4/h). Is (-1007)/d + (-2)/4 prime?
True
Suppose 0*m - 20 = -4*m. Is 14674/12 + m*4/120 a composite number?
False
Let h be (0 - 16 - -2)*(-1)/1. Is h/35 + (-250089)/(-15) a prime number?
True
Let x be (-22)/(-4)*10 - 1. Suppose 2*l + l = x. Suppose -267 = -3*z - l. Is z prime?
True
Let p = -342 + 483. Is -4*4/(-48)*p prime?
True
Let o = -2530 + 1451. Let r = o + 3258. Is r composite?
False
Suppose 10 = 5*p, 0 = -3*w - 2*w - 2*p + 73899. Is w composite?
False
Suppose 543*d + 14562 = 549*d. Is d a prime number?
False
Let o be ((-1)/2)/(5/(-3090)). Let r = 637 - o. Suppose 4*d + 5*p = 3*d + r, -p + 5 = 0. Is d a prime number?
False
Let m = 15 + -5. Let y(q) = 3*q**2 - 8*q - 24. Let s be y(m). Suppose -3*j + 3*f = j - 196, -4*j + s = -f. Is j a composite number?
True
Let p = 9168 + 41273. Is p a prime number?
True
Let l(b) = 2*b - 7. Let y be l(7). Suppose 245 = y*m - 1162. Let r = 106 + m. Is r prime?
True
Let f(i) = -i**3 + i**2 + 3*i - 3. Let r be f(3). Is r/(-66) + (-6059)/(-11) prime?
False
Suppose -5*w = 2*a - 21, -2*w - 2*a - 3*a = -21. Let p be ((-4)/w)/(14/(-21)). Suppose -5*m + 1905 = -2*f, 6*f + 1143 = 3*m + p*f. Is m a composite number?
True
Let c(m) = 2*m**3 - 8*m**2 + 4*m - 3. Let l(x) = -4*x**3 - 2*x - 1. Let j be l(-1). Suppose -j*z = -3*u + 40, -u + z = u - 15. Is c(u) composite?
False
Let f(x) = 434*x**2 + 2*x - 4. Let b be f(2). Suppose 5 = -6*i + 5*i, -b = -3*l - 5*i. Is l composite?
False
Let h(g) = -3*g**3 - 2*g**2 - 4*g - 4. Let r be (5 + (-4 - -2))*-1. Is h(r) a prime number?
True
Let b(d) = d**2 - 16*d - 45. Is b(-28) a composite number?
False
Let d(y) = 17*y + 13. Let l be d(3). Suppose -k = 15 - l. Is k prime?
False
Suppose 0 = -3*y - 5*x + 3971, 2*y + 4*x = 779 + 1871. Suppose 2*r - y = -r. Is r a prime number?
True
Let b be (540/(-75))/((-4)/(-30)). Is ((-18)/b)/((-1)/(-138)) a prime number?
False
Let b(n) = 6*n**3 - 14*n**2 + 39*n - 8. Is b(7) composite?
False
Suppose 7 = 2*f - m, -4*f + m = 5*m + 4. Suppose 2 = u - 5*w - 0, 5*u = f*w + 10. Suppose -4 = u*b - 48. Is b prime?
False
Suppose 4*v - 322791 = -3*w, 2*w - 7*w = -3*v - 537956. Is w composite?
True
Let y(x) = -x**2 - 14*x - 19. Let u be y(-6). Suppose -u*b + 25*b = -356. Is b a prime number?
True
Let s(m) = -m**2 - 5*m. Let y be s(-4). Suppose 0*c - 572 = -y*c. Is c composite?
True
Suppose -u + 0*u + 282 = 0. Let k = -1999 + u. Is k/(-9) + (-4)/(-18) composite?
False
Let s(d) = -399*d - 220. Is s(-51) a composite number?
False
Suppose 2*y = 43 + 29. Suppose 4*k - q = 22, 0 = 4*k + 6*q - 2*q - 12. Suppose -k*r = -219 - y. Is r composite?
True
Suppose 2*v + 68 = -5*s + 4*v, 54 = -4*s + 2*v. Let y = s + 12. Is y/(-11) - 2319/(-11) a composite number?
False
Suppose -333451 = -23*i + 234442. Is i a composite number?
False
Suppose -y + 9520 = 4*x, 0*y - 3*y = 12. Let c = 6218 - x. Is c prime?
False
Let w = 2 + 6. Let f be (36/w)/(9/6). Suppose f*v = -5*i + 388, -2*i - 2*v = v - 157. Is i a composite number?
True
Let u = -83 + 87. Suppose 2*k - 2 = 0, -3*k + 2256 = u*q - q. Is q a prime number?
True
Suppose 0*p - 3*p = -5*v - 6678, 0 = 5*v + 15. Is p prime?
True
Let r = -79 + 83. Suppose 0*d = 4*d. Suppose r*p + p = 4*h + 2997, -2*p - 3*h + 1185 = d. Is p prime?
False
Suppose 0 = -16*p + 30*p - 45346. Is p a composite number?
True
Let h = 673 - 2322. Let o = h + 2791. Is o prime?
False
Suppose 0 = -13*o + 26*o - 44057. Is o a prime number?
True
Let z(p) be the second derivative of 22*p**3/3 + 17*p**2/2 - 28*p. Is z(9) composite?
True
Let j(t) = -17*t**3 - t**2 + 6*t - 5. Let y be j(4). Let f = -328 - y. Suppose 4*c - f = 727. Is c composite?
True
Suppose 5*l = 343 + 67. Let k = 39 + l. Is k prime?
False
Let i = 11220 + -7529. Is i prime?
True
Let n(k) be the first derivative of 169/2*k**2 + 3*k + 7. Is n(4) prime?
False
Let s(l) = l - 10. Let h be s(10). Suppose h = r - 5, -2*r = -5*v + 355 + 165. Suppose -5*j = -q + v, 3*q + 2*j = -83 + 452. Is q a composite number?
True
Suppose -2*h - 3*h + i + 20 = 0, 2*h - 8 = 4*i. Suppose h = -2*p + p. Is 345/10*6 + p prime?
False
Let t be (20/2*-1)/(-2). Let d = t + -1. Suppose 635 = d*w + w. Is w a prime number?
True
Let b be (-8 - 0)*(-15)/60. Suppose 2*y = -b*a + 2834, 2*a - 3*y + y = 2814. Let p = a + -561. Is p a prime number?
False
Let w = -45 - -48. Suppose s - 525 = 4*b, -2*s - b + 1074 = -w*b. Is s composite?
False
Suppose 3*r - 13 = -j, 4*r + 8 = 6*r + j. Suppose -r*s = -3*s + 10. Is (4 + s)*1*-159 a prime number?
False
Let i = -41 - -57. Let b = -32 - -29. Is 2/b*(-10056)/i composite?
False
Let g = 333 + -165. Suppose 2*x - g - 278 = 0. Is x prime?
True
Let g(l) = l**2 + l + 3. Suppose -v = 8 - 6. Let o be g(v). Suppose -2*m - 1506 = -4*r, 6*m - m = o. Is r composite?
True
Let h be -7 - -7 - (-2 + 3). Let 