 a prime number?
False
Suppose -4*v + 59 = 15. Is v composite?
False
Let t = 5 + -4. Let k be (-1 + t)*(-3)/6. Is 3*(k + 20/6) composite?
True
Let b(i) = -2*i - 6. Let n be b(-5). Suppose n*v = 2*v + 262. Is v prime?
True
Suppose 0 = -2*a + a + 3. Suppose -2*n + 115 = a*n. Is n a composite number?
False
Let r = -192 + 281. Is r composite?
False
Suppose 5*h - j = -12, -3 = 5*h - 5*j + 17. Is (h - (-3)/2)*-62 a composite number?
False
Suppose 5*r = -0*r + 10. Suppose r*j + 13 = 2*v - 9, -30 = -2*v + 4*j. Is v composite?
False
Let b(f) = -15*f + 8. Let y(r) = 30*r - 17. Let o(k) = 13*b(k) + 6*y(k). Let l be (-5 - -5) + (-4 - 2) - -1. Is o(l) a prime number?
False
Suppose -17*g + 21048 = 4609. Is g a prime number?
True
Suppose 4*i = -5*n - 63, 2*n = 3*i + 2*i - 45. Let v = 1 + n. Is ((-58)/(-3))/(v/(-105)) a prime number?
False
Let h(v) = -v**2 + 6*v - 1. Let j be h(5). Suppose j*f + 12 = 4*l - 0*f, -4*f + 28 = 4*l. Suppose l*g - g = 340. Is g a prime number?
False
Let f(a) = 333*a**2 - 5. Is f(-4) a prime number?
True
Let a(o) = 6*o + 22 - 2*o - 6*o. Is a(0) composite?
True
Let u = 13 + -11. Suppose u*z = -3*z + 395. Is z prime?
True
Let z = -13 - -10. Is (z - 430/4)*-2 a composite number?
True
Let b = -535 + 1026. Is b composite?
False
Suppose q = 183 + 82. Is q a composite number?
True
Suppose -4*u - l = -1517, 133 = u - 2*l - 244. Is u a prime number?
True
Suppose 5*w - 6 - 4 = 0. Suppose 5*i = w*a + 9, -3*i + 14 = 3*a - 5*i. Is (29*-1)/((-4)/a) a composite number?
True
Let j(x) = -7*x + 9. Let v be j(-9). Let s = 257 - v. Is s a prime number?
False
Let k(r) = -r**2 - 6*r - 5. Let h be k(-5). Suppose -2*s + 62 = -h*s. Is s a prime number?
True
Suppose 4*l + 20 = -4*x - 0*x, 5*x = -2*l - 13. Let u be 3 + -2 + x + 152. Let j = -65 + u. Is j a composite number?
True
Let x(j) = -16*j + 11. Let w(p) = p + 1. Let v be w(-9). Let s be x(v). Suppose 2*l - s = -i, -119 = -0*l - 2*l + 3*i. Is l composite?
False
Is (-1385)/(-10) + (-1)/(-2) a prime number?
True
Let c(i) = 6*i**2 - i - 16. Is c(7) prime?
True
Suppose -2*y - 2*b + 992 = 0, 2*b + 11 - 1 = 0. Is y prime?
False
Let v(d) = -d**3 + 12*d**2 - 10*d - 5. Let s be v(11). Suppose -s*a = -a - 290. Is a a composite number?
True
Let i(z) = 73*z**2 + 5*z + 3. Is i(4) a composite number?
True
Is (1184/(-24))/((-2)/3)*1 composite?
True
Let x(q) = 4*q**2 + 1. Let h be x(1). Suppose h*i + 2*v = -183, 5*i - 4*v = -67 - 122. Let b = -3 - i. Is b composite?
True
Is (-685 - 0)/(-2 - -1) prime?
False
Let o be 12/(-30) + 64/10. Suppose 0 = 2*x - 10 + 2. Suppose 102 = 5*s - x*y, s - 2*y = o*s - 114. Is s prime?
False
Suppose -4*f + o = -7, -4*f + 9*f - 17 = 4*o. Let m be (-4 - -4)*(0 + f). Is m*(-1)/2 + 7 a composite number?
False
Suppose -5*a = -2*j - 46, -3*a + 4*j = 7 - 43. Suppose -p + a = p. Suppose p*n - 111 = n. Is n composite?
False
Let w be 0 + 2 + -1 + 0. Let i = w + -1. Suppose -r + 143 = -i*r - 4*o, -615 = -5*r - 5*o. Is r composite?
False
Let o be (-80)/12 - (-2)/(-6). Let p = o - -13. Is 39/p - (-2)/4 prime?
True
Suppose 5 = -l, -6*l = -i - 2*l + 42. Is i composite?
True
Let z(d) = d**3 - 6*d**2. Let s be z(6). Suppose s*r = 4*r - 8. Suppose 3*g = r*j + 237, -g - 5*j + 30 = -32. Is g a prime number?
False
Let k(d) be the third derivative of d**5/60 + 7*d**4/24 - 7*d**3/6 - 5*d**2. Is k(4) prime?
True
Let h(c) = -c**2 + 28*c + 19. Is h(18) composite?
False
Suppose u = -2*u. Let d be (u + 0)/(4/4). Suppose d = q - 3*x - 23, -5*x = -3*q - 3*x + 97. Is q a prime number?
False
Is (-6)/(-15) - 7389/(-15) a composite number?
True
Let v be 2*114/(-8)*-2. Let c = v + -131. Is (c/6)/((-4)/12) a composite number?
False
Let p be 0/(6/(3*-1)). Suppose p = -3*g - 2*g. Let c(b) = -b + 49. Is c(g) prime?
False
Suppose -2*n - 898 = -4*n. Is n a prime number?
True
Let k(f) be the third derivative of f**4/4 - 5*f**3/6 + 2*f**2. Suppose 13 - 3 = 2*i. Is k(i) composite?
True
Let r be (-3)/3*3*1. Let j(t) = -t**2 - 3*t. Let u be j(r). Suppose u = -g - 0*g + 49. Is g prime?
False
Let t(c) = c**3 - 5*c**2 + 5*c - 3. Let r be t(4). Suppose 0*m + 2*y + 15 = m, 0 = y + r. Suppose 4 - 7 = -3*d, w = d + m. Is w a composite number?
True
Let t(w) = 3*w - 6*w**2 + 15*w**3 + 4*w**2 + 1 - 4. Let q be t(2). Suppose 3*o = -4*r + 3*r + q, -o - 385 = -3*r. Is r a composite number?
False
Is (-336)/(-5) - (-8)/(-40) prime?
True
Let w = 161 + -106. Is w composite?
True
Suppose -h + 5*h = -280. Is (-14)/h + 1848/10 a composite number?
True
Let n be 1/(2 + (-171)/87). Suppose -3*r + 2*x + 26 = -0*x, -27 = -4*r - 5*x. Let q = r + n. Is q composite?
False
Let g = -8 - -10. Suppose 4*i - 140 = -b + 2*b, 0 = 3*i + g*b - 94. Is i a prime number?
False
Suppose -2*a + 6*a - 8 = 0. Suppose -a*c + 4 = 0, -3*o + o + 152 = 5*c. Is o a prime number?
True
Suppose -2*o + 5*o - 39 = 0. Is o prime?
True
Let y(c) = -c**3 - 6*c**2 - c + 2. Let o be y(-3). Let p = o - -96. Suppose 22 = h - 5*u, 2*h - 3*u = u + p. Is h a prime number?
True
Suppose 5*n - 8099 = 566. Is n a prime number?
True
Let m be (-2)/(-7) + 20445/105. Suppose 5*h = b + m, h + 2*b - 58 = 6*b. Is h prime?
False
Let o be (38/4)/(5/550). Suppose 0 = 3*a + o - 2914. Is a prime?
False
Let j(l) = -l**3 + 5*l**2 - l + 5. Let o be j(5). Suppose -z + 3*k + 0*k = -11, o = 4*z - k - 11. Is 18*2 + -1 + z composite?
False
Let k(l) = 12*l**3 + 4*l**2 + 6*l - 5. Let t(r) = -25*r**3 - 9*r**2 - 12*r + 10. Let j(f) = 13*k(f) + 6*t(f). Is j(4) a prime number?
False
Let w(h) be the third derivative of -13*h**4/4 + h**3/6 - 3*h**2. Is w(-1) a prime number?
True
Suppose -15*r + 633 = -5697. Is r a composite number?
True
Let n = -1506 + 3869. Is n composite?
True
Let w = 0 + 127. Is w a composite number?
False
Suppose -5*b = 4*v - 266 - 7, b - 4*v - 69 = 0. Suppose -2*t + 0*m = -m - b, 0 = 2*t - 3*m - 47. Is t prime?
True
Let v = 9 - 15. Let a(s) = -33*s - 7. Is a(v) composite?
False
Let b(p) = p**3 + 4*p**2 + 4*p - 2. Let l be b(-4). Let m(x) = x**3 + 7*x**2 - 3*x + 6. Let k be m(-7). Is (-6)/k + (-670)/l a prime number?
True
Let m be 2 + -1 + 0 + 57. Suppose m = n - 3*k, 218 = 6*n - 2*n + 2*k. Is n composite?
True
Let z(w) = -w**3 + 4*w**2 + 2*w - 5. Let k be z(4). Suppose 2*g - 24 = 5*y - 5, -k*y = -3*g + 15. Is ((-37)/3)/(1/y) prime?
True
Is (8 - 1)*51/3 a composite number?
True
Let o(f) = f**3 - 3*f**2 - 2*f - 3. Let n = -4 - -6. Suppose 5*u = -n + 27. Is o(u) prime?
True
Let h(v) = -30*v - 7. Suppose 9*m + 20 = 4*m. Is h(m) a prime number?
True
Suppose -332 = 4*l - 5*k, -2*l + 2*k - 80 = -l. Let s = 190 + l. Suppose 4*d - 39 = -z + 26, 2*z = -d + s. Is z prime?
False
Suppose -5*h + 9*h - 1276 = 0. Is h prime?
False
Let t(b) be the first derivative of b**4/4 - 5*b**3/3 - 3*b**2 + 2*b - 1. Let u be t(6). Suppose -u*f + 5*a - 5 = -0, 4*a - 30 = -f. Is f a prime number?
False
Suppose -184 = -3*o - 4*u - 0*u, 2*u = 5*o - 324. Suppose 5*l - a - 183 = 0, -o = -2*l - 0*a + 5*a. Is l a prime number?
True
Let x = -68 - -97. Suppose 3*c - x - 13 = 0. Let p = 21 - c. Is p a prime number?
True
Suppose -k = -6*k. Suppose -2*y - 5*m = -28, k = 5*y + m - 0*m - 93. Is y composite?
False
Suppose -50 = -6*t + t. Suppose -6*z + 4*z - t = 0, -4*z + 179 = p. Is p prime?
True
Let b be (-628)/(-16) - (-2)/(-8). Suppose -4*g = -g - b. Is g composite?
False
Suppose 5*o + 134 = 34. Let d = o + 33. Is d composite?
False
Let d = 185 + -19. Is d prime?
False
Suppose 0 = -5*j + 3*j + 6, -5*j = -5*c + 20. Let q = c - 5. Let m = q + 7. Is m prime?
False
Let u(v) = -v + 230. Let c be u(0). Suppose -2*y - c = 3*y. Let l = 139 - y. Is l a composite number?
True
Let j(n) = -n**3 + 4*n + 3. Let f be j(-2). Let b(y) = 21*y**2 + 3*y - 4. Is b(f) a prime number?
False
Suppose 3*v - f - 1553 = 0, -4*f = v - 2*f - 513. Is v prime?
False
Suppose -7*a + 188 = -3*a. Is a a composite number?
False
Let l = 1 - 0. Let f be 1 - (l/(-1) + 0). Suppose f*c = -c + 153. Is c prime?
False
Is (706/4 + 3)*2 a prime number?
True
Suppose -3*x = -2*w - 7, -10 = -4*w + x + 1. Suppose 2*g - 2*p + 2 = 0, -5*g = -3*g - w*p. Is 2/(-2) - g - -54 composite?
True
Let b = 9 + 2. Suppose -44 = -c + b. Is c prime?
False
Suppose 6*m = 4*m - 16. Is (98/m + -1)*-28 composite?
True
Suppose -4*b + 4 = -0. Is (-15 + b)*1/(-2) composite?
False
Let f be 0 - 1/(1/(-70)). Suppose -2*q