f y**3/3 + 6*y**2 - y - 2. Let l be u(-12). Let p = 68 + l. Is p prime?
True
Let r(i) = -2*i - 35. Let m be r(-20). Let k(v) = -2*v**3 - 3*v + 3*v**3 + 6*v**2 - 1 - 2. Is k(m) composite?
False
Let d(h) = 7*h**3 + h**2 + 2*h + 1. Let p be d(-1). Let j = p + 9. Suppose -4*c = -c + 3*a - 24, j*c + 4*a = 26. Is c a prime number?
True
Is (18 + -14)*(-5)/(-30)*177 a prime number?
False
Suppose 6*v - 15 = 3*v. Suppose 0 = 2*p + 17 + v. Let i(c) = -59*c - 14. Is i(p) a prime number?
False
Let u = -119 + 131. Suppose u*n - 13*n = -635. Is n composite?
True
Let y(q) be the second derivative of -237*q**5/5 - q**4/6 - q**3/2 - q**2 + 9*q. Let u be y(-1). Let i = u + -534. Is i a composite number?
True
Let u(x) = 587*x**2 - 36*x - 25. Is u(-8) composite?
False
Let n(i) = 17*i**3 - 4*i**2 - 3*i + 6. Let a be (18/(-27))/(4/(-30)). Let f be n(a). Suppose 0 = 3*s + 5*r - 1525, -4*r - f = -4*s - 2*r. Is s prime?
False
Let p = 3 - 9. Let f = p + 71. Is f prime?
False
Let c be (-3830)/(-25) - (-2)/(-10). Suppose -c = 3*s + k - 38, 3*s = -4*k - 109. Is (3/(-2))/(s/1534) prime?
True
Let t be (20/(-60))/(1 + (-13)/12). Suppose t*m + 3*r = 1636, -m + 582 = r + 173. Is m prime?
True
Suppose 5*f - 41 = m, -m - 11 = -f + 2*m. Suppose -f*a - 2215 = -13*a. Is a a prime number?
True
Suppose -4*q = 2655 + 1861. Let y = 2052 + q. Is y a composite number?
True
Suppose 180 = 5*h - 150. Suppose -2*b = 5*u + 3*b - 75, 0 = -4*u + 2*b + h. Is (u + 1)/((-8)/(-152)) composite?
True
Suppose -76*t + 2398190 = 796034. Is t a composite number?
True
Let i(o) = -690*o - 28 + 274*o - 20 + 41. Is i(-4) a prime number?
True
Let j be (-2)/(-9) - ((-65568)/(-54) + 1). Let h = -682 - j. Is h a prime number?
False
Suppose -42 = 3*v - 6*v. Let x = v + -10. Suppose -j + x*f = -50 - 75, 5*f - 25 = 0. Is j a prime number?
False
Suppose -3*q = -5*q + 3*u + 735, 0 = 4*q - 2*u - 1482. Let k = -333 - -122. Let y = q + k. Is y composite?
True
Let u(n) = n**2 - 4*n - 2. Suppose -5*z - 4*i - 4 = 0, 4 + 0 = 3*z + 4*i. Let t be (2/z)/((-1)/14). Is u(t) composite?
False
Let y = 54 + -33. Suppose 3*q - y = -0*q. Is q prime?
True
Suppose 11*m = 3*m + 20024. Is m prime?
True
Let d(a) = a**3 - 27*a**2 + 4*a - 227. Is d(28) a composite number?
True
Suppose 0 = -4*s - 9 - 143. Suppose 41 = j - 0*j. Let p = j - s. Is p a prime number?
True
Is 197264/7 + 21/49 prime?
True
Is ((-6740)/(-8))/((1/2)/1) a composite number?
True
Suppose 277*k - 249325 = 252*k. Is k a composite number?
False
Let n = -23 - -27. Suppose -n*s + 5*u - 2878 + 8752 = 0, 5*s - 7365 = -5*u. Is s a composite number?
False
Suppose 2317 - 16482 = -5*i. Is i a composite number?
False
Suppose 41*z - 12*z - 1640501 = 0. Is z composite?
False
Suppose -12*u = -56422 - 61214. Is u prime?
True
Let d = -36 + 98. Let i = 17 - d. Is 2/5 - 5877/i composite?
False
Suppose -29432 + 4763 = -9*m. Is m prime?
True
Suppose -38 = -5*p + 47. Let m(x) = -21*x - p*x - 15*x + 9. Is m(-5) a composite number?
True
Let r = 0 + 10. Let x = 13 - r. Suppose -x*w + 291 = -0*w. Is w a composite number?
False
Let k = -29 - -34. Suppose k*l = 5*f - 20, 0*f + 4*l = 2*f - 14. Is (f - (1 + 1))*-119 prime?
False
Suppose -5*r = -4*r + 202. Let t(d) = 75*d - 175. Let a be t(8). Let f = a + r. Is f prime?
True
Suppose -1754 = z - 6145. Is z a prime number?
True
Suppose 443*f = 461*f - 882. Is f prime?
False
Suppose 0 = 4*p - 1 - 23. Suppose -y + 5*m = -1433, -p - 2 = 4*m. Is y a prime number?
True
Let c(i) = 2*i - 26. Let w be c(13). Suppose w = -6*o + 1672 + 914. Is o prime?
True
Let c(w) = 45*w**3 + w**2 - 6*w - 9. Is c(5) composite?
True
Let k be (-4 - -6)/(4/(-22)). Let a = k + 13. Suppose -4*v = -0*v - 20, -v = a*p - 159. Is p composite?
True
Let g(o) be the third derivative of 4*o**6/15 - 5*o**4/24 + o**3/3 + o**2. Let h be g(2). Let r = h + -135. Is r prime?
True
Is (-5)/(-5 - -6)*46572/(-20) prime?
False
Suppose 4*f = f + 6. Let l(g) = -120*g**3 + 9*g**2 + 11*g - 8. Let u(c) = 40*c**3 - 3*c**2 - 4*c + 3. Let b(d) = -6*l(d) - 17*u(d). Is b(f) a composite number?
True
Let n(q) = 250*q + 15. Let p be n(9). Suppose -2*u - p = -5*m, -m + 4*m + u = 1359. Is (8/12)/1*m a composite number?
True
Suppose -9 = 3*v - 5*p, -v - 2*p - 4 = -6*v. Suppose -v*i + 259 = 47. Is i a composite number?
True
Is (897 - -56)*(2 - 0)/2 a prime number?
True
Suppose 3*z - 20699 = 5*p, -14*p + 13*p - 27593 = -4*z. Is z a prime number?
False
Let m = -3441 + 10274. Is m prime?
True
Let n be ((-9)/(-6) - 2)*-324. Suppose -4*a + n = -6*a. Is (1 - a)*6/4 composite?
True
Let v(w) = 3386*w**2 - 2*w + 1. Suppose 4*n - 3 = n. Let s be v(n). Suppose s = -q + 6*q. Is q a composite number?
False
Is 4 + 3 + 2337 + 9 composite?
True
Suppose -21*q = -19*q - 2380. Let z = q + 725. Is z composite?
True
Suppose 520 = -l - 3*j, 0 = -l + 2*j - 40 - 470. Is (l/(-8))/(4/16) prime?
True
Let s(t) = 173*t**3 + 12*t**2 - 21*t + 57. Is s(7) prime?
False
Suppose 3*o - 118262 = j, 21*j = -o + 25*j + 39417. Is o a prime number?
False
Let u = 7247 - 178. Is u composite?
False
Let b(u) = 4*u**2 + 4*u - 1. Suppose 4 - 7 = f. Let m be b(f). Suppose 0 = -2*c + 73 - m. Is c a prime number?
False
Let m(t) = 59534*t**2 - 10*t + 9. Is m(1) prime?
False
Let q be (-3 + 537)/((-4)/(48/(-9))). Suppose q + 899 = 3*v. Is v composite?
True
Suppose 0 = 2*c + u - 417, 102*c - 5*u + 1030 = 107*c. Is c prime?
True
Suppose 0 = -29*j + 2320 + 2871. Is j a composite number?
False
Let b be ((-452)/12 + 3/(-9))*-152. Suppose -3*w + b = 4*l, 4*w + 964 = l - 461. Is l prime?
False
Let g(b) = 24*b**2 + 16*b + 31. Is g(-16) a composite number?
True
Suppose 2*v = -5*c + 1185 + 2197, 4*c + 5*v - 2692 = 0. Suppose -10*d = -4*d - c. Is d a composite number?
False
Suppose -2*j - 5 = -3*r, j + 3*r - 2*r = 10. Suppose -4*g = -j*a + g + 4190, 2*g - 1688 = -2*a. Is a prime?
False
Is (140376/48)/((2 - 3)/(-2)) a prime number?
True
Let f(t) = 2*t**3 + 3*t**2 + 2*t - 5. Let y(s) = s**3 + 11*s**2 + 10*s. Let c be y(-10). Suppose c*z - z = 5*u - 17, 0 = u + 3*z - 9. Is f(u) a prime number?
False
Let g(d) = 2*d**2 - 10*d + 7. Let b be g(5). Let w(n) = -2*n**2 + 0*n + b*n**3 - 36 + 33 + 2*n. Is w(2) a composite number?
True
Suppose -2*z + z + d = -583, -2330 = -4*z + 5*d. Let j = z + -106. Is j a composite number?
False
Suppose 0 = 12*g + 3317 - 9713. Is g a composite number?
True
Suppose 0 = 4*o - o - 849. Suppose -19*n + 1055 = 29. Suppose -j = -o - n. Is j composite?
False
Let y be (42/5)/(3/1260). Let s be (y/(-70))/(3/(-10)). Let m = -83 + s. Is m composite?
True
Is (((-1688505)/(-52))/15)/((-1)/(-4)) a prime number?
False
Let r = -1956 + 3458. Is r a prime number?
False
Suppose -525 + 87 = -x. Let o = x - 67. Is o a prime number?
False
Is ((-5384)/(-20))/((-22)/(-55)) composite?
False
Let g(b) = 19*b**2 + 4*b - 10. Let a be g(-9). Let x = a + -1056. Is x a composite number?
True
Suppose -f + 2*a = -8499 + 2362, -24593 = -4*f - 7*a. Is f a composite number?
False
Let n be (-207)/(-23) + 0/(-2). Let z(u) = -u**3 + 9*u**2 - u + 12. Let m be z(n). Suppose m*i + 1437 = 6*i. Is i composite?
False
Let k be (-8)/2 - -1 - -337. Let t be k/(-14) - 2/14. Is 4*447/t*-2 a composite number?
False
Suppose 3*x - 295 = -2*u + 906, -3*u = -x + 382. Let z be ((-4)/4 + 0)*-17. Suppose 4*w - x = -5*p, p - 82 + z = 4*w. Is p a composite number?
True
Suppose -5*r + 1547 = 2*j, 3*r + 1539 = 2*j - 0*r. Is j composite?
True
Suppose -y + 5*y = 0. Suppose -2*d + 577 = s, y*d + d = -3*s + 1746. Suppose 0 = w - 1, -4*w - 15 + s = 4*n. Is n a composite number?
True
Let f be 2/4*112/7 - 3. Let w(z) = z**2 + 4. Let i be w(0). Suppose -4*o = v - 41, 19 = -f*o + i. Is v prime?
True
Suppose 8*m - 37 = 11. Let t(j) = -3*j + 20. Let n be t(m). Suppose -n*l + 31 = -l. Is l a prime number?
True
Let w be (-6)/(-4) + 1638/(-12). Let j = 277 + w. Is j a prime number?
False
Let t be 103397/63 - 4/18. Suppose t = 4*l - l. Suppose -2*y + l = 17. Is y a composite number?
True
Let a = -936 + 109. Let o = a - -2628. Is o a composite number?
False
Let z(f) = 620*f**2 + 16*f + 25. Is z(-7) a composite number?
False
Let g = 40 - 46. Let p(b) = 15*b**2 - 2*b + 5. Is p(g) a composite number?
False
Suppose 0 = -4*q + r + 2*r + 12, 0 = -2*r. Suppose 0 = -5*j + 5*k + 2510, -3*j + 1476 = -0*k + q*k. Is j composite?
True
Let t(l) 