Is w(t) prime?
True
Suppose 1164573 = 39*f - 968142. Is f a composite number?
True
Suppose -3*x + 2*s + 5 = -23, 5*x - 36 = -2*s. Suppose x*j + 5540 = 12*j. Is j a composite number?
True
Let p(s) = 280*s + 43. Is p(4) a composite number?
False
Let u = 14 + -2. Let t be u/(-18) + 4376/3. Suppose w = -3*h - 0*w + t, -3*h + 1443 = -4*w. Is h composite?
True
Is 15063673/145 + (-24)/(-15) a composite number?
False
Let g(s) = 47*s**2 + s + 13. Is g(6) a composite number?
True
Suppose -8 = 2*p - 4*p. Suppose i - 3*c - 3 = 0, -3*c + 6*c = p*i - 12. Suppose -257 = -i*s + 544. Is s composite?
True
Let j(f) = 132*f - 7. Let l(k) = k**2 - 2*k - 1. Let n be l(3). Is j(n) a composite number?
False
Let x = 16754 - 11559. Is x a composite number?
True
Suppose 83 + 37 = 5*v. Let i = v - -2. Is (i/4)/((-2)/(-4)) composite?
False
Let q = -28 - -80. Suppose a - q = 149. Is a a prime number?
False
Let h = -394 - 887. Let u = h - -2492. Is u a composite number?
True
Let g(t) = -143*t + 9. Suppose 4*k - 3*h - 26 + 4 = 0, k = -4*h - 4. Let a(r) = -48*r + 3. Let d(j) = k*g(j) - 11*a(j). Is d(-5) a prime number?
True
Let j(z) be the first derivative of -2 + 2*z + 2*z**2 - 2*z**2 - 4*z**2. Is j(-7) a composite number?
True
Let g(q) = -517*q - 429. Is g(-34) composite?
True
Suppose 11*n - 5 = 6*n. Is -2 - (-1263 + 3 - n) prime?
True
Let c = 418 - -920. Let d = c + 569. Is d composite?
False
Let c(i) = 131*i + 18. Let t be c(4). Suppose -729 = -4*n - z + t, -320 = -n - z. Is n a prime number?
True
Let w(r) = -r - 4. Let d be w(-6). Suppose 3*l - 15 = -d*l. Suppose 3*u + 2*n = 5*n + 1431, 5*u + l*n = 2401. Is u a composite number?
False
Let c(g) = -3 + 3*g - g**2 - 6 + 7. Let i be c(2). Suppose 28 = -i*h + 4*h. Is h a composite number?
False
Suppose -4*s - 9 = 2*p - 23, -3*p - 4*s = -31. Let y(t) = 5*t - 32. Is y(p) a composite number?
False
Let t be 3 - 4/(1/1). Let l(w) = w + 1. Let v(f) = -552*f**2 - f - 4. Let m(g) = t*v(g) - 3*l(g). Is m(1) prime?
False
Let u(j) = 2*j**2 - 2. Let v be u(2). Let m(s) = 6*s**2 + s - 8. Let x be m(v). Let o = 488 - x. Is o a prime number?
False
Is 50/300 + (-126706)/(-12) composite?
False
Let d(v) = -5*v - 3. Let p be d(-1). Suppose 4*h + p*z - 9783 = -3427, -5*z + 6344 = 4*h. Is h a prime number?
False
Let t = -17 - -19. Suppose -5 = t*k - 107. Is k prime?
False
Let s be (4 + (-144)/30)*10/4. Is (-1 - -79)*s/(-4) composite?
True
Let j = 8360 - 4417. Is j composite?
False
Let w be -10*2*1/(-4). Suppose r + 3*y = 5*r - 529, 25 = w*y. Suppose 2653 - r = 3*h. Is h a prime number?
True
Let m be 3448/(-12) + (-1)/(-3). Let f = m - -643. Let a = f + -207. Is a a prime number?
True
Let c(r) = -98*r - 35. Let t be 20/(-8) + 6/(-12). Is c(t) a prime number?
False
Suppose 0 = -5*t - 0 + 10. Suppose t*p - p + 113 = w, 0 = -w - 4*p + 123. Is w composite?
True
Suppose -3*s + 4*u + 21002 + 13764 = 0, 0 = s + 2*u - 11592. Suppose 0 = o - 334 + s. Is ((-2)/(-3))/((-16)/o) prime?
False
Let k = -12 - -10. Let l(y) = -96*y - 1. Is l(k) a composite number?
False
Suppose z = -5*t + 122860, -2*z - 2*z = -t + 24551. Is t composite?
False
Suppose -618*c + 628*c - 49110 = 0. Is c a prime number?
False
Let j = 3544 + 1287. Is j a composite number?
False
Is -1*-1*(1404 + -5) a prime number?
True
Let v(u) = -25*u + 51*u + 13*u**2 - 2 - 2 + 6. Is v(17) a composite number?
False
Is ((-4)/(-12))/1 + (-19216)/(-6) prime?
True
Let u = 157286 + -89007. Is u composite?
False
Suppose 5*l = 5*s, 0 = -l - l + 5*s. Suppose -26050 = -10*v - l*v. Is v a composite number?
True
Suppose -9979 = -2*z + 3*s + 26724, 4*z + s = 73413. Is z composite?
False
Suppose -5673 = -2*j + 3*t + 30574, -4*j + 3*t + 72485 = 0. Is j a composite number?
False
Suppose -10*y + 96 = -2*y. Is (y/8)/(6/1588) a prime number?
True
Let z = -1491 - -8852. Is z a composite number?
True
Let a = -33 + 69. Suppose 3*o = 8*o + n - a, -o = -5*n - 2. Suppose 124 = o*i - 3*i. Is i a composite number?
False
Suppose 0 = -5*r + 3*x + 23, 0*r + x = 4*r - 24. Let i be 11 - 2 - 5 - 1/1. Suppose 308 = r*b - i*b. Is b a composite number?
True
Suppose 644 = 4*s + 3*m, s - 6*m = -m + 161. Is s prime?
False
Let t(m) be the first derivative of -4*m**3 + 2*m - 13. Let w be t(3). Let r = 43 - w. Is r a composite number?
False
Let p = -5 + 7. Suppose -c + p*c - 2 = 0. Suppose -2*i + c = 0, -6*i + i - 591 = -4*x. Is x a prime number?
True
Let u = 1184 - -938. Is u a composite number?
True
Is (69/9)/(2/((-2172)/(-2))) a prime number?
False
Suppose -6*z + 8*z - 168 = 0. Let v be (-425)/9 - (-4)/18. Let l = v + z. Is l composite?
False
Let w = 23920 + -12723. Is w prime?
True
Let w = 21 - 18. Let p(c) = 4*c**3 - 7*c**3 + 7*c + 0*c**2 - w*c**2 + 7 + 5*c**3. Is p(6) a composite number?
False
Let v(c) = 397*c**2 - 5*c + 5. Is v(3) a prime number?
False
Let b = -2235 + 4054. Let a = b - 978. Is a a composite number?
True
Suppose 2*n - 709166 = -x, 2*n + 161*x - 165*x - 709146 = 0. Is n composite?
False
Suppose f = 3*f - 8. Let q be f*112 - 1*-4. Suppose l - q = -3*l. Is l prime?
True
Let h = 110 + -107. Suppose 2228 = i + h*i. Is i composite?
False
Let s(k) = 2*k**2 + 4*k + 3. Let w be s(-2). Suppose -f = w*f. Suppose f = 2*c - 6*c + 1580. Is c prime?
False
Let z = -5168 - -8557. Is z a prime number?
True
Is (-18792)/(-5) + (-21)/(-35) + 2 composite?
False
Let c(o) = 2*o - 19. Let s be c(11). Let m = -6 + 6. Suppose 5*z - 198 + s = m. Is z a composite number?
True
Let j(g) = 2*g**2. Let m(w) = -w**2 - 4*w + 3. Let a be m(-5). Let f be j(a). Is (46/f)/((-1)/(-4)) a composite number?
False
Suppose 0 = -162*a + 145*a + 986. Let h be 2/(-6) - 31/(-3). Is a/h + 3/15 composite?
True
Let s(c) = 9*c**2 + 35*c - 79. Is s(27) composite?
True
Suppose -123245 = -5*c + 5*f, 2*c = -f - 21637 + 70926. Is c composite?
True
Suppose -4*i = -4*p + 2304, 2*i - 4*p + 1152 = -0*i. Suppose -2*a - 2*a = -40. Is i/(-40) + (-4)/a a prime number?
False
Let h(c) = 329*c. Suppose 0*i + i = 7. Suppose i*g - 3 = 4*g. Is h(g) composite?
True
Let j(g) = 0*g - 172*g**3 - g**2 - 4*g - 3*g**2 + 5. Is j(-2) a prime number?
True
Let v(q) = 15*q - 58. Let z be v(12). Let j = z - 96. Is j a prime number?
False
Let s be -1 + 4/((-20)/(-15)). Suppose 362 = 2*w + 4*u, w - s*u - 218 = -17. Is w a prime number?
True
Suppose -2*s + 5369 - 519 = 0. Suppose s = 5*t - 5*j, 2*t = -2*t - 3*j + 1940. Is t a composite number?
True
Let w be -1 - (3/3 - 7). Suppose -3*b + 0 = -2*x - 45, 0 = -3*b - x + 36. Suppose n - c - b = 247, 2*n - 541 = -w*c. Is n a prime number?
True
Let a be 15/7 + 6/(-42). Let m(j) = 7 + a*j**3 - 5 - 14*j**2 + 18*j - j**3 - 2*j**3. Is m(-17) a composite number?
False
Suppose 261 = k + 23. Suppose 5*x = 397 + k. Is x a prime number?
True
Suppose 0*q + t - 2 = -q, -2 = 2*t. Suppose 5 = -q*l - 7, 3*l = -d + 119. Is d a prime number?
True
Let a(b) = 2*b**2 + b - 48. Let s be a(-14). Suppose 9530 = 5*c + 3*h, c - 4*h + s - 2213 = 0. Is c prime?
False
Let p be 499 + 4 - (-2)/((-2)/(-3)). Is (36/(-8))/(-9) + p/4 composite?
False
Let t(r) = -12*r**3 + 7*r**2 + 3*r - 3. Is t(-5) a prime number?
True
Suppose -3*u + 4*u = 0. Suppose -97*j + 98*j - 307 = u. Is j prime?
True
Let y = -2657 - -4359. Suppose -2*r = 2*k - y, -3*k - 1696 = -2*r - 8*k. Is r a prime number?
True
Suppose 5*l + 134 = 44. Let f be (-3)/(-27) - 7036/l. Let d = f + -156. Is d a composite number?
True
Suppose 0 = 2*f - 3*j, 0 = -2*f + 5*f - 3*j. Suppose 0 = 4*p - 3*p - 4, o + 4*p + 14 = f. Is o/4*(-68)/6 composite?
True
Let f(y) = -600*y**3 + 2*y**2 - 8*y - 15. Let w be f(-3). Suppose -6*r = 1857 - w. Is r prime?
False
Suppose 0 = 2*t + 3*t - 10. Let m(z) = -2*z + 1 - 2*z - z + t*z**2. Is m(-10) a prime number?
True
Let j = -7 + 7. Suppose 2*n - 3 - 1 = j. Is (-20 - -142)/(n/7) composite?
True
Let u(l) = l**3 + 8*l**2 - 11*l - 13. Let t be u(-9). Let d(x) = 29*x + 2. Let a be d(t). Let y = 206 - a. Is y a prime number?
True
Let w(i) = -5*i - 19. Let s(h) = h - 1. Let n(r) = -3*s(r) - w(r). Let y be n(-11). Suppose y = -4*a + 137 + 219. Is a a composite number?
False
Suppose 0 = -0*x - x - 2. Let j be 3 + -2 - 2/x. Suppose 0*g + 2*m + 631 = 5*g, -3*g - j*m = -385. Is g prime?
True
Suppose 4*g + 478 = -146. Let n = g - -259. Is n a composite number?
False
Is 3607/2*(11 - 5) a prime number?
False
Let y = -6