 2*x - y = 0. Is x a composite number?
True
Let m = -171 + -195. Let l = 203 + -420. Let r = l - m. Is r a prime number?
True
Suppose 0 = l + 5, 4*a - 3 = 5*l + 22. Suppose p = -a*p + 19. Suppose -111 = -2*z + p. Is z composite?
True
Let f = 3964 + 2007. Is f a prime number?
False
Suppose 0 = -2*r - 125 + 1271. Is r a composite number?
True
Suppose 550 = -5*w + 11445. Is w composite?
False
Let k be (3 - 2)*(-30)/5. Let q(i) = -11*i - 7. Is q(k) composite?
False
Suppose 6*i - 4*i - 7289 = 5*p, 0 = -4*i + p + 14587. Is i composite?
True
Suppose 0 = f + 2, -3*x - 5*f = -0*f - 26. Suppose -i + 13 = -9. Let p = i - x. Is p a prime number?
False
Let k(o) = -11*o - 7. Suppose -6 = -3*c + 4*c. Let u be k(c). Suppose 0 = -2*m - 2, u = 2*g - m - 60. Is g composite?
False
Suppose -2*g - 3*g = 2*y - 269, 0 = -4*g - 3*y + 218. Is g a composite number?
False
Let u be ((-14)/(-4))/7*708. Suppose -u = -4*q + q. Is q composite?
True
Suppose 4*k + 287 = a, 0 = -4*a + 4*k + 871 + 337. Is a prime?
True
Suppose 2*u + 493 = 3*z, -5*u - 4*z + 0*z = 1244. Let f = u + 461. Is f a prime number?
False
Let q(m) be the first derivative of m**3/3 + 2*m**2 + 7*m + 2. Is q(-6) a composite number?
False
Suppose 4 - 2 = p. Suppose p*r = 4*r - 8. Is r/(-12) - (-464)/6 a composite number?
True
Suppose -g - 17 = -2*j + 4*j, 3*j - g = -28. Is -447*(-1 - -4)/j a prime number?
True
Suppose -2*d = -4*r - 26, 5*d - 41 = -r + 5*r. Suppose -d*h + 1 = -444. Is h a prime number?
True
Let r = -77 - -344. Is r composite?
True
Is 2/7 + 29373/21 a composite number?
False
Let i be 0 + -1 - -3 - -188. Suppose -3*q + i = -71. Is q a composite number?
True
Suppose 0 = -9*b + 4*b + 10. Suppose 36 = b*r - 30. Is r a composite number?
True
Let n be (-442)/(-6) + 4/(-6). Suppose -5*b = 282 - 92. Let s = n - b. Is s composite?
True
Let j(w) = -15*w**3 + w**2 + 2. Let b be j(2). Let g = 191 + b. Is g a prime number?
False
Let p = 79 - -9. Is -1 - (-7)/(7/p) a prime number?
False
Let n = -837 - -1468. Is n a prime number?
True
Suppose 5 = 2*l - 11. Is (1/(-2))/((-2)/l) prime?
True
Let k(q) = -q**3 - q**2 + 6*q - 5. Let d be k(5). Let y = -46 - d. Let o = y - 46. Is o a composite number?
True
Is 18/(-12)*(4136/(-6) + -2) a prime number?
False
Let k(f) = -20*f - 1. Is k(-1) a prime number?
True
Let w(u) be the second derivative of 16*u**3/3 - 5*u**2/2 + 3*u. Is w(5) a prime number?
False
Is 3333/5 + 2/5 composite?
True
Let k(o) = 3*o**3 - 5*o**2 + 3*o + 4. Is k(3) composite?
True
Suppose -2075 + 22165 = 2*u. Is u/45 + 2/(-9) composite?
False
Suppose -6*f - 24 = -3*f. Is 2*((-1532)/f - 2) prime?
True
Let c(v) = 2*v**2 + 6*v - 1. Is c(-7) composite?
True
Is (-2)/(4/(-722)) + 0 composite?
True
Suppose 4*h + h = -285. Let u = 206 + h. Is u prime?
True
Let i = 7 + -3. Let l(m) = 5 - i + 3 - m. Is l(-6) prime?
False
Let u = -17 - -718. Is u a composite number?
False
Let x(w) = 87*w**2 - 1. Let u be x(1). Suppose 2*z - 32 - u = 0. Is z prime?
True
Is 9027/135 - 4/(-30) prime?
True
Let p be (-2)/(-3) + 35/15. Suppose -p*o - 59 = -8*o + v, -v = 2*o - 25. Is (30/o)/(1/26) a prime number?
False
Suppose 0*m = 5*m - 55. Suppose m = q - 3. Is q composite?
True
Let p(s) = 2*s**3 - 2*s**2 - 6*s + 4. Let x be p(4). Suppose 4*w - x = 8. Is w composite?
True
Let c be (-65)/(-20) - (-3)/(-12). Is (c/(-2))/(4/(-296)) a prime number?
False
Suppose -4418 = -5*j + 3837. Is j composite?
True
Suppose 2*n + 5*k - 20 = 0, -2*n - 7*k + 3*k = -18. Suppose -13 = -n*m + 12. Suppose m*i - 305 = -3*p - 2*p, -p + 3*i + 77 = 0. Is p composite?
True
Suppose 4*r - 4*h - 65 - 19 = 0, -2*r + 72 = 4*h. Suppose -o - 19 = -59. Let s = o - r. Is s a composite number?
True
Suppose 2*z - 5*l - 75 = 65, -z - 2*l + 61 = 0. Suppose -4*b = -4*x + 644, 5*x - 722 = -4*b + z. Is x composite?
True
Suppose -4*w = 54562 + 178. Is w/(-63) + 4/(-18) composite?
True
Let c = -144 - -541. Is c composite?
False
Let w be ((-12)/(-5))/(2/10). Suppose 5*g + 545 + 315 = 0. Is (-4)/w + g/(-3) prime?
False
Suppose 0 - 3 = -k. Suppose -k*u = 4*y - 13, -4*y = -5*u - 7*y + 29. Is u a prime number?
True
Let s(m) = -m**3 - m**2 - 23*m - 16. Is s(-9) composite?
False
Let o(a) = -13*a + 6. Let j(n) be the second derivative of -25*n**3/6 + 13*n**2/2 + n. Let d(v) = -2*j(v) + 5*o(v). Is d(-5) a prime number?
True
Suppose 72 = -4*i - 24. Let a = i + 56. Suppose -a = -k + c - 2*c, 4*c + 94 = 2*k. Is k a prime number?
True
Let s(k) = -2*k - 1. Let l be s(1). Is l*(-2)/6 + 552 prime?
False
Suppose -5*s - 5*l - 45 = 0, -5*s + l = -l + 17. Let f(i) = -i**3 + i**2 - 1. Is f(s) composite?
False
Let s be ((-4)/(-6))/(2/12). Suppose -s*p = -3*x - 165, -3*p - 4*x + 45 = -60. Is p prime?
False
Let p(c) = 20*c + 7. Let y = 5 - -1. Is p(y) a composite number?
False
Suppose -5*g - 92 = -y, -5*g - 159 = -y - y. Suppose 208 = 3*w + 3*c + y, -3*w - 5*c = -143. Is w a prime number?
False
Let q(i) = 6*i**3 - i**2 - 4*i + 1. Let b be (108/90)/(4/10). Is q(b) composite?
True
Suppose 0 = 5*o - 2*a - 1681, 3*o + a - 999 = -a. Is o composite?
True
Suppose 2*m - 22 - 4 = 0. Suppose -2*c = 2 - 8. Suppose m = -n + c*n - 3*p, 4*n = 2*p + 14. Is n a prime number?
True
Let x(s) = -s + 1. Let l(f) = 2*f. Let k(o) = 2*l(o) + 6*x(o). Let t be k(6). Let n(z) = -4*z - 1. Is n(t) a prime number?
True
Suppose 3*d - 2*d = -i + 157, 2*i + 4*d = 312. Suppose i = 7*z - 5*z. Is z prime?
True
Let o = 14 + -7. Suppose h - 28 = o. Is h a composite number?
True
Suppose 3*w = 2*w. Let o = -53 - -108. Suppose l - r + 12 - o = 0, w = l + 5*r - 67. Is l a composite number?
False
Let f = -15 + 10. Let y(c) = -c - 1. Let u be y(f). Suppose -65 = -x - 3*z, 0 = z - 0 + u. Is x composite?
True
Let r = -4 - -1217. Is r prime?
True
Let i(b) = -b**3 + 2*b**2 - b. Let t be i(-6). Suppose -d - 588 = -4*u, 0 = -3*u + u + 2*d + t. Suppose 0 = n + 2*n - u. Is n a prime number?
False
Let l be -6*1*3/(-9). Suppose -l*j - 2 + 28 = 0. Is j composite?
False
Let o(h) = 8*h - 3. Is o(7) a composite number?
False
Let x(r) = -r**2 + 5*r + 4. Let y be x(5). Suppose 0 = 4*n + y*j + 98 - 242, 3*n - 73 = 4*j. Is n prime?
True
Suppose -z - 35 = -u - 6*z, -5*z = 5*u - 235. Let o = u - -99. Is o composite?
False
Suppose 15 = 4*n - n. Let i be (n - 1) + (-2 - -1). Suppose 2*q - i*t + 9 = 190, -4*q + 3*t = -371. Is q a composite number?
True
Suppose -54 = 2*x - r - 232, 360 = 4*x - r. Is x a prime number?
False
Let h(l) = 5*l**3 + 2*l**2 - 7*l - 31. Is h(7) prime?
True
Suppose 27 = 3*q + 9. Let y = -2 + q. Suppose y*n - 75 = 65. Is n prime?
False
Let n be (12/8)/(9/24). Is (14/n)/(3/42) prime?
False
Let s = 9 - 10. Let l(u) = -223*u. Is l(s) a prime number?
True
Suppose -5*y - 9 = -539. Is y a prime number?
False
Suppose -2*y + 4*t - 24 = 2*y, -5*t + 10 = 0. Let m be (1 - -1)*(y - -18). Let k = m + 69. Is k composite?
False
Let i(c) = c**2. Let v(w) = -w**2 - w + 1. Let t(d) = 12*d**2 + 9*d - 11. Let r(s) = -t(s) - 6*v(s). Let l(u) = -3*i(u) - r(u). Is l(4) a prime number?
False
Suppose 2*y + 4*r = 92, -4*r = -5*y - r + 178. Is y a composite number?
True
Let d be (-8)/((-2)/(-1))*-1. Let x = d - -81. Is x composite?
True
Let w(g) = g**3 + 3*g**2 - 5. Let q be w(-4). Let a be q*(-1 - (1 - 1)). Suppose k + 5*l = -a, -2*l + 4 = 14. Is k composite?
True
Let h(y) = 2*y + 4. Is h(9) prime?
False
Suppose -4*m - 2*x + 44 + 58 = 0, x + 53 = 2*m. Let a = m - 13. Is a prime?
True
Let b = 101 + -36. Is b composite?
True
Suppose n + n - 8 = 0. Let g = n + -2. Suppose 0*y + g*y - 254 = 0. Is y a prime number?
True
Let o(p) = 357*p + 14. Is o(11) a composite number?
True
Suppose -3*s = 4*x - 590, 2*s - 59 = 2*x + 353. Is s composite?
True
Let i be 141/(-15) + 4/10. Let q be 8/(-36) - 83/i. Is (-3)/(-2)*498/q composite?
False
Let a = 177 - 94. Is a composite?
False
Let s(d) = -d**3 - 2*d**2 - d + 2. Let w be s(-2). Suppose w*p = 2*p + 526. Is p a prime number?
True
Suppose -3*m + 3 = -12. Suppose 3*o = -3*i - 6, i - m*o - 2 = 2*i. Is (22/6)/(i/(-12)) prime?
False
Let n(a) = -2*a - 2. Let m be n(2). Let c be (-34)/m + (-4)/6. Let s = -1 + c. Is s a composite number?
True
Suppose 2*a + 0*t - 409 = -5*t, -t = 2*a - 389. Let j = a + -125. Is j a prime number?
True
Let x = -105 - -626. Is x composite?
False
Let h(f) be the third derivative of -f**5/60 + 7*f**4/12 + 13*f**3/6 +