36/q)/2 + -3. Suppose a = -5*u + k, -a + 320 - 81 = -u. Is a composite?
True
Suppose 2*i + 0*i = 214. Let v(p) = 50*p**2 - p + 6. Let y be v(2). Let m = y - i. Is m a prime number?
True
Is 2/2 - (182166 + -6)/(-6) prime?
False
Let j(h) = 3*h + 5. Is j(3) a prime number?
False
Let g(f) = f**2 + 6*f - 11. Let d be g(-11). Let r = d + -180. Let x = r + 270. Is x prime?
False
Let n(h) = -2*h**3 - 4*h**2 + 12*h + 8. Suppose -8*u + 36 = -4*u. Let r be n(u). Is (-100)/(-40) + r/(-4) prime?
True
Let s be 225/63 - 3/(-7). Suppose w + 540 = l, 0*l = -l - s*w + 515. Is l prime?
False
Let c be (6 - 1)*(-4)/(-4). Let u be 190 - (c - 1)*1. Suppose -6*h = -0*h - u. Is h a composite number?
False
Let i = -25 - -30. Suppose -3*f = -i*f. Suppose f = -8*b + 10*b - 1262. Is b prime?
True
Let i be (-11)/(-4) + -2 + 42/8. Suppose 30664 = -i*g + 14*g. Is g composite?
False
Let z(a) = 448 - 449 + 5*a**2 - 4*a**2 - a. Let i be 2 + (-1 - 2)/(-1). Is z(i) composite?
False
Suppose 3*i - 5*u + 0*u = -19, i = 5*u - 13. Is 150 + -7 - (i + 3) a composite number?
True
Suppose 16*u - 27 = 15*u. Let h = 22 - u. Let y(a) = 4*a**2 - 2*a + 9. Is y(h) a composite number?
True
Let v = 128 - 128. Suppose 5*f - 126 - 59 = 0. Let b = v + f. Is b a composite number?
False
Let b(f) = 32*f**3 + 13*f**2 - 5*f - 2. Is b(4) composite?
True
Suppose 12*j + 82581 = 15*j. Is j a prime number?
True
Suppose -2*s = 5402 + 340. Is ((-14)/21)/(6/s) prime?
False
Let t = 11 + -7. Suppose 0*z + t*z = 488. Is z a composite number?
True
Let n = -6 - -6. Suppose 2*r - 3*r + 3 = n. Suppose 0 = 4*t + r*z + 125 - 766, 0 = t + 4*z - 157. Is t a composite number?
True
Suppose 4*h - 19154 = -5598. Is h composite?
False
Let f(b) = b - 142. Let a be f(0). Let s(m) = -m**3 - 7*m**2 - 9*m - 3. Let d be s(-6). Let u = d - a. Is u prime?
True
Suppose 2*o = 7*o - 25. Suppose o*v - 10*v = -1115. Is v prime?
True
Suppose 6*c - 7*c = -2. Suppose -6 = -2*p - c. Suppose -3*d = 0, -5*n = -3*n + p*d - 2122. Is n a composite number?
False
Suppose -5*w = -5*n + 15, 5*n - 3*w - 9 = n. Let x = n - 6. Is x*(4 + 124/(-8)) composite?
True
Is ((-122458)/(-18) - 0) + (-334)/1503 prime?
True
Let d(b) = 190*b + 6. Let a be d(1). Suppose a = -4*m + 1824. Is m a prime number?
False
Let t(n) = 16*n**2 + 47*n - 25. Let s be t(-8). Suppose h - 3*h + 2942 = -2*f, -4*f - 7360 = -5*h. Let g = h - s. Is g a prime number?
True
Let z = -15 - -19. Suppose -z*r - r = 5*m - 5, m = -2*r + 4. Is 525/r + (-4)/(-2) a prime number?
False
Let b = 8 + -9. Is ((-1727)/(-55))/(b/(-5)) prime?
True
Let s be (-81)/18*(-8)/6. Suppose 0 = -z - z + s. Suppose -z*x + 0*x = -465. Is x a prime number?
False
Let k be 9/(-6)*(1 - 7). Is 14/4*(287 - k) prime?
False
Let x(g) = -g**3 + g**2 - g - 1. Let o be x(0). Let b = o - -1. Suppose 0 = -b*v + 5*v - 935. Is v composite?
True
Suppose 5*l - 18699 = 2*d, d = -4*l - 3*d + 14948. Let n = -2601 + l. Is (-1)/(-6) - n/(-12) a prime number?
False
Let w be (4/(-12))/((-2)/12). Suppose w*a + 1008 = 5*a. Suppose 3*j + 2*d - a = -d, -4 = 4*d. Is j composite?
False
Let d(h) = 175*h + 37. Is d(4) prime?
False
Let w = 8125 - 3517. Let g be 4/18 + (-29264)/(-18). Suppose 6*x + g = w. Is x composite?
True
Let i be (-2 - (-1)/2)*-94. Let o(q) = -13*q + 4. Let v be o(6). Let j = v + i. Is j a composite number?
False
Suppose -5*y = -42 - 58. Suppose -h + y - 8 = 0. Is -1*(-40 + h/4) composite?
False
Let t be ((-12)/9)/(1/(-3)). Suppose t*m + m = 310. Suppose m = u + u. Is u a composite number?
False
Let u(x) = -2*x + 32. Suppose -12*w + 120 = -4*w. Let i be u(w). Is i/7 - (-14505)/21 composite?
False
Let x = -12 + 12. Suppose -3*b + 377 + 283 = x. Let q = b + -9. Is q prime?
True
Suppose -6*h - 2 = -8*h. Is ((-1)/1)/(h + 2012/(-2008)) a composite number?
True
Let k(r) = 821*r**2 + 37*r - 35. Is k(7) a composite number?
True
Let c be (-4)/18 - (-2216)/(-72). Let v(x) = 3*x - 5. Let t be v(-5). Let a = t - c. Is a composite?
False
Let m(s) = 430*s**2 + 5*s + 119. Is m(-6) a composite number?
False
Suppose s - 91 = -v - 0*s, -v + 101 = -4*s. Suppose 0 = y + 453 - v. Let m = -197 - y. Is m prime?
True
Suppose s - 2*p + 10 = p, p = s + 2. Suppose f = -s*f - 420. Is f/(-8) + 3/2 prime?
True
Let u(q) = 24*q**2 + q + 9. Let p be u(-6). Let c = p - 238. Is c a prime number?
False
Let g = 5 + -11. Let c(n) = n**3 + 7*n**2 + 4*n - 3. Let z be c(g). Let j(b) = 2*b**3 - 3*b**2 - 14*b + 8. Is j(z) a prime number?
True
Suppose -2*s = -3*s + 12. Suppose q = 4*q - s. Is (0 + 235/q)*4 prime?
False
Suppose -5*f = 5*w - 37 - 3, 7 = -w + 2*f. Suppose 1015 = w*t + 244. Is t a composite number?
False
Let y(l) = -7*l - 5. Let q be y(-3). Is (q/(-20))/(2/(-545)) a prime number?
False
Suppose 9503 = -6*s + 23*s. Suppose -3*a + 811 + 86 = 0. Suppose -h + 2*w = -a, 5*w + s = 5*h - 911. Is h a prime number?
False
Let r(c) = 6*c**2 + 23*c - 38. Let n(a) = 3*a**2 + 12*a - 19. Let m(j) = -5*n(j) + 3*r(j). Is m(-18) composite?
True
Let l(z) = -175*z**3 + z**2 + 8*z + 8. Let p be l(-4). Is (1/(1 - -1))/(4/p) a prime number?
True
Suppose u - 10503 - 3268 = 0. Is u a prime number?
False
Let x(v) = -266*v**3 + 2*v**2 - v. Is x(-2) a composite number?
True
Suppose 2783 = 2*v - 3*s - 2069, 5*s = -v + 2439. Is v a prime number?
False
Let v(z) = 9*z + 1. Let r be v(5). Let h = 349 - 298. Let a = h + r. Is a prime?
True
Let f(o) = -373*o + 4. Suppose 0 = -3*d + 3*q - 6*q, 2*d = 4*q - 6. Is f(d) a composite number?
True
Suppose 14709 = -7*b + 46440. Is b prime?
False
Let x(w) = -66*w - 12. Let i be x(-5). Suppose -6*y + i = -0*y. Is y prime?
True
Suppose 6 = -3*z, 0 = x + 2*x - 5*z + 68. Let i = x + 39. Suppose h - i - 12 = 5*j, 2 = j. Is h composite?
True
Suppose j - 2*j = -3. Suppose 3*t - 9 = j*l + 6, 0 = 4*l + t. Is l - (-1 - 381/3) composite?
False
Let b = 74 + -70. Suppose 973 = -b*h + 11*h. Is h a composite number?
False
Let i be (4 - 2)*27/6. Suppose 0 = -2*n + i*n - 15512. Suppose 2*v - n = -3*f + v, 3*f - 3*v - 2220 = 0. Is f composite?
False
Suppose 10 = 5*j, 5*j + 0*j = -s + 12. Let z = 10 - s. Let n(w) = w**3 - 8*w**2 + 7*w - 3. Is n(z) a prime number?
True
Suppose 2 - 5 = y. Let r = y + 8. Suppose -161 = r*m - 6*m. Is m a prime number?
False
Let p(w) = -3*w + 21. Let i be p(-7). Is (i/(-9))/((32/5316)/(-4)) a prime number?
False
Let h be 3 - 12/4 - -4. Suppose u = -u + h, 3*a = -u + 38. Suppose a*f = 11*f + 111. Is f a composite number?
True
Let n(c) = -2*c**3 + 10*c**2 - 24*c + 131. Is n(-26) a prime number?
True
Let j(k) = 2*k**3 - 27*k**2 + 55*k + 41. Is j(21) a prime number?
False
Suppose 2*v - 15 = -3. Let m be (-38)/(-9) + v/(-27). Suppose 151 = m*s - 81. Is s composite?
True
Let j(f) = -906*f**2 + 906*f**2 + f + 33*f**3 - 3. Is j(2) composite?
False
Let m(c) = c**3 - 5*c**2 - 3*c - 20. Let z be m(6). Is ((-1)/(7/203))/(z/34) composite?
True
Let h = -95078 - -135531. Is h composite?
True
Let a(p) = -16*p**3 - p**2 + 5*p + 3. Let r be a(-3). Let q = -56 + -206. Let v = q + r. Is v a prime number?
True
Suppose 0 = 8*v - 6*v + 168. Let j be (-8320)/(-14) + 24/v. Let q = j - 295. Is q a prime number?
False
Suppose 118050 = 45*o - 586695. Is o prime?
True
Let m(z) = -3*z**3 + z. Let n be m(-1). Suppose -3*v - 5*t - 12 = 4, v + n*t + 7 = 0. Suppose -3*x = v*j - 489, -5*j - 517 = -4*x + 99. Is x a composite number?
True
Let y(i) = -2*i + 2*i - 9*i + i**3 + 13 + 6*i**2 - 8*i. Is y(11) a prime number?
False
Suppose 4*u = 8*u. Suppose u = 2*m - 3*m - 4*k + 59, 3*m - 222 = -3*k. Is m a composite number?
False
Let d(k) = 59*k + 7. Let t(g) = -g. Let x(n) = -d(n) + 3*t(n). Let j = 79 + -82. Is x(j) a prime number?
True
Suppose 10 = -7*w - 11. Is (163/w)/(5/(-195)) prime?
False
Suppose 26*w = 11*w + 177285. Is w composite?
True
Let r(o) = -66*o + 26. Let t be r(8). Let h = -161 - t. Is h prime?
False
Let h = 4736 + -835. Is h a composite number?
True
Let v(d) = d + 10. Let b be v(-7). Suppose j - 3*p - 117 = 77, 176 = j + b*p. Is j a prime number?
False
Is (166132/(-6))/((-164)/246) a prime number?
False
Let m(k) = -k**3 + 13*k**2 - 8*k - 5. Let d be ((-44)/8)/(5/(-20)). Let y be 27/2*d/33. Is m(y) prime?
False
Let v be 12/10*15/(-6). Is 483 - (6 + 0)/v prime?
False
Suppose m = 4106 - 1125. Suppose -2333 = -5*q - 3*i, 2*i - m = -4*q - 1113. Is q prime?
False
Suppose -2*