Suppose 5*x + 16 + 9 = 0. Is -5414*(-2)/x*(-15)/12 prime?
True
Let x(t) = 3*t - 27. Let o be x(12). Suppose 2*a + 4*l - 233 = o*l, 3*a - 359 = -2*l. Is a prime?
False
Suppose 0 = 6*c - 10*c - 1620. Let i be (-16)/((-1)/(c/(-10))). Suppose -i - 2019 = -3*t. Is t a composite number?
True
Let w(r) = 1539*r + 26. Is w(5) composite?
True
Let o be 11 - (-1)/2*6. Is 1812/7 + 2/o prime?
False
Let w be (-1)/(-3)*(4 + 2). Is (0 - w)/(10/(-95)) a composite number?
False
Let x(z) = z - 9. Let s be x(3). Let g(k) = -k**3 + k + 1. Let c(w) = -6*w**3 - 9*w**2 - 3*w + 7. Let m(u) = -c(u) + 5*g(u). Is m(s) a prime number?
False
Let f = -7156 + 30687. Is f prime?
True
Suppose 2*x = 11 - 1. Suppose -365 - x = -2*g. Is g a prime number?
False
Suppose 0 = 4*t - b + 97, -2*t - 4*b = 3*t + 116. Let y be t/(-9) - 2/(-6). Is (y - 0)/(3/46) composite?
True
Let f(t) = 2*t + 3. Let j be f(1). Suppose -2*v - j*o + 5672 = -3*o, -v + o + 2840 = 0. Is 6/(-4) - v/(-12) a composite number?
True
Is (-1645702)/(-119) + (-6)/14 composite?
False
Let g(z) = 32*z**3 - 8*z**2 + 2*z - 2. Let k be g(7). Suppose -k + 462 = -9*y. Is y composite?
True
Suppose 5*c - 10428 = 13327. Is c a composite number?
False
Let a = 4 + 14. Let l be (-4)/(-6) - 12/a. Suppose -7*u + 4*u + 102 = l. Is u a composite number?
True
Let v be 2403/(-12) + 1/4. Let n(s) = s**2 - 17*s + 27. Let z be n(16). Let o = z - v. Is o a prime number?
True
Let f(s) = 509*s - 7. Let k = 40 + -36. Is f(k) a composite number?
False
Suppose 5*h = 3*h + 65570. Let y be h/20 - (-2)/(-8). Suppose 2*s + 2 = 0, -3*g + 3*s + y = 5*s. Is g prime?
True
Let g(q) = -112*q - 281. Is g(-24) a composite number?
True
Suppose -3*o = -3*n - 3 - 0, 11 = 3*o - n. Let u(i) = 2*i**3 + 33*i**2 + 21*i - 19. Let l be u(-16). Is 2/o - l/15 a composite number?
False
Suppose 0 = 11*o - 20217 - 65660. Is o composite?
True
Let w(l) = -6*l**2 - 2*l + 1. Let x be w(1). Let n(o) = o**2 + 6*o + 10. Let d be n(x). Suppose -2*b + 55 = d. Is b a prime number?
True
Suppose -38*c = 30*c - 3085772. Is c composite?
True
Let t be (1 - -1)/((-2)/(-6)). Suppose -16 = -5*f - t. Suppose f*n - 1905 = -n. Is n a prime number?
False
Suppose -3*a = 5*n - 45451, -6*n + 5*a - 45455 = -11*n. Is n a composite number?
True
Suppose 17*b + 31 + 20 = 0. Is (((-2164)/8)/(-1))/(b/(-6)) a composite number?
False
Suppose -7521 = -3*o - 1158. Let b be o/9 - (-4)/12. Suppose 0 = 5*t + 4*a - 1189, 0 = -t + a - 0*a + b. Is t composite?
True
Let t = -1078 + 1633. Suppose 0 = 9*l - 12*l + t. Is l a composite number?
True
Suppose 4*v + 6*t - 2*t = 1296, -3*v + 4*t = -965. Is v composite?
True
Let h be 5 + 1599 - 12/(-3). Suppose 4*y + h = 2*i + 2*i, -1616 = -4*i - 4*y. Is i a prime number?
False
Let n = 21 + -21. Suppose 2*w = -2*m + 1182, 5*m + n*w - 2951 = -3*w. Is m prime?
False
Let m(j) = -4*j**2 - 6*j - 8. Let u be m(-3). Let b = u - -72. Is b composite?
True
Let h = 24593 - 14246. Is h a composite number?
True
Let s(q) = q**2 - 21*q + 9. Let w be s(7). Let z = w + 186. Is z a composite number?
False
Let y be ((-11)/((-132)/(-45)))/(1/(-20)). Suppose 0 = -y*m + 72*m + 435. Is m a prime number?
False
Let x = -22599 - -96941. Is x a prime number?
False
Let g(u) = -252*u**3 - 2*u**2 + u + 2. Is g(-1) prime?
True
Let j(m) be the first derivative of -2*m**3/3 - 11*m**2 - 2. Let h be j(-11). Suppose 158 = 2*f - h*f. Is f a composite number?
False
Let i = -30 - -32. Suppose 2*z + 2*n - 3662 = -2*n, -i*z + 3*n = -3634. Is z prime?
True
Let l(p) = -602*p - 1. Let i be l(-1). Let m = 726 - -128. Let x = m - i. Is x a composite number?
True
Suppose 7*l - 6338 = 12597. Is l a composite number?
True
Suppose -101226 = -15*v + 9*v. Is v a composite number?
False
Let f(p) = -635*p - 3 - 5 - 15. Is f(-6) prime?
False
Is 21113 + (3 - 75)/6 composite?
False
Let f(t) = -4*t - 2. Let u be f(-3). Is (-83)/(-1 + 8/u) composite?
True
Suppose -9 = 3*s - 6*s + 5*o, -s + 5*o + 3 = 0. Let f(g) be the third derivative of 17*g**4/24 - 2*g**3/3 + g**2. Is f(s) a composite number?
False
Suppose -2*u + 170 = -236. Is u composite?
True
Suppose 4*i - 524 = 2*z, -84 - 444 = -4*i + z. Is (-38)/i + (9347/7 - -2) a prime number?
False
Let o(f) = -f - 4. Let l be o(-6). Suppose -8 = -3*q + 4*w, -2*q + l*w = -2*w - 4. Suppose -3*t + 347 = 4*g - 0*t, t = q*g - 327. Is g composite?
False
Suppose -2*i - 979 = -3*i. Suppose -i = -4*o - 215. Is o a prime number?
True
Suppose 2*w = 3*s - 30663, s + 2*w - 10210 = -w. Is s prime?
False
Let h be (-6)/(-21) - 52/(-14). Suppose 0 = 4*f + 3*v - 429, 3*v = h*f - 0*v - 411. Suppose 0 = -5*y - 5*w + f, 4*y + w = -7 + 94. Is y a composite number?
True
Suppose 0 = 5*d + 15, -2*p = d - 6 - 3. Let q(l) = 5 - 64*l**3 - 2*l**2 - 5*l**2 + 22*l**3 + 20*l**3 + 26*l**3 + 4*l. Is q(p) composite?
False
Let n be (244/(-8))/(1/(-14)). Suppose z - 3*z - 2*h + 182 = 0, -h = 1. Let g = n + z. Is g composite?
True
Let d = 5 + 1. Let p = d - 8. Is (p/(-3))/((-20)/(-1590)) a prime number?
True
Let t(k) = -15*k + 83. Is t(-8) a prime number?
False
Let o(u) = u - 2. Suppose 3*b - 22 = -7. Let q be o(b). Suppose 0 = -q*y + 104 + 157. Is y composite?
True
Suppose -4*u + 56 = -s + 3*s, 0 = -5*s + 3*u + 140. Suppose 1435 = -23*w + s*w. Is w composite?
True
Let o(a) = 9*a + 10. Let p be -9 + 3 + -2 + 2. Let m be o(p). Is (m/(-6))/(14/63) a prime number?
False
Let i be (-6)/(-3)*(-98 - -1). Is ((-6)/6)/(1/i) composite?
True
Let b(x) = -555*x - 136. Is b(-7) a composite number?
True
Suppose 0 = -6*t + 21 - 3. Suppose 0 = -j + t - 9. Is (3/j)/((-2)/1556) a composite number?
False
Suppose -3*b - w + 136 = -0*b, w = -b + 46. Is -4 - (-10)/1*b a composite number?
True
Suppose 2*a = -2*a + 3*n + 16792, -2*n = 5*a - 20990. Let g = a - 2655. Is g a prime number?
True
Let z be (2 - 3) + (-22)/2*-444. Is (z/(-76))/(2/(-24)) a composite number?
True
Suppose p - 1207 = 478. Is 3/(-1)*p/(-15) a prime number?
True
Let n = -10 + 12. Let d(o) = 5*o + 2. Let g be d(n). Suppose -2*u + 36 = -5*y, g = -2*u - 5*y + 28. Is u prime?
True
Let n = -12 - -23. Suppose 3*a = -q + 7 - 2, -2*q = -a + n. Suppose -4*v + 4*s = -84, 3*v = -a*s + 111 - 18. Is v composite?
True
Suppose -4*d - 5*z + 78 = 0, 0 = d + z + 4 - 24. Suppose 2*a = d + 30. Is a a composite number?
True
Suppose -4*d - m = -26 + 9, 2*m = -3*d + 14. Suppose 4*a = 3*h + 245, a - 6*a + d*h = -307. Suppose -a = -4*o - 5*x, 0*x - 31 = -2*o - 3*x. Is o prime?
True
Suppose 0 = -3*f - z + 6385, 0 = f + 4*z + 389 - 2510. Is f a composite number?
False
Suppose 0 = -4*k + 3*a + 13958, -5*k + 17459 = 10*a - 8*a. Is k a composite number?
False
Let v = -50 - 13. Let c = v + 119. Let y = 135 - c. Is y a composite number?
False
Suppose -57671 = -21*x + 423376. Is x prime?
True
Let s be (404/(-6) - 0)*(-9)/6. Let v = s + 26. Is v composite?
False
Let a(x) = x + 578. Let q = -3 + 3. Let n be a(q). Suppose -3*t - 179 = -n. Is t a composite number?
True
Let m(c) = -c**2 + 635. Let x be m(0). Let z = -424 + x. Is z a prime number?
True
Let x = -977 + 6358. Is x composite?
False
Is (-1)/2 + (-6370275)/(-314) prime?
True
Let k(f) = -74*f - 23. Let r be 1*4*(-3 - 9/12). Is k(r) a composite number?
False
Let j = -5 - -9. Suppose 3*b = -2*b + 20. Suppose 124 = j*v - 3*l, -2*l = b*v + 2*l - 152. Is v composite?
True
Suppose 3*h = -4*z + 8*h + 36, 2*h = -4*z + 8. Is 334/1 - 6/z*2 a prime number?
True
Let s = 78 - -136. Let a(l) = l**3 - 2*l**2 - 4*l. Let d be a(3). Is (d + s + 0)/1 a prime number?
True
Suppose 121*i + 511 = 48*i. Let q(c) be the third derivative of -7*c**4/12 - 5*c**3/6 + c**2. Is q(i) prime?
False
Suppose 4*k - 5*y = 1781, 883 = 2*k - 5*y - 0*y. Is k prime?
True
Let q(j) = -16*j - 2. Let t be q(-2). Let x be (-12)/(-10)*t/9. Suppose 499 = 4*y + 2*n - 5*n, 0 = x*n - 12. Is y a composite number?
False
Let b = -39976 - -58509. Is b a prime number?
False
Let b(n) = -67*n + 6. Let o be b(8). Let c = 748 + o. Suppose -c = -0*q - 2*q. Is q prime?
True
Let r = -5 - -5. Let j(k) = r - k**2 + 4 + 1 + k**3 - 5*k + 0*k**3. Is j(4) composite?
True
Let l(k) = -k. Let g be l(8). Let n be ((-124)/g - -3)*2. Is n*(-20)/(-12)*3 a composite number?
True
Let j = 4809 + 302. Is j a prime number?
False
Suppose -2*t - 4*u - 7432 = 3*t, -u = 4*t + 5950. Let l(h) = -h**3 - 3*h**2 + 109*h + 8. Let g be l(-12). Is