smaller: o or 0?
0
Let t = 523 + -551. Which is smaller: 0 or t?
t
Suppose -4*l + 97 = -11. Let i be 90/l*1/15. Which is greater: i or -23?
i
Let y be (4/(-3))/((-8)/(-6) + -2). Are 2 and y equal?
True
Let c(j) = -j**2 - 7*j + 34. Let u be c(-11). Let p be (-76)/95 - 2/u. Which is greater: p or 2/5?
2/5
Let d(t) = t - 5. Let y be d(8). Let f be (((-72)/27)/(2/y))/2. Which is bigger: f or -28?
f
Let j(d) = 5*d**2 + 21*d - 1. Let i(q) = -q**2 - q. Let z(p) = -6*i(p) - j(p). Let t be z(15). Let w = -2 + t. Which is bigger: -1/8 or w?
-1/8
Suppose n - 5*g = -3*n + 110, -3*g = 2*n - 66. Suppose 6*x + 18 = -n. Are x and -0.3 equal?
False
Let b = 2 - -2. Suppose 0*i = 2*i + b. Let o be 6/(-40)*(10 - i). Are o and -3 unequal?
True
Let c = 5255 + -5284. Suppose 5*a - 75 = 3*b, -5*a + 0*a = -b - 15. Which is smaller: c or b?
b
Let j(m) = 39*m - 20. Let y be j(-4). Is y greater than or equal to -175?
False
Let g = -11.4 + 0.4. Let j = 50 + -201/4. Which is bigger: j or g?
j
Let u(z) be the second derivative of -z**4/12 - 2*z**3/3 - z**2 + z. Let c be u(-4). Let t be (-3)/(-8)*(-2 + 0). Is t <= c?
False
Let x = 7 - 16. Let u(j) = j**2 + 9*j. Let v be u(x). Suppose v = n + 9 - 10. Which is bigger: n or 8/11?
n
Let d(g) = g**2 - 9*g + 12. Let l be d(9). Let i be (12/(-40))/(l/70). Let k = 6 - 8. Is k <= i?
True
Let a be (-1)/((-36)/12*(-1)/3). Are -1/63 and a unequal?
True
Let f(k) = -8*k**2 + 161*k - 54. Let t be f(19). Is t at least as big as 2?
True
Let h = -2.73 - -0.23. Let g = 2.9 + h. Let w = g - 0.4. Is 0.6 not equal to w?
True
Suppose 4*r - 16 = 0, 5*r - 9 = x + 13. Let c be 10/(-28) - x - 2. Is c at most 1?
True
Let l be (-265)/35 - (-6)/3. Is 1/2 greater than l?
True
Let f be ((-11)/(-3))/(2/(-28)). Which is smaller: f or -50?
f
Let g(r) = -r**2 - 6*r + 5. Let v = 21 - 14. Let t = -14 + v. Let j be g(t). Is j less than -2?
False
Suppose 0 = 7*t - 19 + 82. Is -125/12 >= t?
False
Let n(s) = -19*s - 31. Let j be n(7). Is j less than or equal to -164?
True
Let f = 167.4 - 167. Are 66 and f unequal?
True
Let y = 119 - -154. Which is smaller: 272 or y?
272
Suppose 2*s = 4*s. Suppose s = -5*q - 5*d + 6*d + 6, 3*d - 22 = -5*q. Let i be (-12)/5*(-1)/4. Is i less than q?
True
Let r = -25.7 + -0.3. Let g = r + 25.91. Which is bigger: -3 or g?
g
Let n be ((-50)/175)/((-10)/(-14)). Is -1.46 greater than n?
False
Let o be -118 + (-30)/(-5) + -4. Do o and -114 have different values?
True
Suppose -g - 3*g = -16. Suppose -g*y = y. Suppose y = 5*k - 8*k + 3. Is 10 equal to k?
False
Suppose -4*h - 20 = 0, -2*h - 17 = l + 2. Let d(t) = -t**2 - 8*t + 7. Let i be d(l). Is 45 smaller than i?
False
Let y = -119.9 + 120. Is -34/5 equal to y?
False
Let c be (6/(-15))/(13/(-466)). Let i = 74/5 - c. Which is smaller: i or -2?
-2
Let a be (2172/(-4432))/(11/(-4)). Let t = 1/277 + a. Let m = -230.05 + 230. Is m at least as big as t?
False
Let g = 61 - 159. Which is smaller: -97 or g?
g
Suppose 3*i = m - 6*m + 331, -4*m = 2*i - 218. Let g = -821/7 + i. Which is smaller: -25 or g?
-25
Let o(s) = s**2 - 3*s - 14. Let z be o(6). Suppose 60 = z*k + h, 12 + 18 = 2*k + 2*h. Let w be k/14 + 64/(-112). Does w = 1?
False
Let p be 35/(-6) + 43 + -37. Let k = 2/45 + 41/90. Is p > k?
False
Suppose -n - 10 = -0*n. Let d = n - -12. Suppose -2*l - 2 = -4*g, -2*g + 6 = -2*l + d. Which is greater: g or -4?
g
Let p(d) = -28*d - 5. Let r(l) = l + 1. Let o(f) = -p(f) - 4*r(f). Let t be o(1). Let i be ((-10)/t)/((-8)/(-10)). Is i less than -3?
False
Let t(z) = 0*z**3 + 5*z - z**3 - 11 - 7*z**2 + 10*z + z**2. Let o be t(-8). Which is greater: 0.2 or o?
0.2
Suppose 5*s = 2*j - 5*j + 68, 25 = j + 4*s. Let u = -14 + j. Is u at most 9?
True
Let o = -0.042 - -0.732. Let m = o - 0.66. Which is bigger: -6/5 or m?
m
Let l be 2*(-2 + -1 + 2). Let n = -1526 + 1528.1. Which is smaller: n or l?
l
Let k(z) = -z**3 + 16*z**2 + 17*z + 13. Suppose 5*b + 6*p - 83 = 5*p, 4*b + 4*p = 60. Let c be k(b). Which is smaller: -2/7 or c?
-2/7
Suppose -1861 = 7*i + 6308. Which is smaller: i or -1166?
i
Let g = 228 + -686/3. Let f be -2 - (0 + 1*-3). Let q be f + (0 - (2 - 0)). Which is smaller: q or g?
q
Let a be 32/10 + (-2)/10. Let s(k) = k**2 - 2*k. Let y be s(a). Let x be 11 - (0 - -3 - y). Which is smaller: x or 12?
x
Suppose -2*g - m = -251, -2 = -4*m + 2. Does g = 129?
False
Let h be -14 - (-3 - (1 + -2)). Let l be 9/h*(-4)/3. Let q be 3*1*l/(-3). Is q at most as big as 0?
True
Let m = 7 + -3. Let u be 5/(10/m) - 1. Let r = 442/5 + -2212/25. Is u less than r?
False
Suppose -4*w = -8, -5*n + 3*w = 2 - 1. Let s(l) = 5*l - 1. Let p be s(n). Suppose -p*g = 4*j + 31 - 11, -5*j - g = 5. Which is greater: -1 or j?
j
Suppose -5*p = 15, -3*s = -5*p + 4*p - 9. Suppose 0 = s*v + 60 - 56. Which is greater: -7/6 or v?
-7/6
Let r(u) = -2*u**3 + 43*u**2 + 16*u + 45. Let l be r(22). Which is greater: l or -90?
l
Suppose 4*d = -g + 4, g - 28 = -g + 2*d. Let f be ((-6)/g)/(-2 - -1). Let q(p) = p**3 - 3*p**2 + 2*p. Let w be q(2). Is f <= w?
False
Suppose 2*i + 2*k - k - 8 = 0, 13 = 5*i - k. Suppose 48 = -z - z - i*g, -4*g - 14 = z. Which is greater: -29 or z?
-29
Let t be ((-8)/48)/(1/(-356)). Let c = t + -60. Which is greater: -1 or c?
c
Let w be 19/34 - (-1)/(-2). Suppose 1 = 3*p - b, -5*b = -0*p - 5*p - 15. Suppose -i = 4*y + 19, 0*i = -4*i - p*y - 6. Which is bigger: w or i?
i
Suppose 0 = 443*l - 450*l. Let u(y) = y - 2. Let f be u(1). Does f = l?
False
Let x be 5 + (-5 - 490045/8225). Let y = x - -417/7. Which is greater: 0 or y?
0
Let v(b) = -2*b - 32. Let s be v(-13). Let r(m) = 5*m + 32. Let f be r(s). Which is greater: f or -7?
f
Suppose 0 = -4*u - 2*c + 4, -3*c - 2*c = 0. Which is smaller: 2/283 or u?
2/283
Let y = 4223935/858 + -4923. Is y at least 0?
True
Let s = 341 - 340. Is -7/87 > s?
False
Let p be 6/5*-202 + (-26)/(-65). Is p equal to 2/5?
False
Let i be (15 + -14)*0/(-1). Let x be 10 + -9 + i + -1. Is -1/10 greater than x?
False
Suppose 5*w - 1 = -6. Let h = -140 + 97. Let l = -43 - h. Which is smaller: l or w?
w
Let a be (2 - (3 - 1))/(-1). Suppose 5*m - 5*u = -1 - 9, -2*m - 5*u + 24 = a. Is m > 1/2?
True
Suppose 2*q = 10, -5*j - 4*q + 32 = -3*j. Let z be (26/39)/((-14)/j). Is z less than or equal to -2/3?
False
Let j = -238 + 748/3. Let z(f) = -2*f**2 + 17*f - 19. Let h be z(6). Is h not equal to j?
True
Let g = 19 - 9. Suppose -5*v + g*v = 25. Which is smaller: v or 2?
2
Let p = -1.71 + -0.09. Let z = 1.4 - -1.8. Let w = p - z. Is w >= -1?
False
Let m be (-44)/55*5/(-1). Suppose 0 = m*n + n + 140. Which is bigger: n or -29?
n
Let a be ((-18)/10)/(1/(-5)). Suppose 3*b + a = -u, -4*u + 2*b + 0 = -6. Which is smaller: u or 1/12?
u
Suppose 4*a - 179 = 3*f, -3*a + 176 = a - 4*f. Let x = a - 51. Which is smaller: x or -7?
-7
Suppose -7*n + 2*m - 92 = -5*n, -3*n = -m + 142. Let u be (-4)/(-10)*30/n. Suppose -3 = s + 4*w, -6 = -s - 0*s + 5*w. Is s equal to u?
False
Let s be ((-1)/9*3)/(8/(-4632)). Are 190 and s non-equal?
True
Let u(t) = 9 + 3 - 2 + 6 + t. Let b be u(12). Suppose -5*g - 4 = q + b, g - q = -4. Is 0 at most as big as g?
False
Let z(k) = 19*k**2 + 15*k + 95. Let v be z(-4). Do v and 2035/6 have the same value?
False
Let i = -14.8 - -15. Let q = i + 1.8. Let p = q + -3. Does p = 0.5?
False
Let b be ((-21)/140)/(21/(-2534)). Which is smaller: 19 or b?
b
Let z be (-240)/32*(-1 + -1). Let d be 0/(z/3) - 3. Let f be (1 - -1)*(-1)/2. Are f and d equal?
False
Suppose 6 = -2*o + 2*x, -3*x + 18 = -5*o + 3. Which is smaller: 3/43 or o?
o
Let j = -229 - -278. Is j at most as big as 44?
False
Let o(l) = l**3 + 5*l**2 - 5. Let h be o(-4). Let n be ((-270)/(-75))/(-3*(-6)/45). Are n and h nonequal?
True
Suppose -67*v = -63*v - 4. Let j = 98/225 - 5/9. Which is smaller: j or v?
j
Let v(y) = -8*y - 7. Let b(i) = 3*i + 2. Let g(m) = -11*b(m) - 4*v(m). Let z be g(5). Which is smaller: 4/5 or z?
4/5
Let c = -5 - -2. Suppose -n - 1 = -y - 7, 4*y - 56 = -4*n. Suppose 0 = 7*b - 12*b - n. Which is greater: b or c?
b
Let p(d) = -105*d**3 - d**2 + 1. Let j be p(-1). Let o be 109 + (30/(-10) - 2/2). Is o > j?
False
Let u(b) = b. Let v(h) = h**2 + 6. Let p(z) = 5*u(z) - v(z). Let r be p(5). Let n be (5/(-35))/(2/r). Which is greater: n or 1?
1
Let p be (-6669)/(-540)*4/1. Which is greater: p or 50?
50
Let k = 2.1 + -2.22. Let t = -