4*o = 12, h*k - 2*k + 185 = 5*o. Is k prime?
False
Let m = 72 - 70. Suppose j + 1184 = m*t, -j + 2*j = 2. Is t prime?
True
Let s be (552/32)/((-3)/(-8)). Let d = -25 + s. Is d prime?
False
Let d(z) = -129*z + 761. Is d(-6) prime?
False
Let x(y) = 3*y**3 - 2*y**2 + 4*y - 2. Let z be x(2). Let h be z/8 + (-4)/(-16). Suppose -4*t + 150 = -2*o, -2*t + 69 = h*o + 2*o. Is t a composite number?
False
Let f(m) = -4705*m + 103. Is f(-4) a composite number?
True
Suppose 5*d - 7*d - 630 = 0. Let q be 2/5 + 9126/(-15). Let t = d - q. Is t a prime number?
True
Suppose -3*n + 436 = -5*l - 7*n, n + 175 = -2*l. Suppose 5*b = -5*v - 755, 0 = -5*b + 3*v - 5*v - 743. Let g = l - b. Is g composite?
False
Suppose 9 = 3*o, -4*n = -6*o + o - 13. Suppose 3*a + 5*d - 22 = 0, 2*d = -4*a + a + n. Is 291/9*(2 - a) composite?
False
Let o(v) = 59*v**3 + 2*v**2 + 2*v + 6. Let c be 6*((-14)/(-4) + -3). Is o(c) a prime number?
False
Suppose -14*p + 160 = -162. Is p a composite number?
False
Let s(k) = -4*k**2 + 4*k + 25793. Is s(0) a prime number?
True
Let w be 11 + -4 + -3*1. Suppose -429 = -3*f + 3*n, -w*f = -0*n + 3*n - 565. Is f prime?
False
Is (-21)/14*((-702590)/(-15))/(-7) prime?
True
Let u(c) = c**3 - 8*c**2 + 12*c + 4. Let h be u(6). Let t be 854/h*(2 - 0). Let v = t + -206. Is v a prime number?
False
Let z = -17 - -23. Let d be z/(-6) + (27 - 1). Suppose -f + 134 - d = 0. Is f composite?
False
Suppose 2*u + 0 = -8. Suppose 0 = -11*a + a. Is (11 - a)*u/(-2) composite?
True
Suppose -7 = -2*d - 1. Suppose -c - 48 = -d*c. Let o = -13 + c. Is o composite?
False
Suppose 9 = -6*t - 3. Let d be (1*-5 - 0) + 2. Is d - (460/t + 4) prime?
True
Suppose 5919 = 28*j - 25*j. Is j composite?
False
Let h(o) = 3 - o - 4*o + 0*o - 4*o. Let l be h(3). Let s = l - -59. Is s a prime number?
False
Suppose 0 = 3*g + g. Let d = 104 - 92. Suppose 0 = 4*m + d, -3*a = m - g*m - 72. Is a prime?
False
Let v(d) be the third derivative of 199*d**5/60 + d**4/12 + d**3/3 - 15*d**2. Is v(-1) composite?
False
Suppose -26*d - 10 = -31*d. Suppose 0 = -5*f + 4*h + 5451, 4356 = -0*f + 4*f - d*h. Is f a prime number?
True
Let t be (7/(-21))/(2/6). Let y be t/(-1 + 984/988). Suppose y = 2*l - 255. Is l a composite number?
False
Let c(w) be the third derivative of 13*w**5/60 - 13*w**4/12 + 2*w**3/3 - 21*w**2. Is c(5) composite?
False
Let w be (-3)/4*64/(-24). Suppose 315 = 2*x - w*v + 59, 0 = -4*x + v + 509. Is x a prime number?
True
Suppose 5*a = -4*r - 676, 4*a + 3*r - 6*r = -547. Let o = 247 + a. Is o a composite number?
True
Suppose -h + 7 = -1. Suppose -h*k + 159 = -5*k. Is k a composite number?
False
Suppose j + 11 = 3*s, 19*j = -4*s + 24*j + 22. Let g(h) = 3*h + 3 + 4 + 57*h. Is g(s) a prime number?
False
Suppose 6*q = q - 2885. Let f = 811 + q. Let i = f - -160. Is i a composite number?
True
Suppose -2*w - 380 = -6*w. Let f be 4/10 + 50312/w. Suppose -s + 391 = -f. Is s a prime number?
False
Let g be (3/(-9)*0 - 2) + 31969. Suppose -3*i - g = -4*v + 2*i, 0 = 5*v - 5*i - 39960. Is v prime?
True
Suppose -3*s + 37 - 1 = -3*i, -3*s = 2*i - 46. Let u(w) = -2*w - 28. Let m be u(-11). Is 2998/s - m/(-42) a prime number?
False
Suppose -5*l + 7273 = -2*w, l = w + 1914 - 457. Suppose 0*q - q - 2*r + l = 0, -4383 = -3*q + 2*r. Is q a composite number?
False
Let g(u) = u**3 + 32*u**2 - 50*u - 1. Is g(-24) a composite number?
False
Let o(t) = t**3 + 12*t**2 - 9*t - 5. Let i(h) = h**3 + 12*h**2 - 11*h + 17. Let u be i(-13). Is o(u) a composite number?
True
Let d(n) = -8*n - 68. Let a be d(-9). Is 92*a*185/80 composite?
True
Let d be (4/6)/((-1)/(-3)). Let i be -89*-2*5*(-5)/(-50). Suppose -d*a + b + 118 = 0, 5*a - b - 203 = i. Is a a composite number?
True
Is ((-57)/12 + 5)*187972 prime?
True
Let v = 5050 + -2639. Is v prime?
True
Let r(j) = 16*j**2 + j + 1. Suppose -9 = -5*p + 2*f + 1, 0 = -3*p - 3*f + 6. Is r(p) a prime number?
True
Let h(v) = -26*v - 14. Let m be h(4). Let l = 417 + m. Let d = 594 - l. Is d prime?
False
Let l(i) = -2*i + 10499. Let x be l(0). Is (x - 2) + 20/(-5) prime?
False
Let h(b) = 13*b**2 + 23*b - 4*b**2 - 10*b**2 + 9. Suppose -5*p = -3*p - 22. Is h(p) a composite number?
True
Let g = -3473 + 21486. Is g prime?
True
Is (-1)/6 - 1*1720914/(-36) a composite number?
True
Is (-56)/(1 + -8) - -95 prime?
True
Let d(v) = 2*v**3 + 15*v**2 - 17*v + 7. Let c be d(-12). Let a = c - -2266. Is a prime?
True
Let x = 168 - 39. Is x prime?
False
Let o = -824 - -6679. Is o a composite number?
True
Let s = 1147 + -768. Let x = 30 + s. Is x a prime number?
True
Suppose 0 = 2*r - 3*r + 5. Let m be (r/10)/(2/5140). Suppose 2*y = -3*y + m. Is y prime?
True
Let i(h) = -69*h + 2. Let w be ((-18)/(-4))/(7/(-14)). Is i(w) a composite number?
True
Let v(g) = 2806*g**2 + 8*g + 6. Let n be v(-3). Is -4 - (n/(-2))/6 a prime number?
True
Is (15832/(-18) - 8/(-36))*-3 prime?
False
Let h(z) = z**2 - 6*z - 5. Let x be h(6). Is (6 + x)*(2 - -291) a prime number?
True
Let v = 403 + -1347. Let g = 1353 + v. Suppose -r + z = -4*z - g, 3*r = z + 1255. Is r composite?
False
Is 9289 + (5 - (9 - (-4 + 6))) a prime number?
False
Let g = 12706 - 6783. Is g prime?
True
Let k = 15 - 12. Suppose -k*b + 5 = -10. Suppose -2*m = -b*a + a - 54, 4*a = -2*m + 46. Is m composite?
True
Let t(g) = -1106*g - 29. Is t(-5) a prime number?
True
Suppose -14*p + 3137 = -13*p. Is p prime?
True
Suppose -2*l = -3*j + 284, 2*j - 3*l - 176 = 10. Is (67/(-4))/((-8)/j) prime?
False
Let i(j) = 29*j**2 + 2*j + 3. Let u be i(-2). Suppose 34*h = 33*h + u. Is h a composite number?
True
Let v(n) = -n**3 + 7*n**2 + 9*n - 8. Let i be v(8). Suppose i = 6*j - 10*j + 6340. Is j prime?
False
Is (-2)/4 - (-18525)/38 a prime number?
True
Suppose 0 = -7*l + 9 - 30. Is (2286/27)/((-2)/l) a prime number?
True
Let o = -28 + 33. Suppose -i + 211 = -0*i - o*g, -10 = 5*g. Is i a prime number?
False
Suppose -15*v + 20985 = -0*v. Is v composite?
False
Let m = -21828 + 51073. Is m composite?
True
Is 58 + -54 + 2 + (105315 - 2) composite?
False
Suppose -2*f + 26608 = 2*x, 3*x + 2*f = 20540 + 19375. Is x a prime number?
False
Suppose -2*s + 5 = 11. Let p be 4 + (16962/(-2))/s. Let f = p + -1954. Is f composite?
False
Let c be ((-2)/(-3))/(3/171). Let w(j) = -31 + c + 78*j + 48*j. Is w(2) a prime number?
False
Let j(z) = -5 + 11*z**2 + z**3 + 9*z - 2*z**3 + 2*z**3. Let p be j(-10). Suppose 2*w - 3*w + 1099 = p*o, 12 = 3*w. Is o a prime number?
False
Let j = 14 + -13. Is (-14)/((j - -1) + (-844)/421) a composite number?
True
Let x(c) = 52*c - 41. Let m(v) = -13*v + 10. Let k(r) = 9*m(r) + 2*x(r). Let y be k(-8). Suppose -2*i + 206 + y = 0. Is i a prime number?
False
Let m be (1 + -5 + 3)/(2/(-2390)). Let i = m + -510. Is i composite?
True
Suppose 0*s + 2*s - 702 = 0. Let x = 508 - s. Is x a prime number?
True
Let m be 3 + ((-4)/(-14) - 46/14). Suppose -4450 = -5*a - m*a + 5*t, -4*a + 3566 = -2*t. Is a composite?
True
Let w(u) be the second derivative of 14*u**4/3 + u**3/6 - 3*u**2/2 - 9*u. Is w(2) composite?
False
Let p(t) = -2*t + 43. Let j be p(19). Suppose -j*s + 538 = 2*b - 6*b, -5*s + 522 = 4*b. Is s composite?
True
Suppose 0 = 3*z + 5*y - 14881, -y = 9*z - 8*z - 4959. Is z prime?
True
Let k be (7 - (3 + -1))*1. Suppose k*n - 2*b - 546 - 453 = 0, -798 = -4*n + 2*b. Let u = n - -166. Is u a composite number?
False
Suppose -3*h = 2*g - 344, 4*g - 3*h - 672 = -5*h. Let m = g + 391. Is m prime?
True
Let b(f) = 13843*f**2 - f - 1. Is b(1) composite?
False
Let r(q) = -68*q**2 + 7*q - 8. Let d be r(1). Let b = d - -226. Is b prime?
True
Let v = 0 - 3. Let i(k) = -3*k**2 - k**3 + 2 - 2 - k + 0. Is i(v) composite?
False
Suppose 367*i = 365*i + 10. Suppose -5*j + 3980 = i*o, 5*j = 4*o + 3*j - 3190. Is o a composite number?
False
Let r be (4/(-3))/(2/3). Is (1*r)/(-6) - (-30660)/63 composite?
False
Let t be -1*18*(-724)/12. Suppose 0 = -3*c + t + 657. Is c composite?
True
Let m be (-86)/(6*(-1)/(-15)). Let o(p) = -41*p**3 + p**2 - p. Let q be o(-2). Let c = q + m. Is c composite?
True
Let p(s) = -s**3 - 19*s**2 + 18*s - 35. Let o be p(-20). Is 15/25 - (-912)/o a composite number?
True
Let y(l) = l**3 + 4*l**2 - 5*l + 1. Let j be y(-4). Is 1 + j + -4*(-12)/(-16) prime?
True
Suppose 3*w - 13504 = 14852. Suppose -11*l + 4595 = -w. Is l a composite number?
False
Suppose 0 = -4*a + 8. Is (