*f + 19 - 5, 5*a + 3*f = 20. Is (-75)/z*(0 + a) a composite number?
True
Let o(n) = -2*n**3 - 2*n**2 - 3. Is o(-3) composite?
True
Let n be 39*(3 + 1/3). Let r = n - 77. Is r a prime number?
True
Suppose -4*s + 0*s + 136 = 0. Is s composite?
True
Suppose 4*p - t + 0*t = 1461, 0 = 5*p - 4*t - 1829. Is p a composite number?
True
Suppose -12*q + 15*q - 381 = 0. Is q composite?
False
Let h be ((-9)/6)/((-2)/(-12)). Let l(c) = -c**3 - 7*c**2 - 6*c - 6. Let v be l(-6). Let i = v - h. Is i a composite number?
False
Let j(u) = u**3 + 8*u + 2. Let i(l) = -3*l**3 - l**2 - 17*l - 3. Let s(t) = 2*i(t) + 5*j(t). Let n be s(-4). Let p = n - -7. Is p a composite number?
False
Suppose -4*n - 5*k + 20660 = 0, -6*n + n + 25825 = -4*k. Is n prime?
False
Let x(i) = 2*i**2 + 7*i - 5. Let r = -6 - 0. Is x(r) a composite number?
True
Let o = 20 - -203. Is o a prime number?
True
Let u = -6 - -10. Let n(x) be the first derivative of x**2 + 2*x + 6. Is n(u) a composite number?
True
Suppose -43 = -y + 5*v + 11, -5*v + 153 = 2*y. Suppose 3*i - 4*i = -y. Is i a composite number?
True
Let x(k) = -13*k - 10. Let r be x(-13). Suppose -3*j = -r - 87. Is j composite?
True
Suppose 4*g + 30 + 2 = 0. Let i be (5 - -3)*(g - 0). Let k = -45 - i. Is k a prime number?
True
Let d be (-3 - 0)/(-3)*2. Suppose d*i = 0, -4*f - 3*i = i - 52. Is f a prime number?
True
Let v = -654 - -255. Is v/(-3) + (-6)/3 prime?
True
Let n = -81 - -529. Let u = -306 + n. Is u a prime number?
False
Let c be -19*(-3 - (1 - 2)). Suppose c = 4*h - 2*a, -3*h = -2*h - 5*a - 32. Is h a composite number?
False
Let t = -70 + 137. Is t a composite number?
False
Let t(w) = -w**3 + 10*w**2 + 5*w + 3. Is t(10) a composite number?
False
Let t(g) be the first derivative of 18*g**3 - g**2 - g - 3. Let f be t(2). Suppose f = k - 0*k. Is k composite?
False
Let h = 61 + -11. Suppose -2*u - 8 + h = 0. Is u a composite number?
True
Suppose -g + 4 - 3 = -p, -2*p - 11 = -5*g. Suppose -p*i + 22 = 2. Suppose i*a = 5*a + 455. Is a composite?
True
Is 4 - -7*100 - (1 - -2) prime?
True
Let z = 9 + -104. Is z/(-2) - 4/8 a prime number?
True
Let c(d) = 10*d**3 - 8*d**2 + 14*d - 9. Is c(5) a composite number?
True
Let v(y) be the third derivative of 0*y - 4*y**2 - 1/2*y**3 + 0 - 1/6*y**4 + 1/30*y**5. Is v(-2) a composite number?
False
Let c(r) = 3*r**2 - 15*r + 15. Is c(6) a prime number?
False
Let p = -17 + 19. Suppose p*l - 6*l = -532. Is l a composite number?
True
Let a(r) = 3*r**2 - 13*r + 1. Is a(9) a composite number?
False
Let u(c) = -9*c**3 + 2*c**2 - 6*c + 9. Is u(-4) a prime number?
True
Let b = 2845 + -1886. Is b a prime number?
False
Let h be 2/4 - (-14)/(-4). Let v(w) be the second derivative of w**4/12 + w**3/6 + w**2/2 - 10*w. Is v(h) prime?
True
Let a(b) = 12*b**3 + b - 3. Is a(4) a prime number?
True
Let p = 18 - 14. Suppose -c + 24 = q + p*c, -3*q + 105 = 4*c. Is q a composite number?
True
Let g(d) = -d**3 - 2*d**2 - d - 7. Is g(-6) a prime number?
False
Suppose -2*y + k = -403, 0 = 2*y + 2*y - 4*k - 816. Is y a prime number?
True
Let s(n) = n**3 - 6*n**2 - 10*n + 9. Let q be s(7). Is ((-4)/q)/((-1)/(-75)) a prime number?
False
Let l = 423 - 22. Let g = 712 - l. Is g a prime number?
True
Let o = 1157 - 658. Let f = 800 - o. Is f a composite number?
True
Suppose 2*v - 7*v + 185 = 0. Is v composite?
False
Let a(k) = -6*k - 68. Is a(-12) prime?
False
Let n = -713 - -1044. Is n composite?
False
Let m(g) = -2*g - 13. Let w be m(-8). Suppose w*j = 3*r - 0*j - 66, r - 24 = 3*j. Is r prime?
False
Let x be 177/6*16/2. Suppose 0 = -4*l + l - 507. Let n = x + l. Is n composite?
False
Let f = 147 - 50. Is f prime?
True
Let z(s) = -s + 4. Let l be z(0). Suppose -l*d - 260 = d. Let a = 101 + d. Is a prime?
False
Let m(l) = l**2 - 5*l - 2. Let j be m(7). Let t be 3/j + 1/(-4). Is -15*(0 - 1 - t) a composite number?
True
Suppose c + 1 + 2 = 0. Let j be (c - -2)/(2/(-6)). Suppose 2*x - 11 = 3*v + 18, 5*x = j*v + 86. Is x a composite number?
False
Let z be 1 - -39 - (2 - 4). Suppose 4*m - z = 178. Let y = m - -7. Is y composite?
True
Let v = -4 + 6. Let u be 4/(-14) + 1270/35. Suppose 0*a + v*a - 5*t - 79 = 0, -a - t + u = 0. Is a composite?
False
Let v(x) = -2*x**3 - 11*x**2 - 2*x - 11. Let b be v(-9). Suppose -5*u = -5*t - 960, -t = -3*u - 0*u + b. Is u a prime number?
True
Let d(a) be the third derivative of -25*a**4/24 + a**3/2 + a**2. Is d(-10) prime?
False
Suppose 374 = 2*c + 92. Is c a prime number?
False
Let w be 0/((-1)/1*1). Let l = -4 + 7. Suppose l*p - 5*p - 2*v + 36 = w, -3*p + 53 = 4*v. Is p composite?
False
Let r = -8 - -4. Is 190/r*(-2)/1 prime?
False
Let l = -273 - -536. Is l a prime number?
True
Suppose -4*x = 3*x - 4711. Is x a prime number?
True
Let s = -3 + 5. Suppose 0*h - 134 = -s*h. Is h composite?
False
Let f(v) = -v**2 + 11*v + 13. Let k be f(9). Suppose -4*q + y + 309 = 0, -k - 44 = -q - 2*y. Is q composite?
True
Is 60/(-210) + 0 + 11853/7 a composite number?
False
Suppose -5*v + 3*u + 635 = 0, 3*v + v = 5*u + 508. Let s = 182 - v. Is s a prime number?
False
Let s be ((-16)/(-20))/(2/10). Is 41*s - 6/6 prime?
True
Let v(i) = -i**2 - 5*i - 5. Let z be v(-4). Is z/1*(-43)/1 prime?
True
Suppose 2*s + m - 46 = -3*m, -4 = m. Is s a prime number?
True
Suppose a - 15 = -2*a. Suppose a*j - 4357 = 1698. Is j prime?
False
Suppose 1827 + 232 = u. Is u a composite number?
True
Suppose 2161 + 1491 = 4*b. Is b a composite number?
True
Let w(d) = 3 + d + 2 - 1. Let o be w(0). Suppose -o = -b - 1. Is b prime?
True
Let x(d) = d**2 - 7*d - 39. Is x(-16) prime?
False
Let a be (-2)/4*-2*0. Let z(k) = -k**3 + k**2 - k + 19. Is z(a) a composite number?
False
Let g be -1*1*(-44 - -1). Suppose -5*x - 87 = -3*v, 0*x - x + 93 = 4*v. Let d = g - v. Is d a composite number?
False
Is (-19311)/(-6)*(-6 - -8) a composite number?
True
Let o be (15/(-9))/(2/6). Let i = o + 8. Is i prime?
True
Suppose -5*r + b + 792 = 0, 3*r - 483 = -3*b + b. Let d = -77 + r. Let m = 3 + d. Is m a prime number?
False
Suppose 5*v - 4*v = 0. Suppose -2*h - h = -5*d - 1064, 2*d + 3*h + 413 = v. Let w = d + 422. Is w prime?
True
Let o(p) = p**3 - p**2 + 3*p + 443. Is o(0) a composite number?
False
Suppose 5*d = -0*d. Let k be 5*(2 - (1 + d)). Suppose 0 = -k*u + 1 + 34. Is u prime?
True
Let u = 27 + -48. Let c = u - -104. Suppose -4*i + 64 = 5*y, 6*i = 3*i + 5*y + c. Is i composite?
True
Suppose 0 = -4*r + x - 58 + 182, -4*r + 140 = 3*x. Let f = r + 47. Is f composite?
False
Let r = 2 + -1. Let d = r - -5. Is (10/d)/(2/18) composite?
True
Let k(b) = 2*b**2 - 3*b. Let m be k(2). Let s = m + -2. Is 21 - (-3 + s + 1) a prime number?
True
Suppose 6078 = -5*g + 17083. Is g prime?
False
Let d(s) = 5*s**3 + 27*s**2 - 16*s + 14. Let a(i) = 2*i**3 + 13*i**2 - 8*i + 7. Let v(r) = -7*a(r) + 3*d(r). Is v(12) prime?
False
Suppose -8*w - 52 = -12*w. Let m(u) = 930*u**3 + u - 1. Let c be m(-2). Is 2/w + c/(-39) a prime number?
True
Suppose -5*y + a = -29, -a - 2*a = -y + 3. Let i(d) = d - 1. Let o be i(y). Suppose o*f - 7 = -5*b + 193, -4*b + 133 = -5*f. Is b a prime number?
True
Let x(p) = 14*p**2 + p. Let l be x(2). Let y be l/(-8) + 3/12. Is y/4*2*-14 composite?
True
Let o be ((-94)/(-4) - 3)*2. Suppose -o = 4*b - 669. Is b composite?
False
Suppose 3*r = -4*w + 14, -5*w + 8*r + 35 = 3*r. Suppose -w*q - 2*x = -743, 2*x - 192 = -2*q + 104. Is q prime?
True
Suppose 2*l = -0*l + 124. Let d be 1/(-1)*(-12 - -1). Suppose q = l - d. Is q a composite number?
True
Let b = 2 - 2. Suppose h - 69 = -b*h. Let a = h - 46. Is a composite?
False
Suppose -39 = -4*o + o. Suppose o = w - 7. Suppose 5*t + w = 265. Is t a composite number?
True
Is (543 - 2 - 3)/2 composite?
False
Let n(x) = x**3 + 4*x - 2. Let h be (-9)/(-6)*100/6. Let o be (-12)/10*h/(-10). Is n(o) a composite number?
False
Let c be -2 + 0 - (1 + -2). Let o = c - -1. Suppose -2*l - 2*l + 92 = o. Is l prime?
True
Let m = 8 + -12. Let h be (-3)/9 - (-106)/3. Let w = m + h. Is w a composite number?
False
Suppose 3*p = 3*r + r + 5911, 0 = -p - 5*r + 1983. Is p a composite number?
False
Let t be 3*3/(-6)*-4. Let m = 13 - t. Is m a prime number?
True
Suppose 3*x + 552 = 6*x - i, 4*x - 2*i = 734. Is x prime?
False
Let m = 14 + 47. Let t = -7 - 17. Let v = m + t. Is v a composite number?
False
Is 2 - (-36)/8*278 a composite number?
