 composite number?
True
Is ((-58)/3)/((-4)/12) a prime number?
False
Let q(j) = -3*j**3 - 3*j**2 - 4*j - 3. Let l be q(-4). Let v be 5/(-3)*(0 - 3). Suppose 88 + l = v*a. Is a a prime number?
False
Let g be -1*(2 + -7) + -1. Suppose -115 = -3*u + 182. Suppose w = g*w - u. Is w a prime number?
False
Is -2 - (-5 - -11)*1089/(-6) a composite number?
False
Let z = 314 - 97. Is z prime?
False
Let d(z) = z**3 - 10*z**2 - 11*z + 7. Let h be d(11). Suppose -h*n + 170 = -2*n. Is n composite?
True
Let b = -8 - -12. Suppose 3*s + 4*w - 8 = 0, -s + 3*w = b*w - 1. Let d = 25 + s. Is d a prime number?
False
Let t be 9/(-12) - (-57)/12. Is (t/6)/(24/1116) a composite number?
False
Is 49/2 - 2 - 27/18 a composite number?
True
Let y(u) = u**3 - 6*u**2 - u + 1. Let r be y(6). Let b(q) = 7*q**2 - 6*q + 4. Is b(r) prime?
False
Let j be (-2)/4 - (-358)/4. Suppose 0*q = -5*q + 330. Suppose -q = -z + j. Is z a prime number?
False
Let o = 1 - -3. Let p = o + -1. Let d(f) = 3*f**2 + 3*f + 1. Is d(p) a prime number?
True
Let k(a) = a - 5. Let y be k(7). Let p(t) = -2*t**2 + 3 + 1 - y*t + 11*t**2. Is p(3) a prime number?
True
Let b = -2 - -2. Suppose b = -5*s + 133 - 523. Is -1 - (s + 0/(-3)) a composite number?
True
Let o(t) = t**3 - 3*t - 4. Is o(6) prime?
False
Let n(u) = u**3 - 3*u**2 + 3*u. Let d be n(2). Suppose -3*s = s + d*h - 326, -2*s + 5*h + 169 = 0. Is s a composite number?
True
Suppose 4*i - 90 = q, 2*q - 96 = -4*i - 0*q. Suppose i = -4*x + 5*x. Is x a prime number?
True
Let q = -20 + 20. Suppose -2*l + 1828 - 90 = q. Is l prime?
False
Suppose 4*w - w - 30 = 0. Let m be (0 - 0) + 7*w. Suppose -3*t = -5*t + 8, 2*o - m = 2*t. Is o a prime number?
False
Suppose -309 = -b - 3*a, -3*b - 5*a + 1222 = b. Is b a prime number?
False
Let d = -11 + 8. Let f(y) = -6 + 3 + y - 4*y**2 + 2 + 6*y**2. Is f(d) a prime number?
False
Is 3 + (-13)/(39/(-420)) prime?
False
Is (-6)/24 + 12879/12 prime?
False
Let f = 0 + -7. Let z(h) = h**2 - h - 6. Let i be z(f). Let c = 27 + i. Is c a prime number?
False
Let r(g) = 18*g**2 - 10*g + 1. Is r(4) a composite number?
True
Let b(q) = -61*q + 48. Is b(-5) a composite number?
False
Let g = -2 + 1. Let f(s) = -s. Let q(h) = 11. Let b(n) = g*q(n) + 5*f(n). Is b(-10) a composite number?
True
Let w = -6 - -8. Suppose 2*d - 6 = 0, -4 = 5*u + w*d + 15. Is 16/40 - 383/u a composite number?
True
Let c be 44/(-5)*(1 + 4). Let k = 158 + -3. Let a = k + c. Is a a composite number?
True
Let s be 6/(-1)*-1*1. Let j(x) = -6*x - 8. Let o(m) = -5*m - 9. Let c(i) = -4*j(i) + 3*o(i). Is c(s) prime?
True
Let n = -3 + 3. Suppose y - 15 - 4 = -2*v, n = -5*y + 25. Let z = 21 - v. Is z composite?
True
Let h = 38814 - 26513. Is h composite?
False
Let l = 31 - 53. Let c be 6/(-9) + l/(-6). Let y(o) = 2*o**2 + 3*o - 4. Is y(c) prime?
True
Let s = 11183 - 6495. Is ((-1)/(-4))/(4/s) a prime number?
True
Let z(h) = -5*h - 6. Is z(-15) a prime number?
False
Let t(z) = -20*z + 3. Let b be t(-3). Let h = b + -116. Is (h/(-2))/((-4)/(-8)) prime?
True
Is (60 - 1)*(-5 + 6) prime?
True
Suppose 0*r + 2 = 4*r - 2*a, -3*r + 4*a = 6. Suppose -r*u + 170 = -2*v, 86 + 8 = u + 2*v. Let i = 146 - u. Is i composite?
True
Suppose i - 2874 = -i + 2*v, 2*v + 4313 = 3*i. Is i prime?
True
Suppose -4*u + 407 = -3*u. Is u a prime number?
False
Suppose -103 = 2*a + 69. Let s = 169 + a. Is s prime?
True
Suppose 1088 - 291 = x. Is x a prime number?
True
Let i(j) = -j**2 - 6*j. Let x be i(-6). Suppose x = -0*w - 2*w + 30. Is w composite?
True
Suppose -9*x = -5*x - 284. Is x a composite number?
False
Let l be (-231)/(-8) - 1/(-8). Let b = l - -194. Is b prime?
True
Let o(m) = -10*m + 17. Suppose -3*j - p - 37 - 6 = 0, -3*j + 2*p - 40 = 0. Is o(j) composite?
False
Let y(t) be the third derivative of -1/15*t**5 - 1/12*t**4 + 0*t + 1/3*t**3 - 1/120*t**6 + 0 - 2*t**2. Is y(-5) composite?
False
Is 3930/20*2/3 prime?
True
Suppose 0*i - 5*h - 30 = -4*i, 0 = -4*i - 4*h + 12. Let r(q) = 5*q**2 + 6*q + 4. Let s be r(i). Suppose -s = 3*t - 6*t. Is t a composite number?
False
Let t(z) = 16*z + 1. Let y be t(7). Suppose 3*a = -4*b + 3*b + y, -72 = -2*a + b. Is a a composite number?
False
Suppose -8*c + 9*c = 0. Suppose c = -0*s + s - 443. Is s a prime number?
True
Is (-1908)/(-21) + 2/14 a composite number?
True
Suppose 2*t - 3*f + 172 = -109, 3*t = 5*f - 424. Let r = 278 + t. Is r a prime number?
False
Let f(r) = -r**3 - 7*r**2 - 4*r + 5. Let b be f(-7). Suppose b = h - 0*h. Is h a composite number?
True
Let g be 3 - (5 - (2 + 2)). Suppose g*c = -15 + 481. Is c prime?
True
Let j(z) be the third derivative of -z**4/4 - z**3/6 - 2*z**2. Let u be j(-2). Suppose 142 = s + u. Is s prime?
True
Let m be 43 + (-3)/((-6)/4). Let n be m/6*2/3. Suppose -472 = -n*g + 163. Is g a composite number?
False
Is 2/(-13) - (-7931)/91 prime?
False
Let b be 6/(-9)*-2*3. Suppose 0 = b*x + 1 - 13. Suppose x*y = 684 - 249. Is y prime?
False
Suppose a = -1, k - 2886 = -3*k + 2*a. Is k a prime number?
False
Let x(s) = s**3 - 10*s**2 - s + 14. Let n be x(10). Let o(f) = 0*f**3 + 3*f**3 - f - 2*f**2 - 3 - 2*f. Is o(n) a composite number?
True
Suppose -15 = -2*s - 5. Let q be 1/2 + s/2. Is -25*q/(15/(-2)) prime?
False
Suppose 4*f + 4*g = -60, -2*g = -0*g + 2. Let v be 2/(-4)*(f - -2). Is (-28)/v*(1 - 4) a prime number?
False
Let p(f) = 14*f**3 - f**2 + 2*f - 1. Is p(2) a prime number?
False
Is (-6)/(-3) + -2 - -10 prime?
False
Let r be ((-6)/(-9))/((-1)/(-6)). Suppose -3*x + 5 = 4*a - 0, r*a + 5*x + 5 = 0. Suppose -218 + 43 = -a*p. Is p composite?
True
Let h = 869 + -148. Is h prime?
False
Is ((-8)/32)/(1/(-356)) a composite number?
False
Suppose -2*p + 12 = -72. Suppose -3*n + p = -0*n. Is n prime?
False
Let d(p) = -p**2 + 3*p - 4. Let l be d(5). Let g = 29 + l. Is g composite?
True
Suppose 25*q - 5194 = 11*q. Is q a composite number?
True
Let n(d) be the third derivative of d**4/24 - 5*d**3/6 + 3*d**2. Let s be n(7). Suppose 3*l - 165 = -s*l. Is l a prime number?
False
Suppose 5*o - 20 = 0, -o = -w - 2*o + 12. Suppose -4*y - w = 4*v - 7*v, v = -3*y - 6. Is (-1 - (-4 - y))*145 composite?
True
Let z(k) = k**2 - 7 + 2 - k**3 + 3*k + 2*k**2. Let f be z(5). Let l = 89 + f. Is l a composite number?
True
Suppose 0*w + 4*f = -w + 372, 3*f - 374 = -w. Let l = w - -137. Is l composite?
True
Is (0 - -3786) + 6 + 1 composite?
False
Let q(o) be the third derivative of -o**4/24 - o**3/2 + o**2. Let j be q(-5). Is -1*-2*26/j a composite number?
True
Suppose -3*z - 3*i + 777 = 0, 3*i + 356 = z + 97. Is z composite?
True
Suppose 2*v + 0*v - 8 = 0. Suppose -2*m + 573 = -5*l, -4*m + v*l = -m - 877. Is m a composite number?
True
Is 39267/39 + 2/13 composite?
True
Let c(t) = -t**3 + 4*t**2 - 2*t + 4. Let h be c(3). Let f(x) = 29*x + 2. Is f(h) a prime number?
False
Let g(h) = 2*h - 56. Let q be g(0). Let p = -33 - q. Is p prime?
True
Let w = -22 + 16. Let k be 3/6*w/3. Is 7/(k/3*-1) a prime number?
False
Suppose -130 = -3*i + 170. Suppose 3*s + 16 = 1, 0 = 5*q + 5*s + i. Let n = q - -26. Is n a prime number?
True
Let b(o) = -o**3 - 4*o**2 - o - 4. Let s be b(-5). Suppose -3*j - 11 = 34. Let y = j + s. Is y composite?
False
Let m be 3/9*(2 + 7). Let z(w) = 35*w**2 - 4*w + 1. Let b be z(-3). Suppose 4*d + 4*y - b = 0, 78 = 4*d - m*d + 5*y. Is d a composite number?
False
Let a be 2/12 + 25/(-6). Is (-4)/16 - 1061/a a composite number?
True
Let a(t) = t. Let o be a(4). Suppose -s + o*s = 15. Suppose -5*n + c + 0*c = -193, -s*n - c = -197. Is n a composite number?
True
Is 105080/35 - 7 - 2/7 a composite number?
True
Let p = -735 - -522. Let l(n) = 133*n**3 - 1. Let g be l(-1). Let t = g - p. Is t a composite number?
False
Let x = 13 - 8. Suppose -a + c = -12, x*c = -a + 3*a - 18. Is a a composite number?
True
Let j be ((2 - 0) + -3)*-220. Suppose -i + j = 29. Is i composite?
False
Suppose 4*x - 693 - 1679 = 0. Is x prime?
True
Suppose -b - 2*x = 2*b - 22, -3*b = 3*x - 24. Let r = -2 + b. Suppose 0 = -r*c + 2*c + 310. Is c a prime number?
False
Let s = -1 - -1. Let d(h) = -4*h - 20. Let a be d(-9). Suppose 5*x - 196 = 5*g - a, 3*x + 2*g - 113 = s. Is x prime?
True
Suppose 2*c = -2*i - c + 3, 5*i - c = 16. Let f be i/4 - 108/16. Let h = 9 - f. Is h composite?
True
Let u = 834 - 315. Is u prime?
False
Is (-1194)/(-8) - 1/4 composite?
False
Let w(m) = 65*m*