 smaller: k or j?
j
Suppose 0*m + m - 1 = 0. Let p = 4955 + -14995/3. Let c = p + 44. Which is greater: m or c?
m
Let p be 79/(-116) - (-3)/4. Which is smaller: 1 or p?
p
Let f(w) = w**2 + 4*w - 4. Let j be (-9)/(-6)*(-20)/6. Let p be f(j). Which is greater: 4/11 or p?
p
Let b = 65 - 41. Let t = -24.1 + b. Which is greater: 0.06 or t?
0.06
Suppose 0 = -0*t - 0*t - t. Is t equal to 0?
True
Suppose 16 = 5*h - h. Suppose h - 3 = a. Suppose -4*m + 3 = -3*c + 18, 3*m + 2*c = 10. Which is smaller: m or a?
m
Let y be 0 + (-7)/(14/6). Is -5 at most as big as y?
True
Let o = -8 + 6. Let g be ((-14)/88)/(o/4). Let s = 2/11 + g. Which is smaller: s or 1?
s
Suppose 0 = 2*d + 3*d. Let n be (d - -1) + 22/(-14). Does n = -2?
False
Let l = -31 + 32. Is 0 >= l?
False
Let a(c) = -3 + 9 + 7 + c. Let w be a(-7). Which is greater: w or 5?
w
Let b = -74 - -70. Are 1 and b unequal?
True
Let l(s) = s - 8. Let f be l(6). Suppose 3*b = 7 + 65. Suppose 4*a + 10 = -5*x + 3*a, -3*x + 3*a = b. Which is smaller: f or x?
x
Let s(h) = -h - 2. Let f be s(-3). Let u(d) = -d**3 + d**2. Let m be u(f). Which is smaller: m or 2?
m
Suppose -10 = 6*k - k. Let a be ((-6)/(-28))/(k/(-20)). Let z = 53/28 - a. Is -1/3 > z?
False
Let f(h) = -h**2 - 7*h + 8. Let j be f(-7). Is j != 5?
True
Let s be 8/(-12)*1*(-6)/(-32). Let t = -2 - -2. Which is smaller: s or t?
s
Let q(p) be the first derivative of -15*p**4/4 + p**2/2 - p + 2. Let x be q(1). Let w = x - -11. Is w smaller than -3?
True
Suppose 0 = 2*t - n - 266, 20 = 2*n + 3*n. Let c = t + -677/5. Let g be 0/((-1)/2*-4). Are g and c unequal?
True
Suppose 3*f - 4*f = -3. Suppose 0 = -5*g + f*g. Which is bigger: g or 8/9?
8/9
Let p(f) = -f**2 - 3*f + 4. Let d be p(-4). Let o = 31 - 30. Which is bigger: o or d?
o
Suppose 5*p - 47 - 19 = -2*l, -p - l + 15 = 0. Let z = 13 - p. Which is bigger: 2 or z?
2
Suppose -6*y + 4 = -4*y. Suppose 2*h - 6 = -y*b, 6*b = b + 10. Suppose -4*n - h = -9. Is 2 greater than n?
False
Let t be 2 + ((-2654)/(-44) - 2). Let z = -121/2 + t. Is 1 at most as big as z?
False
Let l be 2*(6/3)/(-346). Is 0 at least l?
True
Let q = -0.01 + -0.99. Which is bigger: -3/2 or q?
q
Let f = 18995/23 + -826. Which is smaller: -1 or f?
-1
Let r be (1/1 + -2)*2. Which is bigger: -6/7 or r?
-6/7
Let z(n) = -n**3 - 5*n**2 - 5*n - 2. Suppose -2*j + j = 5*y + 20, -2*j - 8 = 2*y. Let b be z(y). Let r = -55 + 113/2. Is b != r?
True
Let n = -4 + 4.5. Let g = n + -0.6. Is 3 at least g?
True
Let k be 14*((-5)/(-2) - 4). Is k greater than -21?
False
Let l be (-2)/(-2)*((-242)/(-33) + -7). Let h be 5/7 - 2/(-7). Is h < l?
False
Let i = -2 + 3. Which is smaller: i or -1?
-1
Suppose -d - 5*r + 2 = 0, r + r - 5 = d. Let y = 5 + d. Suppose -2*o = o - 6. Is o not equal to y?
False
Suppose 5*i + 21 = 3*q - 22, 2*i + 17 = q. Let v = 9 + i. Which is smaller: 1/7 or v?
1/7
Let m be 2*2 + 2 + -4. Let y(p) = p - 11. Let n be y(8). Let b = n + m. Is -3/7 <= b?
False
Let q = -2.6 + 12.6. Let x = 1.14 + 0.86. Is q less than or equal to x?
False
Let b = 0.02 + 0.58. Let i = 0.6 - b. Is i at least -1?
True
Let h = -13239/61 - -217. Is -1 at most as big as h?
True
Let s be (-1)/2 + (-3)/(-2). Let n(o) = -o - 4. Let r be n(-7). Let f be (-6)/(-4)*1/r. Which is greater: s or f?
s
Let h = 916/8341 - 2/439. Let g = -11 - -9. Let r be (-2)/4 - (-1)/g. Is h at least as big as r?
True
Let t be 1*-1*855/5. Let v be (-2)/(-8) - t/(-108). Which is greater: -2 or v?
v
Let n be 0*(2 + 10/(-4)). Is -2/13 != n?
True
Let g be (2 + -2)*(2 + -1). Are g and 2/49 non-equal?
True
Suppose 3*x - 45 = -0*n + 2*n, -40 = -2*x - 2*n. Which is smaller: 0.1 or x?
0.1
Let c = 13.9 + -14. Which is bigger: -0.08 or c?
-0.08
Let w(v) = 2*v + 3. Let c be w(-3). Let f(g) = -g**3 - g**2 - g - 3. Let q be f(c). Suppose 0 = -2*n - 2*s - 8, 2*n = -8*s + 4*s - q. Is n > 1/7?
True
Let f be 1 + (-1 - (3 + -4 + 2)). Do -2/271 and f have different values?
True
Let j(d) = 4*d - 7. Let h(b) = 5*b - 8. Let x(g) = -3*h(g) + 4*j(g). Let s be x(4). Is 3/10 bigger than s?
True
Suppose -3*y - 75 = -5*t, -3*t + y + 0 + 41 = 0. Let m be 2 - ((-14)/t)/(-1). Is 1 greater than m?
True
Let s = 4 - 4. Suppose s*o = -o. Is -1 greater than o?
False
Let c = 8 - 6. Let z be 28 + 2 - 1*c. Let b be z/60 + 2/(-3). Is -0.1 not equal to b?
True
Let q = 1/155 - 69/1085. Are q and -2 unequal?
True
Let l = 37/22 + -2/11. Which is smaller: 3 or l?
l
Let c be 1 - 2/((-2)/1). Let m be (-2)/(2*-1) + 0. Let d = m + 2. Which is smaller: c or d?
c
Let p be 14*(-6)/48 + 1*2. Is -43 equal to p?
False
Let o = 5/6 - 2/3. Is 0.1 at least o?
False
Let z = 0.08 + -0.08. Suppose -c - 1 = -4. Suppose -2*h = c*h + 5. Which is smaller: h or z?
h
Let v(k) be the third derivative of -k**4/12 + 11*k**3/6 + k**2. Let x be v(5). Is 5/4 at least x?
True
Let k = -31 - -30. Which is smaller: k or 2/33?
k
Let f be 51/6 + 2/4. Let h = 8 - f. Are 1 and h equal?
False
Suppose -3*n + n = 18. Let w = -69 + 62. Which is greater: n or w?
w
Suppose -2*k = 2*l - 8, -5*k = -4*l + 3*l - 20. Suppose -v - k*v = -5. Is 0 < v?
True
Let q = -27671/165 - -503/3. Is -1 greater than or equal to q?
False
Suppose -4*p = 3*h - 2*h + 7, -4*h - 12 = 0. Let w = -0.13 + 0.93. Is p not equal to w?
True
Let k be (-2)/7 - (-3764)/(-1232). Let j = k + 13/4. Which is smaller: -1 or j?
-1
Suppose 0 = y - 4*x - 15, 0 = -0*y - 3*y - x + 19. Which is greater: y or 8?
8
Let p(l) = 2*l**2 - 7*l - 6. Let q be p(5). Is 19/2 bigger than q?
True
Let y be (-3)/(-2)*8/(-30). Let b = 10 - 7. Suppose 0 = -3*l - 3*p - 7 + 22, -3*p = -b*l - 9. Which is bigger: l or y?
l
Let q be (-1)/(-5) + (58/(-190) - 0). Are q and -1 equal?
False
Suppose 2*w + 4 = 26. Which is greater: 9 or w?
w
Let a(g) = g + 8. Let x(m) = -4*m + 1. Let u be x(3). Let z be a(u). Which is bigger: z or -5?
z
Let g = 5.8 + -6. Let a = g + -1.8. Is a > -1?
False
Let u = -57 - -397/7. Which is bigger: -4/11 or u?
u
Let b = -2.08 - -0.08. Is b <= -0.12?
True
Let r = -1 + 2. Let w be 0/((4 + -2)/r). Let g be (1/(-2))/((-6)/(-8)). Is g less than w?
True
Suppose -5*g = -4*q - 0*g + 33, -4*q + 2*g = -18. Which is smaller: 10/7 or q?
10/7
Let p(l) = -2*l + 10. Let c be p(5). Which is greater: 4/5 or c?
4/5
Let z be (2/(-4))/(1/(-2)). Let g be ((-18)/24)/(4 + -1). Do z and g have the same value?
False
Let x = 1.3 + -1.34. Which is greater: x or -1?
x
Let g(c) = 3*c**2 + 3*c + 3. Let a be g(-2). Let t be (-112)/(-4)*1/a. Let f = -103/36 + t. Is 1 != f?
True
Let h be 1/((-3)/(-12)*-2). Which is bigger: h or -1?
-1
Let q = -20 + 11. Is q != 1?
True
Let i = 0.02 - 1.02. Let f = 0 - -4. Let o = f + -3.8. Is o equal to i?
False
Let g(p) = -p**2 - 14*p - 12. Let c be g(-13). Which is bigger: -0.1 or c?
c
Suppose 3*x + 29 = -4*b, -3*x + 0 = -3. Which is smaller: -10 or b?
-10
Let k = 63 + -37. Is 26 less than k?
False
Let k be 2/(-4) - 1047/(-30). Let p = 34 - k. Is -0.05 < p?
False
Let f be (-2)/(-2)*(-2)/8. Let c = 2 - 4. Let m = 1 + c. Is f equal to m?
False
Let p be (24/15)/((-42)/(-75)). Let u = p - 73/28. Suppose -2*r = 5*b - 1, -r = -0*b + 2*b. Is b < u?
False
Let j(d) = d**3 + 5*d**2 + 3*d - 2. Let x = 7 + -11. Let l be j(x). Let i be (-5)/3 + l/3. Is i > -1?
False
Let o = 3 - 1. Suppose -s = -o*s - 10. Which is bigger: s or -11?
s
Let y = -0.13 + 2.13. Is -3 at least as big as y?
False
Let t = 2.9 + 0.1. Let z = -0.2 + 0.4. Let m = z - 0.3. Are m and t equal?
False
Let n = -4 + 2. Let o = 11 - 7. Let t be (o/3)/((-4)/6). Are t and n equal?
True
Let l(o) = 2*o + 29. Let x be l(-16). Let z(a) = a - 7. Let i be z(8). Which is greater: i or x?
i
Let u be (-1)/5*5/6. Suppose 14 = q - 4*i, -5*q + 2*i - 4*i - 18 = 0. Let j be 4 + (0 - q - 5). Which is bigger: u or j?
j
Let q be 3/(-12) - (-21)/4. Suppose 0*b = q*b. Let p be 1 + 3/(-3 + -3). Do p and b have the same value?
False
Let l(i) = 6*i**2 + 5 - 2*i - 3*i + i**3 - i**2. Let k be l(-6). Is -5/6 at least k?
True
Suppose 5*r - 3*z = 2*r + 9, -3*z - 9 = -5*r. Which is greater: -5/4 or r?
r
Let j = 17 + -6. Let z = 2 - j. Which is smaller: -8 or z?
z
Let t be (-245)/225 + (-1)/(-5). Is 0 <= t?
False
Suppose 1 = -v + 4*q - 24, -3*q + 25 = -2*v. Let l be v/(260/(-24)) - 0. Which is smaller: l or -1?
-1
Let t be (-4)/(-26) + 42685/11115 + -4. Which is smaller: -1 or t?
-1
Let c be 2/2*5/1. Let p(