k - 4973310 = -76*k + 6*k. Is k composite?
False
Let v(d) = -5*d + 180. Let c be v(19). Suppose -2101 = c*k - 86*k. Is k composite?
True
Let v(f) = f**3 - 5*f**2 + f - 9. Let j be v(5). Let a be (-264)/16*j/6. Suppose -a*m + 22688 = 3229. Is m composite?
True
Let c(k) = -776*k**3 + 3*k**2 - 17*k - 53. Let o be c(-4). Suppose -74*t + 75*t - o = 0. Is t prime?
True
Suppose 0 = 2*k - 12 + 6. Let g be (k + -4 - 0)/(-1). Is (2/(-2))/((7/(-2933))/g) prime?
True
Let h(j) = j**2 - 9*j + 8. Let o be h(8). Let v = 140 + o. Let l = v + -37. Is l a composite number?
False
Let l(i) = 72*i**3 + 10*i**2 + 18*i + 19. Is l(9) a composite number?
False
Let l = 75 - 66. Let s be ((-35)/(-3) - -5)*l. Let o = 295 - s. Is o a composite number?
True
Let z(v) = -40 + 111 - 160*v + 526*v. Is z(5) a composite number?
False
Suppose -318*w = -324*w + 33054. Let q = w + -3831. Is q a prime number?
False
Suppose -3*v = -25 - 5. Let p(m) be the third derivative of m**4/12 + 7*m**3/3 + 16*m**2. Is p(v) prime?
False
Let g be 42173 - (0/(4 - 6))/2. Suppose -6091 = -8*a + g. Is a a composite number?
True
Suppose 5*c - 184 = -k + 194, c - 2*k - 80 = 0. Let n = 79 - c. Let z(s) = s**2 + 7*s - 8. Is z(n) prime?
False
Let f(s) = -6 - 3 + 1 - 3 - 1540*s + 14. Is f(-1) a composite number?
False
Is 7618 - (20/15*-3)/(12/(-27)) a prime number?
False
Suppose 0 - 12 = -6*f. Let j be (1769 - 3 - f) + -1 + -1. Suppose -n + j = -3*r - 219, r = 0. Is n a composite number?
True
Suppose -5122755 = -28*w - 1211608 + 2310089. Is w a composite number?
True
Let k = 16 - 19. Let t(x) = x**3 - x. Let j(f) = 29*f**3 + 3*f**2 + 4*f + 1. Let g(w) = -j(w) + 5*t(w). Is g(k) a composite number?
False
Let n(a) = -87*a - 31. Let d(z) = -z**2 - 10*z - 32. Let x be d(-8). Is n(x) a prime number?
True
Let a = -1204 - -3509. Is a prime?
False
Let w be (-4)/6 + (-6800)/24. Let c(d) = 48*d - 293. Let v be c(16). Let a = v + w. Is a a composite number?
False
Let j = -1 + -3. Let m(c) = -1 + 0 - 13*c**3 + 13482*c**2 + 6*c - 13477*c**2. Is m(j) a prime number?
True
Suppose 0 = -2*a + 92 + 122. Suppose -u + 14 - 3 = -z, u - 10 = 2*z. Let g = u + a. Is g composite?
True
Let x(u) = -u**3 + 32*u**2 + 331*u + 605. Is x(-133) a composite number?
False
Let c(j) = 121*j + 2. Let q be c(1). Let a(l) = -92 + q + l - 93*l. Is a(-11) a composite number?
True
Let c = 36 - 32. Let o(x) = 0 + 13*x**2 - 11*x**2 - 1 + 34*x**2 + c*x. Is o(3) a prime number?
False
Let i(o) = -32*o + 27. Let a = -33 - -16. Let w(y) = y**2 + 18*y + 6. Let t be w(a). Is i(t) composite?
False
Let j(s) = -s - 3. Let u be j(1). Let c be (-12)/3 - (-5834)/(-3 - u). Suppose c = 5*v - 3*n, -5*v + 5810 = -0*n + n. Is v a prime number?
True
Suppose -20*c = -16*c - 12. Let a(r) = -1 - 1 + 6 - c + 90*r. Is a(7) a prime number?
True
Let f be (62/5)/((-19)/(-5) - 4). Let h = 62 + f. Is h/5 + 1/((-2)/(-1574)) prime?
True
Suppose 18*u = -768592 + 7370326. Is u composite?
True
Suppose 4*a = -5*a - 1485. Let r be a - (-39)/(-52)*(-4)/(-1). Let z = 445 + r. Is z prime?
True
Let p be 6/(-27) - ((-153116)/36 + 2). Let z = 1946 + p. Is z a composite number?
False
Let q be (-47 - 22)*(1 - -1542). Let o = -72625 - q. Is o a prime number?
False
Suppose 0 = -3*c - 4 + 7. Let z(d) = -159*d - c + 31*d - 12 + 0. Is z(-9) prime?
False
Let d(p) be the third derivative of 181*p**4/24 - 23*p**3/6 - 15*p**2 - 7. Suppose 0 = -5*z + f + 19, -17 = -5*z - 2*f + 5. Is d(z) a composite number?
False
Let v(t) = 1360*t**3 + 3 - 1310*t**3 + 15*t**2 - 20 + 5*t. Is v(7) prime?
True
Is (-60 + (-132)/12)*-347 a prime number?
False
Let p be (-1)/(-4) - (-9 - (-1755)/60). Let u(d) = -669*d - 47. Is u(p) prime?
False
Let y(z) = 0*z - 6*z + 3*z + 3 - 1 - 7*z**2. Let m be y(1). Let d(p) = -7*p**3 - 8*p**2 + 9*p + 11. Is d(m) prime?
True
Let r be (-20)/3*4*(-27)/30. Let q be (-1)/(0 + -3 + r/9). Is (-785)/(-2) - q/(-2) a prime number?
False
Suppose -96*y + 4630711 = -2624105. Is y prime?
True
Let n = -29 + 23. Is n/(-9)*(-9)/6 + 396 a composite number?
True
Let h = 3539 - 661. Let l be (-12)/(-5) - (-2)/(-5). Suppose h = x - 3*b, 4*b - 14409 = -3*x - l*x. Is x composite?
True
Let h(i) = 285*i**2 - 22*i - 11. Is h(4) a prime number?
False
Let u be (33/1 - 4)*-258. Is (-22)/(-22)*(-1 - u) a prime number?
True
Let a = 33 - 33. Suppose 6*u + 73 + 77 = a. Is (1/2)/(u/(-219050)) prime?
False
Suppose -2*g + 132023 = 3*m, -3*m + 2*g + 83141 + 48854 = 0. Is m a prime number?
False
Let w = 260 - 148. Suppose -h = -5*s - 3*h + w, -2*h + 2 = 0. Suppose 3*i + 7 - s = 0, 5*f - i - 2225 = 0. Is f prime?
False
Let h(y) = -133*y - 249. Let z be h(-17). Let i = -1389 + z. Is i a prime number?
False
Let x be 8/(-3 + 1/1). Let h(q) = -127*q**3 + 5*q**2 + 22*q + 89. Is h(x) composite?
False
Let d(v) = -v + 5. Let l be d(3). Suppose -l*m - 220 = -2*x, 2*x = m + 3*m + 220. Suppose 3*i = 3*t + 235 + x, 2*i - 218 = 5*t. Is i prime?
False
Suppose -20 = -5*q + q. Let n = 5657 - -425. Suppose 0 = -q*w + 12403 + n. Is w prime?
True
Suppose -2*q = 5*d - 9196, -5*q + 4*q + 3678 = 2*d. Suppose 0 = -5*s + d + 5155. Is s a composite number?
False
Suppose -5*d = 3*r - 7277, 2483 = 2*r + 4*d - 2367. Let s be (1 + -1)*(-4 + 3). Suppose -x - 2*x - 3046 = -5*t, s = 4*t - 5*x - r. Is t prime?
False
Let p = 95 + -100. Is (-15357)/p - 124/310 prime?
False
Let q = -765 + 765. Suppose q = 15*v + 12996 - 36411. Is v a prime number?
False
Suppose -10*v = -13*v - 24. Let b(s) = -4*s**3 + 12*s**2 + 3*s + 6. Let x(l) = -3*l**3 + 11*l**2 + 2*l + 5. Let j(m) = 4*b(m) - 5*x(m). Is j(v) composite?
False
Suppose -16*i + f + 388024 = -13*i, -3*f - 388026 = -3*i. Is i prime?
True
Is (-204)/8*(-926)/(-4)*28/(-21) prime?
False
Suppose -i = f - 1066909, -3*i - 44*f + 3200727 = -40*f. Is i prime?
True
Suppose 2*a + u + 2*u + 766 = 0, 5*u = -a - 390. Let n = -87 - a. Is n composite?
False
Let v be (-228)/(-5) - 6/10. Let f = -41 + v. Suppose -11 - 505 = -f*c. Is c a composite number?
True
Let s(l) = -21*l - 124. Let d be s(-6). Is 40/12 + ((-20)/(-12) - d) prime?
True
Let b(a) = a**3 - 23*a**2 - 18*a + 91. Suppose -3*x = 2*g - 102 - 14, 120 = 3*x + 3*g. Is b(x) a composite number?
True
Let a(q) = -q**2 - 5*q - 4. Let m be a(-1). Let h(l) = -l + 349. Let x be h(m). Suppose -1254 = -5*u + p, 4*u + x - 1356 = -3*p. Is u composite?
False
Let v(h) = -409*h**3 + 2*h**2 - 28*h - 127. Is v(-6) composite?
True
Suppose -25*g + 21*g = -3*j + 15243, 0 = 4*j + g - 20305. Is j a composite number?
False
Let o = 1545025 + -698888. Is o a prime number?
True
Suppose -37 = -5*p + 3*v, -7*p + 5*p + v + 14 = 0. Suppose -8 = -4*n, -573 = p*x + 3*n - 5264. Is x composite?
False
Let g be ((-40)/12)/((-2)/3). Suppose -2*w + 8 = -4*t + 32, -w = g*t - 16. Suppose t*a + 3365 = 9*a. Is a a composite number?
False
Let u be -1 + -26 - 1/(0 - -1). Let p = u - -48. Is 5*(-3 - (-3616)/p) a composite number?
True
Suppose -4 = -5*m + 6. Suppose 2*d - 14 = m*n, -4*d + 2*n + 12 = -20. Is (7 - d) + (630 - -1) composite?
True
Let w be (1 - 21) + (14 - 10). Let y be (w/6)/(8/9228). Let h = 5837 + y. Is h prime?
False
Let r(u) = 168*u**2 - 41*u - 571. Is r(48) a composite number?
False
Suppose -2*l - 296 = -1382. Let q = l - 322. Is q a composite number?
True
Suppose 2002103 = 10*a + 525033. Is a prime?
False
Let z(u) = -3*u + 11 + 96*u**2 - 2*u - 29 + 12*u. Is z(15) a prime number?
False
Is -3 - (-20)/16 - 1582695/(-20) prime?
True
Let v be (69*-23)/(3 + 13851/(-4614)). Suppose v = -0*t + 46*t. Is t prime?
False
Let t be 20/(-5)*21/(-4). Let i(p) = p**3 - 20*p**2 - 21*p - 1. Let s be i(t). Let o(j) = -177*j**3 + 5*j**2 + 3*j - 1. Is o(s) a prime number?
False
Suppose 3*b = -w + 269185, -2*w - 286571 + 17380 = -3*b. Is b a prime number?
False
Let f be (-24)/(-2) + 3/6*-4. Let c(j) = j**3 - 11*j**2 + 10*j + 4. Let h be c(f). Suppose -409 = -h*y + 3*y. Is y a prime number?
True
Suppose 7*c + 2192 = 9*c. Let i = 1572 - c. Let j = -63 + i. Is j prime?
False
Suppose 119126 = 7*b - 3638159. Is b composite?
True
Let o(p) = -34*p + 29. Suppose 0 = -86*d + 81*d - 80. Is o(d) prime?
False
Let j be -2 - -1 - 6 - (3 - 7). Is -5*((-54)/30)/j + 29272 a composite number?
False
Suppose -11*k + 10*k + 8 = 0. Suppose k*h + 2338 = 10*h. Is h a composite number?
True
Suppose 0 = -3*t - 11 + 23. Suppose 0 = 3*o + z + 859