. Suppose 1 + 1 = -d*a. Which is smaller: a or c?
a
Let a be 1/(2/(-2 + 0)). Let z be 3195/399 + ((-3)/3 - 7). Which is bigger: z or a?
z
Let d(k) = -k**2 - 9*k - 3. Let l be d(-8). Let h be ((-2)/4)/(l/(-60)). Suppose q - 4*z + h = -2*q, 3*q - 5*z = -9. Is q at most -5/4?
False
Suppose 4*h = -2*k + 10, 19*k - 2 = 17*k. Do h and 27/10 have different values?
True
Let m be (-83)/3 + (-1)/3. Let z = -22 - m. Is 5 equal to z?
False
Let x = -2159 - -2161.3. Which is smaller: 30 or x?
x
Let c be (-2 + 200/(-8))*(-20)/(-6). Do c and -91 have the same value?
False
Suppose 0*r = -3*r + 2*c - 2, 4*r + 2*c - 2 = 0. Which is smaller: r or -24/25?
-24/25
Suppose 0 = 79*d - 68*d + 2035. Is -184 less than or equal to d?
False
Suppose -4*b - 7 = -23. Let g be b/10*50/20. Let d be (1/6)/(55/22). Which is smaller: g or d?
d
Let g = 0.022 + 217.978. Which is greater: 0.1 or g?
g
Let c(w) = -9*w - 87. Let m be c(-10). Is 19/6 equal to m?
False
Let q(c) be the third derivative of -c**5/20 + c**4/8 - c**3/3 + 5*c**2. Let t be q(2). Let x be t + 4 - (-24)/5. Which is greater: x or 1?
1
Let f = -304 + 309. Which is bigger: f or -33?
f
Suppose -39*g - 1541 - 604 = 0. Let u = 7/12 + -25/84. Is g at least as big as u?
False
Let h(n) = -2*n**3 + 31*n**2 - 11*n - 153. Let p be h(12). Which is smaller: p or 725?
p
Let f(l) = -l**2 + 7*l - 6. Let i be f(6). Let p = -281 + 278. Which is greater: i or p?
i
Let n be -1 + 6 + -5*68/(-80). Which is smaller: 8 or n?
8
Suppose -7*n - 126 = -0*n. Let v = 15 + n. Let h = 2/157 - 1103/314. Is h >= v?
False
Let v = 386/17 - 4688/187. Let i = 105 + -108. Is i > v?
False
Let f = 11.1 - 12.14. Let q = f + 0.04. Which is smaller: q or 3/10?
q
Suppose 5*o = -3*w - w - 15, -w + 5*o + 15 = 0. Which is bigger: -136 or w?
w
Suppose 0 = -h + 3*h - 4. Suppose -2*a + 5*o + 5 = 0, -4*a - h = -2*o - 4. Let j = -415/56 - -57/8. Which is greater: a or j?
a
Let a be 1/(-4) - (-6)/24 - 2. Let o be 1*(-93)/33 + (-4 - -7). Which is bigger: a or o?
o
Let i = -38 + 42. Let j be (3 + (-75)/(-5))*i/66. Is 0.2 not equal to j?
True
Let y = 606.99 - 612. Let h = 0.01 + y. Let m = h - -8. Which is bigger: -0.2 or m?
m
Let i be (-2)/20*(-2)/17. Are i and -0.2 nonequal?
True
Let w = -33 - 10. Let t = -39 - w. Which is smaller: t or 5?
t
Suppose 2*y = -10, -4*y - 256 - 264 = -4*s. Which is bigger: 126 or s?
126
Let n be ((-2730)/(-49))/(-10)*(-5)/15. Let m = -3 + 4. Which is smaller: n or m?
m
Let s = -12 + -41. Let p = s - -53.2. Are -13/2 and p nonequal?
True
Suppose 16 = 4*p - 116. Let h(u) = -u**3 + 8*u**2 + 25*u - 130. Let c be h(4). Is p at least c?
False
Let f = -6.4 + 5. Let p = f - -1.5. Let q = p + 0. Is q bigger than -0.2?
True
Let j be (-15)/9*2*(-9)/6. Let b be 4 + -1 + -6 + j. Which is bigger: b or 17/7?
17/7
Let u = 4595986 + -1319050510/287. Let y = u + 62/7. Which is greater: y or -1?
y
Let b(r) = r**2 + r - 1. Let k be b(-1). Let v be (129/33 + -4)*118. Let m = v - -106/11. Which is greater: m or k?
k
Let v = 221 - 12. Which is bigger: v or 210?
210
Let w = 160.4 + 56.6. Which is smaller: w or -2?
-2
Let i = 1139 + -1225. Is i >= 2/7?
False
Let g be (37 - 39)*2/58. Suppose 0 = -k - 0*k + 1. Which is bigger: k or g?
k
Suppose 472 = 10*o - 178. Is o greater than or equal to 127/2?
True
Let c be (28/(-14))/(4/64 + 0). Is c at most -15?
True
Suppose 2*q - 16 = -2*i, 5*i - q - 38 - 20 = 0. Suppose 12*x - i*x = -15. Does -17 = x?
False
Let j be (40/(-50))/(2/(-5)). Suppose c + 5*l = 2, -j*c + l + 10 = 3*c. Suppose -4*z - 10 = c. Is -4 greater than z?
False
Let b be (-6)/(-4)*(-16)/(-6). Let a = 8 + -16. Let o = b + a. Is o less than -4?
False
Let r = -1140107/9 + 126961. Let x = 283 - r. Are x and 2 equal?
False
Let d be -7*6/(-42) - (105 + -1). Is -103 less than d?
False
Let d = 0.2047 + 1058.7953. Is d at least as big as 0.1?
True
Let w = 21 - 34. Let n = 12.8 + w. Is n less than 1?
True
Let u = 36 - -19. Let o = -56 + u. Which is smaller: 3/28 or o?
o
Suppose 0 = -26*i + 25*i - 15. Let s be 5/(5/3)*-5. Do s and i have the same value?
True
Suppose z - 81 = -2*z. Let i = z + -54. Let a be (0 + -6)/(i/(-6)). Is 3 < a?
False
Let a be 3/4 - (1 - 1741/4). Which is bigger: a or 437?
437
Let a(v) = 24*v - 92. Let b be a(10). Is 151 != b?
True
Suppose i + 3*a + 36 = 0, 0 = -21*a + 24*a + 12. Which is greater: -27 or i?
i
Let g = -12 + 21. Suppose -2*f + 4*f - 3*j = 24, 0 = 4*f + 2*j - 16. Let r be g/27*f/(-40). Is r at most 0?
True
Let p be (-3)/(3/12 - (-30)/(-48)). Let a be p/(-12) + (-44)/(-12). Which is smaller: 7/2 or a?
a
Let f(c) = -7*c - 29. Let z be f(-8). Let n = 27 - z. Let t be 37/(-21) + (-1)/(-3). Is n at least t?
True
Let p = -0.17 - 0.03. Let x = 0.8 - p. Let m = x + 1. Which is bigger: -8 or m?
m
Let o be ((-4)/(-7))/((-774)/(-21)). Which is smaller: o or -1?
-1
Suppose 666 = 14*c + 4*c. Which is bigger: c or 39?
39
Suppose q = -4*q - 5*r + 25, 3*q = 4*r - 13. Which is greater: q or 9/28?
q
Let f = -762 + 762. Are f and -2/59 non-equal?
True
Let n be (4/(-12))/(((-24)/(-9))/(-8)). Which is bigger: 3/28 or n?
n
Let w(p) = -p**3 + 5*p**2 + 6*p + 2. Let r(j) = j**3 - 2*j**2 - j. Suppose 4*x - 8 = 4. Let z be r(x). Let u be w(z). Is u != 2?
False
Let m(x) = -x**3 + 15*x**2 + 13*x + 45. Let y be m(16). Let z(u) = u**3 - u**2 - u + 3. Let f be z(0). Suppose 6 = -f*g - 0. Does g = y?
False
Let k = -367599/8932 + -2040/203. Let v = k - -207/4. Is -1 less than v?
True
Let k(r) = r**3 + r - 1. Let c(n) = -5*n**3 - 3*n**2 - 6*n + 3. Let w(z) = -c(z) - 4*k(z). Let t be w(-4). Does t = -23?
True
Suppose 1 = 2*h + 4*k + 15, -4*h - 20 = 4*k. Is h <= -9/5?
True
Suppose -3*o = k - 9, 12 = 5*k + 27. Let q be ((-1250)/(-14))/(-5) + o. Let f = q + 5349/385. Is 1/4 > f?
True
Let i be ((-42)/(-40))/(63/1771). Let x be (1/10)/((-4)/1170). Let m = i + x. Which is greater: -1 or m?
m
Let g(h) = -h**3 - h**2 - 3*h + 1. Let k be g(0). Let z be 4 - (k + -1 + 7). Is -16/5 bigger than z?
False
Let a = 10 - 15. Let z = -13 + 15. Suppose -h = z*h + 18. Are a and h equal?
False
Suppose 0 = -5*u + k + 495, u + k - 95 = 2*k. Which is smaller: u or 99?
99
Let q(p) = p**3 + p**2 + 19. Let b be q(0). Let d(h) = 64*h + 339. Let g be d(-5). Is b greater than g?
False
Let v = 3.94 - 4. Let d = 14 - 24. Let a = d + 10.1. Is a at least v?
True
Let t(a) = -a**2 + 2*a + 4. Let j be t(4). Let q be j/(-48)*20/35. Which is smaller: q or -0.2?
-0.2
Let a(r) = -3*r + 2*r - 9 - 6*r + 2. Let g be a(-3). Is g greater than or equal to 16?
False
Let q(k) be the second derivative of k**4/12 - 2*k**3/3 - 11*k**2/2 + 15*k. Let i be q(5). Suppose 2*j + 0*j + 10 = 0. Which is greater: j or i?
j
Suppose 0 = -4*r + 3*w + 2, w = -2*r - 3*w + 12. Suppose r*p = 4*p + 68. Are -33 and p nonequal?
True
Suppose -3*r = s + 4, 0*r + 32 = -3*s + r. Let k = 10 + s. Are k and 41 nonequal?
True
Suppose 0 = 4*t + 74 - 26. Let j be t/(-6)*2/(-292). Let v = j - -661/292. Which is greater: 1 or v?
v
Suppose -1 = -2*n - 5*s + 2, -2*s + 32 = 3*n. Let t = 56 + n. Let x be 30/t - (-113)/(-35). Which is greater: x or -3?
x
Suppose 7*u + 21 = -35. Which is smaller: u or -5?
u
Suppose -m + 0 = -2. Let q = -1 - m. Let r be (-1 - 2)*q/9. Are r and 0 equal?
False
Let r(q) = -49*q + 298. Let s be r(6). Which is greater: 21/5 or s?
21/5
Let a(f) = -6*f - 10. Let x be a(-22). Let z = x - 163. Which is smaller: z or -42?
-42
Let j = 219 + -297. Is -77 greater than or equal to j?
True
Let i(l) = 10*l + 39. Let t be i(0). Is t equal to 44?
False
Let z = -682 + 681. Is z <= -34?
False
Let j be (-2)/1376*(-760)/(-32). Let p = 7/86 + j. Let m = -241/320 - p. Which is smaller: -2 or m?
-2
Let q = -757 + 763. Are -71 and q unequal?
True
Let n = -829/6 + 338/3. Let z = -26 - n. Is -9/2 less than or equal to z?
True
Let z(n) = 4*n**2 - 23*n - 5. Let g be z(6). Which is greater: g or -2/415?
g
Let m(t) = 210*t - 10. Let p(g) be the first derivative of 19*g**2/2 - g - 5. Let b(s) = -4*m(s) + 45*p(s). Let r be b(2). Is r greater than 25?
False
Let v = -86.1 + 69. Let c = 17 + v. Is c <= -28?
False
Suppose 18*a - 386 = 568. Is 53 at least a?
True
Let l(s) = 191*s - 1530. Let u be l(6). Which is smaller: 0.2 or u?
u
Let r = 47 + -54. Let s(c) = c**3 + 6*c**2 - 10*c + 2. Let z be s(r). Which is bigger: 24 or z?
24
Let o be ((-55)/15 - -3)*(-15