h be k(7). Suppose 2*b + 5*v = 61, -h*b + 2*v = 5*v - 143. Which is smaller: 27 or b?
27
Let m be (-12)/(-8) + 34/4. Suppose 15 = 5*c - m. Which is bigger: -2 or c?
c
Let t(c) = c**2 - 4*c + 3. Let s be t(3). Which is smaller: -2.41 or s?
-2.41
Suppose -2*i + 29 - 11 = 5*f, -f - 6 = -2*i. Suppose h + 1 = 5*w + 2*h, 4*w + f = 2*h. Suppose -3*z = -3*n - 3, -5*n - 5*z = -w*z - 5. Is n greater than 2/7?
False
Let g be 356/(-108)*(-4 - (-3 + 2)). Let q be (-4)/(-14) - (-130)/(-14). Let k = g + q. Which is bigger: k or 2?
2
Let w be 1*2*(-71)/(-41). Let c be 72/(-1353)*-5241*2/162. Let s = w - c. Which is bigger: s or 0?
s
Let h be ((5 - -20)/5)/1. Let l be 1 + (-14)/h*(-1)/(-2). Is l != -2/83?
True
Let o = -526 - -525. Which is smaller: -191 or o?
-191
Let p = 0.24 + 0.06. Suppose 0*b + 8 = 4*b. Is b at most as big as p?
False
Let x be ((-8)/18)/(6/(-27)). Suppose x*n - 7 = 3, 2*u + 4*n - 32 = 0. Let g be (11/(-2))/(u/(-12)). Is 12 bigger than g?
True
Let c be -6*(4/(-14))/(8/(-14)). Let w = 704/35 - 159/7. Is w equal to c?
False
Let r = 7.91 - 16.89. Let g = r + 9. Let h be ((-2)/(-4))/(6 + -4). Which is smaller: g or h?
g
Let m be 2814/14040 + 3/27. Let b = 7/20 - m. Let d be 2/5*1*5. Which is bigger: d or b?
d
Suppose -5*t = -5*p + 130, 5*t - 3*t = 3*p - 80. Let w = p + 2. Which is greater: 32 or w?
32
Let d be 3/5 + 44/10. Suppose -2*r - 2*r = 0, 5*o + 2*r = d. Let x(k) = k**2 - 4*k - 3. Let h be x(6). Which is smaller: h or o?
o
Let q = 391 + -392. Is q < 45?
True
Let g be 1880/(-80)*(-2)/(-17). Which is bigger: -3 or g?
g
Let g be 4572/(-28) - (-2 - -5). Let z = g - -166. Is z at most as big as 15?
True
Let d = 356227/865 - 2059/5. Let q = -712/865 + d. Which is smaller: -0.1 or q?
q
Let a be (-16)/(-7) - (-2)/(-7). Suppose -3*s + 21 = -6*j, -5 = 7*s - 6*s + j. Let l = a + s. Which is greater: 0 or l?
l
Let p = -0.99 + 0.88. Let m = -10 + 10.21. Let j = p + m. Which is bigger: 9 or j?
9
Let l(z) be the first derivative of z**4/4 - 4*z**3/3 + 2. Let x be l(4). Let u = 1 - 3. Is x at most u?
False
Let w = -239 + 238. Do -1/127 and w have the same value?
False
Let h = -23 - -37. Let r(j) = j**3 + 9*j**2 + 16*j + 3. Let l be r(-7). Let p = l + h. Is -5 at least as big as p?
False
Let y = -312 + 306.9. Let b = -0.037 - -2.137. Let m = y + b. Which is smaller: -0.3 or m?
m
Let h = 716 - 714. Which is smaller: h or -24/5?
-24/5
Suppose -107 = 2*i - 115. Suppose -8 = -i*t + 8*t. Which is bigger: t or -27/10?
t
Let q = 151 - -205. Suppose u + u = s - 690, -u - 5*s = q. Let o = -6572/19 - u. Which is smaller: o or -1?
-1
Suppose 5*m = -x + 30, 0 = -2*x - 4*m + 42 + 24. Let r = x - 99. Is -1 at most r?
False
Let d = -321 - -13163/41. Suppose -10*r + 1 = -9*r. Which is greater: d or r?
r
Let p = 402 + -315. Is p at most as big as 86?
False
Let v(s) = -12*s + 6. Let g be v(-4). Which is smaller: g or 57?
g
Let b = -5 - -10. Let j be (-1)/(-2)*(-1)/(-3)*(-70 - -91). Is b at least j?
True
Let i = -1 + 4. Let v = -2261/2 - -1133. Is i equal to v?
False
Let j(w) = w - 8. Let q be j(13). Let d be (-2 - -3)*1/q. Let c(g) = -g**2 + 6*g - 5. Let u be c(5). Which is bigger: d or u?
d
Let s(y) = -y - 12. Let p be s(-12). Let o be (p + 3/6)*0. Which is greater: 2/57 or o?
2/57
Let a be (57/9)/(2/(-12)). Let f be -35 + (1 + -4 - -1). Let m = a - f. Is -3/13 at most as big as m?
False
Let f = -99 + 158. Suppose 4*n = 3*a - 257, -4*a = -n - f + 11. Let u = n - -139/2. Which is smaller: u or 2?
u
Let f = -32 + 74. Let i = f + -59. Is 0 bigger than i?
True
Let x be (13 - (3 + 0))*4. Suppose -3*c + 3*b - x = 2*c, 0 = -2*c - 2*b - 32. Let r be 3 + -6 - 32/c. Are 0 and r equal?
False
Let r be 3/405*-241 - (-8)/36. Let h = r - 1/27. Which is bigger: h or -2?
h
Let o(x) = -6*x - 223. Let j be o(-38). Which is smaller: 10 or j?
j
Let u = 168 - 166. Is -17 >= u?
False
Let s(f) = 6*f**2 + f. Let z be s(1). Let n(l) = 177*l + l**3 + 2 - 8 - 12*l**2 - 176*l. Let o be n(12). Is o at most z?
True
Let o(j) = j**3 - 2*j**2 - 2*j - 1. Let y be 4/(-18) - (-87)/27. Let k be o(y). Suppose h + 5 = k*a, -h - 2 + 3 = a. Are a and 3 equal?
False
Let b = -1 - -1. Let h be (-12584)/15106 - (-18)/21. Is b != h?
True
Let d = 1240836/25 + -49627. Let p = -8/75 + d. Let v(n) = 2*n**2 + 3*n - 4. Let f be v(-3). Is f at least p?
False
Let j(y) = -y**3 - y - 1. Let s(m) = -m**2 - 3*m - 2. Let g be ((-1)/(-2))/((-2)/4). Let n be s(g). Let v be j(n). Is v less than or equal to -2/11?
True
Let t(c) = -c**3 + 10*c**2 + 13*c - 4. Let w be t(11). Suppose -5*o = -118 + 28. Is o smaller than w?
False
Let f(h) = h**2 + 5*h + 13. Let q be f(-3). Let v = q + -6. Is 2 smaller than v?
False
Let f = 3326/15 - 652/5. Is 92 smaller than f?
False
Let r(y) = y**3 + 12*y**2 - 7*y - 21. Let n be r(-14). Let d be ((-1)/((-8)/6))/(n/168). Is d at most as big as -2.5?
False
Let h be (-3)/28 + ((-5)/(-1))/(-35). Let r = 3.95 - 4. Let a = 2.95 - r. Which is smaller: a or h?
h
Suppose -13*w + 155 = -144. Which is smaller: 18 or w?
18
Let n be (-54)/13 + 4/26. Let b(s) = -s**3 - 3*s**2 + 5*s + 9. Let k be b(n). Suppose -k = -2*r - 1. Do 2 and r have the same value?
True
Let c be (3 - 2)/1 + 51. Let b = 27 - c. Let h = 24 + b. Is 1/32 at most as big as h?
False
Let w(s) = s**2 + 2*s. Let r be w(-3). Let b be -2 + r - (1 + 12). Let m be (4/b)/(1/(-3)). Which is smaller: m or -8?
-8
Suppose -3*s = -5*q - 4, -s = -5*s + 12. Is q at most 9/28?
False
Suppose -1 = -2*j + 9. Suppose 2*k - 2*z - 10 = 0, j*k - 17 = 4*z + 8. Suppose k*d = 4*s - 85, 2*d + 6 = -s - 3*s. Which is smaller: d or -12?
d
Let y = 66.064 - 66. Let f = 3.936 + y. Which is smaller: -6 or f?
-6
Let l be ((-24)/20)/(15/(-200)). Which is bigger: 18 or l?
18
Let a = -817 - -817.1. Suppose -7*p + 3*p = -8. Suppose z = 5*z + p*r - 14, -z + 26 = 5*r. Is a != z?
True
Suppose 0 = -4*p - 0*p - 336. Let z be ((-4)/(-6))/(35/(-4470)). Let o = p - z. Is o greater than 2?
False
Let f = -1183 - -1155. Is f equal to 0?
False
Suppose j - 1 = -4*n + 2*n, -3*n = -3*j - 15. Which is smaller: -23/6 or j?
-23/6
Let p = -2.21 + 2.2. Let w = p - 0.22. Let v = 0.43 + w. Which is smaller: 0.11 or v?
0.11
Let p be 4/6*27/(-2). Let g be (-6)/p*(-24)/32. Let l = -83/10 + 647/90. Which is smaller: g or l?
l
Let a be 93/(-62) - (4354/(-36))/7. Which is bigger: 16 or a?
16
Let j = -3200/2061 - 2/687. Is 0.1 equal to j?
False
Let m = 0.04 + 0.96. Which is smaller: 2/189 or m?
2/189
Suppose -8 = -g + 5*g. Let c = -4 + g. Let y = 1.07 + -0.87. Which is smaller: y or c?
c
Let x = -67/5 + 7174/535. Which is bigger: x or 0?
x
Let p = 0.77 - 0.45. Let q = 0.33 - p. Which is bigger: q or -2?
q
Let z be (-12)/((-25)/5 - -2). Is 33/13 > z?
False
Suppose 5*p + 3*u - 6 = 0, -3*u = -2*p - u - 4. Is p greater than 21/25?
False
Let b = -2404 - -33631/14. Which is smaller: -2 or b?
-2
Let b = -36 + 31. Let n(g) = g - 11. Let h be n(9). Which is bigger: b or h?
h
Suppose 9 = 5*q - 2*s + 35, 3*q + 6 = -2*s. Let t be 20/(-11) - (-3)/(66/q). Which is greater: t or 21?
21
Let a be -19*(-1 + (1 - 1)). Suppose 10*v = 2*v + 144. Let i(p) = p + 2. Let r be i(v). Is r equal to a?
False
Suppose -5*p = -2*k + 129, 2*p = -3*k + 4*k - 65. Suppose -8 - k = -3*f. Is f less than or equal to 25?
True
Let q(y) = 10*y + 10. Let a be q(-4). Let g be (1/a)/(8/32). Is g >= 1?
False
Suppose 2*a + 2*a - 8 = 0, 12 = -2*j - 3*a. Let c be -39 - (-5 - -2)/(-3). Let s = c - -31. Do j and s have the same value?
True
Let t = -80 - -82.4. Is t bigger than -1?
True
Let b = 183.817 + -184. Let p = 12.183 + b. Let j be ((-3)/(-15))/((-4)/5). Is p != j?
True
Suppose 4*p - 171 = -83. Which is smaller: p or 13?
13
Let u = 553 + -566. Which is bigger: u or -14?
u
Let k be 0 + (1/(-3))/((-4)/12). Is 4 > k?
True
Let u = 4300 + -116066/27. Is u smaller than 2?
True
Let o(p) = -p**2 - p + 1. Let u(l) = -4*l**2 - 15*l - 14. Let d(r) = 3*o(r) - u(r). Let k be d(-11). Does k = 23/5?
False
Suppose 4*u = -8, 2*g - u + 2 = 6*g. Suppose -g = -o - 0. Suppose 0 = m + o. Which is smaller: m or -5?
-5
Let g = -32 - -99. Suppose 72*b - 140 = g*b. Which is greater: b or 29?
29
Suppose 5*t = -4*d - 46, 0 = 4*t - 3*t + 2*d + 8. Let g be t/6 + 4/6. Let a(q) = -q**2 - 28*q - 96. Let s be a(-4). Which is smaller: g or s?
g
Suppose -2*x - 100 = 2*a + 112, 3*a + 310 = x.