uppose 0 = j*b - 274 - 196. Is b prime?
False
Is 60/(-150) - (-1 + 26662/(-5)) a prime number?
True
Let w be (24/(-20))/(1/5). Let q be (-18)/12*8/w. Suppose 5*a + 2*n - 189 = 0, -2*a + 72 = n - q*n. Is a prime?
True
Suppose -2*h = -4*l - 21786, -3*h + 12*l + 32685 = 9*l. Is h a composite number?
True
Suppose -5*p + 9*p - 5*u - 13551 = 0, 2*p + 2*u = 6780. Is p prime?
True
Let l = 18 + -15. Suppose 0 = -l*s + 6*s + 30. Let w(v) = -3*v - 4. Is w(s) a prime number?
False
Let q = -26972 + 38211. Is q a prime number?
True
Suppose 0*l + 1935 = 3*l. Suppose 2*h - 3*h + 2*u + l = 0, 1 = u. Is h composite?
False
Let g(k) = -2*k**3 + 4*k**2 - 3*k + 1. Let t be g(2). Let c be t + 9 + (-2502)/(-2). Is 3/1*c/15 composite?
False
Let k(g) = -10*g + 8. Let b be k(-10). Let m = 247 - b. Is m a composite number?
False
Let v(p) = -64*p + 1. Let q(g) = g. Let f(z) = -4*q(z) - v(z). Is f(7) a composite number?
False
Let z = -2184 + 8573. Is z prime?
True
Is (-1)/(10/(-20)*6/63267) a composite number?
False
Suppose 3269 = -y + 8*y. Is y a composite number?
False
Let s be ((-3)/(-9))/((-2)/(-24)). Suppose s*r + 4 - 20 = 0. Is 101 - (-11 + 3)/r a prime number?
True
Let z = -12 + 16. Suppose -z*s = s - 15. Is (-2)/s - (-3311)/21 prime?
True
Suppose 3*v + 102 = 9*v. Suppose 11*j - v*j = -2826. Is j a prime number?
False
Let w = -692 + 1947. Is w composite?
True
Suppose 2*z - 3*f - 18 = 21, 0 = -2*z + 5*f + 41. Suppose 5 = -g + z. Is g a prime number?
True
Let g = 884 - 354. Suppose -v + g = 2*r, -v - 259 = -4*r + 3*r. Is r a composite number?
False
Suppose 6*g + 63 = 3*g. Let x be (3*g/(-9))/(-1). Is ((-21)/x)/(9/402) a composite number?
True
Let y(t) = -35*t - 2. Let o(u) = 1. Let h(a) = 34*a - 3. Let m(i) = h(i) + 4*o(i). Let n(v) = 3*m(v) + 2*y(v). Is n(4) a composite number?
False
Is 18*729 - ((0 - 0) + -1) prime?
False
Is (7256/6)/((-40)/(-30)) prime?
True
Let h be (-2)/3 - (-29)/3. Let m(g) be the third derivative of g**6/120 - 3*g**5/20 + g**4/2 + 11*g**3/6 - 15*g**2. Is m(h) a prime number?
False
Let k(n) = n**3 + 52*n**2 + 9*n + 27. Is k(-41) a composite number?
False
Suppose -g = -1, 5*v + 5*g + 101726 = 6*v. Is v a prime number?
False
Let t = 23 + -17. Let k be t/(-4)*50/(-3). Suppose k*x = 20*x + 1055. Is x composite?
False
Suppose 1063 - 315 = -2*h. Let x = h + 1007. Is x a prime number?
False
Suppose -14 = -2*s - 5*b, -s - 3*s + 2 = -3*b. Is (6 - s)*(-13998)/(-24) prime?
True
Let k = 1264 + -885. Is k prime?
True
Suppose 5*c + 2*a + 20 = 0, 2*a = -2*c + c - 12. Let h(g) = -g**3 - g**2. Let j be h(c). Suppose 5*s - 2*v - 238 = 3*s, 2*s = -j*v + 238. Is s a prime number?
False
Suppose -r + 3*x + 25028 = -0*r, -5*r = x - 125060. Is r a prime number?
True
Let v be ((-54)/5)/(12/(-90)). Let c = 152 - v. Is c a composite number?
False
Let u = -26 + 36. Suppose 2*t = 4*z - 528, 6*t = t - u. Is z prime?
True
Suppose -9*b = -1956 - 2247. Is b a prime number?
True
Is (1/4)/(6/(2534160/10)) a prime number?
True
Let a(c) = 40*c**2 + 1. Suppose f = 4*f. Suppose f*m = 5*m + 10. Is a(m) prime?
False
Let n be -141*(-1 - (-1 + -1)). Suppose -4*u = 2*s - 956, -4*u = 4*s - 830 - 130. Let c = u + n. Is c a prime number?
True
Suppose 0 = -12*a + 17*a + 3290. Let d = -279 - a. Is d a composite number?
False
Suppose 0 = -34*i + 28*i + 3342. Is i composite?
False
Let x = -9 + 10. Let k(s) = -s**2 + 2*s - 2. Let c be k(x). Is c + (4 - -252)/2 a prime number?
True
Let t be ((-88)/6 - 1)/((-22)/66). Suppose -13 = -3*y + 5. Let x = t + y. Is x a composite number?
False
Let z be 462/55 - 2/5. Suppose -12*s + 5858 = 2*l - z*s, -11734 = -4*l + s. Is l a prime number?
False
Let g be ((-12)/(-5))/(2/10). Let v be (274/10)/(g/60). Let p = v + -60. Is p prime?
False
Let v be 179/((-4)/((-4)/1)). Let x(q) = -15*q - 1. Let r be x(-3). Let z = v + r. Is z composite?
False
Suppose 4*d = -370 - 494. Let c = 895 + d. Is c a prime number?
False
Is (-30)/105 + (-95526)/(-14) composite?
False
Let g be 1/((-14)/(-240))*28*1. Let q = g - -73. Is q a prime number?
False
Is (-24478)/(-3) + 20/12 a composite number?
False
Is (8/4)/((-10)/(-18255)) a prime number?
False
Suppose -7*v + 30 - 100 = 0. Let t(a) be the second derivative of a**5/20 + 5*a**4/6 - 7*a**3/3 - 7*a**2/2 + 2*a. Is t(v) composite?
True
Let z = -29 - -32. Suppose 0*p = -z*p + 12. Suppose 3*n = -2*f - 3*f + 634, 2*n - p*f = 386. Is n composite?
True
Is (0 - -1)/(8/64936) a prime number?
True
Suppose 0 = s + 1, -2*s + 12 + 10 = -4*t. Let u(m) = -m**3 + 2*m**2 - 6*m - 5. Is u(t) a composite number?
True
Let k(d) = -4*d - 8. Let n be k(-6). Is 87*(-3 - n/(-3)) composite?
True
Let c(a) = -a - 26. Let j be c(-15). Let q = j - -12. Suppose -r + q = -198. Is r composite?
False
Let u(z) = 33*z + 88. Is u(11) composite?
True
Let u = -13 + 10. Let m be (1 + u)*3/6. Let k(h) = -8*h**3 + 2*h + 1. Is k(m) composite?
False
Let x be (-4 - -2)/((-8)/356). Suppose -459 = -5*m - x. Let b = m - -339. Is b composite?
True
Let b(i) = 14*i + 4. Let m be b(-3). Let c = m - -93. Is c prime?
False
Let h = 4402 + 11325. Is h a prime number?
True
Let u(l) = 2*l. Let m be u(-5). Let k(y) = -96*y - 18. Let g be k(m). Suppose 0 = -4*w - 2*z + 1014, 2*z + g - 199 = 3*w. Is w a prime number?
True
Let c = -23 - -28. Suppose -3570 - 3735 = -c*r. Suppose 0*m + r = 3*m. Is m prime?
True
Is -1 - -11663 - (-71 + 79) a composite number?
True
Let i be (4 + 4 + -7)/(-1). Let y be (4 - i)*(-18)/(-10). Suppose y*a = 4*a + 2815. Is a composite?
False
Suppose 0 = m + 1, 6*g - 2*m = 2*g + 2. Let y be 4 + (g - -1*11064). Is (-2)/5 + y/20 a composite number?
True
Suppose -j - 8*j = -19827. Is j a composite number?
False
Let w(s) be the first derivative of -8*s**6/15 + s**5/60 - s**4/24 + s**3/2 + 6*s**2 - 8. Let x(f) be the second derivative of w(f). Is x(-2) composite?
False
Let p be 0 - 4*(-2 + (-9)/(-6)). Suppose -p*g - 2428 = -2*i, -i + 3*i = g + 2433. Is i composite?
True
Suppose -7*x = 117 + 135. Let r be (48/x)/(2/(-3)). Suppose -5*w - c + r*c + 4108 = 0, -5*w - c + 4102 = 0. Is w a composite number?
False
Let r(w) = -4*w**3 - 14*w**2 - 18*w - 1. Is r(-4) prime?
True
Suppose -494 = 3*g + 3370. Let j = -659 - g. Is j prime?
False
Let j = 101514 - 35995. Is j prime?
True
Is 4918*((-90)/20 + 6) a prime number?
False
Suppose -3*t + 5*r = -7*t + 64233, -3*r + 3 = 0. Is t composite?
False
Let x = -4519 - -2291. Is (-3)/(x/3288 - 2/(-3)) composite?
True
Let z(s) = -1114*s**3 + 2*s**2 + s. Let m be (39/9 - 4)*(-1 - 2). Is z(m) prime?
False
Suppose -u + 5*d - 372 = 0, 2*u + 460 = d - 329. Let k = -108 - u. Is k composite?
True
Suppose 14*p = 12*p + 6. Suppose p*u = 1271 + 208. Is u a composite number?
True
Suppose -45 - 179 = -4*v - 3*t, -280 = -5*v - 2*t. Let q be (-1)/3 - ((-626)/6 - 1). Let d = v + q. Is d a prime number?
False
Is -4 - (-7806)/(-18)*-9 composite?
True
Let s(i) = 3*i**3 - 8*i**2 - 6*i + 8. Let m be s(9). Suppose -5*a - 4*w = -7513, a + 2*w - m = -2*w. Suppose x + a = 8*x. Is x a composite number?
True
Let k(d) be the second derivative of 17*d**5/60 + d**4/8 - 7*d**3/6 - 9*d. Let g(j) be the second derivative of k(j). Is g(2) a composite number?
False
Is (-3907620)/(-420) - (-16)/14 prime?
False
Suppose 0 = -r - 2*n, -4*n - 16 - 54 = -5*r. Suppose -2*h - 2*u = -239 - 929, r = -2*u. Is h a prime number?
False
Let s = 7122 + 1735. Is s a prime number?
False
Let f be (-17 - 233)/(2/(-4)). Let z = -154 + f. Is z a prime number?
False
Let b(i) = 69*i + 11 - 25*i + 14 - 22. Let l(y) = -y + 9. Let q be l(4). Is b(q) a prime number?
True
Suppose m - 376 = -5*g + 775, 5*g - m = 1159. Let c(o) = -o**2 + 5*o - 3. Let k be c(3). Suppose k*p - g = -0*p. Is p composite?
True
Suppose -762 = -3*x + x. Suppose 355 = -z - x. Is (-1)/(-5) + z/(-20) composite?
False
Is (1 - (-10)/(-14)) + 1014404/28 a composite number?
False
Suppose 121*y = 114*y + 10059. Is y prime?
False
Is ((-7)/((-42)/44))/((-56)/(-26124)) a prime number?
False
Let t = -5474 - -9196. Is t composite?
True
Suppose -35*g + 14*g = -421827. Is g a prime number?
False
Let c = 9662 - 4281. Is c prime?
True
Let t(s) = 3*s**2 + s - 4. Let p be t(2). Is p*2*9/12 a prime number?
False
Is -3 + 5029 + 3 - 344/43 prime?
True
Suppose -13*v + 410672 = 3*v. Is v a prime number?
True
Let y(j) be the second derivative of j**5/20 