z a prime number?
True
Suppose -67380 - 3603546 = -42*q. Is q a composite number?
False
Is (-2)/10 + (-407106)/(-5) composite?
False
Let f(x) = -x**2 + 15*x + 18. Let l be f(14). Suppose -2*q = -40 + l. Suppose 0 = -2*k + 3*k, g = -q*k + 745. Is g composite?
True
Let x(k) = 15*k + 2. Let n be x(4). Let r = 66 - n. Is (-1)/r + 1 + (-2115)/(-12) composite?
True
Let k(b) = b**3 + 27*b**2 + 43*b - 86. Suppose 0 = 11*g + 191 + 40. Is k(g) prime?
True
Let x(l) = 11762*l - 429. Is x(10) composite?
False
Let f = -461 - -488. Let r(o) = 3*o**2 - 14*o - 106. Is r(f) a prime number?
False
Let t(z) = z**3 - 6*z**2 - 6*z - 13. Let y = -91 + 98. Let r be t(y). Is r/18 + (-2632)/(-3) a composite number?
False
Let z(k) = 2*k**3 + k**2 - 13*k - 6. Let g be z(-4). Let w be (4 - 1)*(-22)/g. Is 303156/270 - (w - 6/5) a prime number?
True
Let g = -36 + 33. Let d = g - 6. Is (1 + ((-13920)/d)/4)*3 composite?
False
Let c be (-262)/(-4)*(0 - 2). Let b = 215 - 26. Let x = c + b. Is x prime?
False
Is -11 + (-9 - -41743) - ((3 - 2) + -7) a composite number?
False
Suppose c = 5*c - 16. Suppose i + p - 9 = 3*p, i - c*p = 17. Is (i - 0)*(9 - -182) prime?
True
Let i(k) = -1027*k - 1744. Is i(-3) a composite number?
True
Suppose 7*g + 14556 = 58054. Let z be 2/(4 + 2)*-11463. Let u = z + g. Is u a composite number?
False
Let o be (-21548)/(-11) + 40/440. Let n = 11070 - o. Is n composite?
True
Let q = 32 + 13733. Let t = q + -6026. Is t prime?
False
Let l(m) = 3*m + 132. Let a(d) = 2*d + 88. Let n(f) = -7*a(f) + 5*l(f). Let p be n(-27). Suppose 14*y = p*y - 27. Is y a prime number?
False
Let d(n) = 8*n**2 - 252 + 0*n**3 + 247 - 3*n + n**3. Suppose 3*c + 0*c - 18 = 0. Is d(c) prime?
False
Suppose 262*m - 105376655 - 42295626 = -42287759. Is m a prime number?
False
Let z(o) = 85*o**2 - o - 7. Let d be z(8). Let q be 3 + -4 + 3 + d. Suppose -4*w + 8 = 0, -5*w - q = -3*h - 418. Is h composite?
True
Let w(c) = 4*c**2 - 286*c - 679. Is w(-95) prime?
True
Let p(o) = 1176*o**2 + 135*o - 902. Is p(7) composite?
False
Suppose -f = 3*n - 159380, 0 = -50*n + 52*n - 3*f - 106279. Is n prime?
True
Let a = -132 - -48. Let v = a + 94. Suppose 0 = v*t - 0*t - 2530. Is t a prime number?
False
Let n = -8910 + 18089. Is n prime?
False
Let o(d) = 4*d - 9. Let l be o(-5). Let j(f) = -f**3 - 20*f**2 + 40*f + 40. Is j(l) a prime number?
True
Let k = 53266 + 32119. Is k a prime number?
False
Let p(h) = 876*h**3 + 4*h**2 - 2*h + 2. Let m be p(2). Suppose 8*y = m + 22106. Is y prime?
False
Is (16/32)/(5*5/3756650) a composite number?
False
Suppose 0 = -4*z - 3*n - 141, 2*z = z + 4*n - 59. Let t = -36 - z. Suppose t*r - 7*r + 1688 = 0. Is r a composite number?
True
Let h be -4943 - (-1 - (-4)/2). Suppose 2*t - 28 = 4*m, 2*t = -4*m + 12 - 32. Is (h/(-21))/t + (-8)/(-28) composite?
True
Let j(m) = m**3 + m**2 - 4*m + 4. Let y be j(-4). Suppose 3*x = -2*f + 3*f - 222, -4*x = 3*f - 731. Let w = f + y. Is w a prime number?
False
Is (-289892389)/(-786) - (-7)/6 prime?
False
Let c(x) = 40*x + 153. Let m(a) = 13*a + 51. Let t(b) = 2*c(b) - 7*m(b). Let j be t(-5). Suppose 9*p - j*p = 1285. Is p prime?
True
Suppose -161*x + 164*x - 9 = 0, -x - 86128 = -s. Is s composite?
False
Let p = 31 - 27. Suppose 3*c - p*c = 0. Suppose c = 3*l - 32 - 439. Is l a prime number?
True
Suppose -4*u = -l + 559927, -2*u = 5*l - 1246366 - 1553357. Is l a prime number?
False
Let z(k) = 3*k. Let n(j) = -2*j. Let s(p) = 4*n(p) + 5*z(p). Let m be (-2)/4 + 22/4. Is s(m) a composite number?
True
Let a be (-9)/9 - (1 - 562). Let u be a/(-6)*336/(-40). Suppose -u = -4*w - 5*v, -3*v - 16 = -7*v. Is w prime?
True
Let k(d) = d**3 - 3*d**2 + 4*d - 7. Let l be k(4). Suppose 0*p + l = -5*p, -3*s = -p - 7058. Is s composite?
False
Is (-5462 + -1)*23/69*-1 a prime number?
False
Let d = -1588 - -4847. Is d a composite number?
False
Let n(f) = 324*f**2 - f - 60. Is n(13) a prime number?
False
Let z(w) = -34*w**3 - w**2 - 13*w - 11. Let t = -235 + 228. Is z(t) a prime number?
False
Let u = 64 - 66. Is (10221/12)/(u*4/(-32)) prime?
True
Let p be (244/(-6))/((-2)/93). Let a = -1830 + 1830. Suppose a = 5*o - 18656 + p. Is o a prime number?
False
Let s(o) = -55*o - 10 - 108*o - 4 - 8. Is s(-3) a prime number?
True
Is (-44535155)/(-68) - 18/(-8) a prime number?
True
Suppose -m - f - 1 = 0, m - 2*m = 3*f + 7. Let k(l) = -4*l - 78*l**2 + 2 + m*l**3 + 81*l**2 + 44*l**3. Is k(1) prime?
True
Suppose 18*f = 4*f - 168. Is f + 9 - -5*461*10 composite?
True
Suppose 52*y = 61*y - 778509. Is y a composite number?
False
Let j(x) = 449*x**3 + 11*x**2 + 13*x + 105. Is j(10) a prime number?
False
Suppose -30*u = -797596 - 151514. Is u prime?
False
Suppose -19411 - 78010 = -5*u - 4*m, -m = -5*u + 97401. Suppose -4*v + 74643 = -u. Is v composite?
False
Let x = -137 + 141. Is 5/(2*-5)*(-3950 + x) composite?
False
Suppose -127*x = -1484706 - 6736385. Is x composite?
True
Let l(m) = 1. Let i(r) = -10*r + 4. Let p(w) = 3*i(w) - 24*l(w). Let q be p(-9). Let a = q - -740. Is a a composite number?
True
Let t be 97/11 + (-7 - 237/(-33)). Suppose 0 = t*w + 4 - 40. Suppose 2*q - 4*p - 289 - 525 = 0, 3*p - 1639 = -w*q. Is q prime?
True
Let x(l) = -126*l**2 - 2*l - 3. Let n be x(7). Let v = n - -10138. Is v prime?
True
Let b(a) = 9*a**3 + 8*a**2 - 75*a + 76. Let o(i) = 6*i**3 + 5*i**2 - 50*i + 51. Let y(c) = 5*b(c) - 7*o(c). Is y(10) a prime number?
False
Suppose 461*w - 2328 = 455*w. Suppose -w = -k + 24303. Is k composite?
False
Let m = 11438 + 54393. Is m composite?
False
Let i(m) = m**3 + 8*m**2 + 3. Let b be i(-8). Let p be ((-3)/(b + -4))/((-6)/(-4)). Suppose -5*g = -p*g - 2841. Is g prime?
True
Let a be 18 - (1/(-1) - -7). Suppose w - a*w + 12661 = 0. Is w composite?
False
Is 50262/1 + (-5)/(-5)*-5 composite?
True
Suppose -10*w + 160 = -2*w. Let f(i) = 18*i**2 + 11 + w*i**2 - 35*i**2 - 10*i. Is f(10) composite?
False
Let k be 3/(3/2) - (-226 + 278). Is (k - -59)*1226/6 a prime number?
False
Let v = 1837 + 4980. Let k = -2864 + v. Is k prime?
False
Let t(g) = g**2 + 4*g - 3. Let r be t(-5). Let w be r/(-2) + -1 - (3 - -20). Is 3890/w*5/(-2) composite?
False
Let g = -14 - -16. Suppose 0*j + g*j = 2*l + 8658, 4*j = -l + 17311. Let a = -2409 + j. Is a a composite number?
True
Let a be 2/(-3) + (-12263108)/78. Let k be (8*(-2)/(-10))/((-56)/a). Suppose -5*g + 2893 = -k. Is g a composite number?
True
Let m = 14684 + 1259. Is m a prime number?
False
Let g(f) = 9*f**2 + 11*f - 11. Let c be g(8). Let u = 1928 - c. Suppose -8*m + 6179 = u. Is m composite?
False
Suppose -72*p + 8180 = -68*p. Suppose 12418 = 11*i + p. Is i a composite number?
True
Let d be 2006/14 - (-1 + (-9)/(-7)). Suppose -28484 = -d*j + 139*j. Is j a prime number?
True
Let l(g) = 16*g + 2 + 5*g + 20*g + 182*g**2 - 3*g. Is l(-6) a composite number?
True
Suppose 0 = -4*i - 20, 4*c - 5*i + 6*i = 11. Suppose -c*g = 19*g - 34799. Is g a prime number?
False
Suppose -78*w + 256*w - 32687386 = 0. Is w a prime number?
True
Let k(b) = 2*b**2 - 2*b - 16. Let t(r) = r - 1. Let o(p) = k(p) - 10*t(p). Let c = 441 - 449. Is o(c) a prime number?
False
Let w(u) = -19*u**3 + 14*u**2 + 14*u + 24. Let n be w(12). Let t = n - -49127. Is t composite?
False
Suppose -134*i + 138*i = 0. Suppose i*t = -3*n - 3*t + 14160, -t = 3*n - 14162. Is n a prime number?
True
Let f = 5187 + 14848. Let h = 29678 - f. Is h a composite number?
False
Let j be -2 - 0 - 2 - (1 + -13). Is 5/20 - (-16358)/j composite?
True
Is (-451149)/(19 + -12 + -8) a prime number?
False
Let i(n) = 2*n**2 - 26*n + 22. Let s be i(22). Is 910778/s + ((-4)/(-38) - 0) prime?
True
Let l be (-2 - -2) + (2 - 2). Let c be (-53)/(3604/(-900) + 4). Suppose -5*z + c + 12630 = l. Is z a composite number?
True
Let v(w) = -3*w**3 + 53*w**2 + 51*w - 3. Let x(j) = -2*j**3 + 27*j**2 + 26*j - 2. Let b(y) = -3*v(y) + 5*x(y). Let o be b(-23). Is (4 - 3)/(o/(-479)) composite?
False
Let k be 48/(-5 - -9) + -3. Suppose 14*x - 30055 = -q + k*x, 0 = -4*x + 16. Is q a prime number?
False
Suppose h + 129489 = c + 1018, 0 = 4*c - 3*h - 513888. Is (-18)/((-162)/c) + 1 + 3 composite?
True
Let n(z) = -z**3 - 3*z**2 + 3*z + 4. Let p be n(-3). Let b be (-12)/(12/(-3)) + p. Is (b - (2 + -2))*(-991)/2 prime?
True
Suppose u - 40*n - 143352 = -39*n, 2*u = 5*n + 286707. Is u prime?
False
Suppose -16*i + 15*i =