o(i) = i - 1. Let j be o(4). Let a be z(j). Suppose 2*w - 3*q = a, 7*w = 2*w + 3*q + 1194. Is w composite?
True
Let o be 240 + 2 + -1 - -4. Suppose 5*x - 4*w - o = 0, -8 = 3*x + 4*w - 187. Is x prime?
True
Suppose -3 = -2*a + 7. Suppose -4*p = -a*p + 35. Suppose -z = -p - 18. Is z prime?
True
Suppose 24*l = 22*l + 1510. Suppose v - 2544 = l. Is v a composite number?
False
Suppose -11*a = -17*a - 18. Let n(s) = -2*s**2 - 2 - 7*s**3 + s + 1 + 4*s**2. Is n(a) composite?
True
Suppose 2*x - 50412 = -10*x. Is x a prime number?
True
Suppose 0 = -3*y + 183 + 1353. Let d = y - 812. Let q = 499 + d. Is q prime?
True
Let q(u) = -u**3 - 9*u**2 + 17*u + 22. Let z = -20 - -5. Is q(z) a composite number?
False
Suppose 17*v = 6*v + 55. Is (-662)/((-37)/7 + v) composite?
True
Is 3/51 - 4812624/(-136) a prime number?
False
Let o(b) = -73*b + 38. Is o(-12) a prime number?
False
Suppose -j = 3*x - 11, -3*j + x + 5 = -8. Suppose p - 2449 = j*l, l = -5*p + 259 + 12038. Is p a prime number?
True
Let g(x) = 145*x**2 + 10*x - 5. Let z be g(6). Let u = z - 3618. Is u a composite number?
False
Let u(v) = v - 5. Let k be u(11). Let r(f) = -4*f**3 - 9*f + 1. Let d(j) = -j**3 + j**2. Let h(l) = -6*d(l) + r(l). Is h(k) composite?
False
Let c be (-248360)/(-18) + 7/189*6. Suppose 4486 = 14*w - c. Is w composite?
True
Let n(h) = 2*h**2 - 3049. Let z be n(0). Let d = z - -7024. Suppose 4*j - v - 3198 = v, 5*j + 2*v = d. Is j composite?
False
Let l be 22 + -1*(-1 + 2). Let i be (l/(-6) + 3)*0. Suppose i = w - 0*w - 33. Is w a prime number?
False
Suppose 27*o - 12664 = 19*o. Is o prime?
True
Is (-6278)/(-1) + -4 + 0/(-2) a prime number?
False
Suppose -4 = -3*k + k - q, 0 = q. Suppose 1940 = 5*i - 2*o - 3449, 2164 = k*i + 2*o. Is i prime?
False
Let y = -2 + 6. Suppose y = -4*v + 4*l, 0 + 3 = -3*l. Is (v - -3) + -3 + 36 prime?
False
Let r(p) be the first derivative of 10*p**2 + 2*p + 34. Is r(1) prime?
False
Suppose 29 = 4*r - 43. Is -3178*(3 + (-57)/r)*3 a prime number?
False
Suppose 10564 = 2*d + n, 5*n - 13633 - 12777 = -5*d. Suppose 0 = -5*f + d - 1807. Is f composite?
True
Suppose -3*k = -13*k + 10. Is 1*2332 - (k + -2) prime?
True
Let i(g) be the third derivative of 43*g**5/5 + g**4/24 - 19*g**2. Is i(1) composite?
True
Let u be (-4)/(4/(-3)) - -2. Suppose i - 2*i + 21 = -4*c, 4*c + 41 = u*i. Suppose i*v - 423 = -4*y - 0*y, 2*y = -3*v + 253. Is v composite?
False
Is ((-3)/9)/((-1 - -2)/(-267)) prime?
True
Suppose 16*o + 0*o - 31888 = 0. Is o a prime number?
True
Let u(f) = 16*f**2 - 19 + 7 - 6*f + 17*f**2. Is u(7) prime?
False
Let m(q) = -228*q - 7. Let x(b) = -b**2 - 8*b + 27. Let w be x(-11). Is m(w) prime?
True
Is 4690 - 2 - (-3 - 0) prime?
True
Let j(h) = 152*h**2 - 2*h - 1. Suppose -2*a = 3*a - 135. Let z = a + -24. Is j(z) a prime number?
True
Let w = -367 - -8868. Is w a composite number?
False
Suppose -56*u = -1472917 - 1640851. Is u composite?
False
Let q be (4 - 2 - 2)*-1 - -3. Suppose -q*d + 15 = 0, -2*m + 10703 = -0*m + d. Is m prime?
False
Let b(g) be the first derivative of 29*g**4/4 - g**3 + 3*g**2/2 - 3*g - 12. Is b(4) composite?
True
Let f(s) = 18*s**2 - 10*s + 29. Is f(-12) composite?
False
Let j(l) = 17 + 7*l + 4*l + 5 + l. Is j(7) prime?
False
Let a be ((-1)/2*-3)/((-21)/(-42)). Is 1438/a - (-1)/((-3)/1) prime?
True
Let i be -4 - (-2 - 6 - -2). Suppose -i*s = -3*s + 1. Is 110/20*(13 + s) prime?
False
Suppose v = 1, 14*v + 123289 = 2*p + 17*v. Is p a composite number?
False
Suppose 5*j = -5*h + 2160, 884 = 2*h - j - j. Is h a prime number?
False
Let k = -14 - -18. Suppose -2*c + 5*g = 3*c - 25, -4*c - k = 2*g. Let o(a) = 370*a**2 - a + 2. Is o(c) a prime number?
False
Let q = -79 + 85. Suppose 7545 = q*a - 5877. Is a a prime number?
True
Let i(n) = -2818*n - 5. Is i(-1) composite?
True
Let p = 79 - 77. Suppose 10966 = 4*j - 3*z - 12193, -3*j - p*z = -17365. Is j prime?
False
Let r(u) = -u**2 - 6*u - 5. Let b be r(-4). Suppose 0 = 2*c + 2*p - 3*p - 2831, 0 = b*p + 3. Is c composite?
True
Suppose -3*p + 691 = 2*l - 660, -2260 = -5*p - 5*l. Is p + 1 + (1 - -2) composite?
True
Suppose 5*n + 8 = 13. Let r(f) = -2*f + 1. Let s be r(-1). Suppose v + n = 0, 15 = -2*l + s*v + 92. Is l a composite number?
False
Let g(r) = -41*r**3 + 4*r**2 + 6*r + 5. Is g(-2) a prime number?
True
Let j = 1850 - 1099. Is j a prime number?
True
Let m(s) be the second derivative of 7*s**4/12 - s**3/3 - 5*s**2 - 15*s. Is m(-7) a composite number?
False
Suppose -522 = -2*y + 2*f, 0 = f - 0*f - 4. Is y a prime number?
False
Suppose -14*x + 15*x = 17. Suppose -x*t + 21*t - 2348 = 0. Is t a prime number?
True
Let l(f) = -f**3 + 3*f**2 - 1. Let m be l(-2). Suppose 0 = 17*g - m*g + 26. Is g a prime number?
True
Suppose -p + 2 = 0, 5*i + 2*p = -0*p + 24. Suppose -n = -4, 0 = -2*r + i*r + 2*n - 9378. Is r a prime number?
False
Suppose -f + 1448 = -5*f. Let g = 613 + f. Suppose 3*h - g = 2*h. Is h a composite number?
False
Suppose -2*l + 63 = 5*a, 2*a + 2*l - 23 = -l. Suppose 2*i = -2*p + 16, -4*i = -0*i - 5*p + a. Suppose -3*z - 2*q + 339 = 0, 2*q + 330 + 9 = i*z. Is z composite?
False
Let i(p) = -3*p**2 - 2*p - 11. Suppose 3*c - 9 = 2*c. Let f be i(c). Let q = -159 - f. Is q a prime number?
True
Suppose -277499 = -16*q + 1152309. Is q composite?
False
Let g(n) = -n**3 + 29*n**2 + 60*n - 5. Is g(-31) composite?
True
Is (-22)/(-33)*(-80358)/(-4) composite?
True
Let g = 14012 - -889. Is g a prime number?
False
Suppose -8*j + 2*x = -3*j - 267, -4*j - 4*x = -208. Suppose -4*g - j = -5. Let u = 41 - g. Is u a composite number?
False
Is (-5831 + -26)/(-2 + 1) prime?
True
Suppose 0 = 5*w - c - 123814, -5*w - 2*c + 14463 + 109354 = 0. Is w a composite number?
False
Suppose 0 = -2*z + 294 + 7690. Suppose 2*x = -2*x + z. Suppose -2*i = r - 992, 2*i + 0*r - 2*r = x. Is i composite?
True
Let h(p) = 1400*p**2 + 5*p - 3. Let v be h(2). Suppose -5*z + 2*q = -3180 - 2443, -5*z + v = 2*q. Is z prime?
True
Suppose 2*c = -2689 + 6311. Is c composite?
False
Let k(f) = -190*f - 271. Is k(-56) a composite number?
False
Suppose 3*k + 2*k = -4*r, -k - 2*r - 6 = 0. Let a be k/(-18) - (-488)/9. Let q = a + 109. Is q a composite number?
False
Suppose -15*t = -6*t - 23805. Let p = 5578 - t. Is p prime?
False
Let u = 2 + 1. Suppose u*p + 3*v = -2 - 1, 0 = -3*p - 4*v - 7. Suppose 0 = 3*j - p*b - 39, 30 = 2*j - 0*b + 2*b. Is j composite?
True
Suppose 648123 = 60*p - 446937. Is p composite?
False
Suppose -26*o - 154077 + 834055 = 0. Is o prime?
True
Is (-2)/(-14)*(13 - -22800) composite?
False
Suppose 2*i = 555 + 637. Suppose 8*l + i = 12*l. Is l composite?
False
Suppose 98 = -x - 6*x. Let q(z) = -z**3 - 7*z**2 - 19*z + 1. Is q(x) composite?
True
Let t(g) = -168*g + 13. Suppose 0 = 5*w - 4*y + 8, 3*w - 7 = 4*w + y. Is t(w) a composite number?
True
Let o be ((-8)/(1 + -3))/1. Suppose -o*h = -0*h + 424. Is h/(-5)*15/6 a prime number?
True
Suppose 6*u + 204 = -18. Let s = -6 - u. Is s a prime number?
True
Suppose -3*l = -72648 - 12849. Is l a composite number?
False
Suppose 0 = -r - 4*m - 18, 3*r - 2*r - 2*m = 12. Suppose 0 = -5*z + 25, -5*z - 1643 = -r*t + 526. Is t a prime number?
True
Suppose -8*f - 27026 = -165562. Is f composite?
False
Let k be (1918/(-28))/(-2 - (-43)/22). Is 2/(-7) + (2 - k/(-7)) composite?
True
Let n(z) = -5*z**3 + 4*z**2 - z - 42. Let t be n(-14). Suppose 3*w - 8686 = -2*x, 0*x = 5*w + 3*x - t. Is w prime?
False
Let t = 35166 + -22357. Is t prime?
True
Let j(q) = 7*q**3 + 2*q**2 - 4*q - 5. Let l(r) = -6*r**3 - r**2 + 4*r + 4. Let p(s) = -5*j(s) - 6*l(s). Let t be p(5). Is ((-45)/t - -2)*-2 a composite number?
False
Let f(o) = 158*o**2 + 8*o + 1. Is f(5) prime?
False
Suppose -4*b + 3*b + 5 = -2*x, 5*b = -4*x + 11. Suppose -b*g - 5*l + 614 = 0, 0 = 5*g - 2*l - 694 - 319. Is g composite?
True
Suppose -5*q + 1270 = -5*n, 4*n - 2*n = 5*q - 505. Is (-296)/(-4)*(-3 + n/(-6)) a composite number?
True
Let j = -12 + -8. Let v = j - -16. Is v/(-16) + 822/8 a prime number?
True
Let u(b) = 4*b**3 + 5*b**2 - 2*b + 7. Let y(i) = i**3 + 1. Let q(k) = -u(k) + 6*y(k). Let p = 368 - 363. Is q(p) composite?
True
Let b(h) be the first derivative of -h**4/4 - h**3/3 + h**2 + 2*h - 4. Let l be b(-2). Suppose 0 = -l*k - 37 + 111. Is k a composite number?
False
Let y be -2 + (-10 - -3)/(-1). Suppose 0 = -y*c - 15 + 1115. S