 11435 = -v*p, -p + 5 = 0. Suppose -4*k + 1518 = 2*c - 0*k, 5*k + x = 3*c. Is c prime?
True
Let i = -905 - -911. Let a(b) = 18*b - 2. Is a(i) composite?
True
Suppose y - g + 3 = -2*g, 2*g + 6 = 0. Suppose -5*d + 779 + 981 = t, 5*t + 25 = y. Suppose u - 1861 = -5*k, -d = -k - u - 4*u. Is k composite?
False
Suppose -33 = -2*c + s, 2*s + 2*s + 13 = c. Suppose c*t + 180 = 21*t. Suppose t + 4750 = 7*w. Is w a composite number?
True
Suppose 0 = -f + 3*c + 3248 + 15611, 2*c + 75396 = 4*f. Is f composite?
True
Let r(x) = 9*x**2 + 70*x + 422. Is r(-35) prime?
False
Let p = -15 - -6. Let a(g) = 3166*g**2 + 30 + 16*g - 4*g**3 + g**3 - 3176*g**2. Is a(p) composite?
True
Suppose -38088 = -14*v + 2*v. Suppose -a + 3139 = -2*o, -31*a = -30*a + 5*o - v. Is a a composite number?
True
Let x be 1*-7 + (12991 - 34). Suppose 8 = 4*v, r = -3*r + 3*v + x. Is r a composite number?
True
Let i = 22695 + 13001. Suppose -876618 = -34*z - i. Is z prime?
True
Is 7 - ((-15)/(-45) + 3/18*-291866) a prime number?
False
Let z be (-2)/(-5) + (-234)/(-15). Suppose 0 = 4*h - z, -l + 5*l - 5*h = -8. Suppose l*m - 978 = -3*m. Is m a prime number?
True
Let t(l) = -l**3 - 5*l**2 + 7*l. Let q be t(-6). Let f be (8/3)/(4/q) - -7757. Suppose -5*v = 368 - f. Is v composite?
True
Suppose 5*z = -3*d + 1413, -2*z + 0*d - 5*d + 550 = 0. Suppose i = z + 592. Is i a composite number?
False
Let r(h) = 2394*h**2 + 2. Let j be r(-1). Suppose 0 = -2*t - 2*t + j. Is t a composite number?
False
Let t(b) = -646*b + 7. Let g(l) = -645*l + 8. Let c(y) = -2*y - 6. Let f be c(0). Let i(d) = f*g(d) + 7*t(d). Is i(-4) prime?
True
Suppose 3*k - 3*i = 4 + 2, -2*i - 22 = 4*k. Let t be (k/3)/(10/70). Is (-1011)/t + (-24)/(-42) a composite number?
True
Let p(d) = -d**3 - 3*d**2 + 8*d + 1. Let w be p(-5). Suppose 3*x + 3*m = 54369, 36230 = 2*x - 13*m + w*m. Is x composite?
False
Let l(i) = -i**2 - 16*i - 25. Let c be l(-2). Suppose 0 = -c*y + 15887 - 986. Is y a prime number?
True
Let z(i) = i**2 + 37*i + 184. Let w be z(-33). Suppose 45*p + 74557 = w*p. Is p prime?
True
Is 4864 + -1 + 1 - (-1)/(-1) composite?
True
Let c = 415774 + 449473. Is c a prime number?
True
Let a be ((-16)/12)/2 - (-872)/12. Let c be (-4)/(-18) + ((-160)/a - -3). Is (c + 1)*1 - 10503/(-3) a composite number?
True
Let b = -61 - -90. Let r = -24 + b. Suppose -a - 3*z + 84 + 98 = 0, 3*a - r*z = 532. Is a composite?
False
Let q(d) = 3*d**3 + 2*d**2 + 5*d + 8. Let c(f) = -4*f**3 - 2*f**2 - 6*f - 9. Let p(m) = 2*c(m) + 3*q(m). Let k be p(-3). Is (-7989)/k + 2 - (-12)/(-16) prime?
False
Let w(x) = 7*x + 6 + 5066*x**2 - 3*x - x + 0*x. Is w(-1) a composite number?
True
Let i = 265 - 260. Suppose -4*n = -12, i*n + 3942 = 4*w - 1127. Is w prime?
False
Let j(u) = -u**3 - 4*u**2 + 11*u + 9. Let g be j(-6). Suppose 4*r - g - 17 = 0. Is (-29992)/(-32) + ((-10)/r - -1) a prime number?
True
Let s(u) be the third derivative of -u**8/10080 - u**7/5040 + 67*u**6/240 + 9*u**5/20 - 29*u**2. Let a(d) be the third derivative of s(d). Is a(0) composite?
True
Let j(y) = -16901*y + 217. Is j(-2) prime?
True
Suppose 17*c + 11 + 23 = 0. Is (-1)/(((-20)/244410)/(c/(-3))) prime?
True
Is (-312399)/(-84) - 3/84 composite?
False
Let y(h) = -4*h + 2*h**2 + 7*h - 11*h - 9*h**3 - 5. Is y(-4) composite?
True
Is (300/(-200)*2/3)/(1/(-566569)) prime?
False
Let b(u) = 57169*u**2 - 13*u - 9. Is b(-1) a prime number?
True
Let f = 4749 - 2681. Let v = f + -957. Is v composite?
True
Let t(p) = p**3 - 5*p**2 - 2. Let n be t(4). Let k = n - -23. Is -5 - (-25)/k - (-641 + 0) a composite number?
False
Let b = 1058 + 1154. Suppose -l = -2*l. Suppose -b = -4*x - l*x. Is x a composite number?
True
Suppose -58*a - 84 = -54*a. Let y be 100/35 - 3/a. Suppose f + 2*l + y = 0, 0 = 3*f - 8*l + 3*l - 46. Is f a prime number?
True
Let i(v) = -7669*v - 14. Is i(-3) composite?
False
Let b(n) = n**3 + 11*n**2 + 7*n + 2. Let s be b(-10). Let m(t) = -2*t + 48. Let a be m(16). Is 31/(-2)*-17 - a/s a composite number?
False
Suppose 0 = 31*x - 30*x - 4*s + 20045, -2*s - 80090 = 4*x. Let z = -10922 - x. Is z prime?
True
Suppose -33341*y = -33322*y - 25256947. Is y prime?
True
Suppose -j + 2 = 0, -4*t - 4*j + 65992 = -4844. Is t prime?
True
Suppose 3*v - 6*v = -15, -9718 = -4*j + 2*v. Let y = 4297 - j. Is y a prime number?
False
Suppose -1143988 - 1565621 = -21*r. Is r a prime number?
False
Suppose -i + 4*a = -291665, -12*i + 13*i + 5*a = 291719. Is i prime?
True
Suppose -39 - 1 = -4*a. Let m(s) = s**3 - 10*s**2 + 5. Let r be m(a). Is 3346/r - 2 - 3/15 a prime number?
False
Let t(c) be the second derivative of 73*c**3/6 - 57*c**2/2 - 31*c. Is t(11) composite?
True
Let s(p) = -75572*p + 69. Is s(-1) a composite number?
False
Suppose 2*h = -3*z + 29, -3*h = 3*z + z - 42. Let u = 12 - h. Is u + 593 - (-5 + 1) a composite number?
False
Suppose -2*o + 39 = 5*n, 2*o + n = 5*o - 16. Suppose -o*y + 2338 = -560. Let h = y + -107. Is h composite?
False
Let i = 3 - -6. Suppose 5*b - 2*m + 33 - i = 0, b - 2 = -3*m. Is -2*((-5556)/8 + b) a prime number?
False
Suppose -48 = -13*k + 5*k. Suppose k*z - 7*z = 3*l - 7919, 5*l = 3*z + 13217. Suppose g - 712 = l. Is g a composite number?
True
Let h(g) = g**2 + 7*g + 10. Let i be h(-6). Suppose 836 = -f + b + 3155, -9264 = -i*f - 2*b. Is f a prime number?
False
Let a(c) = -c**2 + 19*c - 24. Let o be a(18). Let s be 1826 - (8/o)/(68/(-153)). Suppose 25*b - s = 24*b. Is b composite?
False
Suppose 13*n + 395990 = 17*n - 3*u, -5*n - 5*u = -494935. Is n a prime number?
True
Is ((-26553108)/(-304))/((-12)/(-8)*(-2)/(-4)) composite?
False
Let q(f) = -45*f - 462. Let n(t) = 46*t + 463. Let k(j) = -4*n(j) - 3*q(j). Is k(-41) a composite number?
False
Suppose -g - 6116 = 1747. Let v = -4712 - g. Is v a prime number?
False
Is 23/((-391)/34) + 100405 a composite number?
False
Suppose 11*f - 13*f + 12 = 0. Let t(o) = 244*o - 17. Let w be t(f). Let h = -728 + w. Is h prime?
True
Let g be (7 - 48648/16)/(1/(-70)). Suppose -20*l + g = -15*l. Is l composite?
True
Let i(k) = 2*k + 3. Let x be i(0). Let l(a) = a**3 - a**2 - 4*a + 3. Let d be l(x). Suppose d*v - 893 = -182. Is v composite?
False
Suppose 0 = 4*t + g + 10921 + 16717, -4*g = t + 6902. Let k = 1841 - t. Let d = k - 5432. Is d a composite number?
False
Let y(h) = 99 + 31*h + 58 - 75. Is y(21) a prime number?
True
Let w(f) = f + 20. Let d be w(-13). Suppose 4*b + 30 = d*b. Suppose -2*q + 160 = -4*i, -5*q + b*q - 409 = i. Is q prime?
False
Suppose -351955 = -141*g + 136*g. Let n = g - 25246. Is n a prime number?
False
Let o be (4557/(-14))/(-3)*2. Let l = o + -124. Is l prime?
False
Let b be 7 - (48/168 - (-2)/(-7)). Suppose b*j - 4578 = 15673. Is j a composite number?
True
Suppose 3*y - 26648 = -z - 0*y, 4*y + 106544 = 4*z. Is z prime?
False
Suppose 0 = -19*x + 9*x + 30. Suppose -2*y - y + 7827 = x*w, -2*y + 5224 = -w. Is y a prime number?
False
Let j = 735105 - 514084. Is j a prime number?
True
Let d be (-9 - (-14 + -1)) + 13474*2. Let f = d - 14317. Is f prime?
True
Let k(i) = 399*i - 37. Let x be (35/(1750/(-60)))/(6/(-40)). Is k(x) a prime number?
False
Let l = -242 - -236. Is (-44196)/8*l/9 prime?
False
Let n(l) = -7939*l + 2181. Is n(-8) a prime number?
False
Suppose -8*q + 3*q - 165 = -5*d, -5*d - 3*q = -133. Suppose -25*f = -d*f + 4108. Is f a composite number?
True
Suppose -2*s + 5*k + 9 + 13 = 0, 3*k = s - 13. Let r be (18/(-30))/(s/15). Is (3 + 0)*(1 + (-1734)/r) composite?
True
Let l = 780460 + -382461. Is l a composite number?
True
Let a(t) = -230*t - 15. Let o(y) = 689*y + 46. Let k(s) = -8*a(s) - 3*o(s). Suppose -4*p = 14 + 6. Is k(p) prime?
True
Let q(b) = -801*b + 70. Let t be q(-3). Let z = 4394 - t. Is z prime?
False
Suppose -507*r + 504*r = -6027. Suppose -r - 523 = -6*v. Is v prime?
False
Let d be ((-30)/(-85))/(-3) - (-108)/51. Suppose -3030 = -2*m + d*k, 8 = -4*k + 8*k. Is m composite?
True
Suppose 5*h - 360161 = 2*j, -360143 = -5*h - 518*j + 514*j. Is h composite?
False
Let k be (-6)/(-10) + 68/20 + -3. Let p be (-3)/(-3) + k - -3. Suppose -166 = -p*b + 109. Is b prime?
False
Suppose -4*s + 4 + 16 = -5*c, 4*s - 20 = -3*c. Suppose -i + 7400 + 1170 = 5*f, 3*i - 25610 = s*f. Is i composite?
True
Let m = -149704 - -2696499. Is m a composite number?
True
Let f = 70486 - 30179. Is f a prime number?
False
Let f = 