 - -24. Let u(s) = -30 + f + 4*s + 14*s - 7*s. Is u(20) prime?
True
Let k(l) = 2*l**3 - 25*l**2 + 29*l + 41. Is k(18) a prime number?
True
Let o(b) = b**2 + 12*b + 15. Let g be o(-10). Is g + 1250 + 20/(-5) composite?
True
Let k(a) = 37*a - 9. Let v be k(2). Let c = v - 31. Is c a prime number?
False
Let y = -227 + 43. Let s be (y/(-24))/((-3)/(-18)). Let o = 51 + s. Is o prime?
True
Let d(h) = -24*h**3 - 11*h**2 - 18*h + 49. Is d(-8) a composite number?
False
Let y = 317 + -521. Suppose 3*o = -286 + 1183. Let b = o + y. Is b prime?
False
Let v be -3 - ((-19820)/6 + 4/12). Let f = v + -1891. Is f a composite number?
False
Let g(y) = -5 - 25 - 5 - 40*y - 144*y. Is g(-6) a composite number?
False
Suppose -32 = g - 2*i - 3, 2*g - 3*i + 63 = 0. Let u = 440 - g. Is u a prime number?
True
Suppose -q - 4832 = -5*s, 2*q = -3*s + 2655 + 252. Is s composite?
False
Is (-32)/14 + 2 + (-932)/(-28) a composite number?
True
Suppose -3*b = 4*h - 18, -3*h - 13 = -6*h - 2*b. Suppose -4*m + 4244 = 3*o, -4*m + h*o = -3*m - 1061. Is m composite?
False
Let p(y) = 234*y - 60. Let q be p(16). Let n = -2087 + q. Is n a composite number?
False
Let t be (-27820)/(-5) - (1 - -3)/(-4). Suppose -3*k = 3*z - 3273, -5*k - 4*z + t = 114. Is k prime?
True
Suppose -12*h + 13779 + 14145 = 0. Is h composite?
True
Let z = -598 + 792. Is z a prime number?
False
Let w(m) be the third derivative of m**5/10 + m**4/6 - m**3/2 - m**2. Let b = 70 + -75. Is w(b) prime?
True
Let m(f) = 2*f - 15. Let v be m(9). Let r(o) = 3*o**2 - 4*o + 905. Let a(l) = 4*l**2 - 4*l + 904. Let n(x) = v*r(x) - 2*a(x). Is n(0) prime?
True
Let i be (-46)/23 - (-1 - -13). Let q = 21 - i. Is q a composite number?
True
Let h = -27905 - -42874. Is h composite?
False
Let s(a) = 3*a**2 + 24*a + 79. Is s(-20) a prime number?
False
Let d(a) = a**2 - 4*a - 18. Let j be d(7). Suppose -3*v = k - 169, -2*v - 233 = -j*k + 252. Is k prime?
True
Let a(d) = 146*d**2 - 6*d + 10. Is a(3) prime?
False
Let p(n) = -892*n - 12. Let f be p(-5). Suppose 3*j + 0*j + 2658 = 3*x, 5*x + j - f = 0. Is x a composite number?
True
Let m(y) = y**2 + 2*y + 5. Let x be m(0). Suppose -x*s + s = -148. Is s a composite number?
False
Let c(r) = 8*r + 33. Let t be c(17). Let h = -7 + 3. Is h/(-26) + 8255/t a composite number?
True
Let a = 7 + -7. Suppose a = 5*o - 9159 + 459. Is (-2)/(-3) - o/(-36) prime?
False
Let a = 104679 - 53542. Is a a composite number?
False
Let x = 6 - 2. Suppose -x*k - 4 = -6*k. Suppose i = -c + 538, k*c + 4*i - i = 1081. Is c composite?
True
Let q(v) = 27*v**2 + 7*v - 15. Let i(k) = k**3 - 5*k**2 - 8*k + 4. Let x be i(6). Is q(x) composite?
False
Suppose 4*o + 2*z + 3*z - 6787 = 0, -5*z + 5094 = 3*o. Is o a composite number?
False
Let f = 2775 - 1118. Is f composite?
False
Let b(w) = -w**3 - 6*w**2 - 8*w + 14. Is b(-15) a prime number?
False
Let c(r) = -r**2 - r - 4. Let n be c(-4). Let z = 60 - 48. Is 6564/16 - z/n composite?
True
Let n = 1 - -5. Is 2348/n - 2/6 a prime number?
False
Suppose -549578 = -4*x - 3*b, 5*b - 412181 = -3*x + 4*b. Is x prime?
True
Let p be (1/(-2))/((-6)/252). Let c = -12 + p. Suppose -c = -4*b + 3, 3*a - 864 = 3*b. Is a prime?
False
Suppose 423987 = 11*k - 190352. Is k composite?
False
Let o = 82 + 239. Let h = o + -95. Suppose -217 - h = -c. Is c composite?
False
Let p(a) = -44322*a**3 + 6*a**2 - 2*a - 3. Is p(-1) a composite number?
True
Let m(b) = 2*b - 38 + 467*b**2 - 3*b + 51. Let r(t) = -117*t**2 - 3. Let s(g) = -2*m(g) - 9*r(g). Is s(-1) a prime number?
False
Let z(c) = -7*c**3 - 6*c**2 + 10*c - 1. Is z(-8) composite?
False
Let a be 6/(-9) - (-9634)/6. Let s = 3209 - a. Suppose 0 = 2*o + 294 - s. Is o composite?
True
Let n(i) be the first derivative of -i**2 - 7*i - 4. Let m be n(-7). Suppose x - 25 = -2*p, m = -x + 2. Is p a composite number?
True
Let c = -9 + 14. Let a(q) = -c*q + 7*q + 5*q + 2. Is a(7) a composite number?
True
Suppose 0 = 106*x - 102*x + 4*p - 32468, 3*x = 3*p + 24351. Is x prime?
True
Let d(t) = -t**2 + 8*t + 5. Let v be d(8). Let m(y) = -y**3 + 5*y**2 + y - 6. Let n be m(v). Is (-4 - 33)/(n/1) composite?
False
Let r(d) = 0*d - 3*d + 1 - 185*d**2 + d + 57*d**2. Let k be r(1). Let n = k + 238. Is n a composite number?
False
Suppose -24*i + 90167 = -13*i. Is i a prime number?
False
Let n be -1*(-8 - (-1 + -2)). Suppose x = -2*d - 0*d + 18, -10 = -n*x. Let g(i) = 77*i - 5. Is g(d) a composite number?
True
Let h(g) = -436*g + 1. Let p = 13 - 10. Let f be (-3 + p - 1)/1. Is h(f) a composite number?
True
Let w(s) = -3*s - 11. Let f be w(-14). Suppose 2*k - 3*x + 37 = 0, 0 = 2*k + x + 2 + f. Let t = 102 - k. Is t a prime number?
False
Suppose 30*j - 3982529 - 1132861 = 0. Is j a composite number?
True
Suppose 4*y + 10186 = f + 122627, 2*f - 6 = 0. Is y prime?
True
Let v(y) = -2*y - 41. Let c be v(-10). Is (2 + 860)/((-6)/c) a prime number?
False
Let d(u) = 463*u + 288. Is d(25) a prime number?
True
Let v(n) = -4*n**2 - 13*n - 18. Let j(p) = -4*p**2 - 14*p - 17. Let h(l) = -5*j(l) + 4*v(l). Is h(14) composite?
False
Suppose 0 = -y - 2*y + 9. Suppose -5*c - y*m = -2 - 2, m = -2. Suppose 4*u + c*b = 130, -143 = -4*u - u + 4*b. Is u a composite number?
False
Suppose 2*k - 652 = -18. Let l = k - 80. Is l composite?
True
Let f be 0/3 - (-155 + 2). Suppose -5*k + 2*k + 121 = -5*q, -f = -4*k + 5*q. Is 4776/k - 1/4 a prime number?
True
Suppose 42*h = 848176 - 133210. Is h prime?
False
Let p(t) = 2*t - 5*t - t**2 + 3 - 2*t + 0. Let b be p(-5). Suppose -b*n + 184 = n. Is n a composite number?
True
Let a(m) = 0*m**3 - 43 + 4*m**2 + 8 + 3*m + 0*m**3 + 7*m**3. Is a(5) a composite number?
True
Let s(c) = 2*c**3 + 33*c**2 + 29*c + 147. Is s(-13) a composite number?
False
Suppose 18*d = 23*d - 5*o - 294405, 2*d - 3*o - 117758 = 0. Is d a prime number?
False
Suppose k = 5*k - 364. Let f = 11 + k. Let o = 7 + f. Is o composite?
False
Suppose 2*w + 5*t - 25280 = 17434, -3*w + t + 64037 = 0. Is w prime?
True
Suppose v = -3*v. Let k(l) = l**2 + 7*l + 733. Is k(v) a composite number?
False
Suppose s + 36798 = 2*h, 91981 = 20*h - 15*h + s. Is h a prime number?
True
Let y be (-2)/3*6/4. Let r(j) be the first derivative of 30*j**3 - j**2 - j - 55. Is r(y) a composite number?
True
Suppose u - 5*r = -r + 5610, 0 = -5*u - r + 27966. Is u a prime number?
False
Let g = -5 + 8. Let b(r) = -r**3 + 3*r**2 + r + 1. Let m be b(g). Suppose -2*t + m*t - 110 = 0. Is t a prime number?
False
Suppose -z + x = 1, 5*z - 2*z - x = -5. Is z + 4/(-14) + (-61455)/(-105) prime?
False
Let z(i) = -i**3 + 4*i**2 - 5*i + 1. Let a be z(2). Let d be 4 + -2 - (-11052 + a). Is (1/(-3))/((-11)/d) prime?
False
Is 24614/10 - 16/40 prime?
False
Suppose -3*t + 4*w - 126 = w, 4*t = 2*w - 168. Let n be (t/4)/(3/1044). Is (1/3)/((-6)/n) a composite number?
True
Let x be (-4)/(-6)*(-1 - -7). Suppose x*m + 7 = 15. Is (-86)/(-4) + 3/m a composite number?
False
Suppose -2*x + 20 = 3*i, -5 = -5*x + 2*i + 7. Suppose 0*b - x*b = 4*v - 20, -4*b + 2*v = -20. Let t(g) = 114*g + 1. Is t(b) composite?
False
Let r = -9324 + 20413. Is r composite?
True
Let o(v) = 3*v**2 - 18*v - 8. Is o(17) a prime number?
False
Suppose j + 181 - 975 = 0. Let p = j - 463. Is p a composite number?
False
Suppose -4*i - 12 = -7*i, 0 = -l - 5*i + 117. Let r = 264 - l. Is r a composite number?
False
Let a(o) = 97*o**2 + 2*o + 41. Is a(6) composite?
True
Let c = 7 + 8. Let f be (80/c)/(2/57). Suppose -f = -0*s - 4*s. Is s a prime number?
False
Suppose 15202 = 19*j - 17*j. Is j a composite number?
True
Suppose -79*h + 34*h + 1597005 = 0. Is h prime?
False
Suppose -21 = -2*s - s. Suppose j = 36 + s. Is j composite?
False
Let w(g) = -8*g + 539. Is w(15) prime?
True
Let g(n) = 2*n + 8. Suppose 4*u - 4 = -32. Let s be g(u). Is (-52)/(-3)*(-9)/s prime?
False
Let n = 31642 + -16251. Is n a composite number?
False
Let r = -4313 + 6331. Is r prime?
False
Suppose -87271 = -19*t + 4518. Is t composite?
False
Is ((-12598)/6*3)/(-1) composite?
False
Let u = 14 - 10. Suppose 3*g + v - 2 = 0, -u*g = v - 5*v - 24. Suppose 3*m + g*z - 487 = 0, 2*m = 2*z - 6*z + 330. Is m a prime number?
False
Suppose 10*v = -0*v - 10110. Let b = 158 - v. Is b composite?
True
Let j = 5107 - 2630. Is j a composite number?
False
Is 2/(-8) - (-29544)/32*1 composite?
True
Suppose 46*o - 956327 = 903499. Is o 