 5*l = -33 - 42. Let o be 2/(-4) + l/(-10). Let j be 4/7 - (1 - 0). Which is smaller: o or j?
j
Let t be 0/(1 - 0/(-3)). Suppose 3*d = 4*c - 29, 23 = 3*c - 4*d - 4. Suppose 3*y = 4*x - 5, c*x - 3*x - 4*y = t. Is x < 3?
True
Let n = -0.94 - 0.06. Let c = 1.3 + -0.3. Is c equal to n?
False
Let v be ((-4)/6)/(3*5/45). Are 0 and v nonequal?
True
Suppose 6*x - 18 = -18. Suppose 6*l - 2*l + 5*t = -28, 2*l - 5*t = 16. Is l at least x?
False
Let y = 10.2 - 10. Let c = -2.9 - -3. Let j = 0.2 - c. Which is greater: j or y?
y
Let t(j) = j**2 + 13*j + 2. Let s be t(-13). Suppose -5*l - c = -s, c = l - 0*c + 2. Let n be (-1)/3 - 4/6. Is l not equal to n?
True
Let d be ((-48)/(-140))/(2/7). Is d at least 1?
True
Suppose -2*h + 7 = 9. Are -24/11 and h equal?
False
Let j(q) = 3*q**2 + 10*q - 4. Let c be j(-7). Let v = c + -143/2. Is 3 greater than v?
True
Let l(k) = -k**2 - 6*k - 3. Let w be l(-5). Let h be (-4)/w - (-34)/14. Are 0 and h equal?
False
Suppose -28 = -2*j + 4*j. Let h = -40/3 - j. Is 0 smaller than h?
True
Let w = 0.55 + -1.55. Let i = -59 + 57.96. Let a = w - i. Which is greater: a or -0.1?
a
Suppose 10*g = 5*g, -5*l = g - 5. Is l smaller than 3/41?
False
Let k = -18 - -12. Let b = k - -6.1. Let p = 0 - b. Is p < 1?
True
Let d(n) = 10*n**2 + 8*n - 6. Let c(t) = 3*t**2 + 3*t - 2. Let v(o) = -7*c(o) + 2*d(o). Let j be v(-5). Is 5/6 greater than or equal to j?
False
Let v be ((-3)/6)/(-1 - (-46)/44). Is v equal to -1?
False
Suppose -k + 3*l = 12, 5 = -3*k - l - 11. Let r be (-1 - (-2)/1)/k. Is -1 > r?
False
Let k be 155/210 - (-2)/(-12). Let s = 19/21 - k. Which is bigger: 3/2 or s?
3/2
Let r = -29/19 - 265/399. Let l = -20/7 - r. Which is greater: l or -3?
l
Let t = 8.01 + -8. Let r = t + 0.11. Are r and 0.1 equal?
False
Let p be ((-4)/6)/((-32)/(-12)). Let h = 0 - -2. Which is smaller: p or h?
p
Let d = 28 - -24. Suppose 2*q = k - 0*k + 28, 4*q = 3*k + d. Does 15 = q?
False
Let g = 5.5 - 5. Let f = g + -1.5. Which is smaller: -1/5 or f?
f
Let b = 2 - 2. Let h = 0.1 + -7.1. Let l = -8 - h. Is b smaller than l?
False
Let i = -1 - -0.7. Let o = i + 0.4. Suppose 4 = 2*a - h, -2*a = -0*a - 3*h. Are a and o unequal?
True
Let a(h) = -h**3 - h**2 + h. Let g be a(-2). Suppose 3*j = -5*p + 21, -3*j = -5*p + g*j + 5. Suppose f = p*f + 6. Is -3 > f?
False
Let m(s) = -s**2 + 6*s + 4. Let n be m(6). Suppose -6 = -a - 3*l + 4, n*a + 2 = 2*l. Which is greater: a or 0?
a
Let f = 385589/2888 + 40/361. Let d = 134 - f. Is -1 at most as big as d?
True
Suppose u + 1 = -3, -2*u = 4*o. Let s = o + -2. Which is smaller: -1 or s?
-1
Let v(q) = -q**2 + 7*q + 8. Let w be v(8). Let k be (-2)/(w + -2)*-1. Is 2/7 less than k?
False
Suppose 4*n - 7 = 29. Suppose -10*r + 1 = -n*r. Which is smaller: -0.1 or r?
-0.1
Suppose -120 = -5*t + 5*c, -6 = 2*c - 4*c. Let x be t/(-36) - (-6)/8. Is x smaller than 3/8?
True
Suppose 0 = -p - 0 + 3. Suppose 5*q + 1 = -4*m, -5*q - p*m + 1 = 3. Which is smaller: 4/25 or q?
q
Let v be (1 + 22)/(0 + -1). Which is bigger: -25 or v?
v
Let l = 0 + 2. Suppose -2*n + l = -2. Which is bigger: n or 5/4?
n
Suppose 0 = -6*y + y. Do -1/24 and y have the same value?
False
Suppose 1 - 7 = -3*p. Let z(x) = 4*x. Let y be z(1). Suppose 6 = -y*a + 6*a. Which is smaller: a or p?
p
Let c(b) = b**2 + 11*b + 4. Let d be c(-7). Let p = d - -30. Which is smaller: p or 4?
4
Let l be (-1 - 1) + 3 + 8. Suppose l*w = 4*w. Which is greater: w or 1/6?
1/6
Let n = 0.7 - 1.7. Suppose m = -0*m. Is n less than m?
True
Let y = -48/7 + 212/35. Suppose 0*o = -o + 3. Suppose o = 3*c - 0*c. Which is smaller: y or c?
y
Let h = 25 - 24. Which is bigger: -5.8 or h?
h
Let c be 3 - (76/(-33))/(-1). Let u = -1/33 + c. Which is smaller: 2/7 or u?
2/7
Let p = 33 + -33. Which is smaller: p or 1/64?
p
Let s(d) = -2*d**2 + 5*d + 4. Let z be s(4). Let a(q) = -q - 15. Let t be a(-6). Let i = t - z. Which is bigger: 0 or i?
0
Suppose -4*w + 0*w = 4*b + 84, 0 = w + 5*b + 41. Let f be (-3 - -1) + w/(-6). Is f greater than 2?
False
Suppose 4*m + 14 = 2, 5*v = -3*m - 9. Is -7/6 < v?
True
Let v be -6*((-41)/6 - -2). Is v greater than or equal to 31?
False
Suppose w = c + 4 - 1, -2*w - 2*c - 6 = 0. Let f be (0 - (-8)/52) + (-6)/39. Does w = f?
True
Let v(j) = j**2 - 5*j + 6. Let f be v(4). Suppose -f*c - l + 12 = -5*l, 0 = 5*c + 5*l + 15. Which is smaller: c or -2/23?
-2/23
Let f(u) = -u - 9. Let x be f(-9). Suppose x = -3*w - 2 - 4. Is w not equal to -7/6?
True
Suppose m - 5*n = -3, -2*m + 26 = 2*m - n. Does 11 = m?
False
Let q be 4/(-32)*(0 - 2). Let t = 23/2 - 45/4. Do q and t have the same value?
True
Let c = -60 + 302/5. Let i(z) = -z + 1. Suppose -4*h = -7*h. Let b be i(h). Are c and b non-equal?
True
Let l be (3 - -1)*(-5)/(-10). Let b be (-12)/(-8) - 3/l. Is b at least as big as 4/3?
False
Let o = 848/333 - 20/9. Which is smaller: o or -1?
-1
Let q be (392/4)/((-12926)/11). Let d = 1/281 - q. Is 0 greater than d?
False
Suppose -2*a = a - 60. Let x be (12/10)/(6/a). Suppose j + 2*m + 14 = -3*j, 0 = -2*j - x*m - 22. Do j and -1 have different values?
False
Let w = 4 + -16. Let h be (-14)/w + 8/(-12). Which is bigger: h or 0?
h
Let q(m) = m**3 - 7*m**2 - 7*m - 9. Let g be q(8). Which is bigger: g or 2?
2
Let g be 3 - (-1 + (2 - 1)). Suppose -h = g*h + 8. Let b = h - -2. Which is greater: b or 3/7?
3/7
Let y = -16 + 16.1. Which is smaller: y or -1?
-1
Let c = 6 - 5.7. Let m = -6.7 + 7. Let x = m - c. Is x smaller than 3?
True
Suppose 5*u + 5 = -5*v, 2*v + 5 = -3*u + 1. Let g be (-1)/u*-4 - 7. Do -9 and g have the same value?
True
Suppose -11*q - 24 = -68. Is 4 smaller than q?
False
Let q = -1 - -4. Let a = -0.3 + 0.4. Which is bigger: q or a?
q
Suppose 5*i + 14 = 2*m, -m + 4*i + 0*i = -10. Suppose 2*k - m*h = 10, h = 4*k + 2*h. Which is smaller: -1/7 or k?
-1/7
Let t = -15 - -21. Let l = t + -6. Which is smaller: -1/6 or l?
-1/6
Suppose 0 = 5*y - 25, 0*w - 3*w - 22 = -5*y. Which is smaller: w or 2/71?
2/71
Suppose 4*x + 6 + 10 = 0. Let n be (5 + -10)*(-6)/(-15). Is x at most as big as n?
True
Let f = 6 + -31/5. Which is greater: 1 or f?
1
Let y(l) = -l + 6. Let w be y(10). Let j be (-6)/15 + w/(-10). Let m be (-1 - -2)/(-1 + j). Is m > -2?
True
Suppose -l = -l + l. Do 3/26 and l have different values?
True
Suppose 3*w - 8*w + 50 = 0. Suppose 0*u + 3*u = 4*l + 6, l = 5*u - w. Suppose u*c = -c. Is c at least as big as 0?
True
Let k be 21/(-3)*(-1)/1. Let q be 5/(-7) - 2/k. Let j = -1 - q. Which is bigger: j or 1/2?
1/2
Suppose -3 = 5*u + 2. Which is smaller: u or 1/27?
u
Let m = 212/327 + 2/109. Which is smaller: 3/5 or m?
3/5
Let n be 31/(-14) - (3 - 5). Which is bigger: 1 or n?
1
Let j be (-5)/60*-4*15. Which is greater: 4 or j?
j
Let y = -40.3 + 42. Let s = -1.5 + y. Is 4 >= s?
True
Let g = -0.17 - 0.03. Let i = g + 2.2. Is 1/8 != i?
True
Let o be 1/(1*4/(-12)). Suppose -5*i - 4 - 11 = 0. Is o greater than or equal to i?
True
Let d be (16/(-12))/2 + 12/(-9). Let g be 2/(-3) + 10/(-3). Let j = 3 + g. Is j < d?
False
Suppose -5*z + 0*z - j = 331, j = -z - 63. Is z at most as big as -67?
True
Let g = -5 + 10. Suppose g*q - 14 = c, -2*c - 1 = -0*c - q. Is c at least 0?
True
Let u = -284618/7 + 40585. Let p = u - -75. Is p smaller than 1?
True
Let d be -1*1 + (-5 - -11)/3. Is 2/643 bigger than d?
False
Let c(r) = 3*r**2 - 2 + r**3 + 0*r**3 - 5*r**2. Suppose -i - 6 = -z + i, -5*z = -i - 12. Let l be c(z). Which is smaller: l or -3?
-3
Let c(v) = 2*v**2 - 7*v - 11. Let p be c(6). Let f = 20 - p. Which is smaller: -4 or f?
-4
Let r = 5636014178/1521 - 3705466. Let w = r - 6/169. Are w and 2/7 equal?
False
Let q = -5.8 - -6. Let w = -6.7 - -7. Let v = w - q. Which is smaller: 2 or v?
v
Let u be (-14)/(-119) + (-18)/(-136). Suppose 16 = 4*y - 0*y. Is u bigger than y?
False
Suppose -5*y + 18 = 4*q, 5*y = y + 4*q. Which is greater: 5 or y?
5
Let v = 4 + -6. Let o = v + -4. Let z = 6 + o. Are -1 and z unequal?
True
Suppose 5*x + o + 1 = 4*x, 3*x + 4*o + 2 = 0. Suppose -4*t = -3*t + 5. Let c = -5 - t. Is x < c?
True
Suppose -t + 27 = -0*t - 5*s, -3*t + 67 = -s. Let p = -23 + t. Is 17 equal to p?
False
Let z be 12/(-3) - -3 - -1. Let o be (-4)/22 - (-196)/352. Which is smaller: o or z?
z
Let m = -505/4 + 2629/20. Is 5 bigger than m?
False
Let x = 13 + -15. Let v be (-4)/((-24)/(-10)) - x. Which is bigger: -