*t, -t = -4*t - 2*z + i. Is t a composite number?
True
Let x be 33/(-6) + 3/6. Let f = 14 + x. Is ((-57)/f + 0)*-15 composite?
True
Suppose 5*u + 4*p - p - 9 = 0, 0 = -2*u - 3*p. Let c = u - 1. Suppose c*o = 3*o - 553. Is o a composite number?
True
Suppose 5*k + 2*l = 0, -5 + 2 = k + l. Let t(q) = 14*q**3 - q**2 + q - 1. Is t(k) a prime number?
True
Let r(g) = -g**3 + 18*g**2 + g - 5. Let k be -20*(12/(-16))/(-1). Let l = k + 30. Is r(l) prime?
False
Let t be 49/14 + (-2)/(-4). Is 70/t*114/95 prime?
False
Let y = -114 - -119. Suppose -s + 625 = 4*s. Suppose s = 10*v - y*v. Is v a prime number?
False
Suppose 3*u + 2*j - 51106 = j, 4*j = u - 17031. Is u prime?
False
Let k = 469 + 145. Suppose -l - 4*h = -697, -l + k + 83 = 2*h. Is l composite?
True
Suppose -14*g + 17*g - 9021 = 0. Is g composite?
True
Let m = -23 + 17. Let y = -8 - m. Is (2 - 2) + 21 + y a prime number?
True
Let m(c) = 385*c**2 - 12*c - 36. Is m(-5) a prime number?
True
Let h(c) = -2*c + 4. Let v be h(-10). Let n = v - 20. Is (-1018)/(1 + (1 - n)) prime?
True
Suppose -y = -3*a - 14, 0*y + a = -5*y + 38. Suppose y*x - 3*x - 255 = 0. Is x composite?
True
Let i be -1 - (-110)/7 - 12/(-42). Suppose -4*c + 3 = i, -4*s = 2*c - 226. Is s a prime number?
False
Let w be (-10)/4*88/(-55). Suppose -2*m + 211 = k, -w*m - 3*k + 282 + 137 = 0. Let t = m - -108. Is t a prime number?
False
Let a(h) = 502*h + 24. Is a(1) a prime number?
False
Let t(r) = -1640*r + 19. Is t(-2) a composite number?
False
Let q(f) = -3*f**2 - 12*f - 7. Let j be (-88)/(-33)*(-18)/8. Let y(w) = -7*w**2 - 23*w - 14. Let t(k) = j*y(k) + 11*q(k). Is t(-4) prime?
True
Let k = 4 + -2. Let p(u) = -8*u**2 - 2*u. Let d(m) = -8*m**2 - 3*m + 1. Let q(z) = k*p(z) - 3*d(z). Is q(4) a prime number?
False
Suppose -5*i = -3*d + 44554, 3*d - 44504 = 3*i - 8*i. Is d a composite number?
False
Suppose 2*x - 212 - 340 = 0. Suppose -x = 3*c + c + n, -3*n = 12. Let d = c + 277. Is d a composite number?
True
Let r(z) = -10*z**3 + 10*z**2 - 3*z + 5. Is r(-7) composite?
True
Let z = 49729 - 34760. Is z composite?
False
Suppose -2*f - 2*f = -3*a + 116, 3*a = -f + 106. Let r = a - 21. Is 5034/r + 12/(-20) a prime number?
False
Let h(j) = 148*j**2 - 2*j + 23. Is h(3) composite?
True
Suppose -623 = -4*d + 509. Suppose -2*t + 4 + 0 = 0. Suppose t*z = -s + 230 + d, -4*s = -2*z + 538. Is z prime?
False
Suppose 7*y = 10*y - 9. Suppose -3*t + 5*s + 15 = 0, -y*s + 9 = -0*s. Is 383/3 - t/15 a prime number?
True
Let m(q) = 2*q**3 - 7 - 14 - 3*q**2 - 13 - 7*q + 43. Is m(7) a composite number?
False
Suppose 0 = -5*u - 4*y + 748, -3*u + 4*y + 471 = -y. Is (-38)/(-4)*(u + -10) a composite number?
True
Let m(w) = 4*w**3 + 3*w - 2. Let j be m(-5). Let s = j - -839. Let q = -65 + s. Is q composite?
False
Is -1*3*(83993/(-21) - -10) composite?
False
Suppose 27*o - 5691 - 353166 = 0. Is o a prime number?
True
Suppose -2*q - f + 18 = 3*f, 2*f = 4*q - 6. Suppose -q*s + 16 = s. Suppose -4*x = -3*a - 1210, s*a + a = -x + 291. Is x prime?
False
Is (44/33)/(4/3)*9311 a prime number?
True
Let y be (-610)/(-12) - (-6)/36. Let d be y - 0 - (-5 + 6). Suppose -6*j + 4*j = -d. Is j composite?
True
Let x(a) = 5*a**3 + 20*a**2 - 12*a - 31. Let p(l) = 11*l**3 + 41*l**2 - 24*l - 63. Let q(c) = -6*p(c) + 13*x(c). Is q(12) prime?
False
Suppose 5*l - 2*d = 20, -2*l + 3 + 5 = -3*d. Is (-6)/(l/(-7) - 1228/(-2198)) prime?
False
Let v(a) = -a**2 + a + 1. Let y(s) = -s**3 - 4*s**2 + 4*s + 118. Let n be (4 + (-38)/8)*4. Let m(f) = n*v(f) + y(f). Is m(0) a composite number?
True
Let r(n) be the first derivative of n**4/4 - 2*n**3 + 7*n**2/2 + 19*n - 8. Is r(10) a prime number?
False
Suppose 5*k - 20 = 0, 5*c + k = -4*k + 12075. Is c prime?
True
Let p be (0 - 0)*74/148. Suppose -5*h + 893 = w, 3*h - 278 - 259 = -w. Suppose p = 3*a + h - 775. Is a prime?
True
Suppose -f + 2522 + 8126 = 2*p, p = 3*f + 5317. Is p prime?
True
Suppose 5*i = -10 + 35. Suppose -i*u - 950 = -2580. Is u prime?
False
Suppose 2*g = 5*b + 3071, 3*g + 2*g + 4*b = 7595. Is g prime?
True
Suppose -18*x = -5*x + 78. Is 1 + 5/x + 10275/18 a composite number?
False
Let f be ((-1)/2)/(2/(-24)). Let p(v) be the second derivative of v**4/12 + v**3/6 + 7*v**2/2 + 14*v. Is p(f) composite?
True
Let h = 58 - 62. Is (-3)/((-6)/h) + 11445/5 prime?
True
Let v(g) = -56*g**3 - 9*g**2 - 8*g - 18. Is v(-7) composite?
True
Let b(p) be the first derivative of 36*p**2 - p - 5. Let r be b(2). Suppose -453 = -4*y - 3*j + r, 0 = 5*j. Is y a prime number?
True
Let s = -17 - -20. Let c(g) = 2*g**3 + 8 - 4*g - 7*g**2 - 1 - 3*g**3 - g**s. Is c(-6) composite?
False
Suppose -8*b + 29*b = 141477. Is b a composite number?
False
Let p(f) = -f + 51*f**2 - f + f - 3. Is p(-5) a prime number?
True
Is (-944)/120 + 8 + 73093/15 prime?
False
Let y = 14256 + -6277. Is y a composite number?
True
Let c(t) be the second derivative of -t**5/20 + t**4/3 - t**3/6 + 2*t**2 + 7*t. Let x be c(4). Suppose x = 9*q - 4*q - 335. Is q a composite number?
False
Suppose -5*q + 17 = -8. Suppose -1142 - 113 = -q*m - 4*y, 0 = 5*m - 2*y - 1255. Is m a prime number?
True
Suppose -3*x - 2*s = 3*s - 13871, x + 3*s - 4625 = 0. Is x composite?
True
Let a(j) = 101*j**2 + 17*j - 29. Is a(5) a composite number?
True
Let n(r) = r**3 + 9*r**2 + 2*r - 1. Let z(u) be the third derivative of -u**4/24 - 17*u**3/6 - 4*u**2. Let o be z(-10). Is n(o) a composite number?
False
Let t(f) = -4*f + 8. Let v be t(2). Suppose v = -26*n + 15*n + 58267. Is n prime?
True
Suppose -30*a - 75*a + 4621785 = 0. Is a a composite number?
False
Let s be 3/(-9) + 64/12. Suppose -v = -s*q + 35, -5*q = -11 + 1. Is (-15)/v - 456/(-15) a prime number?
True
Let y(a) = -3*a - 6. Let l be y(-6). Is (2622/l)/((-2)/(-4)) composite?
True
Let p(s) = 42*s**3 - 2*s**2 - 3*s + 6. Let t be p(3). Suppose -j + 4*j = t. Is j composite?
True
Let u = 31 - 35. Let d be 3368 + 4/(u/3). Suppose r = 5*k - 0*r - d, r = 0. Is k composite?
False
Let d(p) = p**3 - 3*p**2 + p + 1. Suppose -5*h = -2*i + 1, 4 = 4*i - 5*h - 3. Let s be d(i). Is (3/6)/(s/184) composite?
False
Suppose 13*k - 17*k = 172. Let d = k + 966. Is d a prime number?
False
Suppose -42*l = -1082001 - 169641. Is l prime?
False
Let o = 681 + 621. Suppose 7*r - 5047 = -o. Is r a prime number?
False
Is ((-88)/20)/((-36)/64710) a composite number?
True
Suppose 4*b + 2 = 5*c - 1, -c - 4*b + 15 = 0. Let i(a) = -169*a - 7. Let s be i(-3). Suppose d = -c*w + s, -4*d + 8*d - 4*w = 1920. Is d a prime number?
False
Let w(a) = 469*a**3 - 2*a - 5 + 17 - 11 - a**2. Is w(1) composite?
False
Let g = -37491 - -62602. Is g a prime number?
True
Is (-58)/(-464) + 4391/8 + 2 prime?
False
Let c = 33699 + -21460. Is c prime?
True
Let n(s) = s**3 + 3*s**2 + 2*s. Let a be n(-2). Suppose -i + 7 + 2 = a. Suppose 0 = 4*q - i*q + 395. Is q composite?
False
Suppose 0 + 24 = 8*l. Suppose 0 = 4*m - 1836 + 568. Suppose -l*c - m = -1448. Is c prime?
False
Suppose 239640 = 9*r + 34359. Is r composite?
True
Let x(a) = 537*a**2 - 8*a + 45. Is x(4) a composite number?
True
Let h = -13641 + 32168. Is h prime?
False
Let s(b) = b**2 + b - 10. Let p be s(3). Let c(n) = 162*n**3 - n**2 - n + 3. Is c(p) composite?
True
Let y = 77121 + -42314. Is y prime?
True
Let z = 27 + -21. Let b(c) = -c + 5 - z*c + 2*c**2 + 2 - c. Is b(6) a prime number?
True
Suppose -4 - 4 = -4*o. Suppose 3*f + o*f - h = -836, 8 = -2*h. Let r = f - -247. Is r composite?
False
Let s(z) = 2*z - 267. Let c be s(0). Suppose 0 = -4*b - 5*k - 1887, b - 6*k + 498 = -2*k. Let x = c - b. Is x a prime number?
True
Let d = 104 + -100. Suppose -5*o + d*o = -4*t - 4053, -4*o - t + 16178 = 0. Is o a composite number?
True
Let q = -43 + 100. Is -1*(4 - (-4 + q)) composite?
True
Let u = -14 + 19. Suppose u*h = x - 656, 0*x - 5*h - 1938 = -3*x. Is x a composite number?
False
Suppose 70 = 5*z - 65. Suppose 22 = 5*l + z. Let f(k) = -378*k**3 - k. Is f(l) prime?
True
Let u = -3353 - -10176. Is u a prime number?
True
Let r = -11066 - -16605. Is r a prime number?
False
Let d be ((-12)/(-20))/(3/15). Suppose d*a + 1031 = 5*k, -k + 3*a + 211 = -0*k. Is k a composite number?
True
Suppose 3*t - 6126 = -3*t. Let l = -686 + t. Is l prime?
False
Suppose 32*w - 135718 = 67450. Is w composite?
True
Let h = 37 - 64. Is (-6)/h - (3 + 10384/(-9)) composite?
False
Suppose 1288 