se
Let y be (22/(-10))/((-7)/35). Let b be (4 + y/(-2))/(54/8). Are b and 0.3 equal?
False
Let d be (-21*5 - -2)/5. Is d less than -2/9?
True
Let z = 25 + -5. Suppose 5*w - 351 = -251. Is w smaller than z?
False
Let l = 16/39 - 14/13. Which is greater: l or -29/6?
l
Let h be 125/20*5/(-1 + -9). Is h > -2?
False
Suppose f - 4*a + 19 = -0*a, -5*a = -10. Let k(s) = s**3 - 26*s**2 + s - 19. Let l be k(26). Let j be (-1)/(f/l) - 1. Which is bigger: -1 or j?
j
Let q(t) = -17*t - 78. Let n be q(-5). Is 3 at most as big as n?
True
Let p be (-2)/15 + 884/(-1020). Is 2/433 != p?
True
Let z(y) = 2*y**2 + 4*y + 2. Let b be z(-2). Suppose 0 = -2*i + 5*s + 23, -2*i + 3*s = b*i - 53. Let v be (-4)/i + (-32)/(-28). Is 1 > v?
True
Suppose -5*d - 6 = -36. Suppose -d = -3*z - 0*z. Let q be -3*3/(-6)*z. Are q and 11/3 non-equal?
True
Let i(v) = -12*v + 18. Let c be i(2). Is 8 greater than c?
True
Let r be 230/(-20) + 2/(-4). Let b be r/(-42) + 99/21. Suppose h - b = 2*o, h + o + 7 = 6*h. Which is smaller: 10/9 or h?
h
Let g = -0.0358 - -6.0358. Is g >= -17?
True
Let g = 2 + -1. Suppose -22*m = -29 - 15. Suppose -m*z + 6 = 2*l, 2*l + 20 = 3*z + g. Which is smaller: l or -3?
-3
Let a = 0.18 - -0.52. Let n(b) = -24*b + 169. Let d be n(7). Which is smaller: a or d?
a
Let p be (-6)/8 + (-4649389)/(-156). Let i = p + -29807. Let v = i + 30/13. Do v and -1 have different values?
True
Let a = -21 - -25. Let m = a - 6. Which is smaller: m or 3/8?
m
Let n = -18377/7 - -2619. Let c = n - -241/35. Let s(h) = -h + 4. Let l be s(3). Is c equal to l?
False
Let y be 19/(4/8*1). Let k = -22 + y. Let q(g) = g**3 - 16*g**2. Let a be q(k). Which is smaller: a or 2/9?
a
Let h = 82 + -96. Let t(j) = j**3 - 13*j**2 + 11*j - 1. Let b be t(12). Is b less than h?
False
Suppose -3*l + 5*g = -104, -5*g + 125 = 3*l - 29. Which is smaller: 41 or l?
41
Let f be (-3 - (-466)/204) + (-16)/136. Which is smaller: 2 or f?
f
Let g(l) = l**2 - 16*l + 59. Suppose 5*x - 80 = -p, 4*p - 3 = -3*x + 62. Let w be g(x). Is w less than 44?
False
Let s(u) = 10*u**3 + 3*u**2 + u + 4. Let t be s(3). Suppose 0*x - t = -4*x. Suppose 2*g + q = 7*g + 112, x = -3*g + 5*q. Which is smaller: g or -21?
g
Let d(n) = -n**3 + 20*n**2 + 23*n - 50. Let g be d(21). Let i(r) = -3*r**2 + 3*r - 2. Let s be i(2). Is s not equal to g?
False
Let n(i) = 3*i**3 + 6*i**2 + 5*i + 4. Let w be n(-4). Let s(v) = -2*v - 18. Let x be s(-9). Let z be -4 + x + (-416)/w. Is z equal to -4?
False
Let j be (-575)/(-10) - (-6)/(-4). Let l = j - 39. Is 16 != l?
True
Let k(u) = u**3 - 14*u**2 - 21*u - 1. Let j be k(15). Let h = -128 - j. Is h less than -36?
True
Let p(l) be the second derivative of 0 + 1/12*l**4 + 2/3*l**3 - 5*l**2 + 6*l. Let t be p(-6). Is t != -1?
True
Let k = 3/32 + 17815/96. Which is bigger: 185 or k?
k
Suppose 5*c + 5*f = 400, -5 = -f - 0. Suppose 5*p - 20 = c. Suppose 47 - p = -2*j. Which is smaller: j or -16?
-16
Let u = 8 - 3. Suppose 17*y - 12*y = u. Is y at least 6/7?
True
Suppose 0 = 2*p - 54 + 12. Let s be -1*(36/p + -2). Suppose -3*i = 2*z - 4, 0 = -4*z - 3*i - i + 4. Is z at most s?
True
Let v(u) = 2*u + 17. Let r be v(-7). Suppose -2*o + 2 = s, s + 2*s + 3 = r*o. Is -2/5 >= s?
False
Let t = -3 - -2.5. Let d = -115 + 2297/20. Let f = 11/20 + d. Which is smaller: t or f?
t
Let d be (133/35 - 5)*345/6. Which is smaller: d or -71?
-71
Let x = -3.4 - -4. Let o = 4.6 - x. Let t = 0.033 + 0.067. Which is bigger: o or t?
o
Let w be 3/(-6) + (4 - 113/(-42)). Let u = -27/7 + w. Let q = 0 + 1. Which is smaller: u or q?
q
Let x(n) be the second derivative of -n**5/20 - 11*n**4/12 - 7*n**3/2 - n**2 - n. Let g be x(-9). Which is greater: g or 26?
26
Let z = 2020 - 4039/2. Is 1/745 smaller than z?
True
Suppose k = 2*u - 12, 5*u - 4*k - 1 = 32. Let n be ((-11)/u + 1)*-5. Suppose -4*i = 4*z - 1 + 9, -3*i - n = 5*z. Is z at least as big as 3?
False
Let f = -187 - -181.725. Let i = f - -5.2. Is i less than or equal to 1?
True
Let v(t) = -t**2 + 6*t - 6. Let l be v(4). Let s(k) be the first derivative of -k**2/2 + k + 3. Let c be s(l). Which is smaller: c or 1/31?
c
Suppose 4*a = h + h - 18, -2*a - 2*h = 24. Let t be (-19)/a - (-8)/28. Are 22/7 and t non-equal?
True
Let t = -1558 - -1560. Which is smaller: t or 2.38?
t
Suppose -4*a + 7 = 47. Let v(r) = 12*r - 16. Let b be v(a). Let h be 4/(-6) + b/(-51). Which is bigger: h or 3/2?
h
Suppose 0 = 23*f - 1 + 24. Is f less than -13/48?
True
Let z = -41 + 52. Is z smaller than 2?
False
Let r = 41786/3 + -13803. Let g = r + -131. Which is smaller: -4 or g?
g
Let f be (-132)/48 - (-1)/(-4). Let x be 44/(-8)*4/14 - 1. Which is bigger: x or f?
x
Let f be -1*(2*1 + -1). Suppose -3*i = -19 - 26. Let h be 1/(-1)*i/25*5. Are f and h non-equal?
True
Suppose 0 = h - a + 61, 4*h + 14*a + 240 = 19*a. Are -65 and h nonequal?
False
Let s(x) = -x**2 - 11*x + 16. Let u be s(-12). Suppose 5*v - 9*v = u. Which is greater: v or -2/13?
-2/13
Let p(m) = m**3 + 5*m**2 - 2*m - 12. Let s be p(-3). Let g be s/(-36) + (-130)/42. Which is bigger: g or -3?
-3
Suppose -j + 112 = 4*y - 23, 2*y + 141 = j. Suppose j = -4*i + l, i - 3*l = -23 - 9. Suppose -5*m - 38 - 132 = 0. Which is smaller: i or m?
i
Let w = 37 + -34. Suppose -3*p - 4*f = 17, w*f + 19 = 2*p + 2. Which is greater: p or -2/59?
p
Suppose 3*n = -5*i + 55, 0*i + 5*i = -5*n + 75. Suppose 30*k = 32*k + n. Which is bigger: -17/4 or k?
-17/4
Let j = -6 + 4. Let s = -0.1122 - -0.2122. Which is bigger: s or j?
s
Let g = 37 - 9. Let s = -29 + g. Is 2/17 greater than s?
True
Let d = -66 + 62.85. Let n = d + 3.1. Is n less than or equal to -1/2?
False
Let h(g) = -115*g - 460. Let n be h(-4). Which is bigger: 1/68 or n?
1/68
Let a be (-2)/(-16) + 206/16. Suppose -a*b + 8*b + 20 = 0. Let x = -575/4 - -143. Do x and b have different values?
True
Let c = -0.51 + 25.51. Let h = 23 - c. Which is greater: 7 or h?
7
Let w = -1652004203659 - -231281655501587/140. Let q = -7621447 + w. Let j = 379/4 + q. Do j and 0 have different values?
True
Let i(f) = 2*f**2 - 1. Let t be i(1). Let z be (-50)/(-36) - (15/6)/(-5). Let b = -11/9 + z. Which is smaller: b or t?
b
Let r = 54537314 + -82951015766/1521. Let o = -210/169 + r. Let w = 156 - o. Which is smaller: w or 0?
0
Let x = -2180 + 2173. Let m = -5.1 + 6. Is x at most m?
True
Let h = -263.129 + -0.871. Is 3 <= h?
False
Let i = 0.0529 - 277.0529. Is -1/4 less than i?
False
Let r be (-1 - -1)/(-6 - -4). Let b be ((-16)/4 - -5)*-1. Which is greater: b or r?
r
Let m = -17 + -4. Let f be (-7)/m - (-6)/63. Are f and -1/5 unequal?
True
Suppose 9*n - 55 = 12*n - 2*i, -4*n - 92 = 2*i. Which is greater: -104/5 or n?
-104/5
Let h be 1*26 - (-100)/20. Is h less than 32?
True
Suppose -4*f = -2*v + 228, 5*f - 114 = -5*v - 414. Let z = f + 44. Which is bigger: -13 or z?
-13
Suppose -4*m + 3*c - 3 = 0, 5 = -m + 6*m - 2*c. Is 2 at least as big as m?
False
Let t(w) = w**3 - 13*w**2 + 12*w - 6. Let d be t(12). Suppose 13*m = 8*m - 65. Let o = m - -10. Which is smaller: o or d?
d
Let b = -53/468 - 5/26. Let w = -42/13 - -743/234. Let q = b - w. Is 1 > q?
True
Suppose 2*g = 3*f + 93 + 145, 8 = -2*f. Let v = g + -1009/9. Which is bigger: 1 or v?
1
Suppose 4*c - 30 = -c. Suppose 4*d - 3*o + 4 = 0, -3*d - o - c = -4*o. Suppose d*j = 3*j. Which is smaller: j or 1/4?
j
Let d(q) = -6*q + 25. Let f be d(8). Are -8 and f nonequal?
True
Let z(x) = -x**2 - 3*x + 5. Let b be z(-4). Suppose -5*j - 91 + 116 = 0. Let n be 0*(15/j)/(-9). Is n smaller than b?
True
Let i = -0.041 + 0.271. Let h = i - 0.23. Which is smaller: h or 1.3?
h
Suppose -4*c + 37*y + 236 = 42*y, 4*c - 236 = 3*y. Is 57 greater than or equal to c?
False
Let t = -1870 - -1890. Which is smaller: t or 228/11?
t
Let a(t) = 94*t + 438. Let v be a(-5). Which is smaller: 13 or v?
v
Let n be 4/(-2) - (-5720)/(-2576). Let r = n - -102/23. Which is bigger: r or -1?
r
Suppose -37*k - 36 = -25*k. Let c(b) = -4*b**2 + 3*b + 4. Let q be c(4). Let a be q/684*k/(-2). Which is smaller: a or 1/3?
a
Let i = 1744180/13 - 20380748968/151905. Let u = i - -2/95. Is u equal to 1?
False
Let w = 1/1480 + -5941/31080. Is 0 < w?
False
Let g = 30 + -29. Let h be (g/3)/((-6)/9). Let q = -14.7 + -2.3. Which is greater: h or q?
h
Let u be -3 + (-3 - (-487644)/82170). Let l = u - -2/415. Which is smaller: 1 or l?
l
Let u = 