x a prime number?
False
Let u = -57 - -60. Suppose -4333 - 11972 = -3*t - u*n, 2*t - 4*n - 10888 = 0. Suppose t = 4*l - 3894. Is l prime?
True
Suppose 2*x = 3*q - 5, 2*q = -x + 1 - 0. Let c be (-51)/17 - ((-1)/q - 1). Is 1/(950/(-955) - c) prime?
True
Suppose 13*w = 4*s + 12*w - 134, 2*s - 74 = -3*w. Suppose 0 = -31*n + s*n - 7071. Is n a prime number?
True
Suppose -375*k = -535597786 - 551622089. Is k prime?
False
Let d(c) = -341994*c**3 + c**2 - 27*c - 51. Is d(-2) a composite number?
False
Let d be 1*(-72)/14 - 73/(-511). Is (92/20 + d)/((-6)/26385) a composite number?
False
Let g(o) = 4*o + 44. Let l be g(-5). Suppose -c - l = 5*t - 4657, -4*t = 4*c - 3716. Is t a prime number?
False
Suppose -d + 5*l = -5*d - 107, l = -3*d - 72. Let q(o) = -112*o - 45. Is q(d) composite?
False
Let x(r) = 24*r**2 - 67*r - 156. Is x(23) a composite number?
True
Let d(q) = -9228*q - 4751. Is d(-40) prime?
False
Is (-12 - 60/(-15) - (-13728)/2) + 7 a composite number?
False
Let m(s) = 3*s + 5*s - 2*s - 3*s + 6*s**2 - 16. Suppose 128 = -18*x + 38. Is m(x) a prime number?
False
Suppose 33*w = 6178372 + 3442679. Is w a composite number?
False
Suppose -3*q = -3*y + 10668, 0 = -4*y - 54*q + 53*q + 14214. Is y a composite number?
True
Let z(k) = -k + 1. Let u be z(-7). Let c = 197 - -2456. Suppose q + c = u*q. Is q prime?
True
Suppose 3*k - 8*k + 15 = 0. Suppose 5*f + 5*y + k + 2 = 0, -4*f = -5*y - 32. Is ((-1)/f)/(-2*(-1)/(-858)) prime?
False
Suppose 8*d - 12*d + 24 = 0. Let z(c) = 139*c + 46. Let m be z(d). Suppose 2*b - 4*b + 443 = -u, -4*b + 4*u + m = 0. Is b composite?
False
Let c be (-4)/2 - (-27 - -302). Let l(a) = -21*a**2 - 7*a - 1. Let v be l(-5). Let d = c - v. Is d a composite number?
True
Suppose -5*f - 2*p + 21022 = 0, 0 = 5*f + 2*p - 3*p - 21019. Let u = 6635 - f. Let g = 4478 - u. Is g prime?
False
Let g(p) = -6*p**3 - 5*p**2 - 2*p. Let k be g(-6). Let w = k - -415. Is w prime?
True
Let x(s) = s**2 + 9*s + 7. Let f be x(-9). Suppose 17 = 5*i + b, -5*b - 30 + f = -2*i. Is (1709 - 3) + i + -1 composite?
False
Let f(a) = -6439*a - 455. Is f(-4) a prime number?
True
Suppose -c = -6*c - 4*f + 6, -3*f = 5*c - 7. Suppose 0 = -a - 5, 2*a + 1900 = 2*g + 4*a. Suppose k - g = -2*d - c*k, -3*k = d - 476. Is d a composite number?
False
Let c = 1850 - -2738. Suppose 8*z + c = 12*z. Is z composite?
True
Let o = -107734 + 227891. Is o composite?
False
Suppose -71781 = -13*k + 1084. Suppose -p + 0*f - 4*f + k = 0, -5619 = -p + 3*f. Is p a prime number?
False
Let u(l) = 22*l - 9 - 17 + 20 - 9 - 6. Let d be 1 - (1 - 4 - 5). Is u(d) a prime number?
False
Let z(w) = -3*w + 23. Let g be z(7). Suppose 4*j - 4503 = -6*r + r, 5*j - 1808 = -g*r. Suppose -5*d + r = -12626. Is d composite?
True
Let b = 515 - -2142. Suppose 7*t + b = 3*u + 2*t, -u - 4*t = -897. Is u composite?
True
Suppose -13624 + 10300 - 37687 = -k. Is k a composite number?
False
Let c(w) = w**3 + 22*w**2 + 30*w + 1. Suppose -3*y + 3*p - 46 = -2*p, 4*p = 5*y + 68. Is c(y) a composite number?
True
Suppose -7*a - 424764 + 1213557 = -502784. Is a composite?
False
Suppose 0 = 13*g - 16*g + 53730. Let v = g + -10601. Is v composite?
False
Suppose 0 = l + 3*b - 36, -3 + 150 = 5*l + 4*b. Suppose -3*c + 1643 = -5*p, -5*c = 31*p - l*p - 2763. Is c a composite number?
True
Let r = 10 - 34. Let o be (r/(-96))/(1/4). Let d(l) = 265*l**3 + l**2 - 2*l + 1. Is d(o) prime?
False
Suppose 2*j + 23*l = 20*l + 19, 5*j - 3*l = 79. Let x(q) = 50*q**2 + 18*q + 9. Is x(j) a composite number?
False
Suppose -2 = -3*s + 4. Let l = -314 + 536. Suppose -s*f + 1724 - l = 0. Is f composite?
False
Is ((-1)/6)/((-12)/2081448) a composite number?
False
Is 4/12*(-6468777)/(-21) a prime number?
True
Let i be 0 + (-1 - 2) - -2043. Let z = i - 4823. Let a = -1402 - z. Is a prime?
True
Suppose 8*n - 9*n = 32. Let p be (-90)/20*n/3. Suppose p*o + 331 = 49*o. Is o a prime number?
True
Let f(r) = -167*r**2 + r - 33. Let h(q) = -84*q**2 + q - 17. Let u(g) = 6*f(g) - 11*h(g). Let c(l) be the first derivative of u(l). Is c(-12) prime?
True
Let c = -490 - -494. Suppose c*q = 3*o - 43497, o - q + 72518 = 6*o. Is o prime?
True
Let p = -12 + -82. Let r = -92 - p. Is -17 + 16 + r*3535 a prime number?
True
Suppose -5*g - c + 1304749 = 0, -4*g = 32*c - 30*c - 1043792. Is g a composite number?
False
Suppose -3*m - 4*a = -5, 3*m - 2*a - 13 + 2 = 0. Is m + (-7 - -3) + 686 composite?
True
Let t(g) = -1075*g + 7. Let j(f) = -269*f + 2. Suppose 3*h + 15 = 3*c - 6, 2*c - 32 = 4*h. Let z(p) = h*j(p) + 2*t(p). Is z(3) prime?
True
Let f(b) = 520*b**2 + 39*b + 361. Is f(-10) composite?
False
Suppose 14625860 = 104*j - 9830676. Is j prime?
True
Suppose -5*d + 57683 = 8418. Is d a prime number?
False
Let y = 963371 + -144558. Is y composite?
False
Suppose -1 = 3*t - 4*l, -5*t + 7*l + 5 = 2*l. Suppose -3*y + t*q + 17 = 3*q, -2*y + 2 = q. Suppose y*m + 887 = -2*i + 3442, 12 = -4*m. Is i composite?
True
Suppose -5733 = -3*v + 31101. Suppose -2*h = -t - v, -3*t = -9*h + 4*h + 30695. Is h a prime number?
False
Let u(x) = 13100*x**2 - 69*x - 259. Is u(-4) composite?
True
Suppose -3*a + 56 = -3*y + 4*y, -2*a = 6. Let g = y + -61. Suppose 2123 = 3*j - g*i, 0 = -4*j - i - 3*i + 2868. Is j prime?
False
Let h(m) = 5*m**3 + m**2 + 19*m - 66. Let f be ((-5)/(-10))/((-3)/(-78) + 0). Is h(f) a prime number?
False
Suppose 0 = 14*a - 19*a - 70. Let i(l) = -112*l - 12. Let o be i(a). Suppose -o = -2*j - q, -q = -3*j + 2*q + 2343. Is j a prime number?
False
Suppose 2*x + 17 = -3*y - 7, -2*x = 6. Let t be (-209)/(-38) - y/(-4). Suppose 4*d - o = -t*o + 1865, 3*d - 1405 = 4*o. Is d a composite number?
False
Suppose 0 = -10*x + 292 - 32. Suppose -4*f + x*l - 28*l + 12196 = 0, -3*f = 2*l - 9149. Is f a composite number?
True
Let v(f) = 48*f**2 + 2*f - 11. Let t be v(8). Let c = 8484 - t. Is c a prime number?
True
Suppose -34*s = -37*s + 14652. Let i = s - -6945. Is i composite?
True
Let r(v) be the third derivative of 23*v**6/120 - v**5/12 - 5*v**4/24 + 7*v**3/6 + 7*v**2. Let f be r(4). Let q = f + -808. Is q prime?
True
Let t(s) = -43 + 2*s**2 + 91*s - 5*s**2 + 85*s**2 - 30*s**2 + s**3 - 225*s. Is t(-54) a prime number?
True
Let w(t) = 342*t**2 + 161*t + 3413. Is w(-24) a prime number?
True
Let v(n) = 2*n + 14*n**2 + 263*n**2 + 34*n**2 - 3. Let g be v(4). Suppose 0 = 4*s - 4*j - 3972, 11*s - j = 6*s + g. Is s a prime number?
True
Let y(w) be the first derivative of 2*w**3/3 + 5*w**2/2 - 5*w - 1. Let v be 1742/(-221) - (-2)/(-17). Is y(v) a prime number?
True
Suppose -5*z = 4*f - 503297, -2*f + 4 = 8. Is z prime?
False
Let j(h) = -6*h - 2*h**2 + 2*h + 3*h**2 + 0*h**2 - 15*h + 1777. Is j(0) prime?
True
Let t(r) = 22*r**2 - 93*r + 24. Let h be t(40). Suppose h - 253110 = -22*b. Is b a composite number?
True
Is 1/((((-549)/(-27014436))/(-61))/((-1)/4)) composite?
False
Suppose -29*a = -33*a - 6552. Let n = 2503 + a. Suppose 5*l - n = -o + 180, -4222 = -4*o + l. Is o a composite number?
True
Let w be -4 - -3067 - ((-4 - -5) + 0). Suppose 5*b + w = 7*b. Is b composite?
False
Suppose 23056 = 5*q + 5861. Suppose -14504 = -3*g + q. Is g prime?
True
Suppose 15*o - 3*o = o. Suppose 2*b + 6*d - 1009 = 3*d, -3*d + 15 = o. Is b a composite number?
True
Suppose 0 = 3*o + 3*o + 66. Let u(s) = s**3 + 11*s**2 + s + 12. Let w be u(o). Is (w/(-2))/((-7)/8218) prime?
True
Let i(b) = b - 1228. Let y be i(0). Let n be 1*(0 - (-8 - -4)). Is ((-1)/1)/(n/y) composite?
False
Let a = 34 - 20. Suppose 4*p - 2*p = a. Is (18249/6)/p*(3 - 1) composite?
True
Let i = -107 + 113. Suppose -381 = -9*z + i*z. Is z a composite number?
False
Let q(m) = m**3 + 23*m**2 + m + 33. Let o be q(-23). Suppose o*c - 811 = 8719. Is c composite?
False
Suppose -367744 = -18*t + 336668. Let d = 68469 - t. Is d a prime number?
False
Is 119670 + 16/((-96)/42) a prime number?
False
Let f = 40237 - 26016. Is f a composite number?
False
Let c = 16843 + 17998. Is c composite?
False
Let y(o) = 2*o**2 - 4*o - 9. Let a(h) = 3*h**2 + h**2 - 3*h**2 - 3*h - 9. Let s(z) = -4*a(z) + 3*y(z). Is s(14) a composite number?
False
Let j = 2081 - 1245. Suppose 5146 - j = 10*o. Is o composite?
False
Suppose -23*y - 34200 = -27*y. Suppose 2*t - 17101 = 5*b, 2*t + 3*b = 3*t - y. Is t a composite number?
True
Let c be (3 - -23)/(6/(-57)). Let l = 1025 + c. Is l a com