x. Is o a prime number?
False
Let f = -14540 - -28569. Is f composite?
False
Let c be (75273/(-55) - 4/10)*1. Let v = 18 - c. Is v a prime number?
False
Is ((8/(-12))/(20/(-9969510)))/(4/4) composite?
False
Is 1145565/21 + 4/(-14)*8/(-8) composite?
True
Is (-1 + -4)*1 - (5258677 - 49)/(-69) prime?
True
Let w(p) = 24*p**2 + 22*p + 47. Is w(-76) a composite number?
False
Let s(z) = -z**3 + 8*z**2 + 5*z - 20. Let a be s(-6). Suppose u = -u + 502. Let c = a - u. Is c a prime number?
False
Suppose -2*y + 37 + 51 = 0. Let w = y - 42. Suppose -m - 5*z = -114, 4*m - 581 = 3*z + w*z. Is m a composite number?
False
Suppose 0 = 4*s - 3*b + 14819, 0 = 9*b - 7*b + 6. Is -1 - ((-3 - 0) + s) a prime number?
True
Suppose 331320 = z + y, 3*z + 0*z - 993952 = 5*y. Is z prime?
True
Let h = -32 - -28. Let m be (-1)/(h/28) + 2/(-1). Suppose 0*b + 3355 = m*b. Is b a composite number?
True
Suppose -14*l = -3168032 - 3870694 + 678848. Is l prime?
True
Let f(s) = -10*s - 23. Let w be f(-6). Let o = -37 + w. Is 160 + (3 - o)*(-6)/9 a prime number?
False
Suppose -3*k + 364147 = 5*z, -40602 - 105060 = -2*z - 2*k. Is z composite?
True
Let u = -222 + 216. Is (16151/2)/(((-51)/u)/17) a prime number?
False
Let i(u) = 8761*u**2 + 338*u - 2671. Is i(8) a composite number?
False
Suppose n + 5*s = 126218, -3*s = -3*n + 333639 + 44889. Is n composite?
True
Let f(l) = 80*l + 23. Suppose 4*s + 0 = -3*u - 10, 2*u - 16 = 3*s. Let n(c) = -160*c - 46. Let v(h) = u*n(h) + 5*f(h). Is v(12) a composite number?
False
Let t = 351 - 315. Is (5164/16)/(9/t) composite?
False
Let q(d) = -4*d**3 + 6*d**2 - 26*d - 173. Is q(-14) composite?
False
Let u = 27 - 24. Suppose -u*v = -9*f + 4*f - 35, 0 = 4*v - 3*f - 32. Suppose v*w - 1189 - 1026 = 0. Is w a prime number?
True
Let u(w) = 2*w + 5. Let z be u(-3). Let m be 4*z + (6 - 3). Is (-88 - (-2 + 3))*m a prime number?
True
Is (-62831403)/(-297) - (-48)/(-88) composite?
True
Let b = -11012 + 42507. Is b composite?
True
Let t be 3/38*24 - (-16)/152. Suppose 0 = -3*o + 4*z + 601, 9*o - 4*o - t*z - 997 = 0. Is o composite?
False
Suppose 2*d = 17*j - 22*j + 775683, 0 = -5*d + 3*j + 1939192. Is d composite?
False
Let r = -1267 + 66204. Is r a composite number?
False
Let y(t) = t**2 + t. Let z(u) be the second derivative of -31*u**4/12 - u**2 - 21*u. Let x(f) = -4*y(f) - z(f). Is x(-3) prime?
True
Let t(a) be the third derivative of 33*a**2 + 0*a + 249/8*a**4 + 31/6*a**3 + 0. Is t(4) prime?
True
Suppose 0 = 5*r + 80651 + 2129. Is ((-375)/6)/(-25)*r/(-10) prime?
True
Suppose -11*i + 240595 = 5*f - 2*f, 2*i = 5*f - 400951. Is f a composite number?
False
Is -4*(-8)/(-64)*-629386 a prime number?
True
Suppose 6 = 3*r - 3. Suppose -k = r*k + p - 24, 3*k - p - 11 = 0. Suppose -v - k*a - 705 = -6*v, 2*a - 135 = -v. Is v composite?
False
Suppose 12*b = 17*b, 0 = -2*o + 2*b + 15574. Is o a prime number?
False
Suppose -7*w + 1193 = -32204. Let t = -4 - -6. Suppose i - 1189 = -4*j, 4*i - t*j = -3*j + w. Is i composite?
False
Suppose 2*p - 1 = -3*y, 0 = p + 2*p - 3*y - 24. Suppose -5*k + 10830 = w, -3*w + 10 = -p. Is k composite?
True
Suppose -4*u - 45 = u - w, -5*u = -4*w + 60. Let j(c) = -495*c - 23. Is j(u) a prime number?
False
Let r be (-198)/(-12)*-1*4/(-6). Suppose -23145 = -r*k + 6896. Is k a composite number?
False
Let h(g) = -537*g - 102. Let x be h(-4). Suppose 5*o = x + 3389. Is o a prime number?
True
Let c(k) = -17*k**3 - k**2 - 8 + 7 - 6*k**2 + 3. Let t be c(-5). Suppose z - 1385 = -3*m, -t + 553 = -z + 4*m. Is z prime?
False
Let c be 3*(-145542)/(-117) - 18/(-117). Suppose 269*v - c = 265*v. Is v prime?
False
Let x(w) = -3*w**3 + 7*w**2 - 2*w - 19. Suppose -40 = 6*z - 10. Is x(z) prime?
True
Let c(u) = -2*u - 20. Let l be c(-12). Suppose 0 = l*v - 27 + 295. Is (-3 - (-1 - -1))*v prime?
False
Let x(y) = 3*y**3 + 3*y**2 - 7*y + 6. Let i be x(9). Let h = i + -974. Is h prime?
True
Let r be (-1)/(-3) + 15*(-10)/(-9). Let i(a) = 5*a**2 - 33*a - 43. Is i(r) prime?
False
Let n(y) = 2*y**2 + 6*y - 10. Let z(r) = r**2 + 1. Let u(l) = -n(l) + 3*z(l). Let s be u(4). Suppose s*o - 61 = 69. Is o prime?
False
Is (5 - (-2057275)/100)/((-3)/(-20)) composite?
True
Let s(v) = 2*v**2 - v + 10. Let i(n) = n**2 - n + 5. Let a(j) = 11*i(j) - 6*s(j). Let z be a(-4). Is 0 + z + (19 - -95) prime?
True
Suppose -251*t + 262*t - 32197 = 0. Suppose -7*l = -6*l - t. Is l prime?
True
Let q(b) = 247*b - 1. Let f be 372/155*(-10)/(-4). Is q(f) prime?
True
Let q = 21 - -1. Let d = 28 - q. Suppose d*s + 7*s = 6981. Is s prime?
False
Is 684099/6 + 84/(-14) + (-39)/(-6) prime?
False
Let u be 1/15 - (-2310864)/(-360). Let c = -2026 - u. Is c a prime number?
False
Let j be -4*2/4 + 22. Let n(k) = -k**2 + 9*k + 2. Let f be n(7). Suppose -j*q + f*q = -412. Is q composite?
False
Let d(p) = 21*p. Let k be d(-2). Is (-7891)/(-6) + ((-133)/k)/(-19) composite?
True
Let q = -1783 - -2739. Let v = -649 + q. Is v a composite number?
False
Let p(v) = -3*v**2 - 6*v + 2. Suppose -4*q = -7 + 31. Let f be p(q). Is (f/15)/(2/(-447)) composite?
True
Suppose -113 - 31 = -4*g. Suppose -4*n = -4*q - n + 32, g = 4*q - 4*n. Suppose 2*f = -3*p + 1895, -q*f - 4*p + 4750 = p. Is f a composite number?
True
Let z = 14513 - 10414. Is z a composite number?
False
Let y = 322 + -289. Suppose y*p + 11370 - 88359 = 0. Is p a prime number?
True
Suppose -1609*f - 47836658 = -1671*f. Is f prime?
False
Suppose 142 + 164 = -3*s. Suppose -18*q - 631 = 539. Let n = q - s. Is n prime?
True
Suppose 1231132 + 36935 = 21*a - 1407711. Is a a prime number?
False
Suppose 13*p - 121 = -17. Suppose 0 = p*b - 13*b + 25030. Is b a composite number?
True
Let p(k) = 15*k**2 + 15*k + 47. Let l be p(24). Suppose -o + 2999 = 4*z, 0 = -7*o + 4*o - 2*z + l. Is o composite?
False
Suppose -29*r + 4*r = -71350. Let n = r - -9673. Is n a prime number?
True
Let o = -3205 - -5021. Let a = -644 + o. Suppose -6*z = -2*z - a. Is z a composite number?
False
Suppose 4*r + 5*c = 819200, 13*c = -5*r + 14*c + 1024029. Suppose -73*o = -68*o - r. Is o composite?
False
Let j = 49659 - 81090. Is (9 + -5)*j/(-12) composite?
False
Let i(q) = 872*q - 37. Let a be i(-2). Let l = 4360 + a. Is l prime?
True
Let n = -67 - 52. Let w = 239 + n. Suppose 4*r - w = 596. Is r a composite number?
False
Is (2135214/15)/9 + (-12)/(-20) a composite number?
False
Suppose -9*o - 21010 = -488965. Is o composite?
True
Is ((-1313966)/186)/((-1)/69) composite?
True
Let x = 20 - 18. Suppose -x*v - 3*v + 44 = -4*l, 33 = -3*l - 3*v. Is l/(-3 + (-70)/(-25)) composite?
True
Let v = -215144 + 634057. Is v composite?
True
Let y = 214 + -213. Is -6*y/3 + (449 - 0) composite?
True
Let g(x) = 193*x**2 - 40*x + 16. Is g(-27) composite?
False
Let h(c) = -8 - 2*c + 10*c - 31. Suppose 89 = 5*y - 0*y - g, 0 = y + g - 13. Is h(y) a prime number?
True
Let m = 20 - 17. Suppose -m*b + 47801 = 10*b. Is b a prime number?
True
Let u be 43 + -7 + (3 - -2). Suppose 0 = -u*x + 34*x + 21. Suppose 0 = -x*t + 168 + 93. Is t prime?
False
Suppose -132861 = -6*q + 179*t - 182*t, -5*q + 4*t + 110763 = 0. Is q prime?
True
Suppose 2*r = 8, -4*s + r = -0 - 4. Let p(d) = d**3 - 10*d**2 - 41*d + 333. Let h be p(11). Suppose 5*b + 4*z = 6129, -h*z + s*z - 4 = 0. Is b a prime number?
True
Is 852232 - (-21 - (-25 - 17)) prime?
True
Suppose 4*c - 7 = -3*w, -2*c + 14 - 3 = -w. Suppose c*m - 4 = -4*x, 3*m = 3*x - m - 24. Suppose l - x*d - 195 = 184, 752 = 2*l - 5*d. Is l prime?
False
Let m = -3323 + -1181. Suppose 10130 - 197547 + 14401 = -24*b. Let c = m + b. Is c a prime number?
False
Let d(r) = r**2 - r - 4. Suppose 3*k + 2*k = q - 14, k - 14 = -4*q. Let z be d(k). Is z*1/6 - 7810/(-15) a composite number?
False
Is (-2)/((-63568)/10594 + 6) a composite number?
False
Suppose 59*j + 2084 = 61*j. Suppose -5*w + j = -2253. Let z = 1592 - w. Is z prime?
False
Let v be (4 - (3 - -4))/((-6)/(-8)). Is 1/v - ((-87516)/(-16))/(-3) prime?
True
Let x(t) = -160*t**2 + 5*t + 2. Let y be x(-3). Let a = y - -2768. Is a a composite number?
True
Let j(d) = -d**3 + 2*d**2 + 7*d. Let a be j(3). Let q be a/(-4) + -1 + 6. Suppose y - 1132 = -4*p - 237, 431 = q*p - 5*y. Is p a composite number?
False
Suppose 3*x + 1666 = 5*c, -4*c + 0*c - 2*x + 1324 = 0. Let o be 25616/56 + 2 - 6/14. Let q = c + o. Is q prime?
False
Suppose -19*w + 1373075 = -4*w