 i(l) prime?
True
Let z = 77 + -78. Let x(u) = 328*u**2 - 2*u - 1. Is x(z) a composite number?
True
Is (-8569)/(-2) - ((-7)/2 - -5) a prime number?
True
Let t = -61 - -1908. Is t prime?
True
Let o(l) = l**3 - 6*l**2. Let q be o(6). Suppose q = 4*u + u + 5*g - 660, -3*g + 9 = 0. Let p = -47 + u. Is p a prime number?
False
Suppose 6*b + 35 = 13*b. Suppose 3*d = 4*a + 1339 + 946, 5*d + b*a - 3855 = 0. Is d composite?
True
Suppose 3 = 6*f + 87. Is 74/(-3)*231/f a prime number?
False
Let a(o) = -o**3 + 4*o**2 + 3*o + 5. Let t be a(5). Let p(w) = -56*w + 0 - 2*w + 7 - 17*w - 23*w. Is p(t) prime?
False
Suppose -2*c = 2*d - 6988, -3*c = -7*d + 2*d + 17446. Is d composite?
False
Let x be 10*8 + 30/10. Suppose -4*q = -s - 259, 3*q - 111 - x = s. Is q composite?
True
Let h(s) = 2*s**2 + 66*s + 49. Is h(-78) composite?
False
Let w be 345 + 0/2 + 0. Suppose 3*y + w = 6*y. Suppose -2*f = -33 - y. Is f prime?
False
Let b(f) = 7*f + 13. Let m be b(-7). Is 59000/36 + (-4)/m a prime number?
False
Let h(t) = 235*t. Let f(x) = x**3 - 4*x**2 - 4*x + 2. Let s be f(3). Let c = -18 - s. Is h(c) prime?
False
Let b = 2395 + 1756. Is b composite?
True
Let g = 1130 - -5067. Is g composite?
False
Let q(o) = -13*o - 9. Let r(s) = 13*s + 9. Let a(b) = 5*q(b) + 6*r(b). Let v be a(-5). Let z = v + 267. Is z prime?
True
Let d(p) = -p + 3. Let h be d(4). Suppose -2*v + 44 = -0*v. Let r = v - h. Is r composite?
False
Let o(j) = 19*j - 16. Let b be o(5). Let f(u) = -97*u - b*u + 8 - 3. Is f(-6) prime?
True
Let a = 1524 + -672. Let m = a - 473. Is m prime?
True
Let w = -1 + -1. Let d be -2*(w - 20/(-8)). Is -79*d*(-1 + 2) prime?
True
Suppose -1 = 2*y - 3. Let l be (-1 + y)/(4/4). Suppose l*s + 6*s - 522 = 0. Is s a prime number?
False
Let x(y) = y**3 + 8*y**2 - 8*y + 9. Let b be x(-9). Is -3*((-8)/4 - b) prime?
False
Suppose -3*q = -6*q + 33. Suppose 13*k + q = 14*k. Is k prime?
True
Let d be (10/(-3))/((-6)/9). Suppose -d*z + 3 = 4*y - 22, -y = -3*z - 2. Suppose -3*m = -0*u + 3*u - 264, -343 = -4*m + y*u. Is m prime?
False
Is 2/12 + 7/(336/505384) a prime number?
True
Let u(y) = -3*y**2 + 9*y - 7. Let t be u(8). Let m = t + 389. Is m a prime number?
False
Is 6/4*((-1314895)/(-57) - -19) composite?
False
Suppose g + 0*g = x + 11, -5*x + 4*g - 50 = 0. Let k(s) be the first derivative of 9*s**3 - 6*s**2 + 5*s - 1. Is k(x) composite?
False
Suppose 2*p = -4*z + 224456, -3*p + 0 = -6. Is z a composite number?
False
Let h = -175 - -189. Is h a prime number?
False
Let c(p) be the first derivative of 6*p + 15/2*p**2 - 9 + 10/3*p**3. Is c(-9) composite?
True
Let t(d) = 642*d**2 + 23*d + 122. Is t(-5) a composite number?
False
Suppose -3*k + m = -8, 5*k - 7 - 7 = 2*m. Suppose 170 + 1058 = k*t. Is t composite?
True
Suppose 2*v + 40 = -5*n + 11900, 2*n - 23736 = -4*v. Is v prime?
False
Is 2521*((-5)/5 + 2) a composite number?
False
Let w be (9/6)/(((-6)/8120)/(-1)). Suppose -5*q = -w - 2235. Is q composite?
False
Let t(f) = -f**2 - 7*f + 8. Let w be t(-8). Suppose w*b - 4*b = -4. Is b*-209*(10 - 11) a prime number?
False
Suppose 4 + 7 = 5*c - v, -c + 6 = -4*v. Suppose -8*o = -5*o - 1878. Suppose 0 = -4*u + f + o - 122, -250 = -c*u + f. Is u composite?
False
Let j(g) = g**2 + 8*g + 4. Let s be j(-8). Suppose -174 = s*c - c. Let l = 177 + c. Is l a composite number?
True
Suppose -10*g + 17599 = -74071. Is g a prime number?
False
Let f be (1*7633 - (4 - 4))*-1. Let w = f - -11120. Is w a composite number?
True
Let i be (-9)/2 - -5 - (-86)/4. Suppose -i + 396 = k + 3*h, -k + h = -354. Is k a composite number?
False
Let c be 4/(-14) - 20104/(-49). Suppose 3*y + 3*n - 4*n = c, 535 = 4*y + n. Let x = y + 28. Is x a composite number?
False
Let d = 35 + -37. Is d/(-2)*(-6 + 133) prime?
True
Let a be (-6)/5*(-5)/(-2). Let x(m) = m**2 - 5*m - 4. Let w be x(a). Let q = 73 - w. Is q a composite number?
False
Let r be -6*(2/6 + -1). Suppose -2*p + 2 = 3*a, 4*p + 23 = r*a - 13. Suppose 9 = 4*n + 2*d - 111, -a*d - 8 = 0. Is n prime?
True
Suppose -119539 = -196*n + 189*n. Is n prime?
True
Let n = -306 - -63. Let f be 16/(-24)*n/6. Let m = f + -4. Is m a prime number?
True
Let k(h) = -123*h**3 + 3*h**2 + 8*h + 11. Is k(-2) a composite number?
False
Let d = -1813 + 3446. Is d composite?
True
Let s(l) = 101*l**2 + 14*l - 14. Let q(y) = 3*y + 1. Let c be q(2). Is s(c) prime?
False
Suppose -3*j - 96 = -2*y, 0 = -j - 0*y + 2*y - 36. Let n = j - -34. Is (543 + 0/n)/1 prime?
False
Let m(n) = 112*n - 117. Is m(23) a prime number?
True
Let l = 2 - 2. Is (l + (-21)/(-6) - 3)*802 a prime number?
True
Suppose 0 = j + a + 14 - 84, j - 5*a - 58 = 0. Suppose h - j - 219 = 0. Suppose 2*o = 119 + h. Is o a composite number?
True
Suppose -s = 2*p - 2 - 1, -p + 5*s = -18. Suppose -5*z - 2*f + 28 = 0, f - 5 - 12 = -p*z. Suppose -c + z*c - 2795 = -5*q, 1681 = 3*c + 5*q. Is c a prime number?
True
Suppose 13596 + 110032 = 4*m. Is m composite?
True
Let z(v) be the third derivative of -2*v**6/15 + v**5/20 - 5*v**4/24 - 5*v**3/6 - 5*v**2. Let y be z(-5). Suppose 0 = -r - 4*r + y. Is r a composite number?
False
Let y be 568 + 3 + 6/(-3). Suppose -d = 4*m - 307, 4*d - y = 4*m + 619. Is d prime?
False
Is (-4)/(-2*(-2)/(-3998)) a composite number?
True
Suppose 0 = -i + 2, 0 = -2*f - 6*i + 2*i + 18. Suppose -2*g - f = -3*g. Suppose -2*o + g*t + 3645 = 898, -5*t = -5*o + 6830. Is o composite?
False
Let l(j) = -j**3 - 7*j**2 + 9*j + 19. Let a be l(-8). Suppose 601 + 730 = a*s. Is s a composite number?
True
Let y = 40 + 626. Let p = 127 + y. Is p a composite number?
True
Is ((-138642)/(-49))/(4/14) a prime number?
False
Let x(t) = -t + 11. Let v be x(6). Let q be 125/20 - 3/12. Suppose 1125 = b - w + q*w, -w = -v*b + 5573. Is b prime?
False
Suppose 2*k + 3*n - 299 = 0, k - n - 145 = -4*n. Suppose 4*z - k = -14. Is z a composite number?
True
Suppose 0 = -0*t + 5*t - 15. Suppose -3*i = -t*y + 3252, -1096 = -y - 4*i - i. Let u = y - 715. Is u composite?
True
Let g(y) = -y**3 - 5*y**2 - 11*y - 4. Let d(u) = -u - 27. Let o be d(-18). Is g(o) prime?
True
Let m(l) = 6*l**2 - 15*l - 28. Is m(-7) a prime number?
False
Suppose 9*q = 13229 + 6598. Is q prime?
True
Is 0 - 1 - -2012 - (-10 + 4) prime?
True
Let n = -66 - -72. Is 4 - n/((-12)/7430) prime?
True
Suppose -2*t - 15 = -7*t. Suppose t*u + d - 1829 = -0*u, -d = -u + 615. Is u a composite number?
True
Let s = -1332 - -3535. Is s composite?
False
Suppose -4 + 0 = -2*v + g, -3*v + 4*g = 4. Suppose l - v*l = -57. Is l composite?
False
Suppose 5*c = -2*g - 3*g - 725, -2 = g. Let q be 2/(-4) - (-1054)/(-4). Let b = c - q. Is b prime?
False
Let z(h) = 88288*h**2 + 2*h - 1. Is z(-1) a composite number?
True
Let z be 20 + -8*2/4. Let o be 2*3*664/z. Suppose -7*b + o + 794 = 0. Is b a composite number?
False
Suppose -5*n + d + 1 = -23, 5*d = -2*n - 12. Let v be (3 - 17)/((-2)/n). Is (-3 - 2)/((-4)/v) a prime number?
False
Let t(z) = 2*z - 1. Let p be t(-4). Let y(d) = 6*d**2 + 17*d - 4. Is y(p) a composite number?
True
Suppose 0 = -9*x - 94621 + 233302. Is x composite?
True
Let z(s) = -1931*s + 192. Is z(-11) a composite number?
False
Let h(z) = -2*z + 1. Let s be h(-1). Suppose s*g - 552 = -3*a, 0*a = 5*g + 3*a - 922. Is g prime?
False
Is -1*2*(-98055)/90 composite?
False
Is (-127)/(-381)*((-2026)/(-2) - 2) a composite number?
False
Let b be (-42)/(-12)*(-1)/(-7)*10. Is 1840 + b + 0 + -8 composite?
True
Let c(m) = -5663*m**3 + 2*m**2 + 3*m + 1. Is c(-1) a prime number?
False
Let s = 13 - 12. Is ((-483)/6)/(s/(-2)) a prime number?
False
Let z be ((-4)/2 - -3)*(-5 + 4). Let u be (-11)/(4/(-5) + 1). Is z*(u + 6 + -4) prime?
True
Let x(g) = -g + 5. Let i be 1 - -13*(0 + 1). Let k be x(i). Let n = 16 + k. Is n prime?
True
Suppose 2*q - 2867 = -d, -5*d = 3*q - q - 14311. Is d prime?
True
Suppose -3*t + t = 4, -2*n = -t - 114. Suppose 0*q - 3*q = c - 98, -q = 5*c - n. Is q a prime number?
True
Let g = -8 + 12. Suppose -g*u + 0*u + 100 = 0. Suppose 3*t = -4*p + 37, -t = -2*t + 5*p + u. Is t a composite number?
True
Suppose 0*h + 904600 = -3*h - n, -5*n = 2*h + 603045. Is -2 - (-20)/14 - h/91 prime?
True
Suppose -11*o + 142726 - 25565 = 0. Is o prime?
True
Let g(h) be the third derivative of -11*h**5/120 + 5*h**4/24 - h**3/2 + 4*h**2. Let v(w) be the first derivative of g(w). Is v(-14) a prime number?
False
Let