= 223*j - 5 + 114*j + 53*j - 114 - 40*j. Is t(47) a composite number?
True
Let h(t) = 76*t + 5067. Let m be h(-68). Let a be (-90)/(1/(-11) + 0). Let s = a + m. Is s a prime number?
False
Is (-6)/378*54 - (22291468/(-14))/2 a prime number?
False
Let g(d) = d**3 - 3*d**2 - d + 3. Let x be g(3). Suppose c + x*c + 2*m + 9 = 0, -3*c + 3*m - 18 = 0. Is 1911/6 - (3 - c/(-2)) a composite number?
True
Suppose 150 = 46*l - 48*l. Is (-32159)/(-6) - l/(-90) composite?
True
Is ((-203)/(-35))/(-4 - (-358461)/89615) - -2 a composite number?
False
Let q be 290/(-15)*-12 + 5 + -3. Suppose 2*m = -3*b + 3403, 202 = -2*m - b + 3595. Suppose 10*x = m - q. Is x a composite number?
True
Let k(q) = 5*q**2 + 12*q - 26. Let s = -453 + 460. Is k(s) a composite number?
True
Is 37606/(4*((-45)/18)/(-5)) a prime number?
True
Let l(w) = 240*w - 140. Let j be l(6). Let s = 1203 + j. Is s a composite number?
False
Let g be ((-1)/(-2))/(21/(-210)) - -9. Let c be (-14)/3*6/(-7). Suppose -5*q - 2193 = -g*b, -c*b = 3*q - 5*q - 2178. Is b a prime number?
False
Suppose -j + 13672 = -3*n, -3*j = 5*n - 20872 - 20130. Is j composite?
False
Let s be 47/(2/4*(-6)/(-78)). Let x = s - 671. Is x composite?
True
Let s be -3 + 0 + -2*14*2. Let i = s - -59. Suppose -5*u + 15 = 0, -3*u = -4*k - i*k + 2687. Is k a prime number?
False
Let i(m) = m**2 - 11*m + 9. Let t(y) = -y**2 + 10*y - 9. Let c(a) = -2*i(a) - 3*t(a). Let k be c(7). Is k + 628 - (-4)/4 a composite number?
False
Suppose -103*t + 100*t = -2*r - 49, 3*t + 2*r = 29. Let s be 1522/3 + 6/9. Suppose -s = -h + t. Is h prime?
True
Let y = -529 + 1101. Suppose 5*g - y = -c, -4*g - 2224 = -3*c - 565. Is c a prime number?
True
Let w = -145705 + 60879. Let b = w - -127889. Is b prime?
True
Suppose 4*j - 20 = -j. Let f be ((-196)/(-5))/(j/70). Let g = f - 207. Is g prime?
True
Suppose -8*n + 13*n - 589686 = -y, 589682 = 5*n - 3*y. Is n composite?
False
Let d(l) = -20*l + 129. Let v be d(5). Let n(z) = 15*z**2 + 35*z - 389. Is n(v) a composite number?
False
Suppose 140 - 160 = -4*p. Let w be ((-30)/(-4))/((-5)/1090). Is (((-20)/12)/5)/(p/w) composite?
False
Let k(u) = -u**3 - 33*u**2 - 155*u + 604. Is k(-63) a composite number?
False
Suppose 7*x = -5*f + 2*x + 50, 0 = -2*f + 2*x. Suppose 4*w = q + 4 - 0, -w = -5*q - 1. Suppose q*a + 5*p = 5*a - 7320, -p = f*a - 7326. Is a a composite number?
True
Let u be (-84)/7*2/3. Let g(q) = -4*q - 20. Let n be g(u). Is 6/(-9) - (-956)/n a composite number?
False
Let f = 116 + -127. Let w be f/((-33)/(-18))*36. Is -4*74154/w + 4/(-18) prime?
True
Suppose -4*o - 38 = -5*y, -y + 10 + 2 = -3*o. Suppose -y*t + 5 = 23. Is 2/((-1082)/2590 - t/7) prime?
False
Let n(p) = 3*p**3 + 10*p**2 - 2*p - 20. Let w(r) = -r**2 + r + 1. Let a(l) = n(l) - w(l). Let x(f) = 7*f**2 + f. Let j be x(1). Is a(j) a prime number?
False
Let r = 70 - 57. Suppose 0 = -r*n - 20138 + 47815. Is n a prime number?
True
Let d(m) = 1272*m**3 - 11*m + 5. Let f be d(3). Let o = -12654 + f. Is o composite?
True
Let l = -80519 - -157098. Is l a prime number?
True
Let w = 33404 - 19468. Suppose -3*n + 18603 = -2*c + 4660, -3*n = 5*c - w. Is n a composite number?
True
Let n(p) = p**2 - p + 54. Let u be n(0). Suppose -3*k - u = -69. Suppose h - 2674 = -o, -k*h - 4*o = -53 - 13312. Is h a composite number?
True
Suppose -58 = -3*d + 122. Let h = d + -57. Suppose -h*c = 4*t - 2*c - 480, 3*t - 2*c = 349. Is t a composite number?
True
Suppose 20 = 2*u - 4. Suppose 0*j + u = 2*j - 4*y, -2*y = -3*j + 6. Suppose 626 = 5*a - 3*d, j*a - 390 = -3*a - 3*d. Is a a prime number?
True
Let a be (6/(-10))/(35/(-175)). Suppose -z + 2*r + 6423 = 0, 0 = a*z + 21*r - 19*r - 19261. Is z composite?
False
Suppose 0 = 35*x - 780 + 45. Suppose -4303 = -22*o + x*o. Is o prime?
False
Let c = 45 - 42. Let b be (-53)/c*-3 + -2. Let i = 674 - b. Is i prime?
False
Let t(l) = -2*l**3 - 4*l**2 + 4. Let x be t(-2). Let g(s) = -x + s + 17 + 41*s**2 + 0*s - 8. Is g(13) composite?
False
Let w(u) = -5*u + 7. Let j be w(1). Suppose -g - j*g = -5*m - 879, -g = -m - 293. Is g composite?
False
Let n(u) = -2*u**2 + 10*u - 10. Let q be n(3). Suppose -2*f - 2393 = x - q*x, 5*f = x - 2393. Is x composite?
False
Suppose 0 = j - 4*p - 1473, -5*p = 81*j - 85*j + 5848. Is j a composite number?
True
Is (147900/(-6) - 7)*602/(-42) a composite number?
True
Suppose g + 2*d = -g - 20982, 5*d - 25 = 0. Let j = g - -16255. Is j a composite number?
True
Suppose -3*v - 3*d + 5*d = 5885, 3*v + 3*d + 5895 = 0. Let x = 3774 + v. Suppose -8431 + x = -10*s. Is s a prime number?
False
Suppose -133*d + 2965116 = -49*d. Is d a prime number?
False
Let i be (-32 - -2)/((-27)/18). Let p be -23 + -4*(-25)/i. Is (-4)/18 - 31936/p prime?
False
Is (42/168*-9924)/(0 + (-6)/278) prime?
False
Suppose -5*m - 43*d + 20537 = -40*d, 3*m - d = 12339. Is m composite?
False
Let s = -485559 - -781772. Is s a prime number?
True
Let j = 4295 + -4296. Let o(f) = -2*f - 1 + 1 + 1150*f**2 - 1. Is o(j) composite?
False
Is (0 + -4)*1506289/(-116) a composite number?
False
Let p(s) = 2034*s - 155. Suppose -t - 4*o + 14 = 0, 4*o - 18 + 22 = 2*t. Is p(t) prime?
True
Let o = 460 - 296. Let b = 974 + o. Is b a prime number?
False
Let m(o) = o**2 + o - 19. Let v be m(-5). Let u be v + -1 - -2 - (39 + -39). Is 2103*(7/(-21) + u/3) a prime number?
True
Let f(w) = -2*w**3 + 241*w**2 - 148*w - 733. Is f(102) a composite number?
False
Let s(n) = 5*n**2 + 24*n + 16. Let d be s(-4). Suppose 0 = 5*g + k - 11 - 473, -2*g + 2*k + 196 = d. Is g a composite number?
False
Suppose -4*f = 5*z + 10853, f = 2*z + 5*f + 4346. Let y = 1102 - z. Is y composite?
False
Suppose -o + 5*t + 45802 = 2601, 4*o - 172804 = 4*t. Is o prime?
True
Let z(i) be the first derivative of i**4/4 + 4*i**3/3 + i**2/2 + i + 20. Let a be z(-3). Let h = 42 - a. Is h a prime number?
False
Let z = -20 - -17. Let p be 4*(1/(-4))/(z/9). Suppose 41 = 4*u - p*g, -2*g = 2*g - 20. Is u a composite number?
True
Suppose -11*t - 490 = -16*t. Let r = t + -39. Is r composite?
False
Let j(u) = 43*u**2 - 17*u + 7. Let x(p) = -21*p**2 + 8*p - 3. Let b(o) = -6*j(o) - 15*x(o). Is b(4) composite?
True
Let o(i) = i**2 - 15*i + 25. Let u be o(15). Suppose -208525 = -u*l - 77000. Is l prime?
True
Let z = 132880 + -30981. Is z composite?
True
Let v(j) = 11*j + 30. Suppose 0 = 4*u - 3*b + 9, 38 = u - 4*u - 4*b. Let r be v(u). Is (-9)/r - (-2083)/4 prime?
True
Let z be -4 - 63*392/(-12). Suppose i + 3*d - 654 - 373 = 0, 5*d + z = 2*i. Is i composite?
True
Let o = -34080 + 60997. Is o prime?
False
Suppose 4*l = -2*n + 42350, -3*l + 2*n = -0*l - 31780. Suppose -4*q + l = c, 2*q - 4936 = 3*c + 352. Is q prime?
True
Let s be 2/(-6)*-4 - (-82)/123. Suppose 4*m - k = -6*k + 10099, k + 5039 = s*m. Is m prime?
True
Let y be 12/24*0/2. Suppose 5*j - 1 = -3*v + 40, v = -3*j + 23. Suppose j*m - 4*l - 124 = 3*m, y = -5*l - 25. Is m prime?
False
Suppose -47052 = -j - 2*j. Let h = j - 11149. Is h composite?
True
Let y(d) = 4982*d - 787. Is y(15) a composite number?
False
Let x = 1476925 - 823728. Is x composite?
False
Suppose -76*y - 15589 = -p - 72*y, y = 0. Let d = 23742 - p. Is d composite?
True
Let h(y) = 19*y**2 + 8*y + 4. Let s = 8 + -7. Let g(w) = w - 1. Let b(k) = s*h(k) - 3*g(k). Is b(-3) prime?
True
Let c(a) = 14478*a + 4969. Is c(6) composite?
False
Let f = 38666 + -22513. Is f composite?
True
Let b(h) = 359891*h + 16505. Is b(6) composite?
False
Let g be 534/24*(2 + 2 - 0). Suppose -g*j - 11692 = -93*j. Is j prime?
False
Let p(z) = 2756*z**2 + 15848*z**2 - 733*z - 17 + 8877*z**2 + 748*z. Is p(1) a composite number?
False
Suppose -24286 + 79588 = 39*l. Is l prime?
False
Suppose 1155*n + 836898 = 1161*n. Is n a prime number?
True
Suppose 3*g = -17*g - 4224 + 58364. Is g a composite number?
False
Is (1 - (-147554)/4)*(-4508)/(-966) prime?
False
Suppose -l = -f + 830790, -3*l + 1794193 = 2*f + 132618. Is f a prime number?
True
Let n(j) = -733*j - 3. Let k(x) = -1466*x - 7. Let b(r) = 4*k(r) - 9*n(r). Let i(z) = 1466*z - 1. Let l(f) = -9*b(f) + 4*i(f). Is l(-2) a prime number?
True
Let z(l) = -l**2 - 12*l + 13. Let j(i) = -i**2 - 13*i + 13. Let x(q) = 5*j(q) - 6*z(q). Let t be x(-5). Let v = 654 - t. Is v composite?
False
Let o = -73831 + 154578. Is o a composite number?
False
Let q(l) = 620*l**2 - 76*l - 347. Is q