5890. Is y a prime number?
True
Suppose 5*f + 16*q - 19*q = 8197, 4*q + 8201 = 5*f. Is f composite?
False
Suppose -300 = -21*x + 15*x. Is 1194 - (8 - x/10) a prime number?
False
Suppose 0 = -c - c + 4, -5*s + 3*c = -423929. Is s prime?
True
Let f = -2596 - -2418. Let p be 914/6 - 2/(-3). Let u = p - f. Is u a composite number?
False
Suppose -141599 = -5*k + 3*a, -361*k - 3*a = -360*k - 28327. Is k prime?
False
Let d = -17223 + 33056. Is d composite?
True
Suppose 4 = -4*p + 12, -4*w - 3*p = -6. Is (-47110)/210*((w - 2) + -1) prime?
True
Let a(k) = 6*k + 60. Let o be a(-14). Is (-16)/o*((-19452)/2)/(-2) a prime number?
False
Let j(d) = d**3 + 24*d**2 - 21*d - 125. Is j(-20) composite?
True
Let t = -152 - -152. Is -3*(-2692)/12 + t a composite number?
False
Let w be (40 - 2)*((-130)/(-4) + 1). Suppose 0 = 2*h - 3*u - w, -3*u = 9 + 6. Suppose -m + 2169 = -h. Is m a prime number?
False
Let p = -648 - -415. Let c = 86 - p. Is c prime?
False
Suppose 12299095 = 65*h + 90*h. Is h a prime number?
True
Suppose 5*h - 2521579 = 4*s, -4*h + 2017296 = 13*s - 8*s. Is h a composite number?
True
Suppose 4*u + 3742 = 5*v, 42*u - 45*u + 4*v - 2806 = 0. Let k = -541 - u. Is k a composite number?
False
Let x be (-2)/(-1) + (-112)/(-4) + -7. Let y = -11 + x. Is 4883 - ((-7)/21)/((-2)/y) a prime number?
False
Let x(r) = 173*r**2 - 306*r - 12. Is x(13) prime?
True
Let g = -418 + 3669. Is g prime?
True
Let s(c) = -c**2 + c - 3. Let r(n) = 497*n**2 - 9*n + 5. Let d(b) = r(b) - 2*s(b). Is d(-6) a prime number?
True
Let q(p) = 247*p - 150. Suppose 3*s + 2*s - 35 = -2*n, -4*s - 5*n + 28 = 0. Is q(s) prime?
True
Suppose -3*q - 13 = 5*n, -4*n - 9*q = -7*q + 12. Let j(m) = -443*m - 162. Is j(n) a prime number?
True
Suppose -98954464 = -115*r - 109*r. Is r composite?
True
Let f = 118 + 19. Suppose -141*b = -f*b - 17060. Is b a prime number?
False
Let r(f) = -31301*f - 275. Is r(-2) a composite number?
False
Let k = 744 - 709. Suppose -k*g - 97435 = -684980. Is g a prime number?
True
Let u = -545211 - -1162640. Is u prime?
True
Suppose -44*m = -1505724 - 93280. Is m a prime number?
True
Is 11 + -234*(-10608)/36 composite?
False
Let a(u) = -u**2 - 11*u - 3. Let m be a(-5). Suppose -2*v = s - 11, -4*v + 3*s + m = 6*s. Suppose 3659 = 5*c + 2*w - 0*w, v*w + 9 = 0. Is c prime?
True
Let f be 3 + (-50)/15 + 45644/6. Suppose a + 4*a = 5*x + 12675, 2*x + f = 3*a. Is a prime?
False
Suppose 35*l - 2491120 - 18948781 = -14*l. Is l a prime number?
False
Let f = 5481 - 3383. Let n = 4877 - f. Is n a prime number?
False
Let m = -285 + 287. Suppose m*o - 2*u = 21300, 3*u - 53235 = -5*o + 5*u. Is o composite?
True
Let x = -46 - -51. Suppose -r - 3*r - 30 = x*s, -2*s = -5*r - 21. Let o(y) = -306*y + 13. Is o(r) a prime number?
True
Let f be (1*(-4)/(-2))/(2/3). Suppose -w + 4*i = 16, f*w + w - 4 = -i. Suppose -6*a + 11*a - 7715 = w. Is a composite?
False
Let a(l) = 33*l**3 + 2*l**2 + 2*l + 16. Let o be a(5). Let m = o - 2358. Is m prime?
False
Suppose -4*q = -5*m - 3893, 3*q - 41*m + 37*m = 2921. Is q a prime number?
True
Let q(r) = 1547*r**2 - 459*r**2 + 1 + r - 3*r. Suppose -32 = -46*g + 14. Is q(g) composite?
False
Let h be (-1)/(-3) - 1*230/15. Let a(t) = -588*t + 179. Is a(h) composite?
False
Let b(f) = 17*f**3 - 26*f**2 + 102*f - 1. Is b(14) composite?
False
Suppose 0 = -m + f - 5*f + 20195, 0 = -m + 5*f + 20249. Is m a composite number?
False
Suppose 6*d + 69 - 41265 = 0. Let l = d - 3867. Is l a composite number?
False
Suppose 0 = 2930*n - 2936*n + 51978. Is n prime?
True
Suppose -6*n + 19748 = -15556. Suppose 5*p + n = 35069. Suppose -p = -5*z - 2*q, z = -2*z - 5*q + 3487. Is z a composite number?
True
Suppose -57*d - 5331837 + 22948200 = 0. Is d a prime number?
True
Let k(f) = 943*f**2 - 1133*f - 37. Is k(25) a composite number?
True
Let o(v) = 15*v - 81. Let m(a) = 3*a - 16. Let t(z) = 11*m(z) - 2*o(z). Let s be t(5). Is 4/(16/5036)*s prime?
True
Let j(l) = 11505*l**2 + 13*l + 3. Is j(-4) prime?
True
Let m(k) = -k + 91. Let d be m(20). Suppose 3*f = -i + 7*f + d, -5*i = 3*f - 286. Is i composite?
False
Let t(x) = 221*x**3 - x - 9. Is t(5) prime?
True
Let n be (-45)/(-24) + 3/24. Suppose n*m + 5 = 11. Suppose -m*j - j + d + 768 = 0, 5*j - 5*d - 975 = 0. Is j a composite number?
False
Let n(q) = 4*q**3 + 46*q**2 + 20*q - 12. Let p be n(-11). Let x(r) = 46*r**2 - 17*r + 12. Is x(p) a composite number?
True
Is ((-88)/56 - (-52)/91)/(2/(-1467010)) a composite number?
True
Suppose -2*c = -4*i + 136, 3*i + 2*c - 2 - 86 = 0. Suppose i*l - 26*l = 18390. Is l a composite number?
True
Let g be (-2 - 2392/(-12))*-3. Let j be (54/(-72))/(2/g*2). Suppose -m + j = -2*u, -6*m - 4*u + 468 = -2*m. Is m prime?
False
Let w(x) = 15*x - 32. Let h be w(2). Let l = -4 + 0. Is (h/l)/(9/11034) a composite number?
False
Let i(t) be the third derivative of 1049*t**5/60 + 5*t**4/24 - t**3/2 - 5*t**2 - 21*t. Is i(-2) composite?
True
Let w = -504 + 3571. Is w a composite number?
False
Let p(w) = 6*w - 285. Let o be p(48). Suppose 0 = 5*y + q - 1465, 6*y - y - 1465 = -o*q. Is y a prime number?
True
Let i(j) = 1139*j - 7. Let t be i(-2). Let n = -1505 - t. Suppose n = -2*v + 2646. Is v a composite number?
True
Let g = 3 - 1. Let b be 386/(g/(-18)*2/(-3)). Suppose b + 32 = 7*h. Is h prime?
False
Suppose -2*x - 284 = 2*w, -6 - 10 = 4*x. Let t = w - -2. Let c = -47 - t. Is c a prime number?
True
Let c = 342 - 334. Suppose -c*d = 9*d - 51799. Is d prime?
False
Suppose -49 = -2*m - 39, -3*l + 2*m + 1478609 = 0. Is l prime?
False
Let y(d) = 9684*d**3 + 5*d**2 - 14*d + 7. Is y(2) prime?
True
Let t be (5205/(-2))/((-2)/16*3). Let d = t + -4293. Is d composite?
False
Let m = -931 + 72154. Is m a prime number?
False
Let z(a) = -461*a**3 + 21*a**2 + 90*a + 1217. Is z(-12) composite?
True
Suppose 7*a - a = 18. Let j(o) = 3*o + 1137 + 163*o**a + o**2 + 2*o - 162*o**3 - 3*o. Is j(0) composite?
True
Let g(y) = -8*y + 68. Let h be g(8). Suppose h*n + 4*n = 20456. Is n prime?
True
Let g be (-9*(-795)/9)/(-1). Is -13 + (-9 - g) + 7 + -1 prime?
False
Let o(a) = 10767*a**2 - 22*a - 4. Is o(3) composite?
True
Let a(p) = 3*p + 23. Let w = 84 + -71. Let n be a(w). Suppose 66*o - n*o = 632. Is o prime?
False
Suppose -3*f = -u - 1450569, -u - 268518 = 2*f - 1235564. Is f a prime number?
True
Let k be (-120)/(-9)*1*(-6)/(-8). Is 16956 + (0 + 1)/(10/k) a prime number?
False
Let r(w) = w**2 - 16*w - 44. Let t be 270/(-12)*(2 + 2)/(-2). Let f be 5 + t/3 - 1. Is r(f) prime?
True
Let q be (2 - 34)/(-2)*-1. Let y(s) = 2*s + 36. Let h be y(q). Suppose -2*v + 1668 = 8*u - h*u, 2*v - 417 = -u. Is u composite?
True
Let t = -354 - -358. Suppose 0 = 5*l + f - 64440, t*f + 12 = -8. Is l a composite number?
False
Suppose -2*u = 5*x - 54500, -43572 = -4*x - 2*u + 6*u. Is x composite?
True
Is ((-2 - -7) + (-306)/(-2))*10405/10 a composite number?
True
Suppose -2*u + 457006 = 3*k, 3*u + 58*k - 685479 = 61*k. Is u a composite number?
True
Suppose -6 = 19*p - 20*p. Suppose p = -w + 3*w, -5*w + 2480 = 5*i. Suppose 38*s = 39*s - i. Is s prime?
False
Is (-21 - -23)/(((-20)/(-46628))/5) a composite number?
True
Suppose -5*x + s = -470848, -2*s = -x + 45191 + 48984. Is x a prime number?
True
Suppose -14*m = -186*m + 1600386 + 1256018. Is m prime?
True
Suppose 13*y + 3*y = 46960. Suppose 5*m - 14667 = -3*j, -6*j + 5*j = m - y. Is m a prime number?
False
Let o = -313 - -318. Suppose o*w + 3*c = 16808 + 5915, 2*w + 4*c - 9078 = 0. Is w a composite number?
False
Let v(w) = 5*w**2 - 9*w + 1. Let k be v(7). Let y be (k/(-5))/((-6)/(-15))*-6. Suppose 2*g - y = 4*r - 1771, -2 = 2*g. Is r prime?
False
Is (3502782/(-36) - -28)/(1/(-2)) a prime number?
True
Let d(j) = 6*j + 25. Let q be ((-2)/(-6))/((-9)/(-216)). Suppose -55 - 41 = -q*z. Is d(z) composite?
False
Let i = 33 - 29. Suppose i*q = -q. Suppose 2*r + 2*o - 904 = -0*r, q = 2*r + o - 901. Is r a prime number?
True
Let p = -9242 + 15015. Is p prime?
False
Suppose 1641044 = 51*j - 1582003. Is j composite?
False
Let o(r) = -5*r**2 + 19*r + 4. Let k be o(4). Suppose -5*s + 5*z = -4598 - 5667, -4*z - 8 = k. Is s a prime number?
False
Suppose -4*w + 2 = 18. Let k(t) = -5*t - 17. Let c be k(w). Suppose c*y - 8*y + 1110 = a, -5*y + 1095 = 4*a. Is y a composite number?
False
Let a(g) = -5*g + 4. Let n be a(-2). Suppose 3*x