= 206. Is q prime?
True
Let d be -3 - -1 - (0 + 0). Let y be 40/6 - d/(-3). Is 0 - 141/y*-2 prime?
True
Let r be ((-87)/6)/((-4)/(-8)). Let p = r - -144. Is p composite?
True
Let o(c) be the first derivative of 7*c**2/2 - 3*c - 3. Is o(6) a prime number?
False
Suppose f - 1043 = -6*f. Is f composite?
False
Suppose 0 = -5*c - 95 + 405. Is c + 0 + -1 + -2 composite?
False
Let i be (-2 + -1)/3*-2. Is ((-229)/i - 3)*-2 a composite number?
True
Let d(s) = 16*s - 1. Let p be d(6). Let u = p + -16. Is u composite?
False
Let d = -20 + 51. Is d composite?
False
Let g = -195 + 2374. Is g a prime number?
True
Let x(d) = -12*d**3 + 2*d**2 - 8*d - 7. Is x(-6) a composite number?
True
Let s be 12/3*(-3)/2. Let r(h) = h**2 - 2*h + 7. Is r(s) a prime number?
False
Suppose -2*t + 4*t = 862. Is t composite?
False
Suppose 2*a - 8 = -0*a + p, -20 = -4*a + 3*p. Is 1 + 20 + -1 + a prime?
False
Let g(t) = t**3 - 7*t**2 + 2. Let s be g(6). Is 2 + (-9)/6*s a composite number?
False
Suppose 0 = -a - 6*g + g + 114, -4*a - g = -437. Is a prime?
True
Suppose -i + 1 = -0*i. Suppose -4*s + p + 3 = -i, 4*p = 3*s - 3. Is (49/14)/(s/46) a composite number?
True
Let i = -256 - -471. Is i a composite number?
True
Let b = 18 - -29. Suppose -3*z + b = -2*z. Is z composite?
False
Let k be 2 - 0 - (1 + 6). Let t be -1*(-2 + 1) + k. Is 3/(-12) + (-477)/t composite?
True
Suppose -w - 5 - 1 = 0. Is (w/8)/(2/(-104)) a composite number?
True
Suppose -3*n + 707 + 214 = 0. Is n a prime number?
True
Let n(p) be the second derivative of 13*p**3/6 - 3*p**2 + 2*p. Is n(5) prime?
True
Let y(a) be the third derivative of a**5/20 - a**4/3 + 2*a**3/3 - 6*a**2. Is y(5) prime?
False
Let l = -85 - -1728. Is l composite?
True
Suppose 0 = s + 2*s - 117. Let a = -4 + 8. Suppose -f = -a*f + s. Is f composite?
False
Suppose 184 = -5*o + 1179. Is o composite?
False
Suppose g + 239 = 2288. Is g composite?
True
Suppose -h = -4*p + 80, 4*h + 40 = -0*p + 2*p. Is p/(-50) + 2134/10 composite?
True
Suppose -3*r = -i + 646, 4*r + 499 = -3*i + 2372. Is i a prime number?
True
Suppose 4*b - 4*n - 2710 = 2*b, -b = -5*n - 1352. Is b prime?
False
Let k(m) = 15*m - m + m**2 - 3*m + 0*m**2. Let v be k(-11). Suppose y = -4*d + 426 + 421, v = 2*d + y - 425. Is d prime?
True
Let a(k) = 5*k**2 - 5*k - 1. Is a(6) composite?
False
Suppose 4*k = 2*g + 5158, -2*k - 12*g + 2588 = -10*g. Is k prime?
True
Suppose -3*x = x - 16. Suppose -3*p - 29 = -2*j, x*p - p = 3*j - 36. Is j a prime number?
True
Let d(j) be the third derivative of -3*j**4/8 + j**3/6 - j**2. Is d(-4) a composite number?
False
Let u(z) = -4 - 2*z - 4*z - 1 - 6*z. Is u(-6) a prime number?
True
Let o(y) be the second derivative of y**4/6 + 3*y**3/2 - 9*y**2/2 - 2*y. Is o(-7) a prime number?
False
Let l be 13/2*(-4)/(-2). Is (l/13)/((-1)/(-127)) prime?
True
Let r(n) = 5*n**3 - n. Let q be r(1). Suppose -3*o = -q*z - 481, 506 = 7*o - 4*o + z. Is o a prime number?
True
Suppose -8*x + 446 = -6*x. Suppose -2*s = -w - 7 - 90, x = 5*s + 4*w. Is s a composite number?
False
Is (-8034)/(-18) + (-4)/(-6) composite?
True
Let x = -6 + 8. Is (1 + x)/(2/6) a composite number?
True
Suppose 2*h - 3*z - 9 = 0, -5*h = -4*z - 22 + 3. Suppose 0 = -h*f - 0*x - x + 151, -214 = -4*f + 5*x. Is f a composite number?
True
Is 2/4 - 2703/(-6) composite?
True
Suppose 2*m = 6, 0*m = 5*y - m - 1962. Is y a prime number?
False
Suppose m - 25 - 52 = 0. Is m a prime number?
False
Is ((-5541)/(-6))/(6/12) a composite number?
False
Let v be 9*-1*(-4)/12. Suppose -v*h = h - 144. Suppose -2*y - 29 = -3*u, 4*u + 2*y - h = 6*y. Is u composite?
False
Suppose 4*m - 65 = -m. Suppose 3*v + 9 = 3*c, 0 = -4*c + 2*v - 1 + m. Suppose -c*i - 231 = -6*i. Is i composite?
True
Suppose 5*p = w - 284, -p - 595 = -w - w. Is w a prime number?
False
Suppose 5*t - 186 - 1699 = 0. Is t composite?
True
Let q(f) be the third derivative of -19*f**4/24 - 5*f**3/6 + f**2. Let y be q(-4). Suppose -2*b + y = -47. Is b prime?
True
Suppose -2*u - 33 = 5*w, 0*u - 87 = 3*u - 5*w. Let z = -5 - u. Is z a prime number?
True
Let x = 2147 + 14. Is x prime?
True
Let r = -172 + -159. Let i = r + 563. Let l = i + -117. Is l composite?
True
Let n = 0 + 1. Is ((13 - -3) + 3)*n prime?
True
Is ((-3)/(-2))/(3 - 15132/5048) composite?
False
Let x = 489 - 344. Is x a prime number?
False
Let m(j) = 15*j - 1. Let q be m(5). Let s = q - -129. Is s prime?
False
Let u(n) = -n - 3. Let s be u(-7). Suppose s*r + 107 - 343 = 0. Is r composite?
False
Suppose -l = 4*l - 3*z + 19, 4*l - 5*z = -23. Let p be 311 + l - 1/(-1). Suppose -5*s - 5*g + p = 0, g + 17 - 213 = -3*s. Is s a prime number?
True
Let n = 11 + -8. Let h be 157/n - (-4)/6. Suppose h - 361 = -4*q. Is q a composite number?
True
Suppose -z = 2*z + 5*o - 31, 3*z - 2*o + 4 = 0. Let w be 12/z - (3 + -1). Suppose 5 = -w*c + 5*m + 41, -5*m = c - 34. Is c a composite number?
True
Let a be 20/(-8)*(-12)/(-15). Is (-157)/a - (-3)/6 composite?
False
Let r = 211 + -102. Is r prime?
True
Let i = -708 + 1352. Suppose w + 4*w - i = 3*s, -5*s + 112 = w. Is w a composite number?
False
Let t = -7 - -12. Suppose -y = -t*y + 4*g - 4, -33 = 5*y + 2*g. Let l(w) = -5*w - 4. Is l(y) composite?
True
Suppose i - a = 3*i - 5410, -2*a + 5406 = 2*i. Is i a composite number?
False
Suppose 3*l - l + 463 = z, 3*l - 1416 = -3*z. Is z composite?
True
Suppose 2*l - 6 = 3*t - t, -4*l = -20. Suppose 0 + 2 = -t*g. Let d = g - -7. Is d a composite number?
True
Let r(n) = -166*n**3 + 1. Is r(-1) prime?
True
Let d(m) = 4*m**2 - m + 1. Let p be d(1). Suppose -2*n - 2*l = -182, p*n = -3*l + 244 + 120. Is n a composite number?
True
Let i(h) = 9*h**2 + 2*h + 4. Let q(a) = 36*a**2 + 9*a + 15. Let w(c) = 9*i(c) - 2*q(c). Let p be w(-5). Suppose 2*y - 5*y = -p. Is y a composite number?
True
Let v(q) = -q**3 + 10*q**2 + 12*q + 10. Suppose 0 = y - 4*i - 17, -24 - 15 = -5*y - 3*i. Is v(y) a composite number?
False
Let w be 2/4 - 38/(-4). Let y(h) = h**3 - 11*h**2 + 12*h - 6. Is y(w) prime?
False
Suppose 2*a = -4*y + 2484, 0 = 2*y - 2*a - a - 1258. Is y a composite number?
True
Let j = 1 + -16. Let h = -9 - j. Is (-323)/(-2) + (-3)/h prime?
False
Suppose 7*b = 5*b + 4190. Is b prime?
False
Let l be (-1)/(-3) + 3/(-9). Suppose l = 4*w + z + 61, 5*w + 0*z = -2*z - 77. Let j = 64 + w. Is j prime?
False
Is 3 + 4 + -4 - -296 composite?
True
Suppose 0 = -2*y - 0*y. Suppose y = -2*h - 3*h + 20. Suppose 3*g - h*g + 35 = 2*r, 69 = 3*r - 4*g. Is r a prime number?
True
Suppose 9*h = 5*h + 268. Is h prime?
True
Let h = 290 - 152. Let b = h - 11. Is b composite?
False
Let w(y) = 578*y + 3. Is w(1) a composite number?
True
Let t be ((-9)/6)/(6/(-2004)). Let q = t + -314. Is q composite?
True
Let k(c) = 19*c**2 - c + 11. Is k(4) prime?
True
Is (-5 - -4)*-181 - 3 composite?
True
Let j = -37 - -375. Suppose j = 5*k + i, -7*i + 12 = -3*i. Suppose s = k - 14. Is s a prime number?
True
Let d = 777 + -1326. Let j = d + 955. Suppose -2*u + 0*u + j = 0. Is u prime?
False
Let g = 9 + -6. Let h(r) = 30*r - 3. Is h(g) a composite number?
True
Suppose 0 = 2*a - 6, -2*u + 0*u = -5*a - 431. Is u composite?
False
Let l = -54 - 304. Let v = l + 539. Let m = v - 126. Is m a composite number?
True
Suppose -6*w + 2*w + 60 = 0. Suppose 3*m - 35 = -o - o, -3*m = 5*o - 110. Let q = o - w. Is q prime?
False
Let q be 5 + -3 - (1 - -3). Is (1 - -14) + (2 - q) a composite number?
False
Suppose -y + 15 = -4*a + 2*y, -15 = 5*a - 3*y. Suppose 0 = 20*c - 19*c - 2. Suppose a = c*z - 130. Is z a composite number?
True
Suppose 6*m - 3*m + 15 = l, 3*m = -5*l + 3. Let f = -1 - -1. Suppose f = q - l*q + 14. Is q composite?
False
Suppose 4*c - 188 = -4*k, -3*k = c - 6*c + 267. Let t = c + -20. Is t prime?
True
Suppose 5*j + 21 = -2*c, -5*c + 44 - 14 = -4*j. Let k = -2 + 2. Suppose 28 = c*r - k*r. Is r prime?
False
Let o = 10 - 2. Let a(n) = -n**3 + o - 6*n + 7*n - 3*n**2 + 10*n. Is a(-7) a composite number?
False
Let b = 29 - 20. Suppose -4*i + 945 = -b*i. Let g = i + 268. Is g prime?
True
Suppose 10 = -u - 3*m, 4*u + 17 = -m - 1. Let l(n) = n + 3. Let f be l(u). Is 163*(2 + f)*1 composite?
False
Suppose -y + 3*b = -282, y - 270 = -4*b + 3*b. Let f be y/6 - 1/2. Let m = 67 - f. Is m composite?
True
Let a = -200 - -401. Is a a prime number?
False
Suppose 3*h - 4*h + 2 = 0. Let v(t) = 4*t + 8*t**