12 prime?
False
Suppose 1105 = 5*r - 5*j, -2*j - 890 = -4*r - j. Is r prime?
True
Let j(r) = -198*r + 5. Is j(-4) a composite number?
False
Let x = -11 + 33. Is x composite?
True
Is 3/(-2)*(-476)/6 a composite number?
True
Suppose -5*m - 1 = -6. Let u be (1/2)/m*0. Suppose u = 5*p + 4*c - 185, -4*c + 145 = 5*p - 8*c. Is p a prime number?
False
Let d be -1*(0 + -1 + 1). Suppose 0 = -d*h + 2*h - 68. Let m = -21 + h. Is m prime?
True
Let t = 89 - 0. Is t composite?
False
Let n(d) = d**3 + d**2 + d + 265. Is n(0) a composite number?
True
Suppose 1820 = -4*u + 6208. Is u a prime number?
True
Let k(h) = 4*h**2 - 7*h - 8. Let n be k(6). Suppose 0 = 2*u - 4*u + n. Is u composite?
False
Suppose 17 = -5*m - 3. Let c be m/((-3)/(-9)*3). Is 20/1*(-5)/c a composite number?
True
Let d be ((-24)/5)/(20/(-50)). Is (-506)/(-10) - d/(-30) a prime number?
False
Let c be (-2)/2 + (-48)/(-3). Is 79/4 + c/(-20) a composite number?
False
Suppose -4*z = -j - 1321, -5*z + 2680 - 1022 = j. Is z composite?
False
Let w(z) = 3*z**3 - 8*z**2 - 7. Let j be w(6). Suppose 2*p = p + j. Is p a prime number?
True
Let l = 120 - 81. Is l composite?
True
Suppose -2*l - 1269 = -3*l + 2*y, 2*l - 2498 = -4*y. Is l composite?
False
Let j(n) be the first derivative of -105*n**2/2 - 4*n - 7. Is j(-11) a prime number?
True
Suppose -3*v + 28 = 4*n - 0*n, -4*v - 56 = -4*n. Is n composite?
True
Let c(l) = 21*l - 23. Is c(10) a composite number?
True
Suppose -4*h = 2*p - 2, h + 0*p + 2*p = 2. Suppose 5*w = 2*z - h*z - 833, 2*w - 1678 = -4*z. Is z prime?
True
Let c = 24 + -15. Suppose c*f - 155 = 4*f. Is f composite?
False
Let w be ((-5)/2 - -2)*0. Suppose 2*p = -w*q - 3*q - 20, 27 = -5*q + 3*p. Let o(j) = -3*j - 4. Is o(q) composite?
True
Let n(l) = 364*l**2 - 3*l - 1. Let x be n(3). Let j = 1787 - x. Is j/(-27) + (-6)/(-27) a composite number?
True
Let b be 8/(-12)*(10 - 1). Let s be 2/b - 586/(-3). Suppose -3*t + 0*w + s = -4*w, w = -4*t + 260. Is t a composite number?
True
Suppose 3*s - 894 = -3*s. Is s composite?
False
Let f(v) = v**2 + 7*v - 8. Let l be f(-8). Let p = l + 5. Is (p - 5) + (132 - -1) a prime number?
False
Suppose -5*r + 189 = -t, 4*r + 0*r - 5*t = 168. Is r composite?
False
Suppose 68 = 4*b - 3*b. Suppose -3*k - b = -5*k. Is k composite?
True
Let a = 1 - 3. Let f be 3/(-2) - (-65)/10. Is 0 - (-195)/(a + f) prime?
False
Let d(h) = h + 4. Let f be d(-4). Suppose -170 = -2*s - f*s. Is s prime?
False
Suppose 4*l + 9 = a, 3*l - a + 18 = 2*a. Let j be l/5 - (-2128)/(-10). Let b = j + 424. Is b prime?
True
Let l = -36 - 144. Let c = l + 329. Is c a prime number?
True
Let g(p) be the first derivative of 23*p**4/2 - p**3/3 + 3*p**2/2 - 2*p - 5. Is g(1) a prime number?
False
Suppose 5*p = 5*d - 100, 3*d + 10 = -4*p - 42. Let q = -2 - p. Is q a composite number?
True
Let f(l) = 5*l**3 + 3*l**2 - l - 2. Let n be f(2). Let y = -13 + n. Is y a composite number?
True
Suppose -1916 = -4*p - x, x = -3*p - 2*x + 1437. Is p a prime number?
True
Let a(w) = -w**2 + 19*w + 1. Let z = 15 - 7. Is a(z) a prime number?
True
Suppose 5*o - 2*v = 1239, -246 = -2*o + o + v. Suppose -2*h + 249 = -p - 0*p, p = 5*h - o. Is p/(-12) + (-3)/(-12) prime?
False
Is (-848 - 4)/4*(-3)/9 prime?
True
Let t(h) = 18*h - 5. Let p = 6 + 3. Is t(p) composite?
False
Is ((-142)/8)/((-16)/320) prime?
False
Let g = 4 + -2. Let s be g + -2 + (-2)/1. Is 0/s + 1 + 30 a composite number?
False
Suppose -8*c + 9*c = 115. Is c prime?
False
Let x = -9 + 13. Suppose -s + 353 + 449 = -5*v, 3163 = x*s - 5*v. Is s composite?
False
Let v(d) = 18*d**2 + 16*d - 7. Is v(-12) a prime number?
True
Suppose -5*j = -225 - 5. Suppose -3*x = -x - j. Is x a composite number?
False
Let p(q) = -51*q - 4. Let j(t) = 52*t + 3. Let n(o) = -5*j(o) - 6*p(o). Is n(7) composite?
False
Let x be -3 - -2 - (5 + -8). Is x + -23*(-7)/1 composite?
False
Let s = 6 + -4. Is (-165)/(-5) - s*-1 a composite number?
True
Let o(w) = 39*w**2 + 2*w - 2. Let y be o(2). Suppose -2*c + y = -52. Suppose 2*n + 89 = 3*k - 2*n, -5*k = 2*n - c. Is k composite?
False
Let z be 4/(-8) - (-211)/(-2). Let c = z - -193. Is c composite?
True
Let q(a) = 28*a**2 - 10*a + 8. Let c(f) = 27*f**2 - 9*f + 7. Let n(k) = 7*c(k) - 6*q(k). Is n(2) prime?
True
Suppose 0 = -2*y - 4*l + 10, 2*y = -l - 0*l + 1. Is (-4479)/(-12) - y/(-4) composite?
False
Let q(o) be the first derivative of 2*o**3 - 2 - 3*o**2 - 3*o + 1/4*o**4. Is q(-4) prime?
True
Is (-8)/(-20) + 8/5 - -2427 composite?
True
Let v(r) be the third derivative of -r**2 + 0*r**4 - 1/120*r**6 + 0 + 0*r + 3/2*r**3 + 7/60*r**5. Is v(7) a prime number?
False
Let m = 3 - 7. Let a be (-2)/(6/(-27)) + -2. Let f = a - m. Is f a composite number?
False
Suppose 0 = -5*p + 16 + 4, 4*h - 76 = -2*p. Suppose -2*x + 51 = 3*z, x - h - 7 = -z. Suppose -116 + x = -5*j. Is j prime?
True
Let f(w) = -3 - 6*w + 2 + 4 - 2*w. Is f(-8) a prime number?
True
Suppose -5 = g - 11. Let r(v) = 32*v - 1. Is r(g) prime?
True
Let k(g) = 21*g. Let q be k(-2). Let p = 7 - q. Is p a prime number?
False
Let h(t) = 17*t**3 - 2*t**2 + t + 1. Is h(2) a composite number?
False
Is (-10 + 18)*181/4 a composite number?
True
Suppose 8*h = 4*h + 2592. Is (-1)/(h/651 + -1) prime?
False
Suppose -3*s = 15 + 9. Let a(d) be the first derivative of -4*d**2 + d + 1. Is a(s) a prime number?
False
Suppose -5*f - 2470 = -5*i, -1492 = -3*i + 2*f + 3*f. Suppose -l + c - 27 = -191, -2*c - i = -3*l. Is l a composite number?
True
Suppose x + 4*x - 1345 = 0. Is x composite?
False
Suppose 4*c - 2*i - 406 = 0, -i - 2*i = 2*c - 223. Let w = c + -25. Is w prime?
True
Suppose 10*d = 8*d + 50. Is (-1103)/(-5) + 10/d prime?
False
Let z(v) = v**2 - 5*v - 2. Let l be z(3). Is (-2)/4 - 116/l prime?
False
Suppose 3*b - 5*u - 20 = 4*b, 3*b = -u - 4. Suppose -4*f + 4*r + 56 = b, -2*r - 79 = -0*f - 5*f. Suppose -f = c - 94. Is c prime?
False
Is 1*-2*41916/(-24) a composite number?
True
Is (-12)/(-3) + 518 + -5 a prime number?
False
Let p = -374 - -597. Is p composite?
False
Suppose 3*l - 5052 = -3*z, -5*z + 3363 = -3*z + 3*l. Is z a prime number?
False
Let h(j) = -361*j + 2. Let d be h(-1). Suppose -10 = 5*u, 341 = 2*z + u - d. Is z a composite number?
False
Suppose -2 = -h - 0. Suppose q - h = -0*q - 3*m, q + 4*m + 2 = 0. Let b = -1 + q. Is b prime?
True
Suppose 0 = 3*d + 2*k - 28, -d - k = -0*k - 9. Let v(n) = n**3 - 7*n**2 - n - 3. Is v(d) a composite number?
True
Suppose 3*s - 90 = -0*f - 3*f, -4*f = 20. Is s prime?
False
Let k = 0 + -2. Is (-3 - (k - 139)) + 1 a prime number?
True
Let x = 1997 - 930. Is x a prime number?
False
Let a(p) = -p**2 + 10*p + 2. Let i(x) = x**2 - 3*x - 8. Let l be i(6). Let o be a(l). Is ((-57)/(-6))/(1/o) prime?
True
Suppose -6 = -3*t - 0, -h - 86 = 2*t. Let q = h + 179. Is q a prime number?
True
Let u(j) = -2971*j**3 + 2*j**2 + 2*j + 1. Let f be u(-1). Suppose 2*m + f = 4*k, 2*k + 5 - 1483 = 3*m. Is k a prime number?
False
Suppose -9*k + 8*k = -293. Is k composite?
False
Let d(h) = 30*h**3 + h**2 - h + 1. Suppose -4*j + 5*g = 6, -2 = 4*j + g - 8. Is d(j) a composite number?
False
Let w(v) = 13*v**3 + v**2 - 2*v + 1. Let p = -10 - -14. Suppose 9*u - 5 = p*u. Is w(u) a composite number?
False
Let o be 4/10 - (-13)/5. Is -393*((-4)/o)/4 a composite number?
False
Let p = 155 + 254. Is p prime?
True
Suppose 962 = -4*c + 6*c. Is c prime?
False
Suppose 0 = 2*y + 45 - 227. Is y a composite number?
True
Suppose -2*h + 832 = 2*h. Suppose 5*l + 4*a = -0*a + 21, -17 = -l - 4*a. Is l + -1 + h + 1 prime?
False
Let l(i) = 32*i**2 + 5*i + 1. Is l(-3) a prime number?
False
Let r = 13120 + -7505. Is r prime?
False
Let u be (-30)/(-20)*(-4)/6. Let n be (1 - u) + 4 + 2. Suppose n*w - 5*w = 399. Is w composite?
True
Suppose 3*k + 144 = -2*n + 1030, -5*n - 5*k + 2225 = 0. Is n a composite number?
False
Suppose -t = -342 + 62. Suppose 2*j + t = -0*z + 4*z, 4*z = -2*j + 296. Suppose 5*q + 4*y - z - 61 = 0, 131 = 5*q + 3*y. Is q a composite number?
True
Let k(w) = 2*w**2 + 28*w + 23. Let a(y) = -3*y**2 - 42*y - 35. Let u(s) = -5*a(s) - 7*k(s). Let v be u(-10). Let z = v + 47. Is z prime?
False
Is ((-12)/30)/((-1)/265) prime?
False
Suppose -9 = -5*q + 2*q. Suppose -4*b + 45 - 7 = -h, -2*h + 34 = q*b. Is b a prime number?
False
Suppose -1275 = -0*z - 3*z. Suppose 5*h - 19 = -4*j + z, 5*h = 4*j - 404. Is