(t) a prime number?
True
Suppose 10200 - 121328 = -d + 5*a, -d = -a - 111132. Is d a prime number?
False
Let q(u) = 15236*u**2 + 128*u + 1343. Is q(-12) prime?
True
Suppose -19*p + 17*p + 4 = 0. Suppose 2*g - s - 5360 = -p*s, -3*g + 8041 = 2*s. Suppose 5*w - 7214 = -g. Is w a prime number?
True
Let d(i) = 24 - 123*i**2 - 87*i**2 + 5*i + 59*i**2 + 4*i. Let m be d(-6). Is m/(-14) - 32/(-56) prime?
False
Let f be (-7)/(28/8) + 40/4. Suppose -f*x + 3*x = -2780. Suppose 8*s - 2*p - x = 4*s, 4*s = -3*p + 556. Is s prime?
True
Suppose -4*p + 5*n + 35480 = -0*p, -p - 3*n = -8870. Let w = p + -3031. Is w a prime number?
True
Let a(b) = b**3 + 58*b**2 - 115*b - 37. Is a(42) composite?
True
Suppose 6200 + 4372 = -3*s. Let h = 1029 - s. Is h a prime number?
False
Suppose -1025 - 47 = -16*r. Suppose 0 = r*m - 68*m + 7897. Is m a prime number?
False
Let i(k) = -509*k + 170741. Is i(0) composite?
False
Let s = 144 + -142. Suppose s*t = 2*k - 590, -k + 131 = -5*t - 172. Is k composite?
False
Let t(k) = 10*k + 56. Let a be t(-5). Let s be ((-2)/a)/(20/(-120)). Suppose -s*m + 0*m + y = -2091, 0 = m - y - 1048. Is m composite?
True
Let t(i) = 23 + 27 + 14 - 7*i - 32. Let a be t(13). Is a/(3/(-1) + (-5)/(-2)) composite?
True
Let b = -213 - -252. Suppose 28*n + 79871 = b*n. Is n prime?
False
Suppose -2*c + 4*a + 94726 = 0, -32343 = -4*c + a + 157053. Is c a composite number?
True
Suppose 7*f - 5*f = 3048. Suppose -2*c + 127 - 3171 = -2*j, 0 = j + c - f. Is j composite?
False
Let l(m) = 278*m**2 + 10*m. Let p be l(2). Let f = p + 31. Is f composite?
False
Is 1 - (-5773414)/11 - (-54)/297 composite?
False
Let x be (12/15)/((-6)/(-45)). Suppose -x*n = -10043 - 21427. Suppose -6*z + 11*z = n. Is z composite?
False
Let x(h) = -21*h**3 + 3*h**2 + 28*h - 27. Let c(o) = 106*o**3 - 14*o**2 - 142*o + 134. Let v(r) = -2*c(r) - 11*x(r). Is v(9) a prime number?
True
Let m(x) = -87055*x + 720. Is m(-7) a prime number?
False
Let h(p) = 1459*p - 8663. Is h(46) a prime number?
True
Suppose -3*f - r + 567680 = 0, -5*f + f - 4*r + 756888 = 0. Is f prime?
True
Let j(s) = 413*s + 227*s + 5 + 432*s - 352*s. Is j(4) prime?
False
Let u = 29844 + -17059. Suppose -3*a + 3*f + u = -a, 2*f = -2*a + 12760. Is a a prime number?
False
Let l = -568532 - -1003661. Is l prime?
False
Let r(n) = -453*n - 156. Let b be r(4). Let c(k) = -11*k**3 + 10*k**2 - 8*k + 8. Let o be c(7). Let z = b - o. Is z a prime number?
False
Is 63284793/165 - 42/35 a composite number?
True
Let k(o) = 7204*o**2 + 59*o + 29. Is k(-4) composite?
False
Suppose -15*k = -12*k. Suppose k = 4*a + 5*a - 36. Suppose a*c + c - 4015 = 0. Is c composite?
True
Suppose 9*j = 14*j - 20. Suppose -j*c + 65 = -2019. Is c composite?
False
Suppose -2*w + 4*u = -49612, w + 2*u - 9683 - 15127 = 0. Suppose 51*k = 59*k - w. Is k a prime number?
False
Let a = -38456 - -71325. Is a composite?
False
Suppose 0 = 3*m - 5*m + 47060. Suppose -z + 4*o = -4721, 5*o + m = 6*z - z. Is z a composite number?
True
Suppose 5*b + 5*u - 37150 = 0, 203*u = -3*b + 204*u + 22310. Is b a composite number?
True
Suppose 2*c + 2*g - 291660 = g, -c - 2*g + 145821 = 0. Is c a prime number?
False
Let u(w) = -2*w**3 + 16*w**2 + w + 203. Is u(-20) prime?
False
Let i(l) = -35*l**3 - 5*l**2 - 2*l + 1. Suppose 5*r = 5*j + 30, -j + 2*j = 5*r - 34. Suppose -r*w - 2 = -6*w. Is i(w) a composite number?
True
Let b(r) = -1019*r**2 - 8*r + 4. Let y(w) = -255*w**2 - 2*w + 1. Let m(k) = 2*b(k) - 9*y(k). Let q be m(-2). Is -5 - -2 - (q - 2)/(-1) composite?
True
Is 4*(-10)/(-16)*(-1923068)/(-70) a prime number?
False
Suppose -2*c - 2*u = -7*c + 56, 2*u = -4*c + 34. Suppose -7*k = -c - 4. Suppose -6*l - k*b + 3602 = -4*l, -4*l - b = -7210. Is l composite?
True
Let f(g) = 2*g**2 - 25*g - 11. Let n be f(13). Suppose 2213 = -4*y - n*r + 13489, -3*y = 3*r - 8457. Is y a composite number?
False
Let l(t) = -8*t + 3. Let d be l(1). Let j(y) = -y**3 - 6*y**2 - 6*y - 7. Let c be j(d). Is -3 + -1 + 0 + (-4314)/c a composite number?
False
Let j = 114 - 68. Let i = 53 - j. Suppose 2*r + 3*m = 189 + i, 0 = -3*r + 2*m + 281. Is r a prime number?
False
Is (-4)/30 + 1615911*17/765 prime?
False
Suppose 41 - 1 = 5*u. Is 6/(-4) - ((-34516)/u - 6) composite?
True
Let r(w) = -454*w**3 - 2*w**2 - 27*w - 55. Is r(-4) a prime number?
True
Suppose -13*c - 5*c = -54. Suppose 4*b + 4*w - w = 20807, -c*w = -b + 5198. Is b prime?
False
Suppose 0 = 9*z - 5*z + 2*p - 14, 0 = -5*z + 2*p + 31. Suppose 5840 = -11*r + 16*r. Is r - (8 - 4 - z) composite?
True
Suppose 2*n + 91*m = 87*m + 2415666, 4*m - 4831348 = -4*n. Is n a composite number?
False
Suppose 2*m - 32 = 10*m, 2*c - 2*m = 754666. Is c composite?
False
Let y(u) = 158*u + 193. Suppose 46*w - 41*w - 55 = 0. Is y(w) composite?
False
Let w(p) = 25*p**2 - 14*p**2 - 53*p + 117*p + 1. Is w(-26) prime?
False
Suppose 0 = -7*d - 3*h + 195115, -4*d + h + 83607 = -d. Is d prime?
False
Let d = 380 - 378. Suppose 26120 = d*t + w + 10706, -15418 = -2*t - 3*w. Is t prime?
False
Let p = -5163 - -15687. Suppose -7*g = 5*g - p. Is g a composite number?
False
Suppose 101*d - 13*d - 1044094922 = -390*d. Is d a composite number?
True
Let s = 226066 + 118813. Is s a prime number?
False
Let y = 68 - -150. Let b(h) = -226*h + 11 + 36*h - y*h. Is b(-4) prime?
False
Let z(f) = -f**3 + f**2 - f + 1. Let m(n) = 3*n**3 + 61 - 29 - 3*n - 29 - n**2. Let u(p) = -m(p) + z(p). Is u(-2) composite?
True
Let u be -4 + 11560/(-76) - (-8)/76. Let m be 2/11 + (-6059)/(-11). Let w = m - u. Is w prime?
False
Let u(w) = -w**2 + 9*w + 11. Let q be u(10). Suppose -2*l - a = 6 + 7, -4*l + 3*a = 21. Is (l - 2 - -5) + 474*q a composite number?
True
Let d be (28 - 4)/((-1)/(-376)). Suppose 4*g + 5*k = 18018, -g = g - 5*k - d. Is g composite?
False
Let z(v) = -32*v**2 - 3436*v - 55. Is z(-106) composite?
True
Suppose 3*b - 2*r - 35583 = 0, 4*b + 0*r - 47458 = -2*r. Is b a prime number?
True
Let p(d) = -31*d**3 - 11*d**2 + 7*d + 49. Is p(-8) a prime number?
True
Let c(w) = -2121*w + 600. Is c(-9) a prime number?
False
Let h(m) = 2*m**2 - 50*m + 14953. Is h(0) a prime number?
False
Suppose 48*t = 51*t - 145833. Is t composite?
False
Let l = -46 + 85. Suppose -l*w = -47*w + 31368. Is w prime?
False
Suppose -5*h - 1 = -6. Let x be 100684/16 - ((-2)/8 + h). Suppose 7*w - x + 83 = 0. Is w prime?
True
Let t(c) = 11 - 2*c**2 - 16*c**3 + 5*c - 43*c**3 - 38*c**3 - 16. Is t(-3) prime?
False
Suppose -11*l = p - 8*l - 33439, l = p - 33423. Is p prime?
True
Let l(a) = a**2 + 11*a + 13. Let r be l(-6). Let h = r - -27. Is (2/(-6))/(h/(-10110)) a composite number?
False
Let d be (-2 + 64/4)/2. Let i(g) = -9*g + 48. Let u be i(d). Let y(c) = -67*c - 34. Is y(u) composite?
False
Let c(o) = 4090*o**2 + 345*o + 6081. Is c(-17) prime?
False
Let f be 5 + -1 + (-4 - -3). Suppose 0*a = -h - 4*a + 20, -5*h + 31 = -3*a. Suppose -h*v + 2937 = f*v. Is v prime?
False
Is (-1*1)/((-37467065)/1561127 - -24) prime?
False
Suppose -8*n = 5597 + 5451. Let d = n + 2050. Is d a prime number?
False
Let s(o) = 700*o**2 + 2*o + 6. Let r be s(4). Suppose 9*j - r = -855. Is j a prime number?
True
Suppose -2*f + 285 = 61. Is ((-20872)/4)/(f/20 + -6) composite?
True
Let d(j) = j + 5. Let g be d(-5). Suppose g = 5*b + 4*v - 28686, 2*b = -3*b + 3*v + 28658. Suppose 8*h - 21982 = -b. Is h prime?
False
Let i = -113 - -116. Let s(j) = 102*j - 1. Is s(i) prime?
False
Let h be (4 + -2 + 0 - -38) + -6. Let z be 2*5 - (-1 + 3). Is (h/z)/(2/328) a composite number?
True
Let y(z) = -2*z**2 - 18*z + 44. Let x be y(-10). Is 808731/165 + x/15 prime?
True
Let w = -218 - -193. Is (-1)/(-5) + (-44920)/w a prime number?
False
Let x be ((-1315)/(-10))/((-4)/24). Suppose -3*m = -1030 + 2626. Let o = m - x. Is o composite?
False
Let w be (5 - 7)/((-2)/8). Suppose -15164 = -12*p + w*p. Is p a composite number?
True
Suppose -3*s = 2*s + 3*b - 46280, s + 3*b = 9268. Let r = s - -270. Is r composite?
True
Let c = -201 + 207. Is -2 + 5/(10/c) - -2630 a composite number?
True
Suppose -3*x + 4*m + 878195 = -497238, x - m - 458478 = 0. Is x composite?
True
Suppose 2*z + 28 = 6*z. Let t(y) = -y**3 - z*y**2 - 14 - 4 - 15 + 6 - 2*y. Is t(-12) prime?
False
Let q be 6/(-30) + 68/(-10). Let d be (3/(-1))/(q/14). Suppose d*v + v - 8491 = 0. Is v a prime number?
True
Suppose 40 = 4*c + 8.