 = -4*y + 4*u. Is y prime?
True
Suppose 0 = 5*s + 5, -3*p - 5*s - 4 = 1. Suppose -z - 301 = -h - 3*h, p = 5*h + 3*z - 355. Is h a composite number?
True
Let h = -11 - -15. Suppose 4 = i + 3*i, 2*i - 234 = -h*l. Is l a composite number?
True
Let m = -4 - -7. Let f(o) = o**3 - 6*o**2 + o - 4. Let u be f(6). Suppose 2*q - m*s = u*s, 3*q + 2*s - 38 = 0. Is q prime?
False
Let d(z) be the first derivative of -z**2/2 - 2*z + 1. Let y be d(-8). Suppose -y*s + 110 = -s. Is s prime?
False
Let s = -29 - -7. Suppose 4*a + 297 = -t + 25, -2*a - 5*t - 118 = 0. Let m = s - a. Is m composite?
False
Suppose 4*t + 618 = 2414. Is t composite?
False
Suppose 3*d + 0*d - 9 = 0. Suppose 0 = -d*a + 15, -2*a + 93 = 2*v + 3*a. Let r = 47 - v. Is r a composite number?
False
Let m(h) = -3*h**3 - 10*h**2 + 2*h + 2. Is m(-7) a prime number?
False
Suppose 1524 + 8697 = 3*f. Is f a prime number?
True
Let w = 3379 - 1046. Is w prime?
True
Suppose 1 = 4*d - 15. Suppose 3 = 3*p, -303 = -d*n + p - 0*p. Let o = n + 7. Is o composite?
False
Suppose -114 = -z + 3*v, -5*z + 490 = 3*v + 2*v. Suppose 3*d = -z - 36. Let q = -13 - d. Is q composite?
True
Suppose 2*t - 3*i - 409 = t, -t = 4*i - 374. Suppose -2*k + 0*k = -t. Suppose n - 2 = 2, 3*s - n = k. Is s prime?
True
Let t(x) = 269*x**2 + x. Let p be t(1). Let c = p + -63. Is (-2 + c/6)*2 a prime number?
False
Suppose -5*t + 6*z - 3*z + 2831 = 0, 4*t + 5*z - 2250 = 0. Is t composite?
True
Suppose -2*i + 924 = 188. Let u be 7/35 + 1469/5. Suppose -y = 5*g - i, 0*g - 4*g - y = -u. Is g prime?
False
Let t = -21 - -19. Let p(z) = -57*z + 1. Is p(t) a prime number?
False
Suppose -2*a + 3*a - 69 = 0. Is a a prime number?
False
Let v be (-2821)/6 + 4/24. Let n = 735 + v. Is n a prime number?
False
Let x = 0 - 6. Let h be 24/28*(1 - x). Suppose z - h*z = -435. Is z composite?
True
Let a = -6 + 10. Let w(h) = 2*h + 3. Let j be w(a). Let q = -5 + j. Is q a composite number?
True
Is ((-6)/9)/((-6)/6687) composite?
False
Let u(l) = l**2 + 6. Suppose 2*g - 3 = r - 18, 5*g + 10 = -3*r. Is u(g) prime?
True
Let m be 9/(-6) - 5/(-10). Is 328 + ((-4)/(-2) - m) a prime number?
True
Let b be 1268/36 - 4/18. Suppose 5*a - b = -f - 0*a, 0 = -f + 3*a + 67. Is f prime?
False
Is (4/(-6))/(2/(-4083)) a prime number?
True
Suppose 3*y = -g - g + 401, -9 = 3*y. Is g composite?
True
Let t be (184/(-24))/((-2)/36). Let m = 1307 - t. Is m prime?
False
Let d be (-4 - -2)*3/6. Let q = 0 - d. Is (-2 + q + 0)*-21 a composite number?
True
Suppose -w + 0 = -3. Is (5 - w)*326/4 prime?
True
Let s be (-2225)/5 + 1 + 0. Let d = -149 - s. Is d a prime number?
False
Let w = -245 + 5. Let c = w - -613. Is c a composite number?
False
Is (-6)/(-3)*103/2 a prime number?
True
Let c be 63/(-4) + (-2)/8. Let a = 22 + c. Is 47/2*a/3 a composite number?
False
Suppose -m - 2*d = -625 + 42, d + 568 = m. Is m a prime number?
False
Let y(m) = -355*m + 23. Is y(-6) a composite number?
False
Let t(c) = -c**3 + c**2 - c + 11. Let j be t(0). Suppose a + j - 457 = -2*s, a = 0. Is s a prime number?
True
Suppose -3*d + 4631 = -d + 3*z, 0 = 3*d - 4*z - 6955. Is d a composite number?
True
Suppose 0 = 3*c - 2*h - 607, -c + 45 = -4*h - 154. Suppose u + 0*u = c. Is u a prime number?
False
Suppose 4*h - 3*s = -23, 2*s = -5*h + 4*s - 27. Is 34/(-4)*(h - -1) a composite number?
True
Let s be (2 - (-14)/(-4))*-2. Is (-142)/(-3) - 1/s prime?
True
Suppose -6 = -2*m - 0*m. Suppose -3*g + 5*g = 0. Suppose g = -5*c + m*c + 14. Is c prime?
True
Is 1 + -1 - 389/(-1) a prime number?
True
Suppose y - 7 = 1. Let c = y + 12. Suppose -p + c = p. Is p a composite number?
True
Let x(m) = -36*m**2 + 2*m - 4. Let j be x(-4). Let v = j - -1001. Is v a prime number?
False
Let n = -5 + 20. Suppose w + 1 - n = 0. Is w a composite number?
True
Let t(i) = i**2 + 7*i + 25. Is t(21) prime?
True
Let t = 3 + -4. Is 21 - -2*(0 + t) prime?
True
Let a = 1964 + -1330. Is a composite?
True
Let u be (-739)/6 + 4/24. Let q = -56 - u. Is q a composite number?
False
Let h(g) = g - 8. Let t be h(8). Suppose t = 9*u - 4*u - 515. Is u/7 + 4/14 a prime number?
False
Suppose 0*r = -4*r - 36. Let o be (r/6)/(3/(-8)). Suppose 4*w + 5*d - 1203 = 0, 0*w + 287 = w + o*d. Is w prime?
True
Let u = -9 - -19. Is u a composite number?
True
Let h(i) = -i**2 - 7*i - 8. Let g be h(-6). Is (-1099)/(-35) + g/5 composite?
False
Suppose -g = -4*k + 20, 3*k - 5 = 2*k + g. Suppose 0 = k*u - 60 - 385. Is u composite?
False
Let q = -244 + 2045. Is q a prime number?
True
Let r = -13 + 19. Is (r + -1)*12/10 a composite number?
True
Let a(r) = r**2 + r - 1. Let l be a(2). Suppose -w + o - 2 = 0, 4*o = l*w - 0*w + 6. Let u(q) = 4*q**2 - 3*q + 1. Is u(w) a composite number?
False
Suppose 2*r = -4*o + 525 + 73, -311 = -r - 5*o. Is r a prime number?
False
Let f(g) = -3*g - 6. Suppose -11 = 4*r + 17. Is f(r) a composite number?
True
Suppose -2*f = h - 183, -3*f - 3*h + 93 = -183. Suppose x = 2*x + 2*u - f, 3*x - u - 245 = 0. Is x prime?
True
Let i(g) = 10*g**2 - 4*g - 1 - g**2 + 3*g. Is i(3) a composite number?
True
Let i be (-2)/3*723/(-2). Let m = i - 162. Is m a prime number?
True
Let y(n) = n**3 + 13*n**2 + 10*n - 9. Let c(g) = -4*g**2 + 3*g. Let k be c(2). Is y(k) a composite number?
False
Let x be 1*2 + 0 + 2. Let p = x + -4. Is 1 - -76 - p/(-1) composite?
True
Let g(c) = -4*c**3 + 2*c**2 + 7*c - 5. Is g(-6) a prime number?
False
Let h be 1/1 + 20/5. Suppose -5*s - 2*l = -541, h*l = -s + 13 + 86. Is s composite?
False
Let k = -93 + 190. Suppose -3*m - k = -4*m. Is m composite?
False
Let j(s) = 3*s**2 - 3*s + 3. Let a be j(6). Let b = a - 56. Is b composite?
False
Let t(y) = y**3 - y**2 + y - 1. Let b(v) = -19*v**3 + 4*v**2 - v + 2. Let l(p) = b(p) + 3*t(p). Suppose 3*d = 4 - 10. Is l(d) a composite number?
False
Suppose 7*i = 6*i. Let r(c) = c**3 - c + 314. Is r(i) a prime number?
False
Let h(x) be the second derivative of x**5/20 - x**4/4 - 3*x**3/2 + x**2/2 + x. Is h(6) prime?
False
Let g = 15 + -21. Let u = 2 - -2. Is (-10)/(0 + u/g) prime?
False
Let g(x) = 7*x**2 - 5*x. Let w be g(-7). Let z = w + -221. Is z composite?
False
Let a = -4 + 5. Let s = 5 - a. Suppose 4*c + m = 58, s*c - 66 = -c + 2*m. Is c a prime number?
False
Suppose 0 = m - 0*m + 11564. Is 2/11 - m/44 composite?
False
Let p(d) = 70*d**2 + 12*d + 23. Is p(-5) composite?
True
Suppose 518 = -5*g - 472. Let z be 15/12*(2 - g). Let t = z + -109. Is t a prime number?
False
Let l be (0/(-3))/3*1. Suppose l*m - 2*m = 0. Suppose m*n - 118 = -2*n. Is n composite?
False
Suppose 0 = -2*h + 3*h - 187. Is h prime?
False
Let m(d) = -7*d**3 - 4*d**2 + 4. Is m(-3) prime?
True
Let p = -935 + 439. Is p/(-4) - (1 - -1) a composite number?
True
Let b(k) = k**3 - k - 2. Let x be -1 + 2/(-2) - -4. Let r be b(x). Suppose -u + 17 = -r. Is u composite?
True
Suppose -2*s = -798 + 136. Is s a prime number?
True
Let n be 4/(-14) - (-304)/(-14). Is -1 - (3 + 1)*n a prime number?
False
Suppose 4*p + 1 = f + 12, 0 = -5*f + 25. Suppose 9*k = p*k + 10. Is k a prime number?
True
Let v = -5 + 10. Suppose v*z = 2*c + 292, -4*c - 62 = 3*z - 4*z. Is z composite?
True
Suppose 39 + 222 = 5*v - 4*j, -v + 56 = 3*j. Suppose y + 2 = v. Is y prime?
False
Suppose 5*w = -2*k + 3*w - 222, -w - 223 = 2*k. Let j = -61 - k. Let q = 16 + j. Is q prime?
True
Suppose k - 3552 + 649 = 0. Is k a prime number?
True
Suppose 4*k = 4*b + 36, -20 + 1 = 2*b - 3*k. Let n(m) = m**2 - m + 5. Is n(b) composite?
True
Let y(h) = h**3 - h**2 - 8*h + 1. Is y(7) prime?
True
Let i(r) = -11*r**3 - 22*r**2 - 3*r + 41. Let c(w) = -7*w**3 - 15*w**2 - 2*w + 27. Let s(p) = 8*c(p) - 5*i(p). Is s(-10) prime?
False
Suppose f + x - 421 = 3*x, 0 = -4*f + 4*x + 1672. Is f composite?
True
Let v(r) be the second derivative of 0 + r**2 - 1/20*r**5 + r - r**3 - 1/2*r**4. Is v(-5) prime?
True
Let o = 11562 + -7871. Is o a prime number?
True
Suppose -x - i + 138 = -4*i, 5*x + 5*i - 790 = 0. Let g = x + -68. Is g composite?
True
Is (-1 - 13)*(-287)/14 a prime number?
False
Let y be -471 + (4 - 1 - 1). Let m = y - -882. Is m a composite number?
True
Suppose -3*v + 5*c + 1466 = 0, 4*v + v - 2440 = 5*c. Is v a composite number?
False
Is (-3)/(-9)*633 + 0 prime?
True
Let p be 4/8 + 3/(-2). Is p - 1*-2 - -36 prime?
True
Is ((-46)/23)/((-4)/6982) prime?
True
Let p = -5 + 2. Let b be 1 - 