rime?
True
Let j = -25514 + 42060. Is j composite?
True
Let o = 14 - 9. Suppose 0 = 5*p - 10 - 5, -2336 = -o*z + 3*p. Is z composite?
True
Is 1/(((-4)/12842)/(-2)) prime?
True
Suppose 722 = -2*v - 3*t + t, 5*t + 20 = 0. Let l = 844 + v. Is l composite?
False
Let k = -7 - -8. Let h be k*(328 - (-6 - -3)). Suppose 0 = -8*y + 9*y - h. Is y a prime number?
True
Let i = 20706 + -8137. Is i prime?
True
Is 24799 - ((-18)/9 - 6) composite?
True
Suppose 2*j - 3*j - 17 = 0. Let t = -23 - j. Let y(r) = 4*r**2 - 4*r - 5. Is y(t) a composite number?
False
Suppose -s = a - 4*a - 1, -4*s = 3*a - 19. Let p(j) = -4 + j**2 + 3*j**2 + 9*j - 6 - s*j. Is p(7) a prime number?
False
Suppose -2*q + 3965 = r + 764, 4*r - 4 = 0. Suppose 0 = 4*a - 3*o - q, 4*a = -7*o + 2*o + 1568. Is a composite?
False
Let c(t) = 42965*t**2 + 3*t - 6. Is c(1) prime?
False
Let z(p) = -23*p + 13. Let j be z(4). Let q = j - -162. Is q prime?
True
Suppose 11*w - 155 = 241. Suppose -13*k = -2*y - 9*k + w, 2*k + 48 = 4*y. Is y prime?
False
Suppose 6*v + 9978 = 12*v. Let d = v + -876. Is d a composite number?
False
Suppose 28*b = 27*b + v + 5816, 0 = -v + 2. Is b a composite number?
True
Suppose 0 = 19*m - 21*m - 30. Let y be ((-5)/m)/(2/6). Is y*3/(-6)*-38 prime?
True
Let k = 8932 + -4385. Is k prime?
True
Suppose -3*w - c + 12 = c, 2*c + 30 = 4*w. Let d(g) = 18*g - 7. Let j be d(w). Let x = j + -42. Is x composite?
False
Suppose 13*z - 9*z - 4*i - 29392 = 0, 0 = -4*i - 8. Is z prime?
False
Let u(v) = -v**3 - v**2 + v + 1. Let t(z) = -8*z**3 + 2*z**2 - 13*z. Let q(y) = -t(y) + 3*u(y). Is q(7) a composite number?
True
Suppose -23686 = -10*w + 16534. Is w a composite number?
True
Suppose -4*l - 11939 = -8*y + 7*y, -2*l + 59739 = 5*y. Is y a composite number?
True
Suppose 7 = -2*f + 5. Is f*(718 + 1)*(6 - 7) a composite number?
False
Let g(q) = -2*q + 8. Let z be g(4). Let r(v) = -v**3 + v**2 - 2*v + 401. Is r(z) prime?
True
Suppose -3*t = -6 - 3. Suppose -b + 1 = 5*z + 4, t*b = -2*z + 43. Let k = b - -546. Is k prime?
True
Let n(g) = 293*g - 158. Is n(15) a composite number?
True
Let m = 4151 - 1758. Is m composite?
False
Let c be 3 + 58*(-17)/2. Let m = -255 - c. Suppose m = 2*i + 81. Is i composite?
True
Is 14248377/351 + (-8)/3 composite?
False
Let z(r) be the second derivative of 3*r**5/20 - 7*r**4/12 + 4*r**3/3 + r**2/2 + r. Let q be z(6). Suppose -q = -2*d - 3*d. Is d a composite number?
False
Suppose 2*g = -4*i + 8, 1 = -3*i - 5*g - 0. Suppose -6*h + i*h + 7629 = 0. Is h a prime number?
True
Suppose 26*y = -0*y + 23218. Is y composite?
True
Suppose 4*d - 3090 = 2*i, -d + 0*d + 1548 = -i. Is 3/(-9)*(i + 6) composite?
True
Let n(y) = 7*y - 40. Let v be n(6). Suppose -v*q + 2*l = 4*l - 2400, 0 = -4*q - l + 4785. Is q a composite number?
True
Let p = -429 - -628. Is p prime?
True
Let k be (-3)/5 + (-96)/(-10). Suppose k*z - 20 = 4*z. Suppose z*y = y + 1221. Is y a composite number?
True
Suppose -t - 5*j = 2*t + 105, 5*t + 153 = -j. Let l be (-2)/7 - t/7. Suppose -l*u = -2*u - 262. Is u a prime number?
True
Let a(w) = 8*w - 4322. Let z(u) = 4*u - 2161. Let f(v) = -6*a(v) + 11*z(v). Is f(0) composite?
False
Suppose 12*b = -0*b + 32676. Is b a prime number?
False
Is (-3)/(-1) + (-8 - -15 - -7819) a prime number?
True
Let v = 174 + 133. Is v composite?
False
Let d = 45 - 23. Let a = d - 6. Let k = a - 7. Is k a composite number?
True
Let h(l) = -1008*l - 449. Is h(-33) prime?
False
Is 4 + 133264/14 - (-3)/21 a composite number?
True
Let y(m) = -2*m**2 + 1. Let k be y(-1). Suppose 13944 = 7*o + 35*o. Is -2 + o - 2 - k a prime number?
False
Is ((-222)/(-15))/((-8)/(-940)) composite?
True
Is 4*((-4725)/(-20) + 2) a composite number?
False
Let n(c) = -6*c**3 - 6*c**2 - 6*c - 1. Suppose 4*w + 27 - 3 = 0. Is n(w) prime?
False
Let a = 4 - 0. Suppose -2*u + 4*t + 644 = 0, -a*u + 0*t = -2*t - 1264. Is u a prime number?
False
Let w be -3*10/(-6)*-37. Let j = -54 - w. Suppose -3*a + 211 + j = 5*d, 3*a - d = 360. Is a a prime number?
False
Suppose 8 - 26 = -2*p. Suppose 0 = -t - 5*k - 10, -2*k - 40 = -5*t - p. Suppose -4*d + 47 = -4*o - 1041, 2*d + t*o = 509. Is d a composite number?
True
Let s(q) be the second derivative of -q**5/20 - q**4/6 + 2*q**3/3 + 7*q**2/2 + q. Is s(-5) composite?
True
Suppose -3*d + 15 = b + d, 6 = b + d. Let r be 1/(0 + b + -4). Is 345 + 4/r - 4 prime?
True
Is ((-125082)/(-10))/3 + 82/(-205) prime?
False
Let q = 20 - 18. Suppose -q*g = -5 - 149. Is g prime?
False
Suppose -36*d + 4*d = -3455968. Is d a composite number?
False
Let o(l) = -2*l**2. Let n be o(1). Let t(j) = 54*j**2 - 3*j - 5. Is t(n) prime?
False
Let d(k) = -k**3 + 2*k**2 + 2*k + 4. Let z be d(3). Let u(m) = 211*m. Is u(z) prime?
True
Let l(o) = 8*o**3 - 2*o**2 + 4*o - 2. Let m be l(3). Is m + -4 + 2 - 3 composite?
True
Suppose 2*q - 6*q + 3473 = s, 4*s = 4. Suppose q = i - 803. Is i composite?
True
Let k = 132 + 15. Suppose -s = -k - 242. Is s a prime number?
True
Suppose 21*h = 17*h. Suppose h = -25*k + 23*k + 8218. Is k a composite number?
True
Let w = -240 + -91. Let g = w + 480. Is g a composite number?
False
Suppose -q - 3*b - 7 = 6, 5*q + 29 = -3*b. Is (-982 - 0)*(q - 14/(-4)) a prime number?
True
Suppose 6*f = -0*f + 30. Suppose -b + f*i = -0*i - 309, 4*b + 4*i - 1332 = 0. Is b prime?
False
Let z be 0*2*(-3)/12. Let a(k) = k**3 - k**2 + 797. Is a(z) composite?
False
Let v = 75 - 39. Is ((-9)/v)/((-1)/2972) composite?
False
Suppose 3*q - 36 = 3*n - 3, -3*n + 3 = 0. Suppose 0 = q*c + 3*c - 41145. Is c a composite number?
True
Let g be 2304/(-5) - (-11)/(-55). Let c = 1110 + g. Suppose -c = -3*v + 146. Is v a prime number?
False
Let k be ((-144)/(-60))/((-2)/(-5)). Suppose -3*v + k = -0*v. Suppose 0*n + 163 = 2*n + 3*h, -v*n + 5*h = -187. Is n prime?
False
Suppose 2*v + 2*v = 3*m - 23, -2*m = 2*v - 6. Suppose -4*o + 1 = -5*b, 4*o = -0*b - m*b + 31. Suppose -2*w + 2 = 5*s - 3, 0 = -5*s - b*w. Is s prime?
True
Let p = -290 + 583. Is 4/(-16)*-4 - -2*p prime?
True
Suppose -43760 = -29*l + 4931. Is l a composite number?
True
Let w(c) = -c**2. Let y be w(0). Let z(l) = 2*l + 613. Is z(y) a composite number?
False
Suppose w = 3*m + 4, -4*m + 8*m + 16 = 0. Let c(i) = 4*i + 0*i**2 - 6 + i**2 + 0*i**2. Is c(w) a composite number?
True
Let b = -5 + 7. Suppose 5*q - 2*s - 91 = s, -q - 5*s + 35 = 0. Suppose q = -4*j - 0*j, -2*j = -b*x + 76. Is x composite?
True
Let v(k) = -228*k + 16. Let h(j) = 76*j - 5. Let p(c) = 7*h(c) + 2*v(c). Is p(2) a prime number?
True
Let o = -30 - -32. Suppose -3*m - 5*r = -957, 2*m - 3*m + o*r = -319. Is m a composite number?
True
Let j(w) = -71*w + 55. Is j(-6) a prime number?
False
Let i(a) = 53*a - 61. Let r(y) = -26*y + 30. Let x(g) = -3*i(g) - 7*r(g). Is x(8) prime?
True
Let i be -3 - -3 - (-528 + (2 - 1)). Suppose -5*x + 292 = s, 2*s - 2*x - 93 - i = 0. Is s a composite number?
False
Suppose 2*n - 4*r = 0, 0 = -3*n + 4*r - 0*r + 4. Suppose -n*h - 2*u = -509 - 13, -h + 108 = 5*u. Is h composite?
True
Let f(n) = -26*n**3 + 3*n**2 - 5*n - 10. Let w be f(-4). Suppose -4*u + w = -626. Is u a prime number?
True
Suppose -4*v = -0*v + 2292. Is -1 - -2 - 1 - v prime?
False
Suppose -x = -5*a + 10, 0*x - 4 = -3*x - 2*a. Is -1 + -1 + x + 415 prime?
False
Let s = 153497 + -74384. Is s prime?
False
Let y(z) = 115*z**2 + 21*z - 9. Is y(4) composite?
True
Let o(q) = q**2 - 10*q - 6. Let m be o(11). Suppose -71 = -m*g + 1224. Is g a prime number?
False
Let k be (3080/12 - -6)*(-6)/(-4). Suppose 4*n = 114 + k. Is n a composite number?
False
Let d = 2311 - 1072. Suppose -3*x = -2*q + 5436, -4*x + d = q - 1490. Is q composite?
True
Let s(p) = 4*p**3 - 15*p**2 + 5*p + 7. Is s(5) a prime number?
True
Suppose 0*y - a - 1479 = -3*y, -4*a = 0. Is y a prime number?
False
Let t = 9 + -7. Let u be ((-20)/5)/(t/3). Let r(j) = 7*j**2 + 9*j + 3. Is r(u) a composite number?
True
Let u be (-3)/5 + (-18)/(-5). Let d be 9/u + -4 - -43. Let j = d + 23. Is j a prime number?
False
Suppose -3*n + 4*l - 78 = 0, 0 = -2*n - 2*l + 4*l - 54. Let m = n - -46. Is 3/4 - (-6084)/m a prime number?
False
Suppose -1 - 5 = -2*i. Suppose -2*z - 83 = -5*j - 229, z + i*j = 95. Is z a prime number?
True
Let i be 0 - (-3)/((-6)/656). Let s = -160 - i. Suppose 5*q = 3*o - s, 0*o = -5*o - q + 252. Is o a prime number?
False
Let d(x) = -x**2 + 3