1064 = -w*k. Let v = k + -61. Is v a composite number?
True
Let m(x) = -258*x + 260. Let z be m(39). Let t = -3753 - z. Is t a composite number?
True
Let x be (-2 - -3)*(2 - 3). Suppose -2*r + 4*r = 3*m - 4395, 2*m = 5*r + 10993. Is r/(x + -2)*1 a prime number?
True
Suppose 0 = -2*h + t + 2 - 5, 4*h = 5*t - 9. Let x(w) = 3690*w**2 - w. Is x(h) prime?
True
Suppose 4*j - 4*q + 9 + 7 = 0, -2*q = 4*j - 8. Suppose j = 5*f - 5*s + 20, -4 - 11 = 5*f - 4*s. Is f*(2 - 526/(-2)) a composite number?
True
Let k(o) = 2671*o**2 + 5*o + 12. Let s be k(-4). Suppose -4*g + 15596 = -s. Is g composite?
True
Suppose -13*a - 1 = -27. Suppose -11431 = -3*r - 4*w, -3*w - 3842 = -r + a*w. Is r prime?
False
Is (-93851)/(13 - (-7 + 21)) a prime number?
True
Let r(u) = -3*u**2 - 23*u + 57. Let y be r(23). Let g(i) = -2928*i**2 - 2*i - 2. Let n be g(-1). Let x = y - n. Is x a composite number?
True
Let k(o) = 2*o**2 + 32*o + 2. Let q be k(-16). Is (-29136)/(-8) + -9 + q prime?
False
Let f(g) = 42*g**2 - g. Let p be f(-1). Suppose p*o = 38*o + 405. Is (-18)/o + 2128/18 a prime number?
False
Let n(i) = 267*i - 2. Suppose 4*h - 2*h = -8. Let g be n(h). Let j = -312 - g. Is j a composite number?
True
Suppose -244*m + 5997908 = -216*m. Is m composite?
False
Suppose 248*q - 1244252 = 246*q + 2*s, 0 = -4*q - 4*s + 2488576. Is q prime?
False
Suppose 84*q = 90*q - 6. Is ((-14)/(-28) - (-6626)/4)*q a prime number?
True
Let g(n) = 426757*n**2 + 15*n - 25. Is g(2) prime?
False
Let a be (-6 - 0) + -4 + 6. Let k(u) = u**3 + 2*u**2 - 5*u - 2. Let y be k(a). Let g(i) = 6*i**2 + 17. Is g(y) a prime number?
True
Suppose 22*n + 144 = 28*n. Let j be 15 - (6/n - (-10)/(-8)). Suppose -j*q = -18*q + 2630. Is q prime?
False
Suppose -3554*h = -3531*h - 458597. Is h a composite number?
True
Is (18/(-48) + 602735/168)/(2/9) a prime number?
False
Let x(l) = 2*l**3 + 2*l**2 - 5*l + 5. Let a be (-10)/6*((-130)/50 + -1). Is x(a) prime?
True
Let j = -44049 + 296428. Is j prime?
False
Let d be (-3)/(-9)*9*(-2)/(-3). Let b be 2 + -1*(-2 + 2). Suppose b*j - 675 = -d*x + x, -j = 1. Is x composite?
False
Let y = -136 - -266. Let f(h) = -4*h**2 + 493 + y*h**3 - 491 + 6*h**2 - 4*h**2 - h. Is f(3) a prime number?
True
Let v be -1 - -1 - -483*8/12. Is 2/7 - (-445234)/v a composite number?
True
Let f = 499045 + -125174. Is f a composite number?
True
Suppose 0 = -2*m + 8, -3*d + 8*d + 3*m = 21607. Suppose -h + d = -16568. Is h prime?
True
Let w(j) = 24*j**3 - 8*j**2 + 3*j + 402. Is w(19) a prime number?
False
Suppose -3*i = 3*g - 27, 0 = -i - 2*g - 4 + 15. Suppose -u - 2*y = -13, u + 2*y - i*y + 22 = 0. Suppose u*s - z - 449 = 113, 2*s + z = 373. Is s prime?
False
Suppose 0 = -5*p + 4*c + 8, p - 2*c = 5*p + 4. Let m be p + (-2)/(-9) - (-382360)/(-99). Is (m/12)/(4/6)*-4 a composite number?
False
Let l(f) = -5692*f - 1625. Is l(-7) prime?
True
Let p be 564/57 + 4/38. Suppose 2*c - 4 = 0, 7*c - 22046 = -4*i + p*c. Is i a composite number?
True
Is 31*(-7 + -15224)/(24/(-8)) composite?
True
Let m = -161 - -164. Suppose -9*a + 14*a = -d + 11426, -m*d = 4*a - 9143. Is a prime?
False
Let p(r) = -2*r**3 - r**2 - 8*r + 13. Suppose 0 = -j - 2*q + 9, 3*q - 4*q = 3*j - 7. Let x be (-9 + 1)*(0 + j). Is p(x) a composite number?
True
Suppose 0*b + 6 = -2*b, 5*u - b - 38 = 0. Suppose -17*i = -u*i - 107410. Is i prime?
False
Suppose -4*j + 41376 = -12*j. Let b = j + 7501. Is b a composite number?
True
Suppose -416*q + 378*q + 2090 = 0. Is q composite?
True
Let p(m) = -m**2 - 5*m - 13. Suppose d - 2*d = 2*a + 6, 2*d - 16 = 3*a. Let l be p(a). Is 2/l + (-504)/(-81) a prime number?
False
Suppose -3*w + w = -5*w + 965595. Is w prime?
False
Let i(o) = -o**2 + 2 - o + 128*o**3 - 44*o**3 + 755*o**3. Is i(1) a prime number?
True
Let j = -758 + 753. Is (-8887)/(((-2)/j)/((-4)/10)) prime?
True
Let m(w) = 85*w**3 + 25*w**2 + 158*w + 321. Is m(25) a prime number?
False
Let g be 5/10*2*(1 + 8592). Let v = 13140 - g. Is v composite?
False
Suppose -44*f = -46*f + 14. Suppose -f*z + 5769 = -4*z. Is z composite?
True
Let u = 351 + -187. Let j be 5 + (-7)/((-14)/(-4)). Suppose j*p - 257 = -4*a, -5*a + u + 261 = 5*p. Is p a composite number?
False
Let w(r) = -r**2 + 2*r + 54. Let g be w(8). Let l be (6 - (-9)/(-3)) + g/(-2). Suppose l = 6*x - 11*x - 3*y + 3989, 3*y = -4*x + 3190. Is x a prime number?
False
Suppose 14*j - 1013432 = 6*j. Is j a composite number?
True
Suppose 0 = -13*u + 17*u + 20, -5*u + 106473 = 14*m. Is m a prime number?
True
Suppose -2*w - 238 = 156. Let r = 40 - w. Is r prime?
False
Suppose 0 = -27*f + 814533 + 267438. Is f prime?
False
Let h(u) = 2*u**3 + 4*u**2 - 6*u - 5. Let y(v) = v**3 - v**2 + v. Let s(w) = h(w) - y(w). Let l be s(-6). Is l*490 + (-7 - (-6 - 0)) a composite number?
True
Suppose 0 = -178*b + 1086661 + 1106833. Is b a prime number?
True
Suppose 0 = 3*l + 47 - 59. Suppose -3*z = l*v - 2458 - 647, -2*z - 3*v + 2069 = 0. Is z prime?
True
Let j(b) = 40*b**2 - 33*b - 23. Is j(16) prime?
True
Suppose 75148 = 25*h - 5889164 + 515837. Is h prime?
False
Suppose 2*b = -3*r - 3*b - 124, r + 41 = -2*b. Let d = r + 43. Is 2 + 73/1 + (2 - d) prime?
False
Is ((-44492)/35 - -6)/(12/(-30)) composite?
False
Let u be 40/100*5*1. Suppose y = -u*y + 105. Is (1 - y)/(6/(-21)) composite?
True
Suppose i + 11*i - 36 = 0. Suppose j + 4*r + 4005 = 403, i*j + 4*r + 10766 = 0. Let v = 5381 + j. Is v prime?
False
Suppose 188*t - 16*t = 93*t + 4512401. Is t composite?
False
Suppose 0 = -3*i + 71 - 65. Is (i + -108)*(-23)/2 a composite number?
True
Let h = 16463 + 17958. Is h composite?
False
Let o = 44 - 42. Suppose w = -w + 5*j - 25, o*w = 2*j - 10. Suppose 4*h + q - 12054 = -0*q, w = h - 3*q - 3007. Is h a composite number?
True
Let q = -63 + 63. Suppose -2*l + q*v + 5*v - 21 = 0, 3*l - 4*v = -14. Suppose 3148 = 6*n - l*n. Is n a prime number?
True
Suppose -87*k = -3*b - 88*k + 350540, b = -3*k + 116860. Is b composite?
True
Is (-19297)/((30/(-225) - (-2)/(-10))*3) a composite number?
True
Suppose -5*c + 4*c + 8 = 0. Suppose 0 = s + 3 - c. Is ((-6)/s)/((-2)/1465*1) composite?
True
Let l(w) = 11*w**2 + 68*w - 2914. Is l(35) composite?
False
Suppose -2*r + 5997 = -10545. Suppose -5955 = -6*d + r. Is d composite?
False
Let s = -109 + 124. Suppose -4*j = -0*j - 16976. Suppose s*l - 11*l - j = 0. Is l a composite number?
False
Is (-3218)/((-4)/(-6)*(-51)/170*2) composite?
True
Suppose -57*x + 12*x + 39567180 = 15*x. Is x a prime number?
True
Let r = -3230 + 789. Let p = -1735 - r. Suppose -46*x + 48*x - p = 0. Is x composite?
False
Let r(y) = y**2 + 31*y + 111. Let p be r(-27). Suppose p*n - 5*o = 248634, -2*n - 4*o + 9049 = -156729. Is n composite?
False
Let r(m) = -m**3 - 4*m**2 + 9. Let h be r(-4). Is 1043 - h/(27/6) prime?
False
Let r(g) = g**3 + 16*g**2 + 24*g - 17. Let j(s) = 2*s - 41. Let o be j(14). Is r(o) a composite number?
True
Let g be (39/9)/(5/45). Let v = g + 75. Let s = 495 - v. Is s composite?
True
Let b(a) = -a**3 - 10*a**2 - 15*a + 13. Let p be b(-8). Suppose -5*f - 4 + 29 = -c, -5*c - 45 = -p*f. Is (-2398)/c*(-25)/(-10) composite?
True
Let l(f) = -1510*f + 18. Let k be l(-2). Let g = -1756 + k. Is g a prime number?
False
Suppose 73*s - 76461704 - 53438073 = 0. Is s composite?
True
Suppose -5*s + 8*s - l = 111836, 3*s - 111838 = -l. Is s composite?
True
Let a(c) = -c**3 - 6*c**2 + c + 7. Let q be a(-6). Let p be ((q - 4) + 0)*(-2616)/(-18). Let g = -273 - p. Is g a composite number?
False
Let b(d) = -304*d**3 - 3*d**2 + 4*d - 4. Let w(i) = 101*i**3 + i**2 - i + 1. Let m(x) = -2*b(x) - 7*w(x). Suppose -29*r + 9*r - 40 = 0. Is m(r) a prime number?
False
Is (-6 + 8 + -3)*(14/7 + -8783) composite?
True
Let s(y) = -4*y**2 - 3*y**2 + 3*y**2 - 6*y**2 + 9 + 26*y - y**3. Is s(-13) a prime number?
False
Suppose 0 = 22*x - 13*x - 15*x + 2673618. Is x a composite number?
True
Suppose -1277235 = -79*m - 56*m. Is m composite?
False
Let g = -92 + 78. Is ((-21)/g)/(6/5388) a prime number?
False
Let i = -50413 + 475410. Is i prime?
True
Let c(t) = 542*t**3 - 12*t**2 + 22*t - 11. Is c(5) composite?
True
Is (214877/4)/((-161)/(-644)) a composite number?
True
Let x(y) be the third derivative of -49*y**6/60 - y**5/30 - y**4/4 + y**3/6 - y**2 + 21. Is x(-3) composite?
False
Let i(g) = 232*g**3 + 3*g**2 + 14*g - 3. Let a be i(3). Suppose -12