q, -2*t + g = -534. Is t a composite number?
True
Is (23 - 21)/(2/7717) prime?
True
Let h(o) = -57*o - 4. Let g = 4 - 5. Is h(g) composite?
False
Suppose -41*k = -587070 - 1040753. Is k prime?
True
Let l = -8 - -10. Let y(b) = 108*b + 2. Let c be y(l). Let x = c - -221. Is x a composite number?
False
Let c = 587 + -86. Let h = 1454 - c. Is h a composite number?
False
Suppose -2*k + 8981 = 3*s, 2*k - 4490 = k - s. Is k composite?
True
Let x(w) = 2*w**2 + 2*w - 1. Let q be x(-2). Let b(i) = 2*i - 3. Let f be b(q). Suppose -u + f*u = 42. Is u a prime number?
False
Let f(i) = -329*i + 6. Let c be f(-3). Let x be (-2 - 0)*c/(-2). Let g = -542 + x. Is g a composite number?
True
Let m(v) = v**2 - 13*v - 1. Suppose 4*d + 139 = -29. Let w = -28 - d. Is m(w) a prime number?
True
Let j(a) = -40*a - 151. Is j(-9) composite?
True
Let h(u) = 17*u**3 + 26*u**2 - 5*u + 3. Let r(f) = 6*f**3 + 9*f**2 - 2*f + 1. Let a(y) = -4*h(y) + 11*r(y). Suppose 6 = -p + 3. Is a(p) composite?
True
Suppose -1400 = -4*u + 1176. Suppose 4*x - 632 = -5*a, 4*a + u = 4*x + 6*a. Is x prime?
True
Let q(c) = 4*c + 7. Let z be q(5). Suppose -23*y - 388 = -z*y. Is y composite?
False
Let v be (-376)/(-72) - (-2)/(-9). Suppose -3*b - v*h + 745 + 710 = 0, b - 3*h - 499 = 0. Let s = 863 - b. Is s composite?
False
Is (0 - 50678/10)*(-480)/96 a composite number?
False
Suppose 9*s - 14*s + 715 = 0. Is s a composite number?
True
Let j = -210 - -358. Let v = 275 - j. Is v composite?
False
Let m be 2705/(-5) - (-8)/(-2). Is (m - 12)*2*(-6)/4 a prime number?
False
Let t be 16/20 - (-11)/5. Suppose -t*w = 4*b + 228, w + b + 75 = -0*b. Let a = w + 103. Is a a composite number?
False
Let a(h) be the third derivative of h**6/120 - 7*h**5/60 - h**4/3 - 41*h**3/6 + 37*h**2. Is a(11) prime?
False
Is (-6)/(-3)*(-6 - -17054) - -1 a composite number?
True
Let o(q) = -q + 30. Suppose 0 = 4*x - 3 - 5. Suppose 0 = -2*g - x, u - 3*g - 13 = -g. Is o(u) composite?
False
Suppose g - 283 = 1270. Is g a prime number?
True
Let w(y) = -1507*y**2 - y + 1. Let x be w(1). Let l be 5 + -2 - x*1. Is l/4 + 3/(-6) prime?
False
Suppose -4*u + 24476 = 4*v, 4975 = -5*u + 4*v + 35597. Is u composite?
True
Suppose 7*r + g - 2013 = 3*r, -3*r - 4*g = -1500. Suppose 4*m = 4*v - 516, m + m - r = -4*v. Is v composite?
False
Let w = 1 + 4. Suppose -w*j = 9170 + 790. Is (-3)/(-5) + j/(-30) a composite number?
False
Is ((-6)/4)/(39/(-182)) a prime number?
True
Suppose -3*s + 14 = -4*x, -45 + 13 = -2*s - 3*x. Is (s/(-6) - -1) + 5362/6 a composite number?
True
Suppose 4*t - 66 = -2*a, -3*a = 3*t - t - 35. Is (-4 - 6537*(-4)/t)*4 a prime number?
True
Let c(o) = -o**3 + 14*o**2 - 81*o - 13. Is c(-15) a composite number?
False
Suppose -5*l + 191 + 7807 = 2*u, 0 = -4*u + 3*l + 15944. Is u a prime number?
True
Is 3 - 2714/(-3) - 22/33 prime?
True
Let n = -33 + 32. Is -1 + -1 + n + 310 prime?
True
Suppose 4*a + 1127 = -3*c - 2*c, -15 = 5*a. Let k = 395 + c. Let n = k + -103. Is n composite?
True
Let a = 14679 + 23990. Is a composite?
False
Let c(d) = d**2 - 3*d - 3. Let a be c(5). Let y be 567/5 - -6*(-3)/(-30). Suppose -p = -a - y. Is p composite?
True
Let k = -15 - -19. Suppose -k*l - 2*p - 17 = p, 5*l + 30 = -2*p. Let v(h) = h**3 + 10*h**2 + 8*h - 11. Is v(l) a composite number?
False
Let w = 9745 - -2826. Is w prime?
False
Let t = -27 - 22. Is (-19755)/(-21) + (-14)/t prime?
True
Suppose -7*i + 2*i = -72730. Suppose i = -0*x + 7*x. Is x a composite number?
True
Suppose -4*w + 1410 + 19106 = 0. Is w prime?
False
Let n be (-4)/(-10) - 189/(-15). Let p = -13 + n. Suppose -6*l + l + 415 = p. Is l composite?
False
Let b(a) be the second derivative of 979*a**4/12 - a**3/6 - a**2/2 + 10*a. Is b(-1) a prime number?
False
Suppose -467*v = -470*v + 11499. Is v a composite number?
False
Suppose 5*w + 5*u - u - 103670 = 0, -5*u - 25 = 0. Is w a prime number?
False
Let r = -84 + 103. Suppose r*u + 2757 = 20*u. Is u composite?
True
Let g(c) = 0 + 0 + 2 - 4 + 81*c. Let s be g(-4). Let i = s + 563. Is i a composite number?
True
Let v = 80 - 76. Suppose 2*g - 426 = -0*g - p, 828 = v*g - 4*p. Is g a prime number?
True
Let m = -9 + 16. Let s be 0 + 144 - (-6 + m). Let v = s - -122. Is v a prime number?
False
Let i(u) = 4*u**3 - 13*u**2 + 14*u - 16. Is i(9) a prime number?
True
Suppose -1148 = 9*k - 11615. Is k composite?
False
Is 1 - -7 - (-9459 + 6) a prime number?
True
Let b(q) = 4*q - 8. Let k(v) = 2*v**2 + 2*v - 1. Let c be k(-3). Let r be b(c). Let g = r + -26. Is g a prime number?
False
Let z be 3 - 5 - (-3)/6*4. Suppose z = 4*i - 13830 + 1394. Is i composite?
False
Let n(f) be the second derivative of 197*f**5/10 + f**4/12 - f**3/6 + 7*f. Let p be n(1). Let x = p - 131. Is x composite?
False
Suppose 0*a - a - 128 = -x, 4*a = -4*x + 472. Let k = x + -79. Is (k/66)/((-2)/(-1257)) a prime number?
True
Suppose -17*w + 3804 = -21*w. Is -3*w/(-18)*-2 a composite number?
False
Is 263/(6*6/516)*3 a composite number?
True
Let s = -32363 - -52650. Is s a prime number?
True
Is (4 + 34/(-8))*-13628*1 a composite number?
False
Suppose i - 8 = -3*l, i + 2*l - 3*l = 0. Let g(h) = 214*h - 2. Let k be g(i). Suppose 140 = -2*p + k. Is p prime?
False
Let n be (28/12 - 2)*9. Suppose 0*z = n*z - 12. Is (2 + z)*(-41)/(-3) a composite number?
True
Suppose -4*b = 30*b - 129370. Is b composite?
True
Suppose -25*l + 28*l = 3*h - 56904, 0 = h - 2*l - 18963. Is h prime?
True
Suppose 3*x - 3*y = -x - 13, 5*y - 18 = 3*x. Let a be x + 2 - (-5 - -3). Suppose -5*k + a*k = -98. Is k prime?
False
Suppose u - 6*u + 2510 = 0. Is u a prime number?
False
Suppose -121 = 2*o + 479. Let j = 913 + o. Is j prime?
True
Let y(g) = g**2 + 13*g + 2. Let z = -27 - -14. Let h be y(z). Suppose h*x - 6 = 0, 3*x - 1072 = -4*q - x. Is q composite?
True
Suppose -500 = 2*h + 106. Let s(c) = -c - 172. Let p be s(0). Let f = p - h. Is f composite?
False
Let o(s) = 36*s**2 + 3*s - 22. Let m be (6 + 8)*3/(-6). Is o(m) a prime number?
True
Let w = 31899 - 18128. Is w composite?
True
Suppose 11 = -2*w - 4*t + 9*t, -5*w + 16 = 2*t. Suppose -24 + 1802 = w*k. Is k prime?
False
Let n(w) = w**2 + 9*w - 8. Let p be n(-10). Suppose -3*l - 3*g + 198 = 0, l + p*g = 6*l - 302. Is l prime?
False
Suppose -8*u - 127463 + 1502223 = 0. Is u a prime number?
False
Let v(c) = c. Let b(l) = -385*l - 7. Let u(r) = -b(r) - 35*v(r). Is u(12) a prime number?
False
Let h = 31 - 13. Let s = h + -12. Is 39797/136 + s/16 a prime number?
True
Let j = 2356 - 931. Let n = 960 - j. Is (n/10)/(9/(-30)) prime?
False
Let p = 4 - 2. Suppose -6198 = -p*c - q, 2*q = c + 3*c - 12412. Is c prime?
False
Let l(x) = 2*x + 1895. Let r be 1 + -5 - 0 - -4. Is l(r) a composite number?
True
Let v = -4 + 9. Suppose 831 = -v*g + 286. Let t = g - -194. Is t prime?
False
Let n = -16170 - -28127. Is n a composite number?
True
Suppose -2*a + 2*f + 15795 = 4279, -f - 28770 = -5*a. Is a a prime number?
False
Suppose 31*k - 13980 = 28*k. Suppose -58*l + 54*l + k = 0. Is l a composite number?
True
Suppose -5*j + 9*j + c - 73674 = 0, -3*c + 92089 = 5*j. Is j a prime number?
False
Let l(d) = 4878*d + 5. Is l(4) a prime number?
False
Let o be (-58)/12 + 5 + 119/6. Is ((-6865)/o - -3)/(2/(-8)) prime?
True
Let b be (-3 + 36/8)*2. Is 430 + ((-3)/b - 2) prime?
False
Let o be -4*(-3)/(3/1193). Suppose 0 = 6*c - 8*c + o. Suppose -8*i + 662 = -c. Is i a composite number?
True
Suppose 11*q - 6*q = 3785. Suppose -4*u + q = -675. Is u prime?
False
Suppose 5446 + 1848 = 14*l. Is -1*(3 + 1)*l/(-4) composite?
False
Suppose -w + 692 = 3*g - 866, 2*g = -4*w + 6182. Is w a composite number?
False
Let q(x) = -6*x - 33 + 8 - 2*x**2 - 131*x**3 + 15. Is q(-3) a prime number?
True
Let x be 5/(-70) - 8781/(-42). Let a be 3 - 2 - 275*-4. Suppose a = 4*h + x. Is h composite?
False
Suppose 0 = k - 5*r - 71337, 2*k - r = 7*k - 356581. Is k composite?
False
Let l = 20 - 7. Let i = 9 - l. Is i/(-10) + (-936)/(-10) a composite number?
True
Suppose -4*j - 2*z + 80272 = -22484, 0 = -2*j + 4*z + 51378. Is j composite?
True
Suppose 0 = -u + 2*u - 7. Let r(z) be the third derivative of 3*z**4/8 + 8*z**3/3 - z**2 + 15*z. Is r(u) a composite number?
False
Suppose 0 = -5*w + 4*p + 24812 + 15783, 2*p + 40595 = 5*w. Is w composite?
True
Suppose 2*v - q + 385 = 0, 5*q - 977 = 5*v - 27. Is (479/(-3))/(13/v)