t w = -90 + d. Is w a composite number?
False
Suppose 4*j = l + 2816, -14 + 2 = 3*l. Is j prime?
False
Is 1*(21 + 2)*1 a prime number?
True
Let y = 704 + -411. Is y a composite number?
False
Suppose 0*n = -4*n + 3172. Suppose -f - 4 = 0, -j + 6*j - 3*f = -n. Let z = j - -228. Is z a composite number?
False
Let a(w) = 1735*w - 2. Is a(1) prime?
True
Let a(s) = -s**2 - 8*s + 3. Let p be a(-8). Suppose -p*b + 2*k = -715, -481 = -2*b - 0*b - 3*k. Is b a prime number?
True
Let z be 20426/12 + 3/(-18). Suppose -38 = 4*d - z. Let c = 603 - d. Is c a composite number?
True
Suppose -c - 34 = -4*a, -3*a + 3*c = -c - 32. Suppose 4*y - 20 = -6*l + l, -2*l = -3*y - a. Suppose -2*o - 52 + 218 = 4*f, -l*o = f - 311. Is o composite?
True
Suppose 4*r - 359 = -3*y, y + 91 = r + 3*y. Is r prime?
True
Let l be 1*(0 + (1 - -1)). Let x be -3 - (3 - 2 - l). Is (-61)/x - 1/(-2) a composite number?
False
Let h = -166 - -371. Is h a prime number?
False
Suppose -3*f + 1746 = 552. Let z = f - 277. Is z composite?
True
Let y be 398/((1 - 0) + 1). Let k = y - 142. Is k + 0*(-1)/2 composite?
True
Let h(d) = 7*d**2 + 4*d. Let a be h(3). Suppose -4*o - 5*l + 225 = 0, -3*o - 5*l = -5*o + a. Let c = o - 15. Is c prime?
False
Let b(k) = -2 + 0*k - 2*k + 0*k. Let t be b(4). Let a = 13 + t. Is a composite?
False
Is (-2 + 1)/(4/(-268)) composite?
False
Let s be (4/3)/(6/9). Suppose s*q - 469 = -47. Is q a composite number?
False
Let k(b) = 121*b - 41. Is k(6) composite?
True
Suppose 2*y - 6 = -y. Let r(s) = -s**2 - 5*s - 4. Let k be r(-5). Is 40/y*(-2)/k prime?
False
Let s = -4916 + 7015. Is s a prime number?
True
Let h = 29 + -81. Let n(w) = w**2 - 4*w + 9. Let g be n(12). Let p = g + h. Is p a prime number?
True
Is 0 - (-3 - 216/2) prime?
False
Let r(a) = 8*a**3 - 15*a**2 + 3*a + 3. Is r(8) prime?
True
Suppose -3*s = -0*s - 1686. Let l = 195 + s. Suppose -5*m = -2*p - 514 - 225, -5*m + l = 4*p. Is m prime?
True
Suppose w - 5 = 0, -w - 2*w = 4*r - 55. Let v be 1674/r - 2/5. Is (-2)/4 + v/2 prime?
True
Let d(i) = i + 1. Let x be d(1). Suppose -c + 41 = -0*c - x*j, -5*j + 125 = 4*c. Is c a composite number?
True
Suppose 0 = 3*x + x - 28. Suppose -4*j + x*j - 69 = 0. Is j prime?
True
Let f be (-12 - -5) + 2*1. Let x be 0 + 22 - 5/f. Suppose -5*q + x + 12 = 0. Is q a prime number?
True
Is (938/(-28))/(1/(-34)) a prime number?
False
Suppose 2 + 0 = z. Let m be ((z - 3) + 1)/2. Suppose -3*s + 4*c + 34 = m, 33 + 5 = 4*s + 2*c. Is s composite?
True
Suppose -18 + 2 = 4*x. Let u(r) = -6*r - 9. Let g(j) = 3*j + 5. Let a(s) = x*u(s) - 7*g(s). Is a(8) a prime number?
False
Suppose -11 = -2*h + 7. Is 2/h + 1108/36 composite?
False
Suppose 25 = 6*k - k. Suppose 4*w - 16 = 5*h, -4*h - 2 = -0*w - 2*w. Suppose -k = -2*g + w. Is g prime?
True
Suppose 24 = 4*n - 5*u - 9, 31 = 4*n - 3*u. Let f = -11 + n. Let w = f - -10. Is w composite?
True
Suppose 4*w - 23270 = -6*w. Is w composite?
True
Suppose 5*l = 0, -2*a + 5*l - l = -4. Suppose p - 5 = y, -y - 21 = -7*p + a*p. Is (0 + -1)*13*y a prime number?
True
Suppose 6*c - c - 5 = 0. Suppose 4*a + u = 1, a - u + c = -a. Is a + (-2 - (-51)/1) composite?
True
Let h(w) = 5 - 6*w + 4*w - 4*w. Is h(-5) a prime number?
False
Suppose 0 = 5*r - 15, -2*g + 1170 = 3*r - 821. Is g composite?
False
Is 680/(-32)*(0 - 4) composite?
True
Let q be ((-3)/(-6))/((-3)/(-3048)). Suppose q = 5*w - w. Is w a prime number?
True
Suppose 3*n + 34 - 1630 = -3*t, -5*t - 2670 = -5*n. Is n composite?
True
Suppose 0 = s - 586 + 192. Is s prime?
False
Suppose n = 5*v - 0*n - 296, -4*v - 4*n + 232 = 0. Is v prime?
True
Suppose -5*t = -2*t - 141. Is t prime?
True
Let a be (15/6)/(1/(-2)). Is 24/42*(2 - a) a composite number?
True
Let j = 1027 + -720. Is j a prime number?
True
Suppose d - k = 0, 4*d = 3*k - 0*k + 5. Let s be (0 + d - 3) + -830. Is s/(-8)*2/3 a composite number?
True
Is 1867/7 + 6/21 a composite number?
True
Is (-12)/42 - 21522/(-14) prime?
False
Let w be (-5)/6*(-5 - 1). Suppose 2*g - 40 = k - 187, -w*g - 576 = -4*k. Is k a prime number?
True
Suppose 591 = 6*z - 405. Let p = 71 + z. Is p a prime number?
False
Is ((-74)/6)/((-2)/6) prime?
True
Is (-16255)/30*6*-1 prime?
True
Suppose 5*d + 3315 = 13820. Is d a composite number?
True
Suppose -4*q + 0*b + 630 = b, 4*b = 3*q - 482. Suppose -s = 4*p + q - 976, -p + 3*s + 211 = 0. Is p composite?
True
Let c(u) = 2*u**3 - 4*u**2 + 3*u - 1. Let i be c(2). Suppose 3*b = -3*m + 402, -i*m - 290 - 201 = -4*b. Is b composite?
True
Suppose -l = 4*l - 335. Is l prime?
True
Let n(a) = -4*a**2 + 3*a - 2. Let d be n(2). Suppose 0 = r - 0*r + h - 25, -2*r + 50 = h. Let o = d + r. Is o a prime number?
True
Let d = -49 - -132. Is d a prime number?
True
Let q(t) be the third derivative of 19*t**5/60 - t**4/4 - 5*t**3/6 - 2*t**2. Let j be q(5). Suppose -3*p - 5*z = -j, -5*p + 4*z + 1118 = 397. Is p composite?
True
Suppose 5*c + 1623 = 8548. Is c a prime number?
False
Is 587 + 2/3*-6 composite?
True
Suppose -5*m + 548 = -2037. Is m prime?
False
Suppose -307 + 88 = -4*h + m, -5*h - m = -276. Is h a prime number?
False
Let a(t) = t**2 - 9*t + 11. Let d be a(8). Suppose 0*l + d*l = 501. Is l composite?
False
Let m = -30 - -101. Is m a composite number?
False
Suppose -1450 = -5*x - 3*l, -4*x + 3*l + 1197 = -2*l. Is x prime?
True
Suppose -5*z - 10 = 0, 2749 = 3*p - 3*z + 7*z. Is p prime?
True
Let r = 663 + -410. Is r composite?
True
Let p(v) = 2*v**2 - 3*v + 1. Let w be p(2). Let b be (-10)/(-3) - (-2)/w. Suppose c + b*a = -5, -5*c + 0*a + 39 = 4*a. Is c composite?
False
Let d(j) = 6*j**3 - j**2 + 6*j + 126. Let u(s) = 5*s**3 - s**2 + 5*s + 125. Let r(v) = -6*d(v) + 7*u(v). Suppose -w - 3*w = 0. Is r(w) a composite number?
True
Suppose 2*i + 158 = -0*i. Is (i/(-3))/(2/6) prime?
True
Let d(l) = 3*l - 8. Let q(k) = -4*k + 9. Let u(o) = -3*d(o) - 2*q(o). Let x be u(6). Let b(z) = z**2 + z + 19. Is b(x) prime?
True
Suppose 9*m = 12*m - 417. Is m a prime number?
True
Is 1042*3/(-12)*-2 prime?
True
Let v(f) = 77*f**2 + f + 1. Let y(l) = -l**2 - 3*l + 2. Let j be y(-2). Let d = -5 + j. Is v(d) prime?
False
Let t(i) = -i**3 - 5*i**2 - 5*i - 1. Suppose -3*p - f - 16 = 0, -5*f = -4*p - 0 + 4. Let a be t(p). Is (1 - a*18)*-1 prime?
True
Let n(s) be the third derivative of s**6/120 - s**5/12 - 7*s**4/24 + 5*s**3/3 - 4*s**2. Is n(7) composite?
False
Let t(h) = 565*h**2 - 2*h. Is t(1) prime?
True
Let d = -1913 + 2922. Is d a prime number?
True
Let h be (8 + 2)/(-1 - 1). Let i(y) = -y**3 - y**2 + 6*y - 1. Is i(h) composite?
True
Let g(d) = -76*d + 25. Is g(-27) a prime number?
False
Let q(v) be the second derivative of 295*v**4/12 + 2*v. Let y be q(1). Suppose -2*c = 3*c - y. Is c a composite number?
False
Let g(z) be the third derivative of -13*z**4/4 - z**3/6 - 2*z**2. Is g(-3) a composite number?
False
Suppose -4*w - 4*z = -0*w, 3*z + 15 = 2*w. Let n(g) = -w - g**2 - g**2 + 12*g**3 + 4*g - g**2. Is n(2) a composite number?
False
Let v = 17 - 13. Suppose 102 = -v*x + 994. Is x a prime number?
True
Let n(l) = 384*l**2 - 1. Is n(-2) a prime number?
False
Let f be -4*-2*(-12)/(-32). Suppose 4*d - 251 = f*d. Is d composite?
False
Let u = 9569 + -6388. Is u prime?
True
Let w(p) = 23*p - 2. Is w(3) a prime number?
True
Let b(p) = -p**3 - 7*p**2 - 2. Suppose 3*k = 5*k + 14. Let s be b(k). Is (35 - s)/(2 + -1) composite?
False
Suppose 4*l - 11 - 1 = 0. Suppose 526 = -w + l*w. Is w a composite number?
False
Let h be (32/(-12))/((-4)/6). Suppose -h*d + 213 = -d. Let l = -16 + d. Is l a composite number?
True
Is 6/4*582/9 composite?
False
Let a(p) = 0*p + 66*p**2 + p - 2*p. Suppose 0 = 2*g + g + m, g = -5*m + 14. Is a(g) prime?
True
Suppose -4*v + 1413 = -67. Suppose -2*x - v = 3*x. Let f = 139 + x. Is f prime?
False
Let q = 62 - 96. Let r be -2 - 4/((-12)/(-63)). Let t = r - q. Is t composite?
False
Suppose -3*o = -8*o - 160. Let i = 21 - o. Is i prime?
True
Is 1796/7 + 12/28 a composite number?
False
Let r = -85 + 254. Suppose -3*z = -730 + r. Suppose z - 822 = -5*c. Is c a prime number?
True
Let k be 4/(-8) + (-9)/6. Is (-1)/(k/22 + 0) a prime number?
True
Let u(h) = -21*h + 4. Suppose 5*r = 4*q + 3 + 3, -5*r = -3*q - 2. Is u(r) a composite number?
True
Let v = -2329 + 1353. Let p = v + 2261. Suppose -4*l + p = l. Is l a prime number?
True
Suppose -x + 2268 = -5*k, 4*