7670*t**2 - 13*t + 1. Is d(2) a composite number?
True
Let a = 2576 + -241. Is a a prime number?
False
Let g be (3 + -5 + 2)/1. Let c be 1055 + g + -2 + -2. Let q = -693 + c. Is q a prime number?
False
Suppose -22*k - 59*k + 739287 = 0. Is k a composite number?
False
Suppose 5*i + 83 + 1 = -4*f, -4*f + i - 108 = 0. Let g = -30 - f. Let r = 317 - g. Is r composite?
True
Let i = 4 - -1. Suppose i*s = s + 8. Suppose s*b + b = 93. Is b composite?
False
Is (3179110/(-220))/(1/4*-2) prime?
True
Let q(f) = f**3 - f**2 + f + 21. Let c be q(0). Let y = c - 174. Let i = -4 - y. Is i composite?
False
Suppose -5*o = v - 6*v + 41765, 0 = -v - 4*o + 8373. Is v a composite number?
True
Suppose -4*j - 12 = 0, 0*j = -3*q - 4*j + 4779. Is q prime?
True
Suppose 37*q - 41*q + 4 = 0. Let u(n) = 1097*n**3 - 2*n**2 + 2*n - 1. Let x be u(q). Suppose 2*h - 682 = k + x, -2*k = -3*h + 2667. Is h composite?
True
Let h = 269 - 36. Is h composite?
False
Is 19290 + 1 + -13 + 11 composite?
False
Let f(t) = t**3 - 4*t**2 - 24*t - 13. Let d be f(11). Suppose q - 79 = d. Is q a prime number?
False
Suppose -2*j = -k + 11645, -7*k = -2*k + j - 58203. Is k prime?
False
Let w = 3 + -7. Is (45/6 + w)/(1/2) prime?
True
Let z be -1 + 30*3/(-3). Let p be z/(-2)*2/1. Suppose -3*o + 602 + p = 0. Is o a prime number?
True
Let v(f) = 2*f**3 + 13*f**2 - 12*f - 31. Let p be v(-7). Let g(w) = 4*w**2 - 2*w + 1. Let k be g(1). Suppose 5 + p = k*a. Is a prime?
True
Let j(x) = -x**2 + 8*x + 11. Let p be j(10). Let z(b) = 2*b**2 + 5*b + 6. Let u be z(p). Suppose -u + 26 = -v. Is v a prime number?
True
Let h be 37 + (-6)/(9/(-3)). Suppose -4*i + h - 15 = 0. Is (-4)/(-2) + 45 + i prime?
True
Let o be (2 - (-6)/(-4))/((-8)/(-22000)). Let z = o - 696. Is z a prime number?
False
Suppose -4*z + 3*t - 4975 = 0, -6221 = 5*z - 4*t + t. Let r = 2157 + z. Is r a composite number?
False
Let q(b) = 2*b**3 - 3*b**2 - 4*b + 4. Suppose 0 = -l - 5*t, t = -3*l - 2*l + 48. Let r = l + -7. Is q(r) prime?
True
Suppose 0 = -3*z + 4*f + f + 7, 0 = -4*z + 2*f - 14. Let m = 19 + z. Suppose -352 + m = -3*p. Is p a composite number?
False
Let m be 0*(4 + 14/(-4)). Suppose m*s = -4*z + s + 2138, 4*z - 4*s = 2132. Is z a prime number?
False
Let o = -2532 - -4346. Is o composite?
True
Suppose 5*o + 3*t + 472 = 0, 3*t + 288 = -3*o - 0*o. Is (o/6)/(8/(-348)) composite?
True
Let d be -62*(1 - 155/10). Let i(c) = -d + 893 + c + 7*c. Is i(5) a composite number?
True
Suppose 2*m + 7417 = 5*m + 5*j, 2*m + 5*j = 4943. Is m a composite number?
True
Suppose -3*l - 2*w = -1840, 3*w + 2*w = 2*l - 1233. Is l prime?
False
Suppose 0 = 26*n - 46617 - 1145. Is n composite?
True
Suppose -3*p = 3, 3*p = -5*n + 5736 + 24406. Is n a composite number?
False
Let x(g) = -4*g - 3*g + 25*g**2 - 1 + 133*g**2 - 3. Is x(-3) composite?
False
Let b(w) = 45*w - 4. Suppose 0 = -0*z - 2*z + 6. Is b(z) a prime number?
True
Let f(p) = -p**2 - 5*p - 2. Let u be f(-4). Let q(l) = 15*l**2 + 6*l - 14. Is q(u) a composite number?
True
Let g = 5158 + -2669. Is g a prime number?
False
Suppose -4*l = -98 - 210. Is (-22)/l - (-1101)/7 prime?
True
Suppose 0 = -g + p + 27, -2*p + 13 = g - 5. Suppose -2*c + 4*c = g. Is -4*23*(-9)/c a prime number?
False
Let x = -32 + 36. Suppose -x*h = -c + 27, -4*c - 1 + 7 = h. Is (-2)/h + (-6849)/(-27) a prime number?
False
Suppose -5*g = -0*g - 20. Suppose j - 359 = -s, -523 = -g*j - 3*s + 915. Is j composite?
True
Let a = -130 + 135. Is (-4)/a + 451217/65 composite?
True
Suppose -2*r = 5*a + 12, -1 - 15 = -5*r - a. Suppose 5*h - 396 = 2*h. Suppose -2*s + r*x + h = 3*x, 3*s - 2*x - 197 = 0. Is s a composite number?
False
Suppose 0 = 11*o - 137143 - 290790. Is o a prime number?
True
Let s(n) = n**2 + 25*n + 24. Let f be s(-24). Suppose f = t + 4*t - 1835. Is t a composite number?
False
Let z(c) = -26*c + 14. Let n(h) = -h. Let k(x) = -4*n(x) - z(x). Let y be k(-8). Let o = 381 + y. Is o a prime number?
True
Let t(i) be the first derivative of -i**3/3 + 31*i**2/2 + 13*i - 36. Is t(17) composite?
False
Let o = -29 + 32. Suppose 3*h + 3429 = -0*s + o*s, 4*s = 2*h + 4568. Is s composite?
True
Suppose -4*h + 2848 = 4*a, -12*h + 9*h = 4*a - 2853. Is a a prime number?
False
Suppose -3*c + 9*c - 348 = 0. Let v = 179 - c. Is v prime?
False
Let n be (-116)/(-14) + (-8)/28. Suppose 0 = s + n + 5. Let i = 20 + s. Is i a composite number?
False
Let w(x) be the second derivative of x**7/360 - x**6/144 + x**5/60 + 2*x**4/3 + 3*x. Let d(p) be the third derivative of w(p). Is d(-5) a composite number?
True
Suppose 14*d - 23862 + 6138 = 0. Suppose -14*f + 8*f + d = 0. Is f prime?
True
Let a(n) = 2 + 4 + 2*n + 222*n - 5. Let i(j) = -j**2 - 7*j - 3. Let h be i(-6). Is a(h) composite?
False
Suppose -5*f - 4*s + 877 = 0, 162 = 4*f - 3*s - 552. Let g(q) = 2*q**3 - 6*q**2 + q + 1. Let v be g(7). Let k = v - f. Is k a composite number?
False
Suppose 0 = 18*n + n - 1007323. Is n a prime number?
True
Suppose -4*l - 523 = -1395. Suppose l = 7*k - 6*k. Is k a composite number?
True
Let j(g) = -5*g**3 + 24*g**2 - 31*g - 28. Let o(z) = z**3 - 6*z**2 + 8*z + 7. Let q(i) = 2*j(i) + 9*o(i). Is q(-8) prime?
False
Suppose -4*k + k - 1 = -a, k + 3 = a. Let s(x) = -3*x**3 + x**2 + a*x**3 + 4*x + 2*x**3 - 2 - 5*x**2. Is s(3) prime?
False
Let g be 2/(-9) - (-116)/36. Suppose 9 + 0 = g*h. Suppose -h*r + 52 = -161. Is r prime?
True
Suppose -2*s - 215 = -u, -3*u - 2*s = -s - 652. Suppose 380 = 3*l - u. Is l a prime number?
True
Let q = 2834 + 251. Suppose -q + 140 = -5*u. Let r = 884 - u. Is r prime?
False
Suppose -3*z = m, -5*m + 8 = 4*z - 3. Let a = -1 + 1. Suppose r - 2*r + 1 = a, -4*d = -m*r - 505. Is d composite?
False
Let f(h) = h + 20. Let z be f(-4). Let s(i) = i**3 - 16*i**2 + 17*i + 23. Is s(z) a composite number?
True
Let p(z) = -19*z - 155. Is p(-34) prime?
True
Suppose -2*o + a = -6*o + 5444, -2*o = -4*a - 2722. Is o prime?
True
Is 6/8*(4 + (-738672)/(-18)) a composite number?
False
Suppose 0 = 13*z + 1142125 - 169920. Is z/(-15) - 2/3*-2 a prime number?
True
Let m(a) = -a**3 - 4*a**2 - a - 2. Suppose 4 = 3*k + 16. Let f be m(k). Suppose 0*l - l + 4*s + 2161 = 0, -f*l + 4286 = 4*s. Is l composite?
True
Suppose -113 = -5*y + k + 3*k, 5*y = 2*k + 119. Let p(n) = n**2 - 2 - 5*n + 0*n - 11*n**2 + y*n**2. Is p(-5) prime?
False
Let t = 839 + 4022. Is t prime?
True
Let j(o) = -4*o + 13. Let m(q) = -3*q + 12. Let s(y) = -4*j(y) + 5*m(y). Let x be s(-4). Suppose -x*w = 12, -5*w - 1038 = -2*a - a. Is a prime?
False
Suppose -106*d + 113*d = 4963. Is d composite?
False
Suppose 284 = 2*o - 348. Let n = o + -564. Let c = n + 541. Is c a prime number?
True
Suppose 0 = -26*v + 24*v + 14. Suppose -v*q = 12906 - 35859. Is q prime?
False
Suppose -2*n - 5*m = -7222, 2*m = 19*n - 21*n + 7222. Is n a prime number?
False
Let l(i) = 300*i**2 - 3*i + 1. Let t be l(2). Suppose 2*o = -b - 1281, -2*o + 1924 = -5*o - 2*b. Let w = o + t. Is w prime?
True
Suppose -5*n + 2*k = -394922 + 50867, 2*n - 2*k - 137616 = 0. Is n a prime number?
True
Let d = 48206 - 32857. Is d composite?
False
Let h(q) = -5*q + 3. Let i be h(2). Let r = 10 + i. Is (-164)/((-6)/r)*1 composite?
True
Is 12884 + (-2)/4 + (-175)/70 prime?
False
Let v be 12/(-24) - (-22)/4. Suppose -15*h + 5410 = -v*h. Is h composite?
False
Suppose l + 12 = 2. Is 2*(-3)/l + 109648/220 a composite number?
False
Suppose 3 = -3*l - 5*x, -x = -5*x - 12. Let j(p) = 12*p**3 + p**2 + 6*p - 6. Is j(l) a composite number?
True
Suppose 0 = -2*k + 314 + 152. Let u = 847 - k. Is u composite?
True
Let m(b) = 1475*b**2 + 5*b - 3. Suppose f + 0*f - 1 = 0. Is m(f) a prime number?
False
Let o be 9 - 156 - (4 + 0). Let y = 270 + o. Is y a composite number?
True
Let d = 12 + -17. Let z = d - 7. Let w = 45 + z. Is w a prime number?
False
Suppose 13*w - 76887 = 49525. Suppose -w = -5*d + 21. Is d a composite number?
False
Suppose w + 9 - 25 = -4*k, -5*w = 3*k - 29. Suppose 3*n - 1896 = w*g - n, -10 = -5*n. Let a = -327 - g. Is a a composite number?
True
Let a = 61 + -15. Let v = 68 - a. Is v composite?
True
Let s(n) be the first derivative of -n**3/3 + 9*n**2/2 + 24*n - 10. Let d be s(11). Is 4745/9 - d/9 composite?
True
Let c = -7 + 8. Suppose 7 = 4*m - c. Is ((-59)/m)/(2/(-4)) composite?
False
Is -358*(-5 + (-47)/(-2))*-1 composite?
True
Is 12998/2 - ((-5)/(-