= u, 2*u - 5*f = 13 + 7. Let p be 1*1/(-1 + u). Let l = 66/13 + -304/65. Is l bigger than p?
True
Let h(b) = b**3 + 14*b**2 - 14*b + 18. Let f be (2 - 22/(-4))/(7/(-14)). Let p be h(f). Which is greater: 11 or p?
11
Suppose -3*b + 2*o + 4 = -5, 5*b - 4*o - 17 = 0. Let a = -467/5 + 14467/155. Is b less than a?
False
Let g(j) = j - 6. Let n be g(2). Let h = n + 2. Let a(p) = p**2 + 3*p + 2. Let r be a(h). Are r and -3 equal?
False
Let z be -5*-6*(-12)/(-40). Suppose 0 = -36*p + 32*p + 48. Which is greater: z or p?
p
Let v = -0.037 + 0.237. Is v at least as big as -30?
True
Let m = 1634 + -1779. Which is bigger: m or 1/4?
1/4
Suppose 5*m = -2*f + 33, -2*f - 23 = -3*m - 0*m. Which is smaller: m or -1?
-1
Suppose 0 = 5*n + a - 3*a - 18, -2*a = -2. Let x be (-7 + (-114)/(-18))*3*n. Let j(t) = -t**2 + 6*t - 8. Let d be j(6). Is x not equal to d?
False
Suppose 5*m + 74 = -21. Is m greater than or equal to -16?
False
Let i = -0.15 + 0.25. Let y be (2/(-4))/(3/(-18)). Suppose -v = -y*v + 10. Which is smaller: v or i?
i
Suppose -51 + 126 = 3*l. Which is smaller: l or -1?
-1
Suppose 0*c = -6*c + 24. Let u be (10/20)/((-2)/c). Let m = -416/1023 - -4/93. Which is smaller: u or m?
u
Suppose 3*g - 2*g = 1. Let o be (55/(-30))/((-1)/(-8)). Let y = -14 - o. Which is smaller: y or g?
y
Suppose -f + 5 + 0 = 0, -1293 = -3*k + 3*f. Let u = k + -5680/13. Are -2 and u unequal?
True
Let u be 3/(-15) + 20904/(-180). Is u at least as big as -117?
True
Let r be 10703/7*(-6 - (-6 - -1)). Which is bigger: r or -1528?
-1528
Let j(w) = -w**2 + 4*w + 1. Let a be j(5). Let r be (a - -6) + (0 - 1). Let d be ((-3)/2)/(5 + 13). Which is greater: d or r?
r
Let i be ((-6)/303)/(4/(-529244)). Let d = i - 2620. Is d less than -1?
False
Suppose 4*n + 152 + 212 = -3*r, 3*n - r + 260 = 0. Is n less than -88?
False
Let a be 1*6*(14 + -15). Let q = a - -8. Suppose 5*o + 5*x = 0, -6*o + q = -3*o + x. Which is greater: -1 or o?
o
Let d = -1 + 0. Let k = d - -0.8. Let c = -307/1770 - -2/295. Which is bigger: c or k?
c
Let p(d) = d**2 + 5*d + 3. Let k be ((-10)/15)/(4/18). Let m be p(k). Suppose -2*y - 4*l + 12 = l, -2*y + 4*l - 24 = 0. Which is bigger: m or y?
m
Let f(n) = n**3 + 3*n**2 - 13*n + 9. Let x be f(-6). Which is greater: x or 7?
7
Let b(q) be the first derivative of q**4/4 + 4*q**3 + 6*q**2 + 7*q - 4. Let w be b(-11). Let x be (3/(-2))/(3/w). Is x greater than or equal to 1?
True
Let o be (3/3)/((-10)/(-6)). Let n = 12 - 8. Suppose 0*u = -n*u. Which is bigger: u or o?
o
Let u be 380/20 - (-1)/(2/(-4)). Let r = u + -16. Which is bigger: r or -3/5?
r
Let m(n) = 3*n - 33. Let w be m(-9). Let q = -178/3 - w. Let c be (1*3)/((-6)/(-4)). Is c equal to q?
False
Suppose f - 3*d + 1 = -0*f, -22 = -2*f - 2*d. Suppose f*g = 2*g - 12. Is g equal to -3?
False
Suppose 0 = -3*v + 3*b + 24, 32 = 2*v + v - 5*b. Let x(w) = 6*w - 27. Let u be x(v). Is 1 at most u?
False
Let w = 1.526 - 1.326. Is 464 greater than or equal to w?
True
Suppose -3*h - l = -5*l - 20, 2*h - 3*l - 15 = 0. Is h < 2/4047?
True
Suppose 3*o - 1 = 5. Let v be ((-1)/o)/(1/6). Let b be (2 - 4 - -6) + v. Which is greater: 6 or b?
6
Let l(y) = y + 4. Let d be l(0). Suppose -d*k + x = -2, 14 - 4 = 5*x. Let g be -2 + (-3 + 6 - -1). Which is bigger: k or g?
g
Let n = -10 - -9.9. Let u = -3.4 - 4.6. Are u and n unequal?
True
Let k = 116 - 37. Let d be ((-20)/4)/((-3)/(-47)). Let x = k + d. Is -2 at least x?
False
Let x be ((-12)/(-8))/(21/4*1). Is 232 > x?
True
Let h(i) = i**3 + 21*i**2 + 11*i - 234. Let f be h(-20). Which is smaller: f or -2?
f
Let w = -3.26 - -3.6. Let l = 20.34 - w. Let a = 18 - l. Which is smaller: a or 1?
a
Let q(w) = -w**2 - 11*w - 33. Let s be q(-6). Which is smaller: s or -24?
-24
Let d be -27 - (2 + 13 + -8). Which is smaller: d or -69/2?
-69/2
Let n = 1080.98 + -1081. Is 63 <= n?
False
Suppose 2 = -p - 4. Let f be -31 - 1 - (-7 - p - -4). Which is smaller: f or -36?
-36
Let g = 2 + -3. Let p = 123 + -127. Let v be (167/636 - p/(-16))*-3. Are v and g non-equal?
True
Let r = 73.5 + -71.5. Are r and 30 equal?
False
Let r be (((-2)/(-18))/((-5)/30))/515. Which is greater: r or 1?
1
Let q be (7/14)/((-1)/8). Suppose -3*s + 3*b = -18, -6 = s + 2*b + b. Suppose -s*u + g - 16 = 0, 2*u - 3*g = -0*g - 13. Does u = q?
False
Let y = 54.4 - 3.4. Let v = y - 51.1. Which is smaller: v or 17?
v
Suppose 3*v - 40 = -4*k, 5*k - k = -5*v + 40. Suppose 0 = 6*u - k - 8. Which is bigger: u or -1/3?
u
Let o = -37 - -4. Let t = o - -33.04. Let u = -5.96 - t. Is u less than -1?
True
Let v = 21 + -18. Suppose 57 - 267 = v*t. Let i = 922/13 + t. Is i at least 2?
False
Suppose 5 = 5*s - 4*s. Let g(p) = -3*p + 3 - 1 + 5. Let b be g(s). Which is smaller: -15/2 or b?
b
Let d = -2/13 - -47/52. Let j(w) = -w**2 - 76*w + 765. Let z be j(9). Is d equal to z?
False
Let g be (-10)/4*(-52)/(-65). Let k be 4/g*45/(-18). Suppose 0 = -k*u - 10, -u - 2*u + 12 = -3*m. Is m less than -5?
True
Suppose 5*f + 6 = 5*u - 29, u + 5*f - 13 = 0. Suppose 4*k - 30 = k. Let l be ((-4)/(-3))/(k/(-15)). Is u less than or equal to l?
False
Let y(f) = -f**2 - 7*f - 3. Let g be y(-4). Let m be (-12)/g*(-3)/(-25). Which is smaller: m or -1?
-1
Let n = -8 - -7. Let o be n - (-1 + 2)*-2. Which is bigger: o or -1/53?
o
Let h = 909/11 + -124577/1507. Which is bigger: -1 or h?
h
Let z = 0 - 3. Let o = -9 - z. Let b = -1.7674 + -0.2326. Is o smaller than b?
True
Let m(s) = -8*s**2 - s - 1. Let r be m(-1). Let u be 45/6 - (-4)/r. Let c = 17 + -9. Is c < u?
False
Let l be 3*4/6 - 0. Let x be -8 + ((-161)/(-15) - (-8)/12). Are x and l non-equal?
True
Let u(p) = -p**3 + 15*p**2 - 12*p - 20. Let x be u(14). Suppose -v = -5*v - x, 4*i - 4*v = 8. Which is greater: i or 2/187?
2/187
Let d = 272.72 + -273. Suppose 4 = 5*a - 7*a. Which is greater: d or a?
d
Suppose -4*z - 2335 = -6335. Let y = z + -47002/47. Is 0 at least y?
True
Let s = -4 - -7. Let n be (-2 + s)/(2/18). Let w be n/(-24)*4/(-36). Do w and 0 have different values?
True
Let c = 0.7 - 0.8. Let p(s) = s + 1. Let v be p(1). Let o be (v/(-16))/((-2)/4). Which is bigger: o or c?
o
Let y be -2 - 5*3/2. Let b(t) = -t**3 - 2. Let n be -2*4/(1 + -5). Let u be b(n). Which is smaller: u or y?
u
Let n = -81 - -157/2. Is n bigger than -2/5?
False
Let z = 30 - -42. Let g = z + -73. Which is smaller: g or 73?
g
Let f be 168/32*(-7)/(147/224). Do -56 and f have the same value?
True
Let r be (12*(-14)/(-112))/((-2)/4). Is -0.255 less than r?
False
Let b = -1/94 - -49/188. Let x = 1 + -1.7. Let w = x + -0.3. Which is greater: w or b?
b
Let p = -14 + 13. Let r be (p/(-4))/(15/(-40)). Which is smaller: -40 or r?
-40
Let k = 9.47 - 1.47. Are k and 1/29 equal?
False
Let k = -22 - -22.023. Let h = 12 - 11. Is k less than h?
True
Let c(v) = 4*v + 8. Let i be c(-2). Do 2/261 and i have the same value?
False
Let u = 1.5 - 2.9. Let p = 1.8 + u. Suppose -q + 1 = -0. Which is greater: p or q?
q
Let o(w) = 5*w**2 - 62*w - 419. Let y be o(-6). Which is bigger: 928/7 or y?
y
Let w(g) be the first derivative of -4*g**2 + 1/3*g**3 + 6*g + 4. Let c be w(7). Is c not equal to -3?
True
Suppose 0 = 25*t - 23*t. Suppose t = 5*y - 106 + 11. Which is greater: y or 0?
y
Suppose -5*y + 25 = 5*q, q + 3 = -y - 2*y. Let l(f) = f**3 - 9*f**2 + f - 9. Let k be l(q). Which is smaller: 7/9 or k?
k
Let z = 129.58 + 1.42. Let c = -132 + z. Which is bigger: c or -44?
c
Let r = 0.7 + -6.7. Let n = 5 + r. Let w = 7 + n. Is 1 >= w?
False
Suppose a + 5 = 9. Let k(d) = -d**3 + d**2. Let m be k(2). Let c = -2 - m. Is c >= a?
False
Let a be (-3)/((-165)/22)*(-5)/(-2). Is -10/41 greater than or equal to a?
False
Let q(s) = s - 2. Suppose 5*x = 0, 2*d - 2*x - 2 = 2. Suppose 0 = -d*o + 1 + 1. Let z be q(o). Is 6/13 smaller than z?
False
Let r = 10 + -8. Suppose r*t - 2 = 3*t. Let q be (-2 + 1 - t)/(-1). Which is smaller: q or 1/4?
q
Let q = 69 - 68. Which is smaller: 28 or q?
q
Let b = -0.257 - -0.327. Which is greater: 1 or b?
1
Let i be (1200/(-460))/20*2/(-3). Let j = -1 - 0. Is i at most as big as j?
False
Suppose 3*d + 29 = 2*t, -4*d - 2 = -t - 0. Suppose 0 = 9*c - t - 104. Let j = -26 - -40. Is c not equal to j?
False
Let g(r) be the first derivative of r**3/3 - 11*r**2/2 + 12*r - 4. Let n be g(9). Let q be 78/(-22) + n/(-2). Which is smaller: -3/4 or q?
-3/4
Let d be ((-