+ 0.077. Let j = w + 10.4. Is j <= -31?
False
Let o = 1037 - 963. Is 5 at least o?
False
Let b = 0.0662 + 0.1338. Which is smaller: b or -0.03?
-0.03
Let f = 0.08 + -0.02. Let s = f + 2.94. Which is bigger: -1 or s?
s
Suppose 0 = -t + 5*w + 1, 6 = 4*w + 2. Suppose -3*z - 3 - 1 = 2*y, 0 = -3*z + 3*y + t. Which is greater: -2/35 or z?
z
Let k = -1 - -12. Let p = -16 + k. Let x be (-2)/(-18) + p/15. Which is smaller: 0 or x?
x
Let q = -1538 - -1704. Which is smaller: q or 4/7?
4/7
Suppose 12 = 3*v + 4*a, 6*a + 8 = 2*v + 2*a. Let i be 35451/105 + v/(-20). Let p = -338 + i. Which is bigger: 0 or p?
0
Suppose 2*t = 5*f - 234, -4*t + 4*f = -0*t + 468. Which is bigger: -116 or t?
-116
Let c = -118 - -205. Let r = c + -82. Which is smaller: r or 22/5?
22/5
Let n = 1.81 + 0.09. Let j = -2 + n. Let t = 13.8 + -14.8. Is j at most t?
False
Let n(h) be the second derivative of -1/2*h**2 + 0 + 1/12*h**4 + 1/6*h**3 - 1/20*h**5 + 3*h. Let v be n(0). Is v at least as big as -7/6?
True
Let x(v) = -v**2 + 10*v - 4. Let h be 1 + -1 - 36/(-4). Let l be x(h). Let i be (-2 + 7)*(-3)/l. Which is smaller: i or 0?
i
Let r be -13*(-13)/(338/4). Let d(o) = o + 3. Let m be d(-6). Let t = m + 2. Is r greater than or equal to t?
True
Let t = 314 + -317. Is t at most as big as 8?
True
Let w = 56.143 - 1.143. Suppose -2*q - 1 = 1. Which is smaller: w or q?
q
Let t = 44 + -43. Let i = 45 + t. Which is bigger: i or 0?
i
Let z be (-36)/(-21) + -2 - (-780)/(-700). Do -1 and z have the same value?
False
Let f(a) = 73*a + 2200. Let g be f(-31). Let d = -59 - 6. Is g at most as big as d?
False
Let y be ((-7)/196*14)/(1 + 6/(-4)). Let l = 2/399 - -740/11571. Is y smaller than l?
False
Suppose 0 = 5*q - 23 - 12. Suppose m + q = 49. Suppose 8 = -5*n - m. Which is smaller: -9 or n?
n
Let s = -9/316 - -107/2370. Which is bigger: s or 0?
s
Let q be 4/1*(1 + 125/(-130)). Is q not equal to 0?
True
Let i = -24 - -24.18. Let a = -3/67 + 155/469. Is i less than a?
True
Let z be 20/4 - (-175)/(-7). Let x be (16/z)/(4/(-20) - 1). Which is smaller: -2/3 or x?
-2/3
Let u = 61 + -22. Let t = 22 - u. Let k = t - -9. Which is smaller: 0 or k?
k
Let q = 45 - 45. Let k be 216/1030 + (-3)/15. Is q equal to k?
False
Let g(i) be the second derivative of i**4/12 - i**3 - 8*i**2 + 14*i. Let u be g(7). Is u bigger than -12?
True
Let t = -711.7 - -712. Is t bigger than -9?
True
Let y = -0.0365 + -0.0635. Is -0.7 at most y?
True
Let z(f) = f**3 - 21*f + 12. Let g be z(7). Which is bigger: 209 or g?
209
Suppose 0 = 3*n - 6, -b + 2*n = -6*b + 19. Is 0 at most b?
True
Suppose -2*f = -947 - 141. Is 544 less than or equal to f?
True
Suppose -4*i = 2 + 62. Let u(p) = -p**2 + 4*p + 23. Let f be u(7). Suppose -f*q = x + 23, -q = -3*x - 3*q - 53. Is i greater than x?
False
Let u = 261.869 - 262. Let f = u - -0.131. Let i = -2 + 2. Is f smaller than i?
False
Let q = -282 - -261. Are -23 and q equal?
False
Let n = -1213 + 1850. Let q = 36307/57 - n. Suppose 0 = -5*k + 2*z - 2 + 3, 4*k + 5*z - 14 = 0. Which is smaller: q or k?
q
Let p be ((-416)/10)/((-125)/(-3125)). Is -1041 at most as big as p?
True
Let m(b) = b**2 - 3*b + 6. Suppose 5*j + 34 = 9. Let i be m(j). Is 46 greater than or equal to i?
True
Suppose -5*m + g + 2598 = 0, 4*m + 16*g - 15*g - 2073 = 0. Is 519 less than m?
False
Suppose -2*o - 20 = -0*o. Let i = -53 - -52. Let y = i - o. Which is bigger: y or 8?
y
Let w = 37692/7 - 202673/42. Let l = -559 + w. Which is smaller: -1 or l?
-1
Let b(y) = -y**3 - 5*y**2 + 4*y + 5. Let t be b(-6). Let d = 21 + 8. Suppose k - d = -2*q + 2*k, 2*k = 10. Is q greater than or equal to t?
True
Let x = -59 - -99. Suppose 37*a = x*a + 3. Which is greater: -5/3 or a?
a
Let w = -16.9864 - 0.0136. Which is greater: -7 or w?
-7
Let d = -20 + 8. Let n be (-23)/(-46)*(-3 + 1)*11. Is d > n?
False
Let c = -37 + -7. Let m be (c/(-6))/((-4)/(-6)). Suppose 2*x = 4*j - 3*j + m, -2*j - 3*x = -13. Which is bigger: 2/33 or j?
2/33
Let x = -141 - -86. Let u = x + 54. Which is smaller: u or -2/59?
u
Let h = 465562/11 + -42296. Is 29 at least h?
True
Suppose 0*s - 16 = -4*s. Suppose -s*t - 12 = -8*t. Is 3 > t?
False
Let h be (-6)/9*-15 + -2. Is 146/19 greater than h?
False
Let f = -34.6 - -5.6. Let u = -30.1 - f. Let z = u + 0.1. Which is smaller: z or 0?
z
Let b be (-4)/6*5/10*3. Suppose 0 = 4*h + h. Suppose h*d - 3*d = -3*f + 6, 2*d - 6 = -3*f. Is f at most b?
False
Let r = -1.95 + -0.05. Let t = -1.9 - r. Let f = -6.1 + 8.1. Do f and t have the same value?
False
Let k = 1452 - 1074. Are k and 377 unequal?
True
Let i = -919 + 1446. Is 526 not equal to i?
True
Let z = 872/14763 - 2/399. Is z smaller than -6?
False
Let a = 0.0918 - 114.0918. Is a smaller than 0.1?
True
Let a = -0.028 + 23.028. Let z = -26 + a. Let i be ((-6)/(-4))/((-3)/(-4)). Which is smaller: i or z?
z
Suppose -4*b - 2*n = -4, -10 = -5*b + 5*n - 5. Is -7/24 greater than b?
False
Let t be (20/6)/((-8)/(-12)). Let k be (0 - -5)*15/t. Let b be (24/20)/(42/k). Is b <= -1?
False
Let f = 31.609 + -31.909. Let i(x) = 3*x + 2. Let u(d) = 2*d + 1. Let g(b) = 4*i(b) - 5*u(b). Let z be g(-2). Are z and f equal?
False
Let n be 42/105 - (-4)/(-10). Is 2/297 at least n?
True
Suppose 72*t - 96*t - 4632 = 0. Is -193 != t?
False
Let m = 110/51 - 598/561. Let f(o) = -o**2 - 6*o + 1. Let k be f(-6). Which is greater: k or m?
m
Let t(w) be the third derivative of w**6/120 - w**5/10 + w**4/24 - 7*w**3/6 - 11*w**2. Let m be t(6). Let n be (7 + -11)*m/4. Which is smaller: n or 2/21?
2/21
Let m(u) = -2*u**2 + 28*u - 248. Let l be m(11). Is l smaller than 1?
True
Let u be (-400)/(-224) + 6/(-21). Which is smaller: -21/4 or u?
-21/4
Let c = 6 + -3. Suppose y = -4*v + 12, c*v = y + 8 - 6. Suppose -v*n - 10 = 2*f + n, -10 = 5*n. Which is greater: f or 0?
0
Let t = 48.11 - 0.11. Let u = 42 - t. Which is bigger: 6 or u?
6
Suppose 3*n - 9 = -3*m, -3*n + 7*n = -2*m + 2. Suppose 2*t + m = -3*k, 4*k - 1 = -5*t - 3. Suppose -21 = 3*q + 5*f, -t*f - 4 - 3 = q. Which is smaller: -9 or q?
-9
Let r(g) = -3*g**3 - 89*g**2 - 53*g + 64. Let w be r(-29). Which is smaller: -79 or w?
w
Let x be 20/25 - (-79)/(-5). Let p = 16 + x. Which is greater: p or -1/2?
p
Let k = 23742/53 + -448. Let w(m) = m + 1. Let c(h) = h**3 - h**2 + 4. Let x(s) = -c(s) + 3*w(s). Let j be x(2). Which is smaller: k or j?
k
Let m = -103 - -38. Suppose 5*j = -4*l - 354, -288 = 4*j - 234*l + 238*l. Which is smaller: m or j?
j
Suppose 5*k = -s - 7, -2*s - 19 = -50*k + 55*k. Is -12 > s?
False
Let t = -0.174 - -16.274. Let g = -3.3 - t. Let k = g - -20. Is 0.2 at most as big as k?
True
Let w be (-3)/(3/6*21). Suppose -2*h + 14 = 3*m - 10, -m = -4. Suppose -3*q = -2*q + h. Is q != w?
True
Let a be 10/5 - 0/(-2*1). Suppose a*g + 2*g + 12 = 0. Which is smaller: -5 or g?
-5
Let r = 25 + -24. Suppose 9*n - 12*n + 42 = 0. Is r < n?
True
Suppose -4*l - 4 = 3*f + 5, 5*f + 2*l = -1. Let t be ((-70)/(-21))/(-10) + 14/40. Are t and f nonequal?
True
Let d be 88/6 + (-55)/15. Which is greater: 149/12 or d?
149/12
Let u = -874 - -796. Is -78 smaller than u?
False
Let r = -135 + 71. Let h = r + 123. Is 61 greater than h?
True
Suppose -3*y = -0*y + 12. Let q(n) = n**3 - 3*n - 1. Let r be q(-2). Let b be (r - 0)*(-1)/(-7). Are y and b nonequal?
True
Suppose 40*s + 45 = -5*s. Is s equal to -4/127?
False
Suppose -5*t + 0*w + w + 19 = 0, 2*t = -4*w + 12. Suppose -4*a + 3*o = -0*a - 7, 4*a + t*o + 28 = 0. Which is greater: -27/8 or a?
a
Suppose 2*u - 149 = -151. Which is smaller: u or 1/93?
u
Suppose -s + 30 = -2*m - 239, 2*s - 5*m - 543 = 0. Does 260 = s?
False
Let u = 10.1 - -14.9. Which is bigger: u or -2?
u
Let o = -2 - 3. Let n(p) = -p - 6. Let i be n(o). Let a be -3*(-4 - 50/(-12)). Is i smaller than a?
True
Suppose 74*m - m + 73 = 0. Let p = -26 + -4. Which is bigger: p or m?
m
Let r = -19.982 - 0.018. Let l = r + 6. Let d = 17 + l. Is d greater than or equal to 3?
True
Let f = -88 + 125. Let s = f + -37.5. Which is smaller: s or -2?
-2
Suppose 5 = 5*z, 3*u - 9 = 2*z - 2. Suppose -2*g - 18 = -3*g - u*c, -3*g - 2*c = -61. Is 21 at least g?
True
Let v be (-20)/60 - 1/(-3). Is v at least 1/48?
False
Suppose 0 = z - 3*g - 16 - 1, -3*z - 4*g + 64 = 0. Let d be (z/35)/((-6)/(-7)). Is d smaller than -8?
False
Let k = -1.8 - -2. Suppose -10*r + 27 = 7. Suppose 5*f = -4*o