7. Is t composite?
True
Suppose 0*x + x - 10 = 0. Let a = x - 4. Is 254/a*(6 - 3) a composite number?
False
Suppose 0 = 5*a + 4*k + 12029, -a - k + 375 = 2780. Is a*2/(-12)*2 a composite number?
True
Suppose 5*y + 4*g - 72 = 3*g, g = -4*y + 58. Let t be (296/(-10))/(y/(-245)). Suppose -t = -0*f - 2*f. Is f composite?
True
Suppose -2*s = 5*b + 197, -4*s + 9*s = 3*b - 539. Let p = s - -655. Suppose 2*g - p = 61. Is g composite?
True
Let s be 26/(-65) - 2/(-5). Suppose -16*p + 13*p + 6 = s. Suppose 14 = l - o, p*l - 4*o + 13 = 31. Is l a prime number?
True
Suppose 2*d - 4*d - 6 = 0. Let g be d + 10 + -2 + 0. Suppose -p + g*i + 112 = 0, 5*p - 5*i - 365 = 255. Is p a prime number?
True
Let x = -14 + 16. Suppose -l - x = 2. Is l/14 + 1925/49 a composite number?
True
Let f = 30246 - 20003. Is f composite?
False
Let g = 5 - 7. Let k be ((-5)/g)/(5/4). Suppose -k*b - 4*p + 342 = -12, 0 = -2*b - 3*p + 358. Is b a composite number?
True
Suppose -4*o + 6966 = 4*q - 11262, -2*o = -4*q - 9138. Is o a prime number?
True
Let z = 14 + -2. Suppose 5*p + 3*k - z = -k, -3*p = 2*k - 6. Suppose 4*f - 3*f - 419 = p. Is f a prime number?
True
Suppose -4*b + 3*m = -110884, 0 = 139*m - 140*m. Is b prime?
False
Suppose 3888 = 2*f + 5*h, -13*f = -14*f - 2*h + 1945. Is f a composite number?
False
Let o(y) be the second derivative of 2*y**5/5 - 5*y**4/12 - 5*y**3/6 + 7*y**2/2 - y. Is o(4) prime?
True
Suppose -n + 5 = -2*g - 0, 2*n = -5*g - 26. Let k be -2*(2 - (-186)/g). Suppose f + 4*q - 143 = 0, -4*f + q - k + 610 = 0. Is f a prime number?
True
Let l(j) be the second derivative of j**5/20 + 23*j**4/12 + 10*j**3/3 - 23*j**2/2 - 18*j. Is l(-21) a prime number?
True
Let b be 2 + 1/3*3. Suppose 4*q - 14 = b*q. Let n(p) = 3*p + 4. Is n(q) a composite number?
True
Suppose 0 = -2*y - 2, 2*z + 4*y = 6*z - 29136. Is z a prime number?
True
Let h = 39 - -56. Suppose -f + 140 = -h. Is f composite?
True
Let k be 8/20 + 13/5. Let m(h) = -k*h - 3*h + h**2 + 13 + 6*h. Is m(-12) a prime number?
True
Suppose -x - 2*j - 20529 = -2*x, -x = -3*j - 20533. Is x composite?
False
Let k(c) be the first derivative of -259*c**5/120 - c**3/3 + 6. Let l(s) be the third derivative of k(s). Is l(-1) composite?
True
Suppose -z - 4 = 6. Let u = -5 - z. Suppose -u*f + 614 = -3*f. Is f composite?
False
Suppose 5*h = s + 40, h + 3*h + 4 = 0. Let q = s + 128. Suppose 0 = -t - q + 400. Is t a composite number?
False
Suppose -2*y + 3*l = -3494, -4*y = y - 4*l - 8749. Is y a composite number?
False
Let q = 116 - 113. Let j be 3 + -2 - (-2 - 114). Suppose -j = -q*a + 60. Is a prime?
True
Suppose -2*d + 4027 = 4*q - 1895, -3*q - 8901 = -3*d. Is d a prime number?
False
Suppose 0 = 2*r - 4*l - 150, 3*r + 3*l = 2*l + 204. Is r a prime number?
False
Suppose 6*f - 3099 = -3*y - 0*y, 4*f - 2073 = 5*y. Is f prime?
False
Let d(u) = u**3 + u**2 - 4*u - 3. Let o be d(-3). Is (64665/(-6))/o*2 a composite number?
True
Let h(o) = 0 + o**2 + 0*o**2 + 3 + 0*o**2 - 4*o. Let f be h(2). Is -2 - (2 + f)*-28 a prime number?
False
Let n(d) = 39*d**3 - 4. Let c be n(3). Suppose 0 = -w + 2136 + 1258. Suppose 5*u + c - w = 0. Is u composite?
True
Let c(h) = h**3 + 16*h**2 - 12*h + 34. Let b(y) = -7*y - 50. Let k be b(-5). Is c(k) a composite number?
False
Let n(b) = 16*b + 14*b + 1 - 12*b. Let y(d) = d + 24. Let p be y(-22). Is n(p) a prime number?
True
Is 8/(-16) - ((-6779)/2)/1 a composite number?
False
Let b(m) = 235*m - 13. Let t(i) = -2*i**3 - 3*i**2 - 4*i - 3. Let q be t(-2). Is b(q) composite?
True
Let p = -2 + -2. Let t be (-5 - p)/(1/(-69)). Is (-1 + 5/3)*t a prime number?
False
Let k be (-1)/2 - (-154169)/46. Is k/6 + 15/(-10) composite?
False
Let x(b) = -534*b - 2. Let a be x(-6). Suppose -4*r = -a + 570. Let g = r + -296. Is g a prime number?
False
Suppose 10*n - 1983 = 247. Is n a composite number?
False
Suppose 0 = -4*z + 5 + 11. Suppose -5 = z*r - 3*o, 0*o = 2*o + 10. Let b(d) = -d**2 - 7*d - 3. Is b(r) prime?
True
Let z(p) = 621*p + 9. Let h be z(-3). Suppose -j = -4*n - 3743, 3*n + n + 3755 = 5*j. Let r = n - h. Is r a prime number?
True
Let h(r) = 2*r**2 - 17*r + 14. Let g be h(25). Suppose -g - 158 = -w. Is w a composite number?
False
Let r(d) = 19*d**2 - 68*d + 44. Is r(43) a prime number?
True
Let p(r) = -r + 3. Let w be p(6). Let q = -3 - w. Let m(s) = -s**2 + 395. Is m(q) prime?
False
Suppose 0 = -2*h - k + 1546 + 465, -h + 2*k = -1003. Suppose 5*y + 2*u - h = -3*u, -5*y + 4*u = -1023. Is y a composite number?
True
Let k be ((-8)/(-3))/(39/(-9) - -4). Is (16/k)/((-2)/919) a prime number?
True
Let f(c) = c**3 + 26*c**2 + 21*c + 61. Is f(-17) a composite number?
True
Let i(x) = -3*x**2 + 13*x + 5*x**2 + 5 - x**2 - 2*x. Let f be i(-11). Suppose 2*w - 129 = -m, m + 0*m = f*w + 122. Is m a composite number?
False
Let h(g) = 471*g**2 - 29*g - 305. Is h(-9) a prime number?
False
Let i(v) = 184*v**3 - 2*v + 33. Is i(4) a prime number?
True
Let t(w) = -51*w**3 + 7*w**2 + 10*w + 2. Is t(-5) a prime number?
False
Let f be (2 - 2) + (25/(-5) - 7). Let w(j) = -48*j + 65. Is w(f) a prime number?
True
Let s = -5709 - -15696. Is s a composite number?
True
Suppose -29*x + 31*x = -3266. Let z = x - -5478. Is z a prime number?
False
Let p(g) = g**3 + 9*g**2 - 11*g - 7. Let k be 5/15 + (-62)/6. Let o be p(k). Suppose 2*i - o*x = -7*x + 82, -133 = -3*i - 4*x. Is i prime?
False
Suppose -35221 = -w - 2*m, w - 96*m - 35224 = -97*m. Is w a composite number?
False
Suppose v + 49 = 5*c, -2*v + 2*c = 83 + 7. Let l = v + 277. Is l composite?
False
Let f = 18 - 16. Let t = -70 - -319. Suppose -f*l = l - t. Is l a prime number?
True
Let h = -5743 + 15270. Is h a composite number?
True
Let l be 440/(-6)*945/(-30). Suppose 5*s - 5*v = l, 0*s - 2*v = -3*s + 1387. Is s prime?
True
Suppose 2*w - 3*w = -5, -5*w - 48 = -g. Suppose g = -5*a - 42. Is (11 - 16)/(1/a) a prime number?
False
Let j(b) = 195*b**2 - 6*b - 38. Is j(-3) a prime number?
False
Suppose -71 = 6*y - 2033. Let r = y + -74. Is r prime?
False
Let p = 1591 + -565. Suppose -4*l = 8, p = -3*u + 5*u - l. Suppose 2*y - u = -38. Is y a prime number?
False
Let b(v) = -v**3 + 16*v**2 - 16*v + 13. Let f be b(15). Is f - (-1 + -1359 + 6/(-2)) composite?
False
Let y = -24 - -12. Let k be (4/10)/(1/15). Is 239/2 + k/y a prime number?
False
Let r = 9265 + 768. Is r composite?
True
Let n = 104413 - 47427. Is n a composite number?
True
Suppose 0 = -120*a + 118*a + 5854. Is a composite?
False
Let j be (-4)/(-8)*0 + -7. Let w be 4/28 + (-34)/j. Suppose 4*z + x - 196 = 0, w*z = -x - x + 245. Is z prime?
False
Let w(m) be the first derivative of -m**2 + 9 + 1/3*m**3 + 11*m. Is w(9) a composite number?
True
Let u(x) = -x + 16. Let i be u(12). Suppose -n - 3*n = -3*p - 14, 0 = i*n - 20. Suppose -d = -6*d + 5, -d - 117 = -p*r. Is r prime?
True
Let z = 84 + -53. Let k = z - 112. Let a = k - -140. Is a composite?
False
Suppose 313070 = -249*r + 259*r. Is r prime?
True
Suppose 270440 = 7*i + i. Is i prime?
False
Let o be (-8)/4 - (-2 - 0). Suppose 0 = 4*l - 2*g + 56, l + 2*g + 19 = -o*l. Is 5/(-25) - 1278/l a composite number?
True
Let l = -8 + 12. Suppose -r - l*r = 0. Suppose 3*p + r*p = 93. Is p a prime number?
True
Let h(t) = 6*t**2 + 14*t - 31. Let k(r) = -r**3 - 8*r**2 - 9*r - 4. Let y be k(-7). Is h(y) a prime number?
True
Suppose 0 = d - 4*i - 10 - 3, -4*i = -5*d + 33. Suppose 0*h - 3305 = -2*v - 3*h, 3*h - 8276 = -d*v. Is v a composite number?
False
Suppose 0 = 45*f - 25*f - 122260. Is f a prime number?
True
Is 235570/40*-1*-4 a composite number?
False
Let d(w) = -w**2 + 12*w - 15. Let p be d(10). Suppose -2*c + 6*c + 2*o = 3574, -c + 871 = p*o. Suppose c = 5*v + 291. Is v prime?
False
Let c(v) = 199*v - 49. Is c(8) a prime number?
True
Is (-3 - -1)*-167*178/4 composite?
True
Is (-3)/(-8) + (1 - 219429/(-72)) composite?
False
Let y = 20 + -20. Suppose -3*n + 3*k = y, 6*k - k - 36 = -4*n. Is n/(-14) - 3135/(-21) prime?
True
Suppose -5*r - d + 74907 = 3*d, -5*d + 15 = 0. Is r prime?
False
Let p be ((-3)/(-12))/(2/16). Suppose p*t + 34 = 4*z + 614, 2*z + 1184 = 4*t. Is t prime?
False
Let p(n) be the first derivative of -3*n**4/4 + n**3/3 + n**2/2 - 2*n - 1. Let u(j) = -j - 12. Let b be u(-9). Is p(b) prime?
False
Let n be 5835/2*36/(-27). Is 4/(-5) - n/50 composite?
True
Let t = -26 + 29. Suppose -4*