9) + 2290/6. Suppose -3*t + t = -m. Is t composite?
False
Let g(y) = y + 12. Let j be g(12). Is (-142)/(-4) - (-36)/j a prime number?
True
Suppose -g + 2*g - 2*q = 13, -5*g + 3*q = -44. Suppose 3*k - 2*b = 7, 2*k = g*k + 5*b + 5. Is (9 - (3 - 1))/k composite?
False
Let u(c) = -7*c - 1. Suppose 2*v + 2*l = -24, 0 = -0*l - l - 2. Is u(v) composite?
True
Let d(m) = -m**3 + 6*m**2 - 3*m + 2. Let k be d(5). Let c(u) = -u**3 + 12*u**2 + 8*u - 7. Is c(k) a composite number?
False
Suppose 0 = -26*p + 20*p + 2238. Is p prime?
True
Let i be -3 + (3 - 1) + 1. Suppose i = -5*w + 2 + 18. Let t(l) = 9*l + 1. Is t(w) a prime number?
True
Suppose -8 = -2*h, 4*f + 4*h + 76 = 9*h. Let o = -29 - f. Let z = o - -34. Is z prime?
True
Suppose x + 3*x = 3*g + 1085, -2*x + 4*g + 550 = 0. Let w = 414 - x. Is w prime?
False
Let q be ((-2)/6)/((-5)/75). Suppose 2*a - 13 = -q. Suppose -a*v + 42 = -46. Is v a prime number?
False
Is 2/12 + 178/12 composite?
True
Let z(b) = -b**2 + 6*b - 3. Let q be (-10)/(-4) - (-2)/(-4). Let m be z(q). Suppose 3*x = 5*a + 7, -m*a - 29 = -x - 10*a. Is x composite?
True
Let a(i) be the first derivative of 3*i**4/2 + 2*i**3/3 - i**2/2 - 1. Let b be a(1). Let w = b - -16. Is w a prime number?
True
Suppose 2*l - 28 = 5*j, -5*l + 3*j + 96 = 7. Is l prime?
True
Is (-11185)/(-25) + (-2)/5 composite?
True
Suppose -23 = -5*m - 3. Is 7/(-2*m/(-536)) a composite number?
True
Let g(v) = 379*v**2. Is g(-1) a prime number?
True
Suppose 0 = -3*s - 2*s - 15, 1314 = 3*n + 5*s. Is n a composite number?
False
Let s = -2256 - -4309. Is s composite?
False
Let s(c) = c - 3. Let y be s(6). Suppose i - 184 = -y*i. Let h = i + -31. Is h composite?
True
Is (-171)/57*(742/6)/(-1) composite?
True
Suppose -552 = -o + 334. Is o - (-4 + 8)/(-4) composite?
False
Let h(f) = -3 - f**2 + 2*f**2 + 8 + 4*f + 4. Is h(-6) composite?
True
Let h be 1/2 - (-9)/6. Let s(v) = 2 - 3 + 47*v**2 - 39*v**2. Is s(h) a prime number?
True
Let l be 0 + 1 - 1*-1. Suppose -4*t + l + 14 = 0. Suppose -103 - 45 = -t*d. Is d composite?
False
Suppose -5*m + 2 = -3. Is 36 - ((-1)/m - -4) composite?
True
Let i(c) = -13*c**3 + 5*c**2 + 5*c + 20. Is i(-5) a prime number?
False
Is (-10)/(-65) + 3729/13 a composite number?
True
Let a = -15 - -9. Let c be ((-9)/a)/(1/112). Is c - (2 - (-3 - -4)) composite?
False
Let p = 8 + -4. Suppose p*w - 7*w + 69 = 0. Is w a composite number?
False
Let f(o) = -o - 1. Let a = -6 - -5. Let w be f(a). Suppose w = -4*t, -m = -0*m - 5*t - 3. Is m composite?
False
Suppose 0 = -m + 93 + 56. Is m prime?
True
Suppose 3*g - 11223 = -2*n, -8000 + 531 = -2*g + 3*n. Is g a composite number?
False
Let m(b) = 2*b**2 + 6*b - 1. Let g(k) = -k. Let o be g(-4). Is m(o) a composite number?
True
Let t(i) = -i**3 + 2*i**3 + 3*i - 3 - 6*i**2 + 0*i. Let z = 17 + -11. Is t(z) a prime number?
False
Is 0 + 1 + (4 - -246) composite?
False
Let c(z) = -z. Let r = 9 - 8. Let y(i) = 49*i**2 + i + 3. Let v(s) = r*y(s) + 5*c(s). Is v(2) a prime number?
True
Suppose 5*p = a + 328, 0*p + 5*a - 310 = -5*p. Is p composite?
True
Let b(t) = 2*t - 12. Let n be b(8). Is n/(-6) - 4772/(-12) prime?
True
Let a(x) = x**3 - 3*x**2 + 2. Let z be a(3). Suppose 0 = 5*c + 5*o - 35, 0 - 7 = -5*c + z*o. Let s(w) = 4*w**2 - 1. Is s(c) a composite number?
True
Suppose 2 + 1 = 3*j. Let f(z) = 10*z - j + 0 + 8*z - 7*z. Is f(1) prime?
False
Let w(q) = 2 + 11*q - q + 11*q - 1. Let f be w(4). Suppose 4*x + 2*d - 239 = -f, 3*d - 46 = -x. Is x a composite number?
False
Suppose 2*u + 2176 = 4*m, 7*m - 2180 = 3*m + 4*u. Is m composite?
True
Suppose 1180 = 5*r - 715. Is r a prime number?
True
Suppose -5*m - f = f - 712, -3*m = f - 428. Suppose 0 = b - 47 - m. Is b a composite number?
False
Suppose 633 = 2*o + 31. Is o prime?
False
Let u be 23 + 1 + -3 - 0. Let w = u - -98. Is w a prime number?
False
Let a(p) = -p - 5. Let j be a(-6). Let i(n) = 1 + 1 - 11*n + n + j - n**2. Is i(-8) a prime number?
True
Let n(x) = 45*x**2 - 5*x - 3. Is n(-2) composite?
True
Let h = -6 - -9. Let v be h*(-1)/(-1) - -116. Let d = v + -36. Is d a composite number?
False
Let a(r) = 5*r**2 - 6*r + 5. Is a(6) prime?
True
Let j(n) = 5*n**3 - 2*n**2 - 3*n - 1. Let h be j(-2). Let f = 244 - h. Is f a composite number?
True
Suppose -620 = -4*w + 3*j, -j - 130 = -w + 24. Is w a composite number?
True
Let j = -4 + 6. Suppose 0 = -3*o + j*o + 5. Suppose 5*n - 156 = -u, 0 = 3*n - o*u + 19 - 107. Is n a prime number?
True
Suppose 326 = 4*n + 2*c, -2*n + 2*c + 130 = -42. Is n prime?
True
Is ((-1113)/(-28))/(2/8) a composite number?
True
Suppose 3*b - 3354 = r, -2296 + 59 = -2*b + r. Is b a composite number?
False
Suppose 0*q = -q - 4*f + 24, -2*q + 4*f - 12 = 0. Let i(d) = 2*d**2 + 3*d. Let g be i(-2). Suppose -g*u = -q*u + 66. Is u composite?
True
Suppose 5*v + 0*q = -3*q + 50, 0 = q - 5. Suppose v*a = 9*a - 326. Is a prime?
True
Suppose -l + 7*r - 5*r + 3 = 0, 18 = 4*l - 2*r. Suppose -130 = -3*n + l*f, 3*n + 2*f - 72 = 23. Is n a prime number?
False
Let v = -494 - -823. Is v prime?
False
Let i(n) = 77*n**3 + 2*n**2 + 4*n - 4. Is i(3) composite?
True
Let v = -21 - -34. Let o = 56 + -33. Let j = o - v. Is j a composite number?
True
Suppose -2*p = -403 - 67. Is p a composite number?
True
Let b(v) = v**3 - 6*v**2 - 9*v + 9. Let k(a) = a**3 - 5*a**2 - 5*a + 2. Let z be k(6). Is b(z) composite?
True
Let g be 6/8*30*2. Suppose 0 = c - 6*c + g. Suppose 0 + c = d. Is d prime?
False
Let b(o) = -6*o - 3. Let n(y) = -4*y - 2*y + 2*y + 3*y - 1. Let d(v) = b(v) + 6*n(v). Is d(-8) composite?
True
Suppose t - 4 = 0, 2*m - 1 - 61 = -5*t. Suppose -5*x + o = -12, -4*x + o + m = 4*o. Suppose -x*p + k = -5*p + 113, -5*k = -4*p + 205. Is p composite?
True
Let t(y) = 16*y**2 + 4*y - 1. Is t(8) composite?
True
Let q(c) = 21*c + 2. Let g be q(3). Suppose 0 = -3*m + 8*m - g. Is m a composite number?
False
Let u = 38 - 36. Is u composite?
False
Suppose 0 = 2*m - 5*c - 93 - 280, 2*c = 2*m - 364. Let v = m + -105. Is v a composite number?
True
Suppose -i = -2*y - 15, 2*i - 15 = 4*y - 3*y. Let h = 9 + -7. Suppose i*r - 53 = h. Is r a prime number?
True
Let a(u) = 4*u**2 - 3*u. Let h(d) = d**3 - d**2 - 5. Let b be h(0). Is a(b) prime?
False
Let a be (8 - 5)*(-10)/(-6). Suppose 2*z = a + 41. Is z prime?
True
Let o(p) = p**3 + 3 - 4 + 12*p**2 + 1 - 5*p - 7. Is o(-8) composite?
True
Let a(x) = -312*x. Let q be a(-1). Suppose -2*t - j = -153, 2*t - 4*j - q = -2*t. Is t prime?
False
Suppose 0 = k + k - 674. Suppose 2*p + 2*p = l + k, 3*p = l + 254. Is p a prime number?
True
Let c be (-6)/(-10) - (-7032)/30. Suppose 3*y + c = 4*y. Is y prime?
False
Let x be 264/(-15) - 2/5. Let q = -13 - x. Suppose q*v + 46 = 381. Is v composite?
False
Let i(r) be the second derivative of -r**5/20 + r**4/4 - r**3/3 + 2*r**2 - 4*r. Let m be i(3). Is -1 - -25 - (-6)/m prime?
False
Is -2*(0 + (-37)/2) a prime number?
True
Suppose 5*c + 5 = -5*g, c - 3*g = -c + 18. Let i be 2 - (c*163)/(-3). Suppose -3*n - m + 125 = 3*m, 4*n = -5*m + i. Is n a prime number?
False
Suppose -1532 = -5*r - 517. Is r a composite number?
True
Suppose 2*p - 2514 - 11788 = 0. Is p a prime number?
True
Suppose 1157 = 2*y - 5*b, -6*b + 1187 = 2*y - b. Is y prime?
False
Let r(s) = -2*s**3 - 5*s**2 - s - 7. Let o = -21 - -15. Is r(o) composite?
False
Let f(s) = 6*s**3 - 4*s**2 + 5*s - 9. Is f(4) composite?
False
Let j = 1575 + -1021. Let x = -301 + j. Is x prime?
False
Let r(k) = 3 + 0*k**2 - k**3 - 3*k**2 - 2*k**2. Let v be r(-6). Suppose 0 = -2*x + 119 + v. Is x composite?
False
Suppose -3281 - 3160 = -3*i. Is i composite?
True
Let l = -52 + 131. Is l a composite number?
False
Let x = -2269 + 3926. Is x a composite number?
False
Let a be -1*15*(-1)/3. Let w(d) = d**2 + 7*d - 7. Let s be w(a). Let r = s - 15. Is r a prime number?
False
Let j(o) = -15*o**3 - 2*o**2 + 2*o + 1. Let s be j(-2). Suppose -4*b + 1145 = s. Is b a composite number?
True
Let q = 840 + -291. Is q/15 - (-2)/5 composite?
False
Let c(w) = 66*w + 37. Is c(7) composite?
False
Let z(u) = -4*u**2 + 3*u**2 + 2 + 3*u - 15*u. Let r be z(-12). Suppose w + r*w = 42. Is w prime?
False
Let i = 6 - -233. Is i a composite number?
False
Is 1/(-3 - -1)*-2006 a prime number?
False
Let y(l) = l**2 + 4*l - 7. Let z = -13 - -21. Is y(z) a prime number?
True
Suppose -5*y = -102 - 53. Let x = 1