 a prime number?
True
Let m = 300 + -294. Suppose 2*z = 3*x + 17407, -m*z - 2*x - 26113 = -9*z. Is z prime?
False
Let z(r) be the first derivative of 39*r**4/8 - 5*r**3/3 + 37*r**2/2 + 25. Let q(x) be the second derivative of z(x). Is q(3) prime?
False
Let b = -7 + 14. Let r be (-27386)/(-4) + b/(-14). Suppose 7*d - r = 4*d + 5*m, -5*m + 15 = 0. Is d a composite number?
False
Suppose -a + 4*d - 12 = a, 4*a - 36 = -4*d. Let g(w) = w**2 + 6*w - 72. Let h be g(-12). Suppose h = -a*c + z + 1747, 3*z = 2*z + 1. Is c prime?
False
Let m = -31724 + 50801. Let w = 65900 - m. Is w prime?
False
Is (-4908855)/(-65) - (-16)/104 a prime number?
True
Suppose 4*q - 3*k - 20 = 0, -4*k = -5*q - k + 28. Let s be 2/q*4694 + 8/16. Suppose 0 = -2*v + 4*v + 5*p - 600, -4*v + s = -3*p. Is v a composite number?
True
Suppose 22*l + 34*l - 1699096 = 0. Is l composite?
False
Is 97/(-776) + (-4300875)/(-24) composite?
False
Let d(j) be the second derivative of 3*j**5/20 - 11*j**4/12 + 23*j**3/6 - 19*j**2/2 - 14*j. Let m be d(15). Is (2/4)/(4/m) prime?
True
Let s(y) = 5*y**2 + 197*y - 13184. Is s(130) a prime number?
False
Suppose 0 = -y - l + 678712, -5*y + l + 1987033 = -1406569. Is y a prime number?
True
Let s be ((-2145)/(-220))/(((-9)/(-8))/3). Suppose 37*n - s*n - 7909 = 0. Is n a prime number?
True
Let p = -261660 + 535753. Is p a prime number?
True
Let b(p) = p**2 + 8*p - 5. Let h be b(-9). Suppose 0*g = -g + 111. Suppose 0 = h*z - g - 1081. Is z a composite number?
True
Let x = 11 + -8. Suppose u - c = -x*u - 1, 5*u + 3*c = 3. Suppose t + 40 - 199 = u. Is t a prime number?
False
Let h(j) = 2*j + 36. Let o be h(-10). Suppose -o*v + 2274 = -13*v. Is v a prime number?
False
Suppose 0 = 6*f - 4820 + 1010. Suppose -b = 4*b - 30. Suppose k + f = b*k. Is k prime?
True
Suppose 14*v - 8*v = 18. Suppose -4*p + 5*p + 2*u - 12051 = 0, 36146 = v*p - u. Suppose -5*l + 4*d + p = 0, 3*l + 6*d - 4*d = 7247. Is l prime?
False
Let l be (-4 - 30*735/12)*-2. Let b = l - 886. Is b a prime number?
True
Let f(l) = -7*l + 18. Let c be f(3). Is ((-54648)/(-16))/9*(-2)/c prime?
False
Let a(w) = 5411*w**2 - 44*w + 142. Is a(3) a composite number?
True
Let u be (-28)/10*(-15)/6. Let h(y) = -4*y + 16*y**2 + 8*y - y**3 - 13 - 3*y - u*y. Is h(12) prime?
True
Let l(q) = 4*q**3 + 54*q**2 - 14*q - 23. Is l(-12) a prime number?
True
Is (10*14/280)/(5/9527890) composite?
False
Suppose 4114 = 4*o - 7714. Let d = -520 + o. Is d composite?
False
Suppose 3*f - 7350 = -5*v, 0 = 3*v + 4*f - 3566 - 844. Let x = 2084 - v. Is (x/(-4))/(0 + 1/(-2)) a composite number?
False
Let n(b) = 851*b**2 + 13*b - 43. Let f = 202 + -199. Is n(f) a prime number?
False
Let f(r) = 18*r**3 + 94*r**2 - 59*r - 20. Is f(27) a prime number?
True
Suppose -3*i - 4*j - 32 = 0, 2*i - 1633 + 1652 = -5*j. Let h(g) be the third derivative of g**5/12 + g**4/4 + 7*g**3/3 - 2*g**2. Is h(i) composite?
True
Suppose 2*c + c = -30. Is (36332/10 - 5) + (-8)/c composite?
True
Suppose -3*p = 3*v + 138, 3*p = 4*v + 5*p + 188. Let u = v - -49. Is 1/1*u + 888 - 0 a composite number?
True
Let m(a) = 149*a**2 + 126*a + 253. Is m(-18) a composite number?
False
Suppose 3*a = 5*a - 4*r - 70, -a - 5*r + 28 = 0. Suppose -a*z + 50*z = 115243. Is z a prime number?
True
Suppose r + 809 = 2737. Suppose 0 = -3*o - 5*d + r, 3136 = 5*o - 5*d - 64. Is o composite?
False
Let x(y) = 3*y**2 + 0 - 1 + 11*y**3 + 405*y - 404*y. Let m(a) = 33*a**3 + 8*a**2 + 3*a - 3. Let s(z) = 6*m(z) - 17*x(z). Is s(2) prime?
False
Let p(z) = 4*z**2 - 26*z - 95. Let h(o) = -4*o**2 + 25*o + 94. Let u(a) = -3*h(a) - 2*p(a). Is u(21) composite?
True
Let i be (6 - 3) + 3/1. Suppose -7*g + i*g = -1272. Suppose 3*x = -5*d + 604 + 984, 0 = 4*d + 4*x - g. Is d a prime number?
True
Let m = -76 - -78. Let p be 0 + m + 1/(2/1464). Let c = p + 579. Is c a composite number?
True
Suppose -41*p = -4*p + 111. Is (-2045)/(-5)*(60/6 + p) prime?
False
Let h = 426 + -430. Is 36538/6*6/h*-2 a prime number?
True
Let w be (-2)/(3/18*-3). Suppose 0 = -5*g + w*g + 582. Let p = g + 305. Is p a composite number?
False
Let h(l) = -86*l**2 + 28*l + 158. Let j be h(-9). Let p = j - -11777. Is p a prime number?
False
Suppose 5*q + 44 = 64. Suppose 15048 = q*d + 2480. Is d a composite number?
True
Is (6399/135)/((-51)/(-39355)) prime?
False
Suppose -510 = -3*p - 114. Suppose -2*w = z - p, z + 684 = 6*z + 4*w. Let a = -49 + z. Is a a prime number?
False
Suppose 2*v + 17 + 9 = -t, -2*t - 50 = 2*v. Let s be -2 - t*4/4. Let p = s - -31. Is p prime?
True
Let w(q) = 2*q - 24. Let b be w(0). Let z(g) = -g**2 - 14*g - 16. Let y be z(b). Let p = y - -819. Is p composite?
False
Suppose -3*u - 5*n + 96169 = 0, 4*n - 60438 = -4*u + 67798. Is u a composite number?
False
Suppose 5*s + 2*k - 3*k = 547988, 3*s = 3*k + 328788. Is 1/((-45)/(-10)) + s/18 a composite number?
False
Suppose 21*r = 4*r + 34. Suppose 0*c - r*c = 3*z - 7045, -z + 17632 = 5*c. Is c composite?
False
Suppose -3*d = 3*d. Suppose -12 = -d*u - 3*u. Suppose -3*s + 1656 = 4*q, 0 = -2*q - 7*s + u*s + 834. Is q a composite number?
True
Let x(d) = d - 6 + 18 + 6. Suppose 2*l = 10 + 32. Is x(l) prime?
False
Let j = 147960 - -162601. Is j composite?
True
Suppose 3*u - 29433 = -65*i + 62*i, 3*u = 3*i + 29445. Is u prime?
False
Let q(f) = -3477*f**3 - 8*f**2 - 31*f - 1. Is q(-6) a composite number?
False
Suppose -6342 = -3*z + 4*k, 0*z = 2*z - 2*k - 4228. Suppose 5879 = 3*y + z. Is y prime?
False
Suppose z = -3*j - 17 + 44, 2*j + 4*z - 28 = 0. Suppose -3*x = -6, -12*x + 10426 = 2*u - j*x. Is u prime?
True
Let g = 68953 + 132460. Is g prime?
True
Let u(x) = 1504*x - 87. Suppose 5*z = -3*b + 35, 7*b + z = 3*b + 24. Is u(b) prime?
True
Let l(f) = f**2 + 17*f - 13. Let u(o) = -3*o**2 + 5*o - 5. Let j be u(2). Let q(x) = x**2 + 4*x - 9. Let a be q(j). Is l(a) a prime number?
False
Suppose 395*k = 218*k + 63129351. Is k a composite number?
False
Is -2113629*((-36)/(-54) - 1) a composite number?
True
Let r(l) = -11796*l + 6058. Is r(-63) a prime number?
False
Let u(s) = 2*s**3 + 8*s**2 + 11*s - 26. Let n(h) = 2*h**3 + 7*h**2 + 13*h - 27. Let y(z) = -3*n(z) + 4*u(z). Is y(9) a composite number?
False
Is 475985 + ((-54)/10 - -2) + 231/(-385) composite?
True
Let r(a) = -4*a**3 + 67*a**2 + 983*a - 103. Is r(-39) a composite number?
False
Is 45224/(-8)*(-7 - (-2 - -2) - -2) composite?
True
Let d(i) = i**3 + 22*i**2 + 262*i + 130. Is d(75) prime?
False
Let h be 0 + 3 + -5 - -2 - -2. Suppose -h*n + 1 = -o, 7*o - 4*o + 4*n - 17 = 0. Suppose -o*i + 31 = t, 4*t - 2*i - 28 - 124 = 0. Is t a prime number?
True
Is 206595/(-405)*-117*1/1 a prime number?
False
Suppose 3*i + 3*z = 12, -3*i + 9*z + 14 = 10*z. Suppose 2*m - 34569 - 11190 = -i*k, 2*m - 45729 = k. Is m a composite number?
True
Let b(h) = h**2. Let p(d) = -132*d**2 - 7*d + 3. Let o(u) = -4*b(u) - p(u). Let c be o(2). Suppose c = 2*n - 0*n + 5*l, n - 251 = l. Is n a composite number?
True
Suppose -5*n + 2*t + 378 = 148, 2*n + 3*t = 111. Suppose n*l = 42*l + 55578. Is l composite?
True
Suppose -5*x + 527 + 6208 = 0. Let o(c) = -122*c - 144. Let h be o(-5). Suppose 2*t = -5*g + x + h, -2*g = 5*t - 4585. Is t a composite number?
False
Let a = -1039789 - -1661890. Is a a prime number?
False
Let l = 1951553 - 1017364. Is l a composite number?
True
Suppose 0 = -22*t + 16*t + 54. Let i(z) be the third derivative of 10*z**4/3 + 13*z**3/6 - z**2. Is i(t) a prime number?
True
Suppose 25 - 5 = -m. Let c be 17840/25 + (-8)/m. Suppose -541 - c = -5*q. Is q prime?
True
Let k be 1/(15/(-30) + 99/202). Let n = 280 + k. Is n a composite number?
False
Let q(k) = 10*k**2 + 12*k**2 + 20*k - 159 + 4*k**2 + k. Is q(24) a composite number?
True
Suppose 4*d - 19 = -3. Suppose -n - 21984 = 2*n + 3*s, -d*n - 2*s = 29320. Let o = n - -10973. Is o prime?
False
Let h(l) = -2099*l - 396. Is h(-31) composite?
True
Let c = -52 + 52. Suppose -r + 2*x + 160 = 0, c = 4*r + x + 29 - 651. Suppose -n + 2*v = -51, 3*v + r = 4*n - n. Is n a composite number?
False
Let w = -602 + 605. Suppose 5*k - 39*v + 35*v = 97517, -19510 = -k + w*v. Is k a composite number?
False
Suppose 0 = 2*i + 4*i + 36. Let r be 9/(-6) - 21/i. Let z = r + 13. Is z a prime number?
False
Let q(a) = -6*a**2 + 6*a - 23. Let t be q(4). Is (-2550)/(-8) - (t/(-20) - 5) prime?
False
Is (-205197)/9*(-6 -