False
Let y(x) = -5*x**3 + x**2 + 2*x + 5. Let v be y(-8). Is v/33 + (-2)/11 prime?
True
Suppose 2*l = 5*l. Suppose -2*n = -l*n + 38. Let h = n + 57. Is h a composite number?
True
Let w(o) = -2*o**3 - 3*o**2 - 3*o - 7. Suppose -5*q - 11 = 4, 0 = 2*r - q - 7. Suppose 5*g = 3*y + 36, -r*y + g = 19 - 2. Is w(y) prime?
False
Let n(o) = 45*o - 32. Let j(s) = 15*s - 11. Let a(c) = 7*j(c) - 2*n(c). Let d be a(-11). Let g = d + 389. Is g composite?
False
Let k(n) be the first derivative of -15*n**2/2 - 5*n + 12. Suppose -5*p - 4*c = -2*p + 18, 3*c + 1 = -p. Is k(p) prime?
False
Let o(b) = -5*b**3 + 8*b**2 + 7*b + 1. Is o(-5) prime?
False
Let l(d) = 4*d + 1883. Is l(0) a composite number?
True
Suppose -12 = -9*w + 5*w. Suppose -w = j - 1252. Is j a prime number?
True
Is (-2)/6 - 357808/(-48) a composite number?
True
Is (-3)/2*(-31)/((-930)/(-415640)) prime?
False
Let b = -980 + 1810. Let x(j) = -5*j + 75. Let k be x(16). Is ((-7)/2)/(k/b) composite?
True
Let w be -1*2*5/2. Let r be w/25 + 139/(-5). Is (-373)/(-7) - (-8)/r prime?
True
Let u(t) = t**3 - 4*t**2 + 6*t + 12. Let w(o) = 2*o**3 - 9*o**2 + 11*o + 23. Let l(d) = -5*u(d) + 3*w(d). Let n be l(6). Is 3/n*-3 - -133 a prime number?
False
Let a(l) = 5*l**2 - 3*l - 7. Suppose s + 4*i + 24 = -s, 5*s + 50 = -5*i. Is a(s) composite?
False
Suppose -20 + 5 = -5*a. Let u be (10/4 - a)*-10. Is (-18)/30 - (-158)/u prime?
True
Let a be 24/6*(-1)/(-2). Suppose 0*o + a*o - 1128 = 0. Suppose 4*q - 4*b = 564, 0 = 3*q + q - 3*b - o. Is q composite?
True
Let c = -1 - -4. Suppose s = -c*s + 12. Let g(a) = 12*a**3 + a**2 - 3*a - 1. Is g(s) a prime number?
False
Let i(b) = b**3 - 9*b**2 + 12*b - 5. Let k be i(8). Suppose 4*p - k = p. Is (-15092)/(-36) + (-2)/p prime?
True
Suppose 5*s = -3*o + 58646, 0 = 2*s - 5*o - 7292 - 16185. Is s composite?
False
Suppose 136490 = 23*a - 13*a. Is a a prime number?
True
Suppose -174 = -z + 2*u, 2*u + 8 = -0*u. Let x = z - 15. Suppose -2*k - 191 = -5*g + 2*k, 0 = 4*g - 5*k - x. Is g a prime number?
False
Let l = 1 - 2. Suppose -6*y - 1 = -7*y. Is (-2 + (-13)/l)*y a prime number?
True
Suppose 5*a + 5*v + 25298 = 494228, -375153 = -4*a + 5*v. Is a composite?
False
Let b = 28 + -28. Suppose b = -5*v + 4*t + 6665, 0*v = v - t - 1332. Is v a prime number?
False
Let m(d) = -169*d - 71. Suppose -5*r - 5*s = 40, 2*r + 5*s = s - 20. Is m(r) prime?
False
Let h(f) = 5*f**3 - 7*f**2 + 5*f - 2. Let z be h(4). Suppose -2*u = -4*j - j - z, 0 = -4*u + 3*j + 466. Is u composite?
True
Let k = 5 - 11. Let p(h) = -h**2 - 6*h + 3. Let s be p(k). Let l(f) = 41*f**2 - 2. Is l(s) a prime number?
True
Suppose -7127 - 53 = 5*b. Is (168/(-36))/(2 + b/717) composite?
True
Let k(w) = 22*w**2 + 31*w - 385. Is k(19) a prime number?
False
Suppose v - 2*g = 1397, 0 = 3*v - g + 2*g - 4198. Is v a composite number?
False
Is (-14 - -9)*(-16364)/20 a composite number?
False
Let p(o) be the third derivative of 59*o**5/60 + o**4/8 + 7*o**3/6 - 16*o**2. Is p(-3) composite?
True
Suppose -80942 = -45*q + 517693. Is q composite?
True
Suppose -19*k - 59*k = -2827578. Is k prime?
True
Suppose 0*y + 3*y = -843. Let x = 619 + y. Suppose 3*z + 137 = x. Is z a prime number?
True
Suppose 0 = 48*u - 893378 - 1453486. Is u composite?
True
Let p be (3 + -5)*2/4. Let s(a) = -189*a - 2. Is s(p) prime?
False
Suppose -2*r + 3*h = -4648, -5*h = 5*r + 2984 - 14629. Is r a prime number?
False
Let i be 42 + 0/((-3)/3). Let k = 253 - i. Is k prime?
True
Let k = 3777 - 746. Is k a prime number?
False
Let k(h) = 86*h**3 + 5*h**2 + 17*h - 19. Is k(6) a prime number?
True
Suppose 4*v + 4*n + 16 = 0, 3*n - n = -v - 5. Suppose 4*t = -5*l - t - 30, 2*t = -4. Is 2/l*(v + -179) a composite number?
True
Suppose 4*n + 20 = 8*n. Suppose 2*p + 1 = -n*f, 2 = -f - 4*p + 3*p. Is f*-1042*5/(-10) composite?
False
Suppose -4*f + 109 = 105. Let m(z) = 540*z**3 + 2*z**2 - 3*z + 2. Is m(f) a composite number?
False
Suppose 3846 - 549 = 7*m. Is m a composite number?
True
Suppose 4*w - n = -w + 37252, -5*n - 14887 = -2*w. Is w prime?
True
Let u = -3205 + 5295. Suppose 0*w + u = -4*w - 5*y, -8 = -4*y. Is (2/6)/((-7)/w) a prime number?
False
Suppose 0 = a + c + 10, -2*c + 3*c - 4 = a. Let u(h) be the second derivative of -58*h**3/3 - 15*h**2/2 + 76*h. Is u(a) prime?
True
Suppose -8*n + 3*n = 30. Is ((-20295)/n - -2)*2 prime?
False
Is 18/(-42) + (-168312)/126*-3 prime?
True
Let j = -50 + 56. Suppose -5970 = -j*h - 24. Is h prime?
True
Let p(a) = -a**3 - 8*a**2 + 7*a + 3. Let y be p(-12). Suppose 0 = c + 2*c + y. Is (-4902)/(-22) - 30/c prime?
True
Suppose -24*d + 21*d = -17859. Is d composite?
False
Suppose -3*w = -18*w + 123135. Is w prime?
True
Suppose a - 19 = -135. Let w = a + 1273. Is w a prime number?
False
Let v be (-10)/(-6) + (-2)/(-6). Suppose -5*x + v*n + 3202 = -n, 2*x + 2*n - 1284 = 0. Is x composite?
False
Let r(p) = p**3 - 6*p**2 - 2. Let x be r(6). Let s be (-6)/((-6)/40*x). Is 8/s + (-787)/(-5) prime?
True
Suppose -4*w = w - 8135. Suppose -3*h + 4*v = 2*h - 2031, -v - w = -4*h. Is h a composite number?
True
Suppose q + k = -2*k + 34, 0 = -2*q - 4*k + 70. Let x = 35 - q. Is 14231/77 - x/11 a prime number?
False
Let w = 5 + -3. Suppose -5*c = w*y - 273, -2*c = 2*y - y - 139. Is y a composite number?
False
Suppose 3*z - 29 - 31 = -2*t, -z + 124 = 5*t. Let n = 38 - t. Let s = 281 - n. Is s composite?
True
Suppose 0 = l, 0*f - 20 = -5*f - 4*l. Suppose 0*t - 1959 = -f*d + t, -d + 494 = 4*t. Suppose 4 = 4*c, -3*h = -4*c - 40 - d. Is h a prime number?
False
Suppose -31 = -3*d - 2*a, 5*d - 4*a - 58 = -a. Is (d/(-22))/((-2)/5924) prime?
True
Let d be -4 - (-17 + (-1)/1). Suppose -d = 5*v - 124. Is v prime?
False
Let n = 616 + 31. Let i(g) = 25*g**2 - 2*g + 6. Let v be i(-6). Let w = v - n. Is w a composite number?
False
Let b = -102 - -150. Is (-16422)/(-4) + (-24)/b a composite number?
True
Suppose t - 11 + 4 = 0. Let o be 2 + (-1 + 1)/3. Is 161 - (-7)/(t/o) a prime number?
True
Suppose 5*a = o + 462757, a - 7*o = -8*o + 92549. Is a a prime number?
True
Let o(q) = 50*q - 7. Suppose 2*p - 35 = 3*d, p = 2*p - 5*d - 14. Is o(p) a composite number?
True
Let m be 12*5 + -15 + 17. Let w(n) = -3*n**2 - 6 - n + 1 - m*n**3 - n + 2. Is w(-2) prime?
False
Suppose 0 = 2*s + 1 - 13. Let h = 44 + -41. Suppose -163 = -s*f + 2*f - h*l, f + 2*l = 47. Is f prime?
True
Let x(i) = i**2 - 11*i - 5. Let a be x(13). Suppose a = 7*w - 6*w. Is w a composite number?
True
Suppose 2*y + 3*h - 9273 = 0, 6*h - 3*h + 18537 = 4*y. Suppose -y = -20*n + 11*n. Is n a composite number?
True
Suppose 5*m - 40 = -5*r, 2*m + 3*m - r = 28. Suppose -m - 27 = -c. Is c composite?
True
Let w be 6/2 + (-2)/(-1). Suppose 3*n + 2085 = 5*l - 2*l, w*l - 3435 = -5*n. Is l composite?
False
Let o = 9 - 7. Suppose 0*b + 3*b - u = 6, 2*b - o*u = 0. Suppose -b*y - 157 = -4*y. Is y prime?
True
Let a be -1*(-1 + 3)*1. Let f = a + 7. Suppose -2*h = f*j - 234, -h - 74 = -5*j - 221. Is h composite?
False
Let i(h) = -15248*h + 11. Is i(-1) prime?
True
Let o(l) = -3*l**3 - 18*l**2 - 9*l + 23. Let f(t) = 8*t**3 + 54*t**2 + 27*t - 69. Let a(x) = 4*f(x) + 11*o(x). Is a(18) composite?
False
Let m(b) = 1156*b - 21. Let j(y) = -5780*y + 103. Let x(c) = 2*j(c) + 11*m(c). Is x(5) prime?
False
Suppose 2*i - 6968 = -3*i - u, 0 = 5*i - 2*u - 6959. Suppose 3*f + 478 = i. Is f composite?
True
Let z be 2 + 4 + -2 + -1. Let c be (2/z)/(2/9). Suppose 0 = 7*b - c*b - 148. Is b a composite number?
False
Suppose -7 = r - 4*u - 0*u, -5*r + u + 22 = 0. Suppose r = -4*t + 17. Suppose -3*j + 44 = o, t*j + j = -2*o + 94. Is o a composite number?
False
Suppose -2*h = 6*p - 3*p - 1, 0 = -2*h - p + 7. Suppose 0 = l - h*z - 194, -3*l = -l + 4*z - 388. Is l a prime number?
False
Let u = 6614 - 3940. Let t = -1106 + u. Suppose 0 = -2*b + 3*d + t, -5728 + 1801 = -5*b + 4*d. Is b a prime number?
True
Suppose -2*i + 13 = 9. Suppose -i*a = a - 2715. Is a a prime number?
False
Let d = 11142 - 4051. Is d a prime number?
False
Let t = -9 - -22. Let f(g) = -g - t*g + 10 + 3. Is f(-6) prime?
True
Suppose 0 = 56*t + 34*t - 1108170. Is t prime?
False
Let v be (1 - -2)/(90/23550). Let b = 494 + v. Is b composite?
False
Let q(w) = 7*w**2 - 31*w - 6. Let l be q(5). Let b(o) = -o**3 + 19*o**2 + 15*o + 5. Is b(l) prime?
False
Let k = 1846 + 6363. Is k a prime number