rime number?
False
Let t(r) = -r - 7. Let n be t(-11). Suppose 1795 + 465 = n*u. Is u composite?
True
Let f(y) = -y**3 - 11*y - 23. Is f(-10) composite?
False
Suppose -o - 2*k + 8 = 0, 0 = 2*o + 3*o + 5*k - 25. Suppose -2*u + 391 = -3*s + o, 4*u = -5*s + 723. Is u a prime number?
False
Suppose -w = -15 + 128. Is (-3)/1*w/3 prime?
True
Suppose 0 = -5*p - 2*d - 2528 + 8633, p - 1239 = -4*d. Is p composite?
True
Let f(g) = -g**3 - 4*g**2 - 5*g - 2. Let y be f(-3). Suppose y*c = -c. Suppose -j + 2*d + 37 = -2*d, -5*d + 20 = c. Is j prime?
True
Let h(b) = 78*b**2 - 4*b - 3. Suppose 7 = -2*v - p, -v + 3 - 8 = p. Is h(v) a prime number?
True
Suppose -1 - 59 = -5*g. Suppose 0 = -3*z + g + 153. Is z prime?
False
Let u(i) = -i - 9. Let q be u(-7). Let m be (q - 0) + 30/(-3). Is (-1)/4 + (-375)/m composite?
False
Let a be 44/10 - 10/25. Suppose 3*w = -a*t + 487, 3*t + 2*t - 488 = -3*w. Is w a composite number?
True
Suppose -5*h + 3*d + 5470 = -0*d, 4*d = -3*h + 3311. Is h a composite number?
False
Let z = 463 + -729. Let u be z/(-8) + 3/(-12). Suppose 14 + u = 3*s + 4*m, -2*m + 10 = 0. Is s composite?
True
Suppose 0 = 5*c + 5 - 0. Is c/2 - 333/(-6) composite?
True
Let s = -7 - -225. Let d = s + -156. Is d a composite number?
True
Let w(x) = 0 - 4 - x**2 - 2 - x. Let u(t) = -2*t**2 - 2*t - 9. Let z(j) = -5*u(j) + 8*w(j). Is z(3) prime?
False
Suppose -242 = -11*n + 9*n. Is n a composite number?
True
Suppose l = 3*l - 254. Is l a prime number?
True
Let d(s) = -14*s**2 - 5*s + 7. Let k(i) = -15*i**2 - 5*i + 7. Let a(n) = 4*d(n) - 5*k(n). Is a(3) a composite number?
False
Suppose -2*b = 3*b + 4*i - 5, -3*i = 15. Is (10/(-8))/(b/(-60)) composite?
True
Is (359 + -3)*(-25)/(-20) prime?
False
Suppose 0 = -b + 8 - 4. Let j = -1 + b. Is j composite?
False
Let k(g) = 4*g**2 + 9*g - 2. Is k(-7) composite?
False
Suppose -2*q = -2*f + 4, 6 = 2*f + f - 4*q. Suppose 356 = 6*x - f*x. Is x prime?
True
Let y = -78 - 404. Let d = 86 + y. Is d/(-5) + 1/(-5) composite?
False
Let g(k) = -k**2 - k + 4. Let v be g(0). Let q = v + -3. Suppose -2*m - 13 = -m + 5*u, q = -m - 2*u. Is m composite?
False
Suppose -5*h + 4*f + 0*f + 967 = 0, 0 = h + 2*f - 185. Suppose 2*k - 103 = -2*t - 15, 4*k = -t + h. Is k composite?
True
Let v(d) = -d**3 - 9*d**2 - 8*d + 2. Let s be v(-8). Suppose s*w = -w - 12. Is 669/27 - w/18 composite?
True
Let u(i) = -2. Let n(a) = -13*a - 14. Suppose -j - j + 4 = 0. Let g(p) = j*n(p) - 14*u(p). Is g(-1) a composite number?
True
Suppose -70 = -3*i - 4. Is i a prime number?
False
Let d = -270 - -75. Let c be d/(-21) + 2/(-7). Let m(i) = i**2 - 7*i + 5. Is m(c) composite?
False
Suppose -5*d = 20 - 60. Let f = 31 - d. Is f a composite number?
False
Is 891 + (3 - 1)/(-1) a prime number?
False
Suppose 3*n - 17 - 3 = o, -32 = 5*o + 2*n. Let u(z) = -z**3 - 2*z**2 - 3*z + 1. Is u(o) prime?
True
Is (0 - 53)*(-5 + 4) a composite number?
False
Let a(z) = 10*z**3 + 6*z**2 - 9*z + 11. Is a(6) prime?
True
Suppose 0*o - 24 = 4*o. Let b be 26*o/3*-3. Suppose 0 = 3*f + 51 - b. Is f composite?
True
Let o(f) = 68*f. Let v be o(-3). Let i = v + 561. Suppose -2*k + i = k. Is k prime?
False
Suppose -4*n + 4*x + 38 = -1138, -5*n + 1463 = 2*x. Is n a composite number?
False
Let h(x) = -x**3 - x - 1. Let c(q) = 6*q**3 - q**2 + 6*q + 8. Let k(g) = -c(g) - 4*h(g). Is k(-3) a composite number?
True
Let s(w) = 487*w**3 - w**2 + 3*w - 2. Is s(1) a prime number?
True
Let a = -48 - -31. Let d = -11 - a. Is d a prime number?
False
Let v = 9 - 5. Suppose -w + 1065 = v*w. Is w prime?
False
Suppose -4*s = 5*r + 17, -3*r + 2*s = -2*r - 5. Is (4 - r)*156/30 composite?
True
Let d = -53 - -92. Suppose 13 = -5*m - 2, 5*r = -2*m - 16. Let l = r + d. Is l composite?
False
Let u = 6 - 5. Let k = u + 6. Suppose k = c - 0*c. Is c a prime number?
True
Suppose -2*p = 5*m - 1865, 4*m - 5*p - 1464 = -p. Is m composite?
True
Let n(b) = b - 250. Let v be n(0). Is -1*(-1 + v + 0) a prime number?
True
Let p(u) = -1121*u - 12. Is p(-1) composite?
False
Suppose 0 = 3*n - 5*n + 122. Let u = n - -13. Is u a prime number?
False
Suppose 0*d - 2*f + 1360 = 2*d, 3*d - 2070 = 3*f. Is d a composite number?
True
Suppose -2650 = -8*n - 2*n. Is n a composite number?
True
Let c(n) = 46*n**2 + n + 2. Is c(-3) a composite number?
True
Let l be 909/(-18)*10/(-1). Suppose a - 109 = -d, 5*a - 5*d + 2*d = l. Let s = a - -11. Is s prime?
False
Is (1594/(-4))/(5/(-90)*3) a prime number?
False
Let y(i) = -2*i**3 - 13*i**2 - 8*i + 13. Is y(-8) a composite number?
False
Let v(d) = -d**3 + 3*d**2 + 6*d + 2. Let i be v(5). Let k = 15 - i. Suppose -k = 3*o - 6*o. Is o a composite number?
False
Suppose 0 = 2*s + 3*s - 1055. Is s composite?
False
Let d(m) = 32*m + 11. Is d(10) prime?
True
Suppose 2*q + 4*u = 4*q + 56, 147 = -4*q + u. Let s = -21 - q. Suppose 2*v - s = 21. Is v prime?
True
Let i be ((-4)/(-10))/((-2)/(-10)). Suppose -148 = -i*y + 34. Is y prime?
False
Let x(w) = -32*w. Let s be x(-6). Let c = s - 109. Is c composite?
False
Let w(i) = -i**3 + 4*i**2 + 4*i + 5. Let l be w(5). Let u be 1*(-6)/3 + l. Is u/(3 + 586/(-194)) a composite number?
False
Let k be 1 + (-1 - (-2 - 0)). Let a(t) = t**2 + t - 1. Let s be a(k). Suppose -i = -s*h - 5*i + 91, 37 = 2*h + i. Is h a composite number?
False
Let w(t) = 1 + 4*t - 3*t**2 + t - t + 0*t + 3*t**3. Is w(4) a prime number?
False
Let d = -11 - -7. Let s be (-40)/(-18) + d/18. Suppose -o - 25 = -s*m - 0*o, 5*m = 3*o + 62. Is m composite?
False
Let d(y) = -29*y. Let n be d(3). Let w = 140 + n. Is w a composite number?
False
Suppose -10 = 3*b - 37. Let g = b - 9. Suppose -9*a + 10*a - 106 = g. Is a a prime number?
False
Let i = -445 + 695. Let f = i + -89. Is f prime?
False
Let n be 1 + -4 - 2*93. Let a = n - -400. Is a prime?
True
Suppose -5 + 8 = b. Suppose 0 = d + b*k + 5, -5*d + 3*d + 20 = -4*k. Suppose 0 = -d*a + 700 - 104. Is a a prime number?
True
Let n(u) = u**3 - 6*u**2 - 8*u + 10. Let t be n(7). Suppose 0 = 3*i - 5*f + 143, t*i + f = -i - 206. Let g = 122 + i. Is g composite?
False
Suppose 4*g + 1954 = 6*g. Is g a prime number?
True
Let f(o) = 48*o + 83. Is f(23) a prime number?
True
Is (541/3)/(1/3) a prime number?
True
Is (-2)/6 - 2184/(-18) a composite number?
True
Suppose -3*y = -2*y - 5*s - 273, 2*y - 601 = -s. Is y prime?
False
Let x be 52/(-8) + (-1)/(-2). Is (-1422)/12*4/x a prime number?
True
Let b(w) = 3 - 3 - 1 + 6*w + 2. Is b(6) composite?
False
Suppose -2*c + 3*c - 3*b - 730 = 0, 0 = 3*c + 4*b - 2151. Is c a prime number?
False
Let c(g) = 2*g**2 - 5*g + 3. Let p be c(3). Is 2375/45 - p/(-27) composite?
False
Let j(r) = r**3 - 8*r**2 - 10*r + 12. Let p be j(9). Suppose p*y = 5*y - 44. Is y prime?
False
Let n(p) be the second derivative of p**4/12 - p**3/2 - 3*p**2/2 - 11*p. Let b(l) = l. Let j be b(-3). Is n(j) composite?
True
Let s be 22/(-2)*-102 + 1. Suppose y - s = -3*t - y, 4*t - 1504 = 4*y. Suppose -4*i + 514 = -0*w + 2*w, -3*i = -2*w - t. Is i composite?
False
Suppose p + 96 = 5*p. Is (-3)/(-12) + 4914/p composite?
True
Suppose -5*y = -3*k + 2014 + 225, 0 = 3*k + y - 2263. Is k prime?
False
Let i = 3 + -2. Let g(n) = 1 - 12*n + n + i. Is g(-7) composite?
False
Let g(p) = p - 3. Let h be g(6). Suppose -8*d + h*d = -2345. Is d a composite number?
True
Let d(s) = 7*s + 4. Let r be d(-6). Let c = r + 57. Is c a composite number?
False
Suppose -i = -71 + 22. Suppose 2*f = 53 + i. Is f composite?
True
Let s(l) = 0*l**2 - 9*l**2 - 8 - 14*l - l**3 - 3. Let j = -15 - -6. Is s(j) composite?
True
Suppose -405 = -5*b - 0*b. Suppose -2*f = -3*d - 172, 0*d = f - 4*d - b. Is f a composite number?
False
Suppose -m + 3 = j, -7*j + 7 = m - 2*j. Let w(r) = -6*r**2 + 2*r**2 + 2*r**3 + 5 - m*r**2 + 4*r. Is w(4) prime?
True
Suppose 3 = -x - 2*x, 3*j - 3 = 3*x. Let g(h) = h**2 + 2*h + 587. Is g(j) a prime number?
True
Let z = -124 + 861. Is z prime?
False
Let t(m) = -m + 7. Let d be t(6). Let y = 3 - d. Suppose q = y*q - 49. Is q composite?
True
Suppose 5*n + 9 = -3*d, 4*d - 1 + 8 = -5*n. Suppose -d*h = -h - 91. Is h a prime number?
False
Let t(y) = y**2 - 3*y - 9. Let f be ((-5)/(-15))/(2/(-6)). Let l be 3/(f/16*-6). Is t(l) prime?
True
Let i = -7335 - -19532. Is i a prime number?
True
Let i = -15 - -9. Let v(s) = s + 10. Let l be v(i). Suppose -l*x + 4*b + 353 = 3*b, -b = 3*x - 270.