 - i*y - u*k + 265 = 0. Is y a prime number?
False
Let i(b) = -b**2 + 10*b - 9. Let q = -16 + 25. Let n be i(q). Is (31 - -2) + n/(-2) composite?
True
Is 1185 + ((-6)/5)/(6/20) a composite number?
False
Suppose 0 = 4*p + 11 - 31. Suppose -p*z = 141 - 466. Suppose 5*j - z = -0*j. Is j composite?
False
Let d = 1678 - 429. Is d a prime number?
True
Suppose 5*o + 33 = 2*f, -7*o - 36 = -4*f - 3*o. Suppose f*z + 25 = -3*y + 107, 0 = -5*y - 10. Is z prime?
False
Let f(h) = -29*h + 7. Let c be f(-4). Suppose 19 + c = 2*w. Is w prime?
True
Suppose -4*y + 106 + 1690 = 0. Is y a composite number?
False
Let f = 131 - 66. Is (2 - 1) + f - 1 a prime number?
False
Suppose 7*l + 7 = 49. Let w(p) = -5 + 12*p + 4*p + 6*p. Is w(l) prime?
True
Suppose o = -4*o + 2*f + 144, 2*o + 5*f = 75. Let x be ((-2)/3)/((-10)/o). Is (-53)/x*(5 - 15) a composite number?
True
Let m(p) = 6*p**2 - 4*p - 3. Let g be ((-50)/(-30))/(2/6). Is m(g) prime?
True
Is 7358/12 + (-10)/60 composite?
False
Let f be (-1)/(2*(-2)/332). Suppose 0 = -g - 0*g + f. Is g a prime number?
True
Let m(s) be the second derivative of s**5/20 + 11*s**4/12 + 5*s**3/3 + 3*s**2/2 + 6*s. Is m(-8) composite?
True
Let n = 100 - 47. Is n a composite number?
False
Let u(n) = n**3 + 10*n**2 - n - 7. Let a = -33 + 23. Let m be u(a). Let o = 20 + m. Is o a prime number?
True
Suppose 3*y + 7 = 19. Suppose -w = -v + 4*w + 285, -y*w = -2*v + 582. Is v a prime number?
False
Let q(t) = 16*t**3 + 6*t**2 + 11. Is q(5) composite?
False
Let p = 170 - -213. Is p prime?
True
Let b(g) = 12*g**3 + g - 4. Is b(2) composite?
True
Let k(q) = 13*q**3 + 2*q**2 - 1. Let y be k(-3). Let c = -207 - y. Is c/(-4)*(4 + -8) composite?
False
Let a(z) be the first derivative of -z**3/3 - 5*z**2/2 + 3*z + 2. Let c be a(-5). Suppose d + 116 = c*d. Is d prime?
False
Let p be 235/45 - 2/9. Suppose -p*o + 103 = -k, 5*o + 2*k - 94 = -0*o. Let i = o + -9. Is i prime?
True
Suppose -326 + 40 = -2*q. Suppose -j - 79 = -2*x - 0*j, j - q = -4*x. Is x prime?
True
Suppose 3 + 3 = -2*m - 3*j, 5*m - 2*j = 23. Suppose -299 = -q - m*v, q - 6*q = -4*v - 1457. Is q composite?
False
Let s(u) = -2*u. Let h be s(-4). Let x(f) = h*f + 0 + 2*f**2 - 2*f + 1. Is x(-6) composite?
False
Suppose 2*i - i = 2*d + 238, 4*d + 4*i + 464 = 0. Let x = 194 + d. Let s = -41 + x. Is s a composite number?
True
Is -3 - (-4 - (-156)/(-3)) a prime number?
True
Let n be (-2)/((8/3)/(-4)). Suppose -2*l - n*l = -90. Suppose -l = -3*r + 141. Is r a prime number?
True
Let p(x) be the second derivative of x**3/3 - 3*x**2 - 7*x. Is p(10) composite?
True
Is (-1 - -6)*12033/45 a composite number?
True
Suppose f - 4747 = -i + 2641, 4*i - 7397 = -f. Is f/15 - 2/(-3) a composite number?
True
Let j(u) be the second derivative of -2*u - u**3 + 1/12*u**4 + 3*u**2 + 0. Is j(7) a prime number?
True
Let y(z) = z**2 - 3*z + 4. Let h be y(3). Suppose 0 = -0*q - h*q + 212. Suppose 3*b + 2*r = -15 + q, 2*r = -5*b + 66. Is b a prime number?
False
Let z(d) = 2*d**2 - 8*d - 2. Suppose 0 = 5*o + 2*c - 54, o + 0 = 3*c + 4. Suppose -4*g + 14 + o = 0. Is z(g) prime?
False
Suppose 3*g = 3*r - 9, 0 = -2*r + r + 3*g - 1. Suppose -724 = s - r*s. Is s a prime number?
True
Let h(g) = g**3 - 2*g**2 - 5*g + 4. Let y be h(3). Let w = y - -4. Suppose 0*a + 22 = w*a. Is a composite?
False
Let l be 22/2 + (2 - 0). Let b(p) = 8*p**2 - l + p**3 + 6*p + p + 5. Is b(-6) prime?
False
Suppose 151 - 1905 = -2*j. Is j prime?
True
Let v(w) = 91*w + 35. Let j(a) = -18*a - 7. Let y(f) = 11*j(f) + 2*v(f). Is y(-6) prime?
True
Suppose 2*u - 5*z = u + 7, 50 = 2*u + 2*z. Is u a prime number?
False
Let f(b) = -4*b**3 - b**2 - b. Let j be f(-1). Suppose -2*s = -2*n - 0*n + 32, -j*n + 39 = s. Is n a composite number?
False
Let x be 1 - -3 - (2 - 4). Is 71 - 3/x*0 composite?
False
Let b(z) = z**3 - z**2 + 1. Let i be b(0). Let u be 3/14*-2 - 780/91. Let k = i - u. Is k prime?
False
Suppose 0 = -3*q + q - 14. Let r = 4 - q. Is r prime?
True
Let q(i) = -78*i - 11. Is q(-8) prime?
True
Let x = -17 + 2116. Is x a composite number?
False
Let g be (-22)/(-6) + 4/(-6). Suppose 0*x + 377 = 3*x + 5*s, 2*s = -g*x + 365. Is x a prime number?
False
Is -1226*((-6)/(-4) - 2) prime?
True
Suppose 5*y = 2*y + 381. Is y a prime number?
True
Let n be 15/(-10) - 45/(-2). Suppose 0 = -5*o - 3*z + 35, -4*z + n = 6*o - 3*o. Suppose 3*v = o + 326. Is v composite?
True
Suppose 0 = 2*p - 3*f + 34 - 191, 4*f - 227 = -3*p. Is p prime?
False
Let z be (-6)/9 - 646/(-6). Let t be 79/((-1)/2 - -1). Let g = t - z. Is g a prime number?
False
Suppose 2*k - 1755 = -3*l - k, 2*l - 1164 = -5*k. Is l composite?
False
Let m be 1*(-2)/2 - 3. Let z be 2 + m - 56/(-4). Is ((-8)/z)/(1/(-3)) a prime number?
True
Let u = 6 + 9. Let b be 5/u + (-8)/6. Is 158 - 5 - (-1 + b) a prime number?
False
Suppose -5*u + 2*u = 0. Suppose -3*r + 161 = 2*q - u*q, -3*r = -4*q - 173. Is r a composite number?
True
Suppose 5*n - 77 = -27. Let m = n + -3. Is (-2)/m + 914/14 prime?
False
Let k(w) = w + 4. Let l be k(-4). Suppose l = -9*f + 4*f - 10. Is -13*f/((-4)/(-6)) composite?
True
Suppose -3*d + 4*k - 7 = -6*d, 3*d - 19 = 2*k. Suppose -4*w = -d*w + 62. Is w a composite number?
True
Is 2/6 - 472/(-6) prime?
True
Let w(b) be the third derivative of -b**6/120 + b**5/10 + b**4/3 + b**3/6 + 3*b**2. Is w(6) prime?
False
Suppose 0 = -i + 4 - 146. Let s(t) = 218*t**2 + 1. Let x be s(1). Let c = x + i. Is c composite?
True
Let d = 24 + 0. Let q = d + -12. Suppose 3*t - q - 159 = 0. Is t a prime number?
False
Suppose 5*x + 0*x - 25 = 2*s, -3*s = 4*x + 3. Suppose x*f + 5*u = 1, 2*u = -u - 3. Suppose -2*t = -3*r + 103, -2*r + f*t + 67 = t. Is r a composite number?
False
Let h(d) = 2*d - 6. Let l be 18/4 - 3/(-6). Let a = l + 1. Is h(a) a composite number?
True
Suppose 2 = -2*b + 3*b. Suppose -320 = 8*d - 4*d. Is (b/2 + d)*-1 composite?
False
Let a = -13 + 20. Is a composite?
False
Suppose -4*n = -3*f + 24, -2*n - 2*n = 3*f + 24. Let q be -2*(-2)/(-4)*-17. Let k = q + n. Is k a composite number?
False
Is 21/36*3362 + (-6)/36 prime?
False
Let z(n) = n**3 - 12*n**2 - 19*n + 17. Is z(14) a composite number?
True
Let w(t) = -t**2 - 9*t - 3. Let a be w(-6). Let c be (-3)/((a/(-2))/5). Is (c - 3)*(-153)/3 a composite number?
True
Let f(g) = -6*g - 17. Is f(-8) a prime number?
True
Suppose -5*l + 483 = -4*p - 966, 4*l - 1152 = -4*p. Is l composite?
True
Suppose 0 = -q + 163 - 7. Let n = q - 89. Is n a prime number?
True
Is -3 + 2 + 653 + 1 prime?
True
Let j = 7 - 4. Let p(r) = r**2 - 1 - 2*r + r**2 + j*r**3 + 2*r**2. Is p(2) prime?
False
Is 1/4 + (-15521)/(-44) composite?
False
Let h = 100 + -49. Suppose -4*n + s + 1 = -3, 4*s - 16 = 0. Suppose -n*v = 1 - h. Is v a composite number?
True
Suppose 5*t + s - 1570 = 6*s, 0 = -3*s. Is t a composite number?
True
Suppose 0 = t - 0*q - q + 3, -2*q + 18 = 4*t. Is (371/t)/((-2)/(-4)) composite?
True
Let b(a) = 3*a**3 - 9*a**2 + 9*a - 4. Is b(5) a composite number?
False
Is 72/(-16)*52/(-6) prime?
False
Let q(h) = h**2 - 10*h + 9. Let a be q(6). Is a/2*4/(-5) composite?
True
Suppose -5*u - 56 = -221. Is (-6)/u - 431/(-11) prime?
False
Suppose -2*f - 40 = 3*f. Let m(i) = -i**3 - 7*i**2 + i + 9. Is m(f) composite?
True
Let t(j) = 2*j**2 + 2*j - 2. Let c be t(-2). Let i be (3 - 2) + (-2)/c. Suppose i*f - 50 = -2*f. Is f prime?
False
Let g = -397 - -721. Let i = -73 + g. Is i composite?
False
Suppose 0 = 4*g - 65 + 21. Let w(i) = 21*i - 8. Is w(g) prime?
True
Let m = 83 + -5. Let v = m + -25. Is v a composite number?
False
Suppose 5*z + 477 = 6542. Is z prime?
True
Suppose -44 = k - 435. Is k prime?
False
Suppose 2*q - 4*q - 8 = 0. Is q/14 - (-387)/7 composite?
True
Let w = -208 - -402. Is w prime?
False
Suppose -4*d - 4 - 8 = 0. Let b(l) = -9*l - 1. Is b(d) a composite number?
True
Let h = 9 - 5. Suppose -h*q + 333 = -q. Is q composite?
True
Suppose 0 = -t - 1 - 20. Suppose -y + 2*a - 18 = 0, 0*y - 4*a = 2*y + 4. Let d = y - t. Is d a prime number?
True
Let k(y) = y**3 - 10*y**2 + 2*y - 5. Is k(12) prime?
True
Let j be (-1 - (-3 + 0)) + 2. Suppose j*h + 2 = -2*l, -3*l - 25 = 2*l. Suppose h*g - 24 = 18. Is g prime?
False
Let o(g) = g**2 + 4*g + 4. Let w be o(-4). Suppose 0 = -q - w*q + 45. Is q composite?
True
Let b(p) = 5*p + 3. Let z be b(-3). Let l be 4*2/z*-6. Suppose 2*j - 78 = -l