prime number?
True
Let t = -547 + 949. Let p = t + 943. Is p a composite number?
True
Suppose 3065 = 24*l - 19*l. Suppose -5*y + 4*p + 1039 = 0, 3*y = 4*p + p + l. Is y a composite number?
False
Let s(c) = -171*c**3 - c**2 + 2*c + 1. Let u(t) = -4*t**2 - 20*t - 2. Let k be u(-5). Let m be 3*(8/(-3) - (k + 0)). Is s(m) a composite number?
False
Suppose 12809487 = 67*y + 3818612 - 23053014. Is y prime?
False
Let k(x) = -x**3 + 15*x**2 - 16*x + 33. Let b(l) = -14*l**3 + 2*l**2 + l - 1. Let p be b(-1). Let u be k(p). Suppose 3776 + 3149 = u*j. Is j a prime number?
False
Let v = 75395 - -19172. Is v a composite number?
True
Suppose -5*n + 1994740 = 2*a + 755713, -3*a - 5*n = -1858538. Is a a composite number?
False
Suppose 0 = -13*w + 5*w. Is 291797/55 + w + (-2)/5 a prime number?
False
Suppose 4*g = -2*r + 97914, 29274 = 3*r + 5*g - 117593. Is r a prime number?
False
Suppose 0 = 17*t + 182 + 10494. Let i = 2750 + t. Is i composite?
True
Suppose 3*a - 5*z - 368641 = 0, 0 = 4*a + 463*z - 460*z - 491531. Is a composite?
True
Suppose -33*f - 151082 = -35*f - 31708. Is f a prime number?
False
Let z = -602 - -964. Suppose -3 = g, 0 = -2*d - 2*g + 1112 + z. Suppose 2*f - d = 4482. Is f composite?
True
Let a(o) = o**3 + 2*o - 4. Let u be a(2). Suppose -50646 = 2*t - u*t. Is t composite?
True
Let m be (-3)/(-4) + (30/24 - -8). Suppose -26*w = -21*w - m. Suppose 4*v + 7*t - 996 = w*t, 5*v + 2*t = 1245. Is v a prime number?
False
Suppose -13*a - 4588 = -17*a. Let q = 8762 - a. Is q a composite number?
True
Let l = -10999 + 28191. Suppose 0 = -8*k + 42816 - l. Is k composite?
False
Is (-24)/30 + (0 - 1556091/(-45)) composite?
True
Suppose -787*n = -776*n - 316019. Is n composite?
False
Let a = 64998 + 187741. Is a a composite number?
True
Let c be ((-26)/(-5))/((-2)/10). Let p = c + 8. Is (-1)/3 - 11544/p a composite number?
False
Let b = 6 + -3. Suppose 15*u - 6585 + 6510 = 0. Suppose -i = u - 1, b*p + i = 2807. Is p a prime number?
True
Suppose 0 = c - 2, 0 = -4*o - 3*c - 2543 + 12221. Let f = o + 281. Is f a composite number?
False
Let i = -104554 - -149381. Is i prime?
False
Let u be 42/11 + (-6)/(-33). Let y(i) be the third derivative of 19*i**6/60 + i**5/12 + i**4/12 + i**3/6 + 5*i**2. Is y(u) composite?
False
Suppose 21*g - 19239 = 42921. Suppose -16 = 4*o, -5*c - 5*o - 5483 = -2*c. Let y = g + c. Is y a composite number?
True
Let t(g) = 7*g**3 - 4*g**2 - 2*g + 4. Let u be t(1). Suppose 4*o + 208 = 8*o + 2*f, -3*o = -u*f - 169. Is o a prime number?
True
Let u = 6931 + 9857. Is ((-2)/4)/((-16794)/u - -1) a composite number?
False
Suppose -w + 14*w - 49621 = 0. Let p be w/4 - (-51)/68. Suppose 3*n = -5*m + 4507, 0 = -3*n + m - p + 5450. Is n composite?
False
Let d(i) = i**2 - 3*i - 6. Let h(o) = -o**2 + 2*o + 6. Let l(n) = -4*d(n) - 3*h(n). Let y be l(7). Is (y + -505)*(-2 + 12/8) prime?
False
Let k(v) = -v**2 - 6*v - 28. Let l be k(-3). Is (2/l)/(-1) - 6441440/(-3040) prime?
False
Suppose 0 + 17 = -3*f + 4*q, 2*q = f + 7. Let s be 9 + 4*f/6. Suppose s*r + 2406 = 10*r. Is r prime?
False
Suppose -2035626 = 13*j - 4956927 - 1880990. Is j composite?
False
Let s(h) = -4*h**3 - 15*h**2 - 9*h + 9. Let o be (-6 - 485/(-55)) + 4/22. Suppose 0 = y - 4*g - 3, -3*y + o*g + g = 23. Is s(y) a prime number?
True
Suppose 3*q - 3*z + 18 = 0, -q - 5*z = -2*z - 10. Let l be (635/(-2))/5*q. Suppose -3213 + l = -2*m. Is m a prime number?
True
Suppose -3*t + 3 + 18 = 0. Let d be 13*111 - 0/t. Suppose 0 = -6*u + 3*u + d. Is u prime?
False
Suppose -v = 4*v + 3*c - 6, 3*v - 4*c - 21 = 0. Let q(u) = -2*u**2 - 4*u + 1. Let f be q(v). Let l = 51 + f. Is l a composite number?
True
Let n = 93 - 91. Suppose 0 = -n*h - 0*h - 3*p - 2, -4*h + 4*p = -16. Suppose 3*m - 4*x + 1025 = 5914, 0 = 3*m + h*x - 4859. Is m a composite number?
True
Suppose 0 = 14*b - 5994 - 2252. Suppose 2*s + 4 = 3*s. Suppose 3*j + 1887 = i - b, 5*i - 12361 = -s*j. Is i prime?
True
Let b = 3401 - 2368. Suppose -a - b - 8201 = -5*n, -5*a + 5546 = 3*n. Is n prime?
True
Suppose -3*v + 3*n = -334855 - 501797, 3*v - 836662 = 5*n. Is v composite?
False
Suppose 43542004 = 45*l - 6858851. Is l a composite number?
False
Suppose -2195565 = -3*w - 2*h, 2*h = 218*w - 220*w + 1463714. Is w composite?
False
Suppose 12*s = 18 + 18. Suppose -6048 = -s*n - 6*t + 3*t, -3*t = n - 2014. Is n a composite number?
False
Suppose 0 = -4*u - 0*u - 68. Let r(b) = -15*b**3 - 8*b**2 - 4*b - 18. Let g(j) = 5*j**3 + 3*j**2 + j + 6. Let h(f) = u*g(f) - 6*r(f). Is h(7) prime?
False
Let v(a) = a**2 + 53*a - 5. Suppose 0 = 22*h - 43*h - 1197. Is v(h) prime?
True
Suppose 4*w = -4*x - 31 - 1, 5*x + 12 = 2*w. Is 2702 - (-5 - 0/(w/4)) a composite number?
False
Is (1*-11)/((-274)/3783118) prime?
False
Suppose 0*i + 5*k = -3*i + 9500, 3156 = i - k. Let o(u) = 2*u**3 + 17*u**2 - 13*u - 34. Let s be o(-9). Is s/(-5)*i/(-16) a prime number?
True
Let o(v) = -19*v + 1. Let g be o(-5). Suppose 2*u - 120 = -5*m - 0*u, 3*u + g = 4*m. Is ((-185)/(-8) + (-3)/m)*5 a prime number?
False
Let p(i) be the third derivative of -7*i**5/120 - 31*i**4/24 + 5*i**3/3 - 14*i**2. Let j(y) be the first derivative of p(y). Is j(-14) a prime number?
True
Let r(u) be the second derivative of 0 + 1/12*u**4 - 12*u + 7/6*u**3 - 9/2*u**2. Is r(-14) a composite number?
False
Suppose 2*x = -2*y + 3 - 1, -23 = -5*y + 4*x. Suppose 4292 = 7*z - y*z. Is z a composite number?
True
Suppose 0 = 3*k - v - 0*v - 6, 4*k - 8 = 4*v. Suppose -93 = k*t + 255. Let g = 1583 + t. Is g prime?
True
Suppose -133152 + 753189 = 9*i. Is i a composite number?
True
Suppose -4*d + 303759 = 59*v - 56*v, -v + 101245 = 4*d. Is v prime?
False
Suppose -5*t = 3*j - 302292, -312*t + 100778 = j - 315*t. Is j prime?
True
Suppose 2*g - 7*g = 10, -g + 554 = 4*q. Let t = -15 + 27. Is 3/t - 25/(-4)*q a prime number?
False
Let o = 142 - 568. Let s be (2/(-2))/3*o. Is 3 + -1 + -2 + s composite?
True
Let j = 54 + -50. Suppose j*f = 4766 + 10058. Is (-14)/(-35) + f/10 prime?
False
Suppose -59*d + 10723994 = -10322331 - 3032342. Is d a composite number?
True
Let r = 30 - 27. Suppose 4*q - 33 = -25. Suppose -54 = -3*j + r*z, -5*j - q*z + 33 = -4*j. Is j prime?
True
Let f(u) = -1531*u + 24. Let w = 18 + -24. Let j be f(w). Suppose 0 = -12*z + 18*z - j. Is z prime?
False
Let y(z) = 112*z**3 + 2*z**2 + 10*z + 31. Let f be y(7). Suppose 5*t - f = 65100. Is t a prime number?
True
Let f = -66728 - -139537. Is f composite?
True
Let c(y) = 2*y + 82. Let a be c(-44). Is (53050/15)/(a - (-100)/15) prime?
False
Suppose 36*z = 28*z + 40. Suppose t - 776 = -t + j, 3*t - 1157 = z*j. Is t a prime number?
True
Suppose 2*v + 10 = 2*h, 5*h - 6 = -2*v + 5. Let n be v/1 + (2 - 226). Let y = 935 + n. Is y prime?
True
Let b = 91849 + -62870. Is b a prime number?
True
Is 266786/6 + 104/39 composite?
True
Let n(w) = -145*w**3 + 5*w**2 - 9*w. Let m be 2 - (6/4)/((-15)/(-70)). Let u be n(m). Is 3/(-5 + 91490/u) a prime number?
True
Suppose -p + 2*z + 886097 = 4*z, -2*p + 1772182 = -2*z. Is p a composite number?
True
Let b(d) = d**3 - 3*d**2 - 21*d - 4. Suppose 0 = -4*k + 79 - 43. Is b(k) composite?
False
Let f(o) = 42*o**3 - 6*o**2 - 3*o - 4. Suppose 1346*j - 1340*j = 18. Is f(j) composite?
True
Let q(k) = 9*k - 13 + 19 + 16. Is q(15) composite?
False
Let m = 77 - 75. Let g(p) = 105*p**3 - 3*p + 2*p + 5 - 3*p - 2*p**2. Is g(m) prime?
True
Is (-5 - 15414)/(-7 - -6) a prime number?
False
Let b(x) = -328*x**3 - 7*x - 5. Let j(r) = 4 + 3 + 17*r + 0*r - 7*r + 492*r**3. Let n(g) = 8*b(g) + 5*j(g). Is n(-2) composite?
False
Suppose 3*l = 2*j + 1007, l - j + 339 = 2*l. Let f(g) = -g**3 - 11*g**2 - 6*g + 8. Let i be f(-8). Let d = l + i. Is d a composite number?
True
Let d(x) = 12*x**2 + 8*x + 7. Let a be ((-7)/(-14))/((-3)/18). Let n be d(a). Suppose 2*h + n = 3*h. Is h a prime number?
False
Let m be (-5 - -3)*(98965/(-10))/1. Suppose -q = -5*u + 32991, u = -2*u + q + m. Is u a composite number?
False
Let b be (-1)/(-4 + (-127)/(-32)). Suppose -5*l - b = -12. Is (-5966)/(-8) - 1/l a prime number?
False
Let n(a) = -a**3 + 9*a**2 - 8*a + 5. Let z be n(8). Suppose -o - o = 6, 36 = z*d - 2*o. Let x(l) = 78*l**2 + 14*l - 31. Is x(d) prime?
True
Suppose 2*o - 6939383 = -41*o. Suppose -112169 - o = -10*r. Is r a composite number?
True
Suppose -8*v = -11*v + 52783731.