(-8)/30). Which is greater: k or -1?
-1
Let r(y) = 3*y - 31. Let i be r(11). Is i != 52/19?
True
Let j be 1/(-3) - 2/3. Let x = 1/1412 + 2779/63540. Let i = x + -62/45. Is j < i?
False
Let n be 2/(-10)*(-26)/2. Suppose -2*l = 2*l - 8. Suppose 6*c - 7 = 3*c + g, l*c - 5*g = 9. Do c and n have the same value?
False
Let z be (-10)/(-6)*(-2 + 5). Suppose 0*n - 245 = 5*x + 3*n, -z*x + n - 225 = 0. Which is smaller: x or -1/4?
x
Suppose -28 = 4*f - 4*i - 68, 3*i - 48 = -3*f. Is f less than 14?
True
Let f be 1*((-1)/(-3))/((-6644)/33). Let l = -34435/4228 - f. Which is greater: -8 or l?
-8
Let p = -9 + 18. Let n(c) = -c**3 - 8*c**2 + 11*c + 13. Let g be n(-9). Let z be 2/5 - 43/g. Is z > p?
False
Let k be (56/(-410))/((-24)/60). Let z = k - -394/287. Suppose 5*d = -5 + 20. Is z not equal to d?
True
Let l = -3.084 + -0.016. Let x be 2 - ((-8)/(-6))/(1/2). Do l and x have the same value?
False
Suppose -q - 3*d + 14 = 0, 4*q + 2*d = 5*q + 6. Suppose -q = 5*u - 3*u. Let t = -9163/9 + 1017. Which is smaller: t or u?
t
Let n = -20 - -24. Let b = n - 14. Let c = b - -13. Is -0.3 less than or equal to c?
True
Let w = 4 - -1. Suppose -z + 5*z - 88 = 0. Suppose 4*q = -2*h + z, 2*h + 3*h - 5*q - 10 = 0. Is h less than or equal to w?
True
Let y = -14.1 - 44.9. Let n = 59 + y. Are n and 10 nonequal?
True
Let j be (-1)/3 + (-172)/6. Let r be 3/1*(-6148)/636. Is r at most j?
True
Let h be 52/12 + 2/3. Suppose 2*t - 15 = 2*k - t, h*k + 24 = 3*t. Let a be (k/(-28))/((-5)/(-20)). Is a greater than or equal to 0?
True
Suppose 5*s - 47 = -g + 3*g, -3*s + 41 = 2*g. Which is greater: -26 or s?
s
Let v be 1 - ((-7143)/(-1020) - 6). Which is smaller: v or 0?
v
Let j be (-1 - -1)/(20/(-5) + 2). Suppose -6*k - 12 = -j. Which is smaller: 7 or k?
k
Suppose 59*y = 10 - 10. Which is bigger: -371 or y?
y
Let t be (-1)/((-60)/(-8)) - (-139)/480. Let o = -73/352 - t. Suppose 0 = 2*y + 5 - 3. Which is bigger: o or y?
o
Let o(r) = -r**3 + 10*r**2 - 7*r + 9. Let h be o(9). Let t = 26 - h. Is -2/105 less than t?
False
Let l(u) = -27*u - 127. Let v be l(-7). Is -3 >= v?
False
Suppose 0 = 5*q + 5*p - 2300, -3*p = 5*q - 7*p - 2336. Which is bigger: q or 466?
466
Let m(q) = 1 - 8*q - 4 - 5*q + 3*q. Let f be m(-2). Let j = -13 + f. Are -2 and j non-equal?
True
Let n be ((-12)/14)/(2/(-28)). Let h be (-6)/9*n/2. Let z be ((-3)/(-24))/(2/h). Is z at most as big as 0?
True
Let n be (-1 - -2)*(-13 - 2). Let i be (-26)/(-195) - (-2)/n. Is 0 >= i?
True
Let j(w) = w**3 + 7*w**2 - 7*w - 48. Let m be j(-7). Let p(f) = 6*f**3 + f**2 - 2*f + 2. Let x be p(m). Which is greater: x or 3?
x
Suppose 0 = 10*m - 8*m + 4, -5*h = m + 4687. Do -938 and h have the same value?
False
Let z = 26.8 - 18.8. Which is greater: -0.12 or z?
z
Let f = -0.03 - -42.03. Let q = f + -5. Is 1 <= q?
True
Let y(s) = 3*s**2 + 2*s - 2 + s**2 + 0*s. Let m be y(2). Suppose -5*c = -2*i - m, -3*i + 3*c - 26 = 2*i. Is -4 at most i?
True
Let a = 5 - 4.9. Let m = -929 + 928.8. Which is bigger: a or m?
a
Let p = -0.0206 - -0.1126. Which is greater: p or -0.4?
p
Let d = 471 - 91. Let i be (-15)/13 + (d/(-65) - -6). Let s be (-82)/288 + (-2)/(-9). Is i bigger than s?
False
Let v be (-100)/(-17) + (-6)/(-51). Suppose -10 = 5*y, -d - v*y + y = 11. Is d at most -18/11?
False
Let h be (-56)/308*(-1)/2*-75. Which is smaller: -7 or h?
-7
Suppose -2*t = -p - 7, 5*t - 4*p + p = 18. Suppose 3*q = 5*z - 20, -t*q - 16 = -z - 0*z. Which is greater: 9/8 or z?
9/8
Suppose 2*c + 3*c = 5. Suppose k + 4 = c, 4*h - 2*k = -62. Let q = h + 18. Is q at most as big as -3/19?
False
Let v = -133 + 133. Do v and -1/309 have different values?
True
Let t = 15 + -6. Suppose 0 = -u + 25. Let b = -16 + u. Is b smaller than t?
False
Let h = -9 + 14. Let w = 12395/7 - 1767. Which is greater: w or h?
h
Let d be -2*(8 + -2 - -4). Let j be 1*(-4 + (-85)/d). Is 10 less than j?
False
Let i be ((-8)/(-16))/(1/2). Is -1/167 < i?
True
Let z = 32 - 39. Let x(l) = l**2 + 13*l - 5. Let m be x(-12). Let y be 6/12 + m/2. Are z and y non-equal?
True
Let s = -32 + 36. Suppose 0 = -s*d + 3*d - 3*a + 49, -a = -d + 41. Are 43 and d equal?
True
Let g be 22/6 + 6/(-9). Suppose -6*n - 6 = -n + g*y, 0 = 3*n + 2*y + 4. Let d = 2 - 4. Which is smaller: d or n?
d
Suppose -15*f + 13*f - 8 = 0. Do f and -5/2 have different values?
True
Let p(n) = n**3 - 2*n**2 - 20*n - 2. Let h be p(5). Is -80/3 greater than or equal to h?
True
Let g(b) = b**2 + 3*b + 4. Let z be g(-5). Let o = 8 - z. Let r = -209 + 204. Is o at most r?
True
Let f be 51/(-15) - (-6)/15. Let p(t) = -t**2 - t + 3. Let v be p(f). Is v at most -3?
True
Let a = 11 + -10. Let r be 2/a + (27 - 3). Which is smaller: 25 or r?
25
Let o be 856/321*570/(-4). Which is greater: o or -381?
o
Let f = 1140 - 13687/12. Is -14 at least f?
False
Let h(f) = -f + 4. Let t be h(4). Suppose t = -0*b + 4*b. Which is greater: b or 2?
2
Let p be -1 + (366/(-354))/(-1). Which is smaller: p or 1?
p
Suppose -6*h = -h - 15. Suppose -2*d + 42 = t - h*t, -4*d = -12. Let x be -3 + (1 - t/5). Which is bigger: 3 or x?
3
Let a = 42 + -41. Let n be (-5)/4*a/(-5). Do n and 8/7 have different values?
True
Suppose 22*d + 53*d - 225 = 0. Is d not equal to -103/5?
True
Let n be (12 + -15)*71/3. Do -72 and n have the same value?
False
Let f = 125.83 + -127. Let n = 1.78 + f. Let m = -0.21 + n. Is m at least as big as 5?
False
Let z = 8 + -5. Let c = z - 6. Which is greater: c or 0?
0
Let f be (-220)/50 - (-3)/(-5). Let x = f + 4. Let m be (-42)/(-40) - x/(-4). Is 0 not equal to m?
True
Suppose 16*s - 6562 = 50*s. Which is smaller: s or -194?
-194
Suppose -4*d = -3*d - 14. Let f = -13 + d. Which is smaller: 2/9 or f?
2/9
Let m be (-68552)/(-492) + 2/(-6). Which is greater: 140 or m?
140
Suppose 5*l - 15 = 2*l, 3*f + 22 = 5*l. Which is bigger: 20/21 or f?
f
Let x = 2/3 + -1. Let i = 476 - 477. Which is smaller: x or i?
i
Let v be ((-10)/(-2) - 2)/1. Suppose 7*c - v*c = 0, 5*b - 4*c - 225 = 0. Suppose -5*w - 3*k = -0*k + b, -3*k = w + 21. Is w smaller than 0.1?
True
Suppose -37*b + 529 = -14*b. Is b at least as big as 26?
False
Let m = -82.33 - -83. Let j = 5.33 + m. Which is smaller: 0.1 or j?
0.1
Let p = -22 + 23. Let c be (p - 140/46) + 2. Let n(k) = -k + 2. Let l be n(2). Which is smaller: c or l?
c
Let g(y) = y**3 - 11*y**2 - 7*y + 13. Let q be g(-7). Let k = 4087/5 + q. Which is smaller: k or -3?
-3
Let a(h) = -h**2 - 6*h - 4. Let l be a(-3). Let y be 18/6 + l*1. Suppose -5*p = -9*p + y. Which is smaller: p or 1?
1
Let q = 1742381/2996 - 4071/7. Let c = q + -745/47508. Which is smaller: c or -1?
-1
Let d = 4 + -3.06. Let q = d - 1. Let m = q + 0.16. Is 2 != m?
True
Let t = 98.05 + -98. Let n = t + -10.05. Which is smaller: 0.2 or n?
n
Let j = -0.1 - 0.9. Let g(p) = p**3 - 2*p**2 + 4*p - 3. Let f be 0 - 7/((-14)/4). Let d be g(f). Which is smaller: j or d?
j
Let p be (104/(-182))/(2/7). Let q(i) = -i + 4. Let d be q(6). Is p greater than or equal to d?
True
Suppose -5*p + 12 = -3, 1779 = 5*l - 2*p. Does 358 = l?
False
Suppose 0*g + 3*v - 10 = g, 12 = 3*v. Suppose g*c + 5*q + 53 = 0, -q + 0*q = 3*c + 60. Is -19 > c?
False
Let d be (-2)/((-29946)/(-59379)) - -2. Let z = -45/23 - d. Let b = z - 440/651. Is -1 greater than or equal to b?
False
Let t = -1.3 + 2.3. Is t < -0.52?
False
Let d = 14.81 + -0.81. Let w = 13.806 - -0.294. Let b = d - w. Which is greater: 7/6 or b?
7/6
Suppose 5*u + 15 = 45. Let a = -6.04 - -8. Let j = 0.04 + a. Is u bigger than j?
True
Let h = -7205 - -135. Let o be ((-7940)/h - (-2)/(-14)) + -1. Which is bigger: 1 or o?
1
Let h = -2211 + 4273. Is 2062 > h?
False
Suppose 3*w - 54 = -3*o, 3*w = 2*w. Suppose -o = -n + 4*n. Is -5 at least as big as n?
True
Suppose 0 = -2*k - 2*l - 18, -2 = 5*l + 8. Let b be (14/(-4))/(k/(-98)). Which is smaller: -50 or b?
-50
Suppose 2*a + 82 = -3*o, o = -4*a + 7*a - 20. Is -3 greater than o?
True
Let u = -12 + 34. Suppose 5*v = v - i - u, -4 = 2*v - 3*i. Let o(y) = y**2 + 6*y - 1. Let r be o(v). Is -11/2 at least as big as r?
True
Let y = 413.1 - 413. Is y smaller than 273?
True
Let s = 423 + -435. Is s > -1?
False
Let b = -284/9 + 94/3. Suppose -4*i + 49 = 3*j, -4*i - i = 2*j - 35. Which is greater: j or b?
j
Let u(r) = -2*r**2. Let m be u(4). Let g = m + -8. Let p = 28 + g. Do p and 0 have the same value?
False
Let