number?
False
Let t be 9/2*2/(-3). Let g = 342 + -341. Is 341 + t/(2 - -1) - g a prime number?
False
Let x(i) = i**2 - 12*i. Let w be x(10). Let l be (22 + w)*911/2. Suppose -5*s + 384 = -l. Is s composite?
True
Let s(d) = d**3 - 2*d**2 - d + 2. Let r = 13 - 13. Let g be s(r). Is (6/6)/(g + (-471)/237) a prime number?
True
Let l(s) = -7*s**3 - 2*s**2 + 2*s - 6. Let b(t) = -6*t**3 - t**2 + 2*t - 8. Let i(n) = 2*b(n) - 3*l(n). Is i(7) composite?
False
Suppose -254*x = -220*x - 299200. Let t(a) = -a. Let w be t(-2). Suppose w*n + 834 = x. Is n composite?
True
Let a be -3 + 87/27 - (-98464)/(-18). Let u = -3777 - a. Is u composite?
False
Let i(f) = 3*f**2 + 4*f - 3. Let t be i(1). Suppose -68 - 24 = -t*v. Suppose -v*s + 25*s = 802. Is s a prime number?
True
Let v(l) = -507*l**3 + 3*l**2 + 78*l + 463. Is v(-10) composite?
False
Suppose -2214106 + 358122 = -104*p. Is p composite?
True
Suppose 123480 = 4*f + 2*n, 35*f - 31*f + 4*n = 123484. Is f prime?
True
Suppose 8*u - 9 - 7 = 0. Suppose 0 = -0*b + 4*b - 3*o - u, 0 = -5*b + 4*o + 2. Is 0 - -419*(-1 + b) prime?
True
Let g = -113 + 0. Let v = g - -106. Let s(o) = -342*o + 41. Is s(v) a composite number?
True
Suppose -2*g + 16 = 12. Is (((-8)/(-6))/g)/(8/68844) prime?
True
Let t be (-36)/45 + 1/10*-2. Let x be ((-3)/9 - t)/((-3)/9). Is (-3 + 2 + -78)*(1 + x) a prime number?
True
Let l = 945190 - -671521. Is l a composite number?
False
Let s = -55 - -11. Is (58465/s)/(4/(-16)) prime?
False
Suppose -3920 - 11140 = 10*t. Let w = t - -6839. Is w composite?
False
Suppose -w = -r - 197753, -4*w + 2*r + 242765 = -548251. Is w prime?
False
Let t(p) = 10125*p**2 - 146*p + 434. Is t(3) a prime number?
True
Suppose 0 = -4*d + j + 4, 9*d - 8*d - 4*j + 14 = 0. Suppose 0 = -2*c + 3*p + 22560, 6*c - d*p - 45128 = 2*c. Is c a composite number?
True
Let y(q) = -6*q - 130. Let i be y(-19). Let j(u) = -98*u + 89. Is j(i) a prime number?
True
Suppose -2*k = -0 - 6. Suppose 4*s - 5*g - 11266 = -0*g, 3*g + 8451 = k*s. Is s prime?
True
Let f(h) be the first derivative of -5*h**3/3 + 2*h**2 - 14*h - 20. Let q be f(-7). Let g = q - -492. Is g prime?
False
Suppose 0 = 18*i - 10*i - 8. Is 7690/(9 - -1)*(i + 0) a composite number?
False
Suppose -2*i + i + 2*p - 22 = 0, p = -4*i - 124. Let c be 1/(-5) + (-96)/i + -3. Suppose -4*b + 8 = -c, 4*a = 5*b + 6762. Is a prime?
True
Let i(f) be the second derivative of -44*f**3/3 - 139*f**2/2 + 44*f - 1. Is i(-37) a composite number?
True
Suppose -55 = -2*r - 9. Is ((-2962)/2)/(r/(-23)) prime?
True
Let z = -12203 - -19821. Suppose -2130 = 2*y - 2*a - z, 5484 = 2*y + 2*a. Is y a prime number?
False
Let w(n) = 2878*n**2 - 134*n + 139. Is w(8) a prime number?
True
Suppose -18 = 2*j - 3*u, 3*j - 2*u + 44 = -6*u. Is ((-4491)/j)/(3/28) composite?
True
Let d be 2/17 - 1162/(-238). Suppose -4*y = d*i - 14341, -y = -0*y - i - 3592. Is y composite?
True
Suppose -3 = -j + 1. Is -4479*(-1)/j + 108/(-144) a composite number?
True
Suppose -5*i + 4*i = -2*x - 1151415, -3*x = i - 1151455. Is i prime?
True
Let g = 59 - 39. Let s = -20 + g. Suppose s = 5*t - 2*t - 609. Is t composite?
True
Let q = -6230 + 13723. Is q composite?
True
Let f = 20 - 16. Suppose 0 = -g - w + 367, -w + 1978 = f*g + 516. Suppose s - 4*t = -0*t + 111, g = 3*s - 4*t. Is s prime?
True
Let j = -25 - -28. Suppose -j*n = -a - 7, -a + 3 = -4*n + 14. Suppose -1451 = -a*q - 4*r + 2*r, 5*r + 301 = q. Is q a prime number?
False
Suppose -4*h - 1262 = -10594. Is h a prime number?
True
Let h(d) = 247651*d - 5992. Is h(5) composite?
True
Let a(l) be the first derivative of 116*l**3 - 3*l**2/2 - 2*l + 59. Is a(-3) a composite number?
True
Let n(l) be the first derivative of l**4/12 - 2*l**3/3 - 5*l**2 - 6*l + 11. Let p(k) be the first derivative of n(k). Is p(9) a prime number?
False
Suppose -20*r + 1396762 = 33*r. Is r composite?
True
Let n(a) = 549 - 52*a - 41*a - 415. Is n(-33) prime?
True
Let v(s) = -334*s**2 - 15*s + 23. Let i(g) = 333*g**2 + 14*g - 22. Let q(x) = 4*i(x) + 3*v(x). Let r(d) be the first derivative of q(d). Is r(3) prime?
False
Let a(c) = 3084*c**2 - 383*c - 64. Is a(-15) a prime number?
True
Suppose 0 = 445*a - 456*a + 44. Suppose 0 = 4*h + a*f - 80276, -5*h + 64342 = -2*f - 36038. Is h prime?
False
Is (-52278474)/(-174) + (0 - -12) a composite number?
False
Suppose -3*l + 4*p = -165275, -67*p = 4*l - 65*p - 220374. Is l a composite number?
True
Let g = 619 - -970. Is g a composite number?
True
Suppose -81*l + 86*l + 4*s - 4964 = 0, 994 = l + 2*s. Suppose 0*q - 939 = -3*q. Suppose -q = 7*b - l. Is b prime?
True
Suppose 2*l - 2*c = 18, -3*c + 9 = -5*l + 46. Suppose -5 = -b + 5*h, 5*h - 3*h = 5*b - 2. Suppose -1347 = -l*r + 3*s, r - 263 = -b*r - s. Is r prime?
False
Suppose 4 = 6*x - 4*x. Suppose -x*y + 4*n = -6*y + 1308, -4*y + 5*n = -1353. Suppose -3*h - y = -7*h. Is h a composite number?
False
Let g = 365 + -139. Suppose 0 = -3*c - j + g, -2*c - 5*j + 206 = c. Suppose 2*r = c + 41. Is r prime?
True
Let f = -38 - -37. Is (112/84)/(2/2487) + f a composite number?
False
Let t = 10423 + 33274. Is t a prime number?
False
Let y(r) = 2*r + 32 - 4 + 2*r - r. Let i be y(-8). Let b(n) = 8*n**3 - n**2 - 4*n + 1. Is b(i) a prime number?
False
Let o be 36505/(-4) - 250/(-200). Let v = 1536 - o. Is v prime?
False
Let x be (1959/4)/((-2)/(-8)). Suppose 48*s - 46*s = -4*n + 16, 0 = 2*n - 2*s + 4. Suppose n*t - x = -t. Is t composite?
False
Suppose -25*i + 78 = -27*i. Is (-48873)/i - (-3 - 164/(-52)) a composite number?
True
Let d(r) = -r**2 + 13*r + 2. Let b be d(13). Suppose 3*s + 3*w - 751 = -217, 0 = -b*s + 3*w + 356. Let m = s - 51. Is m a composite number?
False
Suppose -5*i + 790 = 2*r, -3*r = -5*r + 2*i + 776. Suppose -5*t + 3*v + 889 = -r, 759 = 3*t + v. Is t a composite number?
True
Suppose 72*n - 121797191 = -68*n + 13*n. Is n prime?
False
Suppose -2*y - 283503 = -j, 328*j = 323*j - 4*y + 1417501. Is j a prime number?
True
Suppose -4*u + 0 = 20, -3*m = -3*u - 30. Suppose m*i = 1288 - 9803. Let z = 1414 - i. Is z prime?
False
Suppose -10*l + 0*l + 60 = 0. Is (-5048)/(-12)*(l/4 - 0) a prime number?
True
Is (2 + (-1544420)/(-1) + 1)*1 a prime number?
True
Is 180724 + 10 + ((-63)/9 - -4) a composite number?
False
Suppose -2*c + 222 = 218, 3113920 = 2*z - 3*c. Is z prime?
True
Suppose -5*u + 28 = 8. Suppose -5*j - 10 = 5*t, u*t - 2*j = -t + 18. Suppose -2379 = -3*n - k - t*k, 2*n - 5*k = 1572. Is n composite?
True
Let t = -92826 + 162255. Is t a composite number?
True
Let p(n) = 61595*n + 18. Is p(1) prime?
True
Let g be (3 + -2)/(11/31394). Suppose -g = 4*d - 98970. Is d prime?
True
Suppose 1682739 = -22*y + 8524057. Is y a composite number?
False
Is -38*((-10)/4 - (3130 - -29)) a composite number?
True
Let m(a) = -56*a**3 + 37*a**2 + 14*a + 6. Is m(-7) composite?
False
Suppose 3*b + 14 = 2*o - o, -2 = -o. Let s be b/(-18) - (-374)/99. Is (-1)/s*-1*1172 prime?
True
Suppose -8*d = -3*d - 4*l - 3188, -4*l - 1268 = -2*d. Let p be d + 4*(-10)/(-8). Let b = p - 266. Is b prime?
True
Let y be (1194/4*-1)/((-6)/(-84)). Let m = y + 6466. Is m a prime number?
True
Let x(l) = -l**2 + 18*l + 8. Let n be x(16). Let m = n + -36. Suppose -7*i + m*i + 2739 = 0. Is i composite?
True
Let k = 4407 + -1474. Let c = k + 2286. Is c prime?
False
Let q = 15216 + -2296. Suppose r + 2*o + o = q, -2*r - o = -25855. Is r a composite number?
True
Suppose 51*i + 39*i = 16*i + 124760966. Is i a prime number?
False
Suppose -66075 - 72800 = -19*u + 168602. Is u a prime number?
True
Is 88/60*24/16*1*105535 a prime number?
False
Suppose -23 = 2*z - 1. Let p(d) = -3*d - 33. Let b be p(z). Suppose 4*r - 3*h - 792 - 1264 = b, -2*r - 2*h = -1028. Is r composite?
True
Suppose 7*u - 226163 = -h + 9*u, 3*h - 4*u = 678495. Is h prime?
True
Let p(q) = 61650*q**2 + 89*q - 3. Is p(4) a prime number?
False
Let g = 187 - 105. Let k = 617 + g. Suppose 0 = -5*y + 8*y - k. Is y a composite number?
False
Let s = -61 - -65. Suppose s*n = 4 + 12. Suppose -n*i = -4*c - 144, 2*i - i - 3*c - 30 = 0. Is i composite?
True
Suppose 5101 + 22410 = 11*d. Is d prime?
False
Let q(m) = 2*m**2 - 11*m + 17. Let c be q(3). Is -41 - -45 - (-1 + (c - 476)) a composite number?
False
Let p be -50*(4/(-26) - 599811/1326). Let f = p - 13882. Is f a composite number?
True
Suppose 45*a + 24 = 47*a + 4*b