se 9*c - j - 6305 = 0. Is c a prime number?
True
Let y(b) = 30*b**2 - 15*b + 23. Is y(12) a prime number?
False
Suppose -5*f = -2*f + 9. Is (3 - -9)/f + 417 a composite number?
True
Suppose -36187 + 11982 = -103*z. Is z composite?
True
Let x(g) = -g**3 + 3*g**2 + 4*g - 3. Suppose 4*f + 3*w = -18, 2*f = 4*f + 4*w + 14. Is x(f) composite?
True
Suppose -4*h = -5*w - 41, -4*w = 5*h - 6*w - 47. Suppose h*o - 3516 = 3*o. Is o composite?
True
Suppose 0 = -3*v + 2480 + 5683. Is v prime?
False
Suppose -3*o - 15 = -3*b, 8 + 2 = -2*o. Suppose 3*q = 4*q + 4*u - 41, -q + 5*u + 5 = b. Suppose 203 = 2*c + q. Is c a prime number?
True
Let r = 26735 - 8440. Is r composite?
True
Suppose 6*u = 3*u. Suppose -d - 3*y + 395 = 0, 7*d + y - 2045 = 2*d. Suppose -p - 5*v + 82 = u, -3*v - d = -2*p - 3*p. Is p prime?
False
Let q be (-70609)/(-21) + (-2)/(-3). Let t = -2226 + q. Is t a prime number?
False
Let r = 241 - 140. Let i = r + 540. Is i composite?
False
Let l be (-52)/(-6) - (-2)/(-3). Suppose -3*w - 1645 = -l*w. Is w a composite number?
True
Let l(n) = 61*n**3 - n**2 + 2*n. Let s = -13 + 16. Let g be l(s). Suppose -t = -5*t + g. Is t composite?
True
Suppose 20*p - 13956 = 8*p. Is p a composite number?
False
Let b = -17 + 22. Is -5*(-1 + b/((-10)/24)) a composite number?
True
Let z(u) = 401*u**2 + 9*u - 73. Is z(6) a composite number?
True
Suppose -388940 - 694639 = -21*a. Is a a composite number?
False
Suppose -6*d = d - 3689. Is d prime?
False
Let i be (-1)/4 + 2*(-3)/8. Is (i - -86) + (5 + 2)/7 a prime number?
False
Let b = 10 - 16. Let p be ((-2)/3)/(b/(-396)). Let j = p - -259. Is j prime?
False
Let o(a) = 6*a**3 + 5*a - 4. Suppose -4*d = 10 - 22. Let w be o(d). Let g = w - -200. Is g prime?
True
Let z = 9332 - 6071. Is z composite?
True
Suppose 79 = 5*b - 2*b - 5*l, -143 = -5*b - 3*l. Is -4 + 3/((-12)/(-74))*b a prime number?
False
Let s(w) = -w**3 + 9*w**2 - 1. Let h be s(9). Let d(i) = 2*i**3 - i**2 - i - 1. Let c be d(h). Is 4/c*477/(-6) prime?
False
Let c(l) = 6*l - 7. Let g(v) be the third derivative of 7*v**4/24 - 7*v**3/6 - 3*v**2. Let b(z) = -5*c(z) + 4*g(z). Is b(-6) prime?
True
Let u be (-11)/(0 - 1) - -1. Suppose 5*d + 22 - u = 0. Is (-3 - d) + (-570)/(-5) prime?
True
Let c be (-12)/3*(-38)/(-8). Let o = -9 - c. Let j(r) = 20*r + 9. Is j(o) composite?
True
Suppose -6*h + 23 = -7. Suppose -3*i - 310 = -h*i + 3*f, f - 165 = -i. Is i composite?
True
Suppose 5*w = 10, 5*w + 2592 = -3*r + 8770. Suppose 0*o - 1354 = -2*i - 5*o, 3*i - 5*o = r. Let a = i + 61. Is a composite?
False
Suppose -3*q + 4*r = 6*r - 69, -4*r = 3*q - 69. Suppose q*p = 20*p + 18381. Is p composite?
True
Let v be (-3)/7 - ((-204)/28)/3. Suppose -4*p - v*p = -4038. Is p composite?
False
Let j(y) = 3*y**3 - 2*y**2 + 7*y + 9. Let f(n) = -n**2 - 1. Let l(m) = 3*f(m) - j(m). Suppose g = -3*g - 20. Is l(g) composite?
False
Let c(y) = y**3 - 5*y**2 - 15*y - 19. Is c(12) composite?
False
Suppose -37415 = -41*p + 34*p. Is p a composite number?
True
Suppose 2*q + 2*z = 4*z + 12, 4*q - 19 = -z. Suppose q*h + 0*h - 2245 = 0. Is h composite?
False
Suppose 66 = 2*d + 4*r, 10*r + 90 = 5*d + 5*r. Let x be (38/(-3))/(13/(-78)). Let s = x - d. Is s prime?
True
Suppose -3*h + 4*q + 75031 = -0*h, -50020 = -2*h + 3*q. Is h composite?
False
Let u(l) = l - 1. Let f be u(10). Let z be 2/f + (-344)/(-72). Suppose 6*r - r + t = 3381, -z*t = r - 657. Is r a composite number?
False
Is (175/125)/((-1)/(-2155)) a composite number?
True
Suppose 2*m + z - 40 = 0, 5*m + 2*z = 4*m + 17. Is m prime?
False
Let o(x) = x**3 + 5*x**2 - 5*x + 6. Suppose -11 - 13 = 4*k. Let t be o(k). Suppose 2*u - 5*u + 111 = t. Is u a prime number?
True
Let h(r) = -6*r - 44. Let j(i) = -2*i - 15. Let f(w) = 6*h(w) - 17*j(w). Let z be -23 - (30/(-5) - 3). Is f(z) a composite number?
False
Suppose 3*c = -0*c - 6, o + 4*c = 1175. Suppose 2*b - o = -5*h, 2*b - 1173 = -0*b + 5*h. Is b a prime number?
False
Let d = 4969 + -1734. Is d prime?
False
Suppose -636*t = -633*t - 9741. Is t a prime number?
False
Let s(u) = -9*u - 2. Let j be s(-1). Let d = -2 + j. Is 1503/d - 10/(-25) a prime number?
False
Let j = 30444 - 20123. Is j prime?
True
Suppose 2*f - 648 = -6*b + 2*b, 0 = 3*f - 2*b - 940. Suppose 297 = n - f. Is n a prime number?
True
Suppose -2*w = 5*w - 317779. Is w a prime number?
False
Let p(s) = s**2 + 25*s + 54. Let a be p(-23). Suppose a*v - 489 = 7*v. Is v a prime number?
False
Is (-11)/22*-3659*2 prime?
True
Let b be ((-6)/9)/((-8)/60). Suppose 0*k + 10 = b*k. Suppose x + 265 = k*x. Is x a composite number?
True
Let v(j) be the third derivative of 2273*j**6/60 + j**5/30 + j**4/24 - j**3/3 + 2*j**2 - 5*j. Is v(1) a composite number?
False
Let p be 19/6 - (-4)/(-24). Suppose 5*y + 3*w + 349 = -75, 0 = -3*y + p*w - 264. Let k = y + 265. Is k composite?
False
Let r = 155 - 158. Let t(l) be the first derivative of -13*l**2/2 - 2*l + 1. Is t(r) prime?
True
Let q(k) = k**3 - 14*k**2 - 15*k + 2. Let l be q(15). Suppose -l*s + 7*s = 620. Suppose -2*c + 310 + s = 0. Is c a prime number?
False
Let h(k) = -17276*k - 33. Is h(-2) a prime number?
True
Let h(n) = -40 + 6*n + 27*n + 16*n - 16*n. Is h(13) a composite number?
False
Suppose 3*l = 4*z + 4785, 0 = -l - 3*z - 513 + 2095. Is l prime?
False
Let u = 10525 + -7083. Is u a composite number?
True
Let f(w) be the second derivative of -7*w**5/20 - w**4/2 - w**3 + 13*w**2/2 + 6*w. Is f(-6) a composite number?
True
Let x = -11 + 9. Let k be (-1)/x*(-5 - -9). Suppose 0 = -4*y + k + 58. Is y composite?
True
Let d = 3132 - 515. Is d prime?
True
Let h = 19 + -3. Suppose -h = -4*z + 4. Suppose -3*p - 590 = -z*y - 0*p, 0 = p + 5. Is y prime?
False
Let w(h) = -43*h - 328. Is w(-47) prime?
True
Is 3 - (-71588)/(-11)*-2 a composite number?
True
Suppose 2*m - 395 = -0*f - 3*f, -2*m = 2*f - 390. Let u = 372 - m. Suppose -2*w = -u - 44. Is w composite?
False
Suppose -m + 2*i = 3 + 12, -3*m + 3*i - 36 = 0. Let s(a) = -298*a - 1. Is s(m) a prime number?
False
Is ((-24)/84)/((-8)/14)*10558 a prime number?
True
Let r(b) = 33*b + 4. Is r(19) a prime number?
True
Suppose -78615 - 70697 = -32*w. Is w prime?
False
Let u(g) = -g + 26. Let l be u(9). Suppose 5*v + l = 7, 2*n - 2*v - 470 = 0. Is n prime?
True
Suppose 0 = 77*b - 78*b + 13235. Is b composite?
True
Suppose 161*o = 159*o + 76034. Is o a composite number?
True
Let s(t) = t**3 + 5*t**2 - 7*t - 3. Let p be -6 + 4/(-8)*0. Let l be s(p). Suppose l*u + 0*y - 253 = -y, -2*y + 421 = 5*u. Is u prime?
False
Let l = 6073 - -44200. Is l composite?
False
Suppose -23 + 32 = 3*r. Is (r - -50 - 0)*2 a composite number?
True
Suppose -4*w + 8*w = -5*n + 9, -4*w + 15 = 3*n. Let x(v) = 5*v**2 - 11*v + 13. Is x(w) a prime number?
True
Suppose -1535 = -4*c - c. Suppose 2*g + c = 3*g. Is g prime?
True
Let d(s) = s**2 + 2*s + 21. Let f be d(-17). Let c = f + -55. Is c composite?
True
Suppose 36*k = 32*k + 7028. Is k composite?
True
Suppose -59*r + 10*r + 580307 = 0. Is r a composite number?
True
Let t(o) = 8*o + 526. Let h(n) = 11*n + 789. Let q(w) = 5*h(w) - 7*t(w). Let z = 2 - 2. Is q(z) prime?
True
Is ((-15)/(-10))/(27/13842) composite?
False
Let v(j) = 2*j**2 - 5*j + 2. Let k be v(3). Suppose 18 = k*l - 2*t, 2*l - 2*t + 4 - 10 = 0. Is l a prime number?
False
Let z = -11956 - -34157. Is z prime?
False
Let m(l) = 568 + 1720 + 0*l - 531 + l. Is m(0) composite?
True
Suppose 4*i + 735 = i. Let t = i + 410. Suppose 3*a + v = 384, 213 + t = 3*a - v. Is a a prime number?
True
Let x(p) = -9*p**3 + p**2. Let j be x(1). Let m = j + 14. Is 15 - (m/(-2) - -3) composite?
True
Let y = 4376 - -3377. Is y prime?
True
Let y be (-75879)/(-27) - (-1)/(-3). Suppose 3*m - 10 = 2, 2*f = 2*m + y. Is f composite?
False
Let l = 19415 + 10272. Is l composite?
True
Is (8 + 123784/16)*2 - -4 a prime number?
True
Let x = -2188 + 10475. Is x a prime number?
True
Let y(x) = -1658*x + 293. Is y(-12) composite?
True
Let y = 316 - 494. Let q(g) = -2*g**3 + 4*g**2 + 2*g + 1. Let d be q(-5). Let w = y + d. Is w prime?
True
Suppose 4 = 4*a - 2*a, 0 = -4*c - 3*a + 70. Let l = c - 24. Is 3/((-12)/l) - -81 composite?
False
Suppose 6*v - 7000 = 27470. Suppose 0 = 5*h + 4*s - 5735, -5*h + v = s + s. Is h composite?
False
Suppose -21 = 3*j - 3570. Suppose 4*w = -3*w + j. Is w a prime number?
False
Let y = 94 - 157.