-4)/y prime?
False
Suppose 0*d - 2*d = -90. Suppose -3*i + 798 = d. Is i a composite number?
False
Let d be (-1)/(2/(-2 - -4)). Let s = -1 - d. Suppose 4*m = -s*m - 4*t + 192, 0 = 2*m - 5*t - 103. Is m a composite number?
True
Let c = -5 + 27. Is c a composite number?
True
Let i = 272 - 151. Is i prime?
False
Let a = 141 - -74. Is a prime?
False
Suppose 2*d + 2867 - 8406 = -3*y, 5*d = 4*y + 13905. Is d composite?
False
Let j(c) = -5*c + 3*c + c + 6. Let h be j(6). Suppose h*a + a = 7. Is a a prime number?
True
Let u be -2*2/4*-139. Suppose 0 = -3*d + 2*d + u. Is d a composite number?
False
Let l = 23 + -13. Let p = l + 23. Is p composite?
True
Suppose -3*p = -6*p - 2*y + 435, 290 = 2*p + 2*y. Is p a composite number?
True
Suppose 2*r = 13*r - 4323. Is r composite?
True
Is (5454/(-10) - -1)/((-2)/5) a prime number?
True
Let d be 238/3 - 4/(-6). Suppose u - 87 = -2*f, 2*u - d - 140 = -5*f. Is f a prime number?
False
Is 2/12 + 152528/96 a prime number?
False
Suppose z + h - 4 = 0, -h = -2*h. Is (-2 - -3) + 13*z composite?
False
Let z(p) = -p**2 - 8*p - 8. Let x be z(-6). Suppose -x*g + 4 = -2*g. Suppose 4*v = -g*j + v + 104, 0 = j - 2*v - 38. Is j composite?
True
Suppose -2*x + 5*x - 5*c = 157, 0 = 5*x + 5*c - 315. Suppose -325 + x = -2*u - 4*p, -5*u - 3*p + 686 = 0. Is u a prime number?
True
Let g be (-25)/(-2) - (-3)/(-2). Suppose -g = -2*c + 9. Is c prime?
False
Suppose 332 = 5*z - 103. Is z a prime number?
False
Let x(c) be the first derivative of 5*c - 2*c**2 + 2 - c - 3*c + 13*c**2. Is x(4) a composite number?
False
Let b be 4*((-30)/8 + 2). Let v = -5 - b. Let x(o) = 16*o - 1. Is x(v) a prime number?
True
Let g = -16 - -30. Suppose 5*s + 253 = 3*j, -g = -j - s + 57. Suppose -3*y + 87 = 2*r - j, -4*r + 361 = -y. Is r prime?
True
Suppose -117 = -5*l + 13. Let g = 18 - l. Let d = 27 + g. Is d a composite number?
False
Suppose k - 988 = -191. Is k a composite number?
False
Is (1/(1/562))/(16/40) composite?
True
Let z be (-5596)/12 - 1/(-3). Is -1*z/(4 - 2) a prime number?
True
Suppose -322 = 12*z - 14*z. Is z a composite number?
True
Suppose -4*i - 4 = -6*i - 3*z, 3*i - z - 17 = 0. Is (-4)/(-2) + i - 0 prime?
True
Let d = 263 - 553. Let b = 439 + d. Is b a composite number?
False
Suppose 3*a + i = 2*a + 7, -20 = -5*i. Let l be (4 - a)/(2/74). Let o = 52 - l. Is o prime?
False
Let v = 3204 - 1603. Is v composite?
False
Let m = 580 - 53. Is m prime?
False
Let c be (-1)/3*7*3. Let n = 19 + c. Suppose -5*z + n = 3*f - 17, 3*z - 19 = -f. Is z composite?
False
Let v = -40 - -1289. Is v composite?
False
Suppose -b + 46 = -45. Let u = b - -36. Is u composite?
False
Suppose 0 = -2*t + 6*t - 1284. Is t composite?
True
Let o be 18/(-15)*(-20)/(-6). Let w be (-2)/o*(-1 - -1). Suppose 4*i + 70 - 266 = w. Is i a prime number?
False
Let i(y) = -y**3 + y + 38. Let s = 1 - 1. Is i(s) prime?
False
Suppose -5*a + 8466 = o, 5*a - 5*o - 3495 = 4965. Is a prime?
True
Suppose 4*p = -4*w + 888, -w + 2*p = p - 224. Is w prime?
True
Let c(o) = -o**3 + 1. Let p be c(1). Suppose p = -7*b + 3*b + 516. Is b a prime number?
False
Let f = -63 - -42. Is 346/14 + (-6)/f a prime number?
False
Let k(y) = 2 + y + 11*y - 8*y + 9. Let u = 7 + 2. Is k(u) a composite number?
False
Let p be -186*(1/(-2) - 0). Suppose 6*k = 3*k + p. Is k prime?
True
Let p(v) = -v**3 - 3*v**2 + 4*v + 3. Let j be p(-4). Let h(a) = a. Let o be h(j). Suppose o*l = -l + 204. Is l a prime number?
False
Suppose -3*n + 5*a - 2*a = -3, 5*n = 2*a + 5. Is 1/2*190/n a prime number?
False
Suppose -6*v = -v - 865. Suppose -39 = 2*c - v. Is c a composite number?
False
Suppose 3*b - b + 3*h - 4312 = 0, -2*b - 2*h + 4314 = 0. Is b prime?
False
Let x be (-12)/(-8)*-1*2. Let v be ((-4)/(-10))/(x/(-15)). Let f(i) = i**3 + 2*i**2 - 4*i + 3. Is f(v) prime?
True
Suppose 200 = -2*p - 0*p. Let x = p + 311. Is x a prime number?
True
Let w be (2/(-3))/((-6)/27). Let j be ((-9)/w - -2) + -1. Is (37/j + 0)*-2 prime?
True
Suppose -3*w + 7*w - 20 = 0. Suppose 30 + w = -5*u. Let n(b) = -b**3 - 8*b**2 - 7*b + 10. Is n(u) composite?
True
Suppose -i = -1 - 6. Suppose -10 = -i*o + 2*o. Suppose 5*a = o*u - 120, 2*a + 6 = -a. Is u prime?
False
Suppose -o + 0*o + 4*n - 2 = 0, o = -2*n + 4. Let m = -6 + 8. Is 5 + m + -2 + o composite?
False
Let v be 18*(6/4 - 1). Suppose -2*k - 4*s + v = s, -5*k = 5*s - 15. Suppose -3*x - k*x = -245. Is x composite?
True
Is 28*284/(-32)*-2 composite?
True
Suppose 1263 = 10*t - 5047. Is t a prime number?
True
Let u = -52 - -88. Let d be (-4)/(-1) - 21 - 0. Let f = d + u. Is f composite?
False
Suppose 3*u = 4*u - 654. Let n = u - 243. Is n a prime number?
False
Suppose -3*a = 2*v + 2*a - 6678, 0 = 5*v - 2*a - 16753. Is v a composite number?
True
Suppose g - 12 = 4*t, 0*g = g + 5*t + 15. Suppose d + g*d = 21. Is d a composite number?
True
Let s(h) = 2*h - 10. Let a be s(9). Suppose 0 = -4*c + a*c - 308. Is c composite?
True
Let k(c) = c. Let o be k(1). Let p(q) = o - 3*q + 7 + q. Is p(-7) a composite number?
True
Suppose -4*h + 210 = -298. Is h prime?
True
Is (-3)/(1 - 4) - -498 prime?
True
Suppose 2*x = -5*h + 340 + 1165, x = -3*h + 903. Is h a prime number?
False
Let n(j) = -2*j + 11. Let y be n(9). Let d = -8 - y. Is 36 - d*(-1 - 0) composite?
True
Let w(i) = 24*i - 5. Suppose 3 = -3*r + 4*r. Suppose 0*s = r*s - 15. Is w(s) a prime number?
False
Suppose -n + 5*x = -284 - 765, 4*x = n - 1053. Is n a prime number?
True
Let v = -13 + 8. Let m be (5/(-2))/v*0. Suppose r - 2*u = 5*r - 194, m = -u + 3. Is r composite?
False
Suppose d + v + 13 = -2*d, -4*d = v + 16. Let z = -1 - d. Suppose 2*y = -2*w + 324, 0 = 2*y + z*y - 2*w - 618. Is y prime?
True
Let a = -3 - -5. Let q(d) = 13*d**2 + 0 - 3 + 32*d**a + 4*d. Is q(2) a prime number?
False
Let w(c) = -18*c + 7. Let h be w(-7). Suppose h = r + 2*t + t, 4*r = 5*t + 498. Is r a composite number?
False
Suppose 0 = 5*b + 2*g - 257, 2*b - 2*g + g - 110 = 0. Is b a composite number?
False
Suppose 4*z - 215 = -43. Is z a prime number?
True
Let z be 1*(-3 - -7 - 4). Suppose z = -4*i - 5*c + 1336, -2*i + i - c = -333. Is i a composite number?
True
Let o(u) = 6*u**2 + 3*u - 5. Let f(t) = t**3 + 9*t**2 + 8*t - 4. Let g be f(-8). Is o(g) composite?
False
Let d(r) = -146*r - 55. Is d(-9) prime?
True
Suppose 0*p = -p + 10. Is p a composite number?
True
Suppose 8*h - 955 = 3*h. Is h a prime number?
True
Let c = 46 - 277. Suppose -392 = a - 4*y + 5*y, -1152 = 3*a - 3*y. Let x = c - a. Is x a composite number?
False
Suppose 4*f - 36 = -4*y, 0 = -2*y - y. Let l(h) = 8*h + 7. Is l(f) composite?
False
Suppose 0 = 2*r + 3*r. Let y = r + 0. Is y + 1 + 2*3 composite?
False
Let i(a) be the third derivative of 17*a**5/15 + a**4/12 - a**3/6 + 3*a**2. Is i(1) prime?
False
Let a = 9 + -5. Suppose 4*j + n - 1 = 2*j, -a*n = j + 17. Suppose 4*l + q - 191 = -0*q, 153 = j*l + 4*q. Is l a composite number?
False
Suppose -3*u = -0*a - 4*a - 86, 121 = 4*u + a. Let s = u + -8. Is s prime?
False
Suppose -3*d - 745 = -8*d. Is d prime?
True
Let u be (-2)/6 + 1/3. Let j(p) = -p**3 + p + 307. Is j(u) a composite number?
False
Suppose c + 0*c + 6 = -2*g, 3*c - 5*g = 37. Let o = 40 + c. Suppose 0 = 4*m - 3*i - 149, m + 2*i - 5*i = o. Is m composite?
True
Is 7599/68 - 3/4 a prime number?
False
Is 4/10 + 9660/100 prime?
True
Is (-141)/9*-3 + -1 a prime number?
False
Let o = -4 + 1. Is 127*(-1 - 1 - o) a prime number?
True
Let s = -285 + 458. Let b = -84 + s. Is b a prime number?
True
Let v be (-4)/10 - (-8)/20. Suppose q + 3*q - 16 = v. Is ((-76)/(-8))/(2/q) prime?
True
Let y = 13 + 14. Suppose -5*s + 5*a = -280, s + a - 19 = y. Is s prime?
False
Suppose 0 = n, 2*n - 18 = 2*h + 6*n. Let s be 118/(h/6 - -2). Suppose 0 = -3*u - u + s. Is u prime?
True
Let k(g) be the first derivative of g**4/4 - g**3 + 9*g**2/2 - g + 4. Is k(6) composite?
True
Let j(r) = 30*r**2 - 4*r + 3. Is j(2) a prime number?
False
Suppose -5*x - 135 - 124 = -2*l, 3*l = 2*x + 416. Is l composite?
True
Let w be 105*(0 - 2/(-5)). Suppose -p + 3*p = -w. Let v = p + 67. Is v a composite number?
True
Let d be -4*(15/4 - 3). Is d - (30*-2 + 2) a composite number?
True
Let w be (-100 + 1)/(-3)*4. Suppose w = -2*m + 364. Suppose 3*i - m + 38 = -3*v, -v - 4*i + 11 = 0. Is v a prime number?
True
Let x(p) = -19*p**2 - p. Let r be x(1). Let c(k) = k