 p = x + -5. Is p composite?
True
Let i = 1181 - 842. Is i a composite number?
True
Let d(i) = 9*i**2 + 3*i - 1. Let t = 5 - 1. Is d(t) a composite number?
True
Let k(d) = -578*d + 7. Is k(-3) prime?
True
Suppose 0*i - 39 = -4*o - 3*i, i + 26 = 3*o. Let z be 3/(5/((-330)/o)). Let a = -13 - z. Is a a prime number?
False
Let x(a) = 2*a**2 - 2*a - 6. Let v be x(-8). Suppose -l = -6*l + 135. Suppose 3*u + l - v = 0. Is u a composite number?
False
Is 108/(1 - -1) - (-5 + 6) a prime number?
True
Let s = 52 - -35. Is s a composite number?
True
Let r(v) = v - 5. Let f be r(7). Suppose -4*i - c - 1 = -6, -2*i = -f*c - 10. Suppose -3*x + i*p + 192 = 5*p, 5*x + 2*p = 329. Is x a prime number?
True
Let i be (24/(-2))/4 - 114. Is (12/(-9))/(6/i) a prime number?
False
Suppose 3*l + 14 - 41 = 0. Let p = 11 - 32. Is p*(2 + (-21)/l) prime?
True
Let v(c) = -4*c + 3*c**3 - 4*c**2 - 6*c**3 + 1 - 4. Let l be v(-4). Suppose 2*w - 29 - l = 0. Is w a prime number?
False
Suppose -77 + 12 = -r. Let u = 62 + r. Is u composite?
False
Let d be -1 + 0 + 0 + 0. Let y = -135 + 80. Is (y/(-1))/(d - -2) composite?
True
Let c(r) = 0*r**2 - 1 + 2*r + 2*r**3 - 3*r**3 + 4*r**2. Is c(-2) a prime number?
True
Let a(v) = -2*v**3 - 4*v**2 - 5*v + 1. Suppose q = -1, 4*w = w - q - 13. Is a(w) a composite number?
True
Suppose -3*w - 6*a + 24 = -3*a, 0 = 5*w - 4*a + 5. Suppose 2*x + 112 = w*k, -x + k + 44 = 102. Let y = x + 115. Is y prime?
True
Let w(y) be the second derivative of -y**3/6 - 4*y**2 - 2*y. Let l be w(-8). Suppose 18 = 2*b - 4*d, -d + l*d - 3 = 0. Is b a prime number?
True
Is (-4)/4 - 2 - -144 composite?
True
Let b(l) = 60*l - 7. Let n(h) = -h + 1. Let f(k) = b(k) + 6*n(k). Is f(1) prime?
True
Suppose -r - r = 0, 5*w - r - 110 = 0. Is w prime?
False
Is 2/((-2)/(-3)) - (-4 + -271) a prime number?
False
Suppose 4*k - 5*d - 32 = 0, 2*k - 2*d - 3*d - 6 = 0. Is k composite?
False
Suppose 4*g - 3*o - 290 = -0*g, -5*g - o = -372. Is g a composite number?
True
Let h = 991 + -578. Is h composite?
True
Let d(j) = j**3 - 7*j**2 - 5*j - 4. Is d(9) prime?
True
Let u = 301 - 152. Is u composite?
False
Suppose -j - 5 = -514. Let o = j + -306. Is o composite?
True
Let z = 2235 + 1042. Is z prime?
False
Suppose 5*r - 1359 = 876. Is r prime?
False
Suppose 4*u - 2*p = 394, -p + 294 = 3*u - 2*p. Is u a prime number?
True
Suppose 2*y + 283 - 975 = 0. Suppose z - 217 - y = 0. Is z composite?
False
Suppose j = 3*i - 7*i + 15, 0 = 4*j + 2*i - 18. Suppose -j*l = -4*l - 1. Is l*14*-1 + 1 a composite number?
True
Let k be 4974/15 + 2/5. Suppose 0 = -4*r + 2*h + 3*h + k, 415 = 5*r + 2*h. Is r a composite number?
False
Suppose 0*a - 2*a + 10 = 0. Suppose -4*q - w - 4*w - 11 = 0, -a*q - 40 = w. Let u = 23 + q. Is u a composite number?
True
Let w(j) = -j**3 + 9*j**2 - 5*j + 7. Let d be w(8). Suppose -d = 4*l + 3*p, -3*l + 0*l - 2*p = 22. Let h(r) = -36*r + 1. Is h(l) a composite number?
True
Let m = 1 + 2. Suppose -4*h + m*h = -3*b + 74, 4*b = -2*h + 102. Let x = 46 - b. Is x composite?
True
Is (-86432)/(-80) - 1*3/(-5) a composite number?
True
Let w = -3 + 10. Let p(v) = w*v - 1 - 3 - 1. Is p(4) composite?
False
Let z be (-2 - -2) + 0 - -4. Suppose z*q = h + 4*h + 207, q = -2*h + 55. Is q a composite number?
False
Suppose -r + 0*m + 31 = -m, 2*r - 50 = -2*m. Let a(h) = h**3 + 16*h**2 + 12*h - 4. Let w be a(-15). Let d = w - r. Is d a composite number?
False
Let o be 4/(-8) + 5329/(-2). Is o/(-20) - (-2)/(-8) a composite number?
True
Let k = -8 - -14. Let r = -4 + k. Suppose s - 10 - 10 = -5*p, r*p = -5*s + 77. Is s composite?
True
Suppose -l - l = 6. Let f(t) = -2*t**3 - 5*t**2 - 2*t + 4. Let z(s) = 2*s**3 + 6*s**2 + 2*s - 4. Let b(m) = 5*f(m) + 4*z(m). Is b(l) composite?
True
Let m = -296 - -1173. Is m composite?
False
Let x(d) = -2 - 98*d + 0 + 1 - 32*d. Is x(-2) prime?
False
Let p(h) = h**2 + 4*h - 13. Is p(10) prime?
True
Is 0/4 - 3 - (1 - 47) a prime number?
True
Let o = 1155 + -572. Is o a prime number?
False
Let p(b) = -4*b - 24. Let i(o) = -5*o + 3*o - 50 - 5*o + 3. Let d(u) = -3*i(u) + 5*p(u). Is d(0) composite?
True
Suppose -3*w - 19 = -x, 5*w = -4*x + 4 - 13. Suppose -4*m + 425 = 5*o, -5*o = -m - x*m - 425. Is o prime?
False
Let z(d) = 11*d**2 + 3*d + 3. Let s(u) = u**3 + 7*u**2 - 8*u - 2. Let o be s(-8). Let n be z(o). Suppose n = v - 36. Is v composite?
True
Let c(h) = h + 65. Is c(0) composite?
True
Suppose -1075 - 5 = -5*q. Let m be 1 + -1 - (2 + -4). Is q/21 - m/7 composite?
True
Let v = -3 - -6. Suppose 2*c - 5*t = -3, -5*c + 3*t = -v*c + 5. Is 35 + (c + 2 - -4) composite?
False
Let n(i) = i**2 - 7*i - 4. Let d be n(8). Suppose -2*b = -3*l - b + 6, 2*l - b = d. Suppose h - 2*m = 87, -l*h + 3*m = 2*m - 159. Is h a composite number?
True
Let k(d) be the second derivative of -d - 1/20*d**5 + 3/4*d**4 - 13/2*d**2 + 0 + 5/3*d**3. Is k(9) prime?
False
Suppose t = -0*l + 2*l - 409, 0 = -4*l + 3*t + 817. Is l prime?
False
Let w = 19 - 15. Suppose -7*q + w*q + 573 = 0. Is q a prime number?
True
Let n(x) = 4*x**3 - 2*x**2 - 4. Let o be n(5). Is (-11)/55 + o/5 a prime number?
True
Let i(r) = 3*r**2 + 3*r - 4. Let s be i(-3). Let p = 0 + 5. Let h = p + s. Is h a composite number?
False
Is (-945)/(-14) - 2/4 prime?
True
Suppose 3*m - y = y + 17795, -5925 = -m + 2*y. Is m a prime number?
False
Let t(l) = -l**2 + 11*l - 8. Let u be (-7 + -1)*(-1 - 0). Let m be t(u). Suppose -4*z + 146 = 2*r, -r - m - 28 = -z. Is z a composite number?
True
Let x(a) = -5 - 16*a**2 + 19*a**2 + 9*a - 8. Is x(-9) a composite number?
False
Is ((-5)/(-20)*-5894)/((-1)/2) a composite number?
True
Suppose -3*x + 11 = -3*l - 4, -x - 4*l + 5 = 0. Suppose -x*z + 15 = -25. Suppose -27 = -5*t + z. Is t a composite number?
False
Suppose -k = -5*i - 7, 5 = 5*k - k + 3*i. Suppose -g - 36 = -3*f, -g + 52 = k*f + 3*f. Let w = 15 + f. Is w prime?
False
Let m = 0 - 0. Let n = 8 + m. Let p = -5 + n. Is p composite?
False
Suppose -3*f = -5*t - 4187, 0 = -4*f + 2*t - 4*t + 5600. Is f composite?
False
Let u = 1066 - 579. Is u prime?
True
Let y = -61 + 147. Is y a prime number?
False
Suppose 0*f + 2*f + 3*m - 1034 = 0, 0 = -2*f + 3*m + 1010. Is f a composite number?
True
Suppose -3*s = -0*s - 267. Is s prime?
True
Let s(d) be the third derivative of d**3 - 2*d**2 + 0*d + 1/4*d**4 + 1/10*d**5 + 1/120*d**6 + 0. Is s(-4) composite?
True
Suppose -6*o = -o + 25, 3*l + 5*o - 926 = 0. Is l a prime number?
True
Let o(w) = 13*w**3 - w**2 - 1. Let y be o(2). Let b = y - 69. Is 1 + -3 + b/2 composite?
False
Suppose 0 = 2*g + g - 2121. Is g a prime number?
False
Suppose -2*n = 2*n + 24. Let z be (-1)/1*n/3. Suppose -30 = -z*f + 3*l, -4*l + 58 = 4*f - 2*f. Is f composite?
True
Suppose 0 = 2*s - 63 - 51. Is s prime?
False
Suppose -4*j - 48 = -4*l, 7*j - 2*j + 20 = -5*l. Let s = -6 - j. Suppose s*m = 166 + 64. Is m composite?
True
Let d = 1 + -2. Let b be d - (3 - 2) - -4. Suppose -b*z + 66 = 24. Is z composite?
True
Let w(z) = -166*z - 5. Let l be w(-5). Let p be (4/(-5))/((-6)/l). Suppose 4*m = -m + p. Is m a prime number?
False
Suppose -z - 550 = -3*z. Suppose -i - z = 4*i. Let q = i + 93. Is q a prime number?
False
Let m(p) = 5*p - 2 - 38*p - 2*p. Is m(-1) prime?
False
Suppose 0 = 2*n + 4*w + 70, w + 4*w - 42 = n. Let u = -6 - n. Is u prime?
True
Let j(g) = -32*g + 18. Is j(-25) composite?
True
Suppose -85 - 3 = -r - x, -5*x = -2*r + 141. Is r prime?
True
Let y(r) = -r - 5*r**3 - 1 + 4*r - 4*r**2 - 2 + 2*r. Is y(-4) composite?
False
Suppose -k + 0*k = -6. Suppose a - 5*a + 12 = 0. Suppose 99 = -a*m + k*m. Is m prime?
False
Suppose 3*h - 4*d - 353 = -30, 2*d - 329 = -3*h. Is h composite?
False
Suppose -2*c + 4*h = -26, 3*h + 2*h + 22 = -c. Suppose c*v + v = 736. Suppose 4*g = 100 + v. Is g prime?
True
Let y = 8 - 6. Is y/(2 + 92/(-47)) a composite number?
False
Is -53*2/2*-1 prime?
True
Let g = 12 - 10. Is 72/g - (-8)/4 a composite number?
True
Let k be 33/12 + 1/4. Suppose 24 - 126 = -k*g. Is g composite?
True
Suppose 0*v = 2*v - 2. Let t be -3 + 2 - (v - 3). Is -3 + 18 - 1/t prime?
False
Let p(w) = -3*w**2 + 2*w + 1. Let z(d) be the second derivative of -2*d**4/3 + d**3 + d**2 + 3*d. Let k(c) = -7*p(c) + 2*z(c). Is k(-4) composite?
True
Is (3 - 1)*(-1192)/(-16) a composite number?
False
Let b(z) = -z**2 - z + 2. Let n be b(-2). Suppose 0*g - 2*g + 