b = z - -1102. Is b a composite number?
False
Suppose 0 = -46*n + 60*n - 62902. Is n composite?
False
Is ((-712)/32 + 0)*(-91 + -1) prime?
False
Let l(y) = -20*y - 45. Let s be l(-22). Let w = s - 192. Is w a composite number?
True
Let z(n) = -n**3 - 10*n**2. Let r = 0 - 10. Let j be z(r). Suppose 127 = w - j*w. Is w a prime number?
True
Let c(z) = -9*z - 9. Let g(m) = 100*m + 100. Let l(k) = 45*c(k) + 4*g(k). Let p be l(-6). Suppose 3*x - 37 = -2*f, -x = 4*x - p. Is f a prime number?
True
Let n be ((-4)/(-8))/(((-3)/(-10))/3). Let f be -1 + (123 - (1 - 2)). Suppose -k - b = -6*k + 296, 2*k - n*b = f. Is k a composite number?
False
Suppose -17*w + 2*g = -22*w + 55017, -5*w - 5*g + 55020 = 0. Is w composite?
False
Suppose 0 = 35*a + 12*a - 129203. Is a prime?
True
Suppose 0 = 2*a - 2*f - 19342, -4*a = -4*f + 7*f - 38698. Is a a composite number?
True
Suppose v = 2*q + 3*q + 907, -v + 2*q = -907. Is v a prime number?
True
Let w be 4/6*1/((-4)/36). Is (-4)/w - 67058/(-6) a prime number?
True
Suppose -9 - 3 = 3*t. Let k(l) = -33*l**3 - 5*l**2 - 4*l + 3. Is k(t) a composite number?
True
Suppose 3*r - l = 201323, -14*r + 67129 = -13*r + 5*l. Is r prime?
False
Let t = 15154 - 8828. Is t a prime number?
False
Let k = 115 + -54. Let q be (-454)/(-4) + 1/2. Let f = q - k. Is f a prime number?
True
Let z(f) = 1 + 3*f - 15*f + 6 + f. Is z(-14) prime?
False
Let t be (-2 - (-2)/(-1)*2)*-31. Suppose -3*h - 37 = 2*d + 46, 86 = -2*d - 4*h. Let s = t - d. Is s composite?
False
Suppose 105*k - 101*k + 700 = 0. Let m = k + 272. Is m a composite number?
False
Let s be 1/(-5) - (2 - (-332)/(-10)). Suppose 3*x - 236 = s. Is x prime?
True
Let y be 12/(-10)*10/(-3). Suppose 2*a = 4*a + y. Is (-4 - a)*(-267)/6 prime?
True
Let s(g) = 5019*g - 254. Is s(3) prime?
False
Let j(y) = -2*y**3 - 4*y**2 - y + 2. Let c be j(-2). Suppose c*g - 28 = -4. Suppose g*n - 119 - 1183 = 0. Is n a prime number?
False
Let g be ((-1)/(-3))/((-8)/(-504)). Let h be 786/(-4)*(-56)/g. Suppose 0*d + h = 4*d. Is d a prime number?
True
Let l be 0/((-3)/(-3) + 0). Suppose -5*g + 25 = -l*g. Let h(o) = o**3 - 4*o**2 - o - 1. Is h(g) composite?
False
Let v(c) = -12*c - 5. Let m = 5 + -10. Let d be ((-10)/(-8))/(m/40). Is v(d) a prime number?
False
Suppose 34*d - 117483 - 71795 = 0. Is d a composite number?
True
Suppose 10*l - 17308 = 26862. Is l composite?
True
Suppose -4*j - 180 = -r, 4*r - 129 - 602 = 5*j. Let m = r - -1377. Is m composite?
True
Let d(l) = 2*l**3 + 33*l**2 - 11*l + 35. Let n(j) = j**3 + 17*j**2 - 6*j + 18. Let i(p) = 3*d(p) - 5*n(p). Is i(-12) composite?
True
Let q = 370 + 481. Suppose -1816 - q = -4*b - 5*z, -2*z - 683 = -b. Is b composite?
False
Let b = -122 + 249. Let y = 13 + b. Suppose -4*l + 1536 + y = 0. Is l a composite number?
False
Suppose 4*a = 5*a + 5, -u - 2*a = -110853. Is u a composite number?
False
Suppose 145497 = -22*z + 33*z. Is z a prime number?
False
Let b = 1 - -9. Let n = b + -15. Is (n - -4) + 182 + -2 a composite number?
False
Let r(v) be the first derivative of -v**3/3 - 11*v**2/2 + 14*v - 5. Let u be r(-10). Let n = u - -233. Is n composite?
False
Let q be -1215 - ((-4)/(-1))/(-4). Let t = 2544 + q. Suppose 4*u + 1056 = 3*k + k, 5*k - t = -5*u. Is k a prime number?
False
Is 196/(-14) + 7 - (-10715 - 1) composite?
False
Let l = 9 + -70. Let g = -9 - l. Is (37/4)/(13/g) a composite number?
False
Let z be (24 - 3 - 4)*-164 - 3. Let k = -1764 - z. Is k a composite number?
True
Suppose 0 = 5*q + 25, 4*j - 2*j + 4*q = -26. Let r = 0 - j. Suppose -r*v = -3*d + 1026 + 921, v + 2596 = 4*d. Is d a prime number?
False
Let d(a) = -3*a + 2. Let n be d(-1). Suppose -3*v = -n*v + 16. Let t(r) = 7*r**2 + 5*r - 3. Is t(v) a prime number?
False
Let u = -46827 + 88496. Is u a prime number?
True
Suppose -3*y + 5 = -i, 0 = 4*y + i - 9 - 0. Suppose 0 = -q + y*q. Suppose 0 = -2*w - q*f - f + 1311, 3*f = 15. Is w a composite number?
False
Let q = 8 + -4. Let c(y) be the second derivative of 13*y**3/2 + y**2 - 2*y. Is c(q) prime?
False
Is (-4)/(3/(81138/(-8))) composite?
False
Let w be (-2)/5 + (-198)/55. Let s be ((-8)/10)/(w/5420). Let z = s + 277. Is z prime?
True
Suppose 0 = -5*x + y + 6 + 17, -2*y - 14 = -2*x. Let b be x/(-6)*(5 - 11). Suppose b*d - 732 = 4*g, -3*d + 9*g - 4*g + 541 = 0. Is d a composite number?
True
Let m(h) = 44*h**3 - 5*h**2 + 6*h - 19. Is m(4) a prime number?
True
Suppose -2230 = -2*u + p, 4*u + 19*p = 17*p + 4476. Is u a composite number?
False
Let h(j) = -43*j**2 - 6*j - 3. Let d be h(-8). Let f = d + 5024. Is f a composite number?
True
Suppose 0 = 4*f - 2*f. Suppose -5*t - u + f*u = -443, 0 = -5*t - 3*u + 439. Is t a composite number?
False
Let f(x) be the first derivative of 2*x**3 - x**2 - 1/4*x**4 - 6 + 6*x. Is f(5) a prime number?
False
Let x(t) = -4*t + 1863. Let m be x(0). Suppose -k - 516 = -m. Is k a prime number?
False
Suppose 2*y - 16 = 3*m, 5*y - 56 = -3*m - 16. Is 92/(5*y/20) composite?
True
Suppose 0*h + 10 = 2*h. Suppose 2*t - h - 3 = 0. Is 1/(t/344) + 3 a composite number?
False
Is (9/(-36))/((-2)/32664) a prime number?
False
Let g = 16256 + 1603. Is g a prime number?
False
Is 5 + 6 + -5 - -18689 a prime number?
False
Let z(l) = 7721*l + 6. Is z(1) a composite number?
False
Suppose -45 = -5*p - 5*a, 5*p - 41 = -2*a - 2*a. Suppose 0*k + k - 346 = -m, -p*m + 25 = 0. Is k composite?
True
Suppose 3*r = 6*r - 180. Suppose -7 = n + r. Let t = -48 - n. Is t composite?
False
Let r(g) = g**3 + 17*g**2 + 15*g - 13. Let x = 23 - 39. Let z be r(x). Suppose 0 = 2*k + z*k - 2395. Is k prime?
True
Let b = -1 - -6. Suppose -3*z + 2*z + 765 = -4*i, b*z + 4*i = 3705. Is z a prime number?
False
Let d(j) = j + 9. Let x be d(-3). Let f be (4 - 2750/(-4))*x. Let a = 6050 - f. Is a composite?
False
Suppose 2*r = 7*r. Suppose 4*i - 7608 = -4*x - 0*i, 3*x + 5*i - 5708 = r. Is x a prime number?
True
Is ((-15802)/(-8))/(2*1/8) a composite number?
False
Is (-1 - -2)/(87/(-23809))*-3 composite?
False
Let z = 9 - 0. Suppose -z*v = -5*v - 8. Suppose -v*y = -272 - 150. Is y a prime number?
True
Let u(j) = -j**2 - 6*j + 3. Let v be u(-6). Suppose 601 = 2*c + 3*o, 1470 = 2*c + v*c + o. Is c a composite number?
False
Let m = -36 + 41. Suppose -11*s = -m*s - 1644. Is s prime?
False
Let f(k) = 7*k**3 - 29*k**2 + 39*k + 12. Is f(19) a prime number?
False
Suppose 0 = -r + t + 4*t - 23, 0 = -2*r + 3*t - 11. Suppose -7*f - 98 = -5*d - 3*f, 0 = 3*d - r*f - 58. Is d/(-12) + (-218)/(-4) a prime number?
True
Let k(t) = -11*t**2 - 465*t**3 + 1 + 0 + 10*t**2. Let v be k(1). Is v/(-9) - (-6)/(-9) prime?
False
Let z(x) = x + 4. Let w be z(5). Let a = -4 + w. Suppose -388 = -2*q + a*y, -q + 197 = y - 2*y. Is q a composite number?
False
Is 4434/(3 - 6)*(-3)/6 a prime number?
True
Suppose -4*w - w = 90. Let a(d) be the first derivative of d**3/3 + 4*d**2 + 25*d - 70. Is a(w) a prime number?
False
Let r(u) = u**2 + 4*u + 155. Let i(b) = b**2 + b. Let g(s) = -4*i(s) + r(s). Is g(0) prime?
False
Suppose -28*m + 23186 = -26*m + 2*i, 2*m - 3*i = 23166. Is m a prime number?
False
Suppose -14*c + 28929 = -6113. Is c prime?
True
Is (-589767)/(-87) - 28/(-406) composite?
False
Suppose 3*n - 3*i - 1140 = 0, -3*n + 1142 = -0*i - 2*i. Is (2 - 7)/((-2)/n) a prime number?
False
Let h(l) = -17*l + 10. Suppose 3*v + 5 = -22. Is h(v) composite?
False
Suppose -2*n - q = -n + 9, 4*n + 2*q + 28 = 0. Let c(f) = -f**2 + f - 1. Let p(g) = g**3 + 6*g**2 + 4*g + 1. Let u(t) = -c(t) + p(t). Is u(n) prime?
True
Let m(k) = -5*k**3 - 2*k**2 + 9*k - 15. Let b be m(4). Let p = -17 - b. Is p composite?
True
Suppose -3*r - 4975 + 13309 = 0. Suppose 4*s = 3*g - 1670, 0 = -5*g + 3*s + s + r. Is g a composite number?
True
Suppose 0 = -3*t - 674 + 3227. Is t a composite number?
True
Let y(h) = h**3 - 2*h**2 - h - 3. Let s be y(3). Let k = 1 + s. Suppose -3*d - 143 = 4*u - 1924, -4*d = -k*u - 2328. Is d composite?
False
Suppose -5*x + 18 = x. Suppose 7 = -4*c + x. Is -221*1/c + -2 composite?
True
Let v = -12 - -16. Let n be v/(8/(-6)) - -3. Suppose -3*h + 5*w + 94 = 0, n = h + 2*h - 3*w - 102. Is h prime?
False
Suppose 12*u + 462 = 14*u. Suppose -q - 85 = -d, -2*q + u + 34 = 3*d. Is d a prime number?
False
Let z = 4 + -2. Let s(c) = -2 + 8 - c + 14*c**z - c**3 + 10 - 15*c. Is s(11) a composite number?
True
Suppose -779 =