 = 15386 - -2689. Suppose -5*z + p = 5*n - 7*z, 4*n - 14472 = 4*z. Is n prime?
True
Let y = -446 + 450. Suppose 19248 = -y*j + 101156. Is j prime?
True
Is (-264392*(-19)/456)/((-1)/(-3)) prime?
True
Suppose -9 = -3*i + 4*s - s, 2*i = s + 3. Suppose 4*z = 5*z + 3*b - 4918, i = 4*z + b - 19661. Is z composite?
True
Let j = -1657 - -907. Suppose 0 = 3*f + 1065 - 5280. Let d = j + f. Is d composite?
True
Suppose -c = -2*r - 656035, 3280203 = 5*c + 67*r - 63*r. Is c a prime number?
True
Suppose g + 72103 = f - 87167, 637072 = 4*f + 4*g. Is f a prime number?
False
Let c = -1 + 8. Suppose 0 = c*v + 522 - 16111. Is v a composite number?
True
Let j = 11421 - 23028. Let w = -6530 - j. Is w prime?
True
Suppose -91*g + 160805 = -86*g. Is g a prime number?
False
Suppose -6*u + k + 1066 = -5*u, -k = -2*u + 2131. Suppose 1389 = 6*z - u. Is z a prime number?
True
Suppose 77981 + 91681 = 6*f. Is f a composite number?
False
Suppose 120 = -549*p + 561*p. Suppose 17647 + 30183 = p*k. Is k prime?
True
Let m = -1 + -6. Let i = -54 - m. Let j = i + 301. Is j composite?
True
Suppose 7418*q - 7428*q = -700990. Is q a prime number?
True
Suppose -2*q - 1 + 0 = -b, -3*b = 5*q - 25. Suppose b*z - 25498 = 12567. Is z a prime number?
False
Let a = 115 - 112. Let g be 329*(1/(-3))/((-1)/a). Let o = g + -235. Is o a prime number?
False
Suppose -10*o - 11952 - 219868 = 0. Is 4/(-24)*3*o composite?
True
Suppose k - 3*w = -20, -5*w + 22 = -k - 8. Let r(m) be the third derivative of -13*m**4/12 + 2*m**3 + m**2. Is r(k) a prime number?
False
Suppose 0 = -n + 3*n - 8. Let w = -21314 + 23355. Suppose n*f + 871 = -p + 2940, -w = -p + 3*f. Is p a composite number?
False
Let q(r) = -4318*r - 4203. Is q(-44) composite?
False
Let q(y) = 49*y**2 + 18*y - 26. Let h be q(-4). Let r = -603 + h. Is r a prime number?
True
Let x = 176 - 174. Is 7151 - ((-2)/(-1) - x) prime?
True
Let y = 14687 + -8281. Suppose -13*m + y = -835. Is m a prime number?
True
Let c be -7*2*(-3 + 1). Is (c*(-7827)/(-30))/(2/5) a composite number?
True
Suppose 0 = 6*p + 21 - 21. Suppose 2*j = -3*c - 4, p = -2*j + 3*c - 4. Is (2849/(-14))/(1/j) prime?
False
Suppose 2*n + 21 = 5*o, 9*o - 6*o - 13 = n. Suppose -5*x - 1875 = -g - x, -n*x = 7*g - 13095. Is g composite?
False
Let s = -179 + 184. Is -8 + 20/s + -1 + 3510 a prime number?
False
Suppose -24*u = -31*u + 98. Suppose -25360 = -u*h - 5242. Is h prime?
False
Let r be (-2)/2 + (0 - 2 - -5). Let a be (2 + 35/(-10))*r. Is a + 391 + (-2)/(-2) a composite number?
False
Suppose 2601*v - 2582*v - 4839281 = 0. Is v prime?
True
Let o(i) = 216*i**2 + 117*i - 2488. Is o(49) a prime number?
True
Let j(r) = -7*r**3 + 23*r**2 + 18*r + 7. Let z be j(10). Let y = z + 3198. Let v = -728 - y. Is v a prime number?
True
Let g = -63 - -148. Suppose 5*r - 10 = -m - 3, -r = 2*m - 23. Let a = g + m. Is a a prime number?
True
Let s = 551994 + -97435. Is s a prime number?
False
Let y be -11 - (-3 - 2) - 31875. Let l = y + 46046. Is l a prime number?
False
Let m = 79 + -72. Suppose 3999 - 513 = -m*k. Let b = -349 - k. Is b prime?
True
Let u(q) = 21*q**2 + q - 1. Suppose h - 30 = -9*h. Is u(h) a prime number?
True
Let p(m) = -20*m + 123. Let o be p(6). Suppose -o*r + 24285 = i, 16190 = 2*r + 11*i - 8*i. Is r composite?
True
Let s = -446 + -271. Let h = s - -1389. Suppose -2*p - 495 = -5*p + 3*a, h = 4*p - a. Is p prime?
False
Let d be 1 - -2 - ((-475)/(-5))/(-1). Suppose s + 4*y = -33 + 107, 2*y = 2*s - d. Let h = 105 + s. Is h a prime number?
False
Let p(a) be the second derivative of -11*a**4/3 - 5*a**3/6 + 9*a**2 + 2*a. Let h be p(6). Let l = 2329 + h. Is l prime?
True
Let u be -2 + 1 + 4 + -4 + 6. Suppose 0 = s + 5*w + 9318, u*s = -2*w - 7 - 46514. Is 3/(-2)*(5 - s/(-9)) a prime number?
True
Let h(i) = 0*i**2 + 5 - 14*i**3 - 20*i**3 + 6*i**2 + 6*i + 1. Let q be h(-4). Suppose 1786 = 2*y + 2*l, 468 - q = -2*y + 3*l. Is y composite?
True
Suppose -5*k = -2*t - 9, k = 4*t - 9 - 0. Suppose -4*j = t*u + 39, -5*j + u - 11 = 52. Let q(m) = 17*m**2 - 10*m + 11. Is q(j) a prime number?
True
Let m(h) = 156780*h - 2423. Is m(2) a prime number?
True
Is (-32 - -38)/(4 - (-2 + 3)) + 26397 a prime number?
True
Is (-89)/356 + (-329757)/(-4) a prime number?
False
Suppose -61*l - 201315765 = -166*l. Is l composite?
True
Suppose 3*m + 257355 + 35124 = 3*s, -2*s - 2*m + 194962 = 0. Is s prime?
False
Let z = 282183 - 3197. Suppose -22*p + z = 48492. Is p a composite number?
False
Suppose -38 = -3*g + 43. Let n(h) = h**3 + 5*h**2 - 43*h - 96. Let l be n(-2). Suppose -383 = -l*v - g. Is v composite?
True
Let f(a) be the third derivative of 143*a**4/8 - 29*a**3/3 - 98*a**2. Is f(11) prime?
False
Let t be (-2)/((24/3)/(-8)). Let d = -11 - -185. Suppose t*h = 4*i + d, 203 = 2*h - 5*i + 25. Is h a prime number?
True
Let o = -545 - -760. Suppose 0 = -218*z + o*z + 2679. Is z prime?
False
Suppose -11134 - 100319 = -3*a. Is a a composite number?
True
Let p(f) = 2*f**3 - 7*f**2 + 20*f - 12. Let z(u) = -2*u + 34. Let o be z(16). Let j be (-108)/12*(-1*o - -1). Is p(j) prime?
False
Let y(h) = -4*h**3 + 23*h**2 + 40*h + 9. Let i be y(17). Is -8 + (5 - i/1) prime?
False
Suppose 0 = -10*x + 13*x - 3*l - 78669, x - 26215 = -l. Is x a prime number?
False
Suppose v - 46*v - 13716576 + 39461031 = 0. Is v a composite number?
True
Let u be (1 - 0)*(6 + 225007). Suppose 14*z + 25079 = u. Is z prime?
True
Suppose 0 = -14*n + 10*n - 5652. Let z = -2572 - n. Is (z/2)/(14/(-28)) composite?
True
Let l(q) = -5*q**3 + 9*q**2 + 10*q + 17. Let j = 288 - 296. Is l(j) prime?
False
Is (882777/(-14) + 16/(-2))/((-4)/8) a prime number?
True
Let q be (4 - 2)*(5/2)/(-5). Let p(j) = 3199*j + 5. Let h be p(q). Is (-6 - (-1 + -4))/(2/h) a prime number?
True
Let n be -7 + (4 - 0) + -36. Let g = 47 + n. Suppose 0 = 4*o - g*o + 628. Is o a composite number?
False
Is (3/(-2))/(117/(-78)) - (-57838)/1 prime?
True
Let o(l) be the first derivative of 25*l**2 - 13*l + 16. Let w = 61 - 45. Is o(w) a composite number?
False
Let q(k) = -10*k. Let p be q(-1). Suppose 27*j + 1612 = 1801. Suppose -2823 = -p*o + j*o. Is o a prime number?
True
Suppose 18*j = 12*j + 12. Let a(c) = j*c**2 - 10 + 4 - 20 + 17*c. Is a(21) a prime number?
True
Suppose -29*z = 710 + 218. Let a = 243 - -108. Let r = z + a. Is r a prime number?
False
Let z(j) = j + 35. Let c be z(-30). Suppose v - c*a - 11775 = 0, -4*a - 16 = -0*a. Is v prime?
False
Suppose -5*o - t + 3159806 = 0, -o - 9*t + 14*t = -632008. Is o a prime number?
False
Suppose -202*y + 466752 = -639349 + 57923. Is y a prime number?
True
Let u be 47907/21 + (-12)/42. Let j(n) = -5*n**2 - 16*n - 29. Let k be j(15). Let w = k + u. Is w a prime number?
True
Let a = -2200 - -3092. Suppose -6*u = -3890 - a. Is u prime?
True
Suppose -35 = -31*k + 27. Let z be (8 + (-1 - 2))*73. Suppose 3573 = k*a - z. Is a prime?
False
Suppose -12*i - 47365 = -5*z - 7*i, 5*z = i + 47353. Suppose 3*u - 9446 = -5*c, 5*c + 0*u - z = 5*u. Is c prime?
False
Let l(t) = t**2 + 8*t + 17. Let z be l(-5). Is (1 - (-11878)/4)*(z + 0) prime?
False
Let s(z) = z**3 - z**2 + 3*z - 5. Let l be s(2). Suppose -l*d + 4639 = 1059. Is (-2 + 1)*(4 + -7 - d) a composite number?
False
Suppose -5*c + 1388 = -3*v, -824 = -3*c + 4*v - 0*v. Suppose 7*s = 3*s + c. Suppose -s*g + 66*g + 1516 = 0. Is g composite?
False
Let a(w) be the second derivative of -53*w**4/6 - w**3/6 - 13*w**2/2 - 19*w. Let s be a(-5). Is 1/(9/s*8/(-12)) a prime number?
True
Let a(s) = 4*s**2 - 7*s. Let q(z) = -z**2 + z + 1. Let g(f) = -a(f) - 3*q(f). Let y be g(9). Is 38/(12/42 - y/(-266)) composite?
True
Suppose -10*p + 49*p - 173744 = 918139. Is p a prime number?
True
Suppose -2*n = 2*l - 4*n - 192268, -2*l = -n - 192271. Is l prime?
True
Suppose -3*p + 4*n + 37 - 2 = 0, p - 19 = 5*n. Let u(g) = 134*g**2 + 38*g + 17. Is u(p) prime?
True
Let p(d) = 2879*d + 53. Let w be p(17). Suppose 26*n - w = -10*n. Is n a prime number?
True
Let i(h) = 2*h**2 - 30*h + 13. Let z be i(16). Let c be (5 - 3395/25)/((-1)/z). Suppose -2*o - 3*o + 7355 = -5*k, -3*k = -4*o + c. Is o a prime number?
False
Let g(m) = -20*m**2 - 2*m - 11*m**3 - 5 + 45*m**3 + 24*m**2 + 15*m**3. Let j be g(3). Suppose 0 = 3*f + z - j, 5*f = f + z + 1795. Is f prime?
True
Suppose 3*x - 27 = -21. Suppose -11*m + 35703 = -x*m. Is m a prime number?
