 - 0*o - 472. Let n = d + 265. Is n prime?
True
Suppose 483 = 5*j + 118. Let d be 1*(43 + 1 + -1). Suppose -2*x - 4*t + d + 23 = 0, -2*x = -3*t - j. Is x composite?
True
Let m = -26 - 7. Let r = m + 116. Is r prime?
True
Let y = 243 - -11. Let a(c) = -2*c**3 - 13*c**2 + 2*c + 10. Let v be a(-9). Let r = v - y. Is r a prime number?
False
Is (-583)/2*(-4)/((-4)/(-2)) a composite number?
True
Let a(c) = 5*c**2 - 5*c + 4. Let g be a(10). Suppose 3*v = 2*i + 673, 2*v - 3*i - g = i. Is v composite?
False
Suppose -4*j - 5*f - 101 = -2818, -3*j + 5*f + 1994 = 0. Is j a prime number?
True
Suppose -s = j + 147 - 716, -5*j = -s + 581. Is s composite?
False
Let g be ((-20)/(-25)*-1)/((-2)/10). Let d = 96 - -73. Suppose 3*n + g - d = 0. Is n prime?
False
Let q = 163 - -588. Is q prime?
True
Suppose 0*q + 4*q = 288. Let s = -41 + q. Is s prime?
True
Suppose 6*u + r = u + 5048, -2*r = -5*u + 5039. Is u composite?
False
Suppose 8*c - 6349 - 795 = 0. Is c composite?
True
Let f = 1016 - 721. Suppose 5*z = 450 + f. Is z prime?
True
Suppose 0*t - 6 = -2*t. Let v be -4 - -3 - (-4)/1. Suppose -v*p + f - 17 = -255, -p - t*f = -76. Is p prime?
True
Let o = 112 + -33. Is o a composite number?
False
Suppose 24 = 5*o - 21. Suppose -5*x - 380 = -o*x. Is x prime?
False
Let q(x) be the second derivative of 0*x**2 + 1/12*x**4 - 5/6*x**3 - 4*x + 0. Is q(7) a prime number?
False
Suppose 0 = -4*w + 8, 2*n = 2*w + 1489 - 231. Is n a composite number?
False
Let k(l) = 9*l**2 - 6*l + 1. Let u be (27/15 + -1)*5. Is k(u) a prime number?
False
Let q(o) = -11*o**3 - 6*o**2 + 4*o + 11. Is q(-6) prime?
False
Let f be ((-16)/(-24))/((-4)/6). Let d be (0 - f - -1)*2. Suppose -d*z - 8 + 32 = 0. Is z a composite number?
True
Let w be (140/(-8))/(3/36). Let a be ((1 - 1) + -1)*-353. Let i = w + a. Is i composite?
True
Let x(s) be the first derivative of 3*s - 24*s**2 - 3*s + s + 2 + 0. Is x(-1) composite?
True
Suppose -231 = 2*t + 5*d - 931, 5*d + 660 = 2*t. Suppose 9*v - 197 = 8*v. Let k = t - v. Is k prime?
False
Suppose 0 = 2*h + 534 - 1640. Is h a prime number?
False
Suppose 129 = 2*b - 169. Is b a prime number?
True
Let q = 440 - 237. Let u = q - 114. Is u prime?
True
Is (74*(-2)/(-12))/((-2)/(-42)) prime?
False
Suppose 7*x - 2189 + 180 = 0. Is x composite?
True
Suppose -2*t = 3*a - 19, -4*a + 10 = -10*t + 5*t. Suppose 4*c - 2*x - 7 = x, 3*c + t = -5*x. Is -4*c*(-14)/4 composite?
True
Let w = 1 + 3. Suppose -w*p = -128 - 636. Is p prime?
True
Let a(m) = -4*m - m**2 + 3 + 7*m**2 + 2*m. Is a(-8) a prime number?
False
Let a(y) = -1. Let s(t) = -t + 3. Let r(m) = -17*a(m) - 6*s(m). Let g be r(-3). Let b = g - -29. Is b a composite number?
True
Let i(l) be the third derivative of l**7/630 - l**6/720 + l**5/24 + l**4/8 + l**2. Let z(y) be the second derivative of i(y). Is z(4) composite?
True
Suppose -8*z + 15 = -3*z. Suppose 0 = 2*u + z*g + 7, 0*u + u - g + 6 = 0. Let n = u + 7. Is n a composite number?
False
Let c = -451 - -165. Is (c/(-8) - 3)*4 composite?
False
Let x = 6862 + -4799. Is x composite?
False
Let n be (2 - 3)*(12 + -1). Let i(l) = -6*l + 13. Is i(n) prime?
True
Suppose 4*g + 113 = -0*t + t, 2*t + 2*g - 186 = 0. Is t a composite number?
False
Let z be -12*((-3)/(-1) + -2). Is 1/(-2) - 450/z a composite number?
False
Suppose -20 = 5*y, 2*f + 5 = -3*y + 57. Suppose -n + 0*n + f = 0. Suppose -c = -3*k - 17, -c - 5*k + 1 = -n. Is c prime?
True
Let f = -1 + -1. Let w = f + 2. Suppose -2*i - 27 = -3*i + 2*b, w = 5*i - b - 117. Is i prime?
True
Suppose 0 = -5*m - 4*z - 20, 10 = m - 4*m - 2*z. Suppose m = -l - 3*l + 1012. Let a = l - 92. Is a prime?
False
Let q(j) = -j**2 + j + 1. Let o(n) = -n**2 + 6*n + 8. Let r(k) = o(k) - 6*q(k). Is r(-3) a prime number?
True
Let q(p) = -p**3 - 2*p**2 - 1. Let t be q(-2). Is (1/1 + -24)*t a prime number?
True
Let j = 3600 - 1079. Is j a prime number?
True
Let f = -3 - -5. Suppose 3*a - 3*x - 15 = -5*x, f*a - 12 = -2*x. Suppose 2*y + 2*y - 309 = -s, 0 = -a*s + 3. Is y prime?
False
Let b(g) be the third derivative of g**5/60 + 7*g**4/24 + g**3 - 4*g**2. Let o be b(-6). Suppose 0 = 2*y - o*y + 3*d - 186, -5*d = 0. Is y composite?
True
Suppose -5*h + 1469 = 2*b, 5*b + 0 - 10 = 0. Is h prime?
True
Let n(k) = -56*k + 1. Suppose 53 = -5*t + 18. Is n(t) a prime number?
False
Is -3*24/(-4) - -1 composite?
False
Let a(n) = -7*n**3 - n - 1. Suppose 3*c + 0*c + 9 = 0. Is a(c) a prime number?
True
Let r be 57/12 + (-3)/(-12). Suppose -r*v + v = -32. Suppose -4*c + 1 - v = -g, -4*c = -4*g + 28. Is g prime?
True
Let s be 6/(-39) - (-28)/13. Is -4*(s - 61/4) prime?
True
Let h = 113 - -42. Is h a prime number?
False
Let x(c) = -c**3 - 8*c**2 - 8*c - 1. Let g be x(-7). Let v = 11 - g. Suppose 190 = 5*o + v*n, 0 + 2 = 2*n. Is o a prime number?
True
Let z(j) = j**3 - j**2 + 5*j + 1. Is z(4) composite?
True
Suppose -4*u - 56 = 4. Let l = 24 + u. Is l composite?
True
Let k(f) = -47*f + 10. Let l be k(-9). Is (-2)/(-5) - l/(-5) composite?
True
Let u be (-2 - -127) + 5 + -4. Let g = u + -37. Is g a prime number?
True
Let v = 12764 + -1413. Is v prime?
True
Let z(h) = -210*h + 34. Is z(-6) a prime number?
False
Let a(j) be the third derivative of j**5/60 + 3*j**4/8 + 2*j**3 - 4*j**2. Is a(-11) prime?
False
Suppose 5*j + 2*d = 34321, -8*j + 10*j = -4*d + 13738. Is j a composite number?
False
Suppose 0 = 4*x - 6*c + 7*c - 17136, 3*c - 21427 = -5*x. Is x a composite number?
False
Let i be (1/2*-10)/(-1). Suppose -i*g - 4*q = q + 30, 33 = -4*g + 5*q. Let s(b) = b + 9. Is s(g) a composite number?
False
Let o = 55 + -2. Is o a composite number?
False
Suppose -d - 20 = -3*d - 4*w, -4*d + 5*w - 12 = 0. Suppose 0 = -d*b - 2*n + 290, -2*b + 0*b - 5*n = -296. Is b prime?
False
Suppose 420 = 5*v + m - 573, v - 195 = -2*m. Is v composite?
False
Is (-4)/(-8)*2 - -84 a prime number?
False
Suppose -10*b = 15*b - 36925. Is b a prime number?
False
Let i = -827 - -1246. Is i a composite number?
False
Suppose 2*v + 4*m - 16 = -0*m, 12 = v + 4*m. Let j(a) = a**2 + 2*a - 5. Let i be j(v). Is i + 3 - (2 + -1) a prime number?
False
Let i(z) = 12*z**2 + 2*z + 23. Is i(-6) a composite number?
False
Suppose -3*x = 4*q + x - 4, 0 = -4*q + 2*x + 10. Let c be q/6*(231 + 0). Let b = 208 - c. Is b prime?
True
Let d = -1 - -4. Suppose 0 = 2*c + d*c - 355. Is c a prime number?
True
Let y(j) = -3*j - 16. Let i(g) = -2*g - 8. Let t(u) = 5*i(u) - 3*y(u). Let s be t(0). Let q = s + -5. Is q a composite number?
False
Is 5 - 1 - 90/(-3) a composite number?
True
Suppose -3*p + 565 = 2*p. Suppose -3*k - 2 + p = 0. Is k composite?
False
Let m be 0*(0/(-1) - 1). Let h(s) = s**3 - s**2 + 177. Let z be h(m). Let c = z + -122. Is c a composite number?
True
Is 28/((1 + 7)/4) prime?
False
Let q be (2/3)/((-4)/(-24)). Is (2/q)/((-9)/(-2286)) a prime number?
True
Let m(j) = j**2 + 4*j + 2. Let d be (1/2)/(5/40). Is m(d) composite?
True
Suppose 4*x + 15 = -x. Is x/(12/(-764) - 0) composite?
False
Suppose 0 = -3*f - 50 - 37. Let s = 52 + f. Is s composite?
False
Is 1*(-717 - 2)/(-1) a prime number?
True
Suppose u = -2*u + 15. Suppose 68 = 4*w + 4*o, u = -w - 4*o + 22. Let q = 36 + w. Is q a prime number?
True
Let i = 106 + -50. Suppose 2*g - 114 = i. Is g composite?
True
Let j(l) = l**3 - l**2 + l - 2. Let n be j(2). Let s(b) = -8*b - n*b - b**2 - 9 + 0*b**2. Is s(-10) composite?
False
Is 2400/9 + 1/3 prime?
False
Let v = 3 + -2. Is (21 + v - 3)/1 a prime number?
True
Let z = 6 + -4. Suppose -p - z*p = -165. Is p prime?
False
Let k(c) = 3*c**2 - 11*c + 15. Let g(w) = 4*w**2 + 24 + 3*w**2 - 3*w**2 - 12*w - 8. Let u(o) = 4*g(o) - 5*k(o). Is u(-10) composite?
False
Let n(k) = 2*k + 14. Let s be n(-11). Is ((-52)/s)/(2/20) a composite number?
True
Suppose p = -4*n + 31, 0 = 4*n - 9*n - 5*p + 35. Is (-2)/n - 185/(-20) prime?
False
Let t be 13/(-6)*2*-3. Suppose -2*b = 1 - t. Let h(j) = 2*j**3 - 8*j**2 - 3*j - 7. Is h(b) composite?
True
Suppose -289 = 5*v - 1244. Suppose -v = -4*i - 47. Suppose 0 = -2*d + 8 + i. Is d a composite number?
True
Suppose -3*w + 6*g - 3*g + 1074 = 0, -3*w + 1074 = -5*g. Is w composite?
True
Let d(g) = 18*g**2 - 21*g + 26. Is d(15) prime?
True
Suppose -2*t - 1 = -4*m + 5, -3*t = 4*m - 21. Suppose -o + 59 = 4*w, -o + m*w = -49 + 4. Is o prime?
False
Is (-2)/(-8) - 3297/(-28) composite?
True
Let a(v)