. Is p prime?
False
Suppose 0 = 45*d - 285261 - 308559. Is (-3)/6*d*7/(-14) composite?
False
Is (-288)/432*(-93255)/2 prime?
False
Suppose 25875 = -9*l + 164727. Suppose c + 15810 = 2*i, 3*i - 8285 = 2*c + l. Is i composite?
False
Suppose -4*z = -u + 4*u - 3921269, -3*z = -5*u + 6535429. Is u composite?
False
Suppose 137 + 633 = -10*c. Let d = -67 - c. Suppose d*q - 46 - 10264 = 0. Is q prime?
True
Let b be 7 + -8 - 1/(3 - 2). Let d(q) = 338*q**2 - 2*q - 5. Is d(b) a composite number?
True
Let r = -70776 - -126755. Suppose -10*b = b - r. Is b prime?
False
Let o(s) be the third derivative of 641*s**4/12 - 139*s**3/6 + 36*s**2 - 2. Is o(11) a composite number?
False
Suppose 2*y - 5*y + 429 = 0. Let r = -135 + y. Let h(t) = -t**3 + 16*t**2 - 8*t - 5. Is h(r) composite?
False
Let j = -227749 + 468918. Is j a composite number?
False
Let j = 239 + -239. Suppose 5*m - 14758 - 2437 = j. Is m a prime number?
False
Suppose 0 = b + 3*v - 447287, -b + v + 214547 + 232728 = 0. Suppose -b = -108*p + 95*p. Is p composite?
True
Let w(m) = m**3 + 4*m**2 - 8*m - 12. Let d be w(-5). Suppose 5*o + d*y - 8426 = -0*y, 3*o + 3*y = 5052. Is o a prime number?
False
Let i(r) = -r**3 - 12*r**2 - 10*r + 16. Suppose 3*n + 99 = 36. Let l be i(n). Suppose -5*z + 2*z = t - l, 2800 = 2*z - t. Is z prime?
True
Let s(x) = 5*x**2 - 186*x - 327. Is s(-34) a composite number?
False
Let i(f) be the second derivative of -13*f**5/10 + f**4/12 - f**3/3 + 3*f**2 + f. Let s(r) = r**2 - 86*r + 1168. Let x be s(69). Is i(x) prime?
False
Is 30242/(((-255)/75 + 3)*5/(-7)) prime?
False
Let g(d) = 18023*d**2 - 27*d - 49. Is g(-2) prime?
False
Let f = 76 + -70. Is f/(-30) + 0 + (-15588)/(-15) composite?
False
Let n = 1100 + -1567. Let x = 690 + n. Is x composite?
False
Let n = 67 + 566. Let f = 891 - n. Let q = -59 + f. Is q prime?
True
Let s = -66 - -99. Suppose 275*a - 267*a = -48. Is 2*(28965/110 - a/s) prime?
False
Suppose -h - 247 = -254. Let p(c) = 293*c**2 + 22*c - 142. Is p(h) a prime number?
True
Let l(a) = a**2 + a. Let x(h) be the first derivative of -2*h**3/3 - 2*h**2 - 371*h + 12. Let p(j) = -3*l(j) - x(j). Is p(0) a prime number?
False
Is 6/(-8)*(-18082328)/318 a composite number?
True
Suppose 0 = -4*i + 4*p + 60546 + 19106, 0 = 5*i + 3*p - 99629. Is i a composite number?
True
Suppose -3*l - 2037 = -2*a + a, -4*a = -3*l - 2046. Let f be (-1095 + 4)/((3 - 3) + -1). Let s = l + f. Is s prime?
False
Let m(i) = -7*i**3 + 9*i**2 - 29. Let t(v) = -v**3 + v**2 + v - 1. Let g(j) = -m(j) + 6*t(j). Is g(11) a composite number?
True
Is -13*(-636394)/176*8 composite?
True
Suppose 210*z - 4140719 = -127*z. Is z composite?
True
Is 1035534/(-7)*(-749)/321 composite?
True
Let k(w) = -183042*w + 2741. Is k(-5) a prime number?
True
Let x be (-4 + 4)/(-5) - 13075. Let q = 1692 - x. Is q composite?
False
Suppose 2*c = j + 15, 5*c + 5*j = 10 + 5. Is (-12873)/14*c/(-3) a composite number?
True
Let r be (-5)/35*-6*164591. Is (-2)/(-4)*r/21 a prime number?
True
Let k(u) = -8323*u**3 - 6*u**2 - 51*u - 88. Is k(-2) a composite number?
True
Let w(u) = 8613*u + 208. Is w(7) prime?
False
Suppose 1145311 = -27*r + 31*r - 5*i, 0 = -4*r + 2*i + 1145290. Is r a prime number?
False
Let v = -492 - -495. Is v + -4 + (-580164)/(-13) prime?
False
Is 16 + (2490419 - (-9 - -5)) a composite number?
True
Let h = 104 + -94. Suppose -26*l + 17392 = -h*l. Is l a composite number?
False
Let t(v) = -3*v**2 + 11*v + 6. Let u be t(4). Suppose 4*i + 2*g - 35500 = -0*g, -u*g - 8865 = -i. Is i prime?
False
Let a = -59 - -63. Let i(m) = 15*m**3 + 15*m - 2. Is i(a) prime?
False
Let y = 199633 - 15426. Is y composite?
True
Suppose -3*u + 161559 = -3*z, 3*u - 4*z + 5*z = 161555. Suppose 2*g = 5*f + 107695, 12*f - 11*f + u = g. Is g a composite number?
True
Let a(o) = 35*o + 44*o**2 - 18*o**2 - o**2 - 5. Is a(25) prime?
False
Suppose -4*q - 2*v - 174 = -1410, -5*v = -3*q + 914. Suppose q + 2304 = 4*f. Let l = f - 358. Is l prime?
False
Let f(b) = 1974*b**2 + 13*b + 57. Is f(7) prime?
False
Let w(f) = 2111*f**3 + 2*f**2. Let o be (-14)/49 - (-5)/(-7). Let x be w(o). Is (4*2/4)/((-6)/x) prime?
False
Let y(c) = 212*c**3 + 12*c. Let f be y(3). Suppose 3*q - f = 7839. Is q prime?
False
Let n = -115 + 110. Is 1 + n + (-3854)/(-2) composite?
True
Suppose -11*v + 61938 = 20*v. Suppose -8*y = -v - 8218. Is y a composite number?
False
Let t(v) = v**3 + 7*v**2 + 6*v + 7. Let f be t(-6). Let u(r) be the first derivative of 66*r**2 + 47*r + 835. Is u(f) a prime number?
True
Let n = -34613 - -61924. Is n prime?
False
Suppose 70728 = 5*m + a - 11912, -3*m + 49582 = a. Is m composite?
False
Let y be -12*(2/(-3))/(-2). Let b be y/18 - 11135/153. Let a = b - -112. Is a a prime number?
False
Let t = 802 + -793. Is (t + 57/(-6))/((-3)/105234) prime?
True
Let q = -64 + 70. Suppose 10*o - s = 5*o + 57, 0 = 2*s - q. Suppose o*n - 1633 = 3251. Is n prime?
False
Suppose 0 = -10*f - 2*f + 72. Let x be 93/(-13) - f/(-156)*4. Let i(s) = 23*s**2 - 8*s + 4. Is i(x) a composite number?
False
Suppose 331*o - 684*o = -337*o - 709616. Is o a prime number?
True
Let b(i) = -4*i - 25. Let h be b(-7). Suppose -h + 7 = n. Is 2/(-9) + (-115842)/(-54) + n a composite number?
True
Let a(o) = 9*o + 170 + 100*o**2 - 8*o**2 - 155. Is a(4) a prime number?
True
Suppose -11*w + 125 = -579. Suppose 53*z = w*z - 48103. Is z prime?
True
Let x be 3 - (3 - 1)/(-2). Suppose 5*z - 4*w = 1021, -246*z + 249*z - 3*w = 615. Suppose x*n - 5*n = -z. Is n a composite number?
True
Let w be 7336138/222 + 2/6. Let c = w + -19269. Is c composite?
True
Let m be (33/(-1))/((-33)/(-88)). Let s be 2/11 - 336/m. Suppose -t = 2*t + 2*v - 2617, -s*t - 2*v = -3488. Is t a composite number?
True
Let z be (-584)/(0 - 2/9). Let d = z - 1362. Suppose -3*u - d = -2*g, -g + 8*u = 13*u - 633. Is g prime?
False
Suppose 946*d - 926*d = 1266820. Is d a prime number?
False
Suppose 5*x = 5*w, 2*x - 4*w = w. Let u = x - -15. Suppose -u*v + 5712 + 7473 = 0. Is v a composite number?
True
Is (10 + (-131153)/55)*-5 composite?
True
Let c = 32953 - -38446. Is c composite?
False
Let i = 500414 - 262367. Is i a composite number?
True
Suppose -1224 = -17*y + 13*y. Is ((-556)/(-6))/(6/y) + 3 composite?
False
Suppose 6*m + 83341 = 7*m + 2*u, 0 = -2*u - 2. Suppose m = 3*j + 10*j. Is j prime?
False
Let i(h) = -h**3 - 8*h**2 - 14*h - 9. Let s be (12/24)/(2/(-24)). Let j be i(s). Is (-31488)/(-120) - j/(-5) a prime number?
True
Is 7*(-2)/(4/(-65774))*(-24)/(-24) composite?
True
Let z = 803580 - 27353. Is z composite?
True
Let g = 9 - 15. Let x be -4 + g/(-4 + 2). Is x/(((-9)/3)/(-1077))*-1 composite?
False
Let c be (24 + 2)/(-4 + 2). Let o be 1*-2*(-110 - c). Let y = 788 + o. Is y prime?
False
Suppose 2*g - 12 = -2*g, 0 = 2*w - g - 3035. Suppose 4*s + c + w = 0, -s - 216 = -c + 160. Let f = -156 - s. Is f composite?
False
Let f be 3 + 0/(-1 + -4). Suppose f*n - 2*c - 6 = 2*c, 0 = -2*c. Is (-37)/(1 - (n + 0)) a prime number?
True
Is 22/6 + (-26)/39 + 23140/2 composite?
True
Suppose l - 3*q - 13386 = 48847, 4*q = -8. Is l composite?
True
Let n(v) = -217*v - 114. Let d be n(2). Let w = 45385 + d. Is w composite?
True
Let n(u) = u**2 + 16*u + 28. Suppose 42 = -6*r + 3*r. Let q be n(r). Suppose -11*c + 6*c + 7805 = q. Is c a composite number?
True
Let a be 160/200 - (-40552)/10. Let l = a + -407. Is l prime?
False
Let c(q) be the first derivative of 407*q**4/8 + q**3 + 16*q**2 + 19. Let s(g) be the second derivative of c(g). Is s(1) a prime number?
False
Suppose 3*q = 7*q - 6232. Suppose 3*m - 2099 = -4*d, -m - q = -d - 2*d. Is d composite?
False
Let y(s) = -2*s**2 - 8*s + 7. Let k(w) = -2*w**2 - 3*w + 7. Let i(f) = -f. Let p(z) = -5*i(z) - k(z). Let j(g) = -4*p(g) - 5*y(g). Is j(15) a composite number?
False
Suppose -5*o = -22*o - 23749. Is (4 - (o + 5)) + 3 prime?
True
Is -127031*(3 + -14)*6/66 a composite number?
False
Suppose -371*l + 18300 = -365*l. Suppose -2*g - 532 = -l. Is g composite?
False
Let k(t) = 597*t**3 - 3*t**2 - 3*t - 4. Let u be k(-2). Let m = u + 6707. Is m a prime number?
False
Let k = 498160 - -351411. Is k a composite number?
False
Let x(g) be the third derivative of -g**5/60 + g**4/3 + 13*g**3/2 - 42*g**2. Is x(10) composite?
False
Suppose 1564332 - 126347 = 5*c. Is c composite?
False
Let a(d) be the second der