te number?
True
Let u(x) = 924*x + 398. Is u(12) prime?
False
Suppose 2*r + 102196 = 4*h - 2*r, 4*h + 3*r - 102196 = 0. Is h composite?
True
Suppose -5*c - 3*h + 58161 = 0, -5*c - 67*h + 58145 = -72*h. Is c composite?
True
Suppose i + 18 + 74 = 0. Let t = i + 162. Is 2*(t/(-4))/(-1) prime?
False
Let k(a) = 37*a**2 + 4*a + 14. Is k(-5) prime?
True
Let k = 2420 - 747. Let f = k - -3996. Is f a composite number?
False
Suppose -5*l + 0*l + 615 = 0. Suppose 380 = t + l. Is t prime?
True
Let v(x) = 15*x**2 + 6*x + 21. Let w(q) = q**2 - 1. Let t(y) = v(y) - 2*w(y). Is t(-8) a prime number?
False
Suppose 0 = 4*s - 7*s. Suppose s = -3*d - 1 + 13. Suppose -2*k = 3*i - 170, -2 = 5*k + d*i - 441. Is k a composite number?
True
Let o(r) = 2848*r + 395. Is o(27) prime?
True
Suppose -x + 4*x + 27 = 0. Let k = x + -10. Let d = 42 + k. Is d composite?
False
Let h = -21 - -30. Suppose 20127 = -h*x + 63876. Is x prime?
True
Let b(k) be the third derivative of 69*k**4/8 + k**3/3 - 5*k**2. Is b(3) prime?
False
Let h(j) = 130*j + 8. Let x(z) = -65*z - 4. Suppose -5*n + 5*i = 0, 0 = 4*n - 3*n + i - 10. Let u(k) = n*x(k) + 2*h(k). Is u(-3) prime?
True
Let v(j) = j**3 + 6*j**2 + j + 6. Let r be v(-6). Let k = -25 - -21. Is 441 + k/(r + -2) a composite number?
False
Suppose -5*l - 2*q + 21957 = 0, -38*l + 37*l + q = -4390. Is l prime?
True
Let l = -20 + 12. Let x be 52928/48 - l/6. Is x/2 - (5 + -6) a prime number?
False
Suppose -9*h + 5*h + 52 = 0. Let z = 258 + h. Is z a composite number?
False
Let t(z) = 72*z - 2. Let a be t(3). Suppose 4*o = 3*f - 644, -a = -f - o + 2*o. Is (f/6)/(2/9) prime?
False
Let s = -2585 + 13996. Is s composite?
False
Is (-1323821)/(-203) - 8/28 prime?
True
Let k be (0 - 9) + 4/(-2). Let z(a) = -25 + 11 - 12 - 8*a - 12*a + 0*a. Is z(k) prime?
False
Let y(d) = 10*d**3 - 3*d**2 + d - 9. Let m(a) = -a**2 + 13*a + 18. Let j be m(14). Is y(j) composite?
False
Let j(b) = -773*b - 220. Is j(-7) a prime number?
False
Is 2/4 + ((-32643)/2)/(-9) a composite number?
True
Suppose -3*j = -3, 5*j - 3*j = b - 3261. Suppose -3*o = 10*o - b. Is o composite?
False
Let m(t) = t**3 - 25*t**2 + 24*t + 3. Let x be m(24). Suppose 2*g = -2*b + 2694, -6*b - 6703 = -5*g - x*b. Is g a composite number?
True
Let z(k) be the second derivative of -29*k**6/180 - k**5/120 + 3*k**4/4 - 5*k. Let l(p) be the third derivative of z(p). Is l(-1) composite?
True
Let t(r) = -47*r + 2. Let o be t(-10). Suppose 5*a - o = 13. Is a a prime number?
True
Let z(q) = -q**3 + 6*q**2 - 3*q - 4. Let t be z(5). Suppose -2*u = -5*s + 29, s + u = t*s - 32. Is s composite?
False
Let k = 18083 + -1036. Is k a prime number?
True
Let d(x) = 60*x**2 + 3*x + 1. Let k be d(3). Suppose 5*p - 1125 = k. Suppose -3*c - p = -8*c. Is c composite?
False
Is (20542/12 + 3)/(10/60) a prime number?
True
Let y = -46 - -66. Is ((-8)/(-15) + (-4)/y)*3261 prime?
True
Suppose -5*s - 9016 = -3*n, 0*s = -s + 1. Is n composite?
True
Let y be 10/(-8)*(-28)/7. Let q be (889 - -3) + (y - 2). Suppose -s - 4*s + q = 0. Is s a composite number?
False
Let n = -147 + 685. Let h = -199 + n. Is h a prime number?
False
Let b = -9 - -15. Let v be b/(-21) + 2/7. Suppose -5*x - 3*t + 347 = v, 0*x - 3*t - 122 = -2*x. Is x composite?
False
Let k(x) = 3*x**2 + 14*x + 5. Suppose -i + 35 = 5*g, g - 2*i + 3 = -1. Suppose 3*o - g = 24. Is k(o) prime?
False
Let l(q) = 0 + 20 - 1 + 22 + 14*q. Is l(18) composite?
False
Let c = 22 + -24. Is (122/(-6))/(c/18) a prime number?
False
Let x = 13 + -12. Is ((-10361)/(-26))/(0 - x/(-6)) prime?
False
Let w = -1761 + 6235. Is w composite?
True
Suppose -4*o + 5 + 21 = 2*t, -2*o - 17 = -5*t. Suppose -t*l + 1913 = -w, 5*l + 10*w - 1895 = 5*w. Is l a composite number?
True
Suppose -w - 2*j = 6, j - 2*j = 5*w - 6. Suppose -3*v + 20 = 2*t, -w*t - 4*v = 2*t - 32. Suppose 5*i - 12 = -z + 78, -t*z - 5*i = -345. Is z prime?
False
Is (-4 - 2) + -2 + 2 + 16419 a prime number?
False
Let g(n) be the second derivative of n**5/20 - n**4/3 - 3*n**3/2 - 5*n**2/2 - 16*n. Is g(9) composite?
True
Suppose 3*c = 0, -2*o - 2*c - 2*c - 4 = 0. Let z be (27/(-36))/(o/(-152)). Is (4/6)/((-2)/z) a prime number?
True
Let q(u) be the third derivative of -7/4*u**4 + 1/6*u**3 + 6*u**2 + 0*u + 0. Is q(-6) a prime number?
False
Let u = -103891 - -188934. Is u a composite number?
True
Let v(r) = -97*r**3 - r**2 + r + 2. Let g be (-6)/(-6 - -4) - 4. Is v(g) prime?
True
Suppose -o = 3, -5*u - 54*o + 51*o + 2326 = 0. Is u prime?
True
Let b(z) = -6*z - 12 + 0*z - 5*z + 1. Is b(-6) composite?
True
Let a = 1246 + -83. Is a a composite number?
False
Let g = -1 - 14. Is 1378 + ((-63)/(-15) - (-3)/g) a prime number?
False
Suppose 0*y - 3*y + 21 = 5*r, y = -3*r + 11. Suppose -3*s + 898 = m, r*m - 2706 = -s + 4*s. Is m a prime number?
False
Let w be 1482/18 - (-2)/3. Let t = w + -46. Is t prime?
True
Let j(n) = 3*n**2 - 3*n - 1. Suppose 5*x - 3*l = -8*l + 50, 0 = 4*x + l - 28. Is j(x) prime?
True
Let d(w) = -2*w**2 - 16*w - 14. Let z be d(-7). Suppose k - 233 - 66 = z. Is k a composite number?
True
Suppose 27*t - 261018 = 138015. Is t composite?
False
Is 5 - (8 - 6) - (-2 - 34532) prime?
True
Let h(x) = 30 - 63 + 20*x + 43 + 4*x**2. Let s = -23 - -15. Is h(s) a composite number?
True
Suppose -2*n + 5*o = -2, n + 5*o = -0*n + 1. Let r(h) = 2*h - 18. Let b be r(8). Is (b + n)/(1/(-31)) composite?
False
Let l be -3 + (-2 - 1) + 1. Let h be (-3)/(-1) + l - -131. Let n = h - 62. Is n composite?
False
Let p(l) = l**3 + 4*l**2 - 7*l - 7. Let i be p(-5). Suppose 92 = 4*b - i*y, -3*b + 7*y = 4*y - 72. Is (-929)/(-3) - b/30 composite?
True
Let l = 12 + -12. Suppose 3*f - 41 - 400 = l. Let g = -96 + f. Is g prime?
False
Suppose 0*l = 2*l - 178. Let s = 341 - l. Is s + ((-2)/(-1))/(-2) composite?
False
Let k(g) = g**3 - 16*g**2 + 14*g + 17. Let c be k(15). Suppose -o - 2*t + 1514 = t, 0 = -c*o + 2*t + 2988. Is o a composite number?
False
Let b = 32841 + -16484. Is b a prime number?
False
Let j be 123 + 0/4 - -2. Let m = j + -185. Is (-16959)/(-45) - 8/m a prime number?
False
Suppose 17*l - 1176 = 20*l. Let k = l - -733. Is k a composite number?
True
Let v be (-10)/(-15) - (-3920)/6. Let l = v + -257. Is l a prime number?
True
Let j = 17126 + -8097. Is j a composite number?
False
Suppose -3*a = -3*t + 49359, 3*t + 2*a - 56614 + 7235 = 0. Is t a composite number?
True
Let d(u) = -u - 739. Let o be d(0). Let s = -522 - o. Is s composite?
True
Let t = -24 + 32. Suppose t*w = 3*w + 2045. Is w a composite number?
False
Suppose -14 = 3*c + 4. Is (-1221)/c - 1/4*2 a prime number?
False
Let j = 82 - 68. Suppose 5*p - j*p = -2367. Is p prime?
True
Let i(u) = 4*u**2 - 10*u - 3. Suppose 5*l + 61 = 11. Is i(l) a composite number?
True
Suppose 11*a = 15*a - 16. Suppose 2*m = 2*c - 421 - 313, -c + 355 = -a*m. Is c prime?
False
Let k(t) = -3965*t**3 + 4*t**2 + 3*t + 1. Is k(-1) prime?
True
Suppose -2*d = -6*d + 3*q - 17, 3*q = 9. Is d + -193*(5 - 6) a composite number?
False
Suppose -14*u + 204 = -4234. Is u prime?
True
Let o(a) = 3595*a + 12. Is o(1) a composite number?
False
Let t = 424 + 779. Suppose -t - 948 = -3*m. Is m a prime number?
False
Suppose -5*f + 156 = -2*f. Suppose -3*v + 365 = -f. Is v composite?
False
Let j = -4475 + 17634. Is j a composite number?
False
Let g be ((-1894)/(-4))/(2/8). Let h = g + -533. Is h a composite number?
False
Suppose 5*m = -4*b - 0*b + 22, -2*m + 13 = 3*b. Suppose -3 = -b*l - 3*p - 0, -4*l - 5 = p. Is -5*l/(2/19) composite?
True
Suppose 0 = 793*w - 786*w - 122185. Is w prime?
False
Suppose v = -v + 1096. Let m be 8/(-16)*4 - -5. Suppose -2*z + v + 108 = 2*r, -982 = -m*z - 5*r. Is z a composite number?
True
Let i be ((-12)/(-21))/(6/42). Suppose -y = 5*c + 5 + 1, i*c = 2*y - 16. Suppose -57 = -y*u + 83. Is u a prime number?
False
Suppose 5*a - 8*n - 7640 = -3*n, -5*n = 5*a - 7670. Is a prime?
True
Let k be 158/(-14) - (-6)/21. Let t(v) = 3*v**2 + 12*v + 15. Let y be t(k). Let c = -101 + y. Is c prime?
False
Let g = 2121 - 1112. Is g composite?
False
Let z(m) = 3*m**3 + 18*m**2 - 9*m + 5. Is z(9) prime?
False
Let g be 11022/(-9)*(-6)/4. Suppose 3*y - g = -5*c, -3*c + 459 = -2*y + 1690. Is y prime?
False
Let x = -7 - -14. Suppose -4*w - m + x = -2*w, 21 = 4*w - 5*m. Suppose -2*d - 1123 = -3*p, 2*d + 1504 = w*p - 2*d. Is p prime?
Fals