number?
True
Let b be (-3)/(-6)*8 - -1483. Let t = b + -852. Suppose 10*s = 15*s - t. Is s composite?
False
Let a = 14761 + 15156. Is a a prime number?
True
Suppose 23198 = 24*q - 10*q. Is q prime?
True
Let y(d) = 4*d**2 + 37*d - 43. Is y(-18) a prime number?
True
Suppose 11*w - 6*w + 325 = 0. Let s = w + 1074. Is s composite?
False
Let r(s) = 59*s**2 - 2*s + 4. Let j = -48 - -45. Is r(j) a prime number?
True
Suppose r - 1025 = q, 0*q - 2*q = 2*r + 2058. Let o = -120 - q. Is o a composite number?
False
Let k(z) = z**2 - 2*z + 6. Let d be k(5). Let v(r) = -d + 4*r - 2*r**2 + 8*r**2 + 4. Is v(-14) a prime number?
True
Let b = -13597 - -24998. Is b a prime number?
False
Suppose 0 = 12*d - 7*d + 20. Is (-4 + -130)*(d + 3) composite?
True
Let g = -39306 - -71149. Is g a composite number?
True
Let d(y) = 3*y**2 + 20*y + 21. Let i(k) = 4*k**2 + 21*k + 21. Let q(l) = 3*d(l) - 2*i(l). Let o be q(-17). Let x(h) = 13*h**2 - 4*h - 1. Is x(o) a prime number?
True
Let c(d) = 20*d**3 - 2*d**2 + 2*d - 4. Let r be (-6)/39 - 37/13. Let b be c(r). Is (b/6)/(4/(-6)) composite?
True
Suppose 24 = 5*b - 2*r, b + b - 5*r + 3 = 0. Let i be (3/b*0)/(-2). Suppose z - n + i*n - 8 = 0, 0 = -5*z + 3*n + 36. Is z a prime number?
False
Suppose 6*r = 38349 - 3783. Is r composite?
True
Let k(y) = 4024*y - 2. Let p be k(-1). Let u = p - -6547. Is u prime?
True
Let a be (8/20)/2 - (-21356)/20. Suppose 0 = 5*s - a - 197. Is s prime?
False
Let d(f) be the second derivative of 2*f**5/5 - f**4/12 - f**3/6 + f**2/2 - 2*f. Let k be d(1). Suppose -9*h + k*h + 26 = 0. Is h a composite number?
False
Let d(g) = 10*g**2 + 5*g - 7. Let y(p) = -10*p**2 - 4*p + 7. Let h(s) = 4*d(s) + 3*y(s). Is h(8) a prime number?
False
Suppose 16 + 40 = 14*g. Suppose 3*i = g*j + i - 3802, 5*j - 2*i = 4755. Is j prime?
True
Let y(b) = -14*b**2 - 5*b + 5. Let a be y(-6). Let x be (-1)/(-1 + 0) - a. Suppose x = 5*z - 485. Is z a prime number?
True
Let t be 0 + 1 + (-5 - -10). Suppose t*w = -34 + 568. Let p = w + 122. Is p a composite number?
False
Let t(o) = -2*o**3 - 2*o - 2. Let x be t(-1). Suppose -x*m = -221 - 1437. Is m a prime number?
True
Suppose 2*d - 4*d = -4*k + 26, 4*k = -3*d + 11. Suppose -2*l + 5*l - k*g = 535, 2*l + 4*g = 386. Is l a composite number?
True
Suppose -4*z - 46553 = -3*h, -2*z = h - 9485 - 6016. Is h prime?
True
Is 1572*(-630)/(-81) - (-2)/6 composite?
False
Suppose -3*d + 13 = 3*u - 14, -3*u = -4*d + 8. Suppose -643 = 5*t + 2*g - d*g, -g + 520 = -4*t. Let l = -48 - t. Is l prime?
True
Let q(d) = -190*d + 47. Is q(-5) composite?
False
Let u = -1147 - -2430. Is u prime?
True
Let u = -129 + 396. Suppose -243 = 4*k - 995. Let p = u - k. Is p composite?
False
Let g = 9 - 7. Suppose 2 = 2*j + 2*c, -4*j + g*j + 1 = c. Suppose 0 = 5*y, j*x + 121 = x + 2*y. Is x prime?
False
Is ((-492)/9 + 5)/((-4)/156) composite?
True
Suppose 0 + 3 = -z. Let k(g) = -16*g**3 + g**2 - g - 1. Is k(z) a composite number?
False
Let y(m) = m**2 - 13*m + 4. Let s be y(13). Suppose 12 = -s*d - 3*i, -3*i + 8 + 4 = -4*d. Is 2/d + 644/12 prime?
True
Suppose -6*t + 2358 = -1848. Is t prime?
True
Suppose 3 + 12 = -3*g, -14 = 3*s + 4*g. Suppose -r + 10 = -0*h + s*h, 0 = -h - 2*r - 1. Let u = h - -4. Is u a composite number?
False
Let l be 4/(-6)*264/(-16). Let s = 45 - l. Is s a composite number?
True
Let q(h) = 15*h**2 - 4*h + 1. Let a be q(4). Let f = a + -128. Is f a composite number?
False
Let a = 399 - 106. Is a composite?
False
Let m be ((-60)/(-36))/((-1)/(-3)). Suppose 5*d + m*j - 382 = 2438, 0 = -d - 2*j + 569. Is d a composite number?
True
Is (-41156375)/(-2635) + 2/(-17) composite?
False
Let t = -6381 + 11712. Is t prime?
False
Let v be (-2)/14 + (-136362)/(-14). Suppose 50*o + v = 54*o. Is o a prime number?
False
Let c = 6186 + -1769. Is c composite?
True
Let v be (24/(-18))/((-2)/3). Suppose 0*k - j + 123 = -k, 0 = v*j + 6. Let c = 75 - k. Is c composite?
True
Suppose 48709 = y - 264*q + 263*q, 3*q = -2*y + 97418. Is y a composite number?
True
Suppose -4*g = 5*y - 38, 49 = 4*y - 3*g - 0*g. Let s(v) = 596*v - 57. Is s(y) prime?
True
Let m = 12353 - -245. Is m a composite number?
True
Let r = -40 + 43. Is (40/12 - r)*903 a prime number?
False
Let j = 3 - -2. Let m be (-2 - (-52)/14) + 6/21. Suppose -200 = -d - m*n + 109, -d - j*n = -312. Is d a prime number?
True
Suppose -4*w = -4, 2*t = 3*t - 3*w + 1. Suppose t*q + 629 = 2943. Is q a prime number?
False
Let z = 780 + 267. Is z composite?
True
Suppose -n = 1, -2*v - 5*n = -2*n - 20107. Is v composite?
True
Let r(s) = -s + 10. Let l be r(7). Suppose v - 160 = -l*c, v - 4*v + 425 = -2*c. Is v a prime number?
False
Suppose -3*i + 3265 = 2*i. Suppose 2*o - 161 - i = 0. Is o a prime number?
False
Suppose -244097 = -51*c + 639580. Is c a composite number?
False
Suppose 3*o = o + 1028. Let h = o + -247. Is h composite?
True
Suppose 2*d + 11*d - 7189 = 0. Is d composite?
True
Suppose -9*b = -3*p - 11*b + 24, 0 = p - 4*b + 6. Let r(a) = 5*a**2 + 5 + 3*a + 4*a - 2*a**2. Is r(p) a composite number?
True
Suppose 150 = 3*q - 231. Is q composite?
False
Suppose 5*m - l = 25140, 4*l = -m + l + 5044. Is m prime?
False
Suppose 11*s + 65926 = 183395. Is s a prime number?
False
Suppose 3 - 421 = -2*v. Let i = -120 + v. Is i a prime number?
True
Let s be 38/171 + (-56)/9. Let g(d) = -4*d**3 + 10*d**2 - 24*d - 21. Let z(l) = l**3 - 3*l**2 + 8*l + 7. Let w(c) = 2*g(c) + 7*z(c). Is w(s) composite?
False
Suppose 4*t + 12*h - 8*h - 2040 = 0, -4*h = -3*t + 1565. Is t prime?
False
Suppose 28*h - 68065 = 280171. Is h a prime number?
True
Let p = 8 - 7. Let a be (0 + -1)/(p/(-2)). Suppose 0 = 7*f - a*f - 30. Is f prime?
False
Let d(v) = -v**2 + v. Let t(y) = -118*y**2 - 5*y + 4. Let s(k) = -6*d(k) - t(k). Is s(3) composite?
False
Let z(j) be the second derivative of -j**3/6 + j**2/2 + 4*j. Let l be z(-3). Suppose l*m - h - 3674 = 2*h, -m + 913 = 2*h. Is m composite?
True
Let h = 5370 + -3323. Is h prime?
False
Suppose 30 = 4*i - 66. Suppose r = 2*p + 8, 0*r + 2*p + i = 5*r. Suppose -4*c = 5*a - 1399, -2*c + r*c = -5*a + 707. Is c prime?
False
Let o(t) = -24*t**3 - 3*t - 3. Let w be ((-39)/26)/(3/4). Let k be o(w). Suppose -7*y + 2*y = -k. Is y composite?
True
Let b be ((-2)/3)/((-4)/(-6)). Let l(f) = 3*f**2 - 10*f**3 + 2*f**2 + 1 - 122*f**3 - 7*f**2. Is l(b) composite?
False
Suppose 5*s + 4*g = -60, -33 = -s + 2*s + 5*g. Let x(d) = -162*d - 14. Is x(s) prime?
False
Suppose -f - 5*u = -0*u + 421, 4*f = 3*u - 1638. Let l = f - -822. Is l composite?
True
Suppose s = 3*o - 2*s - 17562, 5*o + 4*s = 29252. Suppose -4*w = -2*t - o, 2*t = 3*w - 0*t - 4387. Is w composite?
True
Suppose 2*t - 3*z + 4*z = 932, -5*t - 2*z = -2331. Suppose t = 3*a - 247. Let v = a - 105. Is v a prime number?
False
Suppose -3*p + 14 = -2*p + 5*i, 0 = p + i - 6. Let r(v) = -1 + 4 + 3*v**2 + 0 - 4*v. Is r(p) prime?
False
Let q(p) = p**3 - 4*p**2 - 13*p + 13. Let o be q(10). Let c = o - 1065. Is (-1)/2 - c/4 a composite number?
True
Suppose -49 = -y + 4*u, 4*u = 8 + 12. Is y prime?
False
Let x(c) = -102*c**3 + 4*c**2 - 7*c - 8. Is x(-5) a prime number?
False
Let c(o) = -2*o**2 + 12*o + 2. Let f be c(6). Suppose -f*h - 5*g + 1022 = -h, 4*h - 4037 = -3*g. Is h a composite number?
True
Suppose 0 = 83*c - 66*c - 50711. Is c a prime number?
False
Suppose -5*x - 4*s + 51727 = -2*x, -s - 2 = 0. Is x a prime number?
False
Let j = -1225 + 2102. Is j a prime number?
True
Suppose -350*d + 362*d - 18324 = 0. Is d a prime number?
False
Suppose 0 = 115*c - 122*c + 20461. Is c a prime number?
False
Suppose -3*y + 3844 = -4148. Suppose 4*p + 1463 = b, 0 = -4*b + 5*p + 3188 + y. Suppose -3*d + b = 242. Is d prime?
False
Suppose 18 - 6 = 4*x. Suppose 5*q + x*b = 1249, -4*b = -5*q + b + 1265. Is q a composite number?
False
Suppose -3*t + 9479 = 2*s, -4*t + 5037 + 9182 = 3*s. Is s a composite number?
True
Let s = 55380 + -37733. Is s prime?
False
Let o(v) be the third derivative of 4/3*v**3 - 139/24*v**4 + 0 + 0*v - 8*v**2. Is o(-5) a prime number?
False
Let y be (2 + 4740/18)*(-6)/(-4). Suppose 183 = 5*s - v - 812, 2*s + v = y. Is s prime?
True
Let z(t) be the second derivative of t**7/420 + t**6/360 + t**5/60 - t**4/8 + 2*t**3/3 + 4*t. Let a(g) be the second derivative of z(g). Is a(4) a prime number?
True
Let j(v) = -2*v**3 + 7*v - 2.