 - -8. Let c be a(w). Is c at least as big as f?
True
Suppose 0 = 2*g + r - 64, -3*g = -6*g + r + 91. Suppose 11 = -5*s + g. Suppose 2*y - s*y - 16 = -c, 2*c + 5*y = -4. Which is smaller: c or 7?
7
Let i = -3/164 + 129/328. Are i and -25 nonequal?
True
Suppose 155 = -7*x + 15. Which is smaller: x or -19?
x
Let a = -2248/7 + 322. Is a less than 3/2?
True
Suppose 3*f - 5*x = -25 + 8, 2*x = -2*f + 10. Let g(n) = n**2 + n + 4. Let t be g(0). Let j be (2 - 1)*(-2 + t). Which is smaller: j or f?
f
Let r = -6.3 - -7.3. Do r and -2/75 have the same value?
False
Let q = 1 + -2. Let r(k) be the third derivative of k**6/120 + 7*k**5/30 + 13*k**4/24 + k**3/3 + 48*k**2. Let m be r(-13). Are q and m equal?
False
Let l = -1160 + 1157. Which is smaller: l or -88/27?
-88/27
Let m = 12.3 - 2.3. Let o = 3 - m. Let u = 152/581 + 2/83. Which is bigger: u or o?
u
Let t be 24/12 + -7 + 11/2. Which is smaller: t or -35.3?
-35.3
Suppose -2*h + 352 = -3*u, -2*u = -5*h - 0*h + 858. Is h less than 171?
True
Suppose -65*g + 51*g + 210 = 0. Which is greater: g or 19?
19
Let m = 0.14 + -0.137. Let w = m - -32.997. Let x = -30 + w. Which is smaller: -1 or x?
-1
Let c(q) = -q**3 - q**2 + q - 4. Let i(p) = p**3 + 2*p**2 - 2*p + 5. Let v(n) = -3*c(n) - 2*i(n). Let o be v(-1). Which is greater: -1/7 or o?
-1/7
Let i = 0.1 - 1.4. Let g be (-3*2/(-45))/((-44)/612). Let b = 16/11 + g. Which is greater: i or b?
b
Let s(n) = n**2 - 5*n. Let w be s(5). Suppose w = h + 3*u - u - 16, 4*h + 4*u = 44. Are -2 and h non-equal?
True
Let r = -2 + 0.9. Let p = r - 0.9. Let o be 0 + -2 + (-6)/(-4). Which is smaller: p or o?
p
Let q = -521 + 374. Which is smaller: q or 2?
q
Let w(o) = -o**2 + 14*o + 28. Let i be w(13). Suppose r + 36 = -u, -4*r + 20 + i = -u. Is -41 less than or equal to u?
True
Let a(o) = 3*o**3 + 23*o**2 + 14*o. Let y be a(-7). Which is bigger: -8/333 or y?
y
Suppose f - 5*f - 8 = -g, -g + 5*f + 10 = 0. Let z be (996/(-525) - -1) + 228/266. Is g at most as big as z?
False
Suppose -10 = 3*j - 8*j. Suppose 0 = j*a - 6. Suppose -60 = -7*d + a*d. Is d equal to 16?
False
Let c = 1250 + -1503.8. Let q = -276 - c. Let p = q + 22. Is p < 5?
True
Suppose 0 = -10*d + 6 + 4. Which is greater: 2/663 or d?
d
Suppose 2 = -327*y + 328*y. Let q be ((-2)/(-3))/((-2)/6). Let v = q + 2. Is y <= v?
False
Let p(m) = m**2 + 14*m + 25. Let u be p(-13). Suppose -3*g = 15 - u. Let b be (-36)/14*1/3. Do g and b have the same value?
False
Let k(s) = s**2 + 8*s - 3. Let f be k(-9). Let t be 9/(-6)*(-4 - f*-1). Which is smaller: t or -8/3?
t
Let m = 86 + -169/2. Suppose 45*r = 22*r - 161. Are m and r unequal?
True
Let g(y) = 32*y + 227. Let w be g(-7). Is w <= 62?
True
Let k = -581 - -627. Which is smaller: 53 or k?
k
Let g(i) = -4*i**2 + 2*i + 1. Let d be g(-1). Suppose 3*p = -5*c + 855, 5*c - 8*p = -3*p + 815. Let s be (16/c)/((-2)/(-6)). Is d equal to s?
False
Let g = 15 + -8. Let a be (1/g)/(1/((-6)/(-3))). Which is smaller: 9/2 or a?
a
Let f = -1.272 + 204.272. Is 2 bigger than f?
False
Suppose 3*d - 16*j = -11*j, 0 = -5*d - 4*j. Which is smaller: 16/81 or d?
d
Let x be -1 + 8 + 0/(-3). Suppose 2*c = x*c. Let h be (0 + c + 0)/(-4). Is h bigger than -4/11?
True
Suppose -6*g = 521 - 179. Is -58 at least as big as g?
False
Suppose -o - 2718 = 17*o. Is o < -2?
True
Let t(d) = d - 14. Let p be t(11). Let q be 5/(-15)*(2 - p/(-3)). Which is smaller: 1/2 or q?
q
Let i be -3 - (5 + -2)*-1. Let a be (-6)/(-35) + (-4)/(-10). Which is bigger: a or i?
a
Let s(t) = -2*t - 6. Let m be s(-15). Let o = m + -30. Which is smaller: o or 0.1?
o
Suppose 8*o + 315 = 67. Is -31 at most o?
True
Let n = 15.8886 - -0.1114. Let m be 0 + 1 + 14/(-10). Which is smaller: m or n?
m
Let l = 0 - -2. Let s be ((-3)/1)/(3/(-5)) - 3. Let q be (33/27 + -1)/(s/12). Which is bigger: l or q?
l
Suppose 5*l + 3*c = 85, -2*l = -3*c + 28 - 41. Which is smaller: 68/5 or l?
68/5
Let l = 177.1 + -177. Which is greater: -2/13 or l?
l
Let t(z) = z + 7. Let f be t(-3). Let x be (-3)/(-2) + ((-5)/f - -2). Are 2 and x non-equal?
True
Let m = 130229/83 - 1569. Which is smaller: 1 or m?
m
Suppose -399*t - 356 = -395*t. Is t greater than or equal to -89?
True
Suppose 44 = 4*t + 3*d, -5*t = -2*d - 2 - 30. Let b = 27 - 19. Is b at most t?
True
Suppose -19*a = 11*a - 180. Which is smaller: 4 or a?
4
Let p be -5 + ((-974)/18 - -8). Is p at least -50?
False
Let p(l) = 2*l**2 + 6*l + 6. Let k be p(-4). Let i = 89 + -39. Suppose 2 = -3*m + i. Is m at least as big as k?
True
Let w(g) = 3*g - 20. Let i be w(2). Are -7 and i equal?
False
Let i = 35929502/1409 + -25500. Which is smaller: i or -1?
-1
Let h be (1*4/(-70))/(21/105). Are h and -115 unequal?
True
Suppose -2 = -4*c + 6. Suppose -q + 3 = k - 13, -q - c*k + 15 = 0. Is q < 18?
True
Let r = 1667 - 2642. Do -976 and r have different values?
True
Suppose -3*r - 3*u - 225 = 0, -3*u - 201 - 184 = 5*r. Let o be (-114)/16*68/(-6). Let a = o + r. Which is smaller: 0 or a?
0
Suppose 0 = l - 2 - 2. Suppose -l*j = -0*j - 20. Let z be (0/3)/(-3 + j). Is z at most as big as -2/9?
False
Let w be ((-18)/15)/((-6)/(-80)). Let r be (0 - 2)*(-12)/w. Let s = 23 + -21. Is s <= r?
False
Let c be (-117)/26*10/465. Suppose 3*p - 16 = -g + 5*g, p = g + 4. Which is smaller: p or c?
c
Let s(w) = w**3 - 5*w**2 + 5*w - 3. Suppose 0 = 2*u + 3*u - 25. Let o be s(u). Is 22 less than o?
False
Let g(q) = -3*q + 15. Let n be g(7). Let l be (32/n)/((-14)/105). Suppose 8 = -2*t, l = -6*r + 2*r + 5*t. Which is bigger: -16 or r?
r
Suppose -5*n + p + 24 = 0, 7*p - 28 = -5*n + 4*p. Suppose -119 = -n*i - 124. Is i greater than or equal to -0.079?
False
Suppose 4*h = 3*g + 27, 5*g - 3*g + 20 = 3*h. Suppose h*y + 16 = -8. Let c be ((-2)/48)/(y/8). Which is bigger: c or 0?
c
Let n = 32 + -30.3. Let q = -46/571 + -47983/6852. Let p = q - -22/3. Which is smaller: n or p?
p
Let p = 2 + -7. Let o = 7 + p. Let w = -1075/7 - -154. Is o greater than or equal to w?
True
Suppose -5*q + 5*b - 65 = 15, -5*b = -25. Is q at least -7/8?
False
Suppose -5*s + 929 = -1156. Which is bigger: 418 or s?
418
Let k be ((-14)/(-35))/((-1)/5). Let o be 0/k - (-36)/135. Let f = 1/15 + o. Which is smaller: f or 0?
0
Suppose -48 = -27*v + 23*v. Which is bigger: v or 47/4?
v
Let d = -4/271 + 390/63143. Suppose g - l + 4 = 3, -3*l = 2*g + 2. Are g and d equal?
False
Suppose -7*t - 116 = -3*t. Let k = -21 - t. Let s(i) = -2*i**3 + 7*i**2 + 8*i - 10. Let x be s(4). Is x less than k?
True
Let p be 32/171120*2194/(-12). Let b = -2/1035 - p. Is b < 1?
True
Let k = 1.56 + -1.75. Are 0.2 and k equal?
False
Let k(c) = -2*c + 2. Let s be k(0). Let q be 9/(-6)*(-1)/s. Let d = -17/12 + q. Do 8 and d have the same value?
False
Let h = 18 + -17. Let w be (8/(-282))/(52/234). Is h != w?
True
Let y(u) = 5*u + 45. Let g(k) = -11*k - 89. Let i(j) = 3*g(j) + 7*y(j). Let c be i(-15). Is 16 bigger than c?
False
Let o = 17 - 52/3. Let c be (-3 - 2)*(-8)/20. Which is greater: o or c?
c
Let w(d) = -67*d**2 - d. Let a be w(2). Let c be (-2)/(-14)*(-1 + a). Let n = 39 + c. Which is bigger: n or -1?
n
Let q(t) = -t**2 - 8*t + 10. Let v be q(-9). Suppose -v = -f + 2*f. Is f smaller than -1/14?
True
Let g be -20*(3 + ((-11)/2 - 1)). Suppose 0 = -18*k - g - 20. Is k greater than -1?
False
Suppose -5*z = -13 - 12. Suppose 0 = -z*n + 9*n + 4. Which is smaller: -6/19 or n?
n
Suppose -62*n + 83*n - 336 = 0. Is n not equal to 0.11?
True
Let y be ((-8)/10 - -1) + 95/25. Let f be ((-1)/y)/((-165)/44). Which is smaller: -1 or f?
-1
Let q = 2.055 - 0.055. Which is greater: 98 or q?
98
Let h = 9.61 - 0.61. Which is smaller: h or -3?
-3
Suppose -4*n + 2*l + 3*l - 56 = 0, 4*l = -3*n - 42. Let w = -4 - n. Let x be w/(-3)*5/10. Are x and -1 nonequal?
True
Let n(z) = z**2 - 6*z + 2. Suppose 0 = -h - 5*v - 11, 5*v + 18 = 4*h - 13. Let t be n(h). Let c(x) = -x. Let p be c(0). Is p at most t?
False
Let d be ((-22)/(-12))/(4/8). Let g(c) = c**3 + 8*c**2 + 7*c + 4. Let v be g(-7). Let r = v - d. Which is smaller: r or 0?
0
Let n = -4 + -9. Let o = n + 12.8. Is 1 smaller than o?
False
Let m be (-602)/49 - 4/(-14). Let v = -11 - m. Which is smaller: v or 0.07?
0.07
Suppose 0*y = -5*y + 65. Suppose y = -4*k + 9. Which is bigger: k or -5/6?
-5/6
Let j be (-6)/508*20/135. Is j > 0?
False
Suppose 4*z + 1 + 3 = 4*q, 2*z = -2*q - 