Let a be q(5). Suppose a*d - 173 = 4125. Is d a prime number?
False
Let t(j) = j**3 + 11*j**2 + 8*j - 29. Let y be t(-10). Let s be y/(-9) + (-123)/(3/1). Is 10/s + ((-22138)/(-8) - 0) prime?
True
Suppose -468643 = -12*p + 2584325. Is p composite?
True
Let h(k) = k**3 - k**2 + 2*k. Let i(f) = -9*f**3 - 6*f**2 + 29*f - 94. Let p(r) = -h(r) - i(r). Is p(5) a composite number?
True
Let c(v) = 64*v**3 - 433*v**3 + 3*v - 70*v**2 - 87*v**3 + 67*v**2. Let n be c(1). Let j = n - -1085. Is j prime?
False
Let r = 6553193 - 3593572. Is r a prime number?
False
Suppose -2*k - 169019 = -b, -24*b + 19*b - 5*k + 845110 = 0. Is b prime?
False
Suppose -2*j = -10*o - 168250, 10*o = -2*j + 5*o + 168220. Is j composite?
True
Let p(q) = 0*q**3 - 12*q + 12*q**2 - 7 + q - q**3. Suppose 4*g - 52 = 5*i, 3*i + 12 = g - 8. Is p(g) composite?
True
Is ((-2565567)/18*(-40)/(-15))/(-2) prime?
False
Let t = -447707 - -767550. Is t prime?
False
Suppose 2*m - 255532 = -2*c, -41 = c - 48. Is m a prime number?
False
Suppose -a = -n + 1046923, 73*n - 69*n + 3*a - 4187692 = 0. Is n composite?
True
Let r = 90 - 58. Suppose 3*i + 31*v - 109767 = r*v, 146356 = 4*i - v. Is i composite?
True
Let c(s) be the first derivative of 3*s**2 - 13*s**2 + 11*s + 0*s**2 - 6*s - 17. Is c(-9) prime?
False
Suppose -29 = c - 33. Suppose -s - c*b = -1267, b + 4489 = 3*s + 714. Is s a prime number?
True
Suppose a + 65 = 6*a. Let u(c) = 23*c + 2. Let s(g) = 46*g + 3. Let w(o) = a*u(o) - 6*s(o). Is w(13) a composite number?
False
Suppose 13*s = 14*s + 23*s - 4474248. Is s a composite number?
True
Let o(c) = -c + 3. Let s be o(0). Suppose 3*k + 0*q - 1320 = 3*q, s*k + 5*q = 1344. Is k a prime number?
True
Let m(f) = -66*f**3 - 71*f**2 - 5. Is m(-6) a prime number?
False
Suppose 2*u = -5*r - u + 1027, -5*u = 4*r - 832. Let w = r - 74. Let a = 616 - w. Is a a composite number?
False
Let w(l) = -333*l + 8. Let i be (-4)/(-3)*(1/(-2) + 2). Suppose -i*c = -8*c - 18. Is w(c) prime?
False
Suppose -x = 2*n - 21, -6*n = x - 7*n - 12. Suppose x*r - 22*r = -8491. Is r a composite number?
False
Suppose -75*w + 3097941 = -42*w. Is w a composite number?
True
Let w = 175 + -170. Suppose -8191 = -3*z - 8*h + 3*h, 0 = -3*z + w*h + 8141. Is z prime?
False
Let h = -192582 - -334475. Is h a composite number?
True
Is 29953 + 36/8*36/(-27) a prime number?
True
Let a(s) = -62*s + 20. Let j be a(-5). Suppose -j = -2*o + 1108. Is o composite?
False
Let m be -12 - (-29780)/16 - 2/8. Suppose -926 + 8312 = 4*a + t, -a + m = -t. Is a a prime number?
True
Suppose 25*v + 11*b - 118013 = 8*b, -v - 5*b + 4701 = 0. Is v prime?
True
Let j(s) be the first derivative of s**3 + 17*s**2/2 + 49*s + 99. Is j(-40) prime?
False
Let k(l) = -2*l**3 - 2*l**2 + 10. Let b be k(-11). Suppose 5*z + 0*i - b = -5*i, -z + i = -476. Is z a prime number?
False
Let q = -11780 - -68749. Is q composite?
True
Suppose -s + 490 = -5*y, -5*s - 2*y = -7*s + 972. Suppose -z + s = -13476. Is z prime?
False
Let v = -2985933 - -5201548. Is v prime?
False
Suppose 0 = -53*y + 12670 + 25437. Is y a composite number?
False
Suppose 2*t - 40 = 2. Suppose -t*a = -3602 - 39931. Is a prime?
False
Let y = 22921 - 14229. Suppose 0 = -9*d + y + 21782. Is d a composite number?
True
Suppose 5*z - 19 = 3*s, 4*z - 3*z - 5*s + 5 = 0. Suppose 3*x + 8*v = 13*v + 3117, -5195 = -z*x - 5*v. Is x composite?
False
Let i(l) = 11943*l - 370. Is i(1) a composite number?
True
Let l be (-50)/75 - 3388/(-6). Suppose 5*j + 4*k + 1455 = 0, 3*j + 3*k + 670 = -206. Let g = l - j. Is g a composite number?
True
Let j = -51459 + 103895. Suppose -j = -18*b + 41290. Is b composite?
True
Let d be (-1 - 0) + (0 - 1) - 1. Let r = -50 - -46. Is 51 + (d/(-9))/(r/(-48)) prime?
False
Let r = 45 + -44. Suppose 4*d - 4*w = 16, -2*d + d - 6 = 4*w. Is ((-1555)/10 + d)/(r/(-10)) prime?
False
Suppose 201620 - 313456 = -218*y + 333102. Is y a prime number?
False
Suppose 52 - 92 = 20*m. Let w(d) = -1367*d + 7. Is w(m) prime?
True
Let n = -6342 + 9275. Is 4 - (-5 - n/1) a composite number?
True
Let a be -745*((-12)/30)/(-1). Let u = -122 - -563. Let h = a + u. Is h prime?
False
Suppose 2*z + 5*i - 21 + 100 = 0, -4*z + 2*i = 218. Let y = z - -56. Is 1282/3 + 0 + y/(-12) composite?
True
Suppose -4*r = -12, 5*r = 3*l + l - 85. Suppose 6*o - 152 = l*o. Is 11061/21 + o/(-28) a composite number?
True
Suppose -5*c + 2*d + 3222437 = 0, -18*d = -2*c - 13*d + 1288958. Is c a composite number?
False
Let o(m) = -924*m + 2561. Is o(-77) composite?
False
Let y(h) = -h**3 + 4*h**2 - h - 2. Let i be y(2). Suppose -i*a = -3*a - 12. Suppose 8109 = a*m - 3*m. Is m a prime number?
False
Let r be 7/(-28) + 3/(-12)*23. Is (-7908)/9*r/4 a prime number?
False
Let i = 58 - 59. Let m be 144/(-54)*((-1 - 232) + i). Let s = 1109 - m. Is s a composite number?
True
Is ((2/(-4))/(-1))/((-692552)/138512 - -5) a prime number?
False
Let f(d) = 1252*d**2 + 12*d + 13. Let b be f(7). Suppose -b + 21652 = -13*c. Is c a composite number?
False
Let d(z) = -4*z**2 - 7*z + 24131. Is d(0) a prime number?
False
Let l be (-5 - -1)/(3*(-8)/30). Suppose 0 = 4*i + 4*t - 24288, -4*t + 13876 = -l*i + 44245. Is i a composite number?
False
Let g be -2*(-7 - -6)*(-14)/(-4). Is 13798*5/35*g/2 prime?
True
Let i = -17238 + 27245. Is i composite?
False
Let z(j) = -j**3 + 12*j**2 + 9*j - 82. Let v be z(12). Suppose 16*r - 346878 = -v*r. Is r a composite number?
True
Let i(r) = r**3 - 8*r**2 + 6*r + 6. Let n be i(7). Let k(u) = 3*u**3 - u - 1. Let y be k(n). Let a(x) = -148*x + 5. Is a(y) a prime number?
True
Let f = 614270 - 235609. Is f prime?
True
Let w be (-86)/(-6) - (-1)/(-3). Let g(d) = -3*d**3 - 4*d**2 + 10*d + 39. Let o be g(-4). Suppose 15*s - w*s = o. Is s prime?
True
Let y = 6765 - -43732. Is y a composite number?
False
Let p = 11 - 14. Is (p/(-9)*-2)/(2/(-91101)) a composite number?
False
Let s(f) = 405*f**2 + 75*f - 1177. Is s(-43) a composite number?
True
Suppose -5*o = 25, o + 32182 = 5*x - 36248. Suppose 39*n - x = 4*n. Is n prime?
False
Suppose 0 = 3*j + 10*t - 182022 - 1653067, 3*t + 2446720 = 4*j. Is j composite?
True
Suppose 5*w + q - 79007 = 269403, 3*w - 209018 = 5*q. Is w prime?
False
Let q(g) = -233*g - 186. Let z be q(-7). Suppose z = p - 5076. Is p a composite number?
False
Let v = -68 + 11307. Is v prime?
True
Let g = -54 + 63. Is 8084/52*g + 6/(-39) composite?
False
Suppose 4117*o = 4104*o + 7613957. Is o prime?
False
Suppose 2*k - 12 = -6. Is (-1986)/k*-26*(-3)/(-12) a composite number?
True
Let k = -57 + 55. Is 2631*12/18*k/(-4) a composite number?
False
Suppose 2*m + 8*t = 21*t + 92477, -2*m - 2*t + 92432 = 0. Is m composite?
False
Let m(o) = -o**2 - 7*o + 2. Let s be m(-7). Let c(k) = -9 + 2 - k**s - k**2 + 7*k**2. Is c(-3) prime?
False
Let u(i) = 778*i**2 + 8*i - 34. Let r be u(-7). Let z = -25593 + r. Is z a composite number?
True
Let m(z) = 587*z - 714. Let j(q) = 294*q - 356. Let a(c) = 7*j(c) - 3*m(c). Is a(12) a prime number?
False
Let o(u) = 2*u**3 + u**2 - 4*u + 5. Suppose 38 = -3*n - 13. Let x be 10*1 + (n - -13). Is o(x) a composite number?
False
Let q be (1 + 2784/(-9))/(5/(-75)). Suppose 2*s - 28 = -30, 3*i + 4*s = q. Is i a composite number?
False
Let v(k) = -936*k**3 - k**2 - k + 4. Let d be v(-2). Suppose 2497 = a + 7*b - 9*b, -3*a + d = -5*b. Is a a composite number?
True
Let a(j) be the first derivative of j**2 - 6*j + 9. Let h be a(3). Suppose -4*u + 2*u + 170 = h. Is u composite?
True
Let o = 11 + -11. Suppose o = -3*t - 3, 2*v - 2231 = -0*v + t. Suppose v = 7*p - 2*p. Is p prime?
True
Suppose 5*q = 2*s + 68, -68 = -9*q + 5*q + 5*s. Let c(x) = 9*x + 0 - 1 - 6 + 4*x. Is c(q) composite?
False
Let u be (2/(-17) + 112672/(-1190))*5. Let c = u + 1015. Is c a prime number?
True
Let j be (2 + 1 + -3)/1. Suppose j*c = 3*c + 153. Let n = 116 + c. Is n a prime number?
False
Suppose 3*i - 521043 = -5*j, -3065 = -j - 3059. Is i a prime number?
True
Let q(l) = -135*l - 14. Let a be q(-4). Let x = a + -1494. Is (-7)/21 + x/(-6) composite?
True
Suppose -12043580 = -1615*r + 1595*r. Is r prime?
True
Let r(f) = 2*f**2 + 10*f + 4. Let m be r(-11). Suppose n = -2, 7*k - 3*n - m = 2*k. Suppose u - 108 = -k. Is u a composite number?
True
Suppose 44*g - 238810 = 448162. Is g a prime number?
False
Let h be -1 + (-30)/18*3. Is (-5961)/(-6) - (-3)/h a 