ime number?
True
Let z = 47298 - -87593. Is z a prime number?
False
Let y = 1812 - -13849. Is y composite?
False
Let u = -59 - -61. Suppose f = -v + 9877, -u*v - 3*f - 1503 = -21253. Is v a prime number?
False
Suppose -6*s = 8*s - 40908. Suppose -5*k - i = -183459, 76320 = 2*k + 4*i + s. Is k prime?
True
Suppose 0 = f + 27 - 35. Suppose -2 = 7*x - f*x. Let n(l) = 1032*l - 5. Is n(x) composite?
True
Suppose 9*a + 21 = 10*a. Let c(p) be the first derivative of p**3/3 - 8*p**2 + 40*p + 4. Is c(a) a composite number?
True
Suppose 4*m = 5*s - 30, m - 1 = -6. Suppose -2*g + s*x + 26 = 4*x, -5*x = -5. Suppose -r = g - 19. Is r composite?
False
Suppose i - 9411 = -b, 4*i + 1903 - 39556 = -b. Let a = 13583 - i. Is a prime?
False
Let q(z) = z**3 - z**2 - 1. Let t(h) = -30*h**3 + 4*h**2 + 2*h + 21. Let i(j) = -2*q(j) - t(j). Let s(c) be the first derivative of i(c). Is s(-3) prime?
False
Suppose 7830*t - 192428 = 7826*t. Is t composite?
True
Suppose -24*v = 2*r - 29*v - 40945, -102347 = -5*r - 3*v. Suppose -r = -5*w - 3065. Is w prime?
False
Suppose 2 + 9 = 2*m - 5*s, -m + 2*s + 7 = 0. Suppose 0 = 7*a - m*a + 56346. Is a a composite number?
False
Is (-6464)/8080*(80715/(-4))/3 a composite number?
False
Let f(x) = 652*x**2 + 4*x - 7. Let t be f(4). Let l = -7332 + t. Is l prime?
True
Let c be -3 + 2 + (-2 - 22). Let o = c + 28. Suppose 6*q + o*q = 1017. Is q a prime number?
True
Is (-1)/(1308018/(-654006) + 2) a prime number?
True
Suppose 1572561 = 2*o - 5*k, 6*o - 2*k - 1572540 = 4*o. Is o a prime number?
False
Let r be 0 + 6 + -3 + -3. Let l(h) be the second derivative of -5*h**3/6 + 521*h**2/2 + 13*h + 2. Is l(r) prime?
True
Suppose 144*q - 15792 = -3*p + 141*q, 0 = -2*p - 4*q + 10534. Is p composite?
False
Is (-141)/235 + 77408/30 + 12/(-18) a composite number?
False
Suppose -n + 2*o = -13, -4*n = 3*o - o - 22. Suppose -g + 12 = n. Is 0 + -3 - -885 - g a prime number?
True
Let w = 195 + -192. Suppose -c + 7*a - 3*a + 1207 = 0, -w*c + a + 3566 = 0. Is c composite?
False
Let g = 58 - 44. Let v(x) = 6*x - 31. Is v(g) composite?
False
Let r = -342 - -335. Is ((-1825)/r - -2) + (-44)/(-154) composite?
False
Let c = -17 + 31. Let s(m) = 22*m + 9. Is s(c) a prime number?
True
Is (-8)/156 + 62467160/1560 a prime number?
False
Let g(q) = -34*q - 19. Let p be g(-3). Let i = p + -78. Suppose i*r - 139 + 9 = 0. Is r composite?
True
Is (12 - -3) + (11 - -133235) prime?
True
Let q = 265 - -2793. Let s = q + 10063. Is s a composite number?
False
Let k(m) be the first derivative of 36*m**3 + m - 1. Suppose -58 = -63*n + 5. Is k(n) prime?
True
Let h(w) be the second derivative of 61*w**3/6 + 13*w**2/2 + 175*w + 1. Suppose d + d - 12 = 0. Is h(d) a composite number?
False
Let v be (-19028)/(-6) + (-2)/(0 - -6). Is ((-60)/25 - -2) + v/15 a prime number?
True
Let d = 1403 + -133. Suppose 0 = 4*v + 4, 5988 = 4*t - 2*v - d. Is t a prime number?
False
Let i = 464 + -31. Suppose -5*m = -3887 - i. Suppose 0*p + 2*j = -2*p + 1722, -m = -p + 2*j. Is p a composite number?
True
Let x(t) = -7*t + 169. Let b be x(24). Suppose 0 = 5*d - 2 - 8. Is (-109 - d)/(-3)*b composite?
False
Let l = 1524832 - 564063. Is l a composite number?
True
Let i = -79 + 88. Suppose 18*o + i = 21*o. Suppose -o*u + 62 = -u. Is u composite?
False
Let l be (4/(-14))/((-3370)/280 - -12). Let g(a) = 5*a**3 + 9*a**2 + 14*a - 19. Is g(l) prime?
True
Suppose 0 = -2*u - 5*u + 714. Let l = -75 + u. Suppose 0 = 4*q - 5*m - 5123, 2584 - l = 2*q - m. Is q a composite number?
False
Let y be (-14)/(-35) - 483/(-5). Let j = 100 - y. Is (-1)/(2 - j)*959 composite?
True
Suppose y - 5*y + 63774 - 18210 = 0. Is y a prime number?
False
Suppose 0 = 3*q - 5*f - 6111, 4*q = -8*f + 10*f + 8148. Suppose 1633 = 2*u - q. Is u a prime number?
False
Let t(r) = 4*r**2 - 117*r - 61. Let w(f) = -2*f**2 + 59*f + 30. Let q(g) = 3*t(g) + 5*w(g). Is q(-17) prime?
False
Let t = 105017 + 303926. Is t a prime number?
True
Let u(y) = -38*y**3 + 4*y**2 + 117*y + 1190. Is u(-9) a prime number?
True
Suppose 5*w = 5*g - 35, 5*g - g + 3*w = 0. Suppose g*d + 85 = -56. Let p = d + 62. Is p composite?
True
Let i(m) = 2*m**3 - 21*m + 13. Let w be i(10). Suppose a = b + w, b - 2*a + 679 + 1121 = 0. Is (-8)/(-2) + 5/((-10)/b) a prime number?
True
Let a(z) = -z**3 - 5*z**2 - 3*z - 3. Let v(k) = -3*k**3 - 16*k**2 - 8*k - 10. Let m(q) = 11*a(q) - 4*v(q). Is m(-8) composite?
False
Let b = -25 + 24. Let h be (10 - 1 - b) + -3. Suppose 12*x = h*x + 155. Is x a prime number?
True
Let o(i) = 67*i**2 + 2*i - 322. Is o(-29) composite?
False
Suppose -b = -5*k - 292629, 9*k = 5*b + 5*k - 1463187. Is b composite?
True
Let b(p) = 337300*p**2 + 6*p + 9. Is b(-1) a composite number?
True
Let c = 568216 + -56783. Is c a composite number?
True
Suppose 5*g - 307431 = -4*g. Suppose g = -44*h + 434163. Is h prime?
True
Suppose -4*v + 11248 = 2*f - 6*f, -4*f = -16. Let y = v - -2217. Is y composite?
True
Let y(z) = -13*z**3 - 2*z**2 + 11. Let p(u) = -12*u**3 - 2*u**2 + u + 10. Let w(m) = 7*p(m) - 6*y(m). Is w(-6) prime?
False
Suppose -78*n + 556391 = 9*n - 1469056. Is n a prime number?
False
Suppose -2*k - 8 = 0, -16 = 2*l + 5*k - 0*k. Suppose -50 = l*n + 240. Let m = n + 536. Is m composite?
True
Let p = -337966 + 535223. Is p prime?
True
Suppose 3*a + 5*d = -946, 3*d = -2*a - 2*d - 634. Suppose 3*v - 4*m = -3689, -85*m - 2459 = 2*v - 88*m. Let j = a - v. Is j a prime number?
True
Let k(o) be the first derivative of -9*o + 2/3*o**3 + 3/2*o**2 + 17 + 15/4*o**4. Is k(5) a composite number?
False
Let b be (-1)/3 + 1268/(-3). Let v = 5034 - 4220. Let y = b + v. Is y a prime number?
False
Let k(p) = p**2 - p + 19030. Let v be k(0). Suppose 3*a + 5*z - 68 = -16, 3*z = 4*a - 21. Suppose -19*l = -a*l - v. Is l a prime number?
False
Let s(x) = -x + 10. Let p = -24 + 8. Let a be s(p). Let n = 168 - a. Is n prime?
False
Let q(j) = -j**3 - j**2 + 7*j - 6. Let t(k) = k**3 - 8*k + 5. Let z(c) = -4*q(c) - 3*t(c). Let n be z(-5). Suppose -v - 1041 = -n*v. Is v prime?
True
Suppose -27*a + 42 = -24*a. Suppose 4968 = a*b - 2*b. Let h = b + -163. Is h composite?
False
Suppose 4*a - 11*a = -1763993. Suppose -24*r - 24455 = -a. Is r composite?
True
Let s be -12 + 10 - (-3 + -1). Suppose -5*m + 2431 = 4*v, 1867 = 3*v + s*m - 7*m. Is v a prime number?
False
Let q(v) = 13*v**2 + 5 + 4*v - 16 - 2*v**2. Let s(d) = 16*d - 84. Let u be s(6). Is q(u) prime?
True
Suppose -5*h + k = -3*k + 4, 4*h - 1 = -k. Suppose -p - 2684 - 14522 = h. Is p/(-56) + (-1 - (-3)/4) a composite number?
False
Let d(h) = 2*h**3 + 8*h**2 - 5*h - 9. Let f be d(-4). Is f + -9 + (-6806)/(-2) + 2 prime?
True
Is 318666/2*(-14)/(-56) - (-8)/(-32) a prime number?
False
Suppose -9*f + 14*f - 6090 = 0. Suppose 2*k + 1425 - 215 = n, 2*k + 3*n = -f. Let d = 997 + k. Is d a prime number?
False
Let l(p) = 57 + p + 73 + 3*p + 7*p**3 - 117 + 4*p**2. Is l(4) prime?
True
Let b = -5 - -7. Suppose 6*z = b*z + 20. Suppose z*u - 5*v + 0*v = 2225, -5*u - 2*v = -2225. Is u composite?
True
Let h = 194 + -188. Suppose -3*c = -4*j + 61220, 5*j - 76525 = h*c - c. Is j prime?
False
Let p(x) = -4*x - 4. Let n be p(-2). Let o(m) = 9*m**3 - m**2 + n - 6*m + 0*m**2 - m**2. Is o(3) a composite number?
False
Let t(k) = k**3 - 2*k**2 + 25. Let i be t(5). Suppose -327*j = -337*j + i. Is j a prime number?
False
Let z(q) = 3*q - 25. Let k = -38 - -49. Let u be z(k). Suppose 0 = -14*l + u*l + 8826. Is l a composite number?
False
Is (-39)/(-26) - (-47)/(-34) - 739793604/(-748) a composite number?
False
Suppose -10518 = 20*q + 193386 - 899444. Is q a prime number?
False
Suppose 21699 + 3701 = 5*s. Let l = -3266 + s. Is l a prime number?
False
Let i(f) = f. Let j(y) = 8. Let n(b) = 4*i(b) + j(b). Let p be n(13). Let g = p - 25. Is g a composite number?
True
Let a = 304502 - 207453. Is a prime?
False
Suppose 0 = -103*k + 98*k + 53515. Suppose -35357 = -6*p - k. Is p prime?
False
Let q = -268 + 384. Let m(k) = 613*k + 6. Let v be m(1). Let t = v - q. Is t a prime number?
True
Suppose -5*m - 4*k = -9299 + 2146, -k - 4302 = -3*m. Suppose 3*p = -p + 24000. Let v = p + m. Is v a composite number?
False
Suppose 56598 = 5*c + 21*d - 25*d, d = c - 11320. Let n = -6897 + c. Is n prime?
True
Let a(b) be the first derivative of -2*b**3/3 - 8*b**2 - 18. Let j be a(-8). Is (-3)/6