, 0 = -0*r + 5*r - 25. Is c a prime number?
True
Let l = 51 + 31. Is l prime?
False
Suppose 0*m = m - 2. Is (-3)/(m + -11)*309 prime?
True
Let n be (21/9)/((-2)/(-6)). Let j = n - 2. Let t = j + 16. Is t prime?
False
Suppose -5*d = -5*v + 58 + 7, 2*v - 3*d = 29. Is v/25 + 323/5 composite?
True
Suppose 0*s + 3*s = 4017. Is s composite?
True
Is (1/(-7) - 0) + 36200/70 prime?
False
Let x(z) = 31*z**2 - 6*z + 7. Is x(4) a prime number?
True
Suppose 5*s + 4*t - 17051 = 0, -3*s + 3*t + 0*t = -10209. Is s a prime number?
True
Let v(l) = -204*l - 21. Is v(-22) prime?
False
Suppose 5*t + 53 = 618. Is t composite?
False
Suppose -r - 4*h = -3*h + 6, h = 2*r + 21. Let i = 5 + r. Let y(o) = -4*o + 3. Is y(i) a composite number?
False
Let t(j) be the third derivative of j**6/20 + j**5/60 + j**4/8 - j**3/2 - j**2. Let x = -13 + 15. Is t(x) composite?
True
Suppose -5*x + 29 + 1 = 0. Let f(w) = -3*w**3 + 5*w + x*w**2 + w**3 + w**3 - 3 - 1. Is f(6) a composite number?
True
Let y be 1/2*498*1. Is ((-1)/(-3))/(1/y) a composite number?
False
Let p(t) = -20*t**3 - 2*t - 1. Is p(-2) composite?
False
Let z = 7 - -12. Is (z/3)/(1/3) prime?
True
Let c = -5 + -1. Let i be ((-9)/c)/(-1)*4. Let b(z) = -z**3 - 6*z**2 - 10*z - 9. Is b(i) prime?
False
Let u = 2 - 0. Let j = u - -1. Suppose p - 388 = -j*p. Is p prime?
True
Let z(c) = -c + 5. Let d be z(0). Suppose 22 = d*a + 2. Suppose -29 = -a*t + 167. Is t composite?
True
Let w(f) = 4*f**2 + 2*f - 10. Is w(4) prime?
False
Let r be 0 + (-3)/(-1) + 1. Let a(x) = -x**2 + 2*x**2 - 6 - r*x + 9*x - 1. Is a(7) a composite number?
True
Suppose 0 = 5*z - 0*z + 15. Suppose -2 = k - 3*r - 6, -4*k = -r - 60. Let m = k + z. Is m composite?
False
Let w(u) = 81*u**2 + 2*u - 1. Is w(-2) a composite number?
True
Suppose 3*n + 7 + 0 = -5*b, -5*b = -n - 9. Let u = n - -4. Let o(w) = w**3 + w**2 - w + 7. Is o(u) a prime number?
True
Let y(p) be the second derivative of 4*p**4/3 - p**3/6 - 3*p. Is y(1) composite?
True
Suppose -4*o + 557 = -5*m, -3*o + 3*m + 414 = -2*m. Let h = 249 - o. Is h composite?
True
Suppose t = -c + 5, 7*c - 4*t + 20 = 2*c. Suppose 4*k = -c*k + 156. Is k prime?
False
Suppose -2*m - 102 = -5*b, 2*b = -0*b - 5*m + 35. Suppose 5*n - b - 10 = 0. Is n prime?
False
Let n(c) = -c**3 + c**2 + 3*c - 2. Let t be n(2). Suppose -4*a + 313 - 5 = t. Is a a prime number?
False
Let k(m) = m**2 + 3*m - 1. Let p be k(-3). Let u(f) be the second derivative of -17*f**5/10 + f**3/6 + f. Is u(p) composite?
True
Suppose 0 = -4*n - 284 + 3356. Suppose -2*q = 274 - n. Is q prime?
False
Let n = 41 - -171. Let z = -117 + n. Is z prime?
False
Let h(v) = -v**2 - 17*v - 13. Let f be h(-13). Let l = f + -8. Is l a composite number?
False
Let j = -278 + 169. Let r = j + 194. Is r prime?
False
Suppose -4*k + 2 = -5*u + 2*u, k = 3*u - 4. Suppose -3*t - 6 = 3*g, 2 = -k*g - 6. Suppose t*x + a - 30 = 0, 6 + 42 = 4*x - 4*a. Is x a prime number?
False
Let h(w) = -62*w - 15. Is h(-8) a composite number?
True
Suppose 5*u + 0 = 3*x + 2, 0 = -x + 2*u. Let i(y) = 17*y**2 - 5*y + 1. Is i(x) a composite number?
False
Suppose -2*w + 16 = 5*r, -4*w - 5*r = -2*r - 18. Suppose 236 = w*m - m. Is m a composite number?
True
Let i(s) = -s**3 + 16*s**2 - 8*s + 4. Let c be i(6). Suppose -q = 3*q - c. Is q a prime number?
True
Let l = -3 - -6. Let y = l - 0. Let m(b) = 15*b + 4. Is m(y) a composite number?
True
Is ((-3)/(-9))/(4/43908) a prime number?
True
Suppose -173*q + 169*q = -18844. Is q a composite number?
True
Let y(b) be the second derivative of -b**4/12 - b**3/6 + 11*b**2/2 - 2*b. Let n be y(0). Suppose n = 3*h - 10. Is h prime?
True
Suppose 4*y - 2136 = -4*y. Is y prime?
False
Let o(b) = -54*b + 5. Let p be o(-5). Suppose 2*c - p = 7*c - 2*y, -5*c = -5*y + 260. Is c/(-9)*(7 - 1) a composite number?
True
Suppose l - 3*t = 133, 2*l - 39 = 5*t + 231. Is l a composite number?
True
Suppose -2*p = -1997 - 797. Is p a prime number?
False
Is (-14)/(-4)*42/((-42)/(-6)) a prime number?
False
Suppose -2*g + 67 = -17. Is (g/2 - -2)*1 prime?
True
Let o be (-574 - -3) + -3 + 2. Let a = 867 + o. Is a prime?
False
Let v(o) = o + 7. Let a be v(-4). Is 31/(-2 + 9/a) a prime number?
True
Suppose 5*a - 43 + 175 = 2*q, -2*q - a + 156 = 0. Let o(s) = -19*s + 2. Let v be o(-1). Let m = q - v. Is m a prime number?
False
Suppose 7*r - 2*r - 281 = 2*j, -j - 2*r = 154. Let i be j/(-16) - 1/4. Is 2/(-6) + 318/i composite?
True
Let b(i) = 7133*i**2. Is b(-1) a prime number?
False
Suppose 2*j = 7*j. Suppose a - 62 - 15 = j. Is a a composite number?
True
Let r = 94 - 57. Let b = r + 148. Is b composite?
True
Let g(h) = -h - 1. Let m be g(-4). Is 4 - m/(-1 + 4) composite?
False
Let k(a) = a**3 - 5*a**2 + 2*a - 7. Let b be k(5). Suppose 4*w - b = 1. Is 6*(w - 2/6) prime?
False
Let c be -12*(-2)/8*-2. Let x(b) = b + 8. Let i be x(c). Suppose -2*r + 358 = 4*g, -5*r + i*g - g = -840. Is r composite?
True
Let h = 1 - -2. Is 2*(h - 407/(-2)) prime?
False
Let k be (3/3)/1 + -1. Let s(c) = c**2 + 133. Is s(k) composite?
True
Suppose j = 4*j - 393. Is j composite?
False
Let b be 1/3*(2 - -157). Let j = 106 - b. Is j prime?
True
Let q be (-4)/10 + (-8)/(-20). Suppose -5*o + 745 = -q*o. Is o prime?
True
Suppose c = -4*n + 1184, 3*n + c - 905 = -4*c. Is n a composite number?
True
Let f = -87 - -172. Suppose -106 - f = -u. Is u composite?
False
Let m(h) = h**3 - h**2 - 2*h - 6. Let k be m(5). Suppose 3*i = -5*z + 105, 2*z + 2*z - k = 5*i. Is z composite?
True
Suppose -2*o = 2 + 2. Is o*(1 - 0) - -165 composite?
False
Let j be (-1 + 3)*5/2. Is -3 + j - -2 - 1 prime?
True
Let o be (-1 - (-128 - 1)) + 3. Suppose 3*k - 411 = -3*n, 3*n + n - o = -k. Is k composite?
False
Let n be 40/12 - (-1)/(-3). Let s be ((-30)/8)/n*4. Let d(r) = r**3 + 5*r**2 + r + 7. Is d(s) a composite number?
False
Suppose 4*j = 3*g - 8997, -2*g = -j - 2*j - 5999. Is g a composite number?
True
Let b = 10 - 6. Let p(j) = 2*j**2 + 0*j**2 + j + 1 + j**3 + b*j**2. Is p(-5) a composite number?
True
Let a = -1 + 3. Let j be 0 + a - (-140)/1. Suppose -j = -x - x. Is x prime?
True
Let w(o) = -o**2 - 10*o - 5. Let h be w(-9). Suppose h*b - 13 = 15. Suppose -4*a = -b*a + 93. Is a composite?
False
Let z(t) = 13*t - 5. Let w be z(-6). Let s = w + 138. Is s composite?
True
Let b = 2468 - 1591. Is b prime?
True
Let o = 2772 + -1649. Is o a composite number?
False
Let g = -3792 + 6421. Is g composite?
True
Suppose 3*a = a + 4. Suppose 3*k - a*k = -4*o + 54, 3*o - 83 = -2*k. Is k a prime number?
False
Let k(n) = n**2 + 1. Suppose m = 3*r + 5*m - 23, 5 = m. Let g be k(r). Is (-22)/(-3) - g/6 a composite number?
False
Let h = 1051 + -566. Is h a composite number?
True
Let w(a) = -a - 5. Let n be w(-5). Suppose 2*z + 0*z - 20 = n. Is z a composite number?
True
Let h be (-2 - (2 - 1)) + 5. Suppose 5*r = -q + 3, -15 - 2 = -q + h*r. Is q composite?
False
Suppose -3*l + l = -o - 307, 2*l = -o + 297. Suppose -4*b = -l - 597. Is b composite?
True
Let n(f) = 9*f**2 - 5*f + 1. Is n(-5) a composite number?
False
Let a = 523 + 432. Is a a prime number?
False
Let i = 3 - 4. Let n be 1 + (i - -1) + 1. Suppose 2*l - 268 = -n*s, 2*l = -2*l + 3*s + 529. Is l a prime number?
False
Let m = 23 - 39. Let g be 12/(-6*1/m). Let i = g - -3. Is i a prime number?
False
Let c(u) = -3*u**3 + 2*u**2 - 7*u**2 + 4 + 3*u - 4*u. Suppose -5*t - 3*n + 4 - 25 = 0, -5*t = -2*n + 11. Is c(t) a prime number?
True
Suppose -237 - 30 = -3*o. Is o a composite number?
False
Suppose 1745 = 5*k - 375. Suppose -2*i + k - 113 = -5*j, 172 = i + 3*j. Is i prime?
True
Let z = -279 - -502. Is z a composite number?
False
Suppose 0 = 5*m - 300 - 220. Let f be (10/6)/(1/15). Suppose -5*p - f - 12 = -d, -2*d + m = -4*p. Is d composite?
True
Let m(g) = -3*g**2 - 3*g - 5. Let b(p) = -4*p**2 - 3*p - 5. Let a(c) = -5*b(c) + 6*m(c). Suppose 0 = 8*s - 4*s - 16. Is a(s) a composite number?
True
Let c be 444 + -1 + (-10 - -11). Let i = -115 + c. Is i composite?
True
Suppose -4*p = p - 30. Suppose -3*n + n = -2650. Suppose p*r = r + n. Is r composite?
True
Let g(w) = -2*w**3 + 6*w**2 + 3*w + 6. Let h be g(6). Let n = -137 - h. Is n a composite number?
True
Suppose 5*n + k - 10 = 4*k, 0 = -k - 5. Let y be (n - 83) + 2 - -2. Let p = y - -157. Is p a composite number?
True
Suppose -12*r + 716 = -8*r. Is r composite?
Fal