c + h + 2051. Is c composite?
True
Let j(p) = -1940*p + 7. Is j(-9) prime?
True
Suppose 9442 = 13*w - 39373. Is w prime?
False
Let h(k) = 3779*k + 30. Is h(1) composite?
True
Let r = -6689 - -71284. Is r composite?
True
Let r = -12964 + 20522. Is r composite?
True
Is (1 + 0 - 4188)*(-5 - -4) prime?
False
Let c be 4 + -6 + (4 - -3). Suppose 5*f - 705 = c*p, 5*p = 7 + 13. Is f composite?
True
Suppose -16 + 1 = 3*h. Let b(t) = -t**3 - 6*t**2 - 5*t + 3. Let o be b(h). Suppose -o*f - 413 = -4*f. Is f a composite number?
True
Let k(c) = 57*c**2 + c - 1. Let f be -5 + -2 - (2 - 3). Let r be (-1)/(-2)*(-36)/f. Is k(r) a composite number?
True
Suppose -2*f + 16 = 6, 3*f + 99132 = 3*r. Is r prime?
True
Let a(b) = -341*b + 28. Let n be a(-4). Suppose -w + n = 4*s - 1083, -2 = s. Is w a prime number?
False
Let k = 286015 - 175832. Is k prime?
True
Let a(b) = 1135*b - 1. Let v be a(5). Is 65/(-20) + 3 - v/(-8) a prime number?
True
Suppose 30*h + 10698 = 36*h. Is h composite?
False
Let l be ((-8)/(96/42))/((-2)/4). Suppose -l*o + 387 = -1090. Is o prime?
True
Suppose 4*o = -18*y + 15*y + 23843, 0 = 4*y - o - 31797. Is y composite?
False
Let x(d) = 350*d + 21. Let r(g) = -175*g - 10. Let k(o) = -7*r(o) - 3*x(o). Let q be 4/14 - (-26)/7. Is k(q) composite?
True
Let s = -21 + 25. Suppose 4*v = -s*m + 320, v + 7 = 2. Is m/(-34)*(-356)/10 prime?
True
Let z(i) be the third derivative of 73*i**7/5040 - 11*i**6/720 + 3*i**5/20 + 7*i**2. Let k(t) be the third derivative of z(t). Is k(6) a prime number?
False
Let d(c) = -c**3 - c**2 + 419. Let q be 0/((4 + 0)/(-4)). Is d(q) a prime number?
True
Suppose 0 = 3*v - 15, 4*f + 5*v - 143 - 50 = 0. Suppose -2 = -s, -5*g - 3 - f = -5*s. Is (-2)/(-7) + (-1041)/g a prime number?
True
Let z(i) = i**2 + 5*i - 4. Let n be z(-5). Let q = 11 + n. Is (-8)/28 - (-625)/q prime?
True
Let g(a) = a + 2. Let i be g(-6). Is 9/(-3) - (-1046 - i) a prime number?
True
Let u(s) = 3*s**2 - 3*s - 2. Let f be u(2). Suppose 2*i - 1793 = -4*y + 1075, f*y - i - 2868 = 0. Is y a composite number?
True
Is ((-40244)/(-10))/((-244)/(-610)) a composite number?
False
Suppose -3*t = -u + 400, -6*t + 4*u = -2*t + 520. Let q = -434 + 168. Let y = t - q. Is y a composite number?
False
Is (-2 - -2787)/(3 + -2) a prime number?
False
Let i(w) = 6*w - 7. Let l be i(2). Suppose 699 = 4*n + l*d, -4*n = -2*d - 787 + 53. Is n composite?
False
Let v(h) = -3*h + 5. Let c be v(1). Suppose -s = 2*b - 609, -c*b + s = b - 926. Is b a composite number?
False
Let z(d) = 0*d + 1 - 3*d + 148*d**2 + d - 136*d**2. Suppose -6 - 6 = 4*n. Is z(n) prime?
False
Suppose -3*g - 3*b + 156 = -6*g, g + 5*b = -46. Is (3 - 2 - g) + -1 prime?
False
Let j = 115 + -67. Is (j/(-42))/(-4) + (-5302)/(-14) a prime number?
True
Let u be (159 - 0) + 1 + 2. Suppose 4 = 2*r + 12, -u = -y + 2*r. Let o = y - 101. Is o a prime number?
True
Let h = -3 + 5. Let w = 4 - h. Is 1*(164 - -2)/w a prime number?
True
Let v = 190718 - 130579. Is v composite?
False
Let a(r) = -r**3 + 5*r**2 - 3*r + 2. Let i be a(4). Let t(z) = -z**3 + 6*z**2 + 14*z - 1. Is t(i) prime?
True
Let a be (-4)/(-20) + (-9289)/(-5). Let i = -1224 + a. Suppose 2*k + i = 4*k. Is k a prime number?
True
Let c = 368 + -289. Suppose -4*s + 2344 = 616. Let p = s - c. Is p composite?
False
Let p(v) = 4*v - 3. Let i be p(2). Suppose i*b - 2*d - 3755 = 0, b + 4*d - 773 = -0*b. Suppose 11*n - b = 8*n. Is n a prime number?
True
Is 4/16 + 120510/40 a composite number?
True
Let v(f) = f + 4. Let p be v(-2). Is (5280/(-9) + p)/((-4)/6) composite?
False
Let p be 13208/16 - 1/(-2). Let v = 1317 - p. Is v a prime number?
True
Suppose 5*z - 607 = 223. Suppose z = 5*h - 639. Is h a prime number?
False
Suppose -4*z + z = -315. Let n(o) = -38*o - 8. Let p be n(-6). Let x = p - z. Is x a prime number?
False
Suppose c - 5 = 0, 0 = 5*j - 3*c - 260 - 4710. Let n = j + 658. Is n a prime number?
False
Let t be (-3)/((6/346)/(-3)). Suppose -1416 = -5*l - 5*v + t, -1169 = -3*l + 5*v. Suppose -40 = 4*q - l. Is q a composite number?
True
Is ((-4062)/(-8))/(54/72) a prime number?
True
Let h = 5629 - 3258. Is h prime?
True
Let b(t) = t**3 - 17*t**2 + 3*t - 50. Is b(21) prime?
True
Suppose -4*x = 4, 4*f + 5*x + 6 = -7. Is f*2/(-8)*502 a prime number?
True
Suppose 2*d = 4*d + 448. Let v = d + 437. Is ((-30)/(-45))/(2/v) a prime number?
True
Suppose 43 = -5*j + v + 363, -4*j = -v - 257. Let u = j - -97. Suppose 2*k - 582 - u = 0. Is k composite?
True
Let z(i) be the second derivative of i**7/840 - i**6/45 + 7*i**5/120 - 5*i**4/24 + i**3 + 8*i. Let p(n) be the second derivative of z(n). Is p(8) prime?
False
Let k(w) = -5*w + 2*w - 17 + 6*w. Let b be k(7). Suppose 1039 + 474 = 4*s + 3*x, b*s = 3*x + 1519. Is s a composite number?
False
Let g(z) = -3*z**2 + 4*z - 4*z**3 - 5*z - 7 - 4*z**3. Is g(-3) a composite number?
True
Let x be -1 + 1 + (-9)/(-3). Suppose -x*o - 4*a = 32, -4*a = -2*o + 7 + 5. Is o/8 - (-223)/2 prime?
False
Suppose 119675 = 13*x - 36468. Is x a composite number?
False
Let r be 36/(-27)*(4 + -1). Let y(j) = -2*j - 2. Let c be y(r). Is 0 + 266 + c/(-2) composite?
False
Suppose -k - 3*d = -5 - 4, -5*k + 23 = 4*d. Is 1063 + -3 - (k - -2) a composite number?
True
Let s = 86 - 41. Is 51502/18 + (-10)/s prime?
True
Suppose z - 126 = 3*z. Is (-69517)/z - 8/18 a prime number?
True
Suppose 2*d - 15335 = 3*z + 2*z, -2*d + 15329 = z. Suppose -4*o = -3*g - 6134, 5*o + g = 6*g + d. Is o composite?
True
Let z(t) = -t - 6. Let q be z(-3). Let o be 2*(-3)/2*q. Suppose -i + 5*g = -0*i - o, -2*i + 2*g + 34 = 0. Is i a composite number?
False
Is (368004/36)/(-7)*-3 composite?
True
Let h(p) = -3*p - 27. Let y be h(-9). Let t(a) = a**2 + a + 5483. Is t(y) a prime number?
True
Let q be -23 + -3 - -2 - -1. Is 525673/437 - 2/q a composite number?
True
Suppose 0 = 3*g - 48*p + 45*p - 70509, 5*g - 117495 = -5*p. Is g prime?
False
Let d = 29 + -32. Let l = 8 - d. Is l a composite number?
False
Suppose -74 = -5*g + 61. Let v = g + -2. Let b = 112 - v. Is b a composite number?
True
Suppose 0 = 4*m - 3*x - 120, 0 = 5*m + x - 66 - 84. Let g = -832 - -867. Suppose f - m = g. Is f prime?
False
Let k(o) = -8*o - 13. Let j(r) = 3*r + 4. Let f(t) = 11*j(t) + 4*k(t). Let z be f(-6). Let n(q) = q**3 + 14*q**2 - 13*q - 21. Is n(z) a prime number?
False
Is 31 + 3915 + 0 + 1 + -4 composite?
False
Let x be (-59)/3*(-3 + -86 + -1). Let m = -1 - -3. Suppose 0 = -m*y - 10, 6*r - x = r - y. Is r a prime number?
False
Suppose 0 = -5*n + 2*u + 183089, 5*n = -5*u + 142929 + 40146. Is n composite?
True
Suppose 2*l = 3*z, -2*l = -11 + 5. Let j(m) = m + 1. Let h be j(z). Suppose 0 = h*f - 0*f - 633. Is f a composite number?
False
Let s = 5 - 1. Suppose 5*v - 27441 = -s*v. Is v a prime number?
True
Let s = -241 + 489. Suppose -2*g - 96 - 19 = -k, 4*g = -4*k - s. Is g/(-1) - (-2 - -2) a composite number?
False
Let g(o) be the second derivative of -521*o**3/6 - 7*o**2/2 + 19*o. Is g(-4) composite?
True
Suppose 49*g - 39*g = 281690. Is g composite?
True
Suppose -5*i + 47 + 11 = -2*c, -3*i + 3*c = -33. Suppose -16*u - 12 = -i*u. Is -4 + (2 + -1469)/u composite?
True
Let w(c) = -6*c**3 - 9*c**2 - 3*c + 4. Let i be w(-7). Suppose -n + i = n. Let v = n - 264. Is v a composite number?
False
Suppose 0 = -2*c - c + 4*c. Suppose c = -3*m + 10*m - 7469. Is m composite?
True
Suppose -4*d = -5*x + 11 - 31, -3*d + 12 = -3*x. Is 406 - (-3)/(1 + d) a prime number?
True
Let m(b) = 5*b**3 - 26*b**2 - 4*b + 26. Let x(n) = -11*n**3 + 53*n**2 + 7*n - 52. Let q(o) = -13*m(o) - 6*x(o). Is q(-19) prime?
False
Let d(r) = -r**2 - 11*r + 2. Let x be d(-11). Let v be 3*(x + 224/12). Suppose -3*g - 31 = -t, v = 2*t + g - 0*g. Is t composite?
False
Let n(t) = 282*t**2 - 1. Let z be n(1). Suppose -2*p + 89 = 2*f - z, 0 = -4*p + 3*f + 719. Is p + -9 + 5 + -1 prime?
False
Suppose 15*p = 20*p + 25, -2*s = -p - 2091. Is s a prime number?
False
Let x = 0 + 5. Let c(j) = -67*j. Let q(t) = 134*t - 1. Let n(i) = -13*c(i) - 6*q(i). Is n(x) composite?
True
Suppose 0 = 7*w - w + 48. Let y be 1471 + (-2)/(-4)*w. Let l = y + -548. Is l a composite number?
False
Let d(v) be the third derivative of v**6/120 - 2*v**5/5 - 5*v**4/12 - 31*v**3/6 - 18*v**2. Is d(26) prime?
True
Suppose -j = -7 - 67. Suppose s = 105 + j. Is s a prime number?
True
Let i(l) = 1