n = 2*j - 4*l - 1250, -4*l + 3 = -5. Is j composite?
True
Suppose -223613194 - 105980138 = -332*o. Is o composite?
True
Let r be -2 + -5 + 5/10*-2. Let w be (1*(-2)/r)/((-32)/(-180352)). Is (1/(-5) + 24/20)*w a composite number?
False
Suppose f - 2667106 = -6*i, f - 112245 = -i + 332276. Is i prime?
True
Is -3 - (-18)/4 - 930985/(-22) a prime number?
False
Let m(h) = -h**3 + 132*h**2 + 114*h - 191. Is m(80) prime?
True
Let x = 26956 - 8423. Is x a composite number?
True
Let q(a) = 8*a**3 - 25 - 47*a - 7*a**2 - 41*a + 91*a. Is q(9) a composite number?
True
Let d(m) = -6*m - 105. Let q be d(-17). Let n(r) = -32*r**3 + 3*r**2 + 5*r + 3. Is n(q) a composite number?
True
Suppose -46*j + 62*j - 32 = 0. Suppose d + j*b - 5153 - 464 = 0, 5*d - 28130 = -b. Is d prime?
False
Suppose -34*r = -1501241 - 1378253. Is r a prime number?
True
Suppose -4*s = 0, h - s = -5*s + 81. Suppose 9*r = -h - 0. Is (3/r)/(6/(-21834)) a prime number?
True
Let d(q) = 59*q**2 - q - 4. Let v be d(-6). Let n be 3 + 10/(-3) + v/6. Suppose 4*s - n = -2*s. Is s a prime number?
True
Let l(q) = 6080*q**2 + 896*q - 5. Is l(6) composite?
False
Let t(v) = -173903*v**3 - 367*v**2 - 370*v - 1. Is t(-1) prime?
False
Let o = -916 - -2715. Suppose o + 4736 = m. Is m a prime number?
False
Suppose 187705 = 59*o + 5218. Is o composite?
True
Let h(f) = 137*f + 151. Let n be h(11). Suppose t - 4*k - 1626 = 0, 0 = t - k + 5*k - n. Is t composite?
True
Let p be 0/(-3 - (-35)/7). Suppose p = -38*b - 68914 + 608172. Is b composite?
True
Suppose -o - 2*u + 87721 = 0, -438597 = 10*o - 15*o - 2*u. Is o composite?
False
Let v be (-2*1 - -2)*1. Let m be 7/(-2)*(-8)/14. Suppose v = -r - 3, 4*c - r + m*r = 293. Is c composite?
True
Let t = -142 - -136. Is ((-4197)/t + (1 - 1))*2 a composite number?
False
Let s = 247373 - 113616. Is s composite?
True
Suppose 126*w - 16096973 = 179581. Is w a composite number?
True
Let y be (-30)/(-20)*(0 + -3 - -5). Suppose 0 = -4*p - 3*v + 15971, -y*p - 3*v - 15941 = -7*p. Is p composite?
False
Let b(n) = 3987*n - 19437. Is b(8) prime?
False
Let u(j) = 22*j + 2037. Is u(-8) prime?
True
Let c(z) = z**3 - 22*z**2 + 36*z - 2. Let s be c(21). Let t = 1260 - s. Is t a composite number?
False
Let u be 0 - (955 + 0)/1. Let m(h) = 13*h**2 - 40*h - 1020. Let c be m(-18). Let w = u + c. Is w composite?
False
Suppose -5*i + 13755 = 4*p, -p = -5*i + 4206 + 9524. Suppose 2*q + i = u, -2*u - 5*q = u - 8208. Is u composite?
False
Let t(x) be the first derivative of -19*x**4/4 + x**3/3 + 2*x**2 - 3*x - 75. Is t(-4) a composite number?
False
Let a(j) = -1322*j + 671*j + 58 + 126*j**2 + 681*j. Is a(-11) prime?
False
Let q = -35 - -29. Let n be (-4)/(-6)*q + 430. Let j = 675 - n. Is j composite?
True
Suppose 35*h + 3808 = 39*h. Let t = h - 255. Is t composite?
True
Let j(k) = -4*k - 10. Let g = 61 + -61. Let i be j(g). Is (-2)/(6/i + (-7354)/(-12290)) a prime number?
True
Let o = 31861 - -101298. Is o a composite number?
True
Is (-6 - (-121)/22)/((-3)/200874) composite?
False
Suppose n - 142986 = 5*o, 13*n - 3*o + 429048 = 16*n. Is n prime?
False
Suppose -2*p - 2*o - 42 = -4*p, -5*p = 4*o - 78. Suppose 0 = -3*f - 3 + p. Is 5/f*(2 - -477) composite?
False
Suppose 22 = 3*a + 16. Is (-81146)/(-4) + (5/2 - a) a composite number?
False
Let s be (64/12 + 4)*(-799320)/16. Is 6/20 + s/(-100) a prime number?
True
Suppose -101*q = -169*q + 5882204. Is q a composite number?
True
Let t = -845147 + 2247414. Is t a composite number?
False
Let w = 2152 + -800. Let r = -45 - -102. Let u = r + w. Is u prime?
True
Let w(c) = 56*c - 29. Let d(o) = -o**2 + 3*o + 23. Let h be d(7). Let p be (-1 - h/2) + (-234)/(-36). Is w(p) a prime number?
True
Let b(r) = -r**3 + 22*r**2 - 2*r + 40. Let w be b(22). Is ((42/(-9))/7)/(w/5622) a composite number?
False
Suppose 106*r - 10*r + 138240 = 0. Suppose -4*v = 2590 + 822. Let b = v - r. Is b a composite number?
False
Let x = 116 + -149. Is 191/((-3)/x*(-2 + 3)) a composite number?
True
Suppose 2*n = 15 + 25. Suppose k + 11 = 4*o, -2*k + 3*k = 2*o - 5. Is (k + 43)*335/n prime?
False
Suppose -5*x + 20 = 0, -3*j + 42430 = -3*x - 173561. Is j prime?
False
Suppose 69*d = 83*d - 31710. Suppose 0 = 3*q - 15, 5*z + q - d = -q. Is z composite?
True
Suppose -24 = -8*d + 8. Suppose t + 230 = -d*t. Let y = 440 + t. Is y composite?
True
Let q(g) = -2*g**2 - 23*g - 25. Let r be q(-10). Suppose r*s - 7*s + i = -7973, -2*s = i - 7983. Is s composite?
False
Let g(b) = -2054*b**3 - 16*b**2 - 10*b - 81. Is g(-6) a composite number?
True
Is 2/4*((-15 - -261531) + 22) prime?
True
Let w(p) = 7*p + 18. Let m be w(-4). Let d be ((-1522)/(-10))/((-12)/m - 1). Let g = d - -521. Is g composite?
True
Suppose 16*p - 30 = 11*p. Suppose 2017 = 5*o + 4*f, o + 1990 = p*o - 5*f. Is o a composite number?
False
Suppose 4*g = 2*z + 4, 18*g = 13*g - 2*z + 14. Suppose 0 = -5*b - 4*s + 2693 + 4258, 2*s = -g*b + 2780. Is b a prime number?
False
Let f(t) = 1971*t**3 - 11*t**2 + 18*t + 1. Is f(2) a prime number?
True
Let s(b) = 31*b**2 - 2*b - 1. Let t = 67 - 61. Let w be 4 + (-88)/14 - t/(-21). Is s(w) prime?
True
Let f(c) = -c**3 - c**2 + 26*c + 10671. Is f(0) prime?
False
Let w(n) = 106*n - 12. Let b be w(2). Let k be (b/(-70))/(4/(-14))*-1. Is ((-8)/k)/((-2)/(-2305)) composite?
True
Let q(z) = z - 2. Let p be q(2). Let y(a) = -a - 4. Let d be y(-6). Is (p + 87/2)*d a prime number?
False
Let s(u) = -2241*u + 88. Let y be s(-10). Is 7*(y/49 + 1) prime?
True
Let x(j) = 41958*j - 8281. Is x(8) composite?
True
Suppose -2*j - 2*o + 136524 = 0, 530*o = 531*o - 1. Is j prime?
True
Let b(l) = 11*l + 0*l**2 + 277*l**3 + 3*l + l**2 - 2 - 7*l**2 + 2*l**2. Is b(3) a composite number?
True
Let c(z) = 279*z**2 + 18*z + 39. Let b be c(-4). Suppose 2*r - b - 3007 = 0. Is r composite?
False
Let t(y) = -345*y**2 - 9*y - 54. Let l(f) = -173*f**2 - 5*f - 27. Let b(h) = -5*l(h) + 2*t(h). Let n(o) be the first derivative of b(o). Is n(2) a prime number?
False
Let l(t) = -1020*t + 51. Let n(b) = 1020*b - 52. Let j(g) = -3*l(g) - 2*n(g). Is j(13) a composite number?
True
Let t = 25930 - 13409. Is t a prime number?
False
Suppose -13*m = -16*m + 30. Suppose -4*t + 0*t = 2*k + m, 8 = -2*t. Suppose 0 = -k*y + 4*y - o - 1146, -y - 4*o + 1171 = 0. Is y composite?
False
Let p be (-223)/(-2 - (-392)/200). Let c = -1374 + p. Is c a composite number?
False
Let r(o) = 2*o + 26. Let t(l) = -1. Let j(u) = -r(u) - 2*t(u). Let y be j(-11). Is y/6 - (-4476)/9 a prime number?
False
Let b = -826428 - -1591067. Is b a composite number?
True
Is (-245)/14*-16152 - 17 a composite number?
True
Let z be -10*6/(-180) - (-28010)/3. Suppose -2*p + 7507 = 3*s - z, -3*s + 8425 = p. Is p a composite number?
False
Suppose 2*a - 1979 + 1975 = 0. Let m = 5 - 2. Is (((-966)/a)/m)/(-1) a composite number?
True
Let k = -6 + 8. Let i be (k - 3)*10/2. Let y = 484 + i. Is y prime?
True
Let j(s) = -s**3 - 5*s**2 - 2*s + 18739. Suppose -3*u + 9*r = 7*r + 6, -4*u = -3*r + 9. Is j(u) prime?
False
Let l(a) = -18043*a - 3789. Is l(-34) a prime number?
True
Let d(c) = 2*c - 10. Suppose 13*l - 14*l + 6 = 0. Let b be d(l). Suppose -b*f + f + 232 = w, -3*w + 720 = -5*f. Is w prime?
False
Let f(o) = 391*o**2 + 4*o. Let h be f(-2). Suppose 0*y - h = -2*y. Suppose -2*q = -5*n - y, -1173 = -2*q + 3*n - 403. Is q composite?
False
Suppose 9*a = 13*a - 45804. Suppose -18*l + a = -7*l. Is l prime?
False
Let m = -63 - -59. Let b be -2 + 0 - (2 - 6). Is ((1366/(-4))/1)/(b/m) a prime number?
True
Let f(z) = -206*z**2 - 557*z**2 - 2 + 4*z + 1052*z**2. Is f(1) prime?
False
Is (599884/(-6)*-1)/(3811/(-111) - -35) a composite number?
False
Suppose 0 = 5*u - 490532 - 217909 - 683944. Is u prime?
False
Suppose 384 = 12*v - 0*v. Is 40308/28 - v/56 a composite number?
False
Suppose -1052708 = 40*g - 26923548. Is g prime?
True
Let z = -19 - -27. Let r(s) be the second derivative of 50*s**3/3 - 3*s**2 + 797*s. Is r(z) a prime number?
False
Let s(h) = 33*h**2 - 23*h - 2867. Is s(102) a prime number?
True
Let k = -204 + 407. Is (k/14)/((-2)/(-188)) prime?
False
Let u be 10/3*(21/35 + 0). Is ((97314/8)/21)/(u/8) a composite number?
True
Let j(k) = -15*k**3 + 11*k**2 - 40*k - 57. Let s be j(-19). Let r = -65350 + s. Is r composite?
False
Suppose 11 + 19 = 6*t. Let a be t + 3/(6/10). Suppose -a = b + 4*