 -2*f - z = -320. Is f prime?
False
Suppose 6*z - 1755 - 1251 = 0. Is z composite?
True
Suppose 16 + 30 = 2*f. Is (1 - (-3 + 2))*f a prime number?
False
Suppose -5*s = -3*b - 79, -b - 21 = -s - 2*s. Let m = 66 + b. Is m composite?
True
Let a be (-1149)/(-9) + 2/6. Let j = a - 69. Suppose j = s - 0*s. Is s a composite number?
False
Is 635*(-3 + 7 + -3) a prime number?
False
Let o = 7 + -3. Let n = 10 - o. Is (n + -1)*(-99)/(-15) a prime number?
False
Suppose -2*w - f + 12 = 0, 5*w - 5*f = 19 - 4. Suppose 0 = -w*v + 385. Is v a prime number?
False
Let d(s) = -s**3 - 3*s**2 - 10*s - 12. Is d(-7) a composite number?
True
Suppose o = -2*g + 27, o + 5*g + 11 = 53. Let j = 2 + o. Is j a prime number?
True
Suppose -m - 3*t = -5, 5*m + t + t = -1. Let h = -1 + m. Is -10*h*34/8 a prime number?
False
Is ((-1543)/(-3 + 2))/1 prime?
True
Is 2942/((-5)/((-15)/6)) a composite number?
False
Is 6/(-39) + 716532/156 a composite number?
True
Let h(z) = -z**2 - 4*z + 1. Let b(f) = 2*f**2 + 5*f - 2 + 6*f - 6*f. Let o(u) = 3*b(u) + 4*h(u). Is o(-5) a prime number?
True
Let l(x) = 193*x**2 + 5*x + 11. Is l(-3) prime?
True
Let f(g) = -17*g - 4. Let s be 1*2 + (-7 - 2). Is f(s) a composite number?
True
Let a = 7 + -7. Suppose a = 3*k + 5*p - 4, -7*k - 2 = -3*k + 3*p. Is -1 + 301 - 2/k a prime number?
False
Suppose 4*m + 0*r + r = 238, 2*m - 4*r - 110 = 0. Let f = m + -38. Is f prime?
False
Let v = -1 - 2. Is 29*(-1 - 36/v) composite?
True
Let z be (1/(-3))/((-1)/6). Suppose 5*n = z*t - 145, 0 = 4*t + n - 5*n - 320. Is t composite?
True
Let f be 1/4 - (-2)/(-8). Let x(b) = -b**3 - 7*b**2 - 3*b + 1. Let h be x(-7). Suppose f = -z + 3*z - h. Is z a prime number?
True
Let p(c) = 76*c**2 - 2*c + 3. Let k(m) = -m. Let q be k(-2). Is p(q) prime?
False
Suppose -p + 5*p - 452 = 0. Let z = p - 60. Is z prime?
True
Suppose 0 = y + 1 - 5. Suppose -2*r - 731 = 2*n + 3*r, 4*n + 1448 = y*r. Let d = -248 - n. Is d a prime number?
False
Suppose -159 = 5*d - 2*d. Suppose 3*n + 2*i = -62, -2*n + i - 14 = -n. Let a = n - d. Is a prime?
False
Let c = -83 - -51. Let d = c + 195. Is d a composite number?
False
Let p(k) = -89*k + 23. Is p(-6) composite?
False
Let o(b) = -1511*b**3 + b**2 + b. Is o(-1) a prime number?
True
Suppose 2*k - 4 + 10 = 0, -q = -k - 142. Is q a composite number?
False
Is 628*(3 - 22/8) composite?
False
Suppose 7475 = 4*n + 447. Is n prime?
False
Let d = 499 + -140. Is d a composite number?
False
Suppose -93 = -c - f + 3*f, 2*c + 5*f = 168. Is c a composite number?
False
Suppose 0 = b + 4, -h = -4*b - b - 1359. Is h composite?
True
Is (-586480)/(-24) - (4/6 + -1) a prime number?
False
Let o = -12 + 203. Is o a composite number?
False
Suppose -5*x - 4 = -14. Suppose -f - 3*v = -100, -v = -3*v + x. Let i = 164 - f. Is i prime?
True
Suppose 0 = 3*i - 7*i + 5908. Is i prime?
False
Let t(u) = -u**2 - 7*u - 3. Let d be t(-4). Is d/(18/520) - 1 a composite number?
True
Is 892 + -1 - (2 + 0 + 0) prime?
False
Let f(g) = 2*g - 3. Let d be f(2). Let l = 8 + d. Let a = l - -22. Is a a composite number?
False
Suppose -c = 0, 7*c - 4*c = n + 3. Let j(w) = -14*w + 2. Let f be j(n). Let l = -29 + f. Is l a prime number?
False
Let p = -9 + 2. Let b(h) = h**3 + 6*h**2 - 7*h + 2. Let n be b(p). Suppose -33 = -t - 3*i, -3*t + 2*i + n*i + 47 = 0. Is t composite?
True
Let v(c) = -c**3 - 5*c**2 - 2*c + 9. Is v(-6) a composite number?
True
Suppose 5*z = -2*w + 2*z - 4, w - 4*z = 20. Suppose 148 = 4*j + w*c, -41 = -4*j - c + 101. Is j composite?
True
Let x = 347 + -239. Suppose -4*j + x = -w - 4*w, -3*j = -5*w - 81. Suppose 302 = 5*t + j. Is t a composite number?
True
Let c = 321 - 190. Is c a prime number?
True
Let o = -821 - -2478. Is o composite?
False
Let v(q) be the third derivative of q**6/12 - q**5/60 + q**4/6 - 5*q**3/6 + 5*q**2. Is v(4) a prime number?
False
Let i be ((-10)/6 - -3)*3. Suppose 0*q = -i*q + 316. Is q a prime number?
True
Suppose -3*o + 3*v - 4 = v, 4*o - 2*v = -2. Let j(s) be the third derivative of 7*s**4/24 - s**3/2 - 4*s**2. Is j(o) composite?
False
Suppose p + 1 - 2 = 0. Let w(j) = -j. Let i(y) = -68*y. Let q(g) = -i(g) + 34*w(g). Is q(p) composite?
True
Let b be 9 + ((-9)/(-3) - 6). Suppose -4*v + 5*s + 52 = 13, 4*s = -3*v + b. Is v prime?
False
Let j = 1034 - -729. Is j a prime number?
False
Suppose 3*y = -6*q + 3*q - 78, -3*y - 15 = 0. Let j(o) = 35*o**2 + 1. Let m be j(-1). Let n = q + m. Is n a composite number?
True
Let t(m) = m**3 - 5*m**2 - 2*m - 3. Let l(s) = 2*s - 5. Let u be l(5). Let j = u + 1. Is t(j) prime?
False
Let p = -12 - -31. Let a = p + -4. Is a composite?
True
Suppose -4*r + j = -847, 5*r - 559 = j + 499. Is r composite?
False
Let l = 1989 - 1406. Is l a prime number?
False
Let a(j) = j**3 + j**2 + j + 2. Let t be a(0). Suppose 0 = -4*h + 2*i + 292, -i + 152 = t*h + i. Suppose 3*b + 185 = 5*f + 4*b, 2*f - 5*b = h. Is f prime?
True
Suppose -9*s + 10*s - 114 = 0. Suppose -9 = 5*r - s. Is r a prime number?
False
Suppose 0 = r + 4*r - 175. Is r a prime number?
False
Let h = 3 - 0. Suppose 0 = -n + 5*q - 2 - 4, -4*n = -h*q + 24. Let y(z) = z**3 + 8*z**2 + 10*z + 7. Is y(n) a prime number?
True
Let o be (-4)/14 + 2732/7. Suppose o = -2*l + 4*l. Let f = -64 + l. Is f composite?
False
Suppose 0 = -2*s - 0*s + 404. Suppose 5*t - 63 = s. Is t prime?
True
Suppose -d - 19726 = -8*d. Is d prime?
False
Is -4 + 825/(0 + 1) a composite number?
False
Let q(o) be the first derivative of 3*o**4 + o**3/3 - o**2 + o - 2. Let h be q(3). Let x = -195 + h. Is x composite?
True
Let v be (1/(-3))/(2/66). Let l = 23 + v. Let j(k) = k**2 - 11*k + 3. Is j(l) a composite number?
True
Let a = -6 + 12. Suppose 2 = 7*g - a*g. Suppose -254 = g*t - 4*t. Is t prime?
True
Let h(q) = 4*q**2 - q + 9. Let c = -4 + 0. Is h(c) prime?
False
Suppose 3*t - 338 = 367. Is t a prime number?
False
Suppose -2*x - 34 = -5*f, -3*f - 35 + 7 = x. Let g = 77 + x. Is g composite?
True
Let n(f) = 12*f - 4. Let v(t) = -t**3 - 2*t**2 - 1. Let i be v(-2). Let u(b) = 1. Let k(h) = i*n(h) - 3*u(h). Is k(-1) a composite number?
False
Suppose -2*w + 4 = -0*w. Suppose 3*n - 1350 = -w*a + 5*n, 0 = 2*n - 8. Is a a composite number?
True
Let d(t) = -t**3 - 5*t**2 + 7*t + 5. Let a be d(-6). Let j(p) = 159*p**2 + 2*p + 2. Is j(a) prime?
False
Let y be (-20)/6*6/(-4). Suppose 16 = 3*x + 2*b, -4*b + 15 = 4*x - 9. Suppose o = f + 51, -o + 275 = x*o + y*f. Is o prime?
True
Suppose 57 = -2*c + 21. Let h(s) = 15*s + 1. Let p be h(2). Let i = p + c. Is i prime?
True
Let r be 3/(-3) + -23 - 0. Let s be 1/4 - 114/r. Suppose 4 = -y, -x + 46 + 21 = -s*y. Is x prime?
True
Let d be 30/9 + 2/(-6). Suppose 0 = -5*z - 3*r + 31, 0 = d*z + r - 4*r - 9. Suppose 3*c + 9 = 0, 73 = z*o - 5*c + 4*c. Is o a prime number?
False
Let t be (-3381 - 3)/4 + -2. Let c = t - -2227. Is c prime?
False
Suppose -5*k - 4*c = -19, k + k - 1 = 5*c. Suppose k*g = 4*u + 1777, 0*g = -3*g - u + 1757. Is g composite?
False
Is 1594*(-2 + 20/8) prime?
True
Is (2/4)/((-1)/(-70)) composite?
True
Let l be 4/6*30/4. Suppose 14 = -l*s + 34. Suppose 16 = s*w, 5*w - 21 = -5*x + 64. Is x a composite number?
False
Let l(i) = 4*i**3 + 2*i**2 + i + 2. Let k(m) = 2*m - 11. Let b be k(8). Is l(b) composite?
False
Suppose -2*f = -3*o + 13, -5*f + 2 = -3*o + 12. Suppose i = -f + 3. Suppose -194 = -i*u - 0*u. Is u prime?
True
Suppose 3*h - 1 = -m + 2*h, -5*m - 2*h = -14. Is (-2 - -4)/(m/226) composite?
False
Suppose 0 = b - 5*b + 12. Let d = 24 - b. Is d a composite number?
True
Let s be (-3)/(-12) - (-135)/(-12). Let q(r) = -6*r - 7. Is q(s) composite?
False
Suppose 3*t = -4*s - 542, -2*t + 2*s + 0*s - 352 = 0. Is t/6*(0 - 3) composite?
False
Suppose -2*y - 2*y = -156. Suppose 0 = 3*r - 0*r - y. Let z = 39 - r. Is z composite?
True
Suppose 4*f + 0*f - 12 = 0. Suppose -f*w = 4*b + 3, -2*b - b + 29 = -4*w. Suppose -b*i - 2*i = -35. Is i composite?
False
Is 2/4 + 3002/4 a prime number?
True
Suppose -5*v - 5*n - 15 = 0, -4*v - 5*n = -3*n + 2. Suppose z - 4 = -2*d, d - 3*z = -v*z + 5. Suppose -g + 4 + d = 0. Is g composite?
False
Let k = 33 - 20. Let z = 36 - k. Is z a prime number?
True
Suppose 0*c + 4*c + 10 = 2*g, -5*c + 4*g - 14 = 0. Is -23*(c/(-2))/(-1) a prime number?
True
Let z(d) = d + 4. Let w be z(-4). Suppose -5*j + i + 82 + 16 = w, 89 = 5*j + 2*i. Is j prime?
