3*j + 3*f - 2*f - 14 = 0, 0 = 2*j + 2*f - 4. Let n(d) = -d**2 - 6*d + 5. Let h be n(-6). Let a = h - j. Which is greater: a or 1/9?
1/9
Let q = -22 + 22. Suppose 2*g - 5*g - 20 = 5*r, q = 4*g - r - 4. Is g equal to 4/43?
False
Let u be -2 - ((-210)/11)/3. Let v be (209/66)/(-19) + (-19)/(-6). Do v and u have different values?
True
Suppose -4*r + 4*b = -16, -b = 3*r - 2*b - 4. Let y be (2 + r)/(-2)*(1 - 2). Let j = 186/5 - 741/20. Which is smaller: y or j?
j
Suppose -33*f + 3*i = -35*f + 1972, 0 = 3*f - 4*i - 2924. Is f <= 979?
False
Let i be 9*(-34)/(-459)*6/(-8). Is -0.085 < i?
False
Suppose 3*u - 4*r - 281 + 46 = 0, u - r = 78. Suppose 4*h + u = -107. Let g be h/30 - 11/(-33). Which is smaller: -1 or g?
g
Let r be (-1 - (1 + -5)) + -3. Let s = -2 + 0. Do r and s have different values?
True
Suppose -6 + 0 = -2*m. Suppose 0 = 3*y + m - 9. Suppose 0 = 6*s - y*s - 12. Which is bigger: s or 1?
s
Let f = 34.49 + -34. Let a = -14.41 - f. Let c = a - -15. Which is bigger: -3/10 or c?
c
Let j be 22/14 + -1 + 33285/147. Is j greater than or equal to 227?
True
Let u be (-23 + -16)*(-2)/6. Do 72/5 and u have different values?
True
Let x = 78002858/2683 + -29073. Which is greater: x or -1?
x
Suppose -4*m = -4*j - 8, -2*m + 11 = 4*j - 17. Let u be (-11)/77 - m/(-14). Are u and -1 nonequal?
True
Let t(l) = l**3 + 13*l**2 + 10*l - 10. Let w be t(-12). Is w at least 13?
True
Suppose -2*p + 4*l = -8, 0 = 2*p + l + l - 32. Let t = -7 + p. Suppose z = -t*y + 98, 5 = y - 4*z - 23. Which is bigger: y or 19?
y
Let y be 8/32 - (-3)/4. Let r = y - 6. Suppose 0 = -3*w + 3*v - v - 28, -4*w + 3*v = 39. Is w greater than r?
False
Suppose -3*l - 16 = 5*y, -3*l - 5*y - 13 = l. Is l < 79?
True
Let d be (-9)/(-3) - (-344)/(-115). Is -1 != d?
True
Let i be 231/(-24) + (-6)/(-72)*6. Do i and -8 have the same value?
False
Suppose 264 = 5*z + 2*y, -y = 6 - 3. Is 11 < z?
True
Suppose -6*p = -5*p - 6. Suppose 0 = -p*t + 7*t. Which is greater: t or 1/5?
1/5
Let c be (4/(-5))/((-7)/385). Let x be 1/c*4*-4. Is x bigger than -1?
True
Let j(d) = -d**2 + 36*d - 138. Let t be j(35). Is t at least -100?
False
Let v = -19 - -23. Suppose 0 = -v*c - 0*c. Let a = 0 - -1. Is c greater than a?
False
Let k = 1031 + -892. Is k at least 139?
True
Suppose 4*u = 73 + 3. Let v = 11 - u. Which is smaller: -17/2 or v?
-17/2
Let q = 1.6 - 19.6. Let h = q - -13. Let l = 4.2 + h. Is 0.1 bigger than l?
True
Let k(d) = -2*d**3 - 35*d**2 - 117*d + 3. Let n be k(-13). Which is smaller: 66/17 or n?
n
Suppose z - 6 = -2. Suppose k - 3*k = 5*b - 22, 2*k + 14 = z*b. Let s be (4/(-28))/(6/(-77)). Which is smaller: k or s?
k
Let u be 15*(-2)/((36/46)/3). Which is smaller: -114 or u?
u
Let s = -1230 - -1230.4. Which is bigger: s or -0.194?
s
Let v be ((-5)/2 - -2)*0. Let n = 5 + -1. Suppose f - 3 = n*f. Which is smaller: v or f?
f
Let w be (-212)/((-63)/(-6) - 10). Is -1276/3 < w?
True
Let d = 0.4 - 0.5. Let c = 3753 + -101315/27. Let j = c - 166/189. Which is smaller: d or j?
j
Let a = 163 + -499/3. Let c(o) be the second derivative of -o**5/20 + 7*o**4/6 - 13*o**3/6 + o. Let x be c(13). Is a <= x?
True
Let s be 9 + (43 - 14) + 3/1. Which is bigger: 39 or s?
s
Let c be 12/(-60) - (-1481)/7455. Which is greater: 1 or c?
1
Let m be (10 + 11)*((-12)/(-14) - 0). Are 23 and m equal?
False
Suppose 1540 = -32*s + 43*s. Is s equal to 140?
True
Let d = -141 + 144. Suppose 53 = d*t - 4*h, -4*t = -4*h - 0*h - 64. Which is bigger: 8 or t?
t
Suppose 0 = 2*i - 0*i - 8. Suppose 4*y + 3*k + 17 = 0, -i*k + 2 = -2*y - 12. Which is smaller: -4 or y?
y
Suppose -6*i + 26 + 34 = 0. Let g = i - 9. Is 2/5 at most as big as g?
True
Let h be -5 + -2 - -42 - -2. Are h and 179/5 equal?
False
Let j be 59 + (1 + 2)/3. Let u = j - 301/5. Let t = 52 + -52. Which is greater: u or t?
t
Let j be (5/((-80)/12))/((-5)/40). Suppose 0 = -2*g - g + 9. Is g != j?
True
Let g(a) = -a**2 - 10*a - 5. Let x be g(-7). Let d = -168 - -184. Is x at least as big as d?
True
Suppose 7*q = 3*q - 84. Which is bigger: q or -1?
-1
Let t = -1307 - -1307.088. Which is smaller: t or -3/5?
-3/5
Let d(r) = 10*r + 4. Let j(q) = -7*q - 3. Let a(m) = 5*d(m) + 7*j(m). Let u be a(1). Suppose -5*t = -u*t. Is -1/21 bigger than t?
False
Let o = 0.199 + 2.801. Which is bigger: 9 or o?
9
Let b(x) = x**3 + 7*x**2 + 6*x - 15. Let a be b(-7). Which is bigger: -63 or a?
a
Let f = 32 - 2. Suppose 24 = 5*j - 13*j. Let p be (33/12 + j)*-124. Which is greater: f or p?
p
Let u = 238 - 6901/29. Let n be (-6)/9*6/4. Are n and u unequal?
True
Suppose -5*n + 2*a = 389, n = -2*n - 3*a - 225. Let u = n - -25. Is -52 >= u?
True
Let a = 393 + -393.1. Let m = -75.31 + -0.69. Is m bigger than a?
False
Suppose 1 = -2*p - 5, -u + 2*p = -10. Let v = -5 + u. Let d = -72 + 289/4. Is v at most d?
True
Let p be 1/((-4)/4*-1). Which is bigger: -1/10 or p?
p
Let q be (-2)/1 - (-145)/58. Let o(t) = -t**3 - 9*t**2 + 2. Let c be (30/8)/(-5)*12. Let i be o(c). Which is smaller: i or q?
q
Let g be 2/6 - 13*(-5)/(-105). Let b = g - -60/161. Is b less than 4?
True
Let m = 35 + -58. Suppose 3*h - 5*v = -88 - 4, 5*h + 108 = -3*v. Is h < m?
True
Let z be (-4187)/4128 + (-2)/(-2). Let g = 12099581/28896 + z. Let p = g + -418. Which is bigger: p or 0?
p
Let s = -125 + 4876/39. Suppose -h = 3*h. Which is bigger: h or s?
s
Let w = -0.01 - 16.99. Let m = w + 16.9. Which is smaller: m or -0.21?
-0.21
Let f be 10 - (-636)/(-48) - (-1 - 0). Is f bigger than -7?
True
Let c = 8/2639 - -1382796/13195. Is 104 at least c?
False
Let s = -35 - -37. Suppose -5*c = s*x - 2, 0 = -3*x + 2*c + 2*c + 3. Which is bigger: x or -1/16?
x
Let w be (-4*(-1)/(-16))/(2/(-116)). Is w at most 14?
False
Let n be 1 + 4 - (97 + 0). Let y = n - -92. Is 12 < y?
False
Suppose -3*u + 12 = -60. Suppose -4*a = -u + 16. Does a = 5?
False
Let w = -0.12 + -66.88. Let a = w - -46. Let q = -5 - a. Which is greater: q or -0.2?
q
Let f = -2395 + 2394.962. Is 3 equal to f?
False
Let j = 1/188 + 82/47. Is 2 < j?
False
Let q(v) = 18*v**2 + v - 2. Let t be q(1). Let z(r) = -2*r**2 + 4*r + 1. Let i be z(4). Let g = i + t. Which is greater: 1/2 or g?
g
Suppose 1440 = -3*y + 1476. Which is greater: 63/5 or y?
63/5
Let m(k) be the first derivative of -k**3/3 - k**2/2 + 1. Let p be m(0). Suppose -5*v = 1 + 9. Which is greater: p or v?
p
Let c = -196 + 401. Suppose c = -2*a - 3*a. Let t = -34 - a. Is t >= 8?
False
Let b = 127 + -12. Let u = b + -2183/19. Let l be 1 + 1 + (0 - 1). Which is smaller: u or l?
u
Let x be (-1162)/(-12) + 5 + 29/(-6). Which is smaller: x or 98?
x
Let d = -41 + 27. Let b(k) = k. Let y be b(2). Suppose 0 = -0*c + y*c + 28. Is c < d?
False
Let k = -338 - 348. Is k bigger than 0?
False
Let x(q) = -3 + 2*q - 2*q + 0*q + 3*q. Let o be x(1). Do -1/6 and o have the same value?
False
Let k = -1/42 + 5/14. Let p = -2 - -15. Let r = -12 + p. Which is smaller: k or r?
k
Let w = -38.6 - -37.6. Which is greater: w or -12?
w
Let l = -327 + 327. Is l greater than -51?
True
Let l = -9.47 - -8.47. Which is smaller: l or 46/5?
l
Let a be (-12)/(-150) - (-10384)/200. Is 307/6 smaller than a?
True
Let i = -79 - -84. Let r be (-3 + i + 4)*(-1)/2. Which is smaller: r or 2?
r
Suppose 5*c - 341 = 4*t, t + 192*c + 74 = 191*c. Is t at most as big as -79?
True
Let t be 1*35/(-14)*(-270)/(-25). Is -225/8 not equal to t?
True
Let c be (9/12)/((-30)/(-16)). Let q = 15446 - 108120/7. Which is smaller: q or c?
q
Let c(b) = -2*b**2 - 27*b + 18. Let g be c(-20). Is g smaller than -243?
False
Let t be (-4 + 42/12)/((-2)/4). Are t and -3/229 unequal?
True
Let u = 0.713 + -0.713. Which is smaller: u or -0.0557?
-0.0557
Suppose 1443 = 3*q + 1515. Let c(o) = o**3 - 6*o**2 - 5*o + 5. Let y be c(6). Which is smaller: q or y?
y
Let b = -4 - -7. Suppose 0 = -b*u + 6*u - 51. Let d = u + -16. Which is bigger: d or 3/8?
d
Suppose 14 = 2*c - 2. Let l be (-2)/((-34)/49) - 24/c. Which is smaller: 1 or l?
l
Let r = 8.52 + -7.52. Are r and 5.83 non-equal?
True
Let x = 4.2 - 60.2. Let m = x + 41. Which is smaller: m or -2/7?
m
Let m = -54 + 53.9. Let b = 41 + -40.98. Are b and m nonequal?
True
Let w be 0*(2 + (-25)/15). Which is greater: -1/239 or w?
w
Let f be ((-1)/(-1))/(1 - 0). Let m = -52 + 46.6. Let t = m - -13.4. Which is smaller: t or f?
f
Let l = 1738/2185 + 2/437. Let j = 0.035 + -0.035.