 -1 - (-3 - -6 - 3). Suppose t = j + 2. Suppose j = 17*y - 2*y - 9465. Is y prime?
True
Let f(l) be the second derivative of 95*l**3/6 - 189*l**2/2 - 3*l + 14. Is f(4) composite?
False
Let s be (1 + (-11)/5)/((-30)/11775). Let b = -202 + s. Is b a composite number?
False
Suppose -2*l - 2*l + 76 = 0. Let k(m) = l*m + 3 + 30*m + 6. Is k(6) a composite number?
True
Let y(t) = -8*t + 87. Let g be y(11). Is -2*(g + -2 - (-5557)/(-2)) a prime number?
True
Is (-5)/(-3) - (-2)/(-2) - 288782/(-6) prime?
True
Suppose -506256 - 429191 = -5*p + w, 4*p = -3*w + 748388. Is p a prime number?
True
Let m be 5*1*(-432)/(-90). Suppose 5*g - m = -299. Let k = 156 - g. Is k composite?
False
Let x(v) = 3*v**2 + 78*v - 5. Let q be x(-26). Is (0 - q)*(-1422)/(-45) composite?
True
Let p(m) = -2*m**2 - 11*m + 5. Let t be p(-6). Let b be 3/(-1) + -3*(t - 0). Suppose -2*c + b*c + 2342 = 0. Is c composite?
False
Let z(o) = -3*o + 21. Let w be z(3). Suppose w*g = 6*g + 60366. Is g a composite number?
False
Suppose -128420 = l - 47*l + 26*l. Is l prime?
True
Suppose 6*y = -3*n + y + 77, -5*n + 118 = -2*y. Let c = n + -23. Is (-103)/4*(3 - c - 22) composite?
True
Suppose 5*m + 14130 + 15040 = 0. Is m/(-3) - (280/(-24))/(-7) prime?
False
Is 28452 - (16*(-4)/8 + 13) a prime number?
True
Suppose -37*b + 53*b - 1728 = 0. Suppose -5*f = l - b, 5*l - 813 = -5*f - 233. Is l prime?
False
Let p(h) = -645*h**3 + 9*h**2 + 10*h - 23. Is p(-5) a prime number?
True
Suppose -9*a - 75 + 30 = 0. Is 10/25*4441 + (-3)/a a composite number?
False
Let a = 180797 + -91144. Is a a prime number?
True
Let b(s) = 1000*s**2 - 165*s + 1122. Is b(7) a composite number?
True
Suppose -10*a - 47220 = 5*p - 12*a, -a + 37776 = -4*p. Let r = p - -19871. Is r prime?
True
Suppose 12*f - 1368062 - 115726 = 0. Is f composite?
True
Is (1433570/(-30))/((-2)/3 + 7/21) a composite number?
False
Let p = 18 + -13. Suppose 3*z = p*s - 2*z - 5, -5*s - z + 23 = 0. Is (36/30)/(s/310) composite?
True
Let v be (-9 - (-136)/(-3))/((-1)/21). Let d = -220 + v. Is d a composite number?
True
Suppose -4*y + 86 = 18. Suppose -4*u + 171 = -y. Suppose -52*v + 3155 = -u*v. Is v prime?
True
Is (-3)/9*6*(-551398)/4 a composite number?
False
Let m be (-829220)/(-5) + (1 - 1). Suppose -18*t - m = -22*t. Is t a prime number?
False
Suppose 127*n - 125*n - 9706 = -4*r, 0 = 5*r + 20. Is n a composite number?
False
Let u = 8 - 5. Let t = -31812 - -31784. Is 1563*(2 + (u - t/(-6))) a prime number?
True
Let v = 5412 + 1052. Suppose -3247 = -2*d + 3*u, -12*d - 4*u = -8*d - v. Is d prime?
True
Let c(n) = -53*n - 1158. Is c(-95) prime?
True
Suppose -716 = 4*q - 2*b, 5*q - 2*b = -b - 895. Let t = -54 - q. Let m = t + 618. Is m prime?
True
Let j = -101 - -108. Let x = -707 + 4661. Suppose -u = -j*u + x. Is u a composite number?
False
Let k(p) = -p**3 - 3*p**2 + 3*p - 1. Let x be k(-4). Let n be (-2 - (4 - x))*-1. Suppose -3*z - 2*z - 3*t + 266 = 0, -n*t - 64 = -z. Is z a prime number?
False
Let o = -75 + 71. Let g = -51 + o. Let k = 276 + g. Is k prime?
False
Is ((-209789)/(-3))/(111/333) a prime number?
True
Suppose -2*i = 3*m, 4*m = -3*i + i - 2. Suppose -4*g + i*f = -11747, -g + 4296 = f + 1354. Is g composite?
False
Let g(t) = t**3 + 19*t**2 - 3. Let a be g(-19). Is 4108 - (-2 + 4 - (0 - a)) prime?
False
Suppose 8*b - 298825 = 112719. Is b composite?
True
Suppose -6746944 = -14*o + 36490. Is o composite?
False
Let l(q) = -4*q - 5*q + 34 + 0*q + 8. Let c(d) = 26*d - 125. Let t(h) = 4*c(h) + 11*l(h). Is t(17) composite?
False
Let d = 1874197 - 2646157. Is (1/(-2)*-1)/((-84)/d) prime?
False
Let h = -1298 + 4318. Let y = -1333 + h. Is y a prime number?
False
Let l(k) = -8*k - 180. Let j be l(-23). Is (-20511)/(-18) - (-6)/j composite?
True
Let d(i) be the first derivative of 4*i**3/3 - i**2 - 3*i - 1. Suppose 2*s = 2*m - 10, 65 - 55 = 3*m + 2*s. Is d(m) composite?
False
Let j(o) = 135*o**2 + 11*o + 10. Let g be j(-1). Let n = g + -60. Is n a composite number?
True
Suppose -17*n + 18*n = 0. Suppose n = 22*o - 187988 - 72734. Is o a prime number?
False
Suppose -o = -u - 10353, 3*o = -3*u - 10294 - 20735. Let l be (u/10)/(-2) - (-8)/(-20). Suppose g - 5*j = l, 0 = 2*g - 0*g - 4*j - 1046. Is g composite?
True
Let v be 0 + 26*-7*123/(-6). Let q = v - 1672. Is q a composite number?
True
Suppose 178*f - 14713047 = 62*f + 733165. Is f a prime number?
True
Suppose -25*j + 4 = -27*j. Is j*2/(24/(-17994)) a prime number?
True
Suppose -7*t = -11*t + 92. Suppose -8 = 19*h - t*h. Suppose -j + 1695 = h*j. Is j prime?
False
Let z(p) = p**2 + 2*p + 112. Let a be z(-23). Suppose -3*n + 357 = -5*s, -5*n + a = -0*s + 4*s. Is n composite?
True
Suppose -3*s + 7*w = 9*w - 188355, -2*s - 2*w + 125568 = 0. Is s composite?
True
Let c(n) = 18*n + 130. Let v be c(-7). Suppose 2*g = -v*q + 197022, -4*g - 254056 + 57064 = -4*q. Is q prime?
True
Let r(n) = 143*n + 185*n - 121 + 102. Is r(4) composite?
True
Let l be (-6 + 3)*2/(-6). Let r be -1262*(-1 + 0)/(7/14). Is (l - 2)/((-4)/r) prime?
True
Let m(v) = -277114*v + 149. Is m(-2) a composite number?
False
Let q(n) = -1279*n**2 - n + 4. Let z be q(1). Let s(b) = -15*b**3 + 3*b**2 + 5*b - 3. Let d be s(4). Let r = d - z. Is r a composite number?
True
Suppose -5864278 - 2195132 = -39*j - 1797609. Is j composite?
True
Suppose -3*x + 2*v + 129 = 0, 5*v + 86 = 4*x - 2*x. Let o = x - 27. Is -19 + o + 1870/1 + 0 a composite number?
False
Suppose 3*i = 5*l - 1188380, -2*i = -6*i - 20. Is l a composite number?
False
Let i be (276/9)/(20/45). Let u = i + 4418. Is u prime?
False
Suppose -4*t - 93 + 109 = 0. Suppose -4 = -4*n + 4. Suppose -5*i + n*u + 413 = 0, t*i - 150 = -2*u + 184. Is i a prime number?
True
Suppose -5*m - 4*w + 6*w - 43 = 0, 0 = 3*m - 4*w + 37. Let h be -2*m/(28/26). Suppose 1324 = -h*u + 17*u. Is u prime?
True
Let r be (36/(-84))/((-1)/7). Suppose -2*n - 2*w = -r*w - 82, 4*w = -4*n + 140. Is (n/6)/(4/56 + 0) a prime number?
False
Suppose -94*i + 88*i + 31068 = 0. Let o = i - 2807. Is o composite?
False
Suppose 3*g - 48 = -21. Let r(y) = 1328*y - 29. Is r(g) a prime number?
True
Suppose 0 = -15*i + 11*i - 456. Let v = -35 - i. Is v prime?
True
Let k(c) = -3*c - 43. Let i be k(-27). Suppose -4*y + 5*h = -117, -66 = -2*y + 3*h - 9. Let l = y + i. Is l a composite number?
False
Let j = -45 - -41. Let d(k) = -k**2 - 6*k - 5. Let q be d(j). Suppose 3*l - 57 = -q*o, -5*o - 81 = 3*l - 6*l. Is l a composite number?
True
Let k(l) = 14162*l**2 - 2. Let m be k(3). Is (2/4)/(16/m) a composite number?
True
Let j = -260 - -236. Is (23172/j)/((-2)/4) composite?
False
Let w be (-336)/9 + (-8)/12. Let p be (1311/w)/((1/(-38))/1). Let j = p - 864. Is j a composite number?
True
Suppose -5*v = 41756 - 4006. Let o = v + 14953. Is o a composite number?
True
Suppose q = -5*s - 11 + 35, -s = q - 8. Suppose 3*r + 5381 = s*r. Is r a composite number?
False
Let h(g) = 96*g**2 + 62*g + 2563. Is h(-39) a composite number?
False
Let y = -25336 - -333747. Is y a composite number?
False
Let a = 14145 + -7022. Is a a composite number?
True
Let i = -13 - -20. Let w be (6/8)/(i/28). Suppose -q - w*l = -202, 5*q - 3*l + 8*l = 960. Is q composite?
True
Let f = -109 - -115. Suppose -16 - 26 = -f*v. Suppose 2*a + 3*o - 1568 = 0, 0 = a + 4*o - v*o - 793. Is a prime?
True
Suppose 1107 + 5378 = -5*j - y, j + 1321 = -5*y. Let l be 0 + 4/(-5) + j/30. Is -2 - 67460/l - (-4)/(-22) a prime number?
True
Let p = -629 - -1160. Is (0 + p + -7 + 3)/1 a prime number?
False
Let v = 2942 + 447. Is v composite?
False
Is (-6 + 2235/(-45))*-1671 a prime number?
False
Let v(f) = -f**2 - 3*f + 4. Suppose -q + 5 = 3*n + 4*q, -n - 3*q + 7 = 0. Let s be v(n). Is ((-293)/2)/(s/12) a composite number?
False
Let m(s) = -18482*s - 5685. Is m(-47) a prime number?
False
Let w(g) = 15*g**3 - 25*g**2 - 103*g - 136. Is w(21) prime?
True
Let x(s) = 387*s - 3118. Is x(87) a composite number?
True
Suppose -339*r + 41978117 = -50*r. Is r a prime number?
True
Suppose 39*d - 29*d - 579070 = 0. Is d a prime number?
False
Let r(q) = 55*q**2 + 692*q + 1. Is r(10) prime?
True
Is (226076/(-8))/(6/(-15)*(-85)/(-68)) a composite number?
False
Let u(n) = 166*n**2 - 52*n - 471. Is u(-16) prime?
False
Suppose 2 + 5 = 3*i + 2*w, 1 = 5*i - 2*w. Is (1 - -2318*i) + 4/2 prime?
False
Let f(q) = -662*q**3 - 6*q*