(-10). Suppose -c = -l - 403. Is c prime?
True
Suppose 63*p = 70*p - 58471. Is p composite?
False
Suppose v + 20 = 3*v. Suppose v*g - 6060 = 5*g. Suppose -7*c + g = -10247. Is c composite?
False
Suppose 0 = -8*q + 20*q - 91956. Is q composite?
True
Let d(o) = -3*o**3 + 31*o**2 + 9*o + 73. Is d(-22) composite?
True
Let m be (-2)/(-3)*(-14 + 23). Is ((-6706)/m + -4)*-3 composite?
True
Let y = 1629 - -1581. Suppose -11*r = -r - y. Is r composite?
True
Suppose -290*d + 295*d - 4*y - 36211 = 0, -5*d = -2*y - 36213. Is d prime?
True
Let p(w) = w + 5. Let l be p(0). Let h = l - 1. Suppose -h*c + 476 = -0*c. Is c a composite number?
True
Suppose -3636 + 9654 = 6*b. Is b prime?
False
Let v(y) = 100*y**2 - 18*y - 295. Is v(-11) a prime number?
False
Let f(v) = v**2 - 5*v + 1. Let h be f(5). Let m be (-4)/(-16)*19 + (-3)/(-12). Is m + -4 - (-93)/h a composite number?
True
Let m = 71 - 69. Suppose -3*r = -m*u - 3459, -1142 = r - 2*r - 3*u. Is r a composite number?
False
Let m be -4*1/(3 - 5). Let t(v) = v**3 - 2. Let f be t(m). Suppose -f*k + 3*x = -k - 548, 0 = -k - 2*x + 107. Is k prime?
True
Let s(x) = 2*x**2 - 14*x - 4. Suppose 3*h - 5*h - 50 = -4*j, -5*h = -2*j + 21. Let n be s(j). Suppose -2*a + 2*i = -82, -2*i + i = -4*a + n. Is a prime?
True
Suppose -5*i = -4*m - 58476, 5*m = -5*i + 66783 - 8343. Suppose g + 0*g + 11712 = 4*d, 4*g - i = -4*d. Is d composite?
False
Let u(y) = y**2 + 4*y - 8. Let r be u(-6). Let t be (1*4)/(1/r). Suppose -c + t - 3 = 0. Is c a prime number?
True
Let n(w) = 3*w. Let k be n(-1). Let d(t) = 9 - 6 - 5*t - 6 - t**2 + 2*t**2. Is d(k) a composite number?
True
Suppose -41 + 25 = -4*o. Suppose 2*s - o*f = f + 1260, f + 1903 = 3*s. Is s composite?
True
Let g(z) = -2*z - 16. Let i be g(-8). Suppose i = -4*s + 4*m - 19 + 3, -4 = -m. Suppose -4*l - 4*a + 236 = s, 51 = 2*l + 3*a - 68. Is l a prime number?
False
Suppose -j = -0*j - 4, 14 = -5*h + j. Is 31 + 1727 - (h/(-2))/(-1) composite?
False
Suppose -4127 + 15107 = 3*g. Suppose g = 4*b - 8776. Is b a prime number?
True
Let p = 1213 - 753. Suppose -p = -m - 119. Suppose 0 = -2*a + m + 441. Is a prime?
False
Suppose -4*v + 9 = 4*x - 47, 2*v - 24 = 2*x. Let c = 12 - v. Let n(m) = -7*m. Is n(c) composite?
False
Let c(m) = 99*m**3 - m + 1. Let q(d) = -d**2 + 5*d + 1. Let y be q(5). Let r be c(y). Let u = r - 61. Is u a prime number?
False
Suppose 3*l - 1 + 12 = -4*p, 3*l + 16 = p. Let m be p/4 - 563/(-4). Suppose -4 = -2*a - 2*a, 3*q = -3*a + m. Is q a composite number?
True
Let r = 12387 - -7982. Is r a composite number?
False
Let l = -64 - -90. Suppose 8*c - l = -10. Suppose 121 = j + o, 0 = -3*j + c*j + o + 121. Is j a prime number?
False
Let r = -2 + 11. Let g = -156 + 209. Let a = r + g. Is a prime?
False
Let o(u) = 137*u**2 - 28*u + 80. Is o(5) a prime number?
False
Is (-111769)/(-28) - 12/16 a prime number?
False
Suppose -31150 - 5226 = -8*c. Is c composite?
False
Let g = -6 - -13. Let q(l) be the second derivative of 7*l**3 - l**2/2 + 4*l. Is q(g) a composite number?
False
Let s = -23 + 26. Suppose 1115 = -3*j + 4*j + s*p, -5*j - 3*p + 5599 = 0. Is j a composite number?
True
Let i = 751 + -528. Suppose 3*t = 2*o + 340, -2*t + i = -0*t - 5*o. Suppose -2*m + 376 = t. Is m composite?
False
Suppose 5*n = -l + 2*l - 77, 5*l - 2*n - 339 = 0. Let t be -3 - 2*l/(-2). Suppose -4*a - t = -4*h, h - 2*a + 2 = -7*a. Is h a prime number?
True
Suppose 1208 = -5*t - 22. Let a be (-12)/(-2)*t/(-12). Suppose -3*z - 3*d = d - a, -4*d + 49 = z. Is z a composite number?
False
Let o be (-34)/(4/(-6) - 0). Suppose -o*k + 52*k - 451 = 0. Is k a prime number?
False
Let o(q) = -4264*q**3 - 2*q**2 - q. Let l be o(-1). Let i = l - 2918. Is i a prime number?
False
Let w be ((4 - -71) + 2 - -4)*9. Suppose 5*f - 4*l - w = 0, 161 = f + l + 2*l. Is f prime?
True
Let a(w) = 3446*w**2 + 32*w + 93. Is a(-4) a composite number?
True
Let a(c) = 373*c**2 + 23*c + 35. Is a(-13) composite?
False
Suppose 10*o = 8*o + 8740. Let y = o + -2787. Is y prime?
True
Let f(v) = -469*v**3 - 11*v**2 - 14*v + 5. Let t(k) = -156*k**3 - 4*k**2 - 5*k + 2. Let l(m) = 3*f(m) - 8*t(m). Is l(-1) a prime number?
False
Suppose -3*y = 3*t - 2*y - 2962, 4*t = 2*y + 3946. Is (-3)/((-36)/t)*(0 - -4) a composite number?
True
Suppose 5*d - 2140 = 3425. Suppose -103 - 1 = -4*y. Is (y/(-39))/((-2)/d) a prime number?
False
Let u(n) = -n**2 - 7*n - 9. Let t be u(-4). Is (-21906)/(-21) + t/(-21) composite?
True
Suppose 7*a = 3*a. Suppose -120 = -a*d + 4*d. Is (-2)/(-12) + (-4975)/d a prime number?
False
Is ((-1375020)/450)/(4/(-10)) a composite number?
False
Suppose 2946 = -26*p + 28*p. Is p composite?
True
Suppose -r - k = -1845, 3686 = 7*r - 5*r + 4*k. Is r a composite number?
False
Suppose -15*b + 2 = -17*b. Is (b*13112/(-4))/(0 - -2) a composite number?
True
Suppose 14*t = -61*t + 4471275. Is t composite?
False
Suppose 0 = -m + 2699 - 29. Let u = m + -1763. Is u prime?
True
Let v(o) = -o**2 + 2*o + 419. Suppose -15 = -2*f + 3*k, 6*k + 25 = k. Is v(f) prime?
True
Let b(i) = i**3 - 2*i**2 - 7*i + 6. Let o be (-2)/6 - (-64)/12. Is b(o) composite?
True
Let l = 17 - 20. Is (-22 - -19)*(-1657)/l*-1 prime?
True
Let s(g) = -1501*g. Let y(x) = -x**2 - 8*x + 8. Let b be y(-9). Let c be s(b). Suppose -z + 3*v + 298 = 0, v = -5*z + 37 + c. Is z prime?
True
Suppose -4*n + k = -3220, 2*n - 5*k = -3*n + 4040. Let d = n - -973. Is d prime?
True
Let a(w) = 6*w**3 - 2*w**2 + 6*w - 1. Let j(n) = 5*n**3 - 2*n**2 + 5*n - 1. Let h(g) = 4*a(g) - 5*j(g). Let t be h(-4). Suppose l - 30 - t = 0. Is l prime?
True
Let v(i) = -2903*i + 10. Is v(-1) a composite number?
True
Suppose 29*i = 30*i - 2. Suppose 4*j - 2036 = -i*h, -3*j - 5*h + 491 = -2*j. Is j prime?
False
Suppose 3*g - p - 3 = 7*g, -15 = 5*g - p. Let q be -1*(-2 - g) + 2. Suppose 0 = 2*w, z = -q*w + 5*w + 79. Is z a composite number?
False
Let d(h) = 3*h**2 + 19*h + 169. Is d(31) prime?
False
Let y = 5180 - 3532. Suppose -2*c + 774 = -y. Is c prime?
False
Is (33541/85)/(2/10) prime?
True
Let r(j) = 108*j**2 - 5*j - 130. Is r(-9) prime?
True
Suppose 0 = 4*v + 5*i - 32357, -111*v + 40474 = -106*v - 3*i. Is v a prime number?
True
Is ((2 - 1) + 0)*(-1 + 19386) prime?
False
Let t(z) = -z**2 - 5*z - 10. Let w be t(-6). Let v(p) = -105*p + 79. Is v(w) prime?
True
Suppose 10 = 4*h - 2*h. Let f = h - -5. Suppose -6*s = -f*s + 804. Is s a composite number?
True
Let q(b) = 402*b**2 - 10*b + 11. Is q(-3) prime?
True
Let b(c) = 1376*c**3 - 4*c**2 + 3*c - 1. Is b(2) a composite number?
True
Suppose 0 = -4*h - 2*g + 6642 - 670, 4*h = 3*g + 5962. Suppose 5*l - 4*l = h. Suppose 2*i + l = 6*i. Is i composite?
False
Suppose 0 = 2*f - 2*t + 6140, 0*f - 9215 = 3*f - 2*t. Is (-1)/(f/1535 + 2) a composite number?
False
Let d = 1711 - 1127. Let x = d + 159. Is x a composite number?
False
Suppose -33 - 43 = 4*k. Let m = k + 198. Is m prime?
True
Let r(t) = -8*t - 5*t + 9 + 12*t. Let y be r(14). Let c = -3 - y. Is c a prime number?
True
Let u(p) = 2*p**2 - 15*p + 5. Let n = 114 + -94. Is u(n) a composite number?
True
Let y = -6 - 3. Let l be 1/(-3) - 12/y. Is 2*l/(-2)*-38 composite?
True
Suppose -3*j - 4*u + 21 = 0, -4*u = j - 4 - 11. Let c be 1 - (-4 - (j - 0)). Let y = c + 15. Is y a composite number?
False
Let m(q) = -232*q - 1. Let k(y) = -463*y - 2. Let t(w) = -4*k(w) + 7*m(w). Suppose 0 = 2*f - 4*f - 2*h + 4, -f - 5*h - 2 = 0. Is t(f) a prime number?
False
Is 555 + -9 - 5/1 a composite number?
False
Suppose j = -3*x + 15064 + 42555, 4*j - 96027 = -5*x. Is x a composite number?
False
Let m be (-20)/6 + 26/(-39). Is (-26772)/(-84) - m/14 a composite number?
True
Let d(n) = 23*n - 1. Let p be d(-1). Let u = p - -21. Is 1888/48*u/(-2) composite?
False
Suppose 141595 = -91*h + 96*h. Is h a composite number?
False
Suppose -p - 1910 + 13773 = 0. Is p a composite number?
False
Suppose 0 = y + 4*d - 1709, 5*y - 8465 = -5*d + d. Is y a composite number?
True
Let t(w) = 61*w - 10. Let m be t(3). Suppose 2*u - m = 3*v + 258, -3*u - 5*v + 694 = 0. Is u composite?
False
Let w be (-6)/((-2)/4*3). Let p(j) = 16*j**3 + 6*j - 6. Is p(w) composite?
True
Is ((-85)/(-4))/(-5)*(-7 + -45) a prime number?
False
Suppose 0 = 6*l - 47 - 7. Is ((-57)/(-6))/(l/126) composite?
True
Let u = -5 + 12. Let a(w) = -w**2 + 7*w + 3. Let j be a(u). Suppose j*v - 