ue
Let i be 2 + 0 + (-5)/((-15)/(-9)). Which is greater: -3 or i?
i
Let p(s) = -s - 6. Let h be p(-5). Let y(l) = l + 8. Let x be y(-6). Suppose x*k = -0*k + 2. Are k and h nonequal?
True
Let m be 33/(-15) + -1 + 3. Let u be 13/(-14) - (364/(-49) + 7). Is u >= m?
False
Let y be 2 - 24*(-6)/(-68). Let x be 1/3*0 + 2. Suppose j + t + 4 = 5*j, 2*j = -x*t - 8. Which is greater: y or j?
j
Let u(d) = d - 2 + 6*d**2 - 4*d - 7*d**2. Let q be u(-1). Which is bigger: 5 or q?
5
Suppose -5 = -5*l + 2*l - w, -5*l - 3*w + 7 = 0. Suppose -a = -4*a + 6. Let x = a - -1. Is x greater than l?
True
Let n = -31 - -27.2. Which is smaller: n or 0?
n
Let b be 8/(-12) - 26/24. Is b at least as big as 0?
False
Suppose k = -3*p + 14, k + p + 1 = 5. Let j be -1 - ((-279)/57 - -4). Which is smaller: k or j?
k
Let u = -46 - -187/4. Let k(q) = 4*q + 8. Let j be k(-2). Is j != u?
True
Suppose -8*k + 2*k = -54. Which is smaller: 10 or k?
k
Suppose 0 = b - d - 4 + 5, 3*b + d = -7. Let i be ((-1)/b*0)/(-1). Let g = 488/21 + -68/3. Which is smaller: g or i?
i
Let s = 159/4 + -39. Let r = -1/2 + s. Which is smaller: r or -1?
-1
Let x = 0.2 + 0. Let k be 196/(-15) + 6/15. Let g = k - -13. Is x greater than or equal to g?
False
Let x = -87 - -97. Do -3 and x have the same value?
False
Suppose 0 + 4 = 4*g. Let n = 0.2 - 1.08. Let s = 0.9 + n. Which is bigger: s or g?
g
Let q(s) = -2*s**2 + 4*s - 4. Let u be q(3). Let t be 9/4 + u/5. Which is smaller: t or 0?
0
Let k(l) = -l + 1. Let v be k(2). Is v greater than -1?
False
Let v be 5/2*3/15. Which is bigger: 1 or v?
1
Let k = -15 - -47/3. Is k greater than -35?
True
Let w = 90349/5 - 17996. Let k = -74 + w. Which is bigger: k or -1?
k
Suppose -13*y + 18*y - 5*b + 10 = 0, 19 = 4*y + 5*b. Let f be (6/16)/((-21)/(-4)). Is f at least y?
False
Let i = 1.45 + -0.45. Let o = -8 + 6. Is o less than i?
True
Suppose 2*f + y = -0*y + 2, 23 = -3*f + 5*y. Let t(p) = -p**2 + 9*p + 13. Let c be t(10). Let z be (-2)/c - 112/(-231). Are z and f unequal?
True
Let a = 0.36 + -0.32. Let h = -1 + 1.04. Let b = h - a. Which is bigger: 1/5 or b?
1/5
Let b be 428/(-330) + 1/1. Let x = 10/33 - b. Is x < 0?
False
Let h = -2 + 3. Suppose 0*r = -2*r + 10. Suppose 11 = r*t + 1. Which is smaller: t or h?
h
Suppose 3*s = 2*s - 2*p - 6, -5*p = -5*s. Let y be (s + -4)/2 - -1. Let o = 1 + y. Which is smaller: o or -3?
-3
Suppose -m + 14 = 6. Let w be (-4)/(-29)*m/16. Which is smaller: -1 or w?
-1
Let p = -133/5 + 27. Let t(s) = -2*s. Let m be t(-2). Let n = -3 + m. Which is smaller: p or n?
p
Let x = -511298/804105 - -823/1605. Let r = 2/167 + x. Which is smaller: 0 or r?
r
Let n = 28 - 106. Let h = n + 319/4. Is 1 at most h?
True
Let z = 74 - 78. Is z > -2?
False
Let p = 23/4 - 6. Which is greater: p or 53?
53
Let f = -0.65 + -1.35. Are f and -2/9 unequal?
True
Let z be (-90)/8*1/5. Is z smaller than -1?
True
Suppose -5*v + 16 = 41. Let h = 7 + v. Suppose 2*g - g = -2*f + 9, 3*g - h*f + 5 = 0. Which is bigger: g or -1/3?
g
Let l be 6/37*(-7)/(-14). Let b = -25/148 - l. Let c = 0.2 + -0.4. Is c less than or equal to b?
False
Suppose 0 = -5*x + 4*z + 16, -z + 4*z = 2*x - 5. Suppose 2*f = -2*o + 12, -f + 10 = 3*o - x. Let i = o + -3. Which is smaller: -1/2 or i?
-1/2
Suppose 4 = -3*g + 1. Let t be 0 + 1*12/(-3). Let n = t - g. Is -1 at most as big as n?
False
Let c = 0.18 - 0.28. Which is greater: c or -2/23?
-2/23
Let f(w) = -w**2 - 5*w - 2. Let s be f(-4). Suppose 6*d + s = 4*d. Which is bigger: d or 2/15?
2/15
Let a = -203/3 - -78. Is 9 greater than or equal to a?
False
Let i(p) = -p**2 - 11*p - 12. Let g be i(-9). Suppose -4*n + g + 6 = 0. Suppose 0*d + n = -3*d. Is 1/11 < d?
False
Let f(w) = 2*w + 1. Let a(n) = 14*n**2 + 2*n + 2. Let g be a(-2). Let q be (-12)/g - 22/(-18). Let s be f(q). Which is bigger: 4 or s?
4
Let g = -44 + 529/12. Let x be 6 + -9 - (0 + -2). Which is smaller: g or x?
x
Suppose 3*k = 4*k. Let a(o) = o**2 - o - 11. Let j be a(-4). Suppose j*h - 4*h + 5 = k. Which is greater: h or -3/2?
h
Suppose -12 = -0*c - 2*c. Let q be 8/c - (-2)/(-6). Let l be 8/(-5) - 6/(-10). Is q at least l?
True
Suppose -4*m = -2*s + 10, 4*m = -3*s + 2*m + 15. Suppose 7*b = 2*b - s. Let y(t) = 2*t + 7. Let u be y(-5). Which is smaller: b or u?
u
Let b = 38 + -26. Is 12 > b?
False
Suppose 0 = -2*t - 5*s + 9, -4*t = -3*s + 37 + 10. Let v = t - -7. Which is greater: v or -2?
v
Suppose 0 = 4*g + 5*b - 0*b + 12, 3*g = -5*b - 14. Let f be (-6)/(-14)*14/4. Are f and g unequal?
True
Let z(l) = -l**3 - 11*l**2 - l - 12. Let i be z(-11). Let c be ((1 + -3)*i)/2. Which is greater: 2/13 or c?
c
Let j be (-3)/((-14)/(-8) - 1). Let t = -14 - -5. Let y = 5 + t. Is j not equal to y?
False
Suppose 2 = -7*i - 26. Let v be (i/(-15))/((-3)/9). Which is greater: v or -1?
v
Suppose -m + 2 = -2. Suppose d - m = -d. Let x(c) = -c**2 + 7*c + 2. Let k be x(7). Is d smaller than k?
False
Let l = -9 + -2. Let x = 12 + l. Let u = -0.8 - -1. Is u less than or equal to x?
True
Suppose -3*j = 3*i + 12, -j - 3*i - 2 = -3*j. Let z be (-2)/j*1*4. Does 5 = z?
False
Let j be 2/((-2)/9)*(-3)/(-51). Are -1 and j non-equal?
True
Let m be ((-3)/(-9))/(2/12). Suppose -3*q + 4 = -5*f, -q + 4 = -f + m. Let s = 0 + f. Do s and 1 have the same value?
True
Let p = 0 - 1. Let z = -344 - -344.2. Is z bigger than p?
True
Suppose -1 + 3 = j. Let t = j + -4. Let w be 6/21 + 4/(-14). Is w != t?
True
Let j = 63/5 - 456/35. Which is smaller: -1 or j?
-1
Let l = -12/11 + 58/33. Let n be (1 + 1)*(-1)/6. Do n and l have the same value?
False
Suppose 2*y = -3*s + 3, -y + 5*y = -5*s + 5. Which is bigger: 4/19 or y?
4/19
Let b(h) = h**2 + 2*h + 4 + 0 + 0*h**2 - 9*h. Let d be b(7). Which is greater: d or 3?
d
Let y = 0.12 - 0.02. Which is smaller: y or 3?
y
Let o be 131/7 + (-6)/(-21). Let v = 35 + -16. Is o > v?
False
Suppose 0 = 4*d - 18 + 26. Do 3 and d have the same value?
False
Suppose -13*b = -6*b - 42. Let g = 13 + -6. Is g at least as big as b?
True
Let s = 21 - 12. Let k = s - 9.1. Which is smaller: 1/2 or k?
k
Let n(y) = y. Let c(k) = -4*k - 1. Let v(m) = c(m) + 3*n(m). Let l be v(1). Is l at most as big as -2/3?
True
Let m be 56/186 + 3/(-9). Let x(b) = 2*b**2 + 13*b + 7. Let r be x(-6). Which is greater: r or m?
r
Suppose -69 = 2*f + 5*y - 2*y, 0 = f + y + 35. Is -35 < f?
False
Let j = 5 - 5. Let h = -11 + j. Let l = -5 - h. Is 7 greater than or equal to l?
True
Let v(c) = 4*c**2 - 2*c - 1. Let l = 6 - 7. Let o be v(l). Is 5 greater than or equal to o?
True
Let p(o) = -o**3 + 5*o**2 - 4*o + 2. Let k be (-25)/(-6) + (-4)/24. Let r be p(k). Let z be (r*-1 + 2)/(-2). Which is smaller: -1 or z?
-1
Let r be 5/(-10)*(5 + -1). Do -2 and r have different values?
False
Let z = 421/5 - 85. Let y(l) = l**3 + 10*l**2 - 2*l - 14. Let n be y(-10). Let b be (-20)/12 - (-4)/n. Which is greater: b or z?
z
Suppose 30 = -2*w + 96. Is w at most as big as 32?
False
Let a = 1 + 0. Suppose -33 = -5*u + 2*s, 0 = u + s - 0 - a. Let f = u - 3. Which is greater: f or 0?
f
Let u be 15/(-6) - (4 + -5). Let d = -1 - 0. Which is smaller: u or d?
u
Let w be 0 + (-95)/(-10) + -1. Is w greater than or equal to 8?
True
Let s be (-3 - -2)*6/14. Let k(o) = -o + 8. Let d be k(7). Which is greater: d or s?
d
Suppose -4 + 18 = l. Suppose 5*m = 3*a + l, 6*m = 3*a + 2*m + 16. Is a equal to -9?
False
Let x = -6.7 + 0.7. Let v = x - -7. Is v less than 0.3?
False
Let d be (-6 - -4)*26/(-4). Suppose 3*y + 4*u + 6 + d = 0, -3*y + 9 = -3*u. Is y less than 2/9?
True
Let y = -9 + 3. Let t = -5 - y. Which is smaller: 2 or t?
t
Let y = -1.44 + 1.3. Let r = y - -0.14. Is 13 < r?
False
Suppose 8 + 8 = 4*u. Let y = u + -5. Let d be (-5)/28 - 2/8. Which is smaller: d or y?
y
Let f be 14/77 - 2/11. Let w = -83/28 - -19/7. Which is bigger: w or f?
f
Let q be 26/7 + 6/21. Let w be -4*(-1*3)/3. Let x be w/6*-3 - -7. Is x greater than q?
True
Let j be (-7 - -1)*6/9. Let g be j/(-202)*(-1)/2. Let m = g + -197/505. Does m = 0?
False
Let t = 88.2 - 88. Which is smaller: -0.28 or t?
-0.28
Suppose 2*z - 11 = 3. Suppose -z*i = -3*i - 12. Let m = i - 2. Is 0 bigger than m?
False
Let t(h) = -h + 9. Let q be t(7). Suppose -29 = -q*z + 3*g, -g - 4 = 3*z + 4*g. Which is smaller: 8 or z?
z
Let d = -7 + 11. Suppose -9 = d*i - 49. Is i less than 10?
False
Let s(a) = -3*a**2 - a. Let n be