)*1. Suppose 2*m + 5*s = 15, -s + 12 = 4*m + 3*s. Which is smaller: m or r?
r
Let v(o) = -o**2 - 10*o - 5. Let k be v(-10). Let y be (-4)/k - (-3)/15. Which is greater: y or 2/7?
y
Let x(p) = -p**3 + 2*p**2 - 11*p**2 - 4*p**2 + 3. Let s be x(-13). Let h(l) = -l - 1. Let j be h(-2). Which is bigger: s or j?
s
Let w(x) = -x**3 + 4*x**2 - 3*x + 3. Let l be w(3). Let a be -1 + -5 + 0 + 8. Which is smaller: a or l?
a
Let h = -2310043477103/65 - -35539947619. Let c = 817224 - h. Let w = -111/5 + c. Which is smaller: w or 0?
w
Let o be (3096/32)/(1/8). Let a = o - 30184/39. Are a and 0 unequal?
True
Let f be (-10)/(-65) - (-74)/26. Suppose 2*i - r = f, 5*i - 5 - 1 = 3*r. Is i not equal to -3?
True
Let m = -3/3040 + 899849/9120. Which is greater: 99 or m?
99
Let j be 4/8 - (-21)/(-14). Which is smaller: j or 4/395?
j
Let t = 43 + -55. Let k = t + 47/4. Let a be 1*(-1)/(-1)*1. Is k > a?
False
Let c be (-1)/1584*-86 - (-3)/(-27). Which is bigger: 0 or c?
0
Let h = 19 - 241. Let t be (231/h - -1)*1/3. Which is smaller: t or 0?
t
Let x be 276/368*-2*3. Suppose -4 = -2*b, -2*b - b = -2*h + 18. Suppose o = 4*o + h. Is x >= o?
False
Let p(x) = -x - 4. Let a be p(-5). Let d be (a - 2)*2/(-54). Suppose 3*g + 7 = 10. Which is smaller: d or g?
d
Let a = -2/15 - 8/15. Let k = -3.13 - -26.13. Which is smaller: a or k?
a
Suppose -137*o + 3148 = -133*o + 2*i, 2*o = 4*i + 1594. Which is smaller: o or 791?
o
Let r(t) be the second derivative of 5*t**3/3 + 2*t**2 + 6*t. Let s be r(-6). Is s > -56?
False
Let k be (-3*8/(-32))/((-1998)/(-4)). Which is smaller: -1 or k?
-1
Suppose 0 = t + 2*t - 63. Suppose -n - t = 3*r, -4*n + 8*r - 16 = 3*r. Let j = n + 11. Which is smaller: j or 0?
0
Let r be 21/27 + 24/108. Does r = -1/270?
False
Let d be 1/((-14)/4 - -3). Let u(r) = -5*r**2 - 2*r + 1. Let c be u(d). Is -14 less than or equal to c?
False
Let a be (-1689)/(-1143) + 245/(-147). Which is bigger: -1 or a?
a
Let a = 2.19 - 9.49. Which is smaller: a or 0.1?
a
Suppose -14 - 343 = -17*r. Which is smaller: r or 16?
16
Suppose 0 = -5*r - 2 - 3. Let v be r + (2/1 - 2). Let a = 0.0513 - -2.9487. Is v less than or equal to a?
True
Let p(f) = 66*f + 34. Let c be p(2). Is c at least 166?
True
Suppose 3*a - 3*m = 21, -2*a - 2*m + 6 = a. Suppose 2*q = -a*z - z + 85, 2*q = 3*z - 51. Is 17 at least as big as z?
True
Let c be 8/(-10)*(8 + 395/10). Suppose 0*v + 39 = -v. Which is bigger: v or c?
c
Let m be 10/4*(5 + -3). Suppose 2*x = -0*x - 4*u + 20, -2*x = m*u - 25. Let w be 6 + (-9 - -5) + -3. Is x at least as big as w?
True
Suppose 24*l = 26*l - 54. Let w be ((-8)/6)/(8/(-192)) - 4. Which is bigger: l or w?
w
Let r be -4 - (144/(-96))/((-6)/(-8)). Which is bigger: r or 0.27?
0.27
Suppose -10*f = -3*l - 14*f - 9, 3*f = 5*l - 14. Which is bigger: -9/157 or l?
l
Let m(b) = b**2 + 4*b + 15. Let w be m(-7). Let d be (-80)/9 - 4/w. Which is greater: d or -17/2?
-17/2
Suppose -8*t - 448 = -9*t. Is t at least 448?
True
Suppose 6 = -6*f + 7*f. Suppose 101 = f*s + 335. Are -39 and s nonequal?
False
Let y(k) = -k. Let o(m) = -5*m - 1 - 1 + 2 - 1. Let x(t) = -o(t) + 6*y(t). Let v be x(0). Is v < -2/33?
False
Suppose 0 = -2*o - 3*z + 24, -36 = -3*o + 2*z - 0*z. Suppose -10*r = -22*r + o. Let w be 0 + 2/(-42)*-2. Which is smaller: r or w?
w
Suppose 0*o + 2*o = 200. Let t be 66/(-5)*o/15. Let q = 266/3 + t. Is 1 greater than q?
True
Suppose 0 = -5*y + 2*y + 9. Suppose y*j = -n - 8, -5*n - 2*j + 3 = 17. Which is smaller: n or -1?
n
Let m be (-371)/(-119) - 3 - (-8)/(-68). Which is bigger: m or -9/20?
m
Let z(x) = 4*x**2 + 9*x + 13. Suppose 12*u = 16*u + 40. Let y be z(u). Let o be 2/(-4) - y/(-238). Is 2 at least as big as o?
True
Let t be ((-4)/(-10))/(-3*(-16)/(-300)). Let w = -41/16 - t. Let j be 6/4 - (-2)/(-4). Is w not equal to j?
True
Let q = -1.3 - -1.328. Let x = 0.04116 + -0.04116. Which is bigger: q or x?
q
Let q(l) = 2*l**2 + 10*l - 16. Let y be q(-9). Let o = -63 + y. Let i = 1 - 9. Which is smaller: o or i?
i
Let h = 147 + 8. Let a = h + -3256/21. Which is greater: a or 1?
1
Let y = 74.92 + -79. Let m = y - -0.08. Let x = m - -4. Are x and 3/5 unequal?
True
Let w = 2272 + -193121/85. Does 0 = w?
False
Suppose 0 = 3*b - q - 90, -3*b + 4*q - q = -90. Let a = 25 - b. Let r = a - -9. Which is smaller: 3 or r?
3
Let v = 4.4 - -41.6. Let y = v - 57. Which is bigger: 1 or y?
1
Let g be (-12)/42 + -4 - -5. Suppose -5*z = 3*j + 1 - 6, -z = -5*j + 27. Suppose -j*h = -0*h. Is g >= h?
True
Let i = 47 - 77. Let g = 18 + i. Let y be 9/g - (-9)/(-12). Which is smaller: y or -1?
y
Suppose 4*f = 3*k + 8*f + 1, -4*k = 5*f. Suppose 4*o - k*h - 11 = 0, -h - 3 + 0 = -o. Let l be (8 - o)*(-2)/(-14). Are -1/3 and l unequal?
True
Let k = -0.9 + -0.1. Let p be 179 + 1*(-2 - -1). Let t = 1956/11 - p. Is k <= t?
True
Let m = 422 - 422. Let c be 20/(((-2)/(-3))/2). Let n be 19/c - (-1)/(-4). Is n at least as big as m?
True
Let u be (-15)/3*(7 + -2). Let d = 25 + u. Suppose 5*x - 5 + 10 = d. Is -3/7 <= x?
False
Let q = 1.3 + -2.1. Let i = 8 + -8.9. Let b = q - i. Is b greater than 0.4?
False
Suppose 5*j - 9*j + 12 = 3*c, 0 = -5*c + 4*j - 12. Let v = 2/1611 - 3448/182043. Is v greater than c?
False
Let b = -5 - -5.3. Let c = -0.2 + b. Let l(g) = 12*g**2 - 1. Let w be l(0). Is w less than c?
True
Let m(p) = 0*p**3 + 4 + 4*p**3 + 5*p - 5*p**3 - 3*p**2. Let x be m(-4). Let h be ((-6)/40)/((-13)/104). Is h at least as big as x?
True
Let d = -3 - -5. Let m = d - 2. Let z = -0.954 + -0.046. Is m < z?
False
Let j = 25.52 - 0.52. Let t = -24.9 + j. Is 0.17 >= t?
True
Let y(b) = b**2 + 12*b - 34. Let x be y(-14). Let u be (x/(-75))/((-24)/(-10)). Is u greater than or equal to 1?
False
Let b be ((-22)/33)/((-2)/39). Suppose -b*j = j - 14. Which is smaller: -2/25 or j?
-2/25
Let d = 45.77 + -46. Let z = 0.53 + d. Which is smaller: 2 or z?
z
Let s = 2.95 + 0.05. Let r = 647 - 647.9. Are r and s equal?
False
Let z = -205.9 - -206. Is z bigger than 29?
False
Let i = 2.3 + -2.385. Which is smaller: -2/7 or i?
-2/7
Suppose 11*g = 2*g - 27. Let d be (g/(-2))/(240/100). Does d = 1?
False
Let t be 32/18 + (-12)/(-54). Let l be -1*t + (-18)/(-9). Let g = 454/7 - 65. Are l and g nonequal?
True
Let b be (-2)/7*1009 - (-54)/189. Is -289 at most b?
True
Let s(c) = -8*c**2 - 3*c + 4. Let v be s(-3). Let a = v - -237/4. Let b = 1488 + -1479. Which is bigger: a or b?
b
Let c(w) = -w. Let h be c(-2). Suppose -f + 39 - 35 = 0. Suppose -4*g + 2*g - 6 = 3*z, f*g = -z - h. Is -1/9 < g?
True
Let t = 27 - 27.2. Let v be (-6)/(-8)*-7*2/(-231). Is t > v?
False
Suppose -a - 12 = -33. Let m be ((-22)/(-4))/(a/(-462)). Which is bigger: m or -2/5?
-2/5
Let t = -3.4 - -2. Let v = t - -1.5. Let d = -2.5 - 0.5. Is d at most v?
True
Let j(w) = w**3 + 6*w**2 - 38*w + 20. Let l be j(-10). Which is smaller: l or 8/63?
l
Suppose 5*i = -5*a, 4*i = 3*i - 3*a + 4. Let q be 1/((-1)/(0 - -1)). Is i at most as big as q?
True
Let d = -516.05 + 518. Which is smaller: -2/9 or d?
-2/9
Let a be ((-6)/10)/((-1002)/40). Are 0 and a equal?
False
Let j be 3 + 40/(-15) - 726/(-9). Suppose -11*y - 279 = -j. Is y less than -19?
False
Suppose -j + 11 = -4*k, 0 = -41*k + 42*k + 3. Which is smaller: -58/51 or j?
-58/51
Let g(a) = -a**3 + 22. Let w be g(0). Suppose -5*k + w = 3*u, k = 4*u + 2*k - 1. Let b be ((-1)/(-3))/(2/(-10)). Is u at most b?
False
Suppose -2*c - 6 = 3*y, 4*y - 6 + 18 = -4*c. Suppose 9*s = -23 - 4. Is s less than c?
False
Let d = 1170 - 1105. Do 66 and d have the same value?
False
Let y = 131 + -131.5. Is -0.175 at most y?
False
Let w = 7648/1099 - 16/157. Let z = 1601 + -1595. Are w and z unequal?
True
Let m = -1187/8 + 148. Let a(s) = -s**3 + 2*s**2 - s. Let f(x) = x**2 - x - 1. Let j be f(2). Let p be a(j). Is p at least m?
True
Let y = -0.04 + -0.9. Let m = 0.06 - y. Let c = -3 + m. Does -2 = c?
True
Let m = 561/71 + -1141983/144556. Which is greater: 1 or m?
1
Let n be 70/105*(6/20)/(-1). Is n less than -170?
False
Let d = 0.18 - 2.48. Let b = 2.2036 - -0.0964. Let i = d + b. Which is smaller: i or -1.4?
-1.4
Suppose -11 = p + 3*q, 667*p - 670*p = -q - 7. Let b = 668424/7 + -60161251/630. Let k = b - -69/14. Is k smaller than p?
True
Let c = 2186 + -1781. Is c < 807/2?
False
Let d = -0.81 - -0.01. Let u = -11.4 - d. Let i = 10 + u. Which is smaller: i or 