2 - 2*d + 11. Is o(l) a composite number?
True
Let a(i) = 20*i**3 - 15*i**2 + 3*i + 1. Let p(r) = -r**2 - 1. Let d(b) = a(b) - 4*p(b). Let n be d(5). Suppose -5*y = 0, n = c + 4*c - 5*y. Is c composite?
False
Let i = -2755 + 18182. Is i prime?
True
Let w(j) = -3*j**2 - 27*j - 23. Let h be w(-20). Is (1/1 + -3)*h/2 composite?
False
Let o be -1 + (3 - (-3 - -3)). Suppose -5*p = -t + 149, -5*p + 149 = o*t - t. Is t prime?
True
Let c(f) = 518*f - 31. Let u be c(6). Suppose -y - 36 = -u. Is y a composite number?
False
Let p = 10754 - 7305. Let v = p + -2238. Is v composite?
True
Let w = 23 - 19. Suppose 4*b + w = 0, -4*y - 5*b + 1205 = -1822. Is y a composite number?
True
Let y be (2 - 3)/((-9)/(-3753)). Let s = y - -1064. Is s prime?
True
Suppose 2*h - 12 = -h. Suppose -3*n = h*n. Suppose n = -5*r + 39 + 206. Is r composite?
True
Suppose 3*i + 12 = -4*q + 5*q, 2*q - 12 = 2*i. Is (-31563)/(-18)*2/q composite?
True
Suppose -3*d + 24996 = -0*d. Suppose 2*c = -2*c + d. Let r = c - 1160. Is r prime?
False
Suppose -25910 = 21*b - 31*b. Is b prime?
True
Suppose 2*s - 3*s = -3*h + 31348, 3*h - 2*s - 31343 = 0. Is h prime?
False
Let w(b) = -5*b**2 - 2*b. Let s(d) = -d**2 + 1. Let k(u) = -6*s(u) - w(u). Let r be k(4). Suppose -32 = -5*l + h + 413, 2*l - r = 4*h. Is l a prime number?
True
Let l(p) = -2*p**3 - 54*p**2 + 42*p + 51. Is l(-37) a prime number?
False
Suppose 2*d + 8 = 4*i, 2*i - 3 = -4*d + 11. Suppose s + 0*g - 3*g = 9, -4*g + 14 = i*s. Is 264/2 - (s - 7) composite?
True
Let g be (-57)/(-6)*130 + -3. Suppose 5*q - 2*q = s - g, 4*q + 1229 = s. Is s composite?
True
Let m(k) = -k**3 + 8*k**2 - 3*k - 9. Let h(r) = 11*r - 4. Let i be h(4). Suppose q = 5*a + 2*q - i, -2*q + 10 = 0. Is m(a) prime?
True
Let o(d) = 7*d - 3. Let r(p) = -p - 1. Let v(a) = -o(a) - 6*r(a). Let s be v(12). Is 107 - (-5 - -3 - s) a composite number?
True
Let b be (-4 + 3)*-3*20/6. Is (3*1172/60)/(2/b) a composite number?
False
Suppose 3*i - i + 20 = -5*o, 2*i + o + 12 = 0. Let c = -1 - i. Suppose -455 = -5*h - 3*q, c*h - 381 = -0*h + q. Is h a composite number?
True
Let j be ((-5)/(-10))/(1/8). Suppose 2*b + 0*q = 2*q + 4, j*b - 24 = -4*q. Is b/(-10) - 3960/(-25) prime?
False
Let b be (-1 - 2) + (-154)/(-22). Suppose b*i + 5*a = 1579, 0 = -2*a - a + 9. Let j = i + -74. Is j a prime number?
True
Let c be 3 + 5*2/10. Suppose c*z + v - 511 = 2*v, 0 = -z + 3*v + 136. Is z a composite number?
False
Suppose 22*j - 214153 = -j. Is j composite?
False
Let r(c) = -c + 14. Let n be r(11). Let g(i) = 5*i - 4. Let b(l) = -14*l + 11. Let d(k) = n*b(k) + 8*g(k). Is d(-4) a prime number?
False
Suppose p - 5*k = -3*p - 37, -2*p = -5*k + 31. Let d be 60*(p + (-30)/(-9)). Suppose 2*h - 37 = -s, -5*h - d + 57 = s. Is s a composite number?
False
Let w(r) = 3*r**2 + 10*r - 14. Let v be w(6). Let u = -8 + 13. Suppose -3*n - v = -u*n. Is n composite?
True
Let d = -524 + 313. Let u = d - -353. Is u prime?
False
Let s be (-9 - -1)/2*1 + -1. Let k(u) = 9*u**2 - 2. Is k(s) a composite number?
False
Let m(o) = 13*o**2 - 20*o - 154. Is m(-29) composite?
True
Let y be (-2 - -1)*(-9)/(-3). Let i = y - 5. Let r = i + 21. Is r a prime number?
True
Is 3/9 - 0 - 173/(-3) a prime number?
False
Suppose 1069 = -108*k + 109*k. Is k composite?
False
Suppose 2739 = -9*h - 1113. Let g = 681 + h. Is g a prime number?
False
Suppose 0 = 2*o + 28*t - 27*t - 114734, 4*t = -o + 57367. Is o a composite number?
False
Suppose -10*m + 7*m = -15. Let s be 2*-3*m/(-6). Suppose 1248 = 4*f + s*u, -3*f + 98 + 815 = -2*u. Is f prime?
True
Let u(q) = 4*q + 3*q**2 - 4 - q**3 + 6 + 0*q**3 + 5. Is u(-8) a prime number?
False
Let j be (0 + -2)/(-6)*9. Suppose j*c - 7*c = -12. Is 1/c + 1420/6 a composite number?
True
Is 1479 + (-2 - (-5 + 3 - -1)) a prime number?
False
Let o = -6369 + 9532. Is o composite?
False
Suppose -2*p + 6099 = -0*p + t, t - 1 = 0. Is p composite?
False
Let g = -2612 - -4879. Is g composite?
False
Let z(o) = 1575*o + 83. Is z(6) prime?
True
Let b = 19493 + -12952. Is b a composite number?
True
Suppose -5*g = 4*x - 3111, 3*g - 1401 - 464 = -2*x. Is g composite?
False
Let o = -1484 + 2298. Suppose -14*m + 16*m = o. Is m composite?
True
Let p(k) = -k + 6. Suppose 5*i - 2*t - 22 = 0, -i + 14 = -0*i + 2*t. Let j be p(i). Suppose -2*m + 557 + 281 = j. Is m prime?
True
Let i be 2/3 + 952/3. Let f be (-2)/1 - (6 + i). Let w = -169 - f. Is w a prime number?
True
Let v(h) = 0 + 90*h - 107*h - 3 - 359*h. Is v(-1) prime?
True
Let u(p) = 2*p**3 + 15*p**2 - 20*p - 31. Let v(x) = -4*x**3 - 31*x**2 + 41*x + 63. Let q(d) = -5*u(d) - 2*v(d). Is q(-12) a prime number?
False
Let v be 201 - (8/(-12) - 4/(-6)). Let q be -2*1 - -1*2. Is 1 + (q - -1) + v a composite number?
True
Let b(k) = -28*k - 19. Let f(w) = 12*w + 1 + 18 + 24*w - 8*w. Let x(g) = 7*b(g) + 6*f(g). Is x(-8) a prime number?
False
Let t be -598 + -5 + 0 + -4. Let y = t + 99. Let x = y + 1017. Is x composite?
False
Let x be 34*6 + 12/(-5 - -9). Let n = x + -58. Is n a composite number?
False
Let f be 0/(1/(2/(-4))). Let k(j) = -3*j**3 - 3*j**2 + 4*j - 7. Let v be k(-5). Suppose f*m + 3*m = v. Is m composite?
True
Suppose -4*v + 3386 = 1038. Is v composite?
False
Let b = 1130 + -765. Is b a prime number?
False
Let c(q) = -q + 10. Let i be c(6). Is (-3 - -5)/(i/470) a composite number?
True
Suppose -o + 4*v = -25, -o - 4*v + 15 = -6*v. Suppose -6 = 3*d, o*d - 383 = -m - 2*m. Is m prime?
True
Let h(i) be the third derivative of i**4/12 - 4*i**3/3 - 3*i**2. Let z be h(4). Suppose z = u - 102 - 137. Is u a prime number?
True
Suppose 0*h + 16 = 2*h. Let t(r) = -r**3 + 9*r**2 - 7*r - 9. Let u be t(h). Is 3 + 407 - 3/u a prime number?
False
Let p(h) = 4*h**3 + h**3 + 6 + 0 - 6*h - 4*h**3 - 2*h**2. Let g be p(4). Let s(u) = u**3 - 14*u**2 + 15*u - 16. Is s(g) a composite number?
True
Suppose 21*r = 26*r - 1200. Suppose r = -a + 943. Is a prime?
False
Let o be 1 + -4 + 37 + -2. Suppose 6*z - 2 = -o. Is (2 + z)/(-9)*1158 composite?
True
Let f = 0 - -4. Suppose 4 = -4*k - f. Is k/3 + 627/9 composite?
True
Let u = -8 + -7. Let n = u - -19. Suppose -2*d - 217 = -n*q + 3*d, 104 = 2*q - 4*d. Is q composite?
True
Let a(m) = -m**2 - 17*m - 15. Let v be a(-10). Let q be (-2)/5 + 187/v. Suppose -381 = -3*r + d + d, -3*r - q*d + 381 = 0. Is r a composite number?
False
Is 10/((-4)/2) - (-434 - -14) a prime number?
False
Let w(j) = -2*j + 11. Let r be (-48)/(-6)*1/2. Suppose -3*x + 7 = -c, -2*x + r = -6*x. Is w(c) composite?
False
Let d(k) = -k**3 + 18*k**2 + 23*k + 217. Is d(-23) a composite number?
False
Let i(y) = -y + 13. Let t be i(13). Suppose t = -r + 573 + 32. Suppose 3*g - r = 436. Is g composite?
False
Is ((-3)/(-9))/((-8)/(-72456)) a composite number?
False
Suppose 5*a - 7 - 3 = 0. Let v(h) = h**3 + 5*h**2 - 2*h + 3*h - 2*h + a. Is v(-5) a composite number?
False
Let m(x) be the first derivative of 157*x**2/2 + 7*x - 99. Let i(w) = w - 5. Let l be i(9). Is m(l) prime?
False
Suppose 0 = 23*x - 25*x - 4. Is (-2319)/x - (-8)/(-16) composite?
True
Suppose -480 = -j + l, 5*j + 0*l = -5*l + 2450. Is j a composite number?
True
Is 5499/26 + 1/(-2) a prime number?
True
Suppose -1673 = -4*g + 15127. Suppose -d = -4*v + g, 61 + 1004 = v - 4*d. Is v a composite number?
False
Let m(c) = -1076*c**3 + 2*c**2 - 1. Is m(-2) a composite number?
True
Suppose 32 + 0 = -8*z. Is (-19)/z*(-11 - -15) prime?
True
Let p = -2568 - -2706. Let z = -175 + 248. Suppose n - p = z. Is n composite?
False
Let g(q) = 154*q**2 - 4*q - 1. Suppose -k = z + 34, z + 4*k + 62 - 13 = 0. Let a = z + 26. Is g(a) a prime number?
False
Suppose g - k + 7871 = 4*g, -g - k = -2625. Is g a composite number?
True
Let x(w) = -w**3 - 11*w**2 + w + 12. Let s be x(-11). Suppose -y + 2 = 0, -2*f - 29 = y - s. Is (-2 + (-260)/12)*f composite?
True
Let a(i) = i**3 + 3*i**2 + 2*i - 4. Let s be a(-3). Let q = 12 + s. Is (-282)/(-9)*3/q a prime number?
True
Is ((-6)/12)/((-7)/37870) composite?
True
Let p(o) = 5*o**3 - 10*o**2 + o + 21. Let t(v) = 6*v**3 - 11*v**2 + 2*v + 21. Let i(a) = 5*p(a) - 4*t(a). Is i(7) a composite number?
True
Suppose 37*n - 29*n - 87224 = 0. Is n a composite number?
False
Let a be ((-4)/10)/(6/90). Let c be 2*(-4 + (-33)/a). Suppose 0 = 4*p - z - c*z - 1428, -5*p - 5*z + 1745 = 0. Is p a composite number?
False
Suppose 