*k + 7*k = 226. Is k prime?
True
Let b = 1990 - -7093. Is b a prime number?
False
Let t be 60/33 - (-8)/44. Suppose 0 = -2*o + t*g - 7 + 81, -197 = -5*o - g. Is o a prime number?
False
Let v(l) = -479*l + 51. Is v(-10) a prime number?
False
Let g = -716 - 1578. Let f = 3984 + g. Suppose 5*c - f = -105. Is c composite?
False
Suppose -38*y = -19*y - 135147. Is y composite?
True
Let j(o) be the third derivative of o**6/30 + o**5/30 + o**4/4 + 5*o**3/6 - 3*o**2 + 3. Is j(4) prime?
True
Suppose 0 = 9*l - 20*l + 4642. Suppose 3*a = x - 203, 2*x + 0*a = 2*a + l. Is x a composite number?
True
Suppose -698522 = -72*l + 637294. Is l a prime number?
True
Let o(v) = 525*v**2 + 46*v + 259. Is o(-6) prime?
False
Let v(u) = -u - 5. Let n be v(-8). Suppose 0 = n*s + g - 1417, -2*s = 2*s - 2*g - 1876. Is s composite?
True
Let c = -1070 - -5665. Is c a prime number?
False
Let n = -310 - -556. Suppose s - 4*w = -96, -2*w = 4*s - s + n. Let u = s + 206. Is u a composite number?
True
Let q(j) = 4*j + 15. Let w(u) = 5*u + 14. Let r(p) = 3*q(p) - 4*w(p). Let g be r(-5). Is -9*g*(-4)/12 prime?
False
Let m(p) = 148*p**2 - 9. Is m(-5) a composite number?
False
Suppose -491 = 4*h - 2*n - n, -3*h - 3*n - 384 = 0. Let v be h/5*(-4)/(-5). Let y = v - -135. Is y a prime number?
False
Suppose 2*j + 9*o = 4*o - 4, 0 = 4*j - 3*o - 18. Suppose -j*y = -y - 8. Suppose y*m - 2705 = -m. Is m a prime number?
True
Suppose -2*s + 4995 = 639. Let v = -697 + s. Is v a composite number?
False
Is (1*3/(-2))/(2/(-159604)) composite?
True
Is (9/(-6))/(78/(-165932)) prime?
True
Suppose -10*d = -5*d. Is 118 + (-1 + -2 - d) a composite number?
True
Let f = -11 + 15. Suppose -y - 2*u = -4*y + f, -3*y + 4*u + 14 = 0. Is y/4 + (-107)/(-2) prime?
True
Suppose -77489 = -5*j - 4*b, 115*j - 61991 = 111*j - 3*b. Is j composite?
False
Suppose 4*n + 662 = n - r, -2*n + 5*r - 413 = 0. Suppose u + 1384 = 5*u. Let l = u + n. Is l a prime number?
True
Let i(d) = -d**2 - 3*d + 203. Let h be i(0). Suppose -3*r - h + 584 = 3*p, r - 4*p - 137 = 0. Is r composite?
True
Suppose 30179 = 7*s - 4*s - k, 2*s + 4*k = 20138. Is s a composite number?
False
Let r(d) = -d**3 + 12*d**2 + 12*d + 12. Let h be r(13). Let o be ((-4)/(-4))/(h/(-115)). Suppose -5*x - 2*y + 115 = 0, -2*x + 7*x - o = -4*y. Is x composite?
False
Suppose 0 = 13*r - 581440 - 431637. Is r a prime number?
True
Let z = -261 - -401. Let c = 471 - z. Is c a prime number?
True
Suppose 0 = 11*z - 15*z + 2*b + 43794, 3*z = -b + 32848. Is z a prime number?
True
Let i(o) = o - 10. Let s be i(8). Let y be 0 + 0 + s + 294. Suppose 3*q - l = 445, q - y = -q + 3*l. Is q a composite number?
False
Let v = -17757 - -25396. Is v prime?
True
Let i(b) = b + 5. Let h be i(0). Let f = h - 1. Suppose -113 = -f*a + 519. Is a a composite number?
True
Is ((-4)/8)/(2/(-1556)) composite?
False
Let h(q) = -q**2 + 16*q + 41. Let d be h(18). Is 262/d + (-8)/((-160)/12) composite?
False
Let d(q) = -q - 11. Let k be d(-13). Suppose 4*x + x = 2*z - 226, -452 = -4*z + k*x. Is z prime?
True
Let v(r) = 2*r**3 + 6*r**2 + 7*r + 7. Let l(p) = -p**3 + p**2 + p + 1. Let g(k) = 3*l(k) + v(k). Let t be g(10). Is (8 - t)/((-2)/157) a prime number?
True
Let l(z) = -z**3 - 5*z**2 + 7*z + 6. Let j be l(-6). Suppose -13*w = -12395 - 19091. Suppose j*q + 2*q = w. Is q a composite number?
True
Let g be -10 + -3*2/(-6). Let r be (1 + g/12)*428. Let q = 184 - r. Is q a composite number?
True
Suppose -15*w - 6*w + 297003 = 0. Is w composite?
False
Let v = 12368 - 6589. Is v a prime number?
True
Suppose -13*b = 47059 + 6644. Let p = -2905 - b. Is p a prime number?
False
Let q(g) = g**3 - 11*g + 6621. Is q(0) a composite number?
True
Suppose 15 = -4*m - 0*m + 3*u, -m - u - 2 = 0. Is -21*(-1)/(-9)*m prime?
True
Suppose 5*j + 0*j - 10 = 0. Is 3/(-2)*j + 280 prime?
True
Let q(u) be the second derivative of u**5/20 - 2*u**4/3 - u**3 - 7*u**2/2 - 2*u. Let b be q(11). Suppose -5*r + 5 = -b. Is r composite?
False
Let d(w) = 330*w**3 + w**2 + w - 1. Suppose f - 3*l - 2 = 0, -42 = 5*f - 3*l + l. Let i = 11 + f. Is d(i) prime?
True
Let o = 2460 - -2968. Let i = -3229 + o. Is i a composite number?
True
Let f(y) = 12*y**3 - y**2 + y + 1. Let w(j) = -23*j**3 + j**2 - j - 2. Let i(k) = -5*f(k) - 3*w(k). Is i(2) composite?
True
Suppose -5*u = -2*v - 39, 3*u + 13 = 3*v + 58. Is ((-3820)/(-12))/((-4)/v) prime?
False
Let i(j) = -j**2 + 3*j. Let t be i(2). Let p(r) = 146*r**2 + 3*r + 1. Let x be p(-2). Suppose w - 185 = t*k, -w + x = 2*w + 2*k. Is w prime?
True
Let a be 6/24 + 37/(-4). Is ((-66)/a)/(4/318) a composite number?
True
Let o(p) = -p**2 + 8*p + 20. Let q be o(9). Let x = 11 + q. Is x a prime number?
False
Let c(i) = 5*i - 10*i - 3 - 11*i - 5*i. Suppose 0 = -4*n + 5*x + 2 - 1, -2*n + 3*x + 3 = 0. Is c(n) prime?
False
Suppose 4*n = 2*b + 4 + 2, 3*b = -n + 19. Suppose 11 = n*w - 5, 4*j - 172 = -4*w. Suppose 2*i = 3*i - j. Is i composite?
True
Let c be 292/18 + 10/(-45). Suppose 0*m = -m + 5*j - 12, 2*j = -m + c. Suppose -a = a - m. Is a a prime number?
False
Let s(m) = 1660*m**3 - 4*m**2 + 2*m - 1. Is s(1) a prime number?
True
Let y(d) = -3*d**2 - 11*d - 9. Let q(t) = 2*t**2 + 12*t + 10. Let a(u) = -4*q(u) - 5*y(u). Let v be a(9). Suppose -16*p = -21*p + v. Is p composite?
False
Let q = 574 + -21. Is q a composite number?
True
Suppose 12*o = 6*o + 11754. Suppose 0 = 5*f + 4*a - 4865, 2*f + 7*a - o = 8*a. Is f composite?
False
Let q be ((-2136)/60)/((-1)/20). Is (-18)/24*q/(-6) composite?
False
Let t be (-103972)/(-165) - 6/45. Is t + 0 - (-5 + 0) composite?
True
Suppose 8 = 4*d, -12*u - 5*d + 1161 = -11*u. Is u a prime number?
True
Let o(m) = 176*m**2 - 132*m - 7. Is o(17) composite?
True
Let o(y) = -3*y - 3*y**2 + 5*y**2 - 13 - y**2 + 7*y. Is o(-14) a composite number?
False
Suppose 4*d - 294070 = -2*w, 26*d = 23*d - w + 220552. Is d a prime number?
True
Suppose 38*b = 298558 + 589464. Is b a prime number?
True
Suppose 5*k - 4*k - 1508 = 0. Let j = k + -769. Is j a prime number?
True
Let z(p) = p**2 + 11*p + 6. Let x be z(-11). Suppose -4*b + 1 = h - 16, x = 2*h + b. Let k(v) = 113*v**2 + v - 1. Is k(h) a composite number?
False
Let t(u) = u**2 - 3*u + 11. Suppose 0 = 3*f - 7*f + 12. Suppose 0*p = p, f*p = -y - 12. Is t(y) composite?
False
Let s be ((-2)/1)/(-3 - -1). Suppose -2*o - s = -2*i + 17, -5*i + 43 = -4*o. Suppose 316 = i*b - 3*b. Is b a composite number?
False
Let i(b) = -b - 16. Let v be i(-6). Let t be (v/4)/(2/48). Let y = -41 - t. Is y a composite number?
False
Let t(v) = 2604*v**2 + 4*v - 4. Let h be t(1). Suppose -3*k - z = -h, -2*z + 1 = 7. Is k prime?
False
Suppose 4*f = -5724 + 1392. Suppose 0 = 5*m - 16 + 76. Is (3 - -1)*f/m a prime number?
False
Let r = -352 + 514. Suppose -8*q + 2*q = r. Let h = 422 + q. Is h prime?
False
Let n be 1 + (-20)/(-4) + -1 + -3. Let j(a) = 12*a + 2. Is j(n) prime?
False
Suppose -4*o + 12 = -4. Is (-1806)/35*(-10)/o a prime number?
False
Let q(v) = 2*v**2 + v - 3. Let p be q(-3). Let i = -18 + p. Let s = i + 15. Is s prime?
False
Let y(u) = -u**3 - 5*u**2 - 5*u - 1. Let r be y(-4). Let k = 17 - 10. Suppose 3*l - 263 = -o, r*o - 3*l + k*l - 774 = 0. Is o prime?
False
Let u(z) = z**2 - 29*z - 19. Let d be (-1 - -1) + -19 + 6/2. Is u(d) a composite number?
False
Let a be (-1 + (-13)/(-2))*26. Suppose 3*y - 614 = -a. Is y prime?
True
Let x = 2 - -1. Suppose x*y - 5*y + 14 = 0. Suppose y*k - 69 = 4*k. Is k prime?
True
Suppose -359 = -4*j - 3*r, -j + 6*j + 2*r = 440. Is 0 + (24 - 2)*j/4 a composite number?
True
Let a be -4*1 - (-5 + -442). Suppose 3*r - 7*r - a = -q, -q + 443 = -r. Is q prime?
True
Let c(i) = -7*i**3 + 7*i**2 - i - 31. Is c(-6) prime?
False
Suppose -12 = -0*n + 4*n. Is 34/10 + n + (-4456)/(-10) composite?
True
Let g = -35 - -41. Suppose 5*c + 4*z - 2065 = 0, g*z = -4*c + 2*z + 1652. Is c a composite number?
True
Suppose -2*g - g = 4*g. Suppose 2344 = 8*z - g*z. Is z a prime number?
True
Suppose 0 = 37*w - 36*w - 35961. Is w prime?
False
Let y(h) = h**2 + 2*h - 8. Let k be y(8). Suppose 0 = 5*u - u + k. Is (-1542)/9*u/12 prime?
True
Is 3/4*(-1537016)/(-78) a composite number?
False
Is ((-125)/(-250))/(2/65324) a prime number?
False
Let u(m) = -m**2 - 2*m. Let t be u(-2). Let x(g) = -g + 4. Let r be x(t). Suppose 25 = 5*p, r*w + 2*p = w + 643. Is w a pr