ite number?
True
Is 4/18 - (-2285)/45 a prime number?
False
Let m be 19/(1/(23 + 3)). Let v = -283 + m. Is v prime?
True
Suppose -4*x + k = -50, 2*x - 4 = -k + 18. Let a be 240 + 2/(1 + 1). Let g = a + x. Is g composite?
True
Is 2/(-7) + 4526/14 a composite number?
True
Let v(z) be the third derivative of 0*z**5 - z**2 + 13/120*z**6 + 1/12*z**4 + 0*z + 0 - 1/6*z**3. Is v(1) composite?
True
Let v(y) = 12*y**2 - 5*y - 4. Let g = -6 + 8. Let t be (-3)/g - 3/2. Is v(t) a composite number?
True
Suppose 0 = 3*d - 2*x + 32 - 203, 0 = 4*d + 4*x - 228. Let f = 104 + d. Is f prime?
False
Let i = 408 - -269. Is i a composite number?
False
Suppose 4*h + 227 - 925 = -5*n, n + h - 139 = 0. Let x = -37 - -117. Let a = n - x. Is a prime?
False
Suppose i - 5*t + 3 + 10 = 0, 4*t - 4 = 4*i. Suppose -c + i - 1 = 3*r, -5*c = -5. Suppose w = 4*k - 0*w - 78, 5*k - 5*w - 105 = r. Is k composite?
False
Let j(p) = 2*p**3 - 5*p**2 - 3*p - 1. Let v be j(-3). Let y = 201 + v. Suppose l - 6*l + y = 0. Is l composite?
True
Suppose 3*q = -2*q. Suppose -3*a + 4*l = -645, 4*a + l + 0*l - 841 = q. Is a a composite number?
False
Suppose 2*a + 2*d - 495 = -3*a, 5*a = 5*d + 460. Is a composite?
False
Let z(i) = 2*i**2 - 13*i - 11. Is z(-20) composite?
False
Let y(j) = -j**3 + 131. Let r = 1 - 1. Let i be y(r). Suppose -5*n - 106 = -2*w, 3*w - 28 - i = 3*n. Is w prime?
True
Let r = 60 + 445. Is r a prime number?
False
Suppose -w = 5*i + 10, 2*w - 5*i = 12 + 28. Let r = w - -27. Is r a prime number?
True
Let f(m) = -m**2 - 11*m + 4. Let l = -32 - -22. Is f(l) composite?
True
Let r(p) = -12*p + 1. Suppose 0 = -f + 3*k - 15, 12 - 2 = -2*f + k. Let z = 0 + f. Is r(z) composite?
False
Let g(n) = 3*n**2 - 12*n - 8. Let s(v) = v**2 - 4*v - 3. Let f(m) = 4*g(m) - 11*s(m). Let a(u) = u**2 - 11*u + 17. Let d be a(10). Is f(d) composite?
True
Let j be (-4)/(-18) + 682/9. Suppose -g = -21 - j. Is g prime?
True
Is (0/(-3) - -764)*(-1)/(-2) prime?
False
Let z(x) = -7*x**2 - x + 4. Let r be z(5). Let i = r + 267. Is i a prime number?
False
Let h = 18 - -65. Is h prime?
True
Let g(q) = -q - 1. Let n be g(5). Is n/(-3)*74/4 a prime number?
True
Is (-104)/(-6)*3/2 prime?
False
Let r(t) = -t**2 + 3*t - 5. Let u be r(5). Let h be (55/u)/((-1)/(-21)). Is h/(-4) - (-5)/(-20) composite?
False
Let f(w) = -w**3 - 7*w**2 - 4*w - 7. Suppose -q + 3*q = 26. Let t = q - 21. Is f(t) prime?
True
Let x be (-15)/4*(-28)/1. Suppose 0 = 7*r - 5*r - 10. Suppose -55 = -5*j + 2*j - b, -r*j + x = -5*b. Is j prime?
True
Let h be (-45)/6*4/6. Let t be -3 + h/((-15)/2196). Suppose 16 + t = 5*r. Is r prime?
True
Suppose -4*r - 3 = -11. Suppose z - p - 161 = 0, -z + r*z - 177 = 5*p. Is z a composite number?
False
Let d = -263 - -412. Is d prime?
True
Let o = 0 - 2. Is 55 + 1/(o/4) prime?
True
Let n(d) be the third derivative of 7*d**5/60 - d**4/3 - d**3/6 - 5*d**2. Is n(-5) prime?
False
Let y be (-4)/10 - 315/25. Let o = -8 - y. Suppose 454 = o*c - l, 0*l - 179 = -2*c + 3*l. Is c composite?
True
Let a = 269 - 68. Is (-1)/(-2) - a/(-6) composite?
True
Suppose -4*k = -4, -k = -2*o - o + 5. Suppose 0*y + 1 = p + y, -10 = -2*p + 2*y. Suppose 38 = o*n + 5*c, 40 = p*n + c + 9. Is n a prime number?
False
Suppose -f = -3*x + 791, -4*f - 1546 = -5*x - 216. Suppose -i - i = -x. Is i prime?
True
Let j(v) = 6*v**2 - 12*v - 9. Is j(-8) a composite number?
True
Is 4*(-3)/30 + 214/10 a prime number?
False
Suppose -k + 8*d - 3*d + 15 = 0, 3*k = 5*d + 15. Suppose -4*f + 551 + 101 = k. Is f a composite number?
False
Suppose 4*b - 148 = 3*b. Let l = b - -211. Is l composite?
False
Let x(j) = -257*j + 22. Is x(-7) prime?
False
Let o = 12 - -4. Is (18/4)/(12/o) a prime number?
False
Suppose -3972 = 5*l - 16367. Is l prime?
False
Let h be (-3 - 4)*-9*1. Let b be (h - -1)/(-2)*-5. Let g = b - 45. Is g composite?
True
Suppose 334 = x - 85. Is x a prime number?
True
Let c be 70/(-1)*(-7 + 0). Suppose 3 = 3*m, -4*r + 1091 = -3*m - c. Suppose -449 = -5*x + r. Is x a prime number?
False
Let f be -5 + (-2)/(-1) - 435. Let d = -293 - f. Is d prime?
False
Suppose 3*y - 326 = 5*y + 5*m, 489 = -3*y + 2*m. Is 1*2/((-2)/y) a composite number?
False
Is 3/(-9) - (-48)/9*142 composite?
False
Let k = 4 + -2. Suppose -91 = -l + 5*z, -58 = -k*l + 5*z + 134. Let p = l - 64. Is p a prime number?
True
Let q be 2 + 1*-3 + 4. Let o be 1*(0 - 6/q). Is (-780)/(-16) - o/8 prime?
False
Suppose 0 = 5*u - 0*u - 10. Suppose -u*o = 5*r - 38, 2*r = o - 0*o - 19. Is o a prime number?
True
Let a be (1 + -1)/(-2 + 1). Let w(x) = -x**3 + 2*x + 31 - 3*x + 2*x**3. Is w(a) composite?
False
Let g be (-32)/(-6) - 3/9. Let b be (-4)/(-10) + (-22)/g. Is ((-6)/(-9))/(b/(-474)) a prime number?
True
Suppose 2*r = -5*g + 20, 3*r - 19 = -2*r + 3*g. Suppose -r*m + 50 = -45. Is m prime?
True
Is (2*-89)/(4 - 6) prime?
True
Let f(z) = -z - 2. Let s be f(-3). Is 139/1*(0 + s) prime?
True
Let v = -188 - -398. Let a = v - 107. Is a composite?
False
Let a(g) = 3*g - 3. Let d be a(2). Let r = d - 3. Suppose 5*z + 2*s - 929 = 0, r = 3*z + s + 139 - 696. Is z a composite number?
True
Suppose 0 = -3*a - 4*z - 9, a - 2*z + 10 = -z. Let l(f) = -20*f - 1. Let c(s) = -39*s - 3. Let w(y) = -6*c(y) + 13*l(y). Is w(a) a composite number?
True
Let i(l) = -l**3 - 10*l**2 + l + 16. Let o be i(-12). Suppose w - 186 = -3*n + 263, 2*n - 3*w = o. Is n prime?
True
Suppose 3*g - 9 = -3. Let t(n) = 1 + g - 2 + 4*n. Is t(5) a prime number?
False
Suppose 0 = -i + 5*l + 22, -5*l = 5*i + 6 + 4. Suppose 2*y - 3*d + 10 = y, y = i*d - 5. Suppose y*w - 175 - 10 = 0. Is w prime?
True
Let i be (-1*2)/((-2)/6). Let b = i + -4. Suppose -b*u - 272 + 60 = -4*s, -4*s = -4*u - 204. Is s a prime number?
False
Let s be (-10)/(-45) - 13316/(-18). Suppose 2*l + s = 2*i + 2*i, 541 = 3*i - 5*l. Is i prime?
False
Let l = 26 - -51. Is l composite?
True
Let r(j) = -j**3 - 2*j**2 + 2*j. Let p be r(-3). Suppose -12 + 153 = p*a. Is a composite?
False
Let o = 337 - 222. Is o a prime number?
False
Let v = 4 - 6. Is v/18*-3*21 a prime number?
True
Suppose 0*p + 2*z - 17 = -5*p, 3*p - 2*z - 23 = 0. Suppose -o + 23 = -p*v, 4*o + 2*v = -7 - 11. Let s(g) = -7*g - 1. Is s(o) composite?
False
Let x(z) = -z**3 - 12*z**2 - 17*z + 9. Let l be x(-14). Suppose 0 = -2*v - v + l. Is v a composite number?
True
Let c = 349 + 274. Is c prime?
False
Suppose 30 - 6 = -2*f. Let v = f + 79. Is v a composite number?
False
Let k be 2/(-1) - -40 - 3. Suppose -k = -5*v - 2*p, v - 4*p = -v - 10. Let w(s) = 9*s - 6. Is w(v) a prime number?
False
Let l be -2*(11/(-2) + 1). Suppose 5*i - 39 = -l. Suppose -t + i*t = 485. Is t a prime number?
True
Let k be (0/(-3))/(-1) - -2. Is ((-20)/k)/(-1 - 0) a composite number?
True
Suppose 2*n = -4*a + 1 - 7, -5*n + 41 = -4*a. Let o(i) = -i**3 - 4*i**2 + 5*i + 4. Let y be o(-5). Suppose -n = -y*f + 231. Is f a prime number?
True
Suppose h = 5*h - 16. Let m(u) = -2*u**2 + 37. Let v(x) = -3*x**2 + 37. Let j(f) = h*m(f) - 3*v(f). Is j(0) composite?
False
Let r be (-4)/2*10/(-4). Let f(n) = -n + 10. Let s be f(r). Suppose -4*z = 5*q - 0*q - 715, 0 = -s*q - z + 700. Is q a composite number?
False
Let x(s) = -61*s - 1. Let u(g) = g. Let d(a) = -3*u(a) + x(a). Is d(-3) composite?
False
Let v(w) = -735*w + 17. Let q(p) = 2941*p - 68. Let n(z) = 4*q(z) + 17*v(z). Let y(c) = 122*c - 3. Let o(f) = 3*n(f) + 17*y(f). Is o(-1) a composite number?
True
Let g(h) = -h - 4. Let r be g(-8). Suppose -284 = -r*i - 3*j - j, 0 = 5*j - 20. Is i a composite number?
False
Let z be (4/1 - -327) + -1. Let g = z + -119. Is g composite?
False
Is 1072 + (-3 - -8) + -4 a prime number?
False
Suppose j - 1 - 1 = 0. Let t(b) = 96*b**3 + 3*b**2 - 3*b + 3. Let u be t(j). Suppose 0 = -7*k + 4*k + u. Is k prime?
False
Let l(q) = -27*q - 1. Suppose -3*h + 6*h - 4 = 2*u, 2*h - 3*u - 11 = 0. Is l(h) a prime number?
True
Suppose -v + 1772 = w - 1394, -2*w + 2*v + 6320 = 0. Is w composite?
False
Suppose 3 = -3*h + 3*i, -2*h - 2 - 5 = 3*i. Suppose -25 = 4*l - 1. Is l*h*(-22)/(-8) a prime number?
False
Let z = -4390 + 8501. Is z a prime number?
True
Let o be ((-20)/(-6))/(4/6). Suppose -j + 5*j - 194 = i, 2*j + o*i = 86. Suppose -5*l - 30 = -y, y - l = -2*y + j. Is y a prime number?
False
Let w = 5 - 6. Let h be 1*((w - -3) + 5). Is (-2)/(-7) + 26/h composite?
True
Suppose -8*b + 122