 o(x) = -2*x. Let a be o(u). Suppose 457 + 209 = a*b. Is b a prime number?
False
Let q = 720 + -47. Is q prime?
True
Is ((730/(-30))/((-3)/261))/1 a prime number?
False
Suppose -2*c + 23254 = 4*w, -10645 = -3*c + 3*w + 24245. Is c composite?
True
Suppose -3*s = -0*s - 3204. Suppose 0 = -3*f + s + 2079. Is f composite?
False
Let g(h) = -h**3 + 18*h**2 - 16*h - 17. Is g(12) a prime number?
False
Let m = 1600 - -4137. Is m prime?
True
Let w(p) = -p**3 + 8*p**2 - 8*p - 13. Is w(-10) a prime number?
True
Let j = 2 - 2. Suppose -q - 7 - 17 = 3*u, 5*q - 4*u + 215 = j. Let l = -20 - q. Is l a composite number?
False
Is 1/((9/270261)/(1/1)) a composite number?
False
Let o = 16551 + -7649. Is o a composite number?
True
Let j(w) = w**3 + 6*w**2 + 5*w + 33. Let u be j(-6). Suppose 0 = -s - 4*s + 10. Suppose -u*h + 277 = s*r, 24 = r - 3*h - 92. Is r a composite number?
False
Let x(i) = 1970*i - 309. Is x(4) prime?
False
Let q(x) = 6*x**2 - 2*x. Let p be q(1). Suppose -p*h = d - 0*d - 34, 3*d = -3*h + 75. Is d a composite number?
True
Let f(v) = 39*v**2 - 19*v - 129. Is f(-13) composite?
False
Suppose s + 2*r = -2*s + 1590, -r - 1590 = -3*s. Suppose -s = -5*j + 220. Suppose -2*g = 40 - j. Is g a prime number?
False
Let y be -1 + 3 - 0/2. Let z(g) = 3*g**2 - 9 + 2*g**2 - 4 - 3*g**y. Is z(-10) prime?
False
Let p(u) = -9907*u + 68. Is p(-3) a composite number?
False
Suppose 3*v - 3*b + 95550 = 6*v, -b - 63691 = -2*v. Is v prime?
True
Is (2 - 4)/(109390/(-9115) + 12) a composite number?
False
Suppose -48*a = -6*a - 756966. Is a a composite number?
True
Suppose -4*n + 8360 = 31904. Let m = n - -8771. Is m a composite number?
True
Let o be (3 - 4)/(1*(-2)/6). Suppose 4*r - o*k = 2767, -5*r + 4*k = -573 - 2886. Is r prime?
True
Suppose 8*a - 72 = 2*a. Let k be 10 + -4 + -3 + a. Suppose k*l = 17*l - 286. Is l a composite number?
True
Suppose -7*r - 2*r + 11493 = 0. Is r composite?
False
Let a be -2*1 + 12 + 0. Let o be (-3)/(-2) - (-35)/a. Suppose -29 = -o*m + 306. Is m composite?
False
Let b(n) = -n**2 - 11*n + 5. Let x be b(-11). Suppose -x*o = -26 - 34. Is 8/o - (-1893)/9 composite?
False
Suppose 2*q - 23836 = 5202. Is q prime?
True
Let c(y) = y**2 - 11*y - 49. Let b be c(15). Suppose 4*w + b*d = 13*d + 512, -w = -5*d - 137. Is w composite?
False
Let y = -25063 + 37872. Is y prime?
True
Let m(u) = -u**3 + 5*u**2 - 2*u - 1. Let w be m(12). Let g = w - -1986. Is g prime?
True
Let r(d) = -746*d**3 - 2*d**2 - d + 2. Let t be r(1). Let k = t - -1578. Is k a prime number?
False
Suppose -4*x + 95150 = -2*v, -v = -8*x + 3*x + 118942. Is x a prime number?
True
Suppose 3*p + 79 = -5*t, 0*t - 3*p = t + 11. Let z = 21 + t. Suppose -z*n + n + 471 = 0. Is n a composite number?
False
Suppose 0 = -5*h + 5*g - 5, -g + 0*g = -5. Suppose -526 = h*v - 2042. Is v a composite number?
False
Let f(g) = g**3 - 7*g**2 - 32*g + 193. Is f(23) composite?
True
Let m be 4/(-3)*-207*7/(-42). Let y = 119 + -38. Let k = y - m. Is k a composite number?
False
Let p(y) = 98*y + 1. Let f = 26 - 44. Let m be 6/9*f/(-4). Is p(m) prime?
False
Is (-1782 - 1)*6*(-13)/78 prime?
True
Let p(q) = -q**2 - 5*q - 10. Suppose -28 = 5*b - 8. Let r be p(b). Is (260 - r)/(2/1) a prime number?
False
Let w = 120 - 170. Let d = 83 + w. Is d composite?
True
Suppose 21*f - 20*f = 4*q - 9641, 4*f = 5*q - 12043. Is q a composite number?
False
Let t be -4*(5/1 + -3). Let w be -2 - (-3 - t*53). Let m = -94 - w. Is m a prime number?
False
Let y(z) = 5*z**3 + z. Let w be y(-1). Let t be w/(-21) - (-19)/7. Suppose -2*r + 87 + 321 = i, -t*r + 5*i + 599 = 0. Is r a composite number?
True
Let v(k) = 31*k**3 - 4*k**2 - k. Let p be v(-3). Let s = 2431 + p. Is s a prime number?
False
Let z(q) = 4*q + 10. Let b be z(-5). Let d = b - -14. Suppose -d*x - 274 + 1262 = 0. Is x a prime number?
False
Suppose 5*n + 7 = -2*u + 17, -3*n - 13 = 5*u. Suppose -154 + 22 = n*w. Let d = 70 + w. Is d a composite number?
False
Let o be 5*1*(273/35 - 7). Suppose f = 5*g + o*f - 8182, -6547 = -4*g - f. Is g prime?
True
Let d = 17281 + -9854. Is d a composite number?
True
Let z(n) = -30*n**2 - 36*n - 4. Let x(p) = 6*p**2 + 7*p + 1. Suppose 2*a - 1 - 5 = -5*h, 4*a = -5*h + 2. Let y(i) = h*z(i) + 11*x(i). Is y(-10) a prime number?
False
Suppose -131*l - 2435 = -136*l. Is l a composite number?
False
Suppose 3*c + 24899 = 10*c. Is (-3 + c)*9/18 a prime number?
True
Let x = -30549 + 62800. Is x prime?
True
Let a(x) = -2*x**3 + 18*x**2 + 38*x + 29. Is a(-10) a prime number?
True
Is (88/(-308))/(-1*(-4)/(-254674)) a prime number?
True
Let h(s) = 8*s**2 - 26*s - 46. Is h(-30) prime?
False
Let x(l) = 4*l - 13. Let b be x(3). Is 1516/2*b*(-1)/2 prime?
True
Suppose -2*p = -3*s + 26, 64 = 5*s - 4*p + 20. Is (154/8)/(2/s) prime?
False
Let z = 1901 - 814. Is z composite?
False
Suppose -2*m + 6*m = -544. Let u be m + (2 + 2 - 4). Let o = 195 + u. Is o composite?
False
Let c(p) = p**2 + 4*p - 3. Let t be c(-5). Let k = -53 - -55. Suppose -a + 409 = t*d, -k*d + 1308 + 340 = 4*a. Is a a composite number?
True
Let n = 45236 + -15207. Is n a prime number?
True
Suppose 5*n = t - 6308, 4*n + 32871 - 1268 = 5*t. Is t a composite number?
False
Let r(i) = -3558*i - 353. Is r(-8) prime?
True
Suppose 0 = 8*p + 2 - 18. Suppose -p*v + 2 - 4 = 0. Let a(q) = -126*q + 1. Is a(v) prime?
True
Let l be (-64)/40 + (-2)/5 - -118. Suppose 5*b - 1482 = -4*h, h + 3*b - 251 = l. Is h a prime number?
True
Let x = -137 + 3501. Suppose -5*y - x = -45164. Is y/6 - 1/3 a composite number?
True
Let b be (-3*(-58)/9)/((-6)/63). Let f = 12 - b. Is f prime?
False
Let g(q) = -4*q - 9. Let i(m) be the third derivative of -7*m**4/24 - 19*m**3/6 + 2*m**2. Let l(c) = 5*g(c) - 3*i(c). Is l(7) composite?
False
Suppose 4*w - 25 = -w. Suppose 0 = -4*d + 20, 0 = x - 3*x - w*d + 611. Is x a composite number?
False
Suppose 5*o - 3*c = 19942, -2*o = -4*o + 3*c + 7975. Suppose -j - o = -5*p, 4*j - 5*p = -0*j - 15911. Is 2/(-5) + j/(-10) prime?
True
Let o = 24 + -16. Let w(b) = 67*b - 1. Is w(o) a composite number?
True
Suppose -w = -f + 7, -2*f - 3*f + w = -31. Let y(q) = -q**3 + 3*q**2 - 3*q. Let a be y(2). Is a + f - (-102)/3 a prime number?
False
Let o(k) be the first derivative of 7*k**2/2 + 25*k - 4. Let f be -1*(23/(-2) + 1/(-2)). Is o(f) a prime number?
True
Let j = -58 - -60. Suppose -5*z + 3150 = -5*i, -j*i + 1280 = 2*z - 0*i. Is z prime?
False
Let z = 102 + 48. Suppose 3*h + z + 153 = 0. Let c = 1634 - h. Is c a composite number?
True
Suppose -14 - 2 = -4*b. Suppose -5*r = b*d - 26 - 161, -d + 5*r = -28. Is d prime?
True
Let a(k) = k**3 + 5*k**2 + 5*k - 1. Let i = 8 - 12. Let b be a(i). Is b + 93 + (0 - 1) composite?
True
Let a(u) = u + 18. Suppose -3*o + 4*p - 5 = -0*p, 5*p + 20 = 0. Is a(o) prime?
True
Let k(v) = 13664*v - 125. Is k(2) composite?
True
Let o be 4/12 + (-1)/3. Suppose z - 1060 = -5*w, 0 = -w + 5*z + 234 - 48. Suppose i - w = -o*i. Is i prime?
True
Suppose f - 11 = -2*l, 4*f - 2 = 4*l + 6. Suppose 0 = f*y - 1508 - 1407. Is y composite?
True
Let f(t) = 297*t**3 + 2*t**2 + 3*t + 5. Is f(2) a composite number?
True
Let y be (-7)/1 - 2548/(-182). Let b(t) = 15*t**2 - 14*t. Let l(x) = 14*x**2 - 13*x + 1. Let h(d) = -3*b(d) + 4*l(d). Is h(y) prime?
False
Let p = 2080 - 881. Suppose -p = -2*h + 759. Is h prime?
False
Is (631741/(-22))/23*2/(-1) a composite number?
True
Let y be (-18)/(-45) + (-33)/(-5). Let h(o) = -7 - y*o**2 - 5*o + 6*o**2 - 3*o**2 - o**3. Is h(-6) a prime number?
False
Let r(l) = l**3 - 4*l**2 - 2*l - 29. Is r(16) prime?
True
Let u(z) = -z**2 + 2. Let d be u(2). Let c be d/(-14) + (-2700)/(-14). Suppose 435 = 4*s - c. Is s a prime number?
True
Suppose 3*y - 2*y = 4*o - 20308, -o - 2*y + 5077 = 0. Is o composite?
False
Let s = 2 - -4. Suppose 2*r = -4*z - 610 + 1684, 0 = r + 3*z - 536. Suppose m - r = -s*m. Is m a prime number?
False
Suppose -2*h + 10 = 2*f + 2, -4*h - 3*f + 17 = 0. Suppose -2*d + 505 + 152 = -z, -5*z = -h*d + 1630. Is d a prime number?
True
Let f(w) = 17*w + 10. Let k be ((-35)/(-20))/((-1)/(-4)). Let d be f(k). Suppose -7*n + d = -4*n. Is n prime?
True
Let t be (-45)/6*16/12. Let j(k) = -2*k - 21. Let u be j(t). Is 96 + -7 + u*3 a composite number?
True
Let n = 22 + -14. Let d be n/10 + (-120)/(-100). Suppose 3*r = -d*j + j + 899, 0 = 3*r + 2*j - 901. Is r