Is y prime?
True
Suppose 9 = -0*n + n - k, n = -2*k - 6. Suppose 5*g - n*s - 15029 + 5320 = 0, 5*g + 3*s = 9737. Is g prime?
False
Suppose 0 = 2*h - 11 - 5. Let w(m) = m**2 + m. Let p(j) = 5*j - 11. Let v(c) = -p(c) + w(c). Is v(h) a prime number?
True
Let p(m) = 20*m - 12. Let q be p(18). Is (q - 0) + (-23 - -22) prime?
True
Is (-4)/((-12)/7587) + 4 composite?
True
Let f(a) = -3*a**3 - 9*a**2 + 3*a - 10. Suppose q - 5*d = -27, 0*q + 20 = -4*q - 2*d. Let c be f(q). Is (-5 + -3 - -4) + c composite?
True
Let r(m) = -4 + 10*m + 90*m**2 + 11*m + 9. Is r(-4) prime?
True
Let l = 13 + -11. Suppose 4*f = -j - 46 + 251, -2*j + l*f = -400. Is (1 + -2)/((-3)/j) prime?
True
Let k(l) be the first derivative of -l**2/2 + 2*l - 6. Let a be k(-2). Suppose 4*f - a*h = f + 139, -h = 4*f - 217. Is f a prime number?
True
Suppose 23*g - 135208 - 86949 = 0. Is g prime?
False
Suppose 0 = -z + 4*i + 4769, -5*z + i = -10528 - 13355. Is z a prime number?
False
Let r be 5/((-25)/20)*785/2. Let c = -27 - r. Is c a prime number?
True
Suppose 1525 = -2*o - 5*x, -1022 = 4*o - x + 2039. Suppose 1703 = 5*m + p - 4018, 2*p + 1142 = m. Let b = o + m. Is b prime?
True
Let j(w) be the second derivative of -1/20*w**5 - w - 9/2*w**2 + 13/12*w**4 - 7/3*w**3 + 0. Is j(11) composite?
False
Let r be 4/2*(-84)/(-24). Let z be (r + -3 + -4)/(-2). Suppose -7*o + o + 2442 = z. Is o a composite number?
True
Suppose -16 = -s + 2*s. Let d = 41 - 11. Let j = s + d. Is j prime?
False
Suppose -60*m - 15*m + 217425 = 0. Is m a composite number?
True
Suppose -31*d + 36*d + 5*m - 130520 = 0, 5*d = 4*m + 130475. Is d a composite number?
False
Suppose -v - 1 = -2*l + 8, 0 = 3*l - 5*v - 17. Suppose 3*a - 7*x - 4103 = -2*x, -l*x = -3*a + 4099. Is a a composite number?
False
Let p = -18 - -37. Suppose 81 - p = q. Is q composite?
True
Let d(g) = g**3 - 3*g + 25. Is d(16) a prime number?
True
Suppose -200 = -a - 3*a. Suppose a = 2*t - 28. Suppose t - 166 = -r. Is r composite?
False
Let f(y) = 21*y**2 + y. Let j be f(1). Let n(d) = 8*d**2 + 89*d + 4. Let z be n(-13). Let o = z - j. Is o a composite number?
True
Suppose y - 16 = 5*y. Let d be (y/8)/((-1)/(-2)). Is (-3)/3*d*683 composite?
False
Let d(w) = -365*w**3 + 9*w**2 + 14*w + 3. Is d(-3) a prime number?
False
Let j = 18840 + -7873. Is j composite?
True
Let k(c) = -206*c - 77. Is k(-9) composite?
False
Suppose 5*v + y - 2*y - 26 = 0, -v - 5*y + 26 = 0. Let f be v - (0 + (-1 - -5)). Suppose 820 = f*r + 4*a - 36, 0 = -a + 3. Is r a prime number?
False
Let z(q) be the third derivative of q**6/120 + 11*q**5/60 - 7*q**4/24 + 5*q**3/3 + q**2. Suppose -4*h - 3*g = 29, -h = -2*h + 3*g - 26. Is z(h) composite?
True
Let b(j) = 135*j**2 - 2*j. Let w be -4 - (-9 + (2 - -2)). Is b(w) composite?
True
Suppose -z = 3*j - 9, -5*z + z = -3*j + 9. Suppose 0 = -3*l + 5*i + 2242, -l - j*i + 242 = -482. Is l a prime number?
True
Let c(d) = 139*d - 71. Is c(16) a composite number?
False
Let p(d) = -d**2 - d. Let i be p(-1). Let y(q) = -q + 3. Let c be y(i). Suppose 5*t = -4*x + 674, -4*x - t = c*t - 672. Is x composite?
True
Let k = 12478 - -11037. Is k prime?
False
Suppose -5*s + 9*g - 5*g + 85843 = 0, -3*s = g - 51499. Is s a prime number?
True
Let j be (4 + -2 - -4) + -2. Suppose -j = -3*d + 5, -6817 = -5*s - 4*d. Is s composite?
False
Let j be 2/(-10) + (-19)/5. Let z(n) = 18*n**2 - 8*n - 6. Let a(t) = -19*t**2 + 9*t + 7. Let w(u) = 3*a(u) + 4*z(u). Is w(j) composite?
False
Is 3/(-8 - 5095/(-635)) a prime number?
True
Let y(f) = -16*f - 4*f**3 + f**2 + 3*f**3 - 10*f**2 - 11 + 14*f. Is y(-9) a prime number?
True
Let k = 1024 + 685. Suppose -3*n = -567 + 3537. Let l = k + n. Is l prime?
True
Suppose -7343 = -y - 2*v, 0 = -2*y - 3*v + 5957 + 8732. Is y a composite number?
False
Let k(v) = v**2 + v + 581. Suppose p = -b - 4, 0*p - 4 = -3*p + b. Is k(p) prime?
False
Suppose 4*q + 4 = 5*q. Suppose q*w + 3*o = -w + 10555, -3*o = w - 2111. Is w a composite number?
False
Let v(l) be the first derivative of -l**2/2 - 6*l + 1. Let u be v(-8). Suppose u*k + 2*j - 728 = 0, -4*k - 3*j + 686 + 773 = 0. Is k composite?
False
Let k(n) = 69*n**2 - 44*n - 27. Is k(-22) a composite number?
False
Suppose 137428 = -5*v + 428973. Is v composite?
False
Let l(i) = i**3 + 9*i**2 - 11*i - 10. Let s(x) = x - 23. Let p be s(14). Let a be l(p). Suppose t + 0*t = a. Is t composite?
False
Let r = -32 + 19. Let b be (-26)/(-65) + r/(-5). Suppose 4*p - 717 = -5*y, b*p - 15 = -y + 135. Is y composite?
True
Suppose -38*n = -46*n + 17848. Is n a prime number?
False
Suppose -18*n + 68299 = -7*n. Is n composite?
True
Suppose -5*y - 1385 = -0*y. Let x = 524 + y. Is x a prime number?
False
Suppose -b - 5*u = -0*u - 4981, -14943 = -3*b + u. Is b composite?
True
Let v(i) = -548*i - 8. Let g be v(-3). Suppose 4*j - 2*j - g = 0. Is j prime?
False
Is (36975/5)/1 - 2 composite?
False
Suppose 4*g - 3 = -3*k - 1, -4*k + 4 = 4*g. Is -2*((-462)/4 + g) a prime number?
True
Let j = -24353 + 43702. Is j a composite number?
True
Suppose -68707 = -5*h - 4*f, f - 41220 = -h - 2*h. Is h a prime number?
False
Let v = -20 + 20. Suppose y - 82 - 1285 = v. Is y composite?
False
Let t = -8 + 8. Suppose w - 15 = -2*w, -4*b + 3*w + 2193 = t. Suppose -2*h - 5*z + 383 = 0, -3*h - 3*z = -0*z - b. Is h a prime number?
True
Suppose -4*i - 5*x = -41365, -5*i + 3*x + 31044 = -2*i. Is i a prime number?
False
Let q(v) = -v**2 + 8*v - 12. Let c be q(5). Suppose -c*s + 86 = -151. Is s a composite number?
False
Suppose -3*r - 1690 = -4*r - h, r + 4*h - 1681 = 0. Is r a prime number?
True
Let i = -33 - -35. Suppose -4*v - i*d = -1306, -v + 359 = -5*d + 38. Is v composite?
True
Let q(s) = 2*s - 2. Let m be q(2). Suppose 3*b - 496 = -m*l, -2*l - 2*l + 2*b + 1008 = 0. Is l a composite number?
False
Suppose 2*k + 35 = -3*k. Let t be k/(-35) - (-4109)/5. Let f = -575 + t. Is f a prime number?
False
Suppose 2*u + 473 = -v + 178, -u - 155 = -v. Let p = -252 - u. Let y = p - -171. Is y a prime number?
False
Let u(k) = 13*k - 6. Let n(f) = 25*f - 11. Let t(q) = 2*n(q) - 5*u(q). Let d be (-1*(-14)/(-8))/((-2)/(-8)). Is t(d) a composite number?
False
Let q be (-56)/(-4) + (2 - -1). Suppose 0 = 2*y - 1 - q. Is (3/y)/((-5)/(-11265)) a composite number?
False
Suppose a - 5*m = 1538, a - 1517 = -0*a - 2*m. Is a composite?
False
Let o be (-1)/4 + (-5)/(-4). Let p be (1 - 3)*o - -7. Suppose 0 = -h + p*f + 92 + 26, 3*f + 568 = 5*h. Is h composite?
False
Let l = -54 + 35. Is (-4470)/(-4) + l/38 composite?
False
Let a be ((-1)/2)/((-1)/4). Suppose 13*n - 5*n = 32. Suppose 16 = o - 3*f + a*f, -o + n*f = -22. Is o prime?
False
Is 13 + (-9)/1 - -47427 prime?
True
Let g(i) = 8*i**2 - 12*i - 17. Is g(-9) prime?
True
Let h(p) = 6*p + 9. Let t = -14 - -28. Is h(t) a composite number?
True
Suppose g + 6 = 4. Let y(x) = -83*x - 7. Is y(g) prime?
False
Let w(o) = 3002*o + 59. Is w(4) a prime number?
False
Let f(b) = -34*b**3 + 2*b**2 - 2*b - 1. Let i be f(2). Is (6/(-10) + (-8)/20)*i a composite number?
False
Let p(x) = 30*x**2 + 4*x + 7. Is p(-5) a composite number?
True
Let x(d) = -2*d**2 + 15*d - 16. Let g be x(10). Let n = -29 - g. Is n composite?
False
Let d = -1706 - -1060. Let z = 711 - d. Is z a prime number?
False
Let z(x) = 5*x**2 - 2*x - 1. Let s be z(-1). Is 8/12 - (-542)/s a prime number?
False
Let s = -10986 + 16195. Is s composite?
False
Is -1 - (-7 + -2329) - 8 prime?
False
Let i be 3/((-25)/10 - -1). Let k be i*(0 + 20/(-5)). Suppose -404 = 6*p - k*p. Is p a prime number?
False
Suppose 28*g = 14*g + 27286. Is g a composite number?
False
Let h = -47 - -50. Is (14/h + -1)/(4/204) a prime number?
False
Let a = -3 - 132. Let x = a - -230. Is x prime?
False
Let s be (-4 - -4180) + (0 - 4). Suppose -10*b = -6*b - s. Is b prime?
False
Let d = 8082 + 4433. Is d a prime number?
False
Let n(p) = 5*p - 6*p + p**2 + 4 + 6*p**3 - 5*p + 0*p**2. Is n(5) a composite number?
True
Suppose -5*z = 12 - 102. Is (2290/z - 2/9)*1 a prime number?
True
Suppose c = -c + 570. Let h = c - -194. Is h a composite number?
False
Suppose -3*w + 3*i = -12, 0 = -4*w - i - 2 + 18. Is ((45283/(-2))/7)/((-2)/w) prime?
True
Is 32/64 + (-95477)/(-2) prime?
False
Let c = 37 + -37. Suppose c = 2*g - 4*w - 282, -g + 3*w + 408 = 2*g. Is g composite?
False
Let p(c) = 3*c**3 - 5*c**2 - 4*c - 4. Let q