s y composite?
False
Let o(h) = 9*h**2 - 8*h. Let n(k) = -19*k**2 + 17*k - 1. Let p(j) = 2*n(j) + 5*o(j). Is p(-5) prime?
False
Suppose -9 = -3*o, 5*p = 63*o - 58*o + 2470. Let z = -3 + 5. Suppose d - p = -z*d + 2*n, 5*n = d - 183. Is d prime?
True
Let d(x) = 4*x**2 + 5*x + 20. Let w(p) = -p - 1. Let s(i) = d(i) - 3*w(i). Is s(15) prime?
False
Let i(y) = 176*y + 13. Let s be i(8). Suppose w = -6*w + s. Is w a composite number?
True
Suppose 0*i + 605 = 2*i + 5*c, i = -4*c + 298. Suppose -3*y - 4*x + 273 = 0, y - 4*x - 29 = 46. Let k = y + i. Is k a prime number?
True
Let p(z) = 249*z**2 + 6*z - 16. Is p(3) a composite number?
False
Suppose -7*z + 8*z - 8 = 0. Let a(h) = -6*h - 5. Let i be a(z). Let c = i + 306. Is c prime?
False
Suppose -2*p = -v - 0*p + 181, 3*v - 548 = 5*p. Is v composite?
False
Let h be -6*(16/(-12))/(-2). Let z be h/4 - 3*87. Is (-2 - 6/(-4))*z a composite number?
False
Is (-64)/(-608) - (-251518)/38 composite?
False
Suppose 5*q = j - 0*j + 12388, -2*q - j + 4951 = 0. Is q a composite number?
False
Let o(g) be the first derivative of 2 - 1/4*g**4 + 1/2*g**2 + 1/3*g**3 + 265*g. Is o(0) a prime number?
False
Let f be -6*(1 - (-11)/(-3)). Let h(z) be the second derivative of -z**4/12 + 5*z**3/2 + 19*z**2/2 + 18*z. Is h(f) composite?
False
Let y be (-10)/4*(-836)/19. Is -1 - (4 - y)*2 prime?
True
Let q(r) = -191*r + 6. Let l(p) = 52*p**3 + 1 + 8*p - 53*p**3 + 3 - 6*p**2. Let w be l(-7). Is q(w) composite?
True
Let p(j) = -198*j**3 + j**2 - 4*j - 4. Is p(-1) prime?
True
Suppose 25 = -5*q, -3*l - 6*q + q = 10. Suppose 4587 = l*i + 4*c, 4*i = i - 2*c + 2753. Is i a composite number?
False
Let q(d) = -136*d**3 + 10*d**2 + d - 34. Let p be q(-8). Is (-3)/(-24) - p/(-80) composite?
True
Let k = -26 + 3. Let g = k - -23. Suppose g = 3*n - 128 - 31. Is n a composite number?
False
Let p(y) = -3*y**2 - y - 3. Let m be p(-3). Let o = 40 + m. Let r = 200 - o. Is r a prime number?
False
Let f be 146*3*21/(-18). Let m = 848 + f. Is m composite?
False
Is 1/(9/1116*(-8)/(-1982)) composite?
True
Suppose -6*z + 146 = -124. Suppose 39*n = z*n - 4026. Is n a composite number?
True
Suppose 5*h = -j + 4039, 7*j - 4*h - 8106 = 5*j. Is j a composite number?
False
Let t = -798 + 7187. Is t prime?
True
Let x(k) = 170*k - 23. Let i(r) = -57*r + 8. Let a(p) = 17*i(p) + 6*x(p). Is a(5) composite?
True
Is 2084113/356 + 1 + 2/(-8) a composite number?
True
Let z(u) = -206*u - 33. Is z(-5) composite?
False
Let k = 18 + -11. Let y(a) = 30 - 11 - 13 - a**3 + 9*a - k*a**2. Is y(-9) a prime number?
False
Let o be (-4)/14 + 279/21. Let u(p) = p**3 + 15*p**2 - 5*p - o - 12*p - 3*p**2. Is u(-13) composite?
True
Suppose -4 = -l - 0. Suppose 0 = -u - t + 239, -111 - 829 = -l*u + 4*t. Suppose -s + 8 = -5*s, -5*x + u = 4*s. Is x a composite number?
True
Let p be 9/(-3) + -1 - -43588. Is p/20 + 2/(-10) prime?
True
Suppose -4*d + 2*a + 3546 = -0*a, -1 = a. Let p = d - 255. Is p a composite number?
False
Let q(a) be the first derivative of -5*a**3 + 7*a**2/2 + 2*a + 6. Let u(h) be the first derivative of q(h). Is u(-5) a prime number?
True
Suppose -4*z + 2*g - 11 - 11 = 0, 4*z + 5*g + 1 = 0. Let i be z/2 - (0 + -4). Suppose 7*c - i*c - 3995 = 0. Is c a composite number?
True
Suppose 5*g - 79839 = -72*i + 68*i, -i + 19956 = 5*g. Is i a prime number?
True
Let u = 124 - 122. Suppose -2*i + u*b = -163 - 71, -i + 113 = -5*b. Is i composite?
True
Let r(w) = 172*w**3 + w**2 + w - 1. Let l(a) = -a**2 + a + 7. Let c be l(3). Let q be r(c). Let z = 208 + q. Is z prime?
False
Let b(x) = -123*x**3 - 3*x**2 - 3*x - 4. Is b(-3) prime?
True
Suppose -7*g + 4*g + 9 = 0. Suppose -3*r - 3646 = -w + 9675, g*w - 3*r = 39939. Is w a prime number?
True
Let u = -10 + 24. Suppose 0 = w + 2*f - 8, -3*w = 5*f - f - u. Is (-474)/3*w/4 prime?
True
Suppose z = 8*z - 30541. Suppose -z = -4*x - 591. Is x composite?
True
Let p be 0 + (-2)/(-9) - 304/72. Is 1 + 2 + p - -527 prime?
False
Let v(h) be the third derivative of 1/8*h**4 + 0*h + 7*h**2 + 23/30*h**5 - 1/2*h**3 + 0. Is v(2) composite?
True
Let n(y) = 2*y**3 + 6*y**2 + y + 4. Let p(k) = k**2. Let s(b) = -n(b) + 6*p(b). Let x be s(-4). Let v = 183 + x. Is v a prime number?
True
Suppose 8*a + 73107 = 17*a. Is a composite?
False
Suppose -3*z + 31916 = 4*o, -3*z = -5*o - 3220 + 43115. Is o prime?
False
Let h be (588/16)/((-3)/12). Let l = h - -350. Is l prime?
False
Let s(c) be the third derivative of 0 + 37/60*c**5 + 0*c - 7*c**2 + 5/6*c**3 - 7/24*c**4. Is s(3) composite?
False
Let m(j) = j**3 + 17*j**2 + 2*j + 37. Let f be m(-17). Suppose 4*q = f*q + 299. Is q a composite number?
True
Let p be (2 - 5) + 6 - -24. Suppose 0 = -5*a - f + p, -a - 3*a + 3*f + 14 = 0. Suppose a*t = 10, -2*u - 4*t + 582 + 184 = 0. Is u composite?
False
Let t(y) = 1409*y**2 - 17*y + 2. Is t(4) composite?
True
Suppose 10*u - 15*u = -20195. Is u a composite number?
True
Suppose -3*p + 7801 = -2*k, 9*p = 10*p + 2*k - 2595. Is p a composite number?
True
Let a(x) = x + 28. Let h be a(-24). Suppose h*m = -16, 3*b + 4*m + 4361 = 8*b. Is b prime?
False
Let o = 10 - -2. Let d = -3476 + 9331. Suppose -o*k = -7*k - d. Is k a composite number?
False
Let b = -44 + 47. Suppose 0 = -4*k + 3*k + 193. Suppose k = b*r - 4*i, -5*i - 83 = -r - 26. Is r a composite number?
False
Suppose -30963 = 4*c - 98743. Is c prime?
False
Let l(h) = h**3 + 40*h**2 + 174*h - 29. Is l(-28) prime?
True
Suppose 3*k = 4131 - 378. Let n = 98 + k. Is n a prime number?
False
Is -9818*5/(-4)*(-56)/(-140) composite?
False
Let r = -6650 + 12717. Is r prime?
True
Let w(y) = -y**3 + 25*y**2 + 11*y + 37. Is w(24) prime?
True
Let k(p) = 71*p**2 + 4*p + 31. Suppose -c = -v - 2, v + 18 = -3*v - c. Is k(v) a prime number?
True
Let o = -46 - -51. Suppose o*v - 731 = -w, -3*w = 2*v - 7*v - 2273. Is w a prime number?
True
Suppose 614017 = -20*t + 49*t. Is t prime?
False
Is 6/1*1272 - 5 a composite number?
True
Let v(x) = -168*x + 79. Is v(-7) prime?
False
Suppose -3*s + d = 2*s - 11020, -3*s + 4*d = -6629. Is s a prime number?
True
Let g(k) = 74*k**2 - k + 1. Let r be 2 + 0 - (2 + -2). Suppose -r*z = -6*z + 4. Is g(z) composite?
True
Let f(j) = -22*j - 1. Let k be (-136)/(-14) - 4/(-14). Suppose -3*m - k = -1. Is f(m) prime?
False
Suppose 5*z = 3*z, -4038 = -3*n - 4*z. Is n prime?
False
Suppose 9*v + 426 = 3441. Is v a composite number?
True
Suppose z - 676 = -3*h, 3*h + 1097 = 3*z - 919. Let g = -90 + z. Is g composite?
True
Suppose 3*o - k = 63010, -105010 = -5*o + 27*k - 24*k. Is o a composite number?
True
Let r = 4472 - -111. Is r composite?
False
Suppose -2 = -u + 2. Suppose 0 = u*y - 5*p - 181 - 296, 3*y - 319 = -4*p. Is y a composite number?
False
Suppose -4*t + 21 - 5 = 0. Suppose t*a = 6*a - 2962. Is a a composite number?
False
Suppose 2*f - 10870 = -8*f. Is f a prime number?
True
Let h(o) = o**3 + 9*o**2 - o - 2. Let w be h(-9). Suppose -19*l = -w*l - 4380. Is l a prime number?
False
Let x(l) = -l**2 - 9*l - 9. Let j be x(-7). Suppose -j*d = -3*f + 13, -d + 1 = -0*d. Is (3 + 93/f)*2 a prime number?
True
Let b(i) = i**2 - 8*i + 4. Let q be b(7). Let w = 41 - 45. Is w + 2 - -585 - q a prime number?
False
Let y = 8499 + -3870. Is y a composite number?
True
Is (-266728)/(-792) - (-2)/9 prime?
True
Let q be 33/((-4)/(-8) + 0). Suppose -5*f + 189 = -q. Is f a prime number?
False
Suppose -2*l - l + 5*w + 5233 = 0, 5*l - 3*w - 8695 = 0. Suppose 0 = y + 4964 - l. Is (y/30)/((-4)/10) composite?
False
Is 36/(-24)*(0 - 596/6) a composite number?
False
Suppose 0 = -4*s + 5*s - 2, 2*s = 3*w - 90983. Is w a composite number?
True
Is -3 + ((-40)/6)/((-6)/3339) prime?
False
Let i = 11198 + 1563. Is i a prime number?
False
Suppose -1 = -2*i + 9. Suppose 0 = f + i*f - 21180. Suppose f = -y + 3*y. Is y composite?
True
Let g(n) = -10 - n - 3*n + n**3 - 3*n**2 - 2*n**2 + 9. Is g(8) prime?
False
Is 48/(-40) + 26764/20 composite?
True
Let n(j) = 13 - j**3 - 48*j**2 + 34*j**2 + 6 - 13*j. Is n(-13) composite?
False
Suppose 0*p - 475 = -p - 2*f, 5*f + 10 = 0. Let o = -70 + p. Is o prime?
True
Suppose 0 = -13*l + 8*l + 85. Let j(o) = 38*o + 39. Is j(l) composite?
True
Let f(u) = 2*u**2 - 2 - u**3 + 1 + 11*u + 4*u**3 - 2*u. Is f(5) a prime number?
False
Let a(z) = z**3 - z**2 + z + 2. Let r be a(0). Let i(s) = 2*s + 12. Let h be i(-6). Suppose 