 = -4*d + 0*d**2 + 2*d**2 + 2 - 5. Is m(-2) a composite number?
False
Let x(i) = 5*i - 4 - 3 + 6 + 2*i + 2*i**2. Is x(-5) prime?
False
Let g = 647 + -424. Is g composite?
False
Suppose 0*l = -3*l + 15. Suppose 0 = 2*g - 4*t - 724, 478 = 4*g - l*t - 967. Suppose 5*v = 5*m + g + 290, 4*v - 527 = -3*m. Is v a composite number?
False
Let n(u) = -88*u - 2. Let t(k) = -29*k - 1. Let h(b) = 6*n(b) - 17*t(b). Is h(-4) composite?
True
Let f(y) = y**3 - 8*y**2 - y + 10. Let m be f(8). Suppose -j = -m*j + 42. Suppose 5*t = 53 + j. Is t composite?
False
Suppose 0 = 5*s + 1 + 14. Let h = s + 1. Let b(g) = 5*g**2 - 1. Is b(h) prime?
True
Suppose 2*i - 7*i - 5*s = -815, 0 = -2*s. Is i prime?
True
Is ((-293)/4)/(6/(-24)) composite?
False
Is 2*1793 + 3/3 a composite number?
True
Suppose 3*l + i - 2133 = -668, -i + 2443 = 5*l. Is l a composite number?
True
Let r = 1044 + -601. Is r prime?
True
Suppose -5*t + 22 = 4*u - 3*u, -4*t + u + 14 = 0. Let l(j) = 20*j - 6. Is l(t) prime?
False
Is (2/1)/(-2*9/(-16209)) composite?
False
Let i = -275 + 1852. Is i prime?
False
Let y(j) = 11*j**2 + 10*j + 41. Is y(-10) composite?
True
Let x(h) = -h**3 - 2*h**2 + h - 4. Let q be x(-3). Let n(z) = 41*z. Let c be n(q). Let d = -25 + c. Is d a composite number?
True
Let i = 132 + -296. Let x = 255 + i. Is x a composite number?
True
Suppose 20*s - 470 = 18*s. Is s composite?
True
Is (-59)/(-2)*(-3)/((-21)/70) prime?
False
Suppose 3*v + 2*j - 426 = 0, v - 3*v = j - 284. Is v a composite number?
True
Let l = -4 + 12. Suppose -2*d + 91 = 3*u, 2*d + 0*d = -l. Suppose 0*a = a - u. Is a a prime number?
False
Let y(r) = r**3 + 4*r**2 + 3. Let t be y(-3). Suppose 0 = 2*z - t - 18. Is z a composite number?
True
Let p(k) = -5*k - 6. Let w be p(-6). Suppose -z - z + w = 0. Let a = z - 1. Is a prime?
True
Let v = 49 + -14. Is v a composite number?
True
Suppose -q = -170 + 11. Suppose 3*x + 0*k = 2*k + q, -159 = -3*x + k. Is x a composite number?
False
Is 3/(-2)*62/(-3) prime?
True
Is (-3)/((-6)/(-2) + 36936/(-12306)) composite?
True
Let t(z) = 22*z**2 - 4*z - 1. Is t(-4) a prime number?
True
Suppose c = -2*c + 18. Let m be 11/3 + 2/c. Suppose m*d = -5*g + 789, -141 = -g - d - 4*d. Is g prime?
False
Let i(w) = -w + 1. Let n be i(-2). Is n + ((-88)/2)/(-2) a composite number?
True
Let c(d) = -d**3 - 5*d**2 + 4*d - 8. Let x be c(-6). Suppose x*q = 8*q - 8. Suppose q*h - 2*l - l = 77, -h + l + 38 = 0. Is h a prime number?
True
Let o = 1630 + -953. Is o a prime number?
True
Suppose 0 = -3*a - 5*q + 8524, 5*a - 6254 = q + 7906. Is a prime?
True
Suppose -3*t = 47 + 127. Suppose -3*g + c - 77 = 0, 2*g - c + 48 = -2*c. Let s = g - t. Is s composite?
True
Let p = 2476 - 1503. Suppose 1453 + p = 2*r. Is r composite?
False
Let k be -1 + -2 - (-154 - 1). Let x = -67 + k. Is x prime?
False
Let x = -54 - -96. Let b be (-1 - 29)/((-8)/20). Suppose x = z - 5*i, 0 = -4*z - 2*i - b + 221. Is z a prime number?
True
Let p = 669 + -361. Suppose p = -0*z + 4*z. Is z a prime number?
False
Let q(f) be the first derivative of 11*f**2/2 - 2. Let x be (-2)/5 - (-17)/5. Is q(x) a prime number?
False
Let t(d) = 180*d + 7. Is t(10) composite?
True
Let p = 2 - 8. Let k(s) be the second derivative of -2*s**3/3 - 5*s**2/2 - s. Is k(p) a prime number?
True
Is 1347*((0 - (-20)/6) + -3) a prime number?
True
Suppose 3*o - o + 4 = 0. Let a be o/8 + (-19)/4. Is 2/a - (-337)/5 composite?
False
Let g be -4*(-1)/(8/(-10)). Let s = -3 - g. Is 1/s*212/2 a composite number?
False
Suppose -7*c + 3*c = -28. Let f = c - 3. Suppose 0 = -4*h + f, 4*h + 66 = 5*y - 3*y. Is y composite?
True
Let c(x) be the first derivative of -x**4/4 + 8*x**3/3 - 3*x**2 + 9*x + 1. Let g be c(6). Suppose -a + g = -4. Is a prime?
False
Is (-1172)/6*(-6)/4 a prime number?
True
Let f(o) = o**3 - 3*o**2 - 4*o - 1. Is f(6) a prime number?
True
Suppose 5*m = 4*c - 1133, 2*c - 844 = -c - 2*m. Let f = -127 + c. Is f prime?
False
Suppose -2*f + 1051 + 31 = 0. Is f prime?
True
Suppose -2*r - p + 4 = 1, 4*r = 5*p + 27. Suppose -r*q = -5*l - 274, 0*q + 5*l = q - 108. Is q a prime number?
True
Is (1 - -698) + (3 - 4) + 3 prime?
True
Let b = 4 + -1. Let f be ((-3)/b)/((-3)/762). Suppose -f = -6*n + 4*n. Is n prime?
True
Suppose 4*g = -4*v + 8, 4*v = -4*g + v + 6. Suppose -3*c + g*c = -1407. Is c composite?
True
Let a(g) = -g**3 + 4*g**2 + 4*g + 4. Let k be a(-4). Suppose -k = -3*n - n. Suppose -o - n = -2*q - 4*o, 5*o = q - 34. Is q a prime number?
True
Let x be 33/12 - (-2)/8. Suppose -2*j = x*j - 935. Is j composite?
True
Let k be (8/10)/(14/(-35)). Let g = k - 0. Is (-2 - (0 + g)) + 177 prime?
False
Let d(q) = 9*q + 7. Is d(8) composite?
False
Suppose 0 = 3*k - 3*m - 8427, 0 = -k - 2*m + 2325 + 478. Is k composite?
True
Let w(b) = -b**3 - 7*b**2 + 7*b + 10. Let u be w(-8). Is ((-442)/3)/((-12)/u) a prime number?
False
Let y(d) = -30*d - 17. Is y(-21) prime?
True
Suppose -4*m + 3*m = -37. Let o = 107 - m. Suppose -o = -5*x - 3*b, 5*b - b = -2*x + 28. Is x prime?
False
Let d(i) = 55*i - 3. Let l(w) = -2*w. Let c be l(-2). Is d(c) composite?
True
Let b(z) = 47*z + 8. Let g(h) = h + 1. Let p(x) = -b(x) + 3*g(x). Is p(-6) prime?
False
Let m(x) = 24*x + 73. Is m(20) prime?
False
Let k(o) = o**2. Let y be k(-1). Let d = y + 0. Let i(a) = 34*a**2 + 2*a - 1. Is i(d) a prime number?
False
Let n(k) = -k**3 + 16*k**2 - 12*k - 3. Let c be n(15). Suppose o + 4 = c. Is o composite?
True
Let l be ((-6)/(-12))/(1/(-12)). Let d(q) be the first derivative of q**4/4 + 8*q**3/3 + 7*q**2/2 + 7*q + 4. Is d(l) a prime number?
True
Let g(b) = -22*b**3 - 3*b**2 + 2*b - 4. Is g(-3) prime?
True
Let d(z) = 13*z**2 - 4. Is d(3) composite?
False
Suppose -5*x = -0*z + 3*z - 164, 5*z - 260 = 5*x. Is z prime?
True
Suppose 5*h = -0*h - 110. Is (-775)/(-3) - h/33 a prime number?
False
Let a(z) = -z**2 + 5*z + 1. Let p be a(5). Is 2*((-291)/(-6))/p prime?
True
Suppose -29*z - 46323 = -38*z. Is z prime?
True
Let y = 223 + 172. Is y composite?
True
Suppose 1 = -o + 3. Suppose -o*j + 780 = 3*j. Suppose -j = -5*v + 29. Is v a prime number?
True
Suppose 2*b = -q - 0*q + 6976, -3*q + 6 = 0. Is b composite?
True
Let s be 1/(0 + 1/2). Is (1/s)/(2/524) prime?
True
Let i = 5951 + -3184. Is i prime?
True
Let k be 7/((4/(-14))/(-2)). Suppose 3*a - 116 = k. Is a composite?
True
Suppose 0*d - 3*v - 12 = 5*d, 0 = 5*v + 20. Suppose -5*h = -87 - 143. Suppose d*c - c + h = 0. Is c prime?
False
Is -82*(2 + 1)/(-3) a composite number?
True
Let x = -19 + 31. Suppose x = -6*m + 8*m. Is (2/m)/((-2)/(-222)) a prime number?
True
Let d(w) = w**2 + w - 1. Let s = 7 + -5. Let a be d(s). Let q(v) = v**2 - 5*v + 7. Is q(a) prime?
True
Let c = 6 - 1. Suppose -d - c*l - 192 = 2*d, 4*l + 12 = 0. Let t = d + 142. Is t prime?
True
Suppose n - 4*h - 10 = -4*n, 5*n + 30 = -4*h. Let m be 10*n*(-7)/1. Suppose s - m = -4*q, -4*s = -3*q + 6 + 80. Is q a prime number?
False
Suppose 2 = -s - 0*s. Is (53/s)/(2/(-4)) prime?
True
Suppose t - 170 = -4*t. Is t composite?
True
Suppose 0*r - 9436 = -4*r. Is r a composite number?
True
Let t(f) = 4*f**3 - 7*f**2 + 7*f - 5. Is t(5) a composite number?
True
Suppose -5*x = -479 - 636. Is x composite?
False
Let a = 319 - 204. Is a a prime number?
False
Let p(l) be the second derivative of -l**4/12 + l**3 - 5*l**2/2 + l. Let j be p(5). Suppose -x - 1 = 0, -5*q + 4*q + 3*x + 80 = j. Is q prime?
False
Let a(p) = 4*p**2 + 9*p - 23. Is a(-18) a prime number?
False
Suppose 3*b = a + b + 8, 0 = a + b - 7. Is (-447)/(-12) - a/8 composite?
False
Suppose 2*i = 5*d - 22, -8*d + 4*d + 40 = -3*i. Is (307/4)/((-4)/i) prime?
True
Suppose 5*o - w - 3228 = 0, -120 = -5*o - 3*w + 3096. Suppose 5*b - o = 5*p, -3*p - 15 = -b + 118. Is b a prime number?
True
Let b(n) = -1 + n + n**3 - 2*n**2 + 3 - 3*n**2. Let o be b(5). Suppose -3*l - 58 + o = -4*k, 36 = 2*k + 2*l. Is k prime?
False
Let v = -8 + 10. Suppose -5*l = 5*h - 600, -607 = 2*l - 7*l + v*h. Is l a prime number?
False
Let z(g) = -19 - 16*g - 6*g - 5*g - 2*g. Let a(h) = -14*h - 9. Let c(s) = 5*a(s) - 2*z(s). Is c(-5) a prime number?
True
Let k = 18 - 13. Is (0 + -1)/(k/(-255)) a composite number?
True
Let p = 2 - 1. Let y be p/(-4) - (-51)/12. Suppose 3*b + 10 = y*b. Is b a prime number?
False
Let r = 376 - 630. Is (0 + r)*1/(-2) prime?
True
Suppose -3 = 5*k - 4*j, 5*j - j 