2) a composite number?
True
Suppose 25 = 11*k - 6*k. Suppose -a + k*a = 0. Suppose -4*c = 5*m - 96 + 19, a = -2*m - 6. Is c prime?
True
Let l(c) = -71*c**3 - 11*c - 2. Let y be l(-3). Suppose 5*k + 653 = y. Is k a composite number?
True
Let d be 4/(-20)*0 - -478. Let n = d + 1177. Is n a composite number?
True
Let b(j) = -88*j**2 + 3*j - 5. Let n be b(2). Let w = n - 494. Let x = -588 - w. Is x prime?
True
Suppose f + 4 = 2. Let s be f/3 - (-32268)/(-9). Let q = -1955 - s. Is q a prime number?
False
Let h = -493 + 827. Let c = h + -119. Suppose -2*f - 4*r + c = -f, -5*f - 3*r + 1024 = 0. Is f composite?
True
Suppose 3*n - 194 = i, 2*n - 3*i - 197 = -56. Is n - 8/(-7 + 3) a prime number?
False
Is (-116859)/12*(27/(-3) + 5) a prime number?
True
Is 2*5/10*8885 composite?
True
Let i(s) = s - 18*s**3 + 2*s**2 + 5*s - 3 + 16*s**3. Is i(-4) a prime number?
False
Let i = -10 + 8. Is -2 + ((-4191)/(-6) - i/4) a prime number?
False
Let l be ((-92)/(-69))/(2*(-1)/8478). Let c = 11765 + l. Is c a composite number?
False
Let x(s) = s**2 - 1. Let o(u) = -90*u**2 + 9 - 23*u + 23*u. Let q(b) = -o(b) - 2*x(b). Is q(-3) composite?
True
Suppose 0 = 2*f + 2*u - 11708, 0 = -4*f - 11*u + 6*u + 23412. Suppose f = -11*d + 19267. Is d composite?
True
Let x(f) = 42*f - 18. Let u be x(7). Let z be u/84 + (-4)/14. Suppose -z*v = -i + 6*i - 1002, -i = 3*v - 1002. Is v composite?
True
Let h(p) be the first derivative of p**3/3 + 2*p - 1. Let r be h(-4). Suppose j - 1 = r. Is j composite?
False
Suppose -671 = 3*p + 148. Let h = 718 + p. Let x = h - -76. Is x a prime number?
True
Let j(h) = -h - 13. Let u be j(-15). Suppose u*g - g = -4. Is (-133)/(2*2/g) composite?
True
Let t be -3 + 0 + 9/3. Suppose 4*c - 2*c + a - 817 = t, -2*a = -5*c + 2047. Is c composite?
False
Let m be (1214/(-3))/(6/(-9)). Suppose 3*y = -0*y - t + m, 802 = 4*y + 5*t. Is y a composite number?
True
Let g(o) = 2*o - 8. Let t be g(6). Suppose 0 = -4*j + 3*s + 4 - 1, 0 = j - 2*s + 3. Suppose j*a = t*h + 1157, -h - 356 - 28 = -a. Is a a composite number?
False
Is -7 - (-9 + 9) - (6 + -21686) composite?
False
Let t = 13212 - 7925. Is t composite?
True
Let b(w) = w**2 + w - 11. Let j be b(8). Let c be (j/(-5) + -3)*-10. Suppose l - 5*q + c = 5*l, -29 = -l + q. Is l a prime number?
False
Let q = 2055 + -646. Is q composite?
False
Is (-22923)/(-4) - (-4)/(-5 - -21) a prime number?
False
Let s(m) = 251*m**2 - 5*m - 7. Is s(-3) a prime number?
True
Suppose 2*r - 1 = -w, r - 2*w = -2*r + 19. Let t = 42 + -3. Suppose 0 = r*k - 0*k - t. Is k a prime number?
True
Let t = -45 - -75. Let g = 68 - t. Is g composite?
True
Suppose -5*a = 2*a - 7. Is a/(((-5)/691)/(-5)) prime?
True
Suppose -6*h - 11621 + 47555 = 0. Is h a composite number?
True
Suppose 0 = 5*o + 5*n - 12540, 0 = -o - 0*o + n + 2510. Is o prime?
False
Let h(g) = 12*g**2 - 30*g + 27. Let n be h(-13). Suppose -37*p = -32*p - n. Is p prime?
False
Suppose 5*s + b - 20 = 0, -b + 4 = 2*s - 7. Suppose -s*x + 3 + 3 = 0. Suppose 3*k - 122 = -2*o, x*o + 2*k = 5*o - 157. Is o a prime number?
False
Suppose -7*r + 2928 + 2273 = 0. Suppose -3*j + j + 2*b + 1486 = 0, j - r = 4*b. Is j a composite number?
False
Let x(h) = -h**3 + 12*h**2 + 14*h - 11. Let p be x(13). Suppose -3*y = -3*l + 1272, 0 = -2*l - 3*y + p*y + 833. Is l composite?
False
Let l be 24/(-21) + 3/21. Let u be -370*1*l/2. Suppose 0 = -0*z + 5*z - u. Is z composite?
False
Let f be (6 + -3)/3*1. Is (2/((-16)/220))/(f/(-2)) composite?
True
Let r be -4*(1 + 3/(-2)). Is -1 + 1395/3 + 6/r prime?
True
Suppose -3*l + 6971 = -4*g, -5*l + 4241 = 3*g - 7358. Is l composite?
True
Let z be (-1*1)/((-6)/24). Is 529/(z/8*2) a prime number?
False
Suppose 4*c - 18 = c. Suppose 0 = -9*s + 6*s - c. Is s*2/4*-641 a prime number?
True
Suppose 1648 = -8*g + 12*g. Suppose -169 = -w + g. Is w composite?
True
Is (73 - 147)*(418/(-4) + -1) prime?
False
Let c be (4/(-6))/(12/(-39978)). Let k = -1231 + c. Let w = k + -511. Is w a composite number?
False
Suppose -136 = 4*v - 388. Let q = 25 + -48. Let p = v - q. Is p composite?
True
Let v(j) = 5*j**3 - 2*j**2 + 3*j - 3. Suppose 7 = 3*r + x, -x - 5 = -3. Is v(r) a composite number?
True
Suppose 61 = 11*i + 17. Suppose 5*s + i*r - 13617 - 5318 = 0, -4*r = 4*s - 15144. Is s a prime number?
False
Let x = 5149 + 124. Is x a prime number?
True
Suppose 5 = 2*g - 3*y - 2*y, -2 = -g + 2*y. Let r be -7 - -29 - (-2 - -4). Suppose -5*v - 4*l = -g*v - 1959, 0 = -5*l - r. Is v composite?
True
Let q be 1/1 - 15*(-2 + 5). Is 330/q*(-458)/3 a prime number?
False
Suppose 4*t - 5*n - 25 = 0, -t + 1 = 4*n - 0. Suppose -4*u - 208 - 197 = -x, 0 = x + t*u - 423. Suppose 6*g = -g + x. Is g a composite number?
False
Let h = 9 + -2. Suppose -3*l + 10 = g, -2*g - 3*g + 4*l = h. Suppose -3*o - g + 166 = 0. Is o a composite number?
True
Suppose b + 266 = 2*s, 5*s + b - 409 = 2*s. Let a = 14 - s. Let x = 312 + a. Is x prime?
True
Let w(q) = 1168*q - 19. Let j(c) = c. Let r(g) = -j(g) - w(g). Is r(-6) a prime number?
False
Suppose 5*v + 157 = -1243. Let q = v + 567. Is q prime?
False
Let k(o) = -33*o**2 - 17*o - 17. Let n(w) = -16*w**2 - 8*w - 8. Let m(p) = 6*k(p) - 13*n(p). Suppose -5*c = -42 + 52. Is m(c) composite?
True
Let z(l) = -3*l**2 + 6*l + 5. Let b be z(6). Suppose 2*i + 184 = 6*w - 5*w, -761 = -4*w + 3*i. Let x = w + b. Is x composite?
False
Let p = -5261 - -10168. Is p a composite number?
True
Let i = -68 - -72. Is i/8 + 3517/2 composite?
False
Let b = -15 + 29. Let q = b - 22. Is (28/q)/((-1)/34) composite?
True
Let v(m) be the first derivative of -m**2/2 + 11*m - 7. Let f be v(6). Suppose -q = f*z - 281, 0 = -2*q - 7*z + 3*z + 586. Is q prime?
False
Let n(d) = -30*d**2 - 15*d + 11. Let p(l) = 15*l**2 + 8*l - 6. Let w(t) = 4*n(t) + 9*p(t). Let j be w(8). Is (-5)/30 - j/(-12) a prime number?
False
Let i(y) be the third derivative of -y**6/120 - 7*y**5/60 + 7*y**4/24 - y**3 + 4*y**2. Let p be i(-8). Suppose -99 = -p*a - a. Is a composite?
True
Let r = 27407 - 17940. Is r a prime number?
True
Let l = 134 - 285. Let s = l - -824. Is s a prime number?
True
Suppose -3*i + 5*i = 3470. Suppose 6*w = w + i. Is w a composite number?
False
Let s(t) = 5*t**2 - 8*t - 31. Let r(u) = -4*u**2 + 8*u + 30. Let k(h) = 2*r(h) + 3*s(h). Is k(10) prime?
True
Let r(z) = -z**3 - 5*z**2 + 4*z - 7. Let x be r(-6). Let k(u) = 2814*u**3 - u**2 - 6*u + 6. Let m be k(1). Suppose 0 = -x*y + m - 928. Is y a prime number?
False
Suppose -3 = -3*l - 15. Is 550 + 78/24 + 1/l a composite number?
True
Let f = 6 - -4. Suppose 4*n - 6 = f. Suppose -5*z + 3*z = 3*p - 2215, -n*z + 1482 = 2*p. Is p a prime number?
False
Let q(f) = 2*f**3 - f + 11. Let a be q(-4). Suppose 0 = -2*m + 2. Is 3/(-1) + (m - a) a composite number?
True
Let b(d) = -2*d**3 - 6*d**2 + 2*d - 1. Let l be b(-5). Suppose -2*g = -3*g + 3. Suppose 4*q - 380 = -4*f, -q = g*f + f - l. Is q prime?
True
Let i = 31 + -31. Suppose -t + 2*r + 37 - 261 = 0, i = -2*t - 5*r - 466. Let a = -62 - t. Is a prime?
False
Let y(o) = 7*o - 91. Let k be y(19). Suppose 0 = -k*r + 34*r + 120. Is r prime?
False
Let o(j) = -j**3 + 10*j**2 + 27*j - 30. Let m be o(12). Suppose 16087 + 15107 = m*t. Is t a composite number?
True
Let l = 5 - 2. Suppose 0*r + 2*r - k = 57, -l*r - 5*k = -53. Is r prime?
False
Suppose -6*v - 7 = 5. Let d be (6/(-2))/(v/452). Suppose -6*z + d + 432 = 0. Is z a prime number?
False
Let z(c) = -2*c**2 - 16*c - 12. Let j be z(-6). Suppose -j*k = -3*k - 873. Is k a prime number?
True
Let g(f) = -f**3 + 8*f**2 - 7*f. Let v be g(7). Is 2568 + 0 + v - -1 a composite number?
True
Let h be (2*(-2)/(-2))/(4/(-46)). Suppose 0 = 2*j - 3*s - 99, 0*s + 2*s = 4*j - 186. Let r = h + j. Is r composite?
True
Let u be -4*((-4)/2)/4. Suppose -3*s = -u*k - 2*k - 629, -2*k + 846 = 4*s. Is s a prime number?
True
Let g = 30 + -33. Is 44 - 2/(-6)*g composite?
False
Let i(d) = -847*d - 116. Is i(-15) a composite number?
False
Suppose 2*n - i - 7793 + 2587 = 0, -2*i - 13015 = -5*n. Is n a prime number?
False
Let m(f) = 860*f - 13. Is m(6) a prime number?
True
Let r = 12161 - 5914. Is r composite?
False
Let p(s) be the second derivative of 1/20*s**5 + 7/12*s**4 + 7/2*s**2 + 0 + 4*s - 5/3*s**3. Is p(6) composite?
True
Let m = 64063 - 37290. Is m prime?
False
Suppose -4*u = 84 - 28. Let j = -2 - u. 