pose 45 = y - 5*k, -p*y - 5*k = y - 80. Is y composite?
True
Let k = 3490482 - 2338160. Is k a composite number?
True
Let v(d) = -57*d**3 - 7*d**2 - 11*d + 7. Let p = -58 - -55. Let h(n) = 28*n**3 + 4*n**2 + 6*n - 4. Let z(w) = p*v(w) - 5*h(w). Is z(2) prime?
True
Let d(w) = -47689*w + 1212. Is d(-23) prime?
False
Suppose 2*a + 5095 = -v, -2*v + 10194 = -8*a + 4*a. Let f = a + 5315. Is f a prime number?
True
Let u(f) = 33*f**3 - 30*f**2 + 31*f - 18. Is u(8) composite?
True
Let v be 73*-1 - (-9 + 7). Let p = v - -76. Suppose -2*i + 742 - 3755 = -o, -2*o = p*i - 6017. Is o prime?
True
Suppose -n + 3*p + 403975 = 0, -99*n - 3*p = -98*n - 403927. Is n a prime number?
True
Let v be (2*(-4638)/12)/((-2)/14). Suppose -2*n = 2*l + v - 39039, 5*l - 84091 = 2*n. Is l a prime number?
False
Let g = 22935 + -9976. Is g prime?
True
Suppose -3*v - v = 3*n + 4515, -5*v = 0. Let f = 3916 + n. Is f a composite number?
False
Suppose -2547*w = -2540*w - 197099. Is w a prime number?
False
Is -6 + 354386 + 1 - (2 - 10) composite?
True
Let m be (-303)/(5/(-30)*2). Suppose -2*i = -6*i + 16. Suppose -m = x - i*x. Is x a composite number?
True
Suppose 0*h + 5*h - 2*m - 9 = 0, 0 = 3*h - 3*m - 9. Suppose -32*s - 2157 - 1523 = 0. Is (h + 18/(-10))*s/2 a prime number?
False
Suppose -5*x - 2170 = 1210. Suppose 0 = 3*d - 2*z - 3687, -d - 3*z - 2463 = -3*d. Let p = d + x. Is p composite?
True
Let b = -17170 - -48639. Is b prime?
True
Let o(t) = -4*t - 40. Let y be o(-5). Is (-5839)/(-4) - (255/y)/(-17) composite?
False
Suppose -25*b + 1202592 = 479567. Is b prime?
True
Suppose 23*t - 20*t + 5*a - 473421 = 0, 0 = 2*a + 12. Is t composite?
True
Suppose 0 = 8*t - 7*t - 4, -2*t = -3*v + 421555. Is v prime?
True
Let v be 17/(-2) - 12/(-24). Let z(m) = -3*m - 25. Let h be z(v). Is 843 + (-4 - (h + 1)) a prime number?
True
Let x(i) = -38 + 73 - 134*i - 32. Is x(-7) prime?
True
Let v(j) = j**3 - 31*j**2 + 35*j - 23. Let c be v(30). Let l = 148 - c. Is l a composite number?
True
Suppose 10*k = -10*k + 60. Suppose k*u - 7108 = -q, 4*u = 9*u - 3*q - 11870. Is u a composite number?
False
Let q(i) = 1045*i - 246. Suppose 2*b = 6*g - 7*g + 13, -4 = 2*b. Is q(g) composite?
False
Let f be 1*-5 + -5 + 24. Suppose 2*v = -0*k + 4*k + 20, f = -5*k - 3*v. Is k/(-18) - (4 - 212024/72) prime?
False
Suppose 0 = -a + 3 + 2. Suppose 3*n = 2299 + 260. Suppose n = 6*g - a*g. Is g a composite number?
False
Let f(o) = -287 + 64 + 3461*o + 1928*o + 825*o. Is f(6) prime?
True
Let p(h) = -5*h + 164. Let m be p(32). Is (2/m)/(-3 + 46965/15654) a prime number?
True
Let k(y) be the second derivative of 305*y**5/4 + y**4/2 - y**3/2 + y**2/2 - 5*y. Is k(2) prime?
False
Let f = 23 + -13. Suppose -f*h + 48 + 12 = 0. Suppose -14117 = h*z - 52451. Is z a prime number?
True
Is -5 + (104022 - 3) + 4 prime?
False
Suppose 0 = 3*l - o - 855954, 584639 = -5*l + 3*o + 2011233. Is l prime?
True
Suppose -103*a = -13*a - 33173434 - 10743236. Is a a composite number?
True
Let t = 180 + 354. Suppose 0*x - 2*x - 247 = -k, 4*x - t = -2*k. Suppose -5*v - 2*l = -273, -2*v + 2*l + k = 3*v. Is v a prime number?
True
Let o = -81 - -86. Let s(i) = 2*i**2 - 6*i - 16. Let r be s(o). Suppose r*y - 9497 = 8187. Is y a composite number?
False
Let c = -361994 + 946260. Is c composite?
True
Suppose -5*t + 15 = -5*u - 30, 4*u - 12 = -2*t. Suppose -t*k - 5 = -3*k, 4*k + 392 = -4*l. Let w = 116 + l. Is w a prime number?
True
Suppose 4*y = -3*w + 183763, 2*w + 91892 = -5*y + 7*y. Is y a composite number?
False
Suppose -1272 - 52650 = 5*o + 3*a, -5*a = 5*o + 53930. Let v = o + 20333. Is v a prime number?
True
Let d be 324/(-8)*1*(2 + 0). Let r = 24 + d. Let m = 2662 - r. Is m a prime number?
True
Is (-548412)/(-38) + -1 - (-16)/152 composite?
False
Let q(u) = 34*u**2 - 66*u - 197. Is q(-32) a prime number?
False
Is 996804/(-27)*(-42)/8 composite?
True
Is (-3 + (-2 - -6))/(6/913098) a prime number?
True
Let k(y) = 1963*y - 18. Let u(v) = 1. Let c(s) = -k(s) + 5*u(s). Let m be c(2). Let h = m - -5770. Is h prime?
True
Let q = -1003 - -1680. Suppose 0 = -l + q + 162. Is l prime?
True
Is 125766/3 - (69/(-12) - 3/(-4)) composite?
False
Suppose 9 = -4*x + 37. Suppose q + 2 = x. Suppose -m = -q*m + 5912. Is m a composite number?
True
Suppose -195*y + 181*y + 2108554 = 0. Is y a composite number?
False
Suppose -5500389 = -341*m + 29935990. Is m prime?
True
Is 22*(33599/(-3))/(44/(-66)) a prime number?
False
Suppose -482*o + 24181938 = -464*o. Is o a prime number?
False
Suppose -1075533 + 3644835 = 18*j. Is j a prime number?
False
Let u = -36 - -40. Suppose 5*a + u*q = 24, 0*a - 3*a + 9 = -3*q. Suppose -470 = -6*x + a*x. Is x a prime number?
False
Let p(r) = 3072*r**2 - 4*r - 4. Let u be p(-1). Is 4/(-20) - u/(-10) a prime number?
True
Let p = 2323 + -76. Let s = p + 4102. Is s a prime number?
False
Suppose 10*p = -69*p - 56*p + 35971155. Is p a composite number?
True
Let c = 5977 + 517. Let o = 11123 - c. Is o a prime number?
False
Let m(d) = -6*d**3 - 62*d**2 + 40*d + 37. Is m(-46) composite?
True
Suppose 0 = 2*w - n - 701506, -35*w + 3*n + 1403012 = -31*w. Is w a prime number?
False
Let t = 315446 - 100435. Is t a composite number?
True
Let h(o) = -689*o**3 - 5*o**2 - 18*o - 7. Let n be h(-2). Let a = 11538 - n. Is a composite?
True
Suppose 7*v - 2 + 37 = 0. Let i(g) = -7*g**3 + g**2 - 8*g + 1. Is i(v) prime?
True
Let r = 129050 - -101991. Is r composite?
False
Let j = -402535 + 738716. Is j prime?
True
Suppose -4*y + 3 = -9, -4*y = -4*l + 42320. Suppose -l = -4*x - 15*x. Is x a prime number?
True
Suppose -o + 26 = -0*o. Let b = -5879 + 6074. Is 105469/b + 1 + o/(-30) prime?
True
Let q(l) = 9*l**2 - 17*l + 34. Suppose 12 = g - 8. Let a be q(g). Let b = -1733 + a. Is b a prime number?
False
Let d = -16 - -9. Let f be 919 - d/(7/(-4)). Let u = -506 + f. Is u a prime number?
True
Let d = 241 + -240. Suppose -3*n - d - 5 = 0, 2*n - 287 = -3*i. Is i prime?
True
Let i(m) = 260*m**3 + 39*m**2 + 1. Is i(2) composite?
False
Suppose 57*i = -82*i + 13*i + 4287402. Is i prime?
False
Suppose 4*l - 690304 + 26445 = 5*w, -3*l = 3*w - 497874. Is l a prime number?
True
Let f = 62 - 55. Suppose -f*q = -q - 30372. Is q composite?
True
Let x(i) = -810091*i. Is x(-1) prime?
True
Let q(l) = -3*l - 21. Let z(w) = -w**2 - 7*w - 16. Let r be z(-7). Let j be q(r). Is 1371/j*3*3 composite?
False
Let k(x) = 129*x**2 - 183*x + 497. Is k(-83) a prime number?
False
Let z = -353 - -356. Suppose z*y = -4*j + 9*j - 9367, -3*j = 3*y - 5601. Is j prime?
True
Let b be 2 + 4 + -3 - (-233)/1. Let h = b - 118. Suppose -114 = -2*x + 2*q, h = 2*x - 2*q - 2*q. Is x a composite number?
True
Let n = 367555 - 124895. Suppose 4*l + 16*l = n. Is l composite?
True
Suppose 5*g - 4*n - 5266 = 0, 4*n + 3134 = 3*g + 8*n. Suppose g*t - 1042*t - 123928 = 0. Is t prime?
False
Let f(s) = 13*s**3 - 6*s**2 + 9*s + 7. Let h(g) = -27*g**3 + 11*g**2 - 20*g - 16. Let b(t) = 5*f(t) + 2*h(t). Is b(8) a composite number?
True
Suppose -15*f - 151136 = -830779 - 578722. Is f a composite number?
False
Suppose -40 = -31*g + 51*g. Is 8753 - 0/(14/g) a composite number?
False
Suppose -4*q + 4 = 5*f, 7*f + q - 1 = 8*f. Suppose y + 666 - 5287 = f. Is y a composite number?
False
Let t(r) = r**2 + 5*r - 1. Let k be t(-5). Let u(y) = -y**3 - 3*y**2 + 5*y + 12. Let g be u(-3). Is (g/(12/(-236)))/(k/(-5)) a composite number?
True
Let a(c) = 73*c**2 + 10*c - 41. Let g(p) = -p**3 + 7*p**2 + 3*p - 13. Let m be g(7). Is a(m) a prime number?
False
Suppose -3*r + s = 6565, -4*r - 5*s - 9454 + 669 = 0. Let u = r + 18343. Is u prime?
False
Let n(j) = -j**2 + 13*j - 18. Let y be n(12). Let g be 8 + y/(-4)*2. Suppose -265 = -12*k + g*k. Is k a composite number?
True
Suppose 3*i - 534 = i. Let y = -35434 - i. Is (-4)/(-18) + y/(-171) composite?
True
Suppose -4*c + 402785 + 271168 = 5*t, 0 = -3*t - 4*c + 404375. Is t prime?
True
Let z = 66 - 39. Let b(g) = -35*g - 4 - 8*g + 6*g + z. Is b(-8) a composite number?
True
Suppose 3*z = z + 4. Suppose 4 = h + z. Suppose -2*k + 3*o = -221, 3 = h*o - 7. Is k a prime number?
False
Let a = -58 + 58. Let f be (1 - a)/((0 - -3)/6). Suppose 0 = -2*j + 10, f*s - 5*j = 5*s - 1138. Is s composite?
True
Let l = 30566 - -166. Suppose -3*b - b = -l. Suppose 5*j - b = -h, 0 = 3*h + 2 + 4. Is j a composite num