 a prime number?
True
Let x = -29 + 33. Suppose -k = -x*k, -m + 3 = -k. Suppose 16 = y + 2*f, 3*y = m*f + f + 18. Is y a prime number?
False
Suppose m - 3*m + 3*b - 19 = 0, 5*m = 3*b - 34. Let h be 8 + (-9)/((-15)/m). Suppose 0 = -h*x + 3 + 2, -4*k - 4*x + 448 = 0. Is k prime?
False
Let a(n) = -2*n - 40. Let r be a(-21). Let u be (3 + -3)*(-1)/r - -3. Is (981/6)/(u/10) a prime number?
False
Let b be (132/(-5))/(90/(-300)). Suppose b = 2*k - 442. Is k a composite number?
True
Let t(p) = 258*p**2 - 404*p - 169. Is t(40) a prime number?
False
Let d(l) be the first derivative of 7*l**3/3 + 17*l**2/2 + 31*l + 15. Let r be d(-13). Suppose 8*y = 4121 - r. Is y prime?
False
Let d(j) = 134*j**2 + 16*j - 14. Let k be d(6). Suppose p = -2*f - 4750, -2*f + 4570 = -2*p - k. Is p/(-12) + (-15)/90 a prime number?
False
Let z(a) = 69729*a - 358. Is z(1) a composite number?
False
Let n = 17239 + 2778. Is n a composite number?
True
Suppose 3*c + 28 - 108 = 5*o, 0 = 2*o - 10. Is ((-7)/c)/((-6)/(-15))*-2302 a composite number?
False
Suppose 11322 = 5*x + 4*o, 3*o = -x + 1485 + 786. Suppose -17*i = -23*i + x. Is i prime?
False
Let s = -1244635 + 1862438. Is s prime?
False
Is -120093*(-5 - -12)*((-10)/3 - -3) a prime number?
False
Let n(o) = 9*o**3 - 28*o**2 + 5*o + 12. Let z be n(11). Suppose 3*j + 4*c = 8447 + 4526, -z = -2*j + 2*c. Is j composite?
False
Suppose -4*a = -4*i - 36, 4*a = 3*i + 9 + 22. Suppose 2*w + 2*f - 1045 = 1693, 0 = -a*f. Is w prime?
False
Let s = 2100 - 506. Suppose -3*i - s = -d, 3*i - 241 + 3432 = 2*d. Is d composite?
False
Is (-1830254)/(-4)*((-26)/(-52) + (-3)/(-2)) composite?
True
Let o = 400397 - 281544. Is o composite?
True
Is ((-248772)/16)/(42/(-56)) prime?
True
Let t(j) = -3 + 4 - 438*j - j**2 + 423*j + 0. Is t(-10) a composite number?
True
Let h(q) = 21*q**2 - 22*q - 35. Let j = 35 + -19. Let g be h(j). Suppose g = -4*d - 2*t + 12385, -1859 = -d - 3*t. Is d a prime number?
True
Suppose -7*v = -11*v. Suppose v = -l + 6*l - 10265. Is l prime?
True
Let r(s) = -7*s - 48*s**3 + 282*s**2 - 286*s**2 - 5 + 0 - 2. Is r(-4) prime?
False
Suppose -151172 + 149510 = j - 245021. Is j a composite number?
True
Suppose 3*b + 3*f = 258, 3*b - 356 = -b - f. Let p be 9/(-21) - (b/(-14) + 3). Suppose -a - 2*a - 1874 = -5*z, z = -p*a + 364. Is z a composite number?
False
Suppose 11 = 8*j - 13. Suppose 0 = 5*h - 2*u + 126 - 2403, j*h - 1375 = -u. Is h a prime number?
True
Let u = 76 - 70. Suppose 0 = 2*l + 5*a - 3, 2*l + 3*l - a = -u. Is (l/(-2))/(3 - (-145825)/(-48610)) prime?
True
Suppose -371862 = 30*w - 33*w + s, 0 = -3*w - 2*s + 371853. Is w prime?
True
Suppose 55*m - 38*m = -1309. Let p(l) = 3*l - 4. Let u be p(6). Is 44/m - (-3298)/u - 0 prime?
False
Suppose 7*m - 13*m + 1022502 = 0. Suppose 5*a = m - 42352. Is a a composite number?
True
Let s(q) = q**3 + 7*q**2 + 5*q - 6. Let w be s(-6). Suppose 5*z = -t + 13024, 6*t - 4*t - 8 = w. Suppose 5*c - z = 6731. Is c composite?
False
Suppose 0 = -4*k - 4*v + 17316, -17312 = -4*k - 4*v + v. Suppose -12006 = -7*a + k. Is a a prime number?
True
Let z = -97130 - -52721. Is -4 + (z/(-12) - (-3)/12) composite?
False
Suppose -g - 2 = -5*x, 2*x + 2*g + 4 = -x. Suppose -5*n + 4*t + 0*t + 12073 = x, -2*t = -2*n + 4830. Is n composite?
True
Let g = 225 - 232. Is (g/(-2))/7*(-10 + 22712) a composite number?
False
Is ((-88)/16 - -8)*251096/20 prime?
True
Suppose -11*w + 7*w - 73 = 5*o, 0 = 3*w + 5*o + 56. Let i(j) = -2*j**3 - 21*j**2 + 4*j - 6. Is i(w) a prime number?
False
Let b(g) = -4*g**2 + 54*g - 7. Suppose 8*q - 80 - 8 = 0. Is b(q) prime?
True
Suppose -3*d - 9 = -3*c, d = -6*c + 3*c + 5. Suppose 10 = 5*b, 0 = 7*p - 3*p - c*b - 32376. Is p composite?
True
Let p = 137 - 143. Let h(v) = -655*v - 61. Is h(p) prime?
False
Let r(c) = 319*c**2 - 3*c + 105. Is r(19) composite?
True
Let n = 231888 + -107377. Is n a composite number?
True
Let n be 3/9*3*7. Suppose -10721 = -n*m + 2537. Is m a composite number?
True
Let t(j) = j**2 - 6226. Suppose 0 = -0*p + p + 2*p. Let f be t(p). Let r = 8744 + f. Is r composite?
True
Let r(l) = -552*l - 37. Let x(b) = -1102*b - 73. Let g(c) = -5*r(c) + 2*x(c). Is g(5) a composite number?
False
Suppose 48 = 4*c + 4*c. Let w(l) = 11*l - 14. Let f be w(c). Suppose 0 = -v + f + 93. Is v prime?
False
Let d(p) = 1167*p**2 - p. Let c be d(2). Let y(o) = -9*o**3 + 2*o**2 - 52*o + 48. Let f be y(7). Let w = c + f. Is w a composite number?
False
Let j(x) = -12 + x + 5*x - 3 + 78*x**2 - 11*x. Is j(-8) composite?
True
Let b = -55773 - -90842. Is b prime?
True
Suppose -21*b + 5*l + 127274 = -20*b, 5*b = l + 636442. Is b composite?
False
Let b(j) = 1653*j**2 - j - 1. Let t(q) = 2*q**2 - 7*q + 11. Let g be t(6). Suppose 0 = -3*y - 38 + g. Is b(y) a prime number?
False
Let q = -45710 - -64827. Is q composite?
True
Suppose 0 = -2*k + 2*a + 326036, a + 3*a = k - 163021. Suppose -393*u = -402*u + k. Is u a prime number?
False
Let i(b) = 4*b + 5. Let o be i(0). Suppose 5*s + 477 = 3*d, 0 = o*d + s - 172 - 623. Suppose -4*m = d - 6995. Is m prime?
True
Let z(s) = -4 - 4*s - 2*s**3 + 12*s**2 + 4*s**3 - 3*s**3 - 6*s. Let g be 1/(3/36) + -3. Is z(g) composite?
False
Let b(a) = a**3 + 47*a**2 - 44*a + 74. Let z be b(-29). Suppose -3*u = -5*o - z, 110*o - 5510 = -u + 107*o. Is u composite?
False
Let b(m) = -m**3 + 5*m**2 - 2*m - 2. Let p be (2/8)/(1/8). Suppose n + p = 5. Is b(n) composite?
True
Suppose 5*r = 3*s, 0 = -3*r - 2*s - 3*s. Suppose 5*w + 2*j + 2131 - 9126 = 0, r = 5*w + 3*j - 6995. Is w a prime number?
True
Let v = 653813 + -241810. Is v composite?
True
Let v be (1 - 21/24) + 15/8. Is (22/(-11))/v + 1508*1 a prime number?
False
Suppose 4*n - 8*n + 16 = 0. Suppose 7 = 18*w - 19*w + 5*j, w - 3*j + 3 = 0. Suppose w*u = -n*u + 2933. Is u prime?
True
Suppose 3*d = 12, 3*b = 8*b + 3*d - 228547. Is b prime?
True
Let m(l) = l + 21. Let u be m(0). Suppose 5*a - 3*k = 2119, -3*k - 2*k + 10 = 0. Suppose 2*f = -u + a. Is f a prime number?
False
Suppose -3*h = -f + 1, 5*h + 1 = f - 2. Let z be (-5)/5 + (1 - f)/1. Suppose c = -z*b + 9, -b = -3*c + b + 19. Is c a composite number?
False
Let r = -11 - -29. Let q(x) = -r + 3*x**3 + 5*x + 7 - 7*x - 6*x**2. Is q(6) a composite number?
False
Let g = -294 + 303. Suppose 0 = -g*r + 2*r + 32291. Is r prime?
False
Let p(a) = 2*a**3 + a**2 - a - 1. Let r(o) = -12*o**3 + 4*o**2 + 17*o + 9. Let w(j) = -22*p(j) - 2*r(j). Is w(-9) a composite number?
True
Let q = 43404 - -20165. Is q a prime number?
False
Let c = 1572 + 17995. Is c prime?
False
Is (6/(-10) - 16/(-160))/(1/(-1437022)) a prime number?
True
Let u(b) = 4*b**2 + 3*b + 5. Let x(l) = l + 1. Let a be x(-3). Let h be u(a). Let r(g) = g**3 - 8*g**2 + 10*g + 32. Is r(h) composite?
True
Let c(j) = 88*j**2 + 2*j - 22. Let v(f) = 89*f**2 + 3*f - 23. Let z(h) = -4*c(h) + 5*v(h). Let m = -745 + 750. Is z(m) composite?
False
Suppose 5*u = -3*b + 2879170, 0 = -3*u - 3*b + 4*b + 1727516. Is u a composite number?
False
Suppose -2792 = 2*s - 590. Let d = 2948 - s. Is d a composite number?
False
Let b(r) = 248*r**2 - 49*r - 922. Is b(-15) composite?
True
Suppose -y + 4*m - 8856 = -3*y, -4*m = 3*y - 13294. Let r = y + -1551. Is r a composite number?
False
Let c(w) = -444*w**2 + 7. Let z(u) = 445*u**2 - 9. Let l(d) = -3*c(d) - 2*z(d). Let m = 24 + -26. Is l(m) a composite number?
True
Suppose -457 = -5*w - 57. Suppose -79*d = -w*d + 1082. Let o = d - 589. Is o prime?
False
Let m be (108/8)/(1/2). Let j = m + -27. Suppose b - 4*b + 1455 = j. Is b a composite number?
True
Suppose -216*d = -207*d - 69534. Is d prime?
False
Suppose -4*h + 530 = -5*b, 3*h = -2*b - 205 + 614. Suppose -709 = -4*q + h. Is q prime?
True
Let f be ((-4)/5 + 1)*5. Is f/12*4 - 47388/(-18) a composite number?
False
Is -1*(18/(-81) - (-1715601)/(-27)) composite?
False
Let s(v) = 2*v**2 + 5*v - 8. Let j be s(-7). Suppose 57 = b + j. Suppose -7*x = -b*x - 10405. Is x prime?
True
Let h = -97436 + 174369. Is h composite?
True
Suppose 0*o = -5*o + 21400. Is (-12)/2 - o/(-10) composite?
True
Let x = -32830 - -52522. Let u = x - 8215. Is u a composite number?
True
Suppose 2*g = -3*x - 55, 3*x = 3*g - 46 + 1. Let b = -12 - x. Suppose -b*h + 679 = 2*h. Is h a prime number?
True
Suppose -3*z = 6*y - y + 165, 2*y - 186 = 3*z. Let b be (z/(-75))/((-4)/(-10)). Suppose -b*i