 a = 433 + l. Is a composite?
False
Let s(h) = -3*h**3 + 23*h**2 - 5*h + 29. Let i be s(-17). Suppose 1344 = -4*f + 2*j + i, 2*j = 3*f - 15117. Is f composite?
False
Let x be 288/6*2*(4 + -3). Suppose x = 20*d - 8*d. Is 9/36 - (-5)/d*350 composite?
True
Let b(v) = -95*v + 112. Let r be b(-20). Let u = r + -551. Is u composite?
True
Let s(q) = 3*q**3 + 7*q**2 - 14*q + 22. Let v be s(-7). Let d = -123 - v. Is d composite?
False
Suppose 97*u - 100*u = -9. Suppose 2*q = 3*v - 4189, u*q = -4*v + 2*q + 5600. Is v a composite number?
False
Suppose -4*q - 18 = -2*d, -4*d - 2*q + 66 = -0*d. Is (19060/(-6))/((-40)/d + 2) prime?
False
Let v be (-2)/2 + 15*7/21. Suppose -v*m + 7 = 3*w, 6 - 8 = m - 3*w. Let n(a) = 2150*a**2 + a - 2. Is n(m) composite?
True
Suppose 3*i = 580710 - 44817. Is i a prime number?
False
Suppose 110*o = 115*o - 90. Suppose -o*k = -11256 - 8310. Is k composite?
False
Suppose -3524 = -4*p - 5*c, -5*c - 2793 = -4*p + 691. Let t = p - 549. Is t composite?
True
Let m be (-2)/((-1)/1308*63/210). Let g = m + -2607. Is g prime?
True
Suppose 177*p - 172*p - 3643886 = -3*o, -2*p = -2*o + 2429220. Is o a prime number?
True
Let f = -49 - -49. Let l be f/(-2)*4/((-12)/1). Suppose v - 673 + 172 = -5*q, v + 2*q - 495 = l. Is v prime?
True
Let h = -45 - -41. Let d be 371/77 + h/(-22). Suppose 0*u = u - d*c - 181, -8 = 2*c. Is u a composite number?
True
Let r = 716069 + -88027. Is r a composite number?
True
Suppose z - 312 = -2655. Suppose -4*d = 2*y - 6*y - 36, -5 = -y. Is 4/d - z/7 a prime number?
False
Let g = -15 - -20. Suppose g*k - 23 = -8. Is ((82/(-6))/(k/(-63)))/1 a prime number?
False
Is ((-452)/(-8))/((-2)/6548*(-3 - -2)) composite?
True
Suppose 5*o = -4*w + w + 1338552, -1784725 = -4*w - 3*o. Is w a prime number?
True
Let m(w) = w**2 - 5*w - 4. Let f be m(-4). Let t(p) = -65*p + 1 + 24*p**2 + 71*p + 2 + f*p**2. Is t(-3) composite?
True
Is 5*1/3 + 50185668/117 + 12 prime?
True
Suppose -4 = -2*o - 8. Let y(z) = z**2 - 4*z - 6. Let m be y(o). Suppose -m*g - 313 = -3439. Is g prime?
True
Let r(k) be the first derivative of k**3/3 - 4*k**2 - 50*k + 75. Is r(23) a composite number?
True
Is (142/(-568))/((-1)/1387580) a composite number?
True
Suppose -5*y - 360 = p - 6*p, 2*p - 146 = 3*y. Suppose p = 8*o - o. Suppose 0*w - 5*w = o, -4*g + 3502 = 3*w. Is g a prime number?
True
Is (-4)/30 + 15157276/345 + 17 prime?
True
Let x(g) = 3073*g**2 - 91*g + 573. Is x(8) a prime number?
False
Suppose 25 + 60 = 17*g, s = 3*g + 66206. Is s a prime number?
True
Suppose 31 = -0*g - g + 5*y, g + 31 = -2*y. Let v(t) = -100*t + 63. Is v(g) prime?
True
Let l(m) be the first derivative of 49*m**2 + 45*m + 288. Is l(4) a prime number?
False
Let y = 180321 + 235796. Is y prime?
False
Let l(h) = 52*h + 51*h + 55*h - 151*h + 51. Is l(20) composite?
False
Let y = 433 + 2408. Let t = y - 284. Is t a prime number?
True
Suppose -9*v - 97 + 394 = 0. Let n be 24/60 + 4*v/(-5). Let i = 103 + n. Is i composite?
True
Let q = 58 - 51. Suppose q*z - 20745 = 2*z. Let b = -932 + z. Is b a composite number?
False
Let x(n) = -12435*n + 2. Let y = 137 + -138. Is x(y) prime?
True
Let z(t) be the third derivative of 23*t**4/24 + 4*t**3/3 + 14*t**2. Let x be z(4). Let k = 193 - x. Is k a prime number?
False
Let n = 45667 - -44646. Is n composite?
False
Suppose -m = -101073 + 100872. Is m a prime number?
False
Let d(p) = -1004*p**3 + 16*p**2 + 48*p + 89. Is d(-4) a composite number?
True
Let o be 6/(6 - (-4)/(-1)). Let x be 3*((-4)/6)/(-1). Suppose -4*q = -o*n - 5305 + 621, 0 = x*n - 8. Is q a composite number?
True
Suppose 0 = -m - 1, 3*u - 3*m - 824 = 4132. Suppose 384 + u = 5*a. Is a a prime number?
False
Suppose -22*c = -37*c + 8*c. Suppose 0*y = 5*i + y - 26661, c = -i + 3*y + 5345. Is i prime?
True
Suppose 5*p = 3*b + b - 1206328, 3*b - 904711 = -5*p. Is b a prime number?
True
Let j be ((-66)/(-8))/(10/40). Is (j + -35)*1/(1/(-113)) prime?
False
Let b = -57878 + 177163. Is b a prime number?
False
Let p(a) = 1 - 271*a - 3 + 1 - 2. Let x be p(5). Is ((-1)/3)/(11/(-99)) - x a prime number?
True
Let a be 5588/10*(9 + -14). Is (a/33)/((-2)/3) composite?
False
Let b be (-1)/(-6) + 12/(-72). Suppose 15 = 5*j, j = -b*l + 2*l - 1. Suppose -v - 479 = -q + v, l*v = 5*q - 2395. Is q a prime number?
True
Is 210/700 - (-3414814)/20 a prime number?
True
Let r(f) = -3*f**3 + 8*f**2 - f - 10. Suppose -2*k + 4*b = 0, 2*k = 10*b - 9*b - 6. Is r(k) a composite number?
True
Suppose -24*l + 40182 = -18*l. Suppose -c - 2051 = 5*o - l, o - 5*c = 924. Is o a prime number?
True
Let n be ((-8)/8)/(7/(-287)). Suppose -125 - 275928 = -n*b. Is b prime?
True
Let d be 1*-3 + 30/(7 + -5). Suppose -3*u = 3*g - 6*u, g - 4*u = -d. Suppose 0 = j + 2*j - 5*b - 376, g = 4*b. Is j prime?
True
Suppose h = -2*j + 188515, -404*j - 942608 = -5*h - 403*j. Is h a composite number?
True
Suppose -q + 15 = 4*q. Let u(v) = 2121*v + 14. Let f(t) = -2121*t - 22. Let i(k) = 3*f(k) + 4*u(k). Is i(q) composite?
False
Suppose -16*u = -19922 - 35870. Let v = u - -9754. Is v prime?
True
Let a(u) = 3 + 197*u - 8*u - 7. Let z be a(4). Suppose 2*w + 3*p - z + 81 = 0, -5*w + 1681 = 4*p. Is w a prime number?
True
Suppose -2*u - s - 590 = 4*s, -2*u = s + 574. Let i = u + 322. Is i a composite number?
False
Let g(p) = -p**2 + 34*p + 24. Let d be g(35). Let c(n) = -416*n - 7. Is c(d) a prime number?
False
Suppose -12*b + 5*l - 56110 = -17*b, -5*l = -5*b + 56080. Is b prime?
False
Suppose 3*r + 13 = -5*m + 9*m, 3*m = -4*r + 16. Is -3646*(6 + -1)/(-1 - r) a prime number?
False
Is -3 - -9 - (-170126)/(4/2) composite?
True
Suppose -3*u - 3*n = -8*u + 20906, -4*u - n = -16735. Let r = u - 776. Is r composite?
False
Suppose 3*j + 2 = 3*k + j, 2*k = 2*j. Let x be ((-6)/k)/(30/(-20)). Suppose 6 = -3*s, x*l + 4*s - 985 = -l. Is l a composite number?
False
Let z(x) be the first derivative of 5*x**4 - 14*x**3/3 - 2*x**2 - 9*x - 6. Let p(t) = -t**3 + t**2 - t + 1. Let n(d) = 5*p(d) + z(d). Is n(7) composite?
False
Is -16 + 356555 + -2*6 composite?
True
Suppose 10*w = 6*w + 24. Suppose -5*a - w + 1 = l, 4*a = l - 4. Let c(k) = -k**2 - 4*k + 113. Is c(l) a composite number?
False
Let m = 38 - 25. Suppose 0 = 10*g - m*g + 6. Suppose -869 = -g*a - l, 1523 = 4*a - l - 230. Is a composite?
True
Let d = 165740 + -36573. Is d composite?
True
Let y(v) = v**2 - 6*v - 12. Let b be y(8). Let o be (0 - 3)*(154/21 - 8). Suppose 4*h - 12359 = -c - 3484, b*h - o*c - 8878 = 0. Is h composite?
True
Is 4708755/99 + 4/(-22) composite?
False
Is 1554824/(-20)*30/(-12) prime?
True
Let k(w) = 44*w + 49. Suppose 310 - 118 = 12*d. Is k(d) a composite number?
True
Let r(d) = -5749*d - 8217. Is r(-16) prime?
False
Let g(r) = -657*r - 1654. Is g(-49) prime?
True
Let a = 89019 - 2980. Is a prime?
False
Let n(r) = 8*r - 691. Let m be n(88). Let f(d) = -15*d**2 - 3*d + 2. Let v(a) = -a**2 - a - 1. Let l(o) = -f(o) + 5*v(o). Is l(m) prime?
True
Let x(z) = -877*z + 2. Let o be x(-4). Suppose -3*u - 2*h - 6151 = 0, u + 2049 = -581*h + 579*h. Let d = o + u. Is d a prime number?
True
Let d(a) = a**2 - 8*a - 49. Suppose r + 9 = 25. Is d(r) a prime number?
True
Suppose -11*y - 4*y + 672120 = 0. Suppose 17*d = -7*d + y. Is d a prime number?
True
Let s(a) = -311*a + 1437. Let i be s(6). Suppose -9 = -3*d + 9. Is 74/(d/(-33) - 144/i) a composite number?
True
Suppose -14*g = 27*g + 41. Is (116/(-16))/(g/2972) a prime number?
False
Let q(v) = v + 23. Let y be q(-10). Suppose -4*a - 20 = 0, w - 5*a + y = 41. Let r(o) = 15*o + 2. Is r(w) composite?
False
Let p(u) = 5*u + 7. Let t be p(0). Suppose -4*y = -3*q - 2436, -2*y + t*y - 3044 = 4*q. Suppose -500 = -4*h + y. Is h composite?
True
Is (5*(-6)/30)/(2/(-8)) - -52143 a composite number?
False
Suppose -107810 = -7*m + 685143. Is m composite?
False
Suppose -4*t - 12565 = -3*c, 35*c + 20939 = 40*c - 4*t. Is c a prime number?
False
Is ((-3)/(-12) + 14/(-8))*(-20741762)/159 a composite number?
False
Suppose -58473 = -2*r - 3*t + 94208, 3*t = -5*r + 381698. Is r a composite number?
True
Let g = 86103 + -56861. Is g a prime number?
False
Suppose 2*y - 818 + 292 = 0. Suppose -8*h + y = -177. Let g = h - 18. Is g prime?
True
Let n = -4142 - -10475. Suppose 5*x - 11020 = -5*s, 4*x - 3*s - 2483 = n. Let q = x - 1315. Is q prime?
False
Suppose 0*u - 1021 = -