number?
False
Is (-4309035)/15*(5 - 5 - 2) composite?
True
Let t(y) = 3*y - 15. Let g be t(12). Let v be (-2)/7 - 36/g - -6460. Suppose -4*h - 1015 = -4*r - 9623, v = 3*h - r. Is h prime?
True
Suppose -6*v + 18 = 6. Suppose -2 + 12 = 5*i, v*j = -i + 4324. Is j a composite number?
False
Suppose -9099 = 17*y - 27765. Let s = y - -551. Is s a composite number?
True
Let w be ((-2)/(-4)*-21)/(37/(-74)). Is (-48)/w + 2 + (-238110)/(-42) composite?
False
Suppose 5*z - 3590 = -5*t, -60*t + 2868 = -56*t + 2*z. Suppose -3*s + 6 = 4*k - s, -4*s + 3 = 5*k. Is (-1 + k)/(4/t) a prime number?
False
Let t(d) be the first derivative of d**4/4 - 11*d**3/3 + 11*d**2/2 + 4*d + 12. Let a be t(10). Is (2 - 264)*a/(-4) a composite number?
True
Let j = -157 - -362. Let l(a) = 2*a**2 - 8*a - 160. Let k be l(28). Let p = k - j. Is p prime?
False
Suppose -10*y = -6*y - 16. Suppose -4*p + 428 = -y*v, -80 - 119 = -2*p - v. Suppose 4*a - p = 3062. Is a a prime number?
False
Let m(u) = u**3 + 10*u**2 - 35*u + 56. Let r be m(-13). Suppose r*n - 11426 = -2*w, -4*n = -w - 4*w - 11433. Is n a prime number?
True
Suppose -152*r - 84049311 = -263*r. Is r prime?
True
Let k(y) = -18*y**2 + 11*y - 9. Let s be k(1). Is (-21230)/s + (-4)/(-32) prime?
True
Let x be 17 + -22 - (-9 + 1/(-1)). Suppose -x*v - 2*f + 99561 = 0, -7*v - 19907 = -8*v - 3*f. Is v composite?
False
Suppose -4*h = -2*o + 5992, -1195 - 4792 = -2*o + 5*h. Suppose -4*q - 2*g = -3978, -3*q + 3*g + o = -0*g. Is q a composite number?
False
Suppose 4*j + 70*m - 66*m - 52916 = 0, 2*m - 8 = 0. Let y = j + -9266. Is y a prime number?
False
Is (3 - 416*(-433)/3)/(44/132) a prime number?
True
Let v be 6335/(-70) - 3/2. Is v/230*42495/(-6) prime?
True
Let m be 2 + (-2 - -28095) - 4. Let a be m - ((-18)/9 - (1 - 1)). Suppose -w + a = 12*w. Is w a prime number?
True
Let j(l) = l - 8. Let t be j(15). Suppose -t*a = 5*a - 60. Suppose 0 = a*o + 7*o - 12324. Is o a composite number?
True
Suppose 4*k + 6360 = 16428. Suppose k + 609 = 3*b. Suppose -4*m = -3274 - b. Is m a prime number?
False
Let o = -586 - -591. Suppose -7673 - 124034 = -o*b - 4*p, 0 = 3*b - 2*p - 79011. Is b a prime number?
True
Suppose 0 = 3*x - 2*h + 20540, x - 3*h + 20541 = -2*x. Let p = x + 10299. Is p a composite number?
True
Suppose -3*y - h = -2*y + 4, -16 = 4*y - h. Let b be -6*(-2)/y - -137. Is (b/5)/((-3)/(-15)) a prime number?
False
Let q(w) = -22*w**3 + 4*w**2 - 6*w + 20. Let k be q(-7). Suppose 4*b - k = 6180. Is (-2)/8 - b/(-32) a prime number?
True
Suppose -2052682 = -30*u - 4*u. Is u a composite number?
False
Suppose m + 3 = t - 2*t, -5*m = -4*t - 30. Suppose -2*g - 3*h + 15 = -0*g, m*g + h - 5 = 0. Is (-5 - -543) + (g - 3) a composite number?
True
Let v(d) = 61*d**3 - 98*d**2 - 83*d + 41. Is v(23) a prime number?
True
Is (19/(38/(-4)))/((-2)/19841) prime?
True
Suppose 96 = 4*w + 2*w. Suppose 0 = -w*h + 10*h + 36042. Is h a prime number?
True
Suppose -176074 = -5*q - 9*y + 6*y, 3*q - 105651 = -4*y. Is q a prime number?
False
Suppose 438*q - 435*q = -5*v - 2092, 417 = -v - 2*q. Let f(t) = 67*t**3 + 5*t**2 + t - 3. Let g be f(-3). Let d = v - g. Is d composite?
True
Let q = 9416 - 2581. Is q a prime number?
False
Let w = 355697 - -532772. Is w composite?
False
Suppose 303*a - 293*a = 119330. Let x = -46 + a. Is x composite?
False
Suppose 5*u = 5*y - 135050, 17*y = 14*y - u + 81034. Is y composite?
False
Suppose -4*d + 261*j - 265*j = -823472, 5*j = 2*d - 411729. Is d a prime number?
False
Let x(w) = -16*w**3 - w**2 + 6*w + 6. Let q be 48/(-30)*70/4. Let k = q - -25. Is x(k) prime?
False
Let s(a) = 6*a**3 + 171*a**2 + 42*a + 23. Is s(20) a prime number?
False
Suppose -g - 9 = -6*g - 3*p, 0 = -2*g - 2*p + 6. Let v be 6 + (g - 4 - -2) - -1. Suppose 9081 = 4*q + v*q. Is q composite?
False
Let l = 137 + -125. Suppose l*h = 15*h - 15999. Is h prime?
True
Let l be 2 + -6 - (1375 - -20). Is 21*(-1)/3*l prime?
False
Suppose -600*q + 625*q = 330425. Is q prime?
True
Let c(m) be the second derivative of -m**3/3 + 3*m**2/2 + 17*m. Let o be c(-3). Let u = o - -242. Is u composite?
False
Suppose 13 = 4*l - b, 3*l - 35 = -2*l + 5*b. Suppose j = -l*j + 5*a + 2089, -a = -4. Suppose 3*i = j + 1499. Is i composite?
True
Is 97771 + (1/(-1))/(-1)*(8 - 8) a composite number?
False
Let d(h) = -h**3 - 15*h**2 - 23*h - 44. Let f be (30 - 26)/(4/(-15)). Is d(f) prime?
False
Let x(h) = -101*h**3 - h**2 - 2*h + 5. Suppose -o - 7 = 10*r - 6*r, 0 = 4*r - 4*o + 32. Is x(r) prime?
True
Is 70/(-28) - 111077097/(-46) composite?
False
Let t = 15863 + -15280. Is t prime?
False
Let k(d) = -d**3 + 3*d**2 + 3*d + 16129. Suppose -36*q = -56*q. Is k(q) a composite number?
True
Is -1 + (-26)/(-22) + (-219168131)/(-5291) a prime number?
False
Let i(o) be the second derivative of 13367*o**5/20 - o**3/6 + o**2/2 - 6*o + 20. Is i(1) a composite number?
False
Suppose 4*w = -20, 2*w + 609659 + 391739 = 4*g. Is g a composite number?
True
Let x be ((-7)/(-14))/((-2)/(-52)). Let d = 23 - x. Let k = d + 5. Is k a prime number?
False
Suppose -5*z - 2833 - 4012 = 0. Let o = 2617 + z. Suppose -4*v - 5*b + 0*b + 4947 = 0, -v + b = -o. Is v composite?
True
Suppose d = -5*g + 108017 + 55185, -2*d = -5*g - 326329. Is d a prime number?
False
Let m be (-7)/2 - (-5 + 77/14). Is (-49828)/(-11) - -3 - m/22 a prime number?
False
Let f(k) = k**3 - 10*k**2 - 7*k + 218455. Is f(0) prime?
False
Suppose 259031 + 77359 = 18*k - 12*k. Is k a composite number?
True
Suppose -125*f + 3638645 + 4462811 = -2782419. Is f composite?
False
Suppose 0 = -48*r + 489008 + 217216. Is r a composite number?
False
Suppose 3*k - 575805 = -3*q, -k + 959*q = 962*q - 191947. Is k a composite number?
False
Is (-20 + 3367/169)*-7760701 a prime number?
True
Let t = -32 - -48. Suppose -5*v + t*v - 10714 = 0. Suppose 14*b - 16*b + v = 0. Is b prime?
True
Let h be (4608/(-21))/(23/(-1288)). Let k = h - 5767. Is k a prime number?
True
Let c(o) = 3*o**2 - 15*o + 52. Let v be c(-19). Let d = v - -313. Is d prime?
True
Let l(h) = -14*h**3 - 31*h**2 + 14*h - 1988. Let p(w) = 5*w**3 + 11*w**2 - 5*w + 663. Let s(x) = -4*l(x) - 11*p(x). Is s(0) a prime number?
True
Is -7 + 5 + (-97611)/(-3) + 4 a prime number?
False
Let u(p) be the third derivative of 211*p**5/30 - p**4/6 + 2*p**3/3 - 28*p**2. Let c be u(1). Suppose 0 = 2*l - c - 404. Is l a prime number?
False
Let g be 123/21 + -1 + (-8)/(-7). Suppose -g*d + 6912 = 198. Is d a prime number?
False
Let m(i) = 524869*i - 432. Is m(1) composite?
True
Suppose -291*u = -231*u - 80037420. Is u a composite number?
True
Is (-229)/((2/(-8))/((-703)/(-76))) composite?
True
Suppose d - 1634 = -c, 1273 + 1994 = 2*d + c. Suppose 0 = -v - 5*w + 364, -5*v - 3*w + 297 = -d. Is v prime?
True
Suppose 21 - 1 = 5*x. Let w be (28/x)/(3/(-246)). Is w/(-3 + (1 - 0)) composite?
True
Let k(y) = 5380*y + 11933. Is k(29) prime?
True
Let i(f) = f + 21. Suppose 3*u - 2*s + 43 = 0, u + 48 = -3*u + 5*s. Let d be i(u). Suppose y = -d*h - 3*y + 688, 5*y - 683 = -4*h. Is h prime?
False
Is 78/(-6) + 162650 + 12 prime?
True
Suppose 6*d - 7*d + 5*c + 9 = 0, -2*d = -c + 9. Let w be -2 + (-4)/d*534. Suppose -w = -5*p + 3*p. Is p composite?
True
Suppose -4*j = 5*m - 44081, -3*j + 0*j = -4*m - 33053. Suppose 2*n - j = -5*h, 0 = 3*n - 6*n + 6. Is h composite?
False
Let r(l) = -273*l - 1381. Is r(-78) a prime number?
True
Suppose z - 5 = -n + 6, -4*z + 17 = n. Suppose 3689 = -5*t + b, 2*b - 17 = -n. Let u = 380 - t. Is u a composite number?
False
Suppose 2*t - 41 - 15 = 0. Let i = 13 - t. Let o(m) = 14*m**2 + 10*m + 37. Is o(i) a composite number?
False
Let x = 11614 + -7671. Is x a prime number?
True
Let u(q) be the second derivative of -q**6/60 - 2*q**5/3 - q**4/12 + 11*q**3/6 - 18*q**2 - 8*q. Let x(g) be the first derivative of u(g). Is x(-20) prime?
False
Let z(o) = o**2 - 26*o - 28. Let y be z(-11). Is y*(-9 - -3)*9/(-18) a prime number?
False
Let b = -84602 - -768223. Is b a prime number?
False
Let t be 18/42 - 1287/63. Is (-12)/t + 71848/20 prime?
True
Is -1 - -14890 - 2926/(-209) composite?
True
Suppose 0 = 4*r + 1 + 11. Is (-152)/(-2) - (-4 - r) prime?
False
Suppose 0 = c + 2*l - 5, 6*l = 8*l - 2. Suppose -x - 2 + 7 = 0, c*b = -5*x + 5788. Is b composite?
True
Let s(r) = 2421*r + 16. Let f be s(1). Suppose 0 = -351*n + 352*n - f. Is n a 