 = x?
True
Let c = 3 - 2. Suppose 5*g = -2*u + 3, -2*u = -4*u + 2*g - 4. Which is smaller: c or u?
u
Let p = 23 + -23. Is -1/10 smaller than p?
True
Suppose -2*u = -5*b - u + 358, 10 = 5*u. Suppose 0 = -5*n - 3*p + b, -n + 5*p + 28 = 3*n. Let q be (n/(-54))/((-1)/3). Is q < 1?
True
Suppose 2*q = -q. Let u be (-2)/(-3)*(-3)/(-2). Is u < q?
False
Let k = 23 - 35. Is k < -9?
True
Let a = -2/6727 + -36516/6727. Does -6 = a?
False
Let y(s) = s**2 + 8*s + 5. Let a be y(-7). Let i be (a - 20/(-12))/(-1). Which is smaller: 0.4 or i?
i
Let b(t) = -t**2 - 10*t - 8. Let f be b(-9). Let k be ((-1)/(-3))/((-2)/(-6)). Suppose k = -3*c + 4. Is c > f?
False
Suppose -o = -0*o - 2*w + 18, 5*o + 114 = 2*w. Let f be (4/8)/((-2)/o). Let j be 2 - (-2)/f*-3. Is 1/7 < j?
True
Let u = 1.1 - 1.09. Let m = u + -6.01. Is m <= -2?
True
Let q be 1/(-12) - (-5)/(-30). Let y = -3 + 3. Which is smaller: q or y?
q
Let l(j) = j**2 + 3*j - 1. Let y be l(-4). Suppose 4*s - y*s = -1. Let c be (-2)/(-1 + 3)*s. Which is smaller: c or -2/7?
-2/7
Let z = -917 - -129295/141. Which is smaller: z or -1?
-1
Let p = 0.07 - -0.03. Is -16 at most as big as p?
True
Let j(o) = 2*o - 17. Let n be j(13). Is 10 at least n?
True
Suppose -17 = 2*r - 13. Does -8/5 = r?
False
Let n be (1/(-2))/((-198)/(-432)). Which is bigger: n or 0.1?
0.1
Let j be 12/(-9)*(-4)/(-6). Let h = -113/117 - j. Is h greater than 0?
False
Suppose 2*f + 2 = 4*h, 2*f = 3*h + 5*f + 12. Let t be -3 - h - 16/(-7). Let m be (-3)/3 + (-5)/(-7). Is m < t?
True
Let z = -5 + -1. Suppose -5*x - 2*k = -37, 0 = 2*x + 3*k + 2*k + 2. Let h = 4 - x. Is z <= h?
True
Let a = 104 - 108. Let b be -1*0/(1/(-1)). Is b <= a?
False
Let u = 13 + -18. Which is smaller: u or -4?
u
Let s = -225 + 1578/7. Let g be (-2)/(-9) - (-7)/9. Which is smaller: s or g?
s
Let p(u) = u**3 + 4*u**2 + u - 4. Let j be p(-2). Let i(n) = n**2 + 4*n + 3. Let t be i(-3). Is t less than or equal to j?
True
Let n = 219/4 - 54. Which is greater: 0 or n?
n
Suppose -16 = 5*m + 14. Let l be (-5)/(-15) - (-14)/m. Is l less than 2/5?
True
Suppose -3*b - 2*b - 3*j - 12 = 0, 4*b - 20 = 5*j. Let c = 53 + -473/9. Is b less than or equal to c?
True
Let y be 396/30 + (-24)/30. Which is bigger: 12 or y?
y
Let d = 16 - -3. Which is smaller: -1 or d?
-1
Suppose 0 = t - 4*t - 192. Let l be 0 + (t/(-28))/4. Do l and 2 have the same value?
False
Let r = 0.05 + 0. Let m = r - -0.05. Is 1 < m?
False
Suppose 1 = -3*f - 2. Let k be 2 + -3*1/f. Let d be (k/(-2) + 2)/(-2). Is d equal to -0.2?
False
Let v be ((-867)/30)/(4/5). Let k = v + 36. Which is smaller: k or 0?
k
Let w = 2/247061 + 16551953/140083587. Let f = w - -2/81. Let u = 29 - 29. Is u >= f?
False
Let y be 5 - 3 - 4/(-2). Let h = -1 + y. Which is greater: h or 5?
5
Let c(f) = -f + 18. Let w be c(6). Is 12 at least w?
True
Let u = -77 + 377/4. Is u less than or equal to 18?
True
Suppose -q + 3*o + 2 = 0, 0 = -2*q + 3*o - 1 + 2. Let t = -12.7 - -12. Let w = 0.3 - t. Is q < w?
True
Let p be 4/(-10) + (-2456)/(-6190). Let w = p + 1252/4333. Which is smaller: w or 1?
w
Let d be (-1 - -19)/(-2)*1. Let t = d - -16. Let c = t - 7. Which is bigger: -2/15 or c?
c
Let i = 0.51 - 0.01. Let r = 1 - i. Let b be ((-3)/(-10))/(30/(-25)). Which is smaller: r or b?
b
Let m = -3/14 - 5/42. Suppose -6*y = -5*i - 4*y - 11, -2*i + y - 5 = 0. Let a be (3*(-3)/(-9))/i. Is m less than a?
False
Let m be (-8)/14*56/(-16). Is 2 at least m?
True
Let n = 11 + -7. Let f = n - 5. Is f greater than or equal to -1?
True
Let x be -2*-1*399/3. Let i = x + -3988/15. Let v(c) = -c**2 - 16*c + 1. Let o be v(-16). Is o <= i?
False
Let n = 1 + -5. Let f = 1 + n. Is -2 smaller than f?
False
Let v = 6 + -5. Suppose 2*b + 8 = 4*b. Suppose 5 = b*i + i. Are i and v equal?
True
Suppose 3*v - v = -5*y + 26, 0 = -3*v - y + 39. Which is smaller: v or 11?
11
Let v(o) = o + 3. Let k be v(-4). Let w(c) = -2*c. Let f be w(k). Let a be 5*(2/f - 0). Does a = 4?
False
Let s = 318/385 + -2/77. Let b = -1.5 - -1.4. Which is smaller: b or s?
b
Let p be (((-1)/4)/1)/(-1). Are p and -3/2 equal?
False
Let k(i) be the second derivative of -i**3/6 + 3*i**2/2 - 3*i. Let a be k(-3). Suppose -a = 3*r - 0. Which is smaller: r or -3/4?
r
Let k be 13/6 - 4/6. Let y be (4/5)/((-6)/(-15)). Let n be 1*-3 + y - -3. Which is smaller: n or k?
k
Let g be ((-3)/(-48)*-2)/(-1). Which is smaller: g or 0?
0
Let x be -1 + 3/(-9)*0. Suppose 3*d = 5*k + 845, 3*d + 2*k - 5*k - 849 = 0. Let c = 2283/8 - d. Are x and c nonequal?
True
Let a(n) = -2*n - 8. Let y be a(-3). Which is smaller: y or 10?
y
Let h = 7 + -1. Let i = h + -9. Let p = 3 + i. Is 0 at least as big as p?
True
Suppose n + 148 = 5*n. Is 38 at most as big as n?
False
Suppose 5*q + 15 = -15. Let a be (-14)/18 + (-6)/q. Is 5 at most as big as a?
False
Let x = -2 + 22. Suppose 2*m - 9 = -3*r, -4*m = 5*r - x + 5. Suppose -r*k = 4*q + 2, -q + 4*k - 2 + 11 = 0. Is q at least 2/3?
True
Let s be (-3 - 2)/(2*(-9)/6). Which is smaller: -2 or s?
-2
Let b = 23 - -9. Suppose c = 4*t - 13, -5*c + 28 = 5*t - b. Let o(f) = -f**2 + 8*f - 3. Let k be o(c). Does k = 3?
False
Let t = 8/13 + 23/26. Let y(w) = -w**3 + 7*w**2 + 9*w - 6. Let c = -21 + 29. Let r be y(c). Is r <= t?
False
Suppose o + 16 = 17. Let b = o + -7. Is -7 > b?
False
Let u be 0 - (2/(-4) - 0). Let v be 8*1*5/10. Suppose x + v*x = 0. Which is bigger: x or u?
u
Let a be 23/(-60) - (-2)/8. Let b be (0/(-1 - 0))/(-3). Are b and a non-equal?
True
Let x = 2 + -2.1. Let z be (-6 - (-8)/2) + 2. Suppose 3*i = -z*i + 3. Which is smaller: i or x?
x
Let a be (-344)/60*2/(-4). Let q = a - 8/3. Suppose 4*f - 20 = -5*g, 0 = -5*g - 0*g - 5*f + 25. Which is smaller: g or q?
g
Let b(r) = -r**3 + 5*r**2 + 1. Let g(o) = -o - 2. Let c be g(-4). Suppose 0 = 5*l - 5*i - 50, -l = 2*i + 7 - c. Let p be b(l). Is p < 2/5?
False
Let t be 18/(-414) - (0 - 0). Is 0 at most as big as t?
False
Let i(x) = -2*x + 1 + 3 - 3. Let m be i(1). Which is smaller: m or 0?
m
Let f(z) = z**2 - 3*z + 3. Let s = 1 - -3. Suppose -8*x + s*x = -2*m - 4, 0 = -m + 2. Let j be f(x). Is j at least as big as -0.1?
True
Let f(y) = -y**3 - 7*y**2 - y - 4. Let b be f(-7). Suppose 5 = b*u - 4. Suppose 0 = 5*o + 4*a - 12, -u*o - 12 = -0*o - 4*a. Which is bigger: 1 or o?
1
Suppose x - 5*u - 26 = 0, 0 = x + 4*u - 0*u + 19. Let y = 0 + x. Is 3/2 bigger than y?
True
Let d be (-4)/10 - 1068/30. Let c be -1 + d/21 + 3. Which is smaller: 1 or c?
c
Let y = -64 + 58.2. Let s = -6 - y. Which is bigger: s or -5/4?
s
Let r be -6 + 5 - (1 - 1). Suppose 3*o - 14 = 4*c, -o + 10 = 4*o. Let s be c/(-5) - 1/2. Which is bigger: r or s?
s
Let q = 955/6 - 160. Let m = -1/2 - q. Which is smaller: -11 or m?
-11
Let r(b) = -b - 9. Let v be r(-7). Let k be (-3)/15 + 52/10. Suppose 4 + 1 = -k*q. Which is greater: q or v?
q
Suppose 0*m = -4*m - 8. Let q be (1/(-1) - m)/(-1). Which is smaller: 0 or q?
q
Let m = -3 + 3. Suppose -2*o - 35 = 3*o. Let w be (1/o)/(6/(-7)). Is w > m?
True
Let k be (6/(-4))/((-3)/6). Let d be 4/(-6) - 1/k. Let l be (4/(-9)*3)/10. Which is smaller: d or l?
d
Let v = -0.2 - 0. Let s = 18 + -8. Let l be (2 - 36/s) + 2. Which is greater: l or v?
l
Let i be (2/15)/((-2)/(-10)). Suppose -3*b - 2*o - 3 = 0, -b - 8 = 3*o - 0. Is b less than or equal to i?
False
Suppose s = -5*p + 21, 30 = -s + 4*s + 4*p. Let y(k) = -k**3 + 7*k**2 - 6*k - 3. Let d be y(s). Do -3 and d have different values?
False
Let w = -4 - -7. Suppose -3*z = -12, 5*z = -w*h + h + 26. Let b = h - 4. Are b and 0 equal?
False
Let c = -2/1447 - -73817/14470. Let g = c - 11/2. Suppose -5*b - 3*p - 6 = 0, -4*p + 8 = -8*p. Is g >= b?
False
Let b = 1 + -1. Suppose b = 2*w - 8, 3*c - 22 = -5*w + 7. Let n be 2/c*(-18)/8. Is -1 > n?
True
Suppose -10*v - 12 = -7*v. Let k be (-2)/(-4)*v/(-2). Is 2/3 > k?
False
Let r(n) = n**2 - 6*n - 21. Let a be r(9). Which is bigger: 0.2 or a?
a
Suppose -b = 3*b. Let t = b - -1. Let h = -19/4 + 9/2. Which is greater: t or h?
t
Let h be 1/45 + (-1)/(-5). Let b(d) = -4*d**2 + 3*d + 4. Let m(u) = 3*u**2 - 2*u - 3. Let z(f) = -2*b(f) - 3*m(f). Let j be z(-1). Is h smaller than j?
False
Suppose 5*a - z = 147, 3*a - 25 = 2*a - 2*z. Which is bigger: a or 0.3?
a
Suppose 9 = 2*a - x, 0*a - 2*x - 12 = -3*a. Suppose f = -f + a. Suppose -f*n + 1 = 4. Which is greater: 2 or n?
2
Let f = -3 