False
Let j(y) = 7816*y**2 - 55*y - 78. Is j(-7) a prime number?
True
Let l = 279665 + -139180. Is l a composite number?
True
Let w(x) be the first derivative of -146*x**2 - 6*x + 7. Let l be w(-2). Suppose -m - 3*f = -l, -4*m = -0*m - 4*f - 2232. Is m a prime number?
True
Let w(c) = -30*c - 42. Let t be w(29). Let v = 7342 - t. Is v a prime number?
False
Suppose -5*a + 252 = k, k = a + 21 + 243. Let z = 187 + k. Is z a prime number?
True
Let o = -176781 + 449224. Is o a composite number?
True
Suppose w = -4*t, w = 3*t - w. Let k be t + 6 + -6 + (1 - -1). Suppose -3*y + 1169 = x, -4*x - 4*y + 4656 = -k*y. Is x prime?
True
Let j = -47 + 50. Suppose 5*g - 24 = -j*g. Suppose g*f = -3*i + 2454, 5*f = -10 - 5. Is i prime?
True
Let u = -1039 - -1041. Suppose 183572 = u*l + 66630. Is l a composite number?
True
Suppose -22*w - 374728 + 869405 = -408181. Is w a prime number?
True
Let t be (-3)/6 + 4455/(-10) - 1. Let l = t - -7733. Is l a prime number?
False
Let k(t) = 4*t - 3 + 32*t + 124*t**2 - 33*t**2. Is k(4) a composite number?
False
Suppose a - 2*t - 20446 = 0, 0 = 5*a + 2*t - 4*t - 102206. Let m = a - -5287. Is m a composite number?
True
Let i be ((-6)/18)/(1/(-39)). Suppose 12 = -7*b + i*b. Suppose -b*p - 6*p = -3272. Is p a composite number?
False
Suppose -h + 272 = -3*a, -5*h = -2*a + 6*a + 388. Let s = a - -210. Suppose -s = -4*p - t + 3*t, 4*p - 139 = -5*t. Is p a composite number?
False
Let h(f) = 246*f - 1219. Let q be h(5). Let u(r) = 12*r + 20. Let z(k) = -4*k - 7. Let c(m) = -2*u(m) - 7*z(m). Is c(q) a prime number?
True
Suppose 0 = 3*m + 4*s - 39082, 52080 = 9*m - 5*m - 2*s. Let n = m - 5986. Suppose -12795 = -7*z + n. Is z prime?
True
Suppose 8*b - 6803354 = 2*i, -3*i - 305642 = -b + 544802. Is b a prime number?
True
Let x(p) = p**3 - 18*p**2 + 80*p - 22. Is x(37) a prime number?
True
Let m(k) = -k**2 + 8*k + 4. Let l be m(8). Suppose z = -l*p + 6, 2*z + p + 6 = 3*z. Suppose -2*q = -4*j + 634, 0*q - 2*q - z = 0. Is j a composite number?
False
Suppose 31*a + 111*a = -18*a + 62768480. Is a composite?
True
Suppose 5*m - 220987 = 3*h, -31*h + 30*h = -2*m + 88396. Is m prime?
True
Let h = 46065 - -5996. Is h composite?
True
Suppose 4*c - 32*l + 35*l = 274034, 5*c - 342537 = -l. Is c a prime number?
True
Suppose -57 = -4*r - 3*s, 0 = -24*r + 27*r - 5*s - 21. Let i(g) be the second derivative of 15*g**3/2 + 23*g**2/2 + g. Is i(r) prime?
True
Suppose -h - 6 = 3*j - 3028, 2*j = -2*h + 6028. Let p = -591 + h. Is p a composite number?
True
Suppose -3*l + 3*c + 520963 = 136345, c + 384632 = 3*l. Is l prime?
True
Let t be -2 + -4 + (8/(-4) - -2). Let b be 2/t - 107898/(-18). Let s = b - 2173. Is s composite?
False
Let k = 8580 - -608. Let u = k + 13353. Is u prime?
True
Let p = 339 + -263. Suppose -26746 = -5*s + 3*o, p*o - 81*o + 21419 = 4*s. Is s a composite number?
False
Let y = 3062 - 3062. Let s(g) = 16*g**3 - 7*g**2 - 8*g - 1. Let v be s(6). Suppose -24*m + 19*m + v = y. Is m prime?
True
Let q(v) = 115*v**2 + 3*v + 103. Let a(s) = 573*s**2 + 16*s + 515. Let h(n) = -2*a(n) + 11*q(n). Is h(-9) a composite number?
False
Let w = 2032 + -1381. Suppose -3*a = t - 320, -6*a - w = -2*t - a. Is t a prime number?
False
Suppose 0 = 9*k - 251 + 44. Is 1859 - k/((-23)/(-6)) composite?
True
Let x be 38/9 + 2/(-9). Let m be 1/(-7) + (-270)/(-126). Suppose -x*z = -m*f + 3*f - 331, 4*z - 334 = -2*f. Is z composite?
True
Suppose -931915 = 14*n - 19*n - 5*y, -4*n + 745544 = 2*y. Is n prime?
False
Let u = 14306 - -43905. Is u prime?
True
Let s(k) be the second derivative of 22*k**3/3 + 253*k**2/2 - 140*k. Is s(11) a prime number?
False
Suppose -27 = z - 5*z + 3*u, 3*z = 5*u + 12. Let v(c) = -c**3 - 6 + 3*c - c + z*c**2 - 5*c + 8*c. Is v(-13) a composite number?
True
Let m(s) = 2764*s**2 + 93*s - 1687. Is m(24) a composite number?
False
Let i = 47553 + -10482. Is 19/(-76) + i/12 composite?
False
Let w(y) = 496*y**2 + 41*y - 632. Is w(19) prime?
True
Let f(n) = 224*n**2 - 5*n + 16. Is f(7) composite?
False
Let o = -559 + 588. Suppose o*u - 9139 = 10*u. Is u composite?
True
Is ((3 - 3) + (-6)/15)*(-1936285)/26 a composite number?
False
Let w = -874 - -882. Is (4/w)/(4/206120) a composite number?
True
Let l(q) = 2*q**2 + 21*q + 11. Let n be l(-10). Is (0 - -662)*n/2 a composite number?
False
Let m = -108486 + 160987. Is m a prime number?
True
Suppose 160*d - 162*d = -190. Let i = d - 99. Is (-3 - -17)/(i/(-394)) a composite number?
True
Suppose 0 = -r - 36 + 38, -276566 = -2*m + 4*r. Is m a composite number?
True
Let i(v) = -5*v**2 + 21*v - 8. Let q be i(5). Let y = q - -111. Is y prime?
True
Suppose -2*s = 2*a - 3851 - 53619, 4*a = -2*s + 57458. Is s a composite number?
True
Let t(l) = -100*l + 3. Let q = -224 + 318. Let v = -98 + q. Is t(v) composite?
True
Let j(h) = 468*h**2 - h - 31. Is j(18) a composite number?
True
Let r(f) = 10*f + 38. Let t be r(-4). Is (1 + t)*(-19 + -1022) a composite number?
True
Let w(h) = 858*h**2 + 14*h - 7. Let g be w(-7). Let p = -27352 + g. Is p a composite number?
True
Let w = 41 - 39. Suppose z - 2*i = -4*z + 40, w*z = 3*i + 5. Suppose -z*q + 7*q = -1137. Is q a composite number?
False
Suppose 0 = 16*y - 23406 - 9394. Suppose 2*q - q - 3*i = y, 3*i = 2*q - 4103. Is q composite?
False
Suppose 478160 = 4*n + d, 12*d + 12 = 15*d. Is n prime?
False
Suppose -10*k + 238826 = -3*k. Suppose 0 = -23*n + 30*n - k. Is n composite?
True
Suppose 2*l + 2*n = 10, -5*l - 4*n = -0*n - 22. Suppose -l*b = -3*b - 3*q + 2, -3*q + 7 = 2*b. Suppose -b*s + 0*s = -845. Is s composite?
True
Let d = 16 + -15. Let s(x) = 2*x**2 - 2*x. Let b be s(d). Suppose b = 2*q - 154 - 352. Is q composite?
True
Is ((-14)/(-2) + 983697/44)/(2/8) a prime number?
False
Let n = 40 + -23. Let i = n + -13. Suppose i*q + 7 - 23 = 0, b - q - 1555 = 0. Is b a prime number?
True
Let d = -187 + 195. Suppose -5*p - 5059 = -d*p - 4*w, 4*p - 6741 = -w. Is p a prime number?
False
Let r(w) = 3654*w + 821. Is r(14) composite?
False
Suppose 9*c - 7 = 47. Is (43 - 46)*(-12914)/c composite?
True
Suppose -5*s + 7*s = -2*w + 94, -s + 4*w = -52. Is (-3 + (-2489)/3)/((-16)/s) prime?
False
Let y be (-129)/(-12) - (-6)/(-8). Let i(t) = 81*t**2 + t - 74. Let l(f) = 27*f**2 - 25. Let k(b) = 6*i(b) - 17*l(b). Is k(y) composite?
False
Is (((-9)/(-2))/(-1))/(((-2397)/(-6907882))/(-47)) a prime number?
False
Is (67058/(-6))/(9 - (-588)/(-63)) a prime number?
True
Let v = 43198 - 22305. Suppose v = 8*k + 7845. Is k prime?
False
Suppose -1067448 = -7*h - 445015. Is h composite?
False
Let w(j) = 2*j**3 + 3*j**2 - 5*j - 4. Let i be w(2). Is 4/(-7) + (764/i - 5) a prime number?
False
Let t be (1 - 7)*(-2 - (0 - 0)). Suppose -t*s = -43087 - 90821. Is s a composite number?
False
Let h = -33002 - -80055. Is h a composite number?
True
Let m(g) = -14*g**2 - 4*g - 24. Let u be m(-7). Let o = 49 - u. Is o a composite number?
True
Let j = 1152 - 529. Let i = -76 + j. Is i a prime number?
True
Let b(s) = s - 11. Let r be b(15). Suppose 10483 = 7*f + r*f. Suppose 2*i + t = 1886, -i - f = -2*i - 3*t. Is i a prime number?
True
Suppose f + 22 = 6*f - 4*k, -5*f - 5*k - 5 = 0. Suppose f*z - 4966 = -3*y - y, 0 = -y - 3*z + 1239. Suppose -y - 4193 = -5*m. Is m prime?
True
Let i(s) = 5276*s + 2. Let o be i(1). Suppose 6*c + o = 2*p + 2*c, 0 = -3*p + 2*c + 7933. Is p a composite number?
False
Let b(w) = 3*w - 31. Let n be b(20). Suppose n*j - 11*j = 12042. Is j a prime number?
False
Suppose 3*w + 528 = -141. Let m = w - -744. Is m a composite number?
False
Let l(q) = q**2 + 1. Let i be l(-1). Suppose -i*p - 800 + 100 = 4*x, p + 356 = -5*x. Is 5/((-50)/35)*p a composite number?
True
Let n(m) = 1765*m**2 - 35*m - 103. Is n(-4) a composite number?
False
Suppose 3*i = 2*i - 2. Let z be -3 + i - (1 - 0). Let b(a) = 5*a**2 - 2*a + 34. Is b(z) composite?
True
Let g = -27 + 30. Suppose 4*a + g*v - 1 = 0, 2*v + 9 = 5*a + 25. Is a*(5220/(-8) - 4) a composite number?
True
Let x(i) be the second derivative of -5*i - 1/2*i**3 - 177/20*i**5 + 0 - i**2 - 1/12*i**4. Is x(-1) a composite number?
True
Let b = -3 + 5. Suppose -w + 6*q + 121 = 3*q, b*q = -3*w + 319. Suppose 7*p = 822 + w. Is p a prime number?
False
Suppose -12*b = -8*b - 1896. Suppose 5*y = 5*d - 25, -5 = 4*y - 3*d + 10. Suppose y = -8*s + 2*s + b. Is s a prime number?
Tr