ppose y*r = 599 + 574. Is r a composite number?
True
Let p(i) = 32*i**2 - 28*i - 1. Is p(12) a prime number?
True
Is (16056/216)/((-1)/(-33)) a prime number?
False
Let g be (20/(-6))/(4/(-6)). Suppose 0 = -0*o + g*o - 620. Suppose -o = -t - t. Is t prime?
False
Suppose 5*z - 20 = z, 79 = -4*g + 3*z. Let t = 106 - 111. Let s = t - g. Is s composite?
False
Let k(n) be the second derivative of -n**3 + 3*n**2/2 - n. Let t be k(-8). Let d = 26 + t. Is d prime?
False
Let l = -6581 + 20932. Is l a composite number?
True
Suppose -g - 9 = -25. Suppose -5*m - 6 = -g. Suppose 3*u + 1379 = 5*d, d - m*u = -3*d + 1102. Is d a prime number?
False
Let t be 50 + 4*(2 + -1). Let y = 125 - t. Is y prime?
True
Let m = 405 + 638. Is m prime?
False
Suppose 26 + 32 = 4*o - k, -3*o - 3*k + 36 = 0. Let y be 5/(-7) - 4/o. Is (10/(-20))/(y/422) composite?
False
Suppose 0 = -4*x + 5*r + 3431, -24*r + 19*r - 1713 = -2*x. Is x prime?
True
Let w(g) = -15*g**3 + 7*g**2 + 2*g - 16. Is w(-7) prime?
False
Let a be (355 + 0)*(-2)/(6/(-21)). Let y = -1328 + a. Is y a prime number?
False
Suppose 2*d + 0*z - 1947 = -3*z, 5*d - 4920 = 3*z. Suppose -d = -5*r - 321. Suppose 6 + r = 3*x. Is x a prime number?
False
Let x = -2 + 6. Suppose r = -2*r - 12, 3*h - 8935 = x*r. Is h composite?
True
Suppose -5683 = 5*g - 71228. Is g a composite number?
False
Suppose -3*j + 13 = 2*j - r, -j = 2*r + 4. Suppose j*y + 2*y = 2164. Is y a composite number?
False
Let h(a) = -a**3 - 4*a**2 - 4*a - 3. Let c be h(-3). Suppose -5*j + 7*j - 3352 = c. Suppose -4*z + j = -0*z. Is z prime?
True
Let h(b) = 5 + 88*b - 10*b - 48*b + 95*b. Is h(10) composite?
True
Suppose -u = -6*u + 144965. Is u a prime number?
False
Let f(u) be the first derivative of 2*u**3 - 17*u**2/2 + 15*u - 1. Let n be f(13). Suppose n = 4*a - 1084. Is a a composite number?
True
Suppose b - 3*j - 966 = 2172, -2*b + 6276 = -2*j. Suppose 0*d - b = -3*d + 3*z, -4*d - 5*z + 4139 = 0. Is d prime?
False
Suppose 0 = -2*u + 4*m + 12, -4*u = -u - 3*m - 12. Suppose -i - 3*z - z = -1511, u*z - 7537 = -5*i. Is i a composite number?
True
Let q(u) = 2*u**2 - 18*u - 11. Is q(11) composite?
True
Let z = 6 - -10. Let n = -17 + z. Is n/(-2 + 1)*82 a composite number?
True
Let n = -183 + 323. Suppose -n = -9*h + 49. Is h composite?
True
Let q(b) = -3*b - 2*b + 13 + 4*b. Let j be q(11). Suppose 5*g = 5*n - 3*n - 133, -j*g - 69 = -n. Is n composite?
False
Suppose 69*c = 72*c - 39. Let d = c + 72. Is d a composite number?
True
Let w = 973 - -3898. Is w a prime number?
True
Let m(z) = z + 8. Let r(a) = -a**2 - 5*a - 6. Let o be r(-5). Let g be m(o). Suppose 4*t - 178 = -3*y, 0*t - 176 = -3*y - g*t. Is y composite?
True
Let u = 41397 - 23746. Is u a prime number?
False
Let a = -13114 - -21927. Is a composite?
True
Is (-294520)/(-22) + 3/(-11) prime?
False
Suppose 0*x = p - 2*x - 1705, -2*x - 3414 = -2*p. Is p prime?
True
Let z(f) be the first derivative of f**2/2 + f + 4. Let u be z(4). Suppose 3*y - 116 = -u. Is y a composite number?
False
Let s(b) = 386*b**2 - 29*b - 38. Is s(9) a composite number?
True
Is (73981/2 + 2)*(-164)/(-205) a composite number?
True
Let g = -5 + 11. Suppose 0 = 2*b - u - 2*u + g, 0 = b + u - 2. Suppose -2*s + 49 + 43 = b. Is s prime?
False
Suppose 5*y + c - 2770 = 0, 6*y + 4*c = 7*y - 533. Is y composite?
True
Let w(t) be the second derivative of t**5/20 - t**2 + 4*t. Let b be w(2). Is 3/6*b - -124 composite?
False
Suppose 56*s - 2639 = 49*s. Is s a prime number?
False
Let c(s) = 125*s**2 - s. Let u(y) = y**2 + 5*y - 8. Let l be u(-6). Is c(l) prime?
False
Suppose -q = -331 - 1068. Is q a composite number?
False
Let v(t) = t**2 - 19*t + 8. Let c be v(14). Let q = c - -273. Is q a composite number?
False
Let k be 3 - (-2 - 0) - 3. Let h = k + 3. Suppose h*d = -2 + 747. Is d composite?
False
Let v be (-2 + 3)/((-1)/(-2)). Suppose -6*k + 12 = -v*k. Suppose -2*b + 3565 = k*b. Is b a prime number?
False
Let z = -8506 + 30467. Is z prime?
True
Suppose -6*c + 3633 - 279 = 0. Suppose 2*h + 3*g - c = 32, 4*h + 4*g - 1192 = 0. Is h prime?
False
Suppose -2*o + 34126 = -0*o. Is o composite?
True
Let f(p) = 13*p**3 - 12*p**2 + 16*p - 1. Let n(m) = -3*m**3 + 3*m**2 - 4*m. Let t(l) = -2*f(l) - 9*n(l). Is t(6) prime?
False
Suppose 4*l - 235 = 5*n, -5*l + 0*l + 2*n + 281 = 0. Suppose -o + l = 2*q - 6*o, -5 = -q - 2*o. Is q a prime number?
False
Suppose 21*z = 16*z + 25. Suppose -h + 2922 = z*h. Is h prime?
True
Suppose -26*i + 93 = -23*i. Is i a prime number?
True
Is 16598 - (-4 + (1 - 2)) composite?
False
Suppose -3*r = 4*u - 372, -2*u - 41 + 289 = 2*r. Let g = 229 + r. Let b = g + 12. Is b a prime number?
False
Let u = 1231 + 706. Is u a prime number?
False
Suppose -2*n - m = 4*m + 27, 0 = -5*m - 5. Suppose 4*g - 8 = 80. Let k = n + g. Is k composite?
False
Let j(a) = -a**2 + 5*a + 5. Let g be j(6). Let t be -2*(-3 + (-1)/g). Suppose 2*q - 42 = -p + 1022, -t*q + 2124 = 4*p. Is q a prime number?
False
Let j be ((-38)/5)/((-3)/15). Let g be 424/(-56) - (51/21 - 3). Let n = j + g. Is n a composite number?
False
Let d(v) = -180*v**3 + 6*v**2 + 22*v - 11. Is d(-6) a prime number?
True
Suppose 4*n - 736 = 2*w, 0 = -5*w + 6*n - 2*n - 1822. Let s = -217 - w. Is s a composite number?
True
Suppose 5*r = 4*p + 2*r - 26242, 6567 = p - 4*r. Is p prime?
False
Suppose -10*y = -5*y - 170. Suppose -4*s + y = -70. Is s*29/2 - -2 prime?
True
Let n = -10 + 16. Let h(s) = 7*s**2 - s**3 - 3*s**2 - 5*s + 4*s**2 + 5*s**2 + 1. Is h(n) a composite number?
False
Suppose 5*n + 3*g - 34 = 0, 4*n - 1 = -4*g + 23. Is ((-1028)/(-8))/(4/n) a prime number?
True
Let c(m) be the third derivative of 2*m**5/15 + m**4/4 + 17*m**3/6 + m**2 - 23. Let p be (-4)/(-14) + (-44)/7. Is c(p) a composite number?
False
Let i = -3 + 9. Suppose i*f + 4 = 2*f. Is ((-2)/4)/(f/62) a prime number?
True
Let g be -3 + -1 + 2 + 4. Suppose 10 - 2 = g*u. Suppose -u*y + 0*y = -1788. Is y a composite number?
True
Let q(l) = -3835*l - 38. Is q(-3) a composite number?
False
Let j(z) be the first derivative of -z**4/4 - 11*z**3/3 + 7*z**2 - 11*z - 31. Let f be -2 - (-24)/(1 - 3). Is j(f) a prime number?
False
Let h(u) = -149*u + 541. Is h(0) a prime number?
True
Let v(z) = -6*z - 38. Let f(c) = c + 1. Let y(d) = -3*f(d) + v(d). Is y(-22) a composite number?
False
Let d(c) = 7*c**2 - 9*c + 1. Let n(h) = h**2 + h - 1. Let v(k) = d(k) + 2*n(k). Is v(-8) composite?
False
Let q(z) = z**3 - 8*z**2 - 8*z - 10. Let v(y) = 2*y**3 - 3*y**2 + 3*y - 1. Let f be v(2). Let s be q(f). Is 1*-374*s/2 prime?
False
Let n = -15 - -20. Is (-5)/(n/2)*381/(-6) a composite number?
False
Let k(r) = -2*r + 522. Suppose 0 = -2*t - 2*t. Let s be k(t). Let x = -175 + s. Is x composite?
False
Suppose 4*c = -19 - 13. Let v(k) = -k**2 - 19*k + 1. Is v(c) a prime number?
True
Suppose 7*w - 2*w - 25 = 0. Suppose -w*y + t = -3*t + 2, -2*t - 4 = -5*y. Suppose -3*o = y*g - 1429, o + 4*g - 2385 = -4*o. Is o composite?
True
Let z(i) = -i**3 + 9*i**2 - 5*i - 11. Let m be z(8). Let q(x) be the third derivative of 13*x**4/24 - 11*x**3/6 + 4*x**2. Is q(m) a composite number?
True
Suppose -h - 3*m = -8*m - 681, 5*h = 7*m + 3441. Is h prime?
True
Let r = 0 + 5. Suppose 0 = -r*p + 5*w - 3215, -4*w = p - 7*w + 653. Let m = p - -1051. Is m prime?
False
Let i = 13 - 10. Let b be 10 - i/(-3)*1. Let a = 26 - b. Is a a prime number?
False
Is (-3 - 225362/4)/(21/(-42)) prime?
True
Let c = -20 - -25. Suppose -c*w + 6 = -2*w, -h = 3*w - 260. Is h a prime number?
False
Suppose 17*p = 23*p - 55836. Suppose -p = -4*v - n, -5*n = -3*n - 4. Is v a prime number?
False
Is 121444/4 + -2 + 6 + 2 a prime number?
True
Suppose 0 = -5*o + 2*k + k + 1459, -3*o = -5*k - 869. Is o a composite number?
False
Let k(i) be the third derivative of 0 + 0*i - 1/2*i**3 - 3/4*i**4 + 5*i**2. Is k(-5) a prime number?
False
Suppose 0 = -i + 36 + 593. Is i composite?
True
Suppose 2*b - 5*d = -6 - 4, -5*d = b + 5. Is (-1192)/b - (-2)/((-10)/(-3)) composite?
False
Suppose -34*m = -29*m - 7580. Suppose -2*h = 1 - 21. Is (m/h)/((-10)/(-25)) a prime number?
True
Let a(n) = 14*n**2 + 1. Suppose 10*i = 11*i. Suppose i = 10*w - 7*w - 6. Is a(w) prime?
False
Is -1*(-38554 - (0 - 11)) a prime number?
True
Suppose -2*f + 18 = -2. Is -1 + 0 + f + 58 a composite number?
False
Let m be (-8)/2*14/(-4). Let k