 = -2504 - -5245. Is f a prime number?
True
Is (39843/2 - -6)*10/15 a composite number?
True
Let m = -34 - -39. Suppose -m*q + 2*g = -9*q + 3508, -5*g = 0. Is q a composite number?
False
Let d = 967 + 2171. Suppose 14*t - d = 26. Is t composite?
True
Suppose -3*s = -3*b + 7*b - 4681, -s - 4*b + 1547 = 0. Is s a prime number?
True
Let w(d) = 19*d**2 + 6*d - 2. Let q be w(8). Is (q/10*-2)/((-2)/10) a prime number?
False
Let x = 8 + 69. Let c = x + -18. Is c a composite number?
False
Let d = -10692 + 57521. Is d a prime number?
True
Suppose 0 = -3*u + 11*u - 9784. Suppose -2*j - 1 = 5, j = -2*c + u. Is c prime?
True
Suppose 16*h - 21*h + 5380 = 0. Suppose -1046 = -2*y - 4*f, 3*f + h = 2*y + f. Is y composite?
True
Let q(c) = -c**3 - 2*c**2 - 2*c + 1. Let n(a) = a**3 + 8*a**2 + 9*a + 4. Let x be n(-6). Suppose -18 = -19*o + x*o. Is q(o) a prime number?
True
Is 13/((-260)/(-1911576)) + (-12)/(-60) prime?
False
Suppose 0 = -2*o - 3*o. Suppose 4*q - 3*r = -o*r + 307, -4*q + 325 = 3*r. Is q a prime number?
True
Suppose -5*o - 5*a + 4095 = 0, -7*o + 3*a - 817 = -8*o. Let n = 2043 + o. Is n a composite number?
True
Let q = -6212 + 11251. Is q a composite number?
False
Let q be 0 - (-5)/(15/9). Suppose -2*y + q*j + 35 + 6 = 0, 0 = 3*y + 3*j - 69. Is y prime?
False
Let d(v) = -v**2 + 3*v + 248. Let z(i) = -3*i**2 + 7*i + 495. Let g(l) = 7*d(l) - 3*z(l). Is g(0) prime?
True
Let l = -491 - -1560. Is l prime?
True
Let a(u) be the second derivative of -1/20*u**5 - 2/3*u**3 - 17/12*u**4 + 23/2*u**2 + 0 - 7*u. Is a(-18) composite?
False
Suppose -3*t + 16802 = 5*a, 0 = -t - 5*a + 7142 - 1538. Is t a composite number?
True
Let c(f) be the second derivative of 0 - 4*f - 9*f**2 - 11/6*f**3. Is c(-19) a prime number?
True
Let b(h) = h**3 - 5*h**2 + 9*h - 6. Let i be b(3). Suppose -2*l + 3*l - 6297 = -5*g, -2*l - 3773 = -i*g. Is g a prime number?
True
Suppose 3*a - 1282 = -d - 278, -5*a + 5*d + 1680 = 0. Is a prime?
False
Suppose 0 = j - 8 + 6. Suppose 0 = -5*o - 4*i - 4, 3*i + 5 = -4*o - j*i. Suppose -5*a - 344 + 1659 = o. Is a a composite number?
False
Is -7 + 1302/5 + 12/(-30) a prime number?
False
Suppose 0 = -l - 3*m + 895, -2685 = -29*l + 26*l - 4*m. Is l a composite number?
True
Let l(r) = 2*r + 3*r + 1 - 52*r**3 + 50*r**3 - 5*r**2 + 17. Is l(-5) a prime number?
False
Let b = 4 + -7. Is (-1 + -4)/(b/15) a composite number?
True
Let p = -4245 - -6008. Is p composite?
True
Let q(i) = -i**2 + 4*i + 4. Let n be q(7). Let t be (5 + -4)/((-1)/n). Suppose 12*d + 65 = t*d. Is d a prime number?
True
Let c be (-4)/(-4 + -4)*22. Suppose c*k - 635 = 6*k. Is k a prime number?
True
Let v be (2/(-7) - 4/(-14))/2. Suppose -4*t + 2*k + 2*k + 2852 = v, -2*k = 8. Is t prime?
True
Let j = -12659 + 26962. Is j a prime number?
True
Let g(o) = 1856*o - 59. Is g(3) composite?
True
Let u = -1412 + 5083. Is u composite?
False
Let u(w) be the second derivative of w**4/6 + w**3/6 + 11*w**2/2 + 8*w. Is u(-12) a composite number?
True
Suppose -5*j = -6*j - 471. Let t(m) = 62*m + 6. Let w be t(11). Let i = j + w. Is i a composite number?
True
Suppose 15*g - 222365 = 129460. Is g composite?
True
Suppose 8*a = 7*a. Suppose 5*b - 12 = b, a = -5*s - 5*b + 20. Is 4 + 34/(s - 0) a prime number?
False
Let k(c) = -c + 4. Let p = 19 + -11. Let h be k(p). Is (-6)/h + 497/14 composite?
False
Let x be 123/(-6)*-2 + -3. Suppose -5*k + 16 = o, -4*k + x = -o + 6*o. Is o/4 - (-323)/2 prime?
True
Let m(v) = 5*v**2 + 5*v + 1. Suppose -33 - 21 = -9*c. Is m(c) a prime number?
True
Let b = 113 + -119. Is -2*(-3662)/b*24/(-16) composite?
False
Let b(c) = 0*c + 4 + 8*c**2 + c**3 + 6 + 8*c. Let n be b(-7). Suppose -n*l + l = -3*t - 53, -l - t = -34. Is l composite?
False
Suppose -x = 4*l + 2, -5*l + 6*x - x = 15. Let v(f) = 212*f**2 + 4 - 2 + 2*f - 1. Is v(l) prime?
True
Let v = -533 + 275. Let a be v/(-24) - (-9)/(-12). Is (230/(-20))/((-1)/a) prime?
False
Is (1 + 1)*15037/110*5 prime?
True
Let s(v) = -v**2 - 12*v - 5. Let a be s(-9). Let f = 56 - a. Suppose 2*i = t + 68, -4*t + 0*t = -i + f. Is i a composite number?
True
Let k = -72 - -82. Suppose -3594 = k*q - 14974. Is q a composite number?
True
Let b = -110 + 306. Suppose -3*g + b = -83. Let c = g - 56. Is c a composite number?
False
Suppose 4*f + 3*c - 5363 = 0, 4*c + 6721 = 5*f + 2*c. Is f composite?
True
Let t(p) = -p**3 + 2*p**2 - 3*p + 2. Let g be t(2). Let a be (513/12)/(g/(-16)). Suppose -2*m + 4 = 0, -2*m + a - 530 = -3*j. Is j prime?
False
Let y(o) = o**3 + 18*o**2 + 5*o - 15. Let q be y(-17). Suppose n + 3*s - q = s, s = -3*n + 557. Is n prime?
False
Let l be (-9 - -5)/(-1 - 2/(-1)). Is (9010/15)/(l/(-6)) composite?
True
Let h(i) = 10035*i**2 - 4*i. Is h(-1) a composite number?
False
Let p = -183 - -425. Let m be (-15 - -18)*p/2. Let z = 290 + m. Is z composite?
False
Let a(z) = -z**3 + 17*z**2 - 11*z - 6. Let q be a(16). Let c = q - -179. Is c a prime number?
False
Let s(y) = -2*y**3 + 9*y**2 + 13*y + 18. Let r be s(-8). Let a = r - 723. Is a prime?
False
Suppose 3*d - 4*u = 114343, -4*d + 12*u - 11*u = -152453. Is d a prime number?
True
Let l = 1673 - 532. Is l a prime number?
False
Suppose 0 = h + h + 5*w + 21, -3*h + 3*w + 21 = 0. Suppose -2*c = 2*c - 112. Suppose -h*u + c = 2*u. Is u a composite number?
False
Suppose m - 162697 = -5*f, -49*m + 45*m - 130148 = -4*f. Is f prime?
False
Let d(h) be the first derivative of 7*h**4/6 - 7*h**3/6 + 5*h**2/2 + 8*h - 5. Let f(b) be the first derivative of d(b). Is f(6) composite?
False
Let i = 3497 + -2016. Is i prime?
True
Let r(p) = 3*p**3 - 15*p**2 - 6*p + 7. Let g(b) = -7*b**3 + 30*b**2 + 11*b - 15. Let a(f) = -4*g(f) - 9*r(f). Is a(-11) composite?
True
Let t(n) = 641*n**3 - 3*n**2 - n - 4. Is t(3) a composite number?
True
Let z = 3627 + 17012. Is z composite?
False
Let a(m) = 170*m - 3. Let d(y) = 509*y - 10. Let g(q) = 11*a(q) - 4*d(q). Is g(-6) prime?
False
Let a(x) = 549*x**2 - 3*x + 2. Let c be a(1). Let r = c + 459. Is r prime?
False
Is (-48)/(-88) + (-503605)/(-55) a composite number?
False
Let x = 22295 - -6168. Is x a composite number?
False
Let r be (-60)/8 + 6 - 11/(-2). Is r/8 + 5332/8 a composite number?
True
Let a = -59 - -67. Suppose -a*s + 2435 = -3*s. Is s prime?
True
Suppose 1011 + 237 = 6*q. Let c = q - 31. Is c a prime number?
False
Let p(r) = 15445*r - 257. Is p(6) composite?
False
Suppose 16031 = 5*c + p + 2470, c - 2717 = p. Suppose -3*m - 2*f + c = 0, 3*f + 2733 = -0*m + 3*m. Is m prime?
True
Let d = 10 - 120. Let y = d + 36. Is y*(2 - 9/2) prime?
False
Let b(i) = 292*i**3 + i**2 + 3*i - 1. Is b(3) composite?
False
Let r(h) be the first derivative of 41*h**3/3 - h**2 + 24*h + 11. Is r(-7) a composite number?
True
Let t(o) = 2*o**2 + 4*o - 1. Suppose -q = q + 14. Is t(q) prime?
False
Let a(q) = -64*q + 2. Let u be a(-5). Suppose 0 = 3*l - u - 1349. Is l a prime number?
True
Suppose 82*s + 44214 = 88*s. Is s a composite number?
False
Suppose 0 = j - 1 - 2. Let v(t) = -t**3 + 11*t**2 - 2*t + 57. Let o be v(8). Suppose j*b + y - o = 0, -3*b - 3*y = -198 - 27. Is b a prime number?
True
Suppose 0 = -8*l + 3*l. Suppose 0*p + 40 = 4*c + 5*p, l = c + p - 10. Suppose -k - 3*t + 484 = 0, 2*t + 0*t = -c. Is k a prime number?
True
Let k be (-3)/7 + 62/14. Suppose 0 = -k*b - 2*u + 22, 2*b - b - 4*u = 1. Suppose 0*v = -v - 2*j + 38, -b*v + 214 = 4*j. Is v a prime number?
False
Let j(b) = -571*b + 4. Let z be j(-2). Is (z/(-9))/(6/(-27)) composite?
True
Let l(g) = -g**3 + 18*g**2 + 20*g - 5. Is l(10) a composite number?
True
Suppose 3*k - 5*v = -49, -3*k + v - 8 = 21. Let f(x) = x**3 + 8*x**2 - 7*x - 1. Is f(k) a composite number?
True
Suppose -4 = -5*s - 2*b - 0*b, -2*s - 3*b = 5. Let a(z) = 34 - z**s - 2*z - z**3 - z + 4*z. Is a(0) a prime number?
False
Suppose 1072 - 49 = 3*g. Suppose 3*r - 22 + 274 = 0. Let l = g + r. Is l prime?
True
Let w(b) = 3*b - 23. Let s be w(9). Suppose -s*m - 934 = -5*m. Is m a prime number?
False
Let h(m) = -489*m + 80. Is h(-9) prime?
True
Let m = 39518 + -1911. Is m composite?
False
Suppose 0 = 23*t - 17*t + 30. Is (-2930)/t - 2/(-4 + 2) prime?
True
Suppose -4*i - 4*f - 8 = 0, 5*i + 2*f - 7*f + 20 = 0. Let s be -3 + 24/(-9)*i. Suppose 5*y - 3455 = -4*v - 524, y - s*v = 592. Is y prime?
True
Let p(y) = 16*y + 4. Let a(x) = 33*x + 7. Let h(m) = -3*a(m) + 5*p