0) + (-488)/(-10) a composite number?
True
Let i(o) = o**2 + 2*o + 293. Is i(0) a composite number?
False
Suppose -3*l + 4*v = -5*l - 4, 2*l + 3*v + 3 = 0. Suppose l = -4*c - 4*q + 48, -4*q + 7 + 5 = c. Is ((-63)/c)/3*-12 a composite number?
True
Suppose -3*f = -4*s - 8*f + 171, -3*f = 15. Is s prime?
False
Let c be (-5)/35 + 7590/14. Suppose -c = -3*f + 319. Is f composite?
True
Let p be (-3)/2*(-192)/9. Suppose -3*o - p = -5*o. Suppose 3*h = 5*h + 4*j - 62, o = h - 3*j. Is h prime?
False
Let p = 9 - 7. Suppose -231 - 359 = -p*u. Is u a composite number?
True
Let d(o) = 3*o**2 + 6*o + 2. Is d(14) composite?
True
Let n = -143 - -354. Is n a prime number?
True
Let w = -36 - -67. Is w a composite number?
False
Suppose 0 = 2*i - 5*d + 2, d + 0 = -i + 6. Suppose 0 = i*u + 3*t - 811, -t - 479 = -3*u + 139. Is u a composite number?
True
Let d be 12/(-15)*(-5)/2. Suppose d*a - 438 = -2*a - 2*m, -2*a + 207 = 5*m. Is a prime?
False
Suppose -7*h + 594 = -4*h. Suppose 215 = -4*a - a. Let v = h + a. Is v composite?
True
Suppose 0 = 5*m - 2*t - 581, -m + 5*t = -2*m + 100. Suppose 5*w = -m + 530. Is w composite?
False
Suppose 0 = -5*r + 17 - 7. Is (139/1)/(r/2) prime?
True
Suppose -5*i - 2*j + 15 = 83, 4*i + 40 = 2*j. Let w be ((-38)/4)/(3/i). Let n = w - 19. Is n prime?
True
Let d(m) = 204*m**2 + m. Let z be ((-12)/(-48))/(2/(-8)). Is d(z) a composite number?
True
Let v = -1792 - -4571. Is v a prime number?
False
Let d = 141 + 157. Is d a composite number?
True
Suppose 4*u = 5*u + 1. Is (-237)/(-3) - (-2)/u a composite number?
True
Suppose 0*u + u - 37 = -4*g, 3*g - 9 = 0. Suppose -97 = 5*i - 7. Let w = u + i. Is w prime?
True
Let g = 581 - 319. Is g a composite number?
True
Let w be 2/5 - 34/10. Is ((-1)/w)/((-1)/(-57)) prime?
True
Suppose -3*h = -p - 6, -3*p - 4*h + 15 = -6. Suppose 5*w - 4*l = 111, 5*w - 26 = p*w - 3*l. Is w a composite number?
False
Let w = -201 + 434. Is w prime?
True
Suppose -2*b + 4459 - 1265 = 0. Is b a composite number?
False
Suppose 2*a - 86 = u + 4*u, -5*a + 4*u = -181. Is a a composite number?
True
Is (-5)/((-55)/2) + 6480/55 a prime number?
False
Suppose -3*a + y + 670 = -0*y, -5*y + 887 = 4*a. Is a a composite number?
False
Let w(y) = -25*y - 6. Let r = 11 + -7. Suppose b + 25 = -r*b. Is w(b) a prime number?
False
Suppose -3*j + 222 = 3*s, 2*s = 4*s + 6. Is j prime?
False
Is 122/4*(-20)/(-2) prime?
False
Suppose 0 = -w + 3*x - 9, 2*w - 3*x + x + 2 = 0. Let g(q) = 2*q + 4. Let s be g(w). Is 136/s + (-4)/(-10) prime?
False
Let n(y) = y**3 + 7*y**2 + 7*y + 9. Let s be n(-6). Is 1/s + 892/6 composite?
False
Let y be 130 + -4*(-4)/16. Let q = y - -60. Is q composite?
False
Let z = 122 + 155. Is z composite?
False
Let j(i) = -4 + 7*i**2 + 1 - 3*i - 4*i + i**3. Let z be j(-6). Let p = z + 14. Is p composite?
False
Suppose 2*a - 13 = -3*p, 2*p + 3 = a - 0. Let h = p - -1. Suppose h*q = 3*g + 47, 107 = 5*q - 0*g - 4*g. Is q composite?
False
Is (1*62)/(48/72) composite?
True
Let r = -11 - -16. Let k = 200 + -115. Suppose -r*f = -k - 480. Is f a prime number?
True
Suppose -5*y - 5*h = -95, 3*y + 4*h - 59 = 3*h. Is 446/5 + (-4)/y a composite number?
False
Let s(q) = -10*q**3 - 2*q**2 - 2*q + 1. Suppose 4*p + 6 = -2. Is s(p) a prime number?
False
Suppose -3*b - w = -256 - 907, 0 = w + 4. Is b a composite number?
False
Let z be ((-3)/(-2))/(21/28). Let a be (78/4)/(3/12). Suppose 2*t - a = -5*s, z*s + t = -2*s + 60. Is s a composite number?
True
Let o(t) = -t**3 - 8*t**2 - 3*t - 9. Let g be o(-8). Suppose s - 18 = -2*s. Let b = g - s. Is b composite?
True
Suppose 767 + 1149 = 4*i. Is i prime?
True
Let n(o) = -o**2 + 5*o + 5. Suppose 2 + 8 = 2*c. Let x be n(c). Suppose -z + 1 = 0, -4*z - 40 = -x*h + z. Is h a prime number?
False
Let z(v) = v**3 + 3. Let h be z(0). Suppose -h*w + w = 0. Suppose a - 3*u - 2*u - 87 = 0, 4*a - 2*u - 312 = w. Is a a prime number?
False
Suppose 1611 = 5*u + 4*d, -2*u + 0*d = -2*d - 648. Is u prime?
False
Let l be 0 - -2 - (1 - -3). Let f be -2*l/(6/(-9)). Let g(u) = -2*u + 1. Is g(f) composite?
False
Suppose 0 = -3*h + 3*q + 573, 0 = -2*h - 4*q + 167 + 191. Is h a prime number?
False
Suppose f - 303 = -3*s + 31, -4*s + 456 = -4*f. Let m = -11 + 15. Suppose m*k = s + 412. Is k composite?
False
Let f = 19 - 14. Is 2094/f + 3/15 prime?
True
Let c be ((-4)/8)/(2/52). Let n(y) = y**2 - 3*y - 9. Is n(c) composite?
False
Suppose 0*q = 3*z - 4*q + 7, 2*z = 5*q. Let w(y) = -y**2 - 5*y + 5. Let t be w(z). Is 4/4*5*t a composite number?
True
Let d(v) = v**3 + 6*v**2 - 5*v + 14. Let u be d(-7). Suppose 2435 = 5*l - u*l. Is l prime?
True
Let m = 14 - -13. Suppose k - 780 = m. Suppose k - 32 = 5*b. Is b prime?
False
Let g(s) = s**2 + 2*s - 1. Let z be g(-3). Let w be 4 - (z/(-1) - -3). Is w*2*(-10)/(-6) a composite number?
True
Let h be (-714)/(-24) - (-2)/8. Suppose 3*f + h = 603. Is f a composite number?
False
Suppose -204 = 4*k - 4*x, k - 4*x = 3*k + 96. Let m = k - -261. Is m composite?
False
Suppose 0*x = 3*x - 5*w - 162, 0 = -4*w + 12. Is x a prime number?
True
Is 483/4 + 6/24 a composite number?
True
Let r = -100 - -62. Let a = -119 - r. Let z = -14 - a. Is z composite?
False
Suppose -s - 3*s = -12. Suppose y + 7 = s. Is 1/y - (-135)/12 a prime number?
True
Let z = -637 - -1268. Is z composite?
False
Let v(c) = -c**3 + 2*c**2 - c. Let q be v(1). Suppose 0*r + 590 = 4*r + 3*k, -3*r - 5*k + 437 = q. Is r prime?
True
Suppose 2*n - 4*n = g + 31, -125 = 5*g + 4*n. Let j = 59 + g. Is j composite?
True
Let j be ((-70)/28)/(2/(-68)). Suppose -4*q + 71 = -j. Is q a prime number?
False
Let d(z) = 2*z + 1. Let v be d(1). Suppose -9 = -m - 0*m + v*h, 0 = -5*m - 2*h - 40. Is m/(-18) + 62/3 a prime number?
False
Let l = 63 - -352. Is l prime?
False
Let d be ((-14)/8)/((-1)/44). Let t = -42 + d. Is t/20*(-56)/(-2) a composite number?
True
Let v be -62 - (0 - (-1 + 1)). Let a be (-2 - -103) + (-2 - 0). Let n = v + a. Is n a prime number?
True
Suppose -2*v = -3*u - 0*v + 9, -2*v = -6. Suppose 3*d + u*s = 368, -2*d - 5*s + 237 = -0*d. Is d a prime number?
True
Suppose 3*o - 6*o + 126 = 0. Suppose 2*p - 3*v - 18 = 0, -p - 4*v - v = 17. Is o/4*14/p a composite number?
True
Is ((-317)/2)/((3/42)/(-1)) a prime number?
False
Let k be (-9)/(9/(-264)*1). Is k/5 + (-2)/(-10) a prime number?
True
Suppose -3*o = -4*w - 19, -60 = -5*o - 3*w + 4*w. Suppose 0 = 5*g - 9*g - 32. Let h = o - g. Is h a prime number?
False
Suppose d = 7*d - 2034. Is d a composite number?
True
Let w(r) = 2*r + 1. Let k(t) = -4*t - 3. Let q(s) = 3*k(s) + 5*w(s). Let x be q(-3). Suppose -p + 29 = -x*l + 2, 0 = -2*p + l + 66. Is p a composite number?
True
Let g = 1997 + -1288. Is g a prime number?
True
Let m(f) = -85*f - 2. Is m(-13) composite?
False
Suppose 0 = -a - 2, 3*a = -5*z - a + 617. Suppose -w + z - 4 = g, 0 = 3*w - 5*g - 379. Is w composite?
True
Let i be (400/6)/(1/3). Suppose -i = -4*n - 5*z, 48 - 303 = -5*n - 5*z. Is n a composite number?
True
Let s be (24/5)/(6/30). Suppose b + 0*v = -4*v + s, 0 = 3*b - 4*v + 8. Suppose 4*t = b*r - 9*r + 26, 2*r = -3*t + 23. Is t prime?
False
Let p(x) = 2*x**3 - 11*x**2 + 11*x + 1. Is p(9) a composite number?
True
Let x(q) = q**3 - 7*q**2 + 2*q - 10. Let a be x(7). Let m(p) = 3*p - 2 - 3 - p**2 + 8*p**2. Is m(a) composite?
True
Let f = -117 + 4538. Is f a prime number?
True
Let u = 4 + -1. Suppose -2*c - 91 = -3*g, 2*g - 58 = u*c + c. Suppose -4*n - 3*w = -100, -3*w - 1 - g = -2*n. Is n composite?
True
Let o(h) = 22*h - 5. Let s = 5 + 1. Is o(s) a composite number?
False
Is 2161/(3 - (0 - -2)) a prime number?
True
Suppose 2*u - 170 - 4 = 0. Is (u/(-4))/(2/(-8)) composite?
True
Let r(i) = 3*i - 4. Let d be r(3). Suppose -s + 103 = -d*n + 14, -3*s = -3*n - 51. Let m = n + 37. Is m composite?
False
Let u = 5 - 6. Is u + (3 - -32) - 3 a composite number?
False
Let q(l) be the second derivative of -l**3/3 - l**2 - 4*l. Is q(-3) a prime number?
False
Let n = -166 - -547. Is n prime?
False
Let y = 0 + 2. Suppose 5*m = 2*m - 5*t + 462, -2*m = -y*t - 292. Is m prime?
True
Suppose 2*p - 592 = 22. Is p composite?
False
Let g(q) = 2*q**2 + 10*q + 6. Let p be g(-6). Let c(s) = 11*s**2 - 9. Let w be c(-4). Let y = w - p. Is y composite?
False
Suppose 635 = a + 4*a. Is a prime?
True
Suppose -2 = y - 0*y. Let v(m) = -5*m - 1. Let j be v(y)