42 + 1769. Is u a prime number?
True
Let a(w) = 75*w**2 - 3*w + 13. Let l(x) = 149*x**2 - 7*x + 26. Let q(j) = 5*a(j) - 2*l(j). Is q(6) prime?
False
Let q = 7 - -6. Let j = 18 - q. Is 45/j + (2 - 1) a composite number?
True
Let h(d) = -56*d - 10. Let y(a) = -a**2 + 3. Let w be y(5). Let f = 18 + w. Is h(f) a prime number?
False
Suppose -27*g + 583 = 3*z - 31*g, 176 = z - 5*g. Is z a composite number?
True
Let o = 64 - 61. Is 13509/4 - o/12 a prime number?
False
Let o = 3383 + -2244. Is o a composite number?
True
Let g = -31 - -49. Suppose 2 + g = o. Suppose o - 54 = -j. Is j prime?
False
Let v(m) = m**3 - 4*m**2 + 3*m - 1. Let b be v(2). Let q be (-1 + (-1)/b)*12. Is q*((-14)/8 - 0) a prime number?
False
Suppose 2*t + 1033 = -4*w + 5*w, 0 = w - 5*t - 1021. Is w a prime number?
False
Let j = -7 - -4. Let y be (-18)/(-81) + ((-2)/9 - 1). Is y/(j/(-3)) - -70 composite?
True
Let x be (-1)/(2/6*(-30)/(-13240)). Let n = x + 3217. Is n composite?
True
Let h = 1275 - 293. Is h a prime number?
False
Is ((-8716)/8)/((-14)/84) prime?
False
Let a(k) = -k**3 - 13*k**2 + 4*k + 47. Is a(-17) composite?
True
Let g(t) = 14*t**2 + 8*t + 161. Is g(-37) prime?
True
Suppose -5*s + 612 = 1682. Let u = s - -687. Is u prime?
False
Let r(c) = -1325*c. Let p be r(-1). Suppose -2*t - 3*t + p = 0. Suppose 5*o - 555 = m, -t - 290 = -5*o - 5*m. Is o a prime number?
False
Suppose -198 = -5*l + 2*y - 1, 4 = -4*y. Let f = l + 16. Suppose -2*u + 104 = 2*w, -u + 2*w = -0*w - f. Is u prime?
True
Suppose 0 = 2*f - 315 + 113. Let i = 37 + f. Is ((-84)/36)/((-2)/i) a prime number?
False
Suppose -26 + 4 = 2*j. Let u = -6 - j. Suppose 56 + 69 = u*t. Is t a prime number?
False
Let k(m) = -2*m**3 + 21*m**2 - 49*m - 31. Is k(-21) prime?
False
Let h(l) = 340*l - 5. Let b be h(3). Suppose -2*y + t + 52 = y, -5*y = 5*t - 60. Suppose -y*i = -11*i - b. Is i a composite number?
True
Suppose -3*r = r - 8. Suppose -6*m + r*m = -748. Is m prime?
False
Let s = -65 + 58. Let r(l) = -10*l + 15. Is r(s) a prime number?
False
Is (2 + -1)/(((-4)/1478)/(-2)) composite?
False
Suppose x - 3*y + 4*y = 23289, -5*y + 93154 = 4*x. Is x prime?
True
Let b(w) = -271*w**3 - 4*w**2 - 2*w + 5. Is b(-2) a prime number?
True
Suppose v = -2*b + 1652, 0 = -3*b - v - 295 + 2775. Let n = -327 + b. Let c = n + -290. Is c prime?
True
Let l(a) = -1891*a**3 - 5*a - 4. Let f be l(-3). Suppose -2*u = -4*i + 59320 - 18448, 5*i = -3*u + f. Suppose -5*j + i = 3*j. Is j prime?
True
Let h(j) be the first derivative of 113*j**2/2 + 5*j - 6. Is h(6) prime?
True
Let g(z) = -2*z - 20. Let h be g(-10). Suppose -5*m - 2*x + 365 = h, -2*x + 20 = 2*x. Is m prime?
True
Let g = -7 - -16. Let r(a) = 3*a**3 - 8*a**2 + 15*a - 11. Is r(g) prime?
True
Let x(l) be the third derivative of l**4/24 + 253*l**3/6 + 10*l**2. Is x(0) composite?
True
Let h(y) = 10 - 5*y + 4 + 2 - 2. Is h(-13) prime?
True
Suppose 21*t + 17012 = 26*t + 3*n, 3 = -3*n. Is t composite?
True
Suppose -5*x - y + 2979 = -4*x, 0 = -5*x + 5*y + 14935. Is x a composite number?
True
Let c be -7*4*(-93)/12. Suppose 3*h = 3*g - 33, -2*h - 2*h = 2*g - 40. Suppose 3*n - c = g. Is n a prime number?
False
Let o be (-1 + 0)*-4*1. Let d be (-5 - -37)*(-18)/(-84)*7. Suppose -4*y = -0*a - 4*a - 100, d = 2*y - o*a. Is y a prime number?
False
Let b(v) = 1457*v**2 + 33*v - 9. Is b(-5) composite?
False
Suppose 5*n - 1 + 11 = t, -n = -4*t + 2. Let y be (-1049)/(2 + (-7 - -4)). Suppose -y = -t*u - u. Is u composite?
False
Suppose 4*r + 5*t + 24 = 0, 3*r + t + 19 = 1. Let l(g) be the second derivative of 5*g**4/12 + 5*g**3/6 + 4*g**2 + 4*g. Is l(r) a composite number?
True
Let k be 1 - 3/1 - -10. Suppose k = -5*l + 3, -l - 95 = -u. Is u prime?
False
Suppose -37*j = -59*j + 143462. Is j a composite number?
False
Suppose 0 = -w + 2*l, -6*w + 4*l = -3*w. Suppose w = -2*g + g + m + 640, 0 = 3*m - 3. Is g composite?
False
Let d = 105478 - 54771. Is d a prime number?
True
Suppose 0*p = 7*p - 4109. Is p composite?
False
Suppose -s + 40 = -3*k, -3*s + k + 144 = -0*k. Suppose -m = -136 + s. Is m a composite number?
True
Let j = -21 + 24. Is 467 + (j - 4/1) a composite number?
True
Suppose 143494 = -19*y + 400241. Is y composite?
False
Suppose 4*h = -2*q + 8940, -h + 4482 = q - 2*h. Suppose l = 4*a + 485 - q, a + 4*l = 977. Is a prime?
True
Let x = 15 + -18. Is (3356/x)/((-14)/(-6) + -3) a composite number?
True
Suppose 3*l - u = 2303, 2*l = 5*u - 300 + 1844. Let m = l + -136. Is m a composite number?
False
Suppose 0*t + 29 = -4*m - 5*t, -3*m - 36 = -t. Let b = -9 - m. Suppose 2*p = b*l + 7*p - 282, -3*p - 643 = -5*l. Is l prime?
True
Is -4*(0 - -1) + 2925 a composite number?
True
Let k(w) = -2264*w - 279. Is k(-7) prime?
True
Let i(f) = 9*f**3 - 4*f**2 - 12*f - 11. Let x be i(-5). Let z = x + 2065. Is z a prime number?
False
Suppose 2*b + n + 3*n = 430, 0 = 4*b - 3*n - 904. Suppose -2 + 7 = -5*h, 2*l - 5*h - 873 = 0. Let g = l - b. Is g prime?
True
Suppose -o = 2*o - 12. Let a be (-52)/(30/9 - o). Suppose -3*b + a - 3 = 0. Is b a prime number?
False
Suppose 3*r - 10 = 2. Suppose 5*m = r*z - 72, 0*m - m = 0. Let q = z + 299. Is q a prime number?
True
Let z = 142 - 116. Let l = z + 41. Is l prime?
True
Let i be 4134/8 - 13/(-52). Let r = i + -294. Is r prime?
True
Let y(d) = -25*d**2 - d + 2. Let c(w) = 51*w**2 + 3*w - 4. Let g(o) = -3*c(o) - 7*y(o). Let l be g(-3). Suppose l + 35 = t. Is t a prime number?
False
Suppose -g + d = -646, -2567 = -5*g - d + 681. Suppose 5*a - 996 = g. Is a composite?
True
Suppose -4*j + 2 = x, 10 = j - 5*j + 5*x. Suppose j = -4*o + 2*d + 12, o - d = 4. Suppose o*y - 187 = y. Is y composite?
True
Let m = 376 + -570. Let h = m - -338. Suppose 2*p = 4*a + 322, 0 = -2*p + a + 169 + h. Is p a prime number?
False
Let u(p) = -23*p**3 - 21*p**2 + 14*p - 71. Let x(j) = -11*j**3 - 10*j**2 + 7*j - 35. Let b(k) = -2*u(k) + 5*x(k). Is b(-8) a prime number?
True
Suppose 1761 = -5*q + 458351. Is q a prime number?
False
Let s(k) = 10*k**2 - 21*k + 65. Is s(-18) a composite number?
True
Suppose 2*r = 46*x - 42*x + 8002, r = 4*x + 4011. Is r a prime number?
False
Let i(y) = 33*y - 257. Let f be i(8). Let d(h) = 7*h**2 - h - 6. Let w be d(6). Let r = f + w. Is r a prime number?
False
Let f = -1493 - -3286. Is f composite?
True
Suppose -36 - 3 = -3*s. Suppose -s = -4*q - 5. Suppose 0 = 2*u - 5*f - 185, -3*u + q*f - f = -258. Is u a prime number?
False
Is 53988/(-18)*((-21)/6 + 2) a composite number?
True
Let k be 21/(-3) + 0 + 3. Let h be -8*(-2 - 6/k). Suppose -h*f + f + 15 = 0, -5*i - 4*f = -115. Is i a composite number?
False
Suppose 0 = 3*c - 4*n + 84, 7*n - 2*n = -2*c - 33. Let i = 61 + c. Let z = i + 72. Is z a composite number?
False
Suppose 2*n - 5*y - 21687 = 0, 46*n - 45*n - 4*y - 10851 = 0. Is n composite?
False
Let d = 7377 - 3710. Is d composite?
True
Let i be (7 - -14)/(-1 + 2). Suppose 4*b = -4*l, -b = -5*l + b + i. Suppose -3*a - 2*z = -203, 2*z - 46 = -a - l*z. Is a a composite number?
False
Let s = -4 - -7. Suppose -4*n - 2*r = -6, 12 = s*n - r - 0. Suppose -4*t + 485 = -3*i, 3 = -n*i - 6. Is t a prime number?
False
Let b(i) = i**2 + 10*i + 28. Let x be b(-8). Let c(p) = -p**2 - 14*p - 4. Let f be c(-10). Is 5802/f - 2/x composite?
True
Suppose -359 = s + 3*u, -3*s - 2*u + 0*u = 1105. Let t = s + 912. Is t a prime number?
True
Let z be 2/(-16) - (-343)/56. Suppose -5 - 1639 = -z*m. Is m composite?
True
Let y(p) = -3*p - 13 + 2*p + 4*p**2 + p**3 + 9*p + 3*p**3. Let a be y(6). Let f = -670 + a. Is f a composite number?
False
Let z = 1 - 1. Suppose 3*o - 7*o + 51 = c, -4*c + 5*o + 309 = 0. Suppose z*x - c = -x. Is x composite?
False
Let a(j) = -11*j + 46. Is a(-15) prime?
True
Suppose 118086 = 282*t - 280*t. Is t a prime number?
False
Let s = 12616 - 6147. Is s a composite number?
False
Let m(u) = -64633*u - 109. Is m(-2) a prime number?
False
Let g(t) = -t**3 - 12*t**2 + 42*t + 43. Is g(-22) composite?
True
Let o(t) = 17*t**2 - 32*t - 7. Is o(10) prime?
True
Let c = -4 - -5. Let j be 4 - (-1 + c)/4. Suppose -j*p + 310 = -3*q - 457, q + 383 = 2*p. Is p prime?
True
Suppose 0 = 6*m + 341 - 1217. Is m prime?
False
Suppose 5*q = 5 - 0, 3*c + 2*q - 11 = 0. Suppose 3*t - 1111 = 2*b, -c*t = b - 6*b - 1126. Is t prime?
True
Let p = 38862 + -21571. Is p prime?
True
Suppose -3*t + 1443 + 363