- r + 2. Let g be i(3). Let m = 10 - g. Is m composite?
False
Suppose -96 = 5*i - 501. Let j = -58 + i. Is j composite?
False
Let y(i) = -337*i**3 - 3*i**2 + 7. Is y(-3) composite?
True
Suppose z - 313 = 2*l, 0 = -5*z + 2*z - 5*l + 906. Is z a composite number?
False
Suppose 3*q - 34 = -7. Let t be 98/6 - (-6)/q. Let l = 32 - t. Is l a composite number?
True
Let u = -47 - -93. Is u a prime number?
False
Is 8*(-141)/(-6) + 3/1 a composite number?
False
Suppose 3*r - 3806 = -5*q, -3*r + q + 3851 = -3*q. Is r a composite number?
False
Let a be (2 - -3 - 2) + -1. Is 0/a + -4 - -195 a prime number?
True
Let i(a) = -a + 5*a + 4*a + 0*a - 2. Is i(5) a composite number?
True
Suppose -2*l = -5*w - 41 + 11, -3*w - 18 = 2*l. Is 4/8 - 351/w composite?
False
Let f = -5 - -9. Suppose 3*w + 153 = 3*v + f*w, 0 = 2*v - w - 102. Is v a composite number?
True
Let r(o) = 66*o**2 - 6*o + 2. Is r(2) a prime number?
False
Suppose 0 = -5*a, a - 421 = -2*y + 333. Is y a prime number?
False
Suppose -2*f = 2*f - 580. Is f prime?
False
Let l(k) = -k - 10. Let r = -7 - 0. Let t be l(r). Is (0 - 1)/(t/111) prime?
True
Suppose -11*s + 11473 = -4*s. Is s a composite number?
True
Let q(f) = f**3 - 8*f**2 + f - 6. Let r be q(8). Let v = -2 - r. Let j(d) = -d**3 - 3*d**2 - d - 5. Is j(v) a composite number?
True
Let y(o) = 9*o**3 - 6*o**2 - 2*o + 15. Is y(4) prime?
True
Let v(o) = -o - 5. Let q(z) = -2*z + 2. Let k be q(3). Let c be v(k). Is (94/4)/(c/(-2)) a prime number?
True
Let f(o) = o**3 + 5*o**2 - 6*o - 4. Let p be f(-6). Is (p - -7)*(-109)/(-3) a composite number?
False
Suppose -5*i - 3*t + 240 = -1240, 3*i - 2*t = 907. Is i a composite number?
True
Let b(t) be the second derivative of -t**3/6 + 3*t**2 - t. Let l be b(6). Suppose 5*s - 158 = -3*f, l*f + 122 = 4*s - 2*f. Is s a composite number?
False
Suppose -3*x + 1 = -5. Suppose -2*v - a + 190 = 0, -x*v = -4*a - 98 - 82. Let w = v - -21. Is w prime?
False
Suppose 5*o = o - x + 200, -o + 33 = -4*x. Is o a prime number?
False
Let r be (6/(-6))/(1/(-69)). Suppose -3*q + r = -24. Is q prime?
True
Suppose 4*q - 486 = 5*x, -355 = 2*q - 5*q - x. Is q a composite number?
True
Let o = -1752 + 5542. Let w = o - 2429. Is w a prime number?
True
Let x be (-3 - -1)*(-1)/2. Let u be (x/(-2))/(1/(-20)). Let w = 1 + u. Is w composite?
False
Suppose o + 494 = 3*o. Is o prime?
False
Let p(l) = -172*l + 30. Is p(-7) a composite number?
True
Let j(a) = -a + 7. Let l be j(9). Let k be 8 - 7 - (-4)/l. Is (5*6)/(3 + k) a composite number?
True
Suppose 5*l + 2*l - 791 = 0. Is l a prime number?
True
Let v = 5 - 5. Suppose v = 2*m - 0*m - 70. Is m prime?
False
Let f be (-10 - -2)*1/(-2). Suppose -f*s + i + 137 = -15, -s + i + 41 = 0. Is s prime?
True
Let d(w) = 10*w - 11. Suppose 2*f + 14 = 4*f. Is d(f) prime?
True
Let o(y) = 12*y - 1. Let q(r) = r**2 + 8*r - 6. Let n be q(-9). Let l = n + -2. Is o(l) a composite number?
False
Suppose 0 = 4*o, -2*w - 2*o + 179 = 21. Is w composite?
False
Let r(y) = y**3 + 6*y**2 - 2*y. Let p be r(-6). Suppose 7*w = p*w - 45. Is w prime?
False
Let g(q) = -q**3 - 2*q**2 + 5*q - 2. Let u be g(-4). Let s be u/(-4)*(-2 - 0). Suppose -m + 16 = -s*m, -4*k + m = -216. Is k a composite number?
False
Let q = 1 + -1. Let n be q - 0/(-3 + 1). Let v(l) = -l**3 + l**2 + 14. Is v(n) prime?
False
Let r be 35852/10 - (-1)/(-5). Suppose -4*b + 5*z - 922 = -r, -z = -3*b + 2000. Is b a composite number?
True
Let n(t) be the first derivative of 2*t**3/3 + t**2 + t - 1. Let k be n(2). Let r = k + -7. Is r prime?
False
Suppose 1549 = 9*h - 8189. Is h prime?
False
Let f(o) = -o**3 + 5*o**2 + 6*o + 5. Let b be f(6). Suppose 0 = 5*a - x - 148, -142 = -b*a + 2*x - 3*x. Let r = a + 2. Is r prime?
True
Is (-92)/(-1) - (-1 - -2) a composite number?
True
Suppose -3*d = -6*d + b + 288, -d + 4*b + 85 = 0. Is d a composite number?
False
Let c = 1 + -1. Is (-1068)/(-6) - (-1 - c) a prime number?
True
Let y(h) = -h**3 + 23*h**2 - 18*h + 11. Is y(14) composite?
False
Let c be 2/(-4) + (-502)/(-4). Let w be c/(-5)*(2 + -1). Let m = 186 + w. Is m prime?
False
Let x = 7 + -3. Let s = 75 + x. Is s composite?
False
Suppose a + 363 = -39. Let z = a - -744. Is -4*1*z/(-24) composite?
True
Let r(k) = -320*k - 25. Is r(-4) composite?
True
Let f be (-2)/2*(-4 + 7). Let d be (-2)/6*f*2. Suppose d*o = 3*c + 113, 3*c - 59 = -o + 7*c. Is o a prime number?
False
Let o be (2 - (-9)/(-6))*6. Suppose -2*d + 36 = -5*r + o*r, -d = r - 24. Is d composite?
True
Let j(a) = a**2 + 6*a + 6. Let b be j(-5). Is (1 + 144 + 4)/b a composite number?
False
Let s be (-1)/(-3) - 140/(-12). Suppose s*g = 7*g + 325. Is g composite?
True
Suppose -2*z + 3*c - c + 2728 = 0, 2*c = -5*z + 6799. Is z prime?
True
Suppose -11*y - 1 = -12*y. Suppose -y = -j + 10. Is j a prime number?
True
Let p(s) = s**3 - 3*s**2 + 3*s - 2. Let i be p(3). Let b = 30 + i. Is b a composite number?
False
Let n(m) = 7*m**2 + 6*m + 4. Is n(-5) composite?
False
Let z(j) be the first derivative of -6*j**2 - j - 4. Is z(-2) prime?
True
Let y(s) = -72*s**2 - 7*s + 10. Let o(t) = -24*t**2 - 2*t + 3. Let c(p) = -7*o(p) + 2*y(p). Is c(-6) composite?
False
Suppose 0 = -5*m + 6*m - 27. Let z = m - 12. Is z prime?
False
Let a(s) = 15*s**3 + 3*s - 7. Is a(3) a prime number?
False
Suppose -2*h + 484 = -50. Is h prime?
False
Let c(o) = o**3 + 21*o**2 + 12*o - 5. Is c(-19) prime?
False
Let u(a) = 57 + 2*a**3 - 3*a**3 - 3 + 59. Is u(0) prime?
True
Suppose 0 = 27*u - 25*u - 332. Is u a prime number?
False
Let p(h) = h**3 - 3*h**2 - 5*h. Let j be p(4). Let k = 45 - 39. Is (-1112)/(-24) - j/k prime?
True
Let y(s) = -7*s - 4. Let t be y(3). Let a be (1 - 11)*370/t. Suppose -a = -3*q - q. Is q prime?
True
Let b(k) = 2*k**2 + k + 8. Let m be (-8)/12 - 31/3. Is b(m) prime?
True
Let c = -30 + 50. Let u = 34 - c. Let r = 23 - u. Is r composite?
True
Let m be (4/3)/(6/18). Suppose -2*d - 21 = -4*t + 3, 2*t + 18 = -m*d. Is (d - -4)*138/(-4) prime?
False
Is 2/7 - 3538/(-14) prime?
False
Suppose -4*b - 4 + 12 = -3*y, 0 = b - y - 2. Suppose b*j - 27 = -j. Is j a composite number?
True
Suppose -2*y = 3*y - 4*c + 123, 0 = 2*c - 4. Is 1 + -2 + y/(-1) a prime number?
False
Suppose p = 4*o + 798, 8*p - 4*o = 11*p - 2314. Is p a prime number?
False
Let g = 51 - -328. Is g a composite number?
False
Suppose -3*k = -17*k + 9086. Is k prime?
False
Let o = 1976 - 1403. Suppose -o = -2*r + r. Is r a prime number?
False
Suppose 5*z - 606 = -151. Suppose 0 = 3*r - 4*r + z. Is r a prime number?
False
Suppose n - 2*m - 10 = 0, -15 = 3*n + m + 2*m. Is n + -3*(-5 + 3) prime?
False
Suppose 514 = -6*m + 8*m. Is m prime?
True
Let u = 735 + -442. Is u prime?
True
Let v(z) = -2*z**3 - 2*z**2 - 7*z + 5. Is v(-6) prime?
False
Let i(g) = g**2 - 15*g - 4. Let q be i(14). Is (-2128)/q - (-4)/(-18) composite?
True
Let d(c) = c - 1. Let n be d(2). Let m(g) = -2*g. Let j be m(n). Is ((-188)/8)/(1/j) composite?
False
Suppose 0 = 3*n - 2*r - 1290, -4*n + 1721 = r - 4*r. Let v = n + -301. Is v composite?
False
Is 329 + 4/10*5 composite?
False
Suppose 0 = -4*b + 4*f - f + 331, -4*b + 5*f = -325. Is b a prime number?
False
Suppose 12 = -4*u, -2*u = -4*o + u + 533. Is o prime?
True
Let p = -9 - -11. Let m(x) = 61*x**2 - 18*x**2 + 2*x + 51*x**p + 1. Is m(-1) a composite number?
True
Suppose -87 = w - 376. Is w composite?
True
Is (-7)/(4/46*(-8)/16) prime?
False
Let i(b) be the first derivative of b**3/3 - b**2 + 5*b + 6. Suppose 3*f = 7 + 5. Is i(f) composite?
False
Let h be (-4)/10 + 26118/45. Suppose -n + 5*n = h. Is n a composite number?
True
Suppose -n + 5*n = 4012. Is n composite?
True
Let v = 6 + -2. Let y(w) = -w**2 + 4*w + 5. Let h be y(v). Suppose -h*p + 12 = -53. Is p a prime number?
True
Let u(l) be the first derivative of l**2/2 - 2*l - 3. Let t be u(5). Let a = t - -23. Is a a composite number?
True
Is (2/4)/(15/7530) prime?
True
Let d(l) = 0*l**2 + 14*l**2 + 7 + 2*l + 2*l. Is d(-5) a prime number?
True
Let q(f) be the third derivative of 3*f**5/20 - 5*f**4/24 - f**3/2 - 4*f**2. Is q(-4) a prime number?
False
Suppose 10*k - 10250 = 7980. Is k a composite number?
False
Suppose -547 = 3*c + 2099. Let w = -436 - c. Is w prime?
False
Suppose 549 = 3*j - 3462. Is j prime?
False
Let y be (-36)/20*(-30)/9. Suppose -385 = h - y*h. Is h a prime number?
False
Let k be (