 - 9, 5*x - 2 - 49 = -3*u. Is (9/u)/(2/136) a prime number?
False
Suppose -3*u + 3*n = u + 156, n - 184 = 5*u. Is u/(-1) + 3/(-3) prime?
False
Let h be ((-4)/10)/((-2)/20). Let z = 147 + 2. Is z/3 + h/(-6) a composite number?
True
Suppose -3*n = 4*b + 2*n + 150, 0 = -5*b + n - 202. Is ((-26)/8)/(2/b) a prime number?
False
Let j(g) = 3*g**3 - 4*g**2 + 5*g - 4. Let w be j(4). Suppose -80 - w = -4*d. Suppose 3*t - 69 = -4*y + d, 50 = 2*y + 4*t. Is y composite?
True
Suppose 0 = -2*c - 2*u, 5*c - 8 = -u - 0. Suppose -l = -c*l - 2*m + 131, -3*l = -4*m - 373. Is l a prime number?
True
Let l(x) = x + 2. Let j be l(0). Let b be ((-13)/(-3))/((-1)/(-9)). Suppose -m + b - j = 0. Is m prime?
True
Suppose q = 0, -2 - 14 = 2*n - 2*q. Is (-2*(-740)/n)/(-1) composite?
True
Let d(z) = -z**3 - 6*z**2 + 2*z + 8. Suppose -r + 5*v = v - 10, -3*v = 12. Let b be d(r). Is ((-1)/(-2))/(b/(-168)) a prime number?
False
Let p(m) = 37*m**2 + 9*m - 14. Is p(4) composite?
True
Let g(y) = 11*y**3 + 3*y**2 - 3*y + 3. Let b(j) = -j**2 - 6*j + 2. Suppose 5*f + 24 = 3*c, -3*c + 20 = -4*f + 2. Let s be b(f). Is g(s) a composite number?
False
Let g be 0/(-5)*(-2)/4. Suppose g = 5*x - 79 - 76. Is x prime?
True
Let d be 2/(-8) - (-18)/8. Is 0 - (d + -1)*-47 a composite number?
False
Suppose -c - 3*c + 343 = 3*m, 0 = -4*c + m + 339. Is c a prime number?
False
Let b = 1884 - 1181. Is b prime?
False
Let p = -6 - -6. Suppose -3*m + 271 = -4*s + 1112, p = -4*s - 4*m + 848. Is s composite?
False
Let w = 9 + 3. Suppose 4*a - 806 = -3*g + g, 0 = 4*g + w. Is a composite?
True
Suppose -5*i + 4*m + 5 + 5 = 0, -4*i - 2*m + 8 = 0. Is 160 - -1*i/(-1) prime?
False
Is 27/1 - (1 - -1) a composite number?
True
Suppose -3*k - 16935 = -8*k. Let w be k/21 + 6/(-21). Suppose -3*x = -2*x - w. Is x a composite number?
True
Suppose 5 = -u + 2*u, 497 = 2*l - u. Is l prime?
True
Let t(i) = 3*i**2 + 6*i - 12. Let k = -12 + 3. Is t(k) prime?
False
Suppose 5*x - 13654 = x - 2*o, -5*o = 15. Is x prime?
False
Suppose 0 = 3*d + 2*d + 3*g - 1, -3*g = -4*d + 17. Let l(x) = 14*x**3 + 2*x**2 + 1. Is l(d) a composite number?
True
Suppose 4*b = -3*r - 21, 2*r - 3*b - 1 = 2. Is r/(-18) - (-6351)/18 composite?
False
Let t = 121 + 28. Let p = 480 - t. Is p composite?
False
Suppose -4*p + 15583 + 3109 = 0. Is p prime?
True
Suppose 2*u + 1 = u. Let f be (0 - (-3)/3)*8. Let y = f + u. Is y a composite number?
False
Suppose 2*c + 2*c = 580. Let j = c - 79. Suppose -s + 6*s = 5*a - 145, -2*a = 2*s - j. Is a a prime number?
True
Is (-1*69)/(-3) - 4 a composite number?
False
Suppose 2*r = -r + 18. Suppose -3*z - r = -171. Is z a composite number?
True
Suppose 0*z + 2*z - 6 = 0. Suppose 3*w = 4*t + 451, z*w + t = 2*t + 466. Is w a prime number?
True
Let d = 110 - -81. Is d a composite number?
False
Let z(y) = 34*y - 13. Is z(9) prime?
True
Suppose -3*x - b + 1406 = 0, -2*b = 3*x - 2*x - 467. Is x a composite number?
True
Let m(n) = -226*n + 11. Let f(i) = -75*i + 4. Let o be 2/(-8) + (-39)/(-12). Let j(r) = o*m(r) - 8*f(r). Is j(-1) a composite number?
False
Let j(d) = d**2 + 2*d + 1. Let h be j(-3). Suppose 0 = 2*y - h*y. Suppose 4*n - 3 - 145 = y. Is n composite?
False
Let q = 10 + -6. Suppose -4 = q*y + 92. Is 0 - ((3 - 1) + y) composite?
True
Let f be 4 - (-6)/(-9)*-3. Suppose 0 = -f*g + g. Let d = 3 - g. Is d a prime number?
True
Suppose l = 28 + 71. Let b = l + -16. Is b a prime number?
True
Let h = -61 + 92. Is h composite?
False
Let j(x) = -x**3 + 12*x**2 + 9*x + 31. Is j(11) prime?
True
Let k(b) = b + 6. Let n be k(-6). Suppose 2*q = -n*q + 66. Is q a composite number?
True
Let t(r) = -r + 2. Let q be t(-5). Let z = -5 + q. Is ((-475)/(-20))/(z/8) prime?
False
Suppose -6*f + 4*c + 320 = -2*f, 2*c = 5*f - 397. Is f composite?
False
Let o = -11 - -16. Let q = -5 + o. Suppose q*p = 3*p - 57. Is p prime?
True
Let t(n) = n**3 - 4*n**2 - 3*n - 1. Let i(o) = o**3 + o**2 - o - 1. Let k(a) = 4*i(a) + t(a). Let g be k(-4). Is -2 + (1*g)/(-3) a prime number?
True
Suppose 32*v - 2247 = 29*v. Is v prime?
False
Suppose k = -2*k. Suppose k*s = -s + 21. Is s a composite number?
True
Let j = 11 - -72. Is j prime?
True
Suppose -5*x + 2*x + 6 = 0. Suppose -x*p + 20 = 3*g, -4*g + 4*p = g - 4. Suppose -k = 2*d - 0 - 9, g*d = -20. Is k a prime number?
True
Let f(y) = y**3. Let b(o) = 19*o**3 - 1. Let s(v) = b(v) + 2*f(v). Let k be s(1). Is (-4)/(-10) + 372/k prime?
True
Let u = -918 - -1541. Is u a prime number?
False
Suppose -3*j = -2*j - 133. Suppose z = -46 - j. Let m = z + 302. Is m a prime number?
False
Let n be (4/6)/(3/216). Suppose -2*t + 126 = -n. Is t a composite number?
True
Let b(x) = 76*x**2 + 3*x. Is b(-2) composite?
True
Is -2 - (-151)/2*2 composite?
False
Suppose -6*r = 627 - 3465. Is r a prime number?
False
Suppose 0 = -4*q + p + 24524, 4*p = 5*q + 8*p - 30655. Is q prime?
True
Let r = 15 + -30. Let f be (12/15)/((-2)/r). Is (-62)/(-3) + f/18 composite?
True
Suppose 0*j = -3*j + 210. Suppose -d + j = 5. Is d a prime number?
False
Suppose -3*k + 8*k - 1015 = 0. Suppose n - k = 54. Is n prime?
True
Let z(i) = 2*i**3 + 14*i**2 + i - 11. Is z(-6) prime?
False
Let m(d) = 5*d**2 + d - 2. Let c be m(7). Let r = 15 + c. Is r composite?
True
Let b(s) be the third derivative of s**5/20 + s**4/8 + s**3/2 + 7*s**2. Is b(5) a prime number?
False
Suppose 0 = -f + 2*f - 791. Is f a composite number?
True
Suppose -2*v + 14 = b, -3*b - 4*v + 37 = v. Suppose b*h + 8 = 0, 0*h = -t - 2*h + 883. Is t a composite number?
False
Suppose 0 = q + 1 - 8. Let p = q + -4. Suppose -u - 4*w = 3*u - 20, p*u + 2*w = 17. Is u composite?
False
Let d = -5582 + 8289. Is d prime?
True
Suppose 0 = 2*q - 5*s - 6, 2*q + 5*s = -0*s + 6. Suppose -z - q*r = -121, 4*z + z - 2*r - 639 = 0. Is z a prime number?
True
Let i = -5 - -5. Suppose -3*z + z + 14 = i. Is z prime?
True
Let x(p) = -5*p**3 - 4*p**2 - 2*p + 4. Is x(-3) a prime number?
True
Let x(n) = 29*n**2 - 2*n + 3. Is x(2) a composite number?
True
Suppose -2*v + 1340 = -4*j + 8*j, -1364 = -4*j + 4*v. Let g = j - 218. Is g prime?
False
Suppose 3*c - 3 = -3*p - 33, 2*p = 2*c - 20. Let k be 0 + 0 - 2 - p. Suppose 3*j - k = -j. Is j a prime number?
True
Let m(j) = -2*j**3 - j**2 + j - 2. Let v be m(-2). Suppose -2*x + 5*g = -179, v*x - 3*x + 5*g - 430 = 0. Is x prime?
False
Let m(q) be the second derivative of -49*q**3/6 + q. Is m(-1) a composite number?
True
Let m = 11 - 7. Suppose 42 = m*i - 58. Is i a composite number?
True
Let u(x) = x**3 + 3*x**2 - x + 2. Let t be u(-3). Let a = -7 + t. Is ((-184)/(-12))/(a/(-15)) composite?
True
Let q = -12 - -30. Is 94/(3*4/q) a prime number?
False
Suppose -5*q + 342 = -3*q. Suppose 4*w - 4 = -156. Let n = w + q. Is n a composite number?
True
Suppose -5*b = 15, -5*h - 4*b = -9*b - 80. Suppose h - 94 = -o + 4*m, 1 = -m. Is o composite?
True
Suppose 0 = -6*u + 4*u + 602. Is u composite?
True
Let i(v) = v - 1. Let d(w) = -7*w - 1. Let k(s) = d(s) + 6*i(s). Let c be k(-5). Is 15*1*c/(-3) a prime number?
False
Suppose l = 2*s - 1481, -10*s + 3695 = -5*s - 4*l. Is s a prime number?
True
Suppose 4*s = 5155 + 289. Is s composite?
False
Let k = 10 + -15. Let h be k/((-10)/1428) - -2. Is (-2)/3 - h/(-12) a composite number?
False
Let f(r) = 5*r - 1. Let z = -7 - -11. Is f(z) a prime number?
True
Is 34/(-4)*(6 - 20) prime?
False
Suppose -6*s - 3*o + 45 = -s, 2*s - 2*o - 18 = 0. Is 2/3 + 327/s a prime number?
True
Suppose 5*z = -4*k - 42, 3*z - 34 = 7*z + 3*k. Is (z/15)/(4/(-210)) composite?
True
Suppose 0 = -m - 4*y + 303, 5*y - 178 - 428 = -2*m. Is m a composite number?
True
Let t = 145 - 96. Suppose -3*s - t = -5*n, -4*s + 51 = 2*n + 21. Is n prime?
True
Let l be (1/3)/((-1)/(-3)). Let p be 1 - 0 - (l + 0). Suppose p = -3*j - j + 308. Is j a composite number?
True
Let y = -83 - -162. Is y a composite number?
False
Suppose -2075 = -5*s - 0*s. Is s a prime number?
False
Suppose 4*f - 8*f + 4 = 0. Let t(a) = 1 + 65*a**3 - 15*a**2 + 3*a**2 - a + 12*a**2. Is t(f) composite?
True
Is 6/(-6) + 463 + 1 prime?
True
Let a(r) = 5*r**2 + 2*r + 10. Let w(n) = n**2. Suppose 0*f - 12 = -2*f. Let j(g) = f*w(g) - a(g). Is j(9) a prime number?
True
Let z be 2/6 - (-56)/(-6). Let n(t) = t + 13. Let s be n(z). Let k(v) = 2*v**2 + 2*v - 3. Is k(s) composite?
False
Let m be (-158)/22 + 6/33. Let o(j) = j**