**2 - 20*q + 8. Is p(z) a composite number?
False
Suppose 47 = 13*u - 31. Is ((-39)/u)/((10 - 4)/(-636)) prime?
False
Let z(c) = -11*c - 6. Suppose 1 = -s - 2. Let o be (-11)/1*(s - -4). Is z(o) composite?
True
Let v be 3/(-2) - (-3074)/4. Suppose -5*o + 912 + 1387 = 3*z, -v = -z - 2*o. Is z a composite number?
True
Suppose 0 = 5*c - 17 + 2. Suppose 2*i = -2, 2*q + 5*i = c*q - 182. Is q composite?
True
Suppose 3*g = 12, 0*g - 52 = -2*c + g. Suppose 0 = 4*w + 2*l - 238, -7*w - 4*l = -2*w - 302. Suppose 3*a = -2*f + c, -f = 5*a - w + 23. Is a prime?
False
Let q(j) = 17*j**3 - 17*j**2 + 27*j - 67. Is q(10) a composite number?
True
Let a(i) = 2*i - 1. Let c(r) = -171*r + 13. Let o(w) = 6*a(w) + 3*c(w). Is o(-6) composite?
True
Let c(u) = u**2 - 2. Let o be c(2). Suppose 0 = p - o*p + 5. Is (-30)/p*17/(-2) composite?
True
Is 4/(-6) - (3 + 16394/(-3)) a composite number?
True
Is 2/4 - -454*(-95)/(-20) a composite number?
True
Let y(j) = 73*j - 27*j - 1 + 3 + 37*j. Is y(3) composite?
False
Suppose -3*b = -2 - 4. Let l = 249 - -297. Suppose 3*t = -2*k + l, 2*k - 793 = -k + b*t. Is k prime?
False
Is (-13663)/(-15) - 8/(-60) composite?
False
Let n be ((-60)/880 + (-2)/11)*-12. Let c(o) = -o**3 + 4*o**2 + 5*o + 2. Let z be c(5). Suppose -4*q - 3*v = q - 1670, n*q - 1003 = -z*v. Is q composite?
False
Let d = -1 - -41. Let k be (d/(-50))/(2/(-105)). Is (-938)/k*(0 - 3) prime?
True
Suppose o + 3*h - 9469 = 0, 0 = 4*o - 3*h - 47723 + 9862. Is o composite?
True
Let y = 69658 + -35853. Is y prime?
False
Let h be -6 + 6 - 1*(-2 + -27). Suppose -31*u + h*u + 2522 = 0. Is u a prime number?
False
Suppose -2*g = 3*k + 3*g + 47, 2*k + 2*g = -30. Let w(z) = z**2 - 5*z + 9. Let i be w(8). Let c = k + i. Is c composite?
False
Let d be 4 - ((-6)/3 - -1). Suppose -3169 = -d*m + 2896. Is m a composite number?
False
Let y = 19779 - -628. Is y a prime number?
True
Let r(o) = 527*o - 9. Let h be r(3). Let q = -709 + h. Is q prime?
True
Suppose 3702 = -5*l + 40577. Suppose 5*h - 1253 - 8573 = -4*s, 3*s + h - l = 0. Is s prime?
True
Let y(u) = 12*u**2 + 7. Let x be ((-3)/(-1))/(-1*1). Is y(x) composite?
True
Let z(y) be the third derivative of 3*y**5/20 + y**4/8 + 10*y**3/3 + 19*y**2. Is z(-6) a prime number?
False
Let f = -47 + 24. Is (-39 + (-5)/(-1))*f/2 composite?
True
Suppose -5 = 12*n + 43. Let g(q) = -2*q**3 - 7*q**2 - 13*q - 15. Is g(n) composite?
False
Suppose 3*d + 39 = -5*m, -5*m - 3*d - 45 = 2*d. Is ((-9)/m)/((-6)/(-7892)) composite?
False
Let g(q) = -8*q + 5. Let l be g(1). Is 6 + l - (-2451 - (-2 + 1)) a composite number?
True
Let r(i) = -851*i + 127. Is r(-20) composite?
True
Suppose -44*y + 22533 = -23*y. Is y a prime number?
False
Let s(i) = 6*i**2 - 1. Let z be s(-1). Suppose 0 = t - 490 + z. Is t a composite number?
True
Let v(j) = 117*j**3 - j**2 - 4*j + 5. Let u be v(2). Let y = 1381 - u. Suppose 59 = x - 3*z - 54, 4*x + z - y = 0. Is x composite?
False
Suppose 0*k - v - 2177 = -4*k, -k - v = -543. Let x = k + 474. Is x prime?
False
Let x be (149 + 0)*7/7. Suppose -802 = -3*m + x. Is m a prime number?
True
Let h be (9/2)/(13/52). Suppose 0 = -5*c + h + 22. Suppose z = -2*x + c, 5*x - 13 = -3*z + z. Is z prime?
False
Let y be 3/(-2) - (-7)/2. Let w(z) = -z**2 + 5 - 7*z**y + 15*z**2 - 4*z**2 + 8*z. Is w(6) composite?
True
Suppose w + w = 4. Let n(j) = 5*j + 30. Let z be n(-6). Suppose 4*h + 2*v - 1216 = 0, -3*h - 2*h + w*v + 1511 = z. Is h a composite number?
True
Let f(r) = 140*r**2 - 2*r + 1. Suppose j + 4 = -j. Is f(j) prime?
False
Suppose 0*a - 3*a - d + 10375 = 0, 3*a - 10383 = -3*d. Is a prime?
True
Suppose -64338 = -1903*k + 1897*k. Is k a composite number?
False
Let x(t) = 58*t**3 - t**2 + t - 1. Let i be x(1). Let g = i - -66. Let a = g + -2. Is a prime?
False
Let m(y) = y**3 - y - 1. Let j(d) = -2*d**3 - 17*d**2 - 5*d + 6. Let q(r) = -j(r) - m(r). Is q(-7) a prime number?
True
Is (24*1083)/8 - -2 prime?
True
Let v(s) = 411*s + 53. Is v(8) composite?
True
Suppose 1222 = -2*s + 3766. Suppose 4*f - 8*f + s = 0. Suppose -3*y + f = 63. Is y prime?
False
Suppose 0 = -r + 3*f + 7, 4*f + 3 = 3*f. Is ((-467)/r)/((5/2)/5) prime?
True
Let y be (3 + -4)*(-106)/2. Suppose -x + 0*x + y = 0. Suppose 5*m = 42 + x. Is m prime?
True
Let a(g) = -30*g**3 + 5*g**2 + 4*g - 1. Let c be (-14)/56 + 14/(-8). Is a(c) composite?
False
Let q be (3 + (-30)/12)/(1/5848). Let j = -993 + q. Is j prime?
True
Suppose 8*t = 7*t. Is (t - 3)*2321*3/(-9) prime?
False
Let n be -4*(-3)/16*4. Suppose n*g = -3*a - 516, 3*a + a = g + 167. Let h = 394 + g. Is h composite?
False
Let c = 81 + 26. Let i = 204 - c. Is i prime?
True
Suppose 5*p + 422 = -4*y, -4*p = 4*y + 233 + 103. Let o = p - -235. Is o a composite number?
False
Suppose -123 = -7*p + 6*p. Let w = 280 - p. Is w a composite number?
False
Suppose x = 6 - 3. Suppose 0*b - b = x*l - 102, -5*b - 136 = -4*l. Is 1 + 0 + 0 + l composite?
True
Suppose -2*r - 2*r + 20 = 0. Let u(t) = t**2 - 11*t + 8. Let z be u(9). Is (-2)/z - (-64)/r prime?
True
Let z(v) = 84*v**2 + 15*v + 28. Is z(-5) a prime number?
True
Let v(m) = 3*m**2 - 8*m - 4. Let b(c) = c - 1. Let p be b(-1). Let g be 1 - 1 - (-5 + p). Is v(g) a composite number?
True
Let m = -21 + 26. Suppose -3 = -3*t, -m*t + 1 = -6*v + 2*v. Is 553 - (-3 + (4 - v)) a composite number?
True
Let u(r) = r**3 - r**2 - 7*r + 2. Let q(m) = -m**2 + 7*m - 5. Let x(n) = n**3 + 3*n**2 - 3*n - 4. Let b be x(-3). Let d be q(b). Is u(d) composite?
False
Is (0 - 4 - -1) + (-18256)/(-28) a prime number?
False
Let j(i) = 183*i**3 + i**2 - 2*i + 1. Let q be j(1). Let t = q - 68. Is t a composite number?
True
Let j be (-30)/35*-1*7. Let v(g) = -j*g - 15 + 8*g + 23*g + 9*g. Is v(7) composite?
False
Let g(o) = o + 1. Let w be g(2). Suppose z = 2*z + w. Let f(x) = x**2 - 2*x - 2. Is f(z) prime?
True
Let g = 1646 - -6875. Is g prime?
True
Suppose -3*q + 796 = x, -3*q + 4*x + 588 = -203. Is q prime?
False
Suppose -13*m + 18*m = -520. Let g = m + 571. Is g prime?
True
Let s(o) = o + 2. Let h be s(10). Let k = h + -6. Suppose -4*a = -2*d - k*a + 580, 1165 = 4*d - a. Is d a prime number?
False
Let c = 24 + -22. Suppose 0 = 3*g + 3*o - 1050, -g + 195 + 170 = -c*o. Is g a composite number?
True
Let b be (25/30)/5 - (-1339)/(-6). Let u = b - -356. Is u a prime number?
False
Let p(z) = 616*z**2 - 19*z - 32. Is p(-3) a prime number?
True
Let z(w) = -20*w - 6. Let v be z(-2). Let l = v - 30. Suppose -l*i - 581 = -5*d, -i + 171 = 3*d - 164. Is d composite?
False
Let p = 462 - 80. Suppose 7*m = 5*m + 8. Is p/m - 2/4 a prime number?
False
Let d(c) = -2*c - 23. Let o be d(-17). Let s(t) = 2*t**2 + 17*t - 22. Is s(o) composite?
True
Let m = -4052 - -25133. Is m composite?
True
Let m = 30 - 15. Suppose -4*r = r - m. Suppose -r*a = -2*a - 367. Is a a prime number?
True
Let w(r) = r**3 - 5*r**2 + 7*r + 8. Let f be w(4). Suppose -3*i = -7*i + f, 5*j + 4*i - 7005 = 0. Is j a prime number?
False
Suppose -u + 10 = 4*u. Let n(k) = 45*k**3 - 4*k + 3. Let a be n(u). Let s = a - 194. Is s composite?
True
Is (-2)/((-4)/(-6)) + (-59 - -1203) a composite number?
True
Let f(j) = -4*j. Let z be f(2). Let r = -67 + 68. Is r*-3 + (z - -102) a prime number?
False
Let a(i) = i**3 - 3*i**2 - 5*i + 5. Let d be a(5). Let l = d - 15. Let m(j) = 4*j**2 - 7*j - 8. Is m(l) a composite number?
False
Let c = 5525 + -3183. Is c prime?
False
Is 241018/20 + -2 - 12/(-120) prime?
True
Let b = -2628 - -4989. Is b a composite number?
True
Suppose 4*b = -4*z + 3028, -2*b + 4*b - 5*z - 1542 = 0. Suppose -2*s + s = -2*f + 302, -4*s = -5*f + b. Is f composite?
False
Suppose 0 = -5*c + 4*c + 133. Suppose 3*i = 4*w + 233, c = i + 5*w + 30. Is i prime?
True
Let r(h) = -h**3 - 4*h**2 - 5*h - 3. Let b be r(-3). Suppose 0 = -i - b*i. Is 412 - (-3 + i/3) a composite number?
True
Suppose -3*g + 2052 = -435. Suppose -4*a + g = -5*s, s = -a - 3*s + 223. Is a a prime number?
True
Let g = -58 + -399. Let l = -206 - g. Is l prime?
True
Let c(p) = -2*p**3 - 12*p**2 - p - 2. Let w be c(-8). Suppose 20*k + w = 22*k. Is k a composite number?
False
Suppose -3*m + 18 = -6*m. Let b be (4 - 3)/((-3)/m). Suppose 3*d - 4*s - 43 = 1182, -813 = -b*d - s. Is d a composite number?
True
Suppose 0 = 4*t - 24 - 24. Suppose h - t + 2 = 0. Suppose -5*x + 135 = h. Is x a prime number?
False
Let n 