t v = -2893 - q. Is v a prime number?
True
Let s(u) be the first derivative of 361*u**2/2 + 20*u - 122. Is s(21) a prime number?
False
Let t = 12507 - 6386. Is t a prime number?
True
Suppose -2*p = l + 374, -3*l - p - 1173 + 41 = 0. Let v = 159 - l. Is v a prime number?
False
Suppose s - 3*m = -8*m + 5, 0 = 3*s + m - 1. Let n be s*2/(-8)*-4. Suppose n = -7*y + 11166 + 13271. Is y a prime number?
True
Suppose 3*a - 55770 = -3*a. Suppose -6960 = -5*b + a. Is b composite?
False
Is 12/(-8)*(-870)/(-90)*-32894 prime?
False
Let c = -14345 - -8422. Let d = -1352 - c. Is d prime?
False
Let h(w) = -w**3 - 2*w**2 - 8*w - 26. Let p be h(-9). Let i = 264 + p. Is i prime?
True
Let w(i) = i**3 + 9*i**2 - 11*i - 5. Let x be w(-10). Suppose -252 = -x*y + 2*f, 0*f - 5*f = 5. Let z = 69 + y. Is z composite?
True
Let q(n) = 50*n**3 - 13*n + 19. Let c be q(5). Suppose 16162 = 2*d - 2*u + c, 4975 = d - 3*u. Is d a composite number?
True
Let b = 89853 - 31539. Suppose 28*f - 34*f = -b. Is f prime?
True
Suppose 85*b - 192 = 81*b. Suppose -36*c = -b*c + 63204. Is c composite?
True
Suppose 2561301 = -342*v + 347*v + b, -2*b = 5*v - 2561297. Is v a prime number?
False
Suppose 4*d = -5*q - 9532, 0 = 2*q + 7*d - 8*d + 3818. Let r = 4695 + q. Is r composite?
True
Let j = -1951 - -9810. Is j prime?
False
Suppose 11 = 3*u + 11. Suppose 2*a + 8 = -u*n - 4*n, 0 = 2*a - 5*n - 10. Suppose 0 = -4*x - i + 7942, 0 = 3*x - a*x - i - 5953. Is x composite?
True
Let i = -19225 + 21186. Is i a prime number?
False
Let u = -25 - -21. Let y(j) = 2*j**3 + 4*j**2 - 9*j + 6. Let q(f) = 2*f**3 + 4*f**2 - 8*f + 5. Let z(x) = u*y(x) + 3*q(x). Is z(-10) composite?
False
Suppose 5*p - 50 = -5*u, -10*p - u - 30 = -13*p. Suppose -19124 = -18*n - p*n. Is n prime?
True
Let o = -96276 - -180097. Is o composite?
True
Let a(c) = -c**2 + c + 1. Let o(r) = 17*r + 175. Let k(f) = -6*a(f) + o(f). Is k(29) a prime number?
False
Let z be (-2 - -5) + ((-4)/4 - -3). Suppose -2*o = -2*t + 1174, 4*t + 0*o - 2352 = z*o. Is t a prime number?
False
Suppose 0 = -6*u - u. Suppose u = 4*t - 6073 + 229. Suppose 96*d - 99*d + t = 0. Is d a prime number?
True
Suppose 0 = 2*f + 3*s - 54 - 174, 0 = -2*f - 4*s + 224. Let w be 6/(f/4) - 2/10. Suppose w = -3*a - 2*h + 1475, -a + 553 = -5*h + 67. Is a a composite number?
False
Let u(z) = -z**3 - 21*z**2 - z - 18. Suppose 12*w - 8 + 260 = 0. Let i be u(w). Suppose -5*x - 1625 = -m - 4*m, x = -i*m + 983. Is m prime?
False
Suppose -71*i + 32*i = -27*i - 1305420. Is i composite?
True
Suppose -2*a = -2*d - 5241 - 737, -2*a + 4*d = -5966. Is a composite?
True
Let h(y) be the third derivative of 7/24*y**4 + 0 + 0*y + 7/6*y**3 + 39*y**2. Is h(4) prime?
False
Let a = 689313 - 179096. Is a a composite number?
False
Let o(q) = 4*q - 23. Let w be o(-8). Let b be (-2)/(-11) - (-10)/w*-32. Suppose -b*l = -7*l + 3017. Is l a composite number?
True
Is ((-93225)/(-40) - -7)*8/2*2 a composite number?
False
Let o(v) = 31*v**3 + 28*v**2 - 108*v + 1. Is o(12) a prime number?
False
Suppose -8 = 5*n + 2, 3*p = n + 183005. Is p prime?
True
Let r(n) = 13*n**3 - 61*n**2 + 58*n - 211. Let l(a) = -3*a**3 + 15*a**2 - 15*a + 53. Let w(i) = -9*l(i) - 2*r(i). Is w(26) composite?
False
Is 125893753/513 + (-24)/(-324) a prime number?
True
Let p = 1342 - -1491. Suppose -l + 14*n = 17*n - p, 0 = -n. Is l a prime number?
True
Suppose 0 = 5*y + 57 - 117. Suppose 0 = 2*g - 0*g - y. Suppose 0 = -5*s - g*o + 3*o + 995, -2*o - 796 = -4*s. Is s prime?
True
Let l = -268679 - -740460. Is l prime?
True
Let u(l) = -3*l**2 + 4*l + 21. Let p be u(8). Let f = 302 + p. Is f a prime number?
True
Suppose 11*k = 6*k - 50. Let a = 22 + k. Is ((-10228)/a)/(2/3 + -1) prime?
True
Let m(g) = -100*g**3 + g**2 - 130*g + 210. Is m(-23) a prime number?
False
Suppose -3 = -5*k + 2, -4*o = 3*k - 35. Let v(z) = 50 - o - 12 - 17 + 665*z. Is v(2) prime?
False
Suppose -12 = -59*j + 57*j. Is (6 - 0)/j - -2860 a composite number?
False
Suppose -2*b - 3*o + 24 = 0, -3*b + 4*o = -b + 4. Suppose -5*l + b*l + 498 = 0. Let u = 917 + l. Is u a prime number?
True
Suppose -3*x + 340303 = -2*b, -5*b + 96885 + 16572 = x. Is x composite?
False
Let x be 469/402 - 10/(-12). Suppose 5*w - x*q - 157351 = 0, 4*w + 7566 = -4*q + 133430. Is w composite?
False
Suppose 4*o + v - 22007 = 17898, -2*v = 5*o - 49882. Let t = o + -4313. Is t composite?
True
Suppose 53*z - 58*z = -3*g + 907796, -5*g + 1512988 = -3*z. Is g prime?
True
Let p(n) = -2798*n**3 + 8*n**2 + 80*n + 5. Is p(-5) a prime number?
False
Let g be (-12)/66 + (-928)/(-22). Let o = g - 40. Suppose -2*d + o*n = -744, 5*d + 4*n - 433 = 1382. Is d a composite number?
False
Is ((-2298)/9 - 7)*471/(-1) a prime number?
False
Suppose g + 0*g = -4*h + 4700, 0 = 2*h - g - 2350. Suppose -341*i = -346*i + h. Is i composite?
True
Let m = -57 - -58. Let q be 7 - (3 + m) - 6. Let v(u) = -17*u**3 - 4*u**2 - u - 7. Is v(q) prime?
True
Let h(z) = 373*z + 3. Let i be h(9). Let s = -79 + i. Suppose -3*c - 5*w + s = -w, -5*c + 2*w + 5503 = 0. Is c composite?
True
Let b = 371504 + -182845. Is b prime?
False
Let h(c) = 226*c - 66. Let d be h(-29). Is (-6*2/8)/(30/d) prime?
True
Let r(o) = 0*o - 4 + 7*o - 21 - 6*o. Let p be r(22). Let j(w) = -301*w + 4. Is j(p) prime?
True
Let u be 49/(-8) + 2/16. Let y(w) = -46*w**3 + w**2 + 13*w + 9. Let s be y(u). Suppose -3*a + 1987 = -0*z + z, -a = -5*z + s. Is z a prime number?
False
Let q = -34883 - -53520. Is q a composite number?
False
Let o = -498275 - -762022. Is o composite?
True
Let k(f) = 4*f + 155. Let w = 7 - 24. Is k(w) a prime number?
False
Let d(f) = -29*f + 12. Suppose 3*a + c + 30 = a, -23 = 3*a - 4*c. Let s be d(a). Let n = s + -202. Is n composite?
True
Is ((-24)/(-168))/(4/80570)*284/10 a prime number?
False
Let v(j) = 3791*j + 633. Is v(10) composite?
False
Let h be (-1 + 1 + 842)*(-78)/(-12). Let l = 2814 + h. Is l a composite number?
False
Let w = -783 - -657. Let u = 20665 - w. Is u a composite number?
True
Let x(l) = 135*l**2 + 55*l - 1005. Is x(22) a composite number?
True
Suppose 398*b - 388*b - 155060 = 0. Is b composite?
True
Suppose 0 = -4*u + 2*b + 7870, 0 = -14*b + 9*b + 15. Is (1 - 1)/(-11 - -10) + u composite?
True
Let t be -1 - 6*(-1)/2. Let y be t - (-11)/(-7) - (-159798)/(-21). Is (-5)/((-25)/(-5)) - (y - 1) a prime number?
False
Let p = -718 + 718. Suppose -192*k + 205*k - 27989 = p. Is k prime?
True
Suppose -270 = -9*d - 180. Suppose -7*v = -d*v + 4497. Is v a composite number?
False
Suppose 21*n = 23*n + 26044. Let l = n + 19149. Is l a prime number?
False
Let j(b) = -b**2 - b + 54. Let o be j(7). Let r(f) be the first derivative of 167*f**3/3 - 2*f**2 - 3*f + 1. Is r(o) a prime number?
True
Suppose -69926 = -4*k + 2*i, -i + 6*i = -5*k + 87385. Suppose 3014 - k = -6*j. Is j composite?
False
Let r(o) = -o**2 - 27*o + 120173. Is r(0) a prime number?
False
Let m(x) = 50 - x - 14*x + 57 + 38. Is m(-20) a prime number?
False
Let b be (-23823)/7 - (10 + (-864)/84). Let d = b - -8550. Is d composite?
False
Suppose 974*p - 66708 = 970*p + 3*k, 2*k = -2*p + 33326. Is p prime?
False
Let l = 112 + -232. Let a = -368 - -673. Let r = l + a. Is r prime?
False
Let i(x) = -2*x**3 - 17*x**2 - 6*x - 12. Let k be i(-8). Let f be 2/7 + -5 + (-1084)/k. Suppose 0 = -39*y + f*y + 2605. Is y a composite number?
False
Let m = 13 + -10. Suppose -3*o + 60 = -4*j, 0 = 3*j + m*o + 27 + 39. Is 12/j - (-16944)/9 prime?
False
Let j(y) = -17 - 6*y + 4*y + 4*y. Let n be j(11). Suppose 0 = -4*a + 3*p + 115, 5*a - 30 = n*p + 110. Is a a prime number?
True
Let x be 64/288 + 16/9. Let f(u) = 346*u**2 + 1. Is f(x) composite?
True
Let b(a) = -a - 1. Let n(r) = -2*r**2 - 6*r + 17. Let g(s) = -5*b(s) + n(s). Let f be g(-11). Let q = f - -295. Is q a prime number?
False
Let h(f) = 69*f**2 - 2*f - 1. Let b be h(2). Suppose 3082 = -3*r + b. Let m = -150 - r. Is m a composite number?
False
Let h be (-82)/(-41)*((-14)/(-4) + -1). Suppose -3*c = 2*f - 8638, -4*f + 9480 = -h*c - 7796. Is f a prime number?
False
Let l = 7793 - -13976. Let y = -9766 + l. Is y composite?
True
Let m = 235849 + -54350. Is m composite?
False
Let j(t) = 26*t + 3. Let v be j(-1). Let u = v - -17. Let y(g) = -2*g**3 - 4*g**2 - 2*g - 11. Is y(u) a prime number?
False
Let t = -483 + 1426. Suppose -7430 = -3*a - 2*r + t, -3*