. Is m <= 17?
False
Let d = 0.06 + 0.04. Let t = -0.3 + 0.4. Let w = -0.9 - t. Which is smaller: d or w?
w
Let j = 14.7 + -15. Let f = 3.1 + -3. Let o = j + f. Which is greater: o or 1?
1
Let q be 1/((-100)/52 - -2). Let t(n) = -n**3 + 8*n**2 + 12*n - 13. Let c be t(9). Is c bigger than q?
True
Let v(u) = 3*u**2 + 4*u. Let m be v(-3). Let y be (-3)/(-2)*40/m. Let x be -1*-2*(-2)/y. Is -1 >= x?
True
Let t = -1 - 2. Suppose v = c - 7, 3*v + 0 = -3*c - 9. Suppose 0 = -2*g + c*x - 6*x - 22, g + 23 = -5*x. Is t less than g?
False
Let p = -18/41 - -349/328. Which is bigger: 2 or p?
2
Let l be (-4)/10 + 16/(-10). Let s = -1 - -1. Let f = -2 + s. Does f = l?
True
Suppose 0 = m, 15 = -0*n - 5*n - m. Which is smaller: n or -2?
n
Let r = -14 - 5. Let f = r + 12. Let k = 6 + f. Which is smaller: k or 1?
k
Let v be 1*(2 + 0 + 4). Let b be ((-3)/12)/(v/8). Which is smaller: b or -1?
-1
Let h(n) = 3*n + 21. Let c be h(-9). Is c greater than -5?
False
Let x = -10481/15 - -699. Which is smaller: 0 or x?
0
Suppose 5*r - 51 = -4*q, -5*r - 33 - 30 = -2*q. Suppose 3*i - 7 = -3*u - q, 2*u + 4*i - 2 = 0. Which is smaller: u or -10?
-10
Suppose 3*z = -0*z + 6. Suppose p - 5*i = 0, -z*i = -6*p + 3*p. Which is smaller: p or -1?
-1
Suppose o + 4*q = -18, 0 = -2*o + o + q - 38. Let z = -22 - o. Suppose 5*v - 2 = -z. Which is smaller: v or -2/3?
v
Let g = -22 + 32. Do -1/4 and g have the same value?
False
Let j(s) = s**2 + s + 994. Let y be j(0). Let d be 6 + -8 + y/(-11). Let l = 92 + d. Which is smaller: 1 or l?
l
Let i = -26107/3 + 8853. Let k = i + -149. Which is greater: 1 or k?
k
Let s(w) = w**2 - 4*w + 1. Let d be s(3). Let o be 0 + d*(-3 - -2). Let l be o/8 + (-2)/4. Is 0 bigger than l?
True
Let a(m) = m - 6. Let t be a(7). Let f = t + 20. Let u be (-27)/f + 2/7. Is 2/17 at most as big as u?
False
Let q(d) = -d**2 + 9*d - 5. Let l be q(8). Suppose l = -2*n + n. Is n smaller than 0.2?
True
Let i = 43955 - 1626230/37. Let f = i - 5125/111. Let w = 43 + f. Is 1 at least w?
True
Let i be (1 - 2) + 0 + -2. Which is bigger: i or -1?
-1
Let h be (-3)/12*84/(-15). Is h not equal to 1?
True
Let f(x) = x**3 - 6*x**2 + x - 2. Let t be f(6). Let w be (2 + 0 - -1)/(-1). Let y = w + t. Do y and 2/7 have different values?
True
Let f = -6 - -10. Let m be f/18 - (-11)/(-9). Which is smaller: m or -5/4?
-5/4
Let g = -203 - -1009/5. Let s = -6 + 6. Which is smaller: s or g?
g
Let p be (1/(30/(-102)))/(2/5). Which is greater: 0.2 or p?
0.2
Let o = 13 + -18. Let m be o/(-10)*2/1. Which is greater: m or -3/7?
m
Suppose l + 5*u + 72 = 2*l, l + 5*u = 122. Let y be 1 + ((-2049)/21 - 0). Let t = y + l. Is t bigger than -1?
True
Let c = 20.1 - 20. Is c smaller than 0.03?
False
Let t be (4 + -5)*(1 - 1). Do t and 5/6 have different values?
True
Let x be (42/35)/(1*2). Suppose 2*o - j = 0, -2*j + 2 = -3*j. Let r = o + 3. Which is smaller: r or x?
x
Suppose 5*l = 1 - 6. Let g = -11 + 0. Let i be 2/(-5) - g/(-10). Is i < l?
True
Let z = 54 - 59.24. Let t = z - -5. Let o = 0.04 + t. Is -0.2 != o?
False
Let q(d) = 7*d**2 + 5*d + 3. Let n be q(-1). Which is bigger: n or 19/3?
19/3
Let w be -3*(-1)/(-1 - -4). Let m = 1 + w. Which is bigger: m or 1?
m
Let x = -19 + 18. Which is bigger: x or -1/106?
-1/106
Suppose -3*r = r + 12. Let n(t) = -t**2 - t + 2. Let x be n(r). Which is smaller: -3 or x?
x
Let j be -1*(-4)/6*-3. Let c = 26 - 28. Is c != j?
False
Let d = 0.3 + -3.3. Let t = -10 - d. Let l = 6.8 + t. Which is smaller: l or -2?
-2
Let c(p) = p**2 + p - 10. Let k be c(0). Let o = k - -14. Which is smaller: o or 3?
3
Let x be 4/(-8) - 1/(-2). Is 2 greater than x?
True
Let r = -3 - -3. Suppose 0 = -c - r*c. Is c smaller than -1/6?
False
Let u = 0.8 - 11.8. Let h = 17 + u. Let r = h + -4. Which is smaller: 1 or r?
1
Let x be (2/(-5))/(144/(-30)). Is x at least -1?
True
Let j = 5 + -2. Suppose -2*l = 2*n + j*n - 18, 0 = -3*l + n - 7. Let r = 0.2 - 1.2. Is r > l?
False
Let v = 7/5 - 19/10. Which is greater: -1 or v?
v
Let a be ((-18)/24)/((-2)/(-32)). Do a and -11 have different values?
True
Suppose -3*i = -0*i + g - 5, 5*g - 7 = 3*i. Is 1/112 bigger than i?
False
Suppose 2*r + 40 = -4*z, r + 4*r + 28 = -z. Let c be 4/8 + 30/(-4). Which is bigger: z or c?
c
Let b(r) = -r**2 + 2*r - 1. Let m be b(1). Suppose -5*d - 3*f = 1, 6*f = -4*d + 2*f + 4. Let c = 2 + d. Is c >= m?
True
Let l = 78 - 82.1. Let u = -7 + 3. Let o = l - u. Which is bigger: o or 2?
2
Let f = 18049/90 + -401/2. Let q = f + 37/180. Is -2/11 at most q?
True
Let u be (-2)/6 - (-16)/(-24). Is 2 greater than u?
True
Let f = 0 + 0. Let i be (-75)/(-36) - 1 - (-2)/8. Is i at most f?
False
Let j be ((-2)/(-8))/((8 - 3) + -4). Is 3 smaller than j?
False
Let k = -0.06 + 0.26. Which is smaller: k or -0.6?
-0.6
Let k(f) = f + 13. Let m be k(-9). Let j = -1 + m. Suppose -j*d = 3*c, -3*c + 6 = -4*d - 1. Which is smaller: c or 2/11?
2/11
Suppose 2*s + 5*q + 29 = -31, 0 = -2*s - 2*q - 48. Let g be ((-1)/(-14))/(5/s). Which is bigger: g or -1/3?
g
Let a be 1 + (5 - 16/3)*3. Let z be (-6)/5 - (1 - 2). Are a and z non-equal?
True
Suppose 4*a - 7 = -d, 6*a = 7*a - d + 2. Which is smaller: a or 1/40?
1/40
Let f be 4/(-30)*(-9)/6. Suppose -4*a + 20 = -2*k, 2*a - 5*a = -k - 15. Suppose 3*t + 2*t - 5 = k. Which is bigger: f or t?
t
Let m = -0.36 - -1.36. Which is smaller: -2/13 or m?
-2/13
Let p be 42/(-24) - 3/(-4). Let f be ((-2)/1)/p + 7. Is f at least 8?
True
Let l be 3/(9/6) + 134. Let a = l - 682/5. Is a smaller than 0?
True
Let w = -17/9 + 5/3. Let b be ((2/6)/(5/15))/(-1). Is b not equal to w?
True
Let s = 310957/1168 - 4249/16. Let y be ((-6)/5)/((-73)/(-5)). Let w = y - s. Does w = -2?
False
Let n = 57 - 49. Is n bigger than 8?
False
Suppose 1 - 9 = 4*i. Let r = 4 + i. Suppose -2*v + 4*x + 22 = 0, 2*v + 2 = -r*x - 2*x. Which is smaller: v or 4?
4
Let v = -10.1 + 10. Are v and 3 unequal?
True
Let w(c) = -8*c - 3. Let r(i) = 3*i + 1. Let y(x) = -11*r(x) - 4*w(x). Let n be y(-3). Let q(g) = g**2 + 5*g - 3. Let s be q(-6). Is s greater than n?
False
Let s(n) = 2*n - 3. Let c be s(-7). Let z = -13 - c. Is 2 equal to z?
False
Let k = -1 + 3. Let r = -2.2 + k. Is 0.1 bigger than r?
True
Let v(y) = -2*y + 1 + 0*y - y. Let t be v(-1). Let s be (-6)/(1*(-6)/t). Which is bigger: s or 3?
s
Let d be (-80)/30*3/19. Is d less than -1?
False
Let l = -2 - -1. Let m be 1/(-2)*-2*(8 + -10). Which is greater: m or l?
l
Suppose -3*p + 8 = 2. Suppose -5*z = p*d + 14, 0 = -z - 5*d - 5 - 7. Which is greater: z or -1?
-1
Suppose -5*y - 12 = -9*y. Suppose -7 = -y*r - 1. Suppose -r*h + h + 3 = 0. Which is smaller: 2 or h?
2
Let p be (-152)/6*(-33)/22. Which is smaller: p or 40?
p
Suppose -3*x = 4*n + 51, -4*n - 26 = 3*x - 5*x. Let l(b) = b**2 + 9*b - 1. Let z be l(n). Is z bigger than -2/3?
False
Let z = -206/3 + 6389/93. Let i(b) = b + 5. Let x be i(-4). Which is smaller: x or z?
z
Let b be 2*(-1)/4*0. Which is bigger: -3/10 or b?
b
Let k = 0.16 + 0.74. Let r = -0.8 + k. Which is greater: 1/3 or r?
1/3
Suppose -6*y = 2*k - 2*y + 26, -2*k - 2*y = 22. Let a(h) = -10*h**2. Let x be a(1). Is k < x?
False
Suppose 3*f = 3, 4*f + 0*f - 9 = -5*y. Is y less than or equal to 1?
True
Let r(b) = b**2 + 1. Let j be r(1). Suppose -j*h = 6 - 2. Let c be h/7 - (-17)/(-14). Which is bigger: -2 or c?
c
Suppose 4*q = 0, 6*q - 20 = 5*c + 4*q. Is c at most -4?
True
Let t = 0.35 + -5.75. Let o = 9.4 + -10. Let l = t + o. Which is smaller: l or 0.1?
l
Let w = 16 - 6. Suppose 0 = -7*c + 2*c + w. Suppose x + 6 = -c*x. Which is greater: -6/11 or x?
-6/11
Let i = -0.32 - -0.22. Let v(p) = p + 3. Let r be v(0). Suppose -m + r*n = 0, -2*m + 3*n + 0*n - 3 = 0. Does m = i?
False
Let h be -2 - -2*(-4)/8. Let d be (-2)/(-3 + 5 + h). Is d < 1/2?
False
Let v(b) = 7*b - 3. Suppose 4*q = -4*l, -5 = 2*q - 2*l - 1. Let h(c) = c. Let i(z) = q*v(z) + 6*h(z). Let d be i(3). Which is greater: d or -1/4?
d
Suppose 0 = 3*k + 2*v - 2 - 3, 2*v - 8 = 0. Let c be (-9)/6*(-2)/(-3). Let h be (3*c)/(2 + k). Is h != -3?
False
Let r be 1 + (-7)/5 - 256/(-240). Let a = 0 + 0. Which is smaller: r or a?
a
Suppose 0 = 2*w + d - 5, 5*w + 0 - 11 = -2*d. Suppose -g + w = -0. Let i = -21 + 108/5. Which is greater: i or g?
g
Let t = 1.4 - 1.2. Let f = -0.8 - t. Which is smaller: f or -1/6?
f
Let k(c) be the second derivative of -3*