m = 390. Is p a composite number?
True
Is (0 + 1)*(-44 - -4099) a prime number?
False
Let q be (-3)/1 + (4 - 0). Let o = 35 - q. Is o a composite number?
True
Let s(k) = k**3 + 3*k**2 - 54*k - 1. Is s(17) prime?
True
Suppose -2 = -s - 3*y, 0 = 3*s - 4*s - 5*y + 2. Let c(a) = 3*a - 17. Let l be c(8). Suppose -h - 3*b - 2*b = -l, -s*h + 47 = -b. Is h composite?
True
Let h(o) = 6*o**2 + 3*o + 3. Let z be h(-1). Let b(a) = 3*a**3 + 6*a**2 - 6*a + 10. Is b(z) a composite number?
True
Suppose 2*x - 4*a - 6 = -0*x, -2 = -2*x + 2*a. Let m be (-2 - x)/((-1)/(-1)). Is ((-210)/(-50))/(m/(-5)) a composite number?
True
Suppose -3*r = 2*x - 396, 6*x - 5*r - 814 = 2*x. Let o = x + -29. Suppose 2*b - o = 50. Is b a composite number?
True
Let x(j) = j**3 - 7*j**2 + j + 4. Let c be x(7). Let i(z) = 7*z**2 + 16*z - 20. Is i(c) prime?
False
Let c = 5635 - 9321. Is 9*(-4)/(-12)*c/(-6) a prime number?
False
Suppose 0 = o + 2*o - 7*o. Suppose o = -2*x + 10, -w = x + 37 - 421. Is w a composite number?
False
Let i(v) = -v**3 - v + 2. Let d be i(0). Suppose -u - 3*z + 6*z - 8 = 0, 2*z = d*u. Suppose 6*k = u*k + 746. Is k composite?
False
Let c(h) be the first derivative of h**3 - 2*h**2 + h - 3. Suppose 0 = -4*d + 8, 0 = m - 5*d - 0*d + 6. Is c(m) prime?
False
Let p = 92 + 21. Suppose -2*j + 7 = 3*j - 3*r, -j = 3*r - 5. Suppose x - p = -j*u, x = 5*u - 235 - 58. Is u prime?
False
Is 6*(2 - 10446/(-36)) a prime number?
True
Let n(j) = 12*j - 10. Let c(t) = 11*t - 9. Let g(f) = -5*c(f) + 4*n(f). Let k be g(-7). Is 2/9 + 6198/k composite?
True
Let d be ((-62)/3)/(((-64)/252)/(-8)). Is (-24)/(-14) - 8/(-28) - d a prime number?
True
Suppose w = 5 - 2. Suppose 3*h - 3*y = 24, -w*h - y = -5*y - 29. Is h/(-18) + 3950/12 composite?
True
Let o(c) = 191*c**2 - 25*c - 17. Is o(-7) a composite number?
True
Suppose 4*f - 43908 = 2*n, -4*f + 43928 = -21*n + 24*n. Is f prime?
True
Suppose 0 = 4*i - 3*l - 45173, 5*l = -5*i + 59685 - 3175. Suppose -i = -17*a + 6*a. Is a prime?
False
Let l = -5809 + 15032. Is l composite?
True
Suppose 5199 = -5*h - 3*r + 59089, -4*r - 32363 = -3*h. Is h a prime number?
True
Suppose 40*g - 15257 = 236703. Is g a composite number?
False
Suppose -a - 2*x + 3367 = 0, 26*a = 28*a + 3*x - 6733. Is a a prime number?
False
Let t be 90/(-15)*1/(-2). Suppose 351 + 180 = t*l. Is l a composite number?
True
Let a be (24/(-10))/((-6)/15). Suppose -3*d - 6 = -a*d. Suppose 64 + 382 = d*j. Is j a composite number?
False
Suppose -4*i + 2 = a, 0 = -3*a - i + 3 + 3. Suppose -116 = 3*w - 5*g, -g + 77 = -a*w + 2*g. Let d = w + 114. Is d composite?
True
Let t = -18179 + 4376. Is t/(-301) - -1*1/7 a prime number?
False
Let g(x) = -31*x + 2. Let m be g(-6). Suppose -6*p + 127 = -695. Suppose -p - m = -5*w. Is w prime?
False
Suppose 21262 - 4261 = -k. Is k/(-7) - 8/(-28) a prime number?
False
Let b = 9356 + -5527. Is b a composite number?
True
Let i(j) = -j**2 + j - 1. Let w(s) = s**3 + 2*s**2 + 5*s - 3. Let o(x) = 3*i(x) - w(x). Suppose -f - c + 12 = -3*f, f + c = -3. Is o(f) composite?
True
Suppose 492 = -5*h - 3213. Is h/(-3 - -2) + (1 - 5) a prime number?
False
Suppose -4*q + 4*l = -24, -3*l = 1 + 5. Suppose -4*t = 2*k + 22, -5 = q*k - 3*t - 16. Is (5/15)/(k/(-9)) a composite number?
False
Suppose 4*a = 4*y + 28, -2*a + 14 = -3*y - y. Let s(b) = 9*b**2 + 4*b + 4. Is s(a) composite?
True
Let r(p) = -7*p**2 + 7*p - 8. Let i(c) = -3*c**2 + 3*c - 4. Let x(a) = -5*i(a) + 2*r(a). Let j be x(0). Is (39 - j) + 2/(-2) prime?
False
Suppose 0 = 3*b + 2*r - 6544, -5*b + 6009 + 4861 = -4*r. Let u = -1274 + b. Let c = u + -407. Is c prime?
False
Suppose -z - 5 = 0, 2*z - z - 311 = -2*m. Let x = -9 - -9. Suppose -p - p + m = x. Is p a composite number?
False
Is (-5)/(-2)*(-215064)/(-180) a prime number?
False
Is 5/15*-23486*3/(-2) a composite number?
False
Let b = 4910 - -2467. Is b a composite number?
True
Suppose 0 = -2*y + 4*i + i + 96, -4*i + 48 = y. Suppose -y = d - 2*d - 5*u, -4*d + 4*u = -120. Is d a composite number?
True
Is ((-4)/(-6))/(((-50)/(-99135))/5) a prime number?
False
Suppose -r = -6*r - 4*m + 264257, 5*r = -5*m + 264255. Is r a composite number?
True
Suppose -2*g - 10 = z - 62, 0 = 4*z + 2*g - 202. Let t(i) = 1 - z*i + 6 + 5*i - 6. Is t(-2) composite?
True
Let h = 22 + -15. Suppose -4*q - 1095 = -h*q. Is q a prime number?
False
Let j(g) = -g + 1. Let b(x) = 388*x + 10. Let w(a) = b(a) + 5*j(a). Is w(2) prime?
False
Let j(q) = -2*q**3 - 20*q**2 - 62*q - 3. Is j(-13) prime?
False
Is 573/(-7 + 14 - 4) a composite number?
False
Let y(s) = s**2 + 4*s - 9. Let w be ((-4)/(-3))/(4/6). Suppose -w*i = -1 + 17. Is y(i) prime?
True
Suppose c - 45196 = -4*x, 71*c - 33897 = -3*x + 76*c. Is x composite?
False
Let m be 4 + -2 - (1 + -1). Let k = m + -5. Let l(a) = -7*a**3 - 3*a**2 - 3*a - 2. Is l(k) prime?
False
Let x(t) = -t**3 - 4*t**2 - 2*t - 2. Let u be x(-2). Let h(b) = -2*b**3 + 7*b**2 - 2*b + 13. Is h(u) a composite number?
False
Let z(p) be the third derivative of -61*p**5/120 + p**4/12 + p**3/2 + 6*p**2. Let u(j) be the first derivative of z(j). Is u(-12) composite?
True
Suppose -18*i - 13*i + 169291 = 0. Is i a prime number?
False
Suppose 12*d - 4*d = 0. Is (d - -2055) + (2 - 4)*1 prime?
True
Let k(a) be the third derivative of 23*a**4/24 + 7*a**3/3 - 9*a**2. Let q be k(-6). Let u = 251 + q. Is u composite?
False
Let v(d) = 3*d - 18. Let f be v(10). Suppose -4*a = 2*b - a - 12, -b + 3*a - f = 0. Suppose 5*l + 20 = l, b = o + 4*l - 137. Is o composite?
False
Let h(d) = d**2 - 11*d + 5. Let y be h(11). Let v(j) = -j**2 + 9*j - 15. Let g be v(y). Suppose -q + g*q - 316 = 0. Is q a prime number?
True
Let l = -9308 - -18481. Is l prime?
True
Suppose -3*f = -15, 5*f + 7 = d + 30. Suppose 2*z = y + 10, 4*y + 5 = -d*z - 5. Suppose 6*r - 879 = z*r. Is r prime?
True
Let q(c) = 33*c**2 - 12 - 4*c + 120*c**2 - 4*c + 6*c. Is q(-3) a composite number?
True
Suppose 0 = -s - 140 - 70. Let b = s - -541. Is b a composite number?
False
Suppose -3 = -u, -4*u + 159 = 4*o - o. Suppose 42 = o*a - 46*a. Is a composite?
True
Suppose 19*q - 3*a = 22*q - 8205, -4*a = q - 2747. Is q composite?
False
Let a = -30 - -25. Is 4/(-18) + a/(180/(-56276)) composite?
True
Let u(a) = 102*a + 1. Let d(s) = 203*s + 1. Let o(r) = -6*d(r) + 11*u(r). Is o(-6) prime?
False
Suppose -7*a = -3*p - 4*a + 648, -p + 231 = -4*a. Is p composite?
False
Suppose -73 - 512 = -9*o. Let g = 154 - o. Is g composite?
False
Let q = 4391 - 222. Is q composite?
True
Suppose 3*z + 8 = 5*z. Suppose -2*c + 6 = 4*l, 7*l = -3*c + 2*l + z. Let d(i) = -i**3 - 5*i**2 + 8*i - 11. Is d(c) a prime number?
True
Is 13/((-52)/38838)*28/(-6) composite?
True
Let r(u) = -u**3 - 9*u**2 + 11*u + 13. Let i be r(-10). Let b(h) = -5*h + 5. Let f be b(i). Is (9 - f)/(2/26) prime?
False
Let k(a) = 678*a + 9. Suppose 7*z - 24 = z. Is k(z) a prime number?
False
Suppose 36 = 2*q - 4*q. Let w be 6/4*(-6612)/q. Suppose 3*y = w + 211. Is y a prime number?
False
Let i(u) = 380*u - 16. Let a(f) = -1. Let d(b) = 5*a(b) - i(b). Is d(-3) prime?
True
Let n = 5 - 7. Let o be -12 + 4/n - 2. Is (0 - o) + 1 + -4 a composite number?
False
Is (48/32)/((-15)/(-22210)) prime?
True
Is (9104/24)/((-20)/(-1770)) a prime number?
False
Is 143668/70*(4 + (-3)/2) composite?
True
Suppose 24 - 2 = 5*f - 2*x, 0 = -5*f + 3*x + 23. Suppose 0 = c - 4*q + 10 - 33, -5*c - f*q = -91. Is c a composite number?
False
Suppose -2*r + 19 = -9. Let c = r - 44. Is ((-10)/c)/((-2)/(-186)) a composite number?
False
Let w be (14/4)/(11/(-946)). Let l = 1070 + w. Is l a composite number?
False
Suppose 3*i - 3*u - 16293 = 0, 0 = i + 5*u - 10*u - 5439. Is i a composite number?
True
Let a be 3/((-9)/(-2) + -3). Let x(k) = k**3 - k**3 - 2*k**3 + k - 8*k**2 + 3*k**3 - a. Is x(8) prime?
False
Let g(l) = l**2 + l + 149. Let t be (-11)/(-3) + (-22)/33. Let x = t - 3. Is g(x) a composite number?
False
Is (8 - -6507) + 2 - (-12)/2 a prime number?
False
Let y = 1711 + 948. Is y prime?
True
Let s = -38 + 26. Let r(x) = -8*x + 3. Let k(q) = 25*q - 8. Let a(t) = 2*k(t) + 7*r(t). Is a(s) prime?
False
Is (4/4)/(-2 + (-2555)/(-1277)) a composite number?
False
Suppose -14*c = 25*c - 109707. Is c prime?
False
Let y(j) = 8*j + 14. Let l(k) = k. Let f(a) = 6*l(a) - y(a). Let z(t) = -2*t + 10. Let g be z(9). Is f(g) prime?
Tr