 a = 997 - q. Is a composite?
True
Let a(b) = -b**3 - 16*b**2 - 17*b + 12. Let x be a(-15). Suppose -w + 11 = x. Is (w/5)/(2/(-10)) composite?
False
Let o be -5 + (0 - -2) - (-7 - -6). Let h(n) = 2*n**2 - n - 2. Let u be h(o). Suppose -22 = -3*d + u. Is d prime?
False
Suppose 52*f = 47*f + 125. Suppose 0 = f*b - 29*b + 16. Suppose -4*x - 3*u + 118 - 32 = 0, b = -2*u. Is x prime?
True
Let s be (6 - 2)/((-4)/10). Let g(y) = -2*y**3 - 6*y**2 - 11*y + 6. Let o be g(s). Suppose -2*l = 158 - o. Is l prime?
False
Let l(n) be the second derivative of 1611*n**3/2 + n**2/2 - 4*n - 6. Is l(2) a composite number?
True
Let w be 3*(3*-1 + (-30)/18). Let l(m) = m**2 + 12*m - 22. Let f be l(w). Is (-58448)/(-24) + (-2)/f composite?
True
Suppose 0 = 12*w - 6*w - 30. Suppose -w*u = -20*u + 21585. Is u prime?
True
Suppose 0 = -b - t + 33738, -4*b + 2*t - 202432 = -10*b. Is b a prime number?
True
Suppose 12 = -4*l, 3*g - 3278 - 6814 = -3*l. Let j = g - 1418. Is j a prime number?
True
Suppose -17342 = -4*d + 3054. Suppose -4*x - d = -13983. Is x a prime number?
True
Let w(v) = 249*v**2 + 2*v - 9. Suppose -3*h = -6 + 18. Is w(h) prime?
True
Let u(t) = -4*t**2 - 22*t - 11. Let g(l) be the first derivative of 7*l**3/3 + 45*l**2/2 + 22*l + 30. Let n(y) = -3*g(y) - 5*u(y). Is n(-24) a prime number?
True
Let d(i) = -i**3 + i**2 + 1. Let g(p) = -5*p**3 - 22*p**2 - 8*p - 27. Let a(f) = 6*d(f) - g(f). Is a(28) prime?
True
Let g = 39307 + -25784. Is g prime?
True
Suppose 58241 = -43*i + 46*i - 5*f, 4*f = 4*i - 77660. Suppose -5*z - 4*j = -52157, 2*j + 22319 = 4*z - i. Is z a prime number?
True
Let m = -162 - -520. Suppose 1869 = i - m. Is i a composite number?
True
Suppose 1523*r + 3740 = 1512*r. Let k = -1 - 32. Let t = k - r. Is t prime?
True
Suppose -5*a + 3*b = -163678 - 37928, -5*a = 5*b - 201590. Suppose 10*q - 162950 - a = 0. Is q a prime number?
True
Let h(p) = -2*p**3 - 34*p**2 - 30*p + 2719. Is h(-49) prime?
False
Let d(c) = -16*c**3 + c**2 + 5*c + 5. Let f be ((-34)/(-85))/((8/10)/(-4)). Is d(f) composite?
False
Let u be ((1 + 1)*-1)/(3 + -1). Let v(b) = -615*b**3 - 2*b**2. Is v(u) composite?
False
Let d(r) = r + 1543 + 8*r - 4*r + r**2 - 6*r. Is d(0) composite?
False
Is 12 + (-13)/((-130)/2058210) a prime number?
False
Is (-1 - -828402) + 0*(240/36 - 7) prime?
False
Let i(c) = c**3 + 16*c**2 - 29*c - 7. Suppose -304*p + 310*p = -84. Is i(p) a composite number?
True
Let f(j) = 2*j**2 - 8*j + 2. Let r be f(6). Suppose 0 = b + 4*o - 2485, 5*b + r - 12526 = -5*o. Suppose -g = -2*h + b, -5*h + 2*g = -10*h + 6285. Is h prime?
False
Let p be (-1836)/(-45) - 4/5. Let b = -37 + p. Suppose 5*q + 7636 = 6*v - b*v, 12690 = 5*v - q. Is v a composite number?
True
Suppose 12*w = -0*w - 136092. Let f = 16860 + w. Is f a prime number?
True
Suppose -4*g - 24 = 0, 158*q + 2959970 = 162*q - 5*g. Is q composite?
True
Let z = 128 - 203. Let d = -72 - z. Suppose -h = -d, -2*o + 1496 - 70 = -4*h. Is o a composite number?
False
Let t(n) = n - 52. Let c be t(29). Let x = c + 28. Is 2941 + ((-20)/x)/2 a composite number?
False
Suppose -5*l + 5*t + 1259595 = 0, 0 = l + 2*t - 137194 - 114731. Is l a composite number?
True
Let s(x) = -7081*x + 2. Let p be s(1). Let m = p + 14148. Is m prime?
True
Let p = -366761 + 743190. Is p composite?
True
Let i = 699701 - -753812. Is i a prime number?
True
Let m(c) = -2828*c**3 - 21*c**2 - 64*c - 85. Is m(-6) a composite number?
False
Let x(p) = p**2 - 13*p - 18. Let r be x(15). Let b(f) = 222*f + 22. Let j be b(r). Suppose j = 3*i - 5849. Is i prime?
False
Let d be 81768/(-1) - (7 + -4). Let p = d + 116122. Is p a composite number?
False
Suppose -38*c = -32*c - 30, -2*p - 5*c + 319203 = 0. Is p composite?
False
Suppose 4*f - 21280 = 4*o, -623 + 5931 = f - 5*o. Is f prime?
True
Suppose 0 = -0*u - 5*u - 3*h + 5181, -h + 3107 = 3*u. Let s = 1450 - u. Suppose 2*g = 31 + s. Is g prime?
True
Suppose -5*z = -5*p - 3075, -4*z + 5*p = 3*p - 2464. Suppose 11*q + z = -17126. Let g = q - -3094. Is g prime?
True
Suppose -a = 4*d - 10960, 4*a = 2*d - 0*d - 5462. Let x = d - -2884. Suppose -x = 8*u - 17471. Is u a composite number?
False
Let k = 38 - 11. Let s(c) = 149*c - 656*c + k - 496*c + 95*c. Is s(-4) composite?
False
Let p(h) = 26*h - 16. Let s(w) = 1. Let o(q) = -2*q**2 - 23*q + 17. Let i be o(-12). Let c(v) = i*s(v) - p(v). Is c(-7) a composite number?
True
Suppose -5*o + 32*j + 261787 = 35*j, 3*o = j + 157089. Is o a composite number?
False
Suppose 6*s - 5*s - 10 = 2*v, 4*v + 20 = 4*s. Suppose -3*b - 2*x = -4*b + 687, s = b + 3*x - 697. Is b composite?
False
Suppose 0 = 5*y - 5*g - 5763725, -2*g = -4*y - 0*y + 4610992. Is y prime?
True
Let x = 47 + -110. Let n = -61 - x. Suppose n*y + f - 2366 = -y, -f - 2356 = -3*y. Is y composite?
False
Let u(v) = 79*v**3 - 9*v + 1 + 906*v**2 + 3*v**3 - 903*v**2. Is u(4) a prime number?
True
Suppose -3*t + b + 4*b - 149 = 0, 3*t - 3*b + 153 = 0. Let c = t + 51. Is c/(2 - 82*(-28)/(-1146)) a composite number?
True
Let m(q) be the third derivative of q**6/120 - q**5/20 - 5*q**4/2 - 5*q**3/6 + 3*q**2 - 2. Is m(16) a composite number?
True
Let z(h) = 4*h**3 - 8*h**2 + 14*h + 16. Let b(x) = -7*x**3 + 17*x**2 - 27*x - 32. Let u(c) = 3*b(c) + 5*z(c). Is u(-11) a composite number?
False
Let t = -77 + 50. Let j be 33/t - -3*2/27. Let z(q) = -287*q**3 + q**2 + q. Is z(j) prime?
False
Suppose -5*q + 211795 = -h, -h = -q + 2369 + 39990. Is q prime?
True
Suppose -3*w + 15081 = -4*w + 47486. Is w prime?
False
Let x = 13 + 2. Let q(b) = b**2 - 17*b + 34. Let m be q(x). Suppose m*v - 585 = 251. Is v prime?
False
Let x(m) = m**3 + 19*m**2 - 23*m - 60. Let w be x(-20). Suppose -5*n + 5867 + 23028 = w. Is n a composite number?
False
Let z(f) = -27891*f**3 - 8*f**2 - 50*f - 67. Is z(-2) a composite number?
False
Let w(a) = -57*a + 11. Let b(y) = -4*y + 34. Let k be b(12). Is w(k) a prime number?
True
Let y(b) = -839*b + 1835. Is y(-16) a prime number?
True
Let w(j) = -j**2 + 19*j - 16. Let i be w(16). Suppose i*b = 36*b - 6824. Is b a prime number?
False
Let g(o) = 5690*o**2 + 622*o - 4397. Is g(7) prime?
True
Suppose 4*b = 2*m + 6, -6*b + 3*m + 7 = -b. Let c = 8 + -5. Is 12894/b*c/((-54)/(-6)) a composite number?
True
Suppose 66*a + 0*a = -36*a + 65025306. Is a a composite number?
True
Let a(f) = -6*f**3 + 4*f + 43*f**3 - 10 + 10*f - 55 - 4 - 5*f**2. Is a(6) prime?
False
Suppose -65*j + 61*j - 88 = 0. Is ((-71870)/15)/(j/33) prime?
True
Let n be -7 + 35 - 0/(-5 - -3). Let p(q) = 9*q**2 + 16*q - 23. Is p(n) prime?
True
Let z(x) = -33*x**3 - 3*x**2 + 47*x**3 - 3*x**2 + 11*x + 13 - 3*x**2 + 5*x**2. Is z(4) a composite number?
True
Let o(b) be the first derivative of 2 - 7/3*b**3 - 2*b**2 - 7/4*b**4 - 25*b. Is o(-6) composite?
False
Let y be 6/(0 + 3) - -49. Let i = 47 - y. Is -3*298*i/24 a composite number?
False
Suppose 11191430 = 68*d + 1515234. Is d a composite number?
False
Suppose 4*f - 47 = 1. Suppose 0 = -5*o + 2*r + f + 3, 0 = -3*r + 15. Suppose 4*i = -o*k + 853, 5*i = k - 2*k + 1082. Is i a composite number?
True
Let d be (-9)/(18/(-20)) - 6/(-3). Suppose d*v - 31*v = -98933. Is v a composite number?
True
Let p(i) = -i**3 + 13*i**2 - 2*i + 39. Suppose 5*t - 87 = 3*o - 0*o, -5*t - 5*o + 55 = 0. Let w be p(t). Let b = w + 2428. Is b composite?
False
Let z(q) = -2*q**2 - q + 3. Let m be z(2). Let l be m/(28/12) + 36. Suppose 5*j - 1299 = 4*s, 3*j - l - 772 = -4*s. Is j a composite number?
False
Let v be -16*12/(-8)*(-35)/(-21). Is (-10)/v - (4 + (-106197)/4) a composite number?
True
Suppose 0 = -25*z + 20*z - b + 264993, z - 4*b = 53007. Is z prime?
True
Let j(p) = -199*p**2 + 2*p - 3. Let d(t) = 198*t**2 - 3*t + 1. Let c(b) = -2*d(b) - 3*j(b). Is c(4) composite?
True
Suppose 0 = 18*a - 20*a + 25044. Let o = -8377 + a. Is o a prime number?
False
Suppose 5*d - g = -3*g - 158, 2*d = -3*g - 72. Let v be 20/3 + (-10)/d. Suppose 23 = -6*t + v*t. Is t a composite number?
False
Suppose 667*b = 771*b - 53022632. Is b a prime number?
True
Let q(k) be the first derivative of k**3 + k**2/2 + 797*k - 2. Let n(h) = h**2 + 7*h - 30. Let u be n(-10). Is q(u) a prime number?
True
Suppose 9*a - 116540 - 62362 = 0. Suppose k - 4*g = -2855 + 7838, -a = -4*k - 2*g. Is k composite?
True
Let t = 600 + -600. Suppose t = 830*z - 825*z - 121255. Is z composi