
False
Let a(j) = 2*j**3 + 27*j**2 + 96*j - 296. Is a(41) a prime number?
True
Suppose 111 = 27*a + 10*a. Suppose -1519 + 11800 = a*l. Is l prime?
False
Suppose -14*i + 1520 = -10*i. Let q = i + -157. Is q prime?
True
Suppose -17*l = -496 - 11863. Suppose -l = 3*b - 5*u - 13052, -5*b = 3*u - 20587. Is b a composite number?
True
Let j = 1030151 + -621394. Is j prime?
False
Let y(p) = 3186*p + 5379. Is y(7) a prime number?
False
Suppose -5 + 29 = 6*f. Is (-2)/((-4)/13816*f) prime?
False
Suppose 526*u - 601*u + 2109525 = 0. Is u prime?
False
Let s = 350668 - 190407. Is s composite?
True
Suppose 2*f + 3*o - 15806 = 0, -2*o - 11909 - 3937 = -2*f. Is f a prime number?
False
Suppose -n + 2*j + 11315 = 0, 0 = -23*n + 24*n + 3*j - 11305. Is n composite?
False
Let x = -70 - -10. Let b = x + 66. Is b/10 - (-21422)/5 composite?
True
Let y(d) = -22*d + 10. Let a be y(1). Is (4/10)/(a/(-43170)) a composite number?
False
Let l(n) = -n**3 + 6*n**2 - 2 - 2 - 12*n - 6*n + 8*n. Let v be l(4). Is ((-344)/v)/(1 - (-3)/(-9)) a prime number?
True
Let c = 219028 - 120825. Is c a prime number?
False
Let v(w) = 7*w + 140. Let n be v(-20). Is 5962 + 6/(n + -2 - 0) a prime number?
False
Suppose 4860*d - 4844*d - 932336 = 0. Is d prime?
True
Suppose -30*x + 2775872 = -6436858. Is x composite?
False
Suppose -16*g = -17*g + 17. Suppose -19*y + g*y = -3554. Is y prime?
True
Let p(n) = 12*n**3 - 17*n**2 + 15*n - 17. Is p(7) composite?
False
Suppose p + j = -77, 0*j = p - 5*j + 53. Let f = p + 75. Let l(h) = 10*h**3 + h - 3. Is l(f) prime?
True
Suppose 9521956 - 26396485 = -21*i. Is i a composite number?
False
Let z(q) = q**3 + 5*q**2 - 32*q - 25. Suppose -2*f = -w - 0*w - 34, -3*w + 34 = 2*f. Is z(f) a prime number?
False
Let o be (-47277)/(-5) - 4/10. Let j(a) = 68*a**2 + 52*a + 22. Let m be j(9). Let b = o - m. Is b prime?
True
Suppose 23*z - 2148995 - 805560 - 387644 = 0. Is z a composite number?
True
Suppose 5*r - 156 = 2*r. Let h = r + -47. Suppose -2 = h*a - 127. Is a a composite number?
True
Let q(m) = 864*m**2 - 2*m + 8. Let n be q(-3). Suppose -3*u = n - 28205. Is u composite?
True
Let r(m) = -5974*m**3 + 24*m**2 - 43*m + 18. Is r(-5) composite?
False
Let i = 52604 - 29250. Is i a prime number?
False
Let q(k) = 69051*k + 112. Is q(11) a composite number?
False
Let q(t) = 115*t**2 - 8*t - 30. Let a be q(4). Let h = a + 659. Is h a prime number?
True
Let s = 59 + -49. Let q(n) = -n**3 + 12*n**2 - 20*n + 6. Let i be q(s). Suppose 2*k - i*k + 14664 = -4*t, 0 = -2*k - t + 7317. Is k composite?
True
Let z(l) = 2*l**3 - 2*l**2 + 18*l - 8. Let w(c) = c**2. Let r(i) = 5*w(i) + z(i). Is r(5) prime?
False
Suppose -2*g = 3*a - 4393, 2 + 4 = 3*g. Suppose 47*d - 49*d - 5*y + a = 0, 2182 = 3*d + 5*y. Is d prime?
True
Let w(k) = -243*k - 2. Let n be w(2). Let u be 6 + (14 + 11971)/(-17). Let y = n - u. Is y composite?
False
Let m be 2/(-4)*(-9 - -19). Is m/(-10)*2955*(-2)/(-3) composite?
True
Let m be (8/12)/(2/6). Let h be -93*(8 - (3 - m)). Let q = 30 - h. Is q composite?
True
Let l = 208102 - 113579. Suppose -l = 12*r - 23*r. Is r a composite number?
True
Let x = -29 - -37. Let r be (x/(-7))/(-1)*14/4. Suppose 272 = 5*v + 2*s - 16, -54 = -v - r*s. Is v prime?
False
Let x be ((-4)/(-3))/((-36)/(-81)). Suppose -21688 - 14535 = -4*g - j, -4*g + x*j = -36243. Is g prime?
False
Suppose 0 = -2*b - 2*x - 40, 0 = -5*b + 3*b - 4*x - 48. Let l(w) = -341*w - 21. Is l(b) prime?
False
Let h be (-2)/10 - (-6902)/(-290). Is (-6159)/1*8/h composite?
False
Let b be ((-30)/45)/(1/(-6)). Suppose -5*l - 25 = 0, 3*c - b*l = -l + 75108. Is c prime?
True
Suppose -11 = -q - 64. Suppose -45 = 110*d - 95*d. Is (q - 0)*(d - 2) a composite number?
True
Suppose -3*f + 36101 = f + 9*f. Is f prime?
True
Let q(a) be the first derivative of -a**2/2 + 15*a - 10. Let m be q(9). Suppose 0 = m*c - 6865 - 1301. Is c a composite number?
False
Suppose 5*c - 467699 - 705871 = -4*s, 3*s - 3*c - 880191 = 0. Is s composite?
True
Let v be ((-321912)/3)/(26/429). Is v/(-154) + (22/7 - 3) a composite number?
False
Suppose -51*m + 15582417 = -5293295 - 336157. Is m prime?
False
Suppose 11*f = 115 - 16. Let j be (-2)/(-9) - 11/f. Is (-1693 - 0/3)/j prime?
True
Let g(f) = -335*f + 3. Let b be g(-1). Let n = 479 + b. Let z = 1170 - n. Is z composite?
False
Let w(s) be the first derivative of s**4/4 - 2*s**3/3 - 3*s**2/2 + 5*s + 21. Let x be w(3). Suppose x*c - 2*c - 867 = 0. Is c a composite number?
True
Let d = 867 + -224. Suppose 12*h = d - 7. Is h prime?
True
Let c(g) be the second derivative of g**5/20 + g**4/6 - 3*g**3/2 - 14*g**2 - 124*g. Is c(10) prime?
False
Suppose 2*c + 2*l - 1118082 = 416592, 5*c - 3836703 = 4*l. Is c prime?
True
Let q be 1/4 + (-68978)/(-56). Let s = q - 823. Is s a prime number?
True
Let z(d) = -8*d**3 - 53*d**2 + 18*d - 1564. Is z(-49) a composite number?
False
Suppose 2*s = -3*p - 990, 0 = 3*p + 2*s - 4*s + 978. Let y be (-1)/2 + 3282/(-4). Let l = p - y. Is l composite?
True
Suppose -226940 = -40*s - 113*s + 70339. Is s a prime number?
False
Let q(r) = 5*r**3 + 41*r**2 + 10*r - 5. Let g be q(-10). Let n = g + 1414. Is n a composite number?
False
Suppose -2*o + 2486 - 2462 = 0. Suppose -o*y + 145596 - 54384 = 0. Is y a composite number?
True
Let p(u) = 457*u + 41. Let d be p(1). Let b be 2/(-8) - (-2454)/(-8). Let q = d + b. Is q a composite number?
False
Suppose 0 = 3*o + o - 5*c - 69697, 5*o = 4*c + 87110. Suppose -3*h - 2*m = o, -2*h - 2*m - 5397 = 6217. Let p = h + 8277. Is p prime?
True
Let h = -551 + 576. Suppose -h*t = -4*t - 42105. Is t a prime number?
False
Suppose -58*z + 22860715 = -15738343. Is z a prime number?
True
Let z(i) = i**3 - 43*i**2 - 48*i + 176. Let d be z(44). Suppose -v + 1 = d, 13*n + 4*v = 17*n - 23808. Is n a composite number?
False
Let h(p) = -39*p. Let l be h(-8). Suppose -4*c - l = 4*r, 4*r - 354 = 5*c - 0*c. Let b = 205 + c. Is b composite?
False
Let u be (-28556)/(-88) - (-2)/4. Let x = u - -630. Is x composite?
True
Let f be 1/((-52389)/104790 - 2/(-4)). Let a be 3*2 + (2 - 3). Suppose 10*i = a*i + f. Is i a prime number?
False
Let h(j) = -j**2 - j + 8818. Let a be h(0). Let y = a + -196. Suppose -y = -11*x + 5*x. Is x a prime number?
False
Let v = -291812 - -502959. Is v a prime number?
False
Let s be 32/32 - 1/(-1). Let n(o) = 926*o**3 + 8*o - 7. Is n(s) a prime number?
True
Is (-1)/9 - (-91064)/18 a composite number?
False
Let c(m) = -214*m**2 - 10*m + 1. Let d(y) = 215*y**2 + 12*y - 1. Let t(q) = -6*c(q) - 5*d(q). Is t(-4) composite?
False
Let k(f) be the third derivative of -f**5/15 - 23*f**4/24 - 8*f**3/3 + 24*f**2. Let m be k(-18). Is 0 + (-3)/6*m a composite number?
False
Let d = 5180 + -3661. Let j = d - 753. Let b = j - 185. Is b composite?
True
Let r = 50876 - -181575. Is r prime?
True
Suppose -52*g - 578280 = -2*x - 47*g, -4*x + 4*g = -1156572. Is x prime?
False
Suppose 5*n + 2*t + 4 = -2*t, -5*n - 2*t = 2. Suppose 3*r - 4*r - 4 = 0, n = -5*l - r + 16. Suppose -l*k = -4*d - 3852, 0*d - 2875 = -3*k - 4*d. Is k composite?
True
Let h = -357 - -359. Is ((-2)/h - -4) + 3758 a composite number?
False
Let f = -37 + 37. Suppose 8*g - 15208 - 5832 = f. Is (-2)/(-3 + g/878) a composite number?
False
Let g(y) = 3424*y**2 + 39*y - 3. Is g(4) prime?
False
Let r(c) = 17469*c**2 + 42*c + 40. Is r(-1) prime?
True
Is 24022 + -7*75/(-105) a prime number?
False
Suppose -8*r = 169 + 207. Let c be r/(1 + (-279)/276). Suppose -7*x + c + 11314 = 0. Is x a prime number?
False
Let q(p) = -10*p + 4. Let j be q(-3). Is j*21 - 3 - (-6)/(-3) a composite number?
False
Let y = -335 - -340. Let h(g) = 548*g + 3. Is h(y) composite?
True
Let o = -123349 + 202490. Is o composite?
True
Let t(u) = -2*u - 35. Let l(s) = -2*s - 35. Let m(q) = -4*l(q) + 5*t(q). Let h be m(-19). Suppose -8*v + 470 = -h*v. Is v a prime number?
False
Let f be (-15)/75 - 4/5. Let k(b) = -1986*b**3 - 3*b**2 + 3*b - 1. Let z(l) = -1324*l**3 - 2*l**2 + 2*l - 1. Let j(t) = 5*k(t) - 7*z(t). Is j(f) prime?
False
Suppose 4*g = j - 12, 3*j + 7 = 3*g + 16. Let v(w) = w + 1370. Let r be v(j). Let l = -283 + r. Is l composite?
False
Let v(a) = a**3 + 10*a**2 + 1. Let n be v(-10). Let x(c) = 513*c - 6 - 84*c + n. Is x(4) composite?
True
Let k = -250 - -249. Is (0 + -1)/(2 + k) + 8810 composite?
True
Suppose 167*o = 171*