. Let j be o(13). Let m be j/4 + 1 - 2. Which is bigger: m or -1?
m
Let v = -103 - -100. Which is smaller: v or -8?
-8
Suppose 3*f + 9 = 3. Let o = -9 - -9. Let b = o - 3. Are b and f unequal?
True
Let u = -0.5 - -0.4. Let q = 1.9 - 8.1. Let f = q - -6. Which is smaller: u or f?
f
Let f(q) = 2*q - 9. Let z be f(6). Suppose -3*o - 5 = -v, -v + 1 = -5*o - 8. Let y = o + z. Is y bigger than 1/5?
True
Suppose -8 = -2*x - 5*r, -2*x + 2 = r - 6. Let c be ((-2)/3)/(x/(-6)). Is c != 4/11?
True
Let a = 54 + -54. Which is smaller: a or 8?
a
Let i(r) = 2*r + 8. Let j be i(-5). Which is greater: j or -5/6?
-5/6
Let k be (-2)/(-3) - 28/(-12). Suppose 0 = 2*t + 4*i - 10, k*i = 5*t + 24 + 3. Let z be 0*(t/(-2) - 2). Which is greater: z or -1/3?
z
Let s be 82/140 - 2/7. Suppose 14 - 10 = -4*y. Which is bigger: s or y?
s
Let p be -1 - 1 - (-1 - 95). Which is bigger: 0.1 or p?
p
Suppose 15 = 2*t - 9. Let d = 13 - t. Is -1 less than or equal to d?
True
Let k = -1.07 - -0.07. Which is greater: -0.1 or k?
-0.1
Let y = 84 - 80. Is 6 greater than y?
True
Let z = 19 - 17. Suppose -3*d = -z*l + 24, 0 = -2*l + l - d + 2. Is l > 6?
False
Suppose -2*t - 3*t - 10660 = 0. Let o be (-4)/10 + t/(-30). Let s = -70 + o. Which is smaller: 0 or s?
0
Let l be 26/10 + 8/20. Let j(h) = -2*h + 12. Let t be j(4). Is t at most as big as l?
False
Let l = 7 + -1. Let k = -3.6 + -0.4. Let m = k + l. Is -2/3 equal to m?
False
Let o = 1.34 - -28.66. Do o and -1/4 have different values?
True
Let d = -0.6 - -0.7. Which is smaller: d or -5?
-5
Suppose 35 = 5*k - 50. Does 17 = k?
True
Let h be ((-3)/(-2))/(9/48). Which is smaller: 9 or h?
h
Let f = -194 - -192. Suppose -2*l = 3*l. Is l bigger than f?
True
Suppose 7*l - 4*l - 2*q = -60, 0 = 4*q. Let s = l - -13. Let v be (s/(-4) - 2)*10. Is -3 bigger than v?
False
Let z(g) = -g**2 + 9*g - 9. Let n be z(8). Let o = 3 - -6. Let k be (2 + o/(-5))*1. Which is greater: n or k?
k
Let f = -1 + -8.1. Let n = -9 - f. Which is bigger: n or 2/3?
2/3
Let o = 10/33 + -71/561. Is o at least 0?
True
Let x = 319/6 - 1897/36. Let q = x + -2/9. Let h = 50 - 103/2. Are q and h equal?
False
Let h be -8 - (-1 + 1 + 0). Let z be (-6)/h*(-4)/6. Which is smaller: z or -0.3?
z
Suppose g + 4 = 2*g. Suppose -3*x = -5*x - g. Let f = 5 - 8. Which is bigger: f or x?
x
Let x be 9/(-7) - -1 - 1352/(-1547). Is 2 less than or equal to x?
False
Let g = -3.1 - -3. Let a be (-24)/15 + 2 - 0. Which is smaller: g or a?
g
Let g(y) = -y**2 - 3*y + 4. Let f be g(-4). Which is bigger: 2 or f?
2
Let j be (((-1)/(-1))/(-2))/(5/(-2)). Which is smaller: -0.8 or j?
-0.8
Let u be 4*2/(-3 - 25). Which is greater: 1 or u?
1
Let s be (-2)/36*(1 - 2). Suppose -4 = -0*w - 4*w. Is w equal to s?
False
Let b = -0.021 - -0.421. Is b < 0?
False
Let g = 100 + -98. Let m = 2 - 1. Is g equal to m?
False
Let x(h) = -h**2 + 13*h - 7. Let y be x(12). Which is bigger: y or 3?
y
Let l(z) = z**3 + 9*z**2 + 2*z + 12. Let u be l(-9). Let s(d) = d**2 + 5*d - 7. Let k be s(u). Let t be 0 + -2 + (-51)/(-21). Which is bigger: k or t?
t
Let b(k) = -5*k**3 + 16*k**2 + 21*k. Let y(x) = -2*x**3 + 8*x**2 + 10*x. Let n(d) = -3*b(d) + 7*y(d). Let c be n(-7). Which is smaller: c or 2/11?
c
Let y(m) = -m**3 - 13*m**2 - 12*m + 1. Let h be y(-12). Let s = 109/4 - 53/2. Is h < s?
False
Let k = -6 - -10. Suppose d - 2*v - 3 = -1, 4*v - k = 0. Is d <= 6?
True
Let x(d) = d**3 - 7*d**2 + 4*d + 6. Let n be x(6). Let j be (4/n)/(328/(-24)). Is 0 equal to j?
False
Let i be 4 - 4/24*26. Let h = 10 - 9.1. Let v = h - -0.1. Is i less than v?
True
Suppose -12*f - 8 = -4*f. Which is smaller: 13 or f?
f
Suppose 105*y - 107*y = -2. Is y at least 1/101?
True
Let j = 13.1 + -13. Is 2/29 greater than j?
False
Let p = 20 - 8. Is p at least as big as 12?
True
Let h(b) be the first derivative of b**4/4 - 2*b**3 + 2*b**2 + 3*b - 3. Let u be h(5). Let t = u + 2. Which is bigger: 4/7 or t?
4/7
Let j = -0.9786 - 0.0214. Let q = 7.07 + -0.07. Which is smaller: j or q?
j
Let g be (-1*0/1)/(-2). Let n be (-4)/8*(-11)/((-165)/(-6)). Are g and n non-equal?
True
Let f be (-1)/1 - (1 + 84 + 2). Is -88 less than f?
False
Let w(g) = g**3 - 3*g - 3. Let v be w(-2). Do v and -7 have different values?
True
Let z(n) be the second derivative of 3*n - n**2 + 1/6*n**3 + 0. Let y be z(3). Is y at most 1?
True
Let t be (-23)/5 - ((-63)/(-15))/(-7). Is 0.1 at least t?
True
Let m = -0.2 - -0.6. Let o(s) = 8*s**2 - 3*s + 2. Let d be o(1). Suppose -3*t + d*t = 0. Is m <= t?
False
Let h = 24 + -10. Let w be (-30)/(-385) + 4/h. Which is smaller: w or -1?
-1
Let t = -1.36 - -1.51. Which is smaller: -3 or t?
-3
Let m = -46 + 45. Is m != -2/95?
True
Let g = -28 - -25. Let k = g - -3.4. Is -0.1 greater than k?
False
Let n be 3/(-4) + 1/((-1)/(-1)). Which is smaller: n or -0.08?
-0.08
Suppose o + 2*o - 4 = 2*k, 5*o - 10 = 5*k. Let v(j) = 2*j**2 + j - 1. Let m be v(1). Suppose -3*r = m*i + 15, -2*i = 2*r + 15 - 3. Is i < o?
True
Let r be (-8)/14 + -7 + 7. Which is bigger: 0.3 or r?
0.3
Suppose 0 = -3*p - p - 3*v - 4, -3*v - 12 = 0. Suppose -k = -p*k. Is k less than or equal to 2?
True
Let s = -0.21 - -1.31. Let j = 1 - s. Which is smaller: j or 0?
j
Let s be 1*(-2 + 5)/3. Is -2/7 at most s?
True
Suppose 7*q + 40 = 2*q. Is q != 1?
True
Suppose -3*j = -2*j. Let b be (5/(-10))/((-1)/6). Let h = b + -3. Are h and j nonequal?
False
Let h = 23 + -15. Suppose 0*o + h = o - 3*k, 4 = -2*k. Is o <= -1?
False
Let r = 0.2 + -1.2. Let v = 0.8 + -1.2. Let s = v - 1.6. Is r < s?
False
Suppose y + 1 = 26. Suppose 3*z = -4*m + 6*m + 9, -5*m + y = 2*z. Is m at most 11/5?
False
Let u = 514/9 + -2813/45. Which is smaller: u or -5?
u
Suppose 3*x - 4*c = -56, -3*x - 4*c - 84 = x. Let l be 4/(-10) + x/(-175). Which is smaller: 0 or l?
l
Let d be 3249/38 - 6/4. Is d at least 83?
True
Suppose -84 = -4*n + 4*s, -5*n + 0*n + 93 = s. Let l = -15 + 33. Which is bigger: l or n?
n
Let a = 0 - -1. Let q = 8 - 13. Let y be 2/(-4)*(-2)/q. Is y bigger than a?
False
Let t be (6/21)/((-2)/(-14)). Let d = -13/6 + t. Which is smaller: d or 0?
d
Let f be 2/7 - 27/21. Let a be ((-20)/15)/(f/(-6)). Let u = 6 + a. Which is greater: 1/3 or u?
1/3
Let c be (-14)/(-3)*(7 - 4). Let r be ((-1)/(-2))/((-2)/c). Let k = r + 4. Which is bigger: k or 1/4?
k
Let u(r) = -r**3 + 7*r**2 - 4*r. Let d be u(4). Suppose d = 4*n - 5*m, 0 = -3*m - m - 16. Is n bigger than 3/2?
True
Let r = -2 - 1. Let x = 3.12 + r. Let w = x - 0.02. Which is smaller: w or -1/7?
-1/7
Suppose 26 = -3*u - t + 66, 3*t = 5*u - 48. Let r = -8 + u. Suppose 4*v + 10 = -5*w - 0, 0 = r*v - 3*w - 6. Do v and 0 have the same value?
True
Let i = 1/69 - 25/138. Let y = -13/3 + 17/3. Which is smaller: y or i?
i
Let s = -0.138 + 7.088. Let y = s - -0.05. Which is bigger: y or 1?
y
Let m = -894 + 31301/35. Let a = -2/105 - m. Let l be 1 + 1/3*-5. Which is smaller: a or l?
l
Let n be (-285)/235 + 2/2. Let z = n + -383/188. Which is bigger: -3 or z?
z
Suppose 3*j = 2*j + 2. Suppose -j*z = -2*n + 6*n - 14, 3*n = 9. Let m = 0.3 + -0.1. Are z and m non-equal?
True
Let d = -25/24 + 3/8. Which is smaller: d or 0.095?
d
Let z = 1447/6 + -239. Are 1 and z non-equal?
True
Let p = 1129/77870 + 42/599. Let y = p - -3/26. Is y > 0?
True
Let t = -23 + 26. Let i = -4 - -6. Let v(y) = y**2 - 2*y + 3. Let p be v(i). Is p equal to t?
True
Let r = -15 + 14.9. Let p be 0 + 3 + -1*2. Is p > r?
True
Let l = -10 + 14. Let w(z) = z**2 - 3*z - 4. Let g be w(l). Do g and -2 have the same value?
False
Let o(i) = -3*i + 9. Let r be o(-7). Let a be (-4)/12 - 242/r. Let n = 161/15 + a. Is 2 less than or equal to n?
True
Let y = -47 - -34. Is -10 at least as big as y?
True
Let g be (-13)/2 + (-5)/(-10). Let p = -8 - g. Is -1 equal to p?
False
Let b(z) = z**2 + 9*z - 10. Let g = -27 - -17. Let y be b(g). Let u = 4 + -3.7. Is y bigger than u?
False
Let l(w) = 2*w. Let c be l(-2). Let g be (c/6)/((-2)/6). Is 3 not equal to g?
True
Let y(x) = -2*x**2. Let p be y(-3). Let k = p - -52/3. Is k at least -4/11?
False
Let h = -2/49 - -57/196. Let c be ((-4)/(-2) + 0)*3. Let r be 2/3 - (-2)/c. Is h less than or equal to r?
True
Let h = 53 - 53.3. Let u = 0 - 1.8. Let w = -2 - u. Is w at most as big as h?
False
Let y(n) = -n**3 - 7*n**2 + n + 6. Let o be y(-7). Is o > 0.25?
False
Suppose 2*j - 5*t = -2, 2*j + t = 