 (-2)/(-1) + (-2)/(-2). Suppose -b = -p*b + 8. Which is greater: b or w?
b
Suppose 5*y = -5, -n - y + 21 = -3*n. Which is greater: -9 or n?
-9
Let u(l) = -l**2 - 4*l - 1. Let y(t) = -t**3 + 6*t**2 + 6*t + 5. Let i be y(7). Let b be u(i). Is 3 greater than b?
False
Let a(v) = v - 10. Let n be a(10). Suppose n = -3*p - p. Is -1/2 > p?
False
Let o = 17/133 - -3/19. Let c be 1 + 0 + -4 + 2. Is c < o?
True
Let y = -2 + 2.1. Let v = -39.3 - -39. Is y >= v?
True
Suppose -2 = -t + 4. Let z be 2/(3/(t/(-4))). Let k be (-7 - -6)*(1 + z). Which is smaller: 1/4 or k?
k
Let n be 1/2*1*(-5)/10. Is n at least -79?
True
Let f(q) = -q**2 - 5*q + 7. Let n be f(-5). Suppose n = -j - 6. Let r = 8 + j. Are r and -5 unequal?
False
Let y = 5/9 - -1/9. Let z be (4/1)/4*0. Which is smaller: z or y?
z
Suppose 2*m = 5*m - 12. Suppose 23 + 13 = m*i. Which is smaller: i or 8?
8
Let c = 69 + -70. Do c and -14 have different values?
True
Suppose 0 = 13*q - 18*q. Let m = 189/4 - 47. Which is bigger: m or q?
m
Let l = 3 - 2.92. Let v = l + 0.02. Let t = -0.1 - 0.9. Is v not equal to t?
True
Let c be (-65)/(-3) - 1/(-3). Let s be c/(-12) + (-4)/(-2). Is s at most as big as 0.1?
False
Let a = 179 + -1971/11. Let f be (12/18)/(1/6). Suppose -f*o = -5*o. Is a <= o?
True
Let h = 0.51 + -0.01. Let g = -0.5 + h. Is g >= -3?
True
Let w(p) = p**2 + 3*p - 2. Let j be w(-4). Which is smaller: j or -5?
-5
Let a = -2/535 - -1088/4815. Let f = 51/2 - 25. Are f and a nonequal?
True
Suppose -4*l + l = -90. Let z be (4/90)/(18/l). Is -2 at most as big as z?
True
Let f(u) = 5*u**2 + u. Let g be f(-1). Let p(t) = -t - 3. Let z be p(-3). Are g and z equal?
False
Let b(n) = -n + 16. Let m be b(15). Do m and 25 have different values?
True
Let s = 14 - 15. Let i be -1 + (0 - 0) - -3. Let l be (i*s + 3)*0. Are -0.1 and l nonequal?
True
Suppose -2*i - 4 + 10 = 0. Let v(s) = -s**i + 10*s**2 - 12*s + 9*s**2 - 6*s**2. Let q be v(12). Which is smaller: q or 2/17?
q
Let t = -17 - -9. Which is smaller: t or -6?
t
Suppose -3*g + 9*g - 2*g = 0. Is g not equal to 7/6?
True
Let x = -35 + 24. Is x at least -9?
False
Suppose y - 3*y = -4. Suppose -2*o + 0*o - 2 = 0. Let q be o*-1*1/1. Which is bigger: q or y?
y
Let h = 0.6 + -0.2. Let f = h + -0.3. Let w = -162.8 + 163. Is f > w?
False
Let x be 6594/(-8040) + (-1)/(-4). Let k = x - 2/67. Which is smaller: 0 or k?
k
Let r = 14 - 34. Let v = -41/2 - r. Let j be ((-78)/(-117))/(2/(-3)). Is j > v?
False
Let r = 24/11 + -98/55. Let b be 4/22 - (-371)/77. Suppose b*o = -2 - 3. Is r less than o?
False
Suppose 0 = -4*y + 2*o + 84, -2*y - 3*y + 79 = 4*o. Is y smaller than 18?
False
Let w be (-4)/(-12) + 156/(-9). Let f = w + 25. Suppose f = -0*h + 2*h. Is h not equal to 3?
True
Let d(q) = q**3 - 8*q**2 + q + 1. Let h be d(8). Is 7 > h?
False
Suppose 0 = -2*x - 2*x - 4. Which is greater: 2/21 or x?
2/21
Suppose 21*h + 16 = 23*h. Suppose 33 = 4*t + 5. Is h equal to t?
False
Suppose u + 2*u - 54 = 0. Suppose p + 2*p + 3*j + u = 0, 0 = -5*j + 15. Let v be (-13)/5 + p/(-15). Which is smaller: v or -1?
v
Suppose 4*s = -16 - 24. Which is smaller: s or -11?
-11
Let v be 1 - -2 - (2 + 0). Let z = 21/26 + -4/13. Is v at most as big as z?
False
Suppose -l + 40 = -5*l. Let r be (-12)/(-6) - l/(-4). Is r greater than 5/2?
False
Suppose -5*y = -0*y - 30. Let v(g) = g**3 + 5*g**2 + 3*g. Let z be v(-2). Let h be y/(-4)*2/z. Which is smaller: h or -1?
-1
Let v be 2/6 - (-8)/(-6). Let z be 4/((-112)/92) + 3. Which is greater: v or z?
z
Let f(q) = -q**3 - 5*q**2 + 7*q + 8. Let r be f(-6). Suppose -r*c + 3 = 5. Which is smaller: c or -1/15?
c
Let m = 0.8 - 0.4. Let d = -2.8 + 3. Which is greater: d or m?
m
Let t(c) = c**2 - 7*c + 4. Let z be 111/15 - (-2)/(-5). Let h be t(z). Let g be h/6 - 10/6. Is g > -3?
True
Let c = 17/12 - 7/6. Which is greater: -2/5 or c?
c
Let v = -8 + 6. Let d be -2 - (v + 0) - 3. Let t(g) = -g + 2. Let q be t(3). Do d and q have the same value?
False
Let u = 22/13 + -145/78. Is u equal to -4?
False
Suppose 4*o - 3*n + 4*n = 4, n - 4 = 0. Let h be (1 - (o - -4))*-1. Suppose -f = -h*i + 3, 2*i + i = 4*f - 6. Do f and 2 have different values?
True
Let d = -24 - 1. Let i = d - -227/9. Which is smaller: 0.1 or i?
0.1
Let q = -0.036 - -0.026. Is q >= 0?
False
Let w be (10/(-15))/(2/(-9)). Suppose d + 4 - w = 0. Which is greater: 1/5 or d?
1/5
Suppose 106 = -4*s - t + 31, -2*t - 30 = 2*s. Let v = -14 - s. Let m be 1/1 + (-2)/v. Is 0.2 greater than or equal to m?
False
Let b = -6 - 0. Suppose 0 = 2*t - 4*t - 10. Let r(z) = z**2 + 7*z + 5. Let o be r(t). Which is smaller: b or o?
b
Let f be 12/8 - 44/40. Let q be ((-9)/4 - -2)/1. Which is greater: f or q?
f
Let a be (-12)/9 + (-1)/(-3). Let b = 118 - 945/8. Is b < a?
False
Let w be -2*2 + 1 + 17. Which is greater: w or -2?
w
Suppose 2*k + 51 = 5*k. Let o = k - 9. Let s be (o/30)/(2/3). Which is bigger: 1 or s?
1
Let c = -1729/23 + 75. Is c at most -1?
False
Let d be ((35/(-2))/7)/((-63)/12). Is d bigger than 1?
False
Let d(c) = c - 1. Let v(g) = -4*g - 1. Let y(r) = -d(r) - v(r). Let o be y(-3). Let s = 7 + o. Which is smaller: s or -1?
-1
Let g = 37 - 61. Is g <= -0.2?
True
Let j = 64 - 63. Is j <= 4?
True
Let d = -0.2 + -0.2. Let j = d - -0.1. Let u = 0.3 + j. Is u at least -2/5?
True
Let y = 6.1 - 6. Which is greater: y or -4?
y
Let r = -19 + 18.2. Let f = r + 2.8. Let z be (-2)/6 - 2/3. Is f at most as big as z?
False
Let b be (8/48)/(1/4). Let f = -3 - -7. Let y = -3 + f. Which is bigger: b or y?
y
Let r = -67 - -69. Which is smaller: r or 11/5?
r
Suppose -324 = -3*f + 4*d, -204 = -3*f + 2*d + 126. Which is greater: f or 111?
f
Let d(z) = 4 - 5*z - 1 + 3 - 4. Let y be d(2). Is y bigger than 0?
False
Let k = -5 + 4. Let j be k*0/(7 - 4). Which is smaller: j or 3/7?
j
Let c be (7/21)/(33/238). Let n = 17741/11 - 1615. Let g = n + c. Which is greater: g or -1?
g
Let j = 6.3 - 6.3. Is j at least as big as -22/7?
True
Suppose v = -4*v + 30. Suppose 4*i - v = -2. Let z be (-6)/9 + (-20)/(-12). Is i at most z?
True
Let n(y) = -y**2 - 5*y + 5. Let g be n(-6). Is 0.08 equal to g?
False
Suppose j + j + 16 = 0. Is -8 bigger than j?
False
Suppose -5*b + 64 = -4*b. Suppose 0*c + b = 4*c. Do 17 and c have different values?
True
Let d = -16 + 16.05. Let i = d - 0.15. Is i at most as big as -4?
False
Let q be ((-7)/(546/9))/(3/(-4)). Let p = 0.07 - -1.13. Let f = 0.2 - p. Is f greater than q?
False
Let k(a) = -2*a + 7. Let d be k(7). Let w = -6 - d. Is 4/3 at most as big as w?
False
Let w = -201/2 + 103. Which is smaller: 2 or w?
2
Let h = -204 - -2648/13. Is 1/4 greater than h?
True
Suppose -3*w = 3*i - 51, 20 = w - 5*i + 3. Is w greater than 69/4?
False
Let w(n) = -9*n - 2. Let z(m) = -5*m - 1. Let p(t) = 3*w(t) - 5*z(t). Let o be p(2). Which is greater: o or -1?
-1
Let w = 223 - 316. Let u be ((-7)/(-112))/(-1 - (-2990)/2988). Let k = w + u. Which is greater: -1 or k?
k
Let t = -43 - -158. Let f = -577/5 + t. Let w = -0.14 + 0.04. Is w at least as big as f?
True
Suppose -96 = 4*j - r, 4*j = -2*r - 97 + 1. Let v be j/(-20) + 2/(-10). Which is smaller: -2 or v?
-2
Let l = -4 - -5. Suppose -2*r - 4 = 2. Which is bigger: l or r?
l
Suppose -m = -2*m - 28. Is m < -29?
False
Let j = -2842/143 - -243/13. Let a = j + 80/77. Let b = 1 - 0. Which is bigger: a or b?
b
Let h(w) = -6 + 1 - 10*w**2 - 2*w**3 - 3 - 10*w + w**3. Let j be h(-9). Is j at least as big as 2/43?
True
Let q = -0.05 - 0.25. Let x = -0.5 - q. Are -1 and x equal?
False
Let y(t) = -111*t + 4. Let h be y(1). Do -106 and h have the same value?
False
Let s = -40 - -33. Is s bigger than -8?
True
Suppose -r = -2 + 5. Let l be (-1)/(2 + r + 2). Let t = l - -2. Is t != 2/5?
True
Let d = 0.2 - 0.2. Let y = 0.1 + d. Let o = -77/30 + 8/3. Is o at most as big as y?
True
Let b = 0.3 - 0.6. Let c = -7/15 + -1/30. Which is greater: c or b?
b
Let g = 57 - 46. Are 2/5 and g nonequal?
True
Let s = 64 - 50. Are 15 and s equal?
False
Let i be (-9 - (-1 - -3)) + 3. Let f = i + 8. Let u be f/((-5)/((-15)/(-6))). Are 0 and u equal?
True
Let i = 3 - 4. Let r = i - -2. Let u be 2/9 - 2/9. Is r at least as big as u?
True
Let r(f) = -f**2 + 6*f - 6. Let o be r(5). Suppose -3*c - 10 = -4*s, -5*c + 2*c + 10 = s. Let t = o + s. Is 2 at least as big as t?
False
Let s = -18011/27 + 667. Which is small