Let i(r) = 6 + 9*r**2 - 3 - 3*r + 0. Let j be i(2). Let h = 48 - j. Is h a prime number?
False
Is 1035/20 - (-3)/(-4) composite?
True
Suppose 0 = -r - 0*r + 3*x + 32, 110 = 3*r + 5*x. Let p be (0 + 1)/(4/16). Suppose p*g - 4*q + r = 255, 3*g + q - 165 = 0. Is g prime?
False
Let k be (-6)/(((-21)/2)/7). Suppose -k*t = -44 - 32. Is t prime?
True
Let k = -1 + 3. Let w be -3*((-4)/(-3))/(-2). Suppose -148 = -k*u - w*u. Is u composite?
False
Suppose -6 = -3*m, 0*i - i + 5*m = 14. Is 66/(1 - 3 - i) composite?
True
Suppose 12 = o - 0*o. Let w = -10 + o. Suppose w*y - 4*z = -0*y + 666, 3*y - 2*z - 991 = 0. Is y a prime number?
False
Let r be (-121)/(-33) - 4/6. Suppose 5*n - 82 = -0*a - r*a, 0 = -a - 5*n + 14. Is a a composite number?
True
Let h(c) = -c + 2. Let g be h(5). Is g/((-9)/(-6)) - -55 prime?
True
Let m(n) = n**2 - 3*n - 4. Suppose -8 = -f - f. Let k be m(f). Suppose -5*s = -3*d - k*d - 26, 3*d = 4*s - 19. Is s a composite number?
False
Let m = 5 + -2. Let c(q) = -8*q + 4 - m + 4. Is c(-6) a composite number?
False
Let c(i) = -i**3 - 12*i**2 - 12*i - 9. Let k be c(-11). Let z(h) be the third derivative of h**6/40 - h**4/6 + h**3/2 + 2*h**2. Is z(k) composite?
False
Let q = -2 + 3. Let n = q - 1. Suppose 4*t - 3*t - 31 = n. Is t prime?
True
Let g = 18 + -20. Let w(s) = -2*s - 5. Let z be w(-4). Is 12 - -2 - (g + z) prime?
True
Suppose -a + 2*t + 2*t = -1705, 3*a - 5088 = 3*t. Is a prime?
True
Suppose -5*y + 1368 = 3*b - 1918, 2*y = 3*b - 3251. Is b a prime number?
True
Let g(r) = r**3 + 5*r**2 - 6*r + 7. Let o be g(-6). Let f(k) = -4 + o*k + 20*k**3 - 6*k**2 - 19*k**3 + 0. Is f(6) a composite number?
True
Suppose -2*i + 0*a - 5*a = -136, 0 = 4*i + 2*a - 256. Suppose -3*w + i = -36. Is w prime?
False
Suppose 3*t + 5*w = 5*t - 24, 0 = 2*w - 8. Let q be -1 + (-32)/(0 + -2). Let z = t + q. Is z composite?
False
Let l(w) = 199*w**2 + 2*w - 2. Is l(1) a composite number?
False
Let p be (-3 + 2)/(7/(-14)). Let h(a) = 2*a**2 - a. Is h(p) a composite number?
True
Let h = 1995 - 1088. Is h a composite number?
False
Let o = -38 - -20. Let w(h) = -h**3 - 6*h**2 - 3*h - 1. Let n be w(-5). Let y = n - o. Is y a prime number?
True
Let l = -725 - -1248. Is l composite?
False
Let i be 1948/(-6)*3/2. Is 1*(2 - 4) - i composite?
True
Let p be 1065/(-9) + 2/6. Let m = -51 - p. Is m composite?
False
Let b(s) be the second derivative of 19*s**5/20 + s**4/6 - s**3/3 + s**2/2 + 5*s. Is b(2) composite?
False
Let w = -14 - -6. Let b be 38/(-4) + 4/w. Let n = b - -35. Is n a prime number?
False
Suppose 2*x + 4*j = 28, 0 = 5*x - 8*x - 3*j + 27. Suppose 4*g + 1330 = x*m + g, m + 2*g = 327. Is m prime?
True
Suppose l - 2*l = -159. Let r = l + -113. Suppose -30 = -4*u + r. Is u composite?
False
Suppose 3*q + 12*q = 84045. Is q a composite number?
True
Suppose -2*q + 75 = l, -q + 2*l + 146 = 3*q. Is q a prime number?
True
Let q(j) = 3*j**3 + 2*j**2 + 11*j + 5. Is q(9) prime?
False
Let a(z) = 3*z**3 - z**2 - 4. Let o be a(-3). Suppose 3*p = -d + 550, 2*p + d + 85 = 452. Let i = o + p. Is i a composite number?
False
Let u(b) be the second derivative of b**4/4 - 4*b**3/3 + 15*b**2/2 + 5*b. Is u(-7) a prime number?
False
Is 1/(-1) + (4265 - -1) prime?
False
Let t be 54/(-14) - 11/77. Is t/(12/(-7))*21 a prime number?
False
Suppose 2*l - 5 + 1 = 0. Suppose 2*q = q - 2, -l*b + 4*q = -412. Is b composite?
True
Let t be (0 - -1) + -3 + 6. Suppose t*o + 257 = 765. Is o prime?
True
Suppose -4*l + 3 = -9. Let i be -3*5/((-45)/12). Suppose -l*b + 59 = i*n, 0*n = 2*n - 3*b - 7. Is n prime?
True
Let t(y) = 19*y**2 + 11*y - 23. Is t(-11) a prime number?
False
Suppose -2737 = -3*f - 4*n, 0 = f - 0*f - n - 903. Is f a composite number?
False
Let g(z) = 7*z**2 - 3*z - 1. Is g(-2) prime?
False
Let i = -2820 - -4577. Is i a composite number?
True
Suppose 5862 = 3*g + 3*u, 2*g + 0*u - 3893 = u. Is g prime?
True
Let u(k) = -36*k**3 - 2*k**2 - 3*k - 2. Let r be u(-2). Let q = -153 + r. Is q prime?
True
Let x be (10/4)/((-3)/6). Let p = x - -7. Suppose -4*r + p*r = -30. Is r composite?
True
Let j(o) = o**2 - 7*o + 5. Let c be j(7). Suppose c*r = 2*k + 459, 2*k - 46 = -r + 41. Is r prime?
False
Let j = -111 + 208. Is j a prime number?
True
Let c(i) = -i**2 - 6*i + 9. Let b be c(-7). Suppose 0 = 4*k - 3 - 9. Suppose -2*n = -3*p - 28, -b*n = -n - k*p - 14. Is n prime?
False
Suppose -2*l = -3*r, 0 = 6*r - 2*r + 5*l. Let y = 125 - 39. Suppose z + z - y = r. Is z composite?
False
Suppose 0 = -3*o - 5*a + 1025, -o + 3*a - a = -327. Is o composite?
True
Suppose 4*f - 1 = -41. Let d = f + 17. Suppose 1 = -k, 0 = u + 3*k - d - 4. Is u prime?
False
Is 4/(-8)*(-1 + -585) a composite number?
False
Let h(r) be the third derivative of -r**6/120 + r**5/60 + 77*r**3/2 + 4*r**2. Let n be h(0). Suppose t + n = 4*t. Is t a prime number?
False
Let p = 17 + 8. Suppose 0 = 2*a - 7*a + p. Suppose 0 = v - 5 - a. Is v composite?
True
Suppose 2*f - 6 = -f. Let h = f - -12. Is h composite?
True
Let b = 1 + 35. Is 9028/b + (-8)/(-36) prime?
True
Let l(g) be the first derivative of g**2/2 - 3*g - 1. Let t be l(3). Suppose 2*x + 3*n = x + 12, 3*x + n - 20 = t. Is x a prime number?
False
Suppose 3*n - 94 = n. Suppose 5*b + f = -n, -3*b - 5*f - 8 = 7. Is -2 - -1 - (-1 + b) composite?
True
Let p = -1069 - -1652. Is p composite?
True
Let q = -5 + 7. Suppose q*j - 38 = 416. Suppose l = -x + 50, -4*x = -4*l - l - j. Is x a composite number?
False
Let h be (-28)/6*(-69)/(-2). Let p be 1*(h - 4/(-2)). Let x = 238 + p. Is x prime?
True
Let x(v) = -v**3 - 3*v**3 + 12*v**2 + 7 + 3*v**3 + v. Is x(9) a composite number?
True
Let w = 1994 - 1021. Is w prime?
False
Suppose 23 - 3 = 5*l. Suppose l = -b - 2. Is 3/b - 39/(-2) a composite number?
False
Let d(g) be the second derivative of g**4/12 - g**3 + 5*g**2/2 - 2*g. Let a be d(5). Let o = a - -22. Is o a prime number?
False
Let u(w) = w**3 - 5*w**2 + 6*w - 4. Let t be u(4). Suppose 0*k = 5*d + t*k - 255, 2*k = -3*d + 151. Is d a prime number?
True
Let o be (-3 - -1)/((-18)/(-387)). Let z = 98 + o. Is z prime?
False
Let m = 4 + -31. Let s = m + 116. Is s prime?
True
Let v(s) = -82*s**3 + s**2 - s - 1. Suppose 3*a - 2 = 5*a. Is v(a) prime?
True
Let c = 3 - 3. Suppose c = 2*i + 5*f - 52, 3*i - 91 = -2*f + f. Is i composite?
False
Let i = 2 - 2. Suppose j + j = i. Is (j + 2)/(8/156) composite?
True
Let g(c) = -c**2 - 10*c + 3. Let z be g(-8). Suppose 2*w - w = z. Suppose 0 = 4*b - 4, 2*f - f - w = -5*b. Is f a prime number?
False
Let g(k) = 65*k - 4. Is g(3) composite?
False
Suppose 5*w + y + 1918 = 18605, -4*y = -w + 3329. Is w composite?
True
Is (-5)/(-40) - 1159/(-8) prime?
False
Suppose -v + 4*v + q = -11, -3*q = 3*v + 9. Is 0 - 63/(v - -1) a composite number?
True
Let y(h) = 343*h - 27. Is y(4) composite?
True
Let n = 127 + 394. Is n prime?
True
Let j(i) = 2*i**2 + 3. Let k be j(3). Suppose 3*a - k = 21. Is a a composite number?
True
Suppose -285 = -2*f - 3*f. Let d = f - -5. Is d/(3 + 2 + -3) composite?
False
Let v = -26 + 109. Suppose -283 = -2*p + v. Is p composite?
True
Let z(g) = -29*g - 31. Is z(-13) prime?
False
Let g = 307 - 170. Suppose 2*z - g = 21. Is z a prime number?
True
Let i(a) = -a**2 - 5*a. Let k be i(-5). Suppose -5*v + 463 = 4*x + 89, 3*v - 6 = k. Is x a prime number?
False
Suppose 2*q - 5*f = 432, 3*f - 123 - 82 = -q. Is q prime?
True
Is ((-4)/(-5))/((-8)/(-620)) a composite number?
True
Let w = 1 - 7. Let v(f) = 7*f**2 + 5*f + 1. Is v(w) a prime number?
True
Let d(x) be the first derivative of 2 + 0*x + 32*x**3 + 1/2*x**2. Is d(1) a composite number?
False
Suppose 0*y + 3 = -3*y. Is (253/3)/y*-3 a composite number?
True
Suppose -12 = u - 4*u. Suppose 2*t - 341 = -t - u*o, 3*o - 228 = -2*t. Is t a prime number?
False
Let n(p) = 0*p + 0*p**2 + p + 145 - 2*p - p**2. Is n(0) composite?
True
Let q(f) = -95*f**3 + f**2 - 4*f - 5. Is q(-2) composite?
True
Let g(k) = -442*k**3 + k**2 + k + 1. Is g(-1) composite?
False
Is ((-10)/(-30))/(1/711) prime?
False
Let c be 3/(-12) + (-1)/(-4). Let j be -1 + 1 - 4 - c. Is ((-23)/j)/(1/4) a composite number?
False
Suppose -2*r = -4*o - 66, -2*r = -5*o + 3*r - 75. Suppose 2*h + 55 + 57 = 0. Let u = o - h. Is u composite?
True
Suppose 0 = y - 2 - 0. Suppose 0 = -4*z - 8, 5*l - y*l - 5*z = 16. Suppose l*a + 5*x = 51, 3*x + x = -2*a + 5