 c = 2*o - 3*j. Is o prime?
True
Let b(j) = 3*j**2 - 13. Let n be b(3). Suppose -10*u - 5564 = -n*u. Is u prime?
False
Let d = -11373 - -23520. Is d a composite number?
True
Suppose 0 = -7*d + 3*d + 109420. Is d composite?
True
Let g(x) = x**3 + 21*x**2 + 4*x - 21. Suppose 4*n = -42 - 22. Is g(n) a prime number?
False
Suppose -12 = -d + 2. Let x = 24 - d. Is (35/x)/(3/6) composite?
False
Suppose -9*v + 2 = -2*h - 4*v, 5*h = 2*v + 16. Suppose -h*d - 5*y = -2995, 0 = d + 4*y - 0*y - 757. Is d a prime number?
False
Suppose -15*u = -1007574 + 230169. Is u a prime number?
True
Let a be (-1*(0 + 0))/1*1. Suppose 10*c + 5*c - 285 = a. Is c a composite number?
False
Suppose w - 24749 = -p - 7877, -3*p - 5*w = -50618. Is p a composite number?
False
Suppose 2*y = -5*u + 3879, 2*u + 15 = 5*u. Is y a prime number?
False
Suppose -22102 + 5890 = -3*v. Suppose v = 9*n - 3875. Is n a composite number?
False
Let n(p) be the first derivative of -p**6/120 + 2*p**5/15 + p**4/4 - 5*p**3/6 + 5*p**2/2 - 3. Let i(y) be the second derivative of n(y). Is i(6) a prime number?
True
Suppose -59*b + 60*b = -3*f + 35030, 0 = -2*f - b + 23353. Is f prime?
True
Let a = -16657 - -23568. Is a a composite number?
False
Let q(l) = l + 23. Let b be q(-12). Suppose -b*g = -12*g. Is (134/6 + g)*9 prime?
False
Suppose 4*w = 4*t, -6 = -w + 4*w. Let v(a) be the second derivative of 7*a**4/12 - 2*a**3/3 - 3*a**2/2 - 5*a. Is v(t) a prime number?
False
Let m(j) = j**2 - 5*j - 9. Let o be m(7). Suppose -4*q - 2*f = -8, -q + f = -o*q + 12. Suppose -3*c + 225 = -4*l + l, -q*l = -16. Is c composite?
False
Let z(d) = 81*d - 23. Let q be z(18). Suppose 0*y - q = -5*y. Is y prime?
False
Let k be (-13)/(-3) - (-18)/(-54). Is 1/(k + (-4267)/1067) a prime number?
False
Let a(p) be the second derivative of p**4/3 - 11*p**3/6 - 7*p**2 + 3*p. Let d(q) = 3*q**2 - 10*q - 13. Let x(f) = 5*a(f) - 6*d(f). Is x(5) a composite number?
False
Suppose -3*a = 5*x - 2*a + 21, 4*x = 3*a - 32. Let h(o) = 12*o**2 + 3*o - 5. Let i be h(x). Let t = -93 + i. Is t composite?
True
Suppose 3*q = 7*q - 736. Let b = q - -109. Is b prime?
True
Suppose -t + 9*z - 4*z = -8, 4*t - 32 = 3*z. Let d(h) be the first derivative of 2*h**3/3 + 7*h**2/2 + 10*h + 14. Is d(t) composite?
True
Let u(o) = -55*o - 8. Suppose 5*g = 6 - 21. Is u(g) prime?
True
Let c(a) = -a - 3. Let i be c(-5). Let j be (i + 29)*(5 + -4). Is j*-2*(-2)/4 a composite number?
False
Let p = 20337 - 4400. Is p prime?
True
Let f(q) = 15*q**2 - 45*q - 253. Is f(-28) a prime number?
False
Suppose -8*q + 949 = -4275. Suppose t - q - 429 = 0. Is t a composite number?
True
Let z = 31 + -29. Is 2/(48/16244) - z/(-12) composite?
False
Let l(m) = -4*m**3 - 27*m**2 + 31*m + 10. Let s be l(-13). Suppose -4*r = 4*r - s. Is r a composite number?
False
Suppose 0 = -37*i + 279718 + 675585. Is i a prime number?
True
Let r be (-3)/(-12) - (-1 - 33/12). Suppose 0*t + t = -4*h + 235, r*h = -3*t + 681. Is t prime?
True
Suppose 0 = 3*w - 47*w + 975172. Is w a composite number?
True
Let q = -62685 + 91574. Is q composite?
True
Let s(i) = 13*i**2 + 80*i - 94. Is s(-37) a composite number?
True
Let w = -973 + -761. Is 12/(-3) - -1 - (w - 2) composite?
False
Let c = -279 + 334. Is c prime?
False
Is (-460520)/348*3/(-2) prime?
False
Suppose -l + 2 = -3. Let s(h) = -h + h**3 + 15*h**2 - h - 33*h**2 + 15*h**2 + 9. Is s(l) composite?
True
Let k(c) = c**3 + 7*c**2 + 4*c - 14. Let l(f) = -2*f**3 - 14*f**2 - 7*f + 27. Let v be 28/(-5) - (-4)/(-10). Let u(n) = v*l(n) - 11*k(n). Is u(-7) prime?
False
Let p = 166107 - 107068. Is p a prime number?
False
Let q = -730 + 1025. Is q a composite number?
True
Let u = 5335 + -2044. Is u prime?
False
Suppose -5*k = 5*t - 11810, 3*t - 3267 = -2*k + 1456. Is k a prime number?
False
Let f = -8673 - -19040. Is f composite?
True
Suppose 5*o - 2*h = 5937, -2*o + 4*h + h + 2379 = 0. Is o prime?
True
Suppose 0*j - 11 = j. Let s = j - -13. Suppose -2*d = 3*d + 2*m - 781, -4*d - s*m + 624 = 0. Is d a prime number?
True
Let w(x) = -x**2 + x - 150. Let o be w(0). Let k be (6/5)/((-20)/o). Is 3881/k - (-8)/(-36) composite?
False
Let s be -1 + (1 - 3) + -2 + 1. Let l(c) = 63*c**2 - 2*c + 3. Is l(s) a prime number?
True
Let x be (0 + 1 - 2) + -1. Let r be 12/8 - x/4. Suppose 2*w - r*n + 4*n = 196, 4*w - 387 = -5*n. Is w composite?
False
Let o = 8718 + -4922. Is (o/(-6))/(1 - 20/12) a prime number?
False
Let m(v) = -v + 2. Let l be m(0). Is (-662)/4*1/(-1)*l composite?
False
Let i = 79 - 76. Suppose -5*w = 5*n - 0*n - 1800, -w = i*n - 364. Is w composite?
True
Let d = -1 - 15. Let w(y) = -7*y - 33. Is w(d) a composite number?
False
Suppose -267546 + 32514 = -24*p. Is p a prime number?
False
Let w = 2 + -20. Let z = w - -33. Is z prime?
False
Let k(o) = o - 4. Let y(g) = g**3 + 7*g**2 + g + 15. Let r be y(-7). Let v be k(r). Suppose u + v*u - 165 = 0. Is u a prime number?
False
Suppose -3*d = -3*x + d + 101, 5*d + 41 = x. Suppose 5 + x = -6*b. Is (b + 3)/(-1) + 516 prime?
False
Let g be (-609)/(-189) - (-4)/(-18). Is (-121198)/(-55) - g/5 a prime number?
True
Let d = 10430 - 1287. Is d prime?
False
Let n(y) = -y**2 + 9*y. Let g be n(10). Let r(p) = -p**3 - 3*p**2 - 5*p**2 - 5 - 14*p - 3*p**2. Is r(g) composite?
True
Let i = 359 - -146. Is i prime?
False
Let j(d) = -d**2 - d - 39. Let r be j(0). Let b = -169 + r. Is -2 + 0 - (1 + b) a prime number?
False
Let f = -681 - -3040. Let y = 4010 - f. Is y prime?
False
Let a(i) = -14*i - 13. Let p be (-1)/(-3 + 32/12). Let c be (-7)/1 + 0/p. Is a(c) a prime number?
False
Let v be (-19703 + (3 - 2/1))/(-2). Suppose -6*t + v - 2825 = 0. Is t prime?
True
Let l(y) = 2*y**2 + 6*y - 37. Is l(39) a prime number?
False
Suppose -5*h - x - 2787 = -35777, 2*h - 13196 = -4*x. Is h a composite number?
True
Let k(l) = -l**3 + 10*l**2 + 7*l - 5. Let o = -8 - 5. Let u = 18 + o. Is k(u) prime?
False
Suppose -5*g = -11*g. Let m be g/(1 + 12/(-3)). Suppose -2*v + m*z = z - 657, 4*v - 4*z = 1344. Is v a composite number?
False
Let h(t) be the first derivative of -3*t**4/2 + 10*t**3/3 + 5*t**2 + 5*t + 28. Is h(-9) a composite number?
False
Let r(l) = l**3 + 9*l**2 - 3. Let g be ((-6)/(-5))/(2/(-10)). Let n be r(g). Suppose j - n = -8. Is j a composite number?
False
Let h(d) = -5*d**3 - 7*d**2 - 13*d - 55. Is h(-8) a prime number?
True
Let b = -6 + 10. Suppose -2*w - 2*w = -2*n + 272, 0 = 4*n + b*w - 580. Is n composite?
True
Let m = 16885 - 10962. Is m prime?
True
Suppose -2*v + 144 = 5*k - 202, -4*k = -5*v + 931. Is v a prime number?
False
Let a = 2548 + 469. Is a a composite number?
True
Let s(m) = -3*m**3 - 8*m**2 + 7*m - 13. Is s(-10) composite?
True
Suppose -3*u + 6*u + 3 = 4*j, 9 = 3*u. Suppose d - 6545 = -2*f, -4*f + 5826 + 7267 = j*d. Is f composite?
False
Is ((-24)/(-32) + -1)*-20068 composite?
True
Suppose 4*l + 9 = -z, -z + 16 - 1 = -4*l. Let i = -5 - l. Is i - (-3 + 0 + -120) composite?
True
Suppose 16*z = -13*z + 33089. Is z prime?
False
Suppose 0 = 5*a + 7 - 142. Is (-10915)/(-9) - (-6)/a a composite number?
False
Let c(u) = -25*u**2 - 10*u + 15. Let q(j) = 24*j**2 + 9*j - 14. Let m(w) = 6*c(w) + 7*q(w). Is m(-5) composite?
True
Suppose 0 = -2*l + c + 817, 4*c + 2023 = 5*l + 8*c. Is l prime?
False
Let z = -31 - -76. Let q be 6/10*-45*(-11)/(-33). Is q/z + 5142/10 composite?
True
Let s be 351/((-2)/(-8)*6). Let n = s - -105. Is n a prime number?
False
Let p(m) = -2*m**3 + m**2 + 2. Let l be p(2). Is 6/3*(-745)/l composite?
False
Let d be (1 - 3) + 0 + 4. Suppose y - 470 = j - 2*j, -2*y + d*j + 956 = 0. Suppose v + 5*w = -v + y, 3*w - 948 = -4*v. Is v a composite number?
True
Suppose 973883 = 49*i - 3008886. Is i composite?
False
Suppose -42*a = -11*a - 14849. Is a a composite number?
False
Let m = -42 - -42. Suppose 20 = -4*g - m*g, -1417 = -n + 4*g. Is n a prime number?
False
Let k be (3 - 15/4) + 11/4. Suppose 3*z - k*l + 1953 = 4*z, 4 = 4*l. Is z prime?
True
Let r = 28182 - 17963. Is r composite?
True
Let w(l) = 73*l**2 - 32*l + 21. Is w(10) prime?
True
Suppose 4*p = 2*a - 17028, -12*p - 17030 = -2*a - 9*p. Is a a prime number?
False
Let a(c) = 319*c - 4. Let s be a(5). Let p(j) = 2390*j - 12. Let l be p(1). Let z = l - s. Is z a prime number?
True
Suppose h = -614 - 1006. Let t(r) = 64*r**2 + 14*r + 1. Let p be t(6). Let s = p + h. 