0)*-2. Which is greater: 108 or o?
108
Suppose 5*p + 65 = -b, -p = -3*b - 0*b + 13. Let o(k) = k + 20. Let q be o(-10). Let j = p + q. Is -4 > j?
False
Suppose -k - 2 = -2*r, -3*k - 4 + 5 = r. Let i be 2 - (-2 + -2 + 180/33). Is r >= i?
True
Let l(f) = f**3 - 7*f**2 - 5*f - 24. Let r be l(8). Is -2/93 > r?
False
Let t be 4/44 + ((-3808)/(-55))/(-7). Which is smaller: t or -0.2?
t
Let m = 10 + -7. Suppose 2*n = n + 5*h + 3, m*h - 12 = -4*n. Suppose -3*l + n*z - 26 = -2, -34 = 3*l - 5*z. Is -3 at least as big as l?
True
Let i be (-9014747)/(-11970) - 6/10. Let v = i - 1505/2. Is 1 <= v?
False
Let s = 26.042 + -26. Let j = 0.242 - s. Let n = 0.21 + -0.2. Are n and j unequal?
True
Let g be -7 - ((0 - -4) + 0). Let l be (33/6)/(3/(-6)). Is l less than or equal to g?
True
Let n(p) = -3*p**2 + 12*p - 5. Let d be n(4). Which is greater: d or 16?
16
Suppose 0*l - l = 3. Let h(u) = -u**3 - u**2 + 3*u + 1. Let i be h(l). Suppose 0 = n + 2*s - i, 3*n + 5*s = -4 + 31. Which is smaller: n or 2?
2
Let w = -106 - -211/2. Let l = 0.01 + 0.05. Which is bigger: w or l?
l
Let u be 5*1*(-5)/(3 + -8). Let p be (1/u)/(1 + (-9)/8). Which is smaller: -3 or p?
-3
Let n = 0.387 - -5.613. Suppose -5*k = -10, -3*l + 10 = -0*l - k. Is l less than n?
True
Let a = -35 - -28. Let j(v) = 3*v + 25. Let w be j(a). Which is bigger: w or -3?
w
Let o be 5/2*30/189. Let p = 2/63 + o. Let m = -66 + 65. Which is smaller: m or p?
m
Let x = 117.15 + -127. Let a = -9.8 - x. Which is smaller: a or -2/15?
-2/15
Suppose 79 = 3*g - 23. Suppose -12*l = -8*l - 8, 5*a - 5*l = 160. Are a and g equal?
True
Let o be 3/(-2)*192/144. Which is smaller: 9 or o?
o
Let q = 169.9 + -170. Is q at least 1/66?
False
Let s = -10.76 - 1.14. Let j = -9 - s. Let w = 2.9 - j. Is -16 bigger than w?
False
Let c be -2 - 1 - 10070/(-160). Let u = -60 + c. Is u at most 0?
True
Let b be 14/(-2) + (-7)/(-21)*15. Which is smaller: b or -39/29?
b
Let j = 651 + -649.74. Which is bigger: j or 1?
j
Suppose -a = 5*n + 8 - 21, -5*n + 4*a = 2. Suppose 0 = 3*t - 9, -t - 41 = -2*d - n*d. Let j(f) = f**2 - 3*f - 7. Let p be j(6). Is d smaller than p?
False
Let l be -10 - -1 - (1 + (16 - 12)). Let m = -24 - -9. Are l and m nonequal?
True
Suppose -y = -3*f, y + 3*f = -4*y + 18. Suppose y*h - 7 = -2*m - 2*m, -3*m - 6 = 0. Suppose 3*x = h*q - x, 4*q + 6 = 2*x. Is -8/3 smaller than q?
False
Let b = -7 - 23. Let m = b - -30.02. Suppose 0 + 1 = -o. Are m and o unequal?
True
Let k be ((-1)/1*8)/2. Let n be k*3/(-702)*3. Is -1 <= n?
True
Let n be (-1 - 2)/(6/(-6)). Are n and -15 non-equal?
True
Let t be (-3842)/12 + 6 + 210/(-36). Which is smaller: -321 or t?
-321
Let z = -1/1013 - 10119/11143. Is z bigger than -0.4?
False
Let t = -628/2247 - 2/321. Is 0 equal to t?
False
Suppose -5*l - 5 = 2*h - 2, 0 = 2*h - 4*l - 6. Let p(u) = 4*u - 2*u - 2*u + u + h. Let d be p(-4). Is d <= -3?
True
Let n be 0 + -3 - (55 + -59). Suppose -4*i + 2*i - 28 = 0. Is i greater than n?
False
Let f = 5.2 + -5. Let t = f - 0.1. Let s = -146 + 149. Does s = t?
False
Let r = 118159/11 + -10724. Is r less than 18?
True
Suppose -2*y = 4*q - 16 - 8, -5*y + 15 = q. Suppose 27 = -q*h - 2*l - 68, -4*h - 109 = -5*l. Is h smaller than -23?
False
Let r be 2 + -1*(-2 - -4). Let z = -885/160718 - 2/8313. Let s = z + 373/4350. Is r bigger than s?
False
Let o = 10.7 + -0.7. Let w = o + -10.1. Let x = -0.3 - w. Is -3 >= x?
False
Let v(a) = -a**3 + 4*a**2 - a. Let o be v(2). Suppose 2*z = -o + 10. Suppose -6*r - z = -8. Which is smaller: 2/11 or r?
2/11
Suppose -4*b = 12, 2*s + 2*b = 6*s - 66. Suppose -21 = 2*f + 29. Let a = s + f. Which is bigger: a or -11?
a
Let m = 0.84 + -57.84. Let u = 57.05 + m. Is 0 > u?
False
Let x be 1 + (-1 - -2) + 0. Let d be (x/4)/(6/24). Suppose 1 - d = -a. Are -2/7 and a equal?
False
Suppose 5*g - 80 = -5*f, 10 = -0*f + f - 2*g. Suppose 18*m = 8*m + f*m. Which is greater: m or 6/91?
6/91
Let w = 5 - 2. Let z = -7 + w. Let m = -3.8 - z. Which is smaller: m or 3/8?
m
Let m(f) = -f**3 + 9*f**2 + 12*f - 7. Let a(h) = h**3 + 16*h**2 - 19*h - 24. Let n be a(-17). Let k be m(n). Are 13 and k unequal?
False
Let d(j) = j**2 + 13*j + 15. Let a be d(-17). Suppose 0 = 8*y + 29 + a. Does -72/5 = y?
False
Suppose -592 = 14*c + 248. Are c and -0.02 equal?
False
Suppose 4 - 19 = 5*h, 2*h = j + 20. Let p = j - -22. Is p < -4?
False
Let l = -15.32 + 15. Let x = -4.4 + 3.08. Let m = l - x. Which is greater: 5 or m?
5
Suppose 75 = 2*l - 4*z + 265, 3*z = 5*l + 461. Is -92 smaller than l?
True
Suppose -l = 2*h, -3*h + 3*l = -l + 22. Let v be (h - -37)/(0 - 1). Let d be v/(-133)*4/(-10). Is 0 greater than d?
True
Let a = 17 + -18. Is a greater than 3/23?
False
Let r(v) = -v**3 - 8*v**2 + v + 2. Let d be r(-8). Let f be 7/d*(-12)/105. Suppose 3*s + 2 = s. Do s and f have the same value?
False
Suppose -5*n + 0*n + 3*y - 618 = 0, -y = -1. Let f = n - -120. Which is greater: 0.2 or f?
0.2
Let p be 4/(-10) - (-88)/20. Suppose -10 = -p*a - 6. Is -1/16 >= a?
False
Suppose -4*z + 5*h = 2 - 12, -4*h + 18 = 2*z. Let d = 14 + -8. Suppose -z*r - d = -1. Does -2/21 = r?
False
Suppose 0 = -7*k - 2 - 5. Which is greater: k or 1/80?
1/80
Suppose d - 7 = -4. Let n = 410 + -408. Which is smaller: d or n?
n
Let w(f) = -4*f - 3. Suppose -l - 2 = h, l = 5*h + 3*l + 1. Let b be w(h). Which is smaller: -5 or b?
b
Suppose 0 = k - 1, 3*l - 3*k = l - 83. Let t be 4/(-10) - l/225. Which is bigger: 43 or t?
43
Let o = 749.8 + -750. Which is smaller: -145 or o?
-145
Let n(d) = d**3 + 5*d**2 - 7*d - 7. Let a be n(-6). Let r = a + 15. Let b be (-7)/(r/4) - 4. Which is bigger: -4 or b?
-4
Let x(i) = -i**3 + 6*i**2 + 4. Let p be x(6). Let m(b) = b + 3. Let u be m(p). Suppose 2*j = -3 + u. Do 2 and j have the same value?
True
Suppose x + 76 - 278 = 0. Let u = 601/3 - x. Which is smaller: u or -2?
-2
Let t(z) be the first derivative of -z**4/4 + 13*z**3/3 - 12*z**2 + 22*z - 42. Let n be t(11). Do -6/23 and n have the same value?
False
Let n = -2.39 - 48.61. Which is smaller: 1 or n?
n
Let v be (-7 + 385/56)*-8. Which is smaller: v or -8/33?
-8/33
Let b be (-3 - -5 - 20)*(-34)/17. Is b at least as big as 249/7?
True
Suppose 0*a + a + 41 = -4*t, -4*a - 74 = -2*t. Let x be (-1)/((-4)/276*-3). Let g = 2 + x. Is g equal to a?
True
Suppose -73*j = -100*j - 54. Which is smaller: -11/6 or j?
j
Let l(h) = -76*h + 554. Let j be l(7). Let y = 52 + -31. Are j and y equal?
False
Let h(m) = 4*m**3 + 2*m**2 + 4*m + 3. Let z be h(-3). Let y = 26 + -29. Let o be (y - z/93) + 2. Is o at most as big as 0?
False
Let o be (-1)/((2/(-135))/(222/(-185))). Let z be (6/4)/(-3)*160. Does z = o?
False
Let g = 375 - 336. Which is smaller: g or 0.1?
0.1
Let v be ((-432)/36)/(2/3). Is v != 4?
True
Suppose -19*g + 127 - 165 = 0. Suppose -10 = 5*h - 0. Is g < h?
False
Let h = -13739 + 13745.101. Let z = h - 0.101. Is -3/2 >= z?
False
Let h(j) = j**3 + 4*j**2 - 13*j - 2. Let l be h(-6). Suppose -3*x = q - 12 + 1, -5*q + 33 = 4*x. Suppose -l*o = -x*o + 4. Which is bigger: -9/8 or o?
-9/8
Let h = 10904/19 + -581. Is h not equal to -8?
True
Let d = 610 + -612. Suppose 0*a - 3*a + 9 = 0. Suppose 0 = 4*u - a - 1. Which is smaller: u or d?
d
Let x = 31 + -59. Let s be 3/9*12/x. Which is greater: 1 or s?
1
Let s be 1 - 0/(4 - 2). Let u = -0.1 - 3.9. Let j = 16 + u. Which is smaller: s or j?
s
Let h(o) = -o**3 - 8*o**2 + 8*o - 10. Let t be h(-9). Is t greater than -3?
True
Suppose -7*u + 4*u = -15. Suppose 3*g + 3 = t + u, 4*g = t + 2. Is g > -1?
True
Let b = 97 + -31. Suppose -b = 5*l - n, -3*n - 34 = l + 2*n. Which is smaller: l or 2?
l
Suppose -2*d + 4*n = 182, 5*d = 6*d - 5*n + 106. Which is greater: -78 or d?
-78
Let x be ((-10)/(-20))/((-1)/(-226)*-1). Is 1 at most x?
False
Suppose 5*c + 3 = -2*t - 8, -c - 5 = -t. Suppose n - 1 = -j + 1, 0 = j + 4*n - t. Which is bigger: -2 or j?
j
Let r(i) = i**3 + 3*i**2 - 10*i + 4. Let v be r(-5). Let s be (-1)/(-4) + v/(-48). Is s greater than 0?
True
Let q = 58 - -472. Is q < 1?
False
Let z = 338 + -234. Suppose -3*g + 22 = j - z, 3*g = -3*j + 132. Which is smaller: g or 39?
39
Suppose 5*t = -0*t + j, 4*j = -5*t. Is -1/458 not equal to t?
True
Let f = -0.144 + 0.144. Which is greater: f or -166?
f
Let u = -555 - -580. Is u greater than -2/13?
True
Let y = -150.7 + 151.3. Is y smaller than -55?
Fa