v + 3. Let a be t(7). Let k(c) = -3*c**3 + 6*c**2 + 9*c + 19. Let p be k(-5). Let o = p - a. Is o composite?
True
Let j = -1 - 3. Let d = j - -75. Let v = d + 20. Is v a prime number?
False
Let k be 7 - ((-1)/5 - 32/(-10)). Let r(y) = -15*y + 2. Let m(d) = -14*d + 2. Let t(i) = 4*m(i) - 5*r(i). Is t(k) a prime number?
False
Let k(b) = 2*b**2 + 25*b - 9. Let r be k(-13). Suppose -r*z = 5*u + z - 2345, u - 2*z = 463. Is u a prime number?
True
Suppose -2*f + 4083 = f. Is f composite?
False
Let y(c) = 17*c**2 - 5*c - 7. Suppose 0*f = v - f + 3, 0 = -5*v - 5*f - 45. Is y(v) prime?
False
Let n(f) = 20*f**2 - 38*f - 37. Is n(30) a composite number?
False
Let o = -7 + 20. Let f = -13 + o. Suppose f*p + 310 = 5*p. Is p a composite number?
True
Suppose 6*b - 20 = 2*b. Suppose 7*h - 2*h - v - 21 = 0, h - 3*v = -7. Suppose 758 = 4*c - c + k, h = -b*k. Is c a composite number?
True
Let t(h) = -h**2 - 6*h - 10. Let x be t(-7). Let m(b) = -b**2 - 7*b - 6. Let u be m(-7). Is x*(3/(-3) + u) prime?
False
Let o(g) = -3*g + 37. Let s be o(15). Let c(q) = -125*q + 27. Is c(s) a composite number?
True
Let q = -529 + -487. Let t = q + 1737. Is t a composite number?
True
Suppose 18*s = 19*s - 25249. Is s a prime number?
False
Let y = 17 + -26. Let b(z) = -z + 28. Is b(y) prime?
True
Let n(r) = 37*r**2 - 3*r - 45. Is n(-13) prime?
True
Let y(t) = 7*t - 3. Let c be y(1). Suppose 0 = -c*m + 3*m + 635. Is m prime?
False
Let v be 1*-2 + (6 - 625). Let p = v - -1086. Let s = 782 - p. Is s prime?
True
Let c(q) = -220*q. Suppose -2*f + 12 = -6*f + 2*h, 4*f + h = 0. Let v be c(f). Suppose -5*y = -y - v. Is y composite?
True
Suppose 20 = 2*v - 6. Let j(n) = n**2 - 12*n - 6. Let z be j(v). Suppose 2*h + z*w - 3*w = 438, 0 = w + 2. Is h composite?
False
Let x(r) = 3*r**3 - r**2 + 8*r - 3. Let s(d) = -7*d**3 + 3*d**2 - 15*d + 5. Let p(h) = 2*s(h) + 5*x(h). Is p(7) a composite number?
False
Is ((-9)/6 - -2)/((-24)/(-183072)) a prime number?
False
Is 54952/(-32)*-12 + 10 prime?
False
Let h = 27 - 18. Let t be (-4)/18 + 641/h. Let a = 322 + t. Is a composite?
True
Suppose a = -4*t + 4*a + 36115, -4*a + 27105 = 3*t. Is t composite?
True
Let z(s) = 2*s**2 - 19*s - 4. Let f be z(10). Suppose -f*h = -h - 475. Is h composite?
True
Is 202036/12 + (-6)/(-9) composite?
True
Suppose 22 + 43 = 13*v. Suppose -v*z = -z - 5*o - 942, z = -2*o + 229. Is z composite?
False
Is (6 + -9)*(-43468)/12 a composite number?
False
Let u be (-52)/(-2*1/3). Let g be u/10 + 8/40. Is (-12)/g*614/(-3) prime?
True
Let t(h) = -33*h + 1. Let a(x) = 67*x - 2. Let k(u) = -6*a(u) - 15*t(u). Let w = -3 + 5. Is k(w) composite?
True
Suppose 4*s = -3*o + 10811, s + o = -s + 5407. Is s composite?
True
Suppose -5*d = 5*k - 15065, 2*d - 7*d = 0. Is k prime?
False
Suppose -12 = c + 5*o, 3*c + 3*o + 8 = 2*o. Is (2700/3 - -3) + c a composite number?
True
Let b(l) = -108*l**3 - 6*l**2 - 9*l + 4. Is b(-3) a composite number?
True
Suppose -8*h + 814 = -1026. Let u = 819 + h. Is u composite?
False
Let r be (-681)/(((-21)/2)/(-7)). Let d = r + 1251. Is d composite?
False
Let i be 1*(4/2 + -1). Suppose 2*s + 5 = i. Is -1 + 125 + s + 5 a prime number?
True
Suppose 0 = 2*x - 4, 3*t - 2*x = -0*t + 56. Suppose -4*h = -4*i - t, -h - h = 3*i + 15. Suppose 4*s - 194 = p, h*s = s - 2*p - 45. Is s composite?
True
Let r be 27/(-45) - (-4593)/5. Let g = r + -537. Is g prime?
False
Let b(p) = 3*p**2 + 6*p + 13. Is b(12) a composite number?
True
Let b(z) = 43*z - 35. Let k be b(4). Suppose k = -2*p + 3*g + 1024, 2226 = 5*p + g. Is p composite?
True
Let p = -12158 + 21891. Is p a composite number?
False
Suppose -2*z - 4*t - 8 = -z, -4*t + 8 = -3*z. Let g = 10 + z. Let u(x) = 9*x - 8. Is u(g) prime?
False
Let o(r) = 22*r - 37. Let t(s) = -23*s + 37. Let p(k) = -3*o(k) - 4*t(k). Is p(19) a composite number?
False
Let y = 2 - -1. Let l = -15 - y. Is ((-132)/l)/((-2)/(-87)) a composite number?
True
Suppose 5*y - 3560 = -1180. Let l = y - 181. Suppose 0*v + l = v. Is v a composite number?
True
Let b = -39 + 43. Is (573/b)/((-2 + 0)/(-8)) prime?
False
Let p be (-2)/(-2) + (-1 - -3). Let v = p - 1. Suppose -4*l + h + 39 = 0, -37 = -v*l - 4*h + h. Is l a composite number?
False
Is 20/(-4) + -7 + (1918 - -1) prime?
True
Let n(f) = 104*f + 44*f + 34*f + 16 - 32*f. Is n(3) a composite number?
True
Suppose 4*x - 20 = -2*a, 2*a + x - 32 = -0*a. Is (a + 3)*177/9 a prime number?
False
Let l(f) = -f**2 - 11*f + 16. Let h be l(-13). Let z = 46 + h. Suppose 23 = 3*v + 4*u, v + 3*v = -4*u + z. Is v a prime number?
True
Let l(i) = 292*i**2 + 6*i - 23. Is l(4) a composite number?
False
Let r = -861 - -2080. Is r a prime number?
False
Is 9/(-54) - (-316046)/12 composite?
True
Let b be (1689 - 7) + 1 + 1. Let i be 1*b/((-4)/(-1)). Let x = i + -230. Is x prime?
True
Let p be 1 + -2 + 3 - (4 - 0). Is (2456/(-24))/(p/6) a composite number?
False
Suppose -2*c + 16749 = 4*q - 5*q, 3*q + 25116 = 3*c. Is c a prime number?
True
Suppose -x = -d - 22, 0 = 5*x - 0*d + d - 128. Suppose 4*j = -j + x. Is j - 2 - (-1 + -93) composite?
False
Let d(y) = 1610*y + 213. Is d(8) prime?
True
Let d be -9 + 11 + -1 + -57. Let i = d - -81. Suppose 2*l + 4*n - 75 = -l, -i = -l - 4*n. Is l prime?
False
Let s = 1450 + -2327. Let h = -138 - s. Is h a prime number?
True
Suppose 36 = 3*y - 0*y. Suppose 3*j + 2*z - y = -0*z, -3*z = j - 4. Is 1/j - (-262)/8 prime?
False
Suppose -2*n = -12884 - 4360. Suppose 7*a - n = -2399. Is a composite?
True
Suppose 0 = 4*x + 3*t - t + 348, -2*t = -2*x - 174. Let g = x - -232. Is g a prime number?
False
Let k = -12 + 17. Suppose a + k*h - 2084 = 0, 5 = -h + 2. Is a prime?
True
Suppose -45537 = -n - 7030. Is n prime?
False
Let t(a) be the second derivative of 5/6*a**4 + 0 + 2*a - 5/2*a**2 - 4*a**3. Is t(-16) a composite number?
False
Suppose 2*i - 10*i + 16 = 0. Suppose -9 = -a - 5*r, i*a + r = -0*r + 18. Is a a prime number?
False
Let v = 1300 - 2307. Let n = -506 - v. Let j = n - 278. Is j prime?
True
Suppose -1584 = -2*t + 562. Is t prime?
False
Suppose 25*d + 26090 - 169365 = 0. Is d a prime number?
False
Suppose -9829 - 3911 = -12*z. Is z a composite number?
True
Suppose 7*h = 6714 + 6103. Suppose -4*v - h = 1165. Let w = v + 1336. Is w composite?
False
Suppose 0 = -7*t + 4*t + 9. Suppose 5*k = t*i + 175, -3*i - 2*i = k + 245. Let b = i + 83. Is b a composite number?
True
Suppose 21*s - 23*s = -100994. Is s composite?
False
Suppose m + m = 0. Suppose 3*v + m*j = 5*j + 520, 2*v = 4*j + 348. Let z = -87 + v. Is z a composite number?
False
Let q = 35 + -27. Let j(l) = 37*l + 3. Let s be j(q). Let m = -136 + s. Is m a prime number?
True
Suppose -i + 2*z = -3, i - 7*z - 6 = -2*z. Let t = 1 - i. Is t/(-2) + (-8 - -15) composite?
False
Let i = -617 + 1264. Is i a prime number?
True
Let s = 1 + 13. Let d(t) = -7 - 2 + 6 + s*t. Is d(5) a prime number?
True
Let w be 2/3 + 12/90*-5. Suppose w = -0*u + u - 381. Is u composite?
True
Suppose -5*r = -8*r + 1494. Suppose -v = -0*v + r. Is (v/5)/(6/(-15)) a composite number?
True
Suppose 0 = -8*i + 5*i + 24. Suppose -4*x + i = 0, -2*x = -5*r - 1183 - 696. Let c = r - -541. Is c composite?
True
Suppose 5*d + 0*p + 4*p + 17 = 0, -3*d = -p + 17. Let w be (-18)/30 - (-1072)/d. Let b = -66 - w. Is b composite?
False
Let j = -21697 + 36380. Is j composite?
False
Let k(r) be the first derivative of -r**6/15 + r**4/24 - r**3/3 + 2*r**2 + 6. Let g(s) be the second derivative of k(s). Is g(-3) composite?
False
Let l be 3159 - (1/3 - 16/(-24)). Let q = l - 1852. Is q a prime number?
False
Let n be (0 + -1)/(4/(-116)). Suppose 32*r = n*r + 2211. Is r a prime number?
False
Let r be 10/(-45) + (-238)/(-18). Suppose 0 = r*u - 15*u + 9594. Suppose -3*d + u = -3*t, -4*d - d + 7983 = t. Is d prime?
True
Let l(i) be the second derivative of -15*i**3/2 - 13*i**2/2 + 7*i. Let a be l(-7). Suppose -3*g = 2*u + g - a, -5*g = 5*u - 750. Is u a prime number?
True
Suppose -37930 = -31*d + 60433. Is d a prime number?
False
Suppose 3809*i - 3806*i - 47577 = 0. Is i a composite number?
False
Let k(h) = 66*h**2 + 3. Let x be k(6). Suppose -3*a - x + 9921 = 0. Suppose -2*n + a = 4*n. Is n composite?
False
Let k(c) = 28*c - 103. Is k(23) composite?
False
Let q(y) = -48*y - 4. Let o be q(-6). Let a = -161 + o. Let b = a - 8. Is b a composite number?
True
Su