 a composite number?
True
Let i(r) = -4*r**3 - r**2 - 2*r + 1. Let x be i(-3). Let y = -102 + x. Suppose -h + 3*h - 418 = -c, 0 = -c - y. Is h a prime number?
True
Suppose 57*z + 2928380 - 9509543 = 0. Is z a composite number?
False
Suppose 139*u = 98 + 41. Suppose -20 = -0*j - 4*j. Is u - (631/(-5) - (-1)/j) composite?
False
Let l(a) = -74592*a + 751. Is l(-6) prime?
True
Let v(t) = 2092*t + 7. Let z be 3*(-2*3)/((-45)/40). Suppose -2*n = -n - 3*i - 10, -z = -n + 5*i. Is v(n) prime?
True
Let o be 8/(-4) - (30148*1 - 2). Let f = -16631 - o. Is f a prime number?
False
Let c(t) = -4860*t - 4123. Is c(-24) composite?
True
Let z(x) = 65208*x**3 - 5*x**2 + x + 2. Is z(1) composite?
True
Let r(n) = n**3 + 2*n**2 - 3*n + 3. Let k be r(-3). Suppose k*v + 5*l = 7, -l = 3*v - 2*l - 13. Suppose 0*m - v*m = -508. Is m composite?
False
Suppose 34*v = 329 + 2595. Suppose -v*b + 204663 = -69*b. Is b a composite number?
True
Let y = 123 - 74. Let x be 14/y + 214/(-14). Let d(s) = -49*s + 2. Is d(x) a composite number?
True
Let u be (-12418)/(-21) + 8/12. Let c = 13637 - u. Is c a composite number?
True
Let c be 3 - -1 - -2*2. Suppose c = -3*q - 2*y, -15 = -5*q + 3*y - 60. Let u(l) = 3*l**2 - l + 13. Is u(q) composite?
False
Let w(j) = -3720*j + 103. Let b be w(3). Let q = -7264 - b. Is q composite?
False
Suppose n = 7505 + 1602. Is n a prime number?
False
Suppose 55 = 223*m - 218*m. Suppose 4*l = 5*l - 4570. Suppose -x - l = -m*x. Is x composite?
False
Let z = -689032 + 1187105. Is z prime?
True
Let m be 1 + 10/(0 + 5). Suppose 0 = -8*v + m*v + 2*q + 27135, 4*q = 20. Suppose 0 = r + r - 5*l - 5459, v = 2*r + 5*l. Is r a prime number?
False
Suppose -221*w = -264*w + 1533853. Is w composite?
False
Let c = -97182 + 148881. Suppose 0 = 11*k + 8*k - c. Is k composite?
True
Let o(k) = 2*k**3 + 6*k**2 + 2*k - 717. Is o(26) composite?
False
Let x be 7/((-28)/(-12)) - -543. Let r = 672 + x. Let q = r - 799. Is q prime?
True
Let y(u) = -u + 8*u - 2*u**3 + 4*u - 14 + 6*u**2 + u. Is y(-6) composite?
True
Let t(b) = 220*b**2 + 12*b + 21. Let v(c) = 5*c**3 + 31*c**2 + 6*c - 2. Let i be v(-6). Is t(i) composite?
False
Suppose -16*p = -18*p + d + 12217, 3*d = -4*p + 24439. Is p prime?
False
Let n = -165 + 162. Is n/2 - (-43101)/18 prime?
True
Suppose -3*j - 3*l - 3 = 0, -7*j - 2*l = -3*j - 4. Let o be j - (6/12 - (-13155)/(-6)). Let v = -1276 + o. Is v a composite number?
False
Suppose 4*r = -2*i - 6176, 3*i + 2*r + 9224 = 6*r. Let m = -1437 - i. Is m a prime number?
False
Is 221474/4 - 117/(-234) prime?
False
Suppose -3*n - 4*r - 237200 + 663425 = 0, 5*r + 284173 = 2*n. Is n a composite number?
True
Let m be 1/(-8) + 10*2/160. Suppose m = 13*h - h - 34908. Is h a composite number?
False
Suppose -11157252 = -54*b - 3735246 + 51926748. Is b composite?
False
Suppose -4*l + r + 4*r + 98677 = 0, -98627 = -4*l - 5*r. Let t = -14564 + l. Is t a composite number?
False
Suppose -47*s - 895288 = -64*s. Suppose -65822 = -5*a + 3*v, -4*a - v + s = 3*v. Is a composite?
True
Let i be ((-4)/3)/((-46)/157527). Suppose -4*v = v - 2*g - 22865, 0 = v + g - i. Suppose 5*l - 15046 = -v. Is l composite?
True
Suppose 199*v = 311*v - 21527579 - 1220853. Is v prime?
False
Suppose 0 = -47*x + 51*x + m - 54220, x = -2*m + 13555. Is x a composite number?
True
Suppose 5959 = 2*x + 3*p, 22*x - 23*x - p = -2977. Suppose -n + 2*o = -18321, 2*n + x = -3*o + 39649. Is n a prime number?
False
Let c(d) = 4*d + 36. Let l be c(-9). Is (-144950)/(-234) + ((-8)/18 - l) a prime number?
True
Let i(l) = -1995*l - 1369. Is i(-18) a composite number?
True
Let r(t) = -2*t + 8. Let p be r(2). Suppose p*c - 4*x = 15020, 5*x - 8302 = -4*c + 6718. Is c a prime number?
False
Let y = 27 - 24. Let l be (-2)/y - 56/6. Let n(r) = -r**3 - 11*r**2 - 14*r - 17. Is n(l) prime?
True
Suppose -5*d + 3*x = -65109, 4*d - 4*x = -0*d + 52084. Suppose 0*k = 3*k - d. Suppose k = 4*b - s - 30, 5*b - 4*s - 5450 = 0. Is b a prime number?
False
Let h(z) = -15*z**3 - z**2 + 9*z + 6. Let r = 527 + -534. Is h(r) a composite number?
False
Let q be (-72)/54 - (66602/(-6) + 0). Suppose -4*r - 2*b - 2*b + 44396 = 0, q = r + 3*b. Is r a composite number?
True
Let z = -54371 + 95268. Is z a prime number?
True
Let d(f) = -f**2 + 21*f + 22. Let o be d(22). Suppose o = -2*x + 14 - 10. Is 12 - 12 - (-346 + (x - 2)) a prime number?
False
Let v = 133 + -131. Let n(f) = f + 7*f**v + f - 93 - 13 + 53. Is n(6) a prime number?
True
Let g(i) = 4 + 2*i + 294*i**2 + 388*i**2 - 2 - 4*i. Let d(z) = 683*z**2 - z + 1. Let u(r) = 3*d(r) - 2*g(r). Is u(1) a prime number?
False
Let v(u) = 43*u**2 - 6*u + 3. Let o be v(4). Suppose 71*b - 72*b = -o. Is b a composite number?
True
Let s = 310392 + -55643. Is s prime?
False
Let x = -78 + -1. Let m = x + 158. Is m composite?
False
Let r(g) = -g**2 - g**3 + 4*g - 2 + 16 - 3. Let s be r(-6). Suppose 5*i - 1338 = s. Is i composite?
True
Let t = 4742 + -3282. Suppose t + 1817 = 29*u. Is u prime?
True
Let x(o) = 4*o - 113. Let t be x(29). Suppose -3*w + 672 + 3122 = 2*q, -q - t*w = -1900. Is q prime?
False
Let t be 3*(-4)/(-24)*24. Suppose -2*z + 2*d = -5*z + 20, t = -z + 4*d. Suppose 3*x = z*u - 752, -2*u = 3*x - 287 - 107. Is u composite?
False
Suppose -5*z - 4*f = -1277037, 133*z - 137*z = 4*f - 1021624. Is z a prime number?
True
Let r(h) = 21*h**2 + 503*h - 27. Is r(40) a composite number?
False
Suppose 65743 = 4*l - 2*i + 19067, 4*l + 3*i = 46656. Is l composite?
True
Let d(m) = 47*m - 22. Let r be d(-2). Let n = r + 121. Suppose 1189 = n*j + 219. Is j prime?
False
Let k(m) = -4*m**2 - 94*m - 16. Let u be k(-23). Is -32 + u + (0 - -2309) a composite number?
True
Suppose -67*l + 5959236 = -1357901. Is l prime?
True
Suppose -4*h + a = -539827, -5*a - a + 6 = 0. Is h a composite number?
True
Let z = 211496 + 53863. Suppose -11*g = -z - 174322. Is g a composite number?
False
Let k(q) = q**3 + 5*q**2 - 13*q + 12. Let g be k(-7). Suppose 3119 + 9066 = g*y. Is y a prime number?
True
Let s(a) = 23082*a**3 - 4*a**2 + a + 2. Is s(1) a prime number?
True
Suppose 6*h = 2*h + 12. Suppose 15766 = 5*b + 4*r + 1691, 0 = -h*b + 2*r + 8467. Is b a composite number?
False
Let c(x) = x**2 + x - 4. Let j be c(0). Let w(l) = l**2 - l. Let f(k) = 339*k**2 + 3*k - 9. Let i(s) = f(s) + 4*w(s). Is i(j) composite?
False
Let o = 110 + -108. Suppose -2*n - 4*m = -7*n + 11690, o*m = 3*n - 7016. Is n composite?
True
Let j be (-2 + 3)*8321/1. Suppose 4*k - 23667 = j. Is k prime?
False
Let d = 44776 - -20553. Is d composite?
True
Suppose 0 = -3*v + 5*y + 12565 - 43355, -20535 = 2*v + 5*y. Is 4*v/(-60)*3 a composite number?
False
Suppose 0 = 3*s - 84398 + 481406. Let j be s/40 - -1*2/5. Let i = -1419 - j. Is i composite?
False
Let a(b) = -10*b + 51. Let z be (138/(-8))/3*-12. Let x = z + -78. Is a(x) composite?
True
Let m(d) be the third derivative of -d**6/120 - 7*d**5/60 - d**4/12 - 3*d**3/2 + 9*d**2. Let v be m(-5). Is 4/14 + (-10570)/v + -5 composite?
False
Let i be (10/2)/(24/4 - 5). Suppose 0*y = i*y - 14635. Is y composite?
False
Let a = 538 - 538. Suppose 35*c - 31*c - 5380 = a. Is c prime?
False
Let w be (-2)/5 - (-143)/(-55). Let h = w + 6. Suppose 3*g - 610 = -5*n - 0*n, 0 = -h*g + 15. Is n prime?
False
Let f(w) = -14*w**3 - 12*w**2 + 21*w + 66. Let y be f(-23). Suppose 0 = 26*t - y - 35249. Is t a composite number?
True
Suppose -2*f + 10 - 56 = p, 4*f + 5*p = -98. Let j = 24 + f. Is j/(-28)*2 + 29388/14 prime?
True
Let w(d) = -3491*d - 858. Is w(-5) a prime number?
False
Is (15 + 41447)*(-50)/(-20) a composite number?
True
Let n(a) = 1942*a - 5. Suppose 5*p = -2*f + 18, -13*p + 16*p - 11 = -f. Is n(p) a composite number?
True
Let d(y) = -y**2 + 9*y + 12. Let i be d(10). Suppose -5*o + 161 = b, 3*o + 2*b + i*b - 83 = 0. Suppose -5*l = -82 - o. Is l a composite number?
False
Is (315/245)/(3/14) + 43927 composite?
False
Suppose 4*t + 5*h = 33633, -9*t + 11*t - 16811 = 3*h. Is t prime?
False
Let q be 27/(-63) + 742708/(-14). Let u = q - -92756. Is (-2)/(-3)*-4*u/(-40) a prime number?
True
Suppose 0 = 274*c - 283*c + 273177. Is c prime?
False
Let d(j) = 55*j - 267. Let c be d(-38). Let s = 7108 + c. Is s a composite number?
False
Let y = -249 + 252. Suppose -y*f = 5*z - 3135 - 7636, 3*f - 6 = 0. Is z a prime number?
True
Suppose -56945838 = -119*w - 