. Suppose -p*x = -8*x + 485. Is x a prime number?
True
Suppose 4*i = -5*p + 3, 0 = -9*i + 4*i - 3*p - 6. Let k be i - (-206)/(-1)*-1. Is (-3)/(-12) + k/4 a composite number?
True
Let d be 2/7 + (-88)/14. Let a be (-65)/(-30) + 1/d. Suppose -215 = -2*y - 5*o, -5*y = a*o + 2*o - 495. Is y a prime number?
False
Suppose -4*s + 5*z = -13518, s + 3*s - 13514 = 3*z. Is s prime?
False
Let i be 21/12*(4 + 0). Let f(o) = 3*o - 4 + 4. Is f(i) a prime number?
False
Let c be (-86)/18 - (-2)/(-9). Let a be (-2)/c*(60 + 0). Let v = a - -19. Is v a composite number?
False
Let w be 7154/22 - 8/44. Suppose 7*j = 2*j - w. Let z = 96 + j. Is z composite?
False
Let d(f) = -47*f - 1. Let j(t) = t - 4. Let o be j(3). Let w be d(o). Let k = -23 + w. Is k a prime number?
True
Let k = 209 - 124. Is k a prime number?
False
Let w(a) = 10*a - 1. Let l(u) be the second derivative of -u**3/6 - u**2/2 - u. Let f(h) = -4*l(h) - w(h). Is f(-5) prime?
False
Let r be 2/(-4) + (-2)/(-4). Let z(a) = 2*a**3 + 4*a**2 - 4*a - 5. Let q be z(5). Suppose 410 = 5*m + 3*o, -4*m - 3*o + q = -r*m. Is m a composite number?
True
Let f(m) = 2*m**3 + 3*m**2 + 0*m**2 + m + 3 - m**3 - 5*m**2. Is f(5) a composite number?
False
Suppose -j = -0*j - 4. Suppose -3*u = 3*t + 615, -j*t - 252 - 540 = -3*u. Let c = 290 + t. Is c composite?
False
Suppose -4*h - 1171 = -m, 0 = -m - 2*h + 7*h + 1171. Is m prime?
True
Let h be 5 - (-1 - (-2 + -1)). Suppose -h*k + 633 = -0*k. Is k prime?
True
Suppose 12 = -3*q - q. Is -1 + (q + -92)/(-1) prime?
False
Suppose 4*k - 25 = -5*w, -3*w + 20 = w. Suppose 4*f - 1297 - 231 = k. Is f prime?
False
Suppose -9154 = -12*d + 5450. Is d prime?
True
Let y = 75 + 8. Is y composite?
False
Let a(n) = -12*n - 3. Let p(w) = -12*w - 3. Let u(k) = -3*a(k) + 2*p(k). Is u(7) a composite number?
True
Is 1/((-2)/199*7/(-14)) prime?
True
Suppose 5*x = -x + 210. Suppose 0*m - 5*h = -m + x, 5*m - 2*h = 267. Is m composite?
True
Suppose 5*m + 1 + 14 = 0, a + 2*m = -11. Is (-4)/20 + (-16)/a prime?
True
Let f(c) = -3*c + 8 + c**2 + 10*c - c**3 - 1 + 0*c**2. Is f(-6) prime?
False
Let d = 4 - 1. Let q(v) = 6*v**2 + 2*v + 2. Let z be q(d). Suppose 2*a - z = 3*f, -2*f - 198 = -5*a - 21. Is a a prime number?
True
Let u be (-5 - -8)*2/3. Suppose -6 = 3*k, -c = k + 2*k + u. Suppose 0 = b + c*b - 1055. Is b composite?
False
Suppose -w = -3*w + 1144. Let l be 2 + -3 - w/(-4). Suppose -k = -2*j - 37, -2*j = -k - 3*k + l. Is k composite?
True
Let r(a) = -a**3 - a**2 + a + 5. Let i(w) = -w**2 + 7*w. Let h be i(7). Let m be r(h). Suppose c - m*j + 6 = 2, -4*j = -2*c + 4. Is c composite?
True
Suppose -4*d - 20 = -5*o - 5*d, 0 = -4*o - d + 16. Suppose -2*l + p = -444, l + 215 = 2*l - o*p. Is l a prime number?
True
Suppose -2*i = i. Let k = 0 + i. Suppose 4*q = -4*z + 124, k = -2*z + q + q + 70. Is z a prime number?
False
Let y(f) be the third derivative of f**4/12 - f**3/3 + 5*f**2. Is y(4) a composite number?
True
Let j(n) = -2 + 4 - 6*n - 1. Let y be (-1)/(-5) + 72/(-10). Is j(y) a prime number?
True
Suppose 2*d = -2*d + 12340. Is d composite?
True
Suppose 2*j = -3*s + 2*s + 585, 5*s + 2*j = 2933. Is s composite?
False
Suppose 2*t - 4 = 3*z, -4*t + 0*z + 8 = 2*z. Suppose h + m - 31 = -3*m, t*h = 4*m + 26. Is h a composite number?
False
Let x be ((-33)/(-11))/((-3)/(-2)). Is 1023/x + 6/(-12) a prime number?
False
Let t = -542 - -1591. Is t a prime number?
True
Suppose 28*m - 27*m = 2521. Is m prime?
True
Let m be (-20)/(-6) + 10/15. Suppose -3*w - 5*u = -104 - 17, -5*w + 177 = -m*u. Is w composite?
False
Let b = 6 + -3. Suppose 3*j - 106 = -c, -j - b*c + 22 = -0*j. Is j composite?
False
Let a be -2 + (-1 - (-1 + 1)). Let u(h) = 4*h**3 - 4*h**2 - 3*h - 34. Let l(q) = 3*q**3 - 3*q**2 - 2*q - 33. Let y(b) = a*l(b) + 2*u(b). Is y(0) prime?
True
Suppose -6*a + 54 = 3*a. Let y(r) be the third derivative of r**5/60 - r**4/24 + 7*r**3/6 + r**2. Is y(a) a prime number?
True
Suppose 1085 = 4*c + 3*a, 0 = -5*c - 0*a - 2*a + 1365. Suppose -4*k - k + c = 0. Is k a prime number?
False
Let j(n) = 43*n**2 + 8*n - 10. Is j(7) a prime number?
True
Let f = 1 - -3. Let q = 15 + -11. Suppose 0 = -f*a + 20 + q. Is a a composite number?
True
Let k = -11 + 15. Suppose 5*j + 10 = -4*z, k*j + z + 0*z - 3 = 0. Is (j - 50/4)*-2 prime?
False
Let m be 168/2 - (6/(-2) + 3). Suppose -2*s - 2 = -s. Is m/6*(-3)/s prime?
False
Let v(s) = -s**3 + 2*s**2 + 5*s - 2. Let w be v(3). Let m(o) = 3 + 7*o + w + o**2 - 2. Is m(-8) a prime number?
True
Let r(a) = a + 15. Let x(f) = -f**2 - f. Let k be x(-1). Let w be r(k). Suppose d + 0*d + h - 2 = 0, -4*h = 5*d - w. Is d composite?
False
Is 34/51 - (-86)/6 prime?
False
Let v = 112 + -2. Suppose 4*c = 30 + v. Suppose 0*n - c = -n. Is n a composite number?
True
Let p be (-4)/(-4 - -6) + -677. Is (p/7)/(-2 + 1) composite?
False
Let z be (-458)/8*(-7 + 3). Let o = z + 442. Is o a prime number?
False
Is 1690/3 + 1 + 6/9 prime?
False
Is 0 + (3 - -2 - 4/2) a prime number?
True
Suppose -2*z = -0*c + 5*c - 333, 5*c = 5*z + 340. Is c composite?
False
Suppose 2*v - 202 = -28. Is v a prime number?
False
Suppose 2*o + 6 + 8 = 0. Is (-2)/(0 + 2) - o prime?
False
Let n(q) = 16*q + 2. Let f(a) = 2*a**2 - 3*a. Let y be f(2). Suppose 4*g - 8 = -y*t, 0*t - 4*g = -t - 2. Is n(t) composite?
True
Let h be ((-3)/6)/((-1)/(-18)). Let m be (-6)/h + 16/(-6). Is ((-25)/(1 + m))/1 a composite number?
True
Let r(a) = a**3 - 9*a**2 - 13*a - 16. Is r(11) prime?
True
Suppose -4*z + 7 = -5. Suppose 3*j - z*i = 89 + 232, 2*i = -3*j + 301. Let r = -66 + j. Is r a composite number?
False
Is (7 + -5)/((-4)/(-2998)) prime?
True
Let g be -2 - (-3 - 0) - -8. Is ((-231)/g)/(3/(-9)) a composite number?
True
Let i = 739 - 104. Is i composite?
True
Let p(f) = -f**3 - 6*f**2 + 13*f - 11. Let x(j) = -j**2 + 1. Let i(g) = p(g) + 2*x(g). Is i(-11) prime?
True
Suppose 471 = 2*v + 95. Suppose 4*x - 128 = -4*n, n = -5*x + 3*n + v. Let y = x + 31. Is y a prime number?
True
Let m(k) = 2*k**2 + 4*k + 1. Let x be m(-3). Let p(f) = f**3 - 6*f**2 + 3*f - 3. Is p(x) a composite number?
False
Suppose i - 207 = -k + 2*i, 4*k = -4*i + 860. Is k composite?
False
Let i(b) = 10*b**2 + 3*b + 0*b - b**3 + 7*b. Is i(-7) a prime number?
False
Let o = 1 + 76. Let h(l) = 3*l**2 + 9*l - 4. Let k be h(-6). Suppose -3*y + 4*r = -o, 2*y - 2*r = r + k. Is y a prime number?
True
Let q be (-3 + (-15)/(-6))*-322. Let b = -4 + q. Is b a composite number?
False
Let d(b) = 3*b**3 + 2*b**2 + 2*b - 3. Is d(2) prime?
False
Let c = 342 - 193. Is c prime?
True
Suppose 5*r + 265 = -f + 1595, 3*r + 2*f = 791. Is r composite?
True
Suppose 0 = -i + 5*i, o = -i + 127. Is o composite?
False
Suppose 5*d - c = 13941, 3*d - c = -0*d + 8363. Is d prime?
True
Suppose 3*o - 201 = -0*o. Is o a prime number?
True
Suppose 224 = -4*u + 6*u. Is (5/4)/(4/u) prime?
False
Let k = -7 + 4. Let f(r) = r**3 + 6*r**2 - 2*r + 2. Is f(k) a composite number?
True
Suppose -2*g = -28 + 10. Let c(l) = 10*l - 11. Is c(g) a composite number?
False
Suppose 4*l - 4*u + 4 = 0, 5*u - 2*u = -l + 15. Suppose -l*o + 628 = o. Is o prime?
True
Let f be (-620)/3*36/(-30). Let a(b) = -12*b - 1. Let v be a(4). Let t = v + f. Is t a prime number?
True
Suppose 5*j - z + 349 - 937 = 0, 4*z - 8 = 0. Let o = j + -65. Is o prime?
True
Let i = 135 - 56. Is i composite?
False
Let x(h) = h**3 - 6*h**2 + 3*h - 7. Let z be x(6). Let i(c) = 5*c**2 + 3*c - 9. Is i(z) a composite number?
True
Let n(u) = -56*u - 5. Let z be (-18)/(((-18)/(-4))/3). Let g be n(z). Is g/4 - (-7)/28 a composite number?
False
Let s(v) = 187*v**2. Is s(-1) composite?
True
Let m(f) = -10*f**3 + 4*f**2 + 4*f + 1. Is m(-3) a composite number?
True
Let h(r) = r + 5. Let w be h(-5). Suppose v = -w - 1. Is -1 - (-21 + v + 2) prime?
True
Is 0 - 1 - (-5832)/9 a composite number?
False
Let i = -26 + 29. Suppose 0 = -0*o + i*o - 2*u - 1237, -1 = -u. Is o prime?
False
Let p(f) = -2*f**3 - 10*f**2 - 11*f + 1. Is p(-6) prime?
True
Suppose -o + 4*o = 1671. Is o a composite number?
False
Let i(u) = 4*u + 1 + 5 - 21*u. Suppose 7 = -5*l - 4*g - 14, -3*l + 3*g = 18. Is i(l) composite?
True
Let s(a) be the first derivative of -a**3/3 - 15*a**2/2 - a - 2. Is s(-6) a composite number?
False
Let h = 6 - 8. Let m = h + 6. Suppose 3*d = b + m*b - 349, 3*b + 3*d = 219. Is b prime?
True
