+ 6*x - 8. Let z be j(8). Suppose 0 = -z*a + 15*a - 33244. Is a prime?
True
Let a(m) = 2*m - 1. Let y(c) = c. Let u(x) = -a(x) + 3*y(x). Let z be u(-2). Is (0 - 0) + (-4505)/(-4 + z) prime?
False
Let b = 13 - 17. Let t(d) = -53*d**3 + 5*d**2 - 6*d - 7. Is t(b) prime?
False
Suppose -12*c + 9*c + 4*m - 89 = 0, 3*c + 83 = m. Is (2/1 - -33251) + 31 + c a composite number?
True
Suppose -21*i + 145 = -2. Suppose -i*v = 38931 - 199882. Is v a composite number?
False
Suppose 0 = 68*x - 63*x - 25. Suppose 3*l + 2*t - 307 - 570 = 0, x*t = -5*l + 1460. Is l prime?
True
Let y(r) = 38*r + 14. Let w(i) = 35*i + 6. Let j(c) = 69*c + 10. Let o(x) = 4*j(x) - 9*w(x). Let z(u) = -5*o(u) - 6*y(u). Is z(-3) prime?
False
Suppose 15*q - 90*q + 11700525 = 0. Is q a prime number?
True
Let s(g) = 4840*g**2 + 328*g - 2717. Is s(8) a composite number?
False
Is (-1943748)/(-126) - ((-33)/(-21) - 2) composite?
False
Let z(k) = -11*k - 61. Let s be z(-6). Suppose s*m - 1645 = 3*m + g, 6 = -2*g. Is m prime?
True
Let o be (-144312)/(-420) - (-4)/10. Let b = -85 + o. Is b a composite number?
True
Let r(i) = 252*i**2 - 4*i - 4. Let n(w) = -w**2 - w - 1. Let o(s) = -3*n(s) + r(s). Let l be 1 + -5 - (0/(-4))/5. Is o(l) prime?
False
Is 2144/160 + -15 - 3007713/(-5) prime?
True
Suppose 1824702 + 4248960 = 42*q. Is q a prime number?
True
Let p(g) = -5*g + 3. Let r be p(0). Suppose -4*k + r*d = -1977 + 238, -5*k - 5*d = -2200. Is k a prime number?
False
Let n(k) = 1156*k**2 + 10*k + 33. Is n(-3) a prime number?
False
Let q(n) = 4419*n - 1549. Is q(38) a composite number?
True
Let o(d) = 17*d - 163. Let w be o(11). Is ((-22668)/(-4))/(w/8) prime?
True
Suppose 5*p - 17*k + 19*k = 5478023, k + 4382434 = 4*p. Is p a prime number?
False
Is -20 - -6 - -15 - -239488 composite?
False
Let p(f) = 10783*f - 1452. Is p(13) composite?
False
Suppose 4*p = 30 + 758. Suppose 9756 = 14*s + 82. Suppose 12*i = p + s. Is i prime?
False
Let n = -11277 + 32518. Is n prime?
False
Let w(l) = -19000*l - 3757. Is w(-5) prime?
True
Let x be ((-36)/(-108))/((-1)/(-18)). Suppose x*a - 25147 - 20579 = 0. Is a composite?
False
Let s(n) = -140*n**3 - n**2 + 5*n + 6. Let v be s(-2). Let t = v - 207. Is t prime?
False
Suppose 4*o = 2*t + 3*t - 2360, -3*t + 1438 = 2*o. Suppose i + 3*h = 822, 4*i + 0*i - 3238 = -2*h. Let j = i - t. Is j a composite number?
False
Let o be 80/360 - (0 + (-560894)/18). Suppose 560064 = 15*s - o. Is s a composite number?
True
Let b = -62 + 79. Let d = 28 - b. Let s(o) = 30*o + 1. Is s(d) a prime number?
True
Let c(p) = 63667*p - 1874. Is c(3) a prime number?
True
Let l be 0 + 78/(-14) - (-291)/(-679). Let t(i) = -17*i**3 - i**2 - 3*i + 17. Is t(l) prime?
True
Suppose 4*d - 3*u + 35 = 0, -2*d + 14 = -3*d - u. Let g(j) = 3*j**2 - 21*j + 35. Is g(d) prime?
False
Suppose 119*o = 94*o + 5198525. Is o a prime number?
True
Suppose -2060 = -11*x + 6454. Let j = 1193 - x. Is j a prime number?
True
Suppose 3132 = 2*t + 2*w - 1190, -3*w = 5*t - 10797. Is t prime?
False
Suppose 11*w - 15*w + 2*b = -2615988, 654011 = w + 3*b. Is w prime?
False
Suppose 3*a - 8*a = -360. Suppose -5*x + a = -58. Is (-705)/(-10)*x/3 a composite number?
True
Suppose -28*c + 2116293 + 1289711 = 0. Is c composite?
True
Let v(l) = 12542*l - 195. Let h be v(7). Suppose -3*q - 4*n + h = 0, 4*q + n + 146006 = 9*q. Is q composite?
False
Suppose 3573385 = 11*o - 46968. Is o a composite number?
False
Suppose -2*m - 2 + 12 = 0. Suppose -2*u + 2*f = 406, m*u - 5*f + 1006 = -3*f. Let y = u + 1053. Is y a composite number?
False
Is -3 - (-38)/14 - (-6 - (-4467978)/(-14)) prime?
True
Suppose 5*o = 5*s + 45, o - 3 = 2*o + 2*s. Is (-11512)/(-10) - o/25 a composite number?
False
Let q(c) = 175*c - 93. Suppose 30 + 8 = 5*l + 3*v, -5*v = -l + 30. Is q(l) composite?
False
Is (-12)/(-84) + (-300312)/(-14) + 1*2 prime?
False
Let m(d) = 1. Let n(o) = 398*o - 66. Let a(h) = -5*m(h) - n(h). Is a(-9) composite?
False
Let l(a) = -a**3 - 5*a**2 - 7*a + 315653. Is l(0) a composite number?
True
Let t(o) = -o**2 + 36*o - 70. Let c be t(34). Is (909/(-2) + 4)*c composite?
True
Let j(g) be the first derivative of 1901*g**4/4 - 2*g**3/3 + g**2 - 27. Is j(1) a composite number?
False
Suppose -q + 33 - 31 = 0. Suppose -q*j + 2*v = -1408, -17*j + 22*j = 2*v + 3505. Is j a prime number?
False
Let t = 37300 + -4094. Is t*(-1 + (-6)/(-4)) composite?
False
Let z(y) = 7517*y**3 - 9*y**2 - 6*y + 3. Let h(p) = -11276*p**3 + 13*p**2 + 8*p - 5. Let v(d) = 5*h(d) + 7*z(d). Is v(-1) a prime number?
True
Let o(w) = -115*w + 38. Let u be o(-5). Suppose 96257 = 620*q - u*q. Is q composite?
False
Suppose -247*n + 21195 = -25982. Is n a prime number?
True
Is 7/(-168)*4*-264954 a composite number?
False
Suppose 236*b - 233*b + 5*w = 1643662, 0 = -5*w + 25. Is b a prime number?
False
Let o be 293490/8 + -3 + 44/16. Let h = o + -23163. Is h prime?
True
Is ((-90)/120)/((-9)/(-8))*164751/(-2) composite?
False
Let x(w) = -722*w**3 + 3*w**2 + 116*w + 10. Is x(-7) composite?
True
Let o(n) = 1570*n + 4983. Is o(118) prime?
True
Let k(t) = t**2 - 2*t + 3. Let x be k(1). Let c(s) = 6*s - 4*s + 39 - s + 17*s**x. Is c(7) a composite number?
True
Suppose y + 222 = 5*z - 0*z, 242 = -y + z. Suppose -7*a + 2355 = -781. Let x = a + y. Is x a composite number?
True
Let x = -17520 + 52501. Is x prime?
True
Is (-4 + -1 + 0)*(-66)/(-330) - -57468 a composite number?
False
Let k = 5911 + 24222. Is k composite?
False
Suppose -4*v - 8 = -12*v. Is 0*3/15 - -10129*v a prime number?
False
Let p(y) = -94 + 57 + 9*y**2 + 64 - 57*y - 4*y**2. Is p(23) prime?
True
Let b(m) = -27005*m - 119. Is b(-6) a composite number?
False
Let m(g) = -g**3 - 24*g**2 - 8*g - 17. Let o(h) = -100*h + 7*h**3 - 17 - 25*h**2 - 8*h**3 + 92*h. Let l(q) = -4*m(q) + 3*o(q). Is l(-19) a composite number?
False
Let x(h) = 2*h**3 + 8*h**2 - 13*h + 7. Let q be x(3). Suppose i = -3 + 8. Is (q/((-8)/(-340)*i))/1 a composite number?
True
Let m(z) = 102*z**2 - 3*z + 5. Let b be m(5). Suppose 63*l + 54 = 369. Suppose -b = -l*v + 4575. Is v prime?
True
Let t be 30/4*(2312/(-12) - 0). Is 5 - (t + 7) - (0 + 2) composite?
True
Let i = 579 - 402. Is (i/6)/((-315)/158 - -2) composite?
True
Suppose -3*o + 5*m = -429992, -2*m = -6*m + 20. Is o prime?
False
Suppose 48 = -4*g + 4*q, 0*g + 5*g + 2*q + 32 = 0. Is (24108/g + -5)*-2 a composite number?
False
Let p = 299395 - 124008. Is p a composite number?
True
Let b(p) = -22452*p + 1198. Is b(-7) prime?
False
Let o = 33 + -31. Suppose -d + 2383 = -o*r, -d + 2*r + 2383 = r. Is d a composite number?
False
Suppose -4*q + g = -115156, -27*q - 115140 = -31*q - g. Is q prime?
False
Suppose -5*f - 3*d = -599459, -5*f - 632*d + 599469 = -634*d. Is f a composite number?
True
Suppose -2 = 23*m - 48. Suppose 0 = m*o + w - 15748, 0 = 2*o + 8*w - 4*w - 15754. Is o a prime number?
True
Suppose 7*o + 3773640 = 17468545. Is o prime?
False
Let b(i) = -52*i + 36. Let q(r) = -104*r + 71. Let y be 4 + -2*1/2. Let v(o) = y*q(o) - 7*b(o). Is v(26) prime?
False
Let l be (-1)/7 + (-29)/(-7). Suppose 93 - 5 = l*o. Is 4/o + 113931/99 prime?
True
Suppose 2*a + 3 = i - 10, -10 = 5*i + 5*a. Let w be 3/2 + 29*(-390)/(-12). Is w/6 - 1/i prime?
True
Let w be (60/35)/((-4)/(-42)). Let p be 3*3/w*10. Is (-779)/1*((-8)/(-2) - p) composite?
True
Let u(m) = -79005*m**3 - 3*m**2 - 21*m - 23. Is u(-2) a composite number?
True
Let o(k) be the second derivative of -11*k**6/40 - 7*k**5/120 + 7*k**4/12 + 18*k. Let h(p) be the third derivative of o(p). Is h(-3) prime?
True
Let a be (-4)/8*(0 - 4). Let l = 5322 - 2307. Suppose 0 = 3*d - a*g - g - l, -2*d - 4*g = -2034. Is d prime?
True
Let j(a) = -3*a**2 - 26*a + 13. Let x be j(-9). Suppose -p + 12726 = 2*c + 4*p, x*p + 12690 = 2*c. Is c composite?
False
Let u(d) be the first derivative of -93*d**2 - 103*d - 146. Is u(-12) prime?
True
Let m = 542646 - 308032. Is m a composite number?
True
Suppose 0 = -2*b - 37 + 39. Let z(d) = 541*d**3 - d**2 + 4*d - 3. Is z(b) composite?
False
Let n = -40 + -47. Let a = n - -86. Is (-3)/a*(-17935)/(-15) prime?
False
Let g = 100353 - 18492. Suppose 3*z + 3*a - 81861 = 8*a, -3*z = 3*a - g. Suppose 4*q = -9*q + z. Is q prime?
True
Let b(u) = -u**3 + 36*u**2 - 72*u + 6. Is b(29) prime?
False
Let o(p) = 1878*p**3 - p**2 + 2*p + 4. Is o(3) a prime number?
True
Is 