 5*x + 1. Let u be s(7). Let t be (-10)/3*(-276)/10. Let p = t + u. Is p a composite number?
False
Let h = 4 - 4. Suppose -m + 100 = 2*m + v, -m - 5*v + 24 = h. Is m prime?
False
Suppose 5*w = 2*w + 2007. Is w a prime number?
False
Suppose -6 = f + 4*r, f - r - 2 + 3 = 0. Is 252/7 + f/1 a composite number?
True
Let n = 647 + 969. Let p = 2401 - n. Is p composite?
True
Let l be 6*3*(-3 - -1). Is ((-10)/(-8))/((-3)/l) prime?
False
Suppose -31*j + 33*j = 254. Is j prime?
True
Let k(o) = 15*o**2 - o - 1. Let i(z) = -z**2 + 4*z - 2. Let w be i(2). Let q(a) = a**3 - 2*a - 1. Let h be q(w). Is k(h) composite?
False
Let t(p) = 4*p - 3. Let u be (2/4)/((-2)/(-40)). Suppose 0*d - u = -d. Is t(d) prime?
True
Let d = 2072 + -1243. Is d a prime number?
True
Let m be 2/4 - 22/(-4). Suppose -m = -u + 3. Is u a composite number?
True
Suppose 0 = 5*s + 4*z - 1237, 0*s - 1251 = -5*s + 3*z. Is s prime?
False
Let s(r) = -r + 4. Let o be s(9). Let f = 9 + o. Is ((-19)/2)/((-2)/f) a composite number?
False
Let q(d) = -d**3 - 5*d**2 + 3. Let f be q(-5). Suppose w + 4*s - 35 = 0, -5*w + 62 = -f*s - 44. Is w a composite number?
False
Let v(r) = 82*r + 71. Is v(20) a composite number?
True
Suppose -i - 553 + 2030 = 3*t, -3*t + 2*i = -1465. Is t a prime number?
True
Let k(w) = -w**3 - 4*w**2 + 28*w + 4. Is k(-9) prime?
True
Let y(s) = 1 + 4*s - 4 - 3*s + 4. Let p(n) = -41*n. Let z(u) = p(u) + 3*y(u). Is z(-4) a composite number?
True
Suppose -78 = -5*b + 512. Is b a prime number?
False
Suppose 2*i - 94 - 80 = 0. Is i composite?
True
Let j(o) = -4*o**3 - 12*o**2 - 15*o - 11. Is j(-10) a composite number?
False
Suppose 33 + 108 = 3*r. Suppose -r = 3*h - 1034. Is h composite?
True
Let r(f) = 4*f**2 + 10*f + 5. Is r(14) composite?
False
Suppose r - 4*c + 8 = 0, 0 = -5*r - 5*c + 4 + 6. Suppose 0 = -4*u - 2*l - r*l + 52, u + 4*l - 27 = 0. Is u a composite number?
False
Let r = -1 + 3. Suppose -r*d + 0 = 8, 2*d = n - 45. Is n composite?
False
Is (-2)/((-3)/(1482/4)) prime?
False
Let s = -277 - -500. Is s a composite number?
False
Suppose 400 = 2*w - 478. Is w prime?
True
Let j(f) = 2*f**2 + 3*f + 14. Is j(7) composite?
True
Let m be (-42)/(-12) - 2/4. Is m/(-9)*111/(-1) composite?
False
Let u(v) = 9*v**2 - 5*v - 9. Is u(7) prime?
True
Let s be (-1)/(1*1/(-19)). Let v = -11 + s. Is (55/2)/(4/v) prime?
False
Suppose -4*v + 3723 - 175 = 0. Is v a prime number?
True
Let b = -436 + 815. Is b a prime number?
True
Let d = -24 + 41. Suppose 0 = 3*l + 5*j + d, 9*j = 4*j - 20. Is 184 - ((-1)/l - 0) composite?
True
Let s be -45*3/(45/(-6)). Suppose -5*m - s = -138. Suppose -v + 94 = 5*i - m, -2*i + 37 = -3*v. Is i prime?
True
Let z be -3 - (0/(-2) + 1). Is z - (-3 - 5) - -125 a prime number?
False
Let g = -47 + 80. Is g a prime number?
False
Let s = 1154 - 717. Is s prime?
False
Let j = 291 - 106. Is j prime?
False
Let c = 166 - 95. Is c composite?
False
Suppose -a - 9 = -4*y, 5*y + 3*a = y + 21. Suppose 3*o + 5*s - 354 = 0, -y*o + 148 + 206 = -4*s. Is o a prime number?
False
Let v(o) = 3*o + 5. Let j be v(-4). Let p be (1*j)/((-5)/70). Suppose 185 = 5*g - 3*f, p = 4*g + 4*f - 50. Is g prime?
True
Let o = -122 - -251. Suppose h = -5*n + 62, 6*n = -2*h + n + o. Is h composite?
False
Suppose -2*r = -3*g + 87, 0*r = 3*g + 2*r - 87. Suppose 5*i - g = 16. Let o = -3 + i. Is o a composite number?
True
Is (-6)/(-9)*345/2 a prime number?
False
Let d = -2046 - -3991. Is d a prime number?
False
Let t be 8/(-20) + 1112/(-20). Is (-1752)/t - 4/14 a prime number?
True
Let j be -7*(-4)/56*4. Suppose -2*m - j*m = -364. Is m a prime number?
False
Let w = 28 - 14. Suppose -2*z + 2*u + w = 0, -2*z + u = -3*u - 22. Suppose -5*n + 0*q + 151 = 2*q, -97 = -z*n + 2*q. Is n a prime number?
True
Let o = -253 + 414. Is o a prime number?
False
Let l(v) be the second derivative of 28*v**3/3 - 7*v**2/2 - 8*v. Is l(4) a prime number?
False
Suppose 3*m + 2*i = 744, m + 3*i + 496 = 3*m. Let h = m - 354. Is 2/(-2)*h/2 a prime number?
True
Suppose 0 = 5*y - 2*y - 411. Let n = y + -79. Is n composite?
True
Is (12/12)/(((-6)/(-3))/11202) composite?
True
Let c be 0/(-3 - (-4 + 2)). Suppose 4 = -c*j + j, z - 101 = -j. Let l = 180 - z. Is l a composite number?
False
Suppose -c + 111 + 100 = 0. Is c a prime number?
True
Let z(w) = 163*w**2 - 2*w + 4. Is z(5) a prime number?
False
Let a be ((-3)/(-6))/((-1)/4). Let b be (1/a)/(2/(-840)). Let x = b + -79. Is x a composite number?
False
Let c = 154 - -40. Let w = 327 - c. Is w prime?
False
Suppose m = 5*m - w - 329, -87 = -m + 5*w. Let g = m - -45. Is g prime?
True
Let q be (-948)/14 - 4/14. Let k be (-3)/(3/q)*1. Let x = k - 33. Is x a composite number?
True
Is 249 + 6*(-2)/(-6) prime?
True
Let k be 0/(2/(3 - 5)). Is (-2 - -7)*29 + k prime?
False
Suppose -573 = 4*s - 2269. Suppose -2*o = -u + 3*o + 83, -4*u = 3*o - s. Is u a prime number?
True
Let u(i) = -i**2 + 5*i + 13. Let n be u(-10). Let z = 324 + n. Suppose -x = q - z, -2*x = -2*q + 5*q - 559. Is q composite?
True
Let s(m) = 11*m - 1. Let n(g) = g + 12. Let r be n(-7). Suppose -b = -3*k - 3*b + 18, b - 30 = -r*k. Is s(k) a prime number?
False
Let p(o) = o**3 + 24*o**2 - 7*o - 11. Is p(-11) a composite number?
True
Let h = -31 - -13. Let a = 6 - 39. Let o = h - a. Is o prime?
False
Suppose -k - 1 = -8. Suppose -5*p = -2*v - 5, k*v + 4*p - 60 = 3*v. Is v composite?
True
Let w(n) = n**3 + 8*n**2 - 8*n + 11. Let i be w(-9). Suppose i*d - 80 = -o, 4*o - 2*d - 330 = -5*d. Let q = 119 - o. Is q composite?
True
Let h = 247 + -114. Suppose 2*b + 2*o - 158 = 0, 2*o + 3*o = b - 73. Let c = h - b. Is c a prime number?
False
Is 3 + (3 - 2) + 1 + 204 a prime number?
False
Let z = -6 - -2. Is (-170)/z*8/10 composite?
True
Suppose y + 2*y = 3. Suppose 7 + y = 2*d. Suppose -3*m + 2*l + 163 = 0, -5*m + 240 = d*l - l. Is m a composite number?
True
Suppose 4*k - 7 = -3*j, k - 13 = -j - 2*j. Suppose -5*w + 15 = j*a, 8*a - 4*a = -3*w + 14. Suppose -x + 6 = -a. Is x prime?
True
Let p = 109 + -24. Suppose 5*d + p = -15. Is (-1105)/d - 2/8 prime?
False
Let a = -354 - -776. Is a a composite number?
True
Let d be (0/(-3))/(-2) - -671. Suppose -2*y = 2*u - 260 - 76, 4*y = -5*u + d. Is y prime?
False
Suppose -2*v = v + 27. Let w be (8/(-6) + 1)*v. Suppose i + 31 = 4*s, 14 + 8 = w*s - i. Is s composite?
True
Suppose -5*o - 4*w - 8 = 8, 0 = o + 4*w. Let x = 41 + o. Is x a prime number?
True
Suppose h - 6*h + 10 = 0. Suppose 0 = h*o - 18 + 6. Is o a composite number?
True
Let o be (-2328)/14 - 4/(-14). Let k = o - -473. Is k a composite number?
False
Let y(g) = g**3 - 8*g**2 + 2*g - 3 + 0 + 6*g. Is y(7) a composite number?
True
Let r(d) = d + 3 + 1 - d**3 + 20 - 2 + d**2. Is r(0) a composite number?
True
Let o(h) = -h**3 - 3*h**2 - 4. Let b be o(-3). Let m be 22/b*80/(-8). Suppose 4*r - m = -r. Is r composite?
False
Suppose -4*o - 12347 = -3*d, -5*o + 6*o + 20601 = 5*d. Is d prime?
False
Suppose 2*g + 8 = 3*g. Let k = 15 - g. Is k a prime number?
True
Let z(k) = -k. Let r be z(-7). Let w = r + -3. Suppose 0*x = x - 1, -w*x + 43 = 3*q. Is q composite?
False
Let t(m) be the first derivative of m**2/2 - m - 2. Let k be t(3). Is k/((8/(-74))/(-2)) a prime number?
True
Let o be 6*((-8)/(-6) + -1). Is 332/3 - o/(-6) prime?
False
Let h(v) be the second derivative of 1/12*v**4 + v + 3/2*v**3 + 1/2*v**2 + 0. Is h(-12) a composite number?
False
Let s be -6*((-1)/2 - 0). Suppose 3 = -v + s*b, -3*b + 2*b = -v - 5. Is 4/v - (-452)/12 a prime number?
True
Suppose -2*c = -4*k - 12, 9 = 2*c - k - 2*k. Suppose c = 3*s - 3, -d + 5 = 2*s - 28. Is d prime?
True
Let a = -40 + 73. Is a a composite number?
True
Suppose 2*k - s - 8 = 0, -4*s - 4 = -k - 0*s. Suppose 2*d = -0*d + 10, -k*h + 77 = -3*d. Is h a prime number?
True
Suppose 16 + 518 = 3*a. Is a prime?
False
Is 0/(-3)*-1 - -113 a composite number?
False
Let b = 267 - 118. Is b a prime number?
True
Let x(a) = 8*a**3 + 6*a**2 + 2*a + 3. Is x(6) a composite number?
True
Let f = 156 + -71. Is f prime?
False
Suppose -2*m + 4*m - 2*g - 8 = 0, -2 = m + 2*g. Let v be (-3)/12 + (-27)/(-12). Suppose m*w + 3*w - f = 660, v*w - 252 = -2*f. Is w prime?
True
Let y = -95 + 184. Is y a prime number?
True
Suppose 5*c - j + 6 = 0, 3*c + 5*j = 7*c - 12. Is (-4 + 2)*89/c a composite number?
False
Suppose 2*l - 4*g - 12 = 0, -2*l - 2 -