= -3 - -2. Which is smaller: f or g?
f
Suppose -5*m - 4*n - 5 = 0, -4*m - m + 2*n + 25 = 0. Suppose -m*y - 2*j = -6*j + 128, -j = -5. Let k be (-12)/y*8/6. Is -1 greater than k?
False
Let p = -98 - -114. Let g = p + -56. Is g equal to 0?
False
Suppose -14*y - 3*y = -34. Let g be (-1 + y)*(3 - 4). Which is smaller: g or -2/15?
g
Let a = 0 + 1. Let s(k) = -k**2 + 9*k + 7. Let r be s(10). Let f be ((4 + r)*-1)/5. Which is bigger: a or f?
a
Let m be 2124/(-1050) + (-48)/56. Is -2 not equal to m?
True
Let v(q) = -q + 1. Let u be (-32)/18 - (-26)/(-117). Let j be v(u). Let z be ((-39)/(-8))/((-3)/(-2)). Which is smaller: j or z?
j
Suppose -6*i = -0*i - 12. Suppose l - 16 = -4*l + i*r, -2*l + 3*r = -2. Let z be -3 + 4 + (2 - -2). Is l bigger than z?
False
Let p be 4 - (1 - (-26292)/(-32)). Let x = -823 + p. Let q = x + -23/16. Which is smaller: -1 or q?
-1
Let t be -5 - (7 + -13)*27/(-2). Does t = -84?
False
Let g be 3/4 - (-6)/8. Suppose 5 = 4*l + 1. Suppose -3*s - 9 = -5*z, 0 = 5*s - 5*z + 2*z - l. Which is smaller: g or s?
g
Let i be 60/(-160) + 3/(-24). Which is smaller: i or -331?
-331
Let f(p) = p**3 - 19*p**2 - 127*p - 31. Let i be f(24). Which is smaller: i or -193?
i
Let y = -294 + 305. Are y and 13 non-equal?
True
Let x = 269 + -270. Is 0.2 greater than x?
True
Let r be -3 + 1 - (-50 + -4). Is 47 at most as big as r?
True
Let c(h) = -h**2 + h + 2. Let v be c(0). Is 20/11 <= v?
True
Let k be 2 + 1/1 - 34. Let u = k + 17. Let q be 8/28 - 24/u. Is q equal to 0.1?
False
Suppose 4*t - 6 = 6. Let h be (90/(-54))/(1/t). Which is greater: -14/3 or h?
-14/3
Suppose 4*c - 163 + 163 = 0. Let b = -8 + 8.03. Is c at most as big as b?
True
Let c = -9 - -11.52. Let j = -0.62 + c. Let y = 0.11 - 1.11. Which is greater: y or j?
j
Let h = 4.7 + -4.54. Let j = 0.01 - -0.05. Let d = j - h. Is 34 < d?
False
Suppose -3*c + 151 = -56. Let f be 23/c - (16/18 - 2). Which is smaller: f or 0?
0
Suppose 0*p = -5*p + p. Suppose p = -2*h + 3*h - 1. Which is bigger: h or 20/9?
20/9
Let l(n) = n**2 + 47*n + 210. Let d be l(-42). Is d <= 16/87?
True
Let v(n) = -n**3 + 39*n**2 - 73*n - 39. Let g be v(37). Are -19/11 and g nonequal?
True
Suppose 5*k = 2*k + 165. Suppose 5*n + k = -y, -y + 2*n - 25 = 23. Let m be (-5)/10 - 23/y. Do m and 0.2 have the same value?
False
Suppose -3*j = 5*u - 130, u - 80 = -2*j - u. Let b = 137/4 - j. Which is greater: b or -1?
b
Suppose 3*w + 14 = 10*w. Which is greater: w or 0.074?
w
Let d = -0.2 + 0.1. Let p = -119.3 + 111. Let z = p + 8. Which is greater: d or z?
d
Let a = 1002 + -882. Which is greater: a or -1?
a
Let s(a) = -4*a + 3 + 2 + 4*a**2 - 3*a**2 + 0. Let r be s(2). Let l be 440/1472 + r/(-8). Are l and 0 unequal?
True
Let y(a) = 3*a**3 - 5*a - 1. Let r be y(-2). Let n be -3 - -3 - -3 - (r + -2). Do 22 and n have different values?
True
Suppose 225*b - 32 = 227*b. Which is greater: -25 or b?
b
Let d be (1/(-6) - (-115)/(-30))/7. Let r = 140/3 + -1111/24. Which is bigger: d or r?
r
Let o be (66/(-4))/((-51)/34). Let a(i) = i**2 - 9*i - 23. Let n be a(o). Is -1/36 less than n?
False
Let o be (-4 - 54/(-15))*-845. Let g be ((-8)/10)/(o/(-65)). Which is bigger: g or -1?
g
Suppose -2*n = -z - 17, -z + 8 = 4*n + 1. Let b be 21/z*-3 + -2. Suppose -7*d + b = -2*d. Is -2/31 not equal to d?
True
Let j be -4 + (-52)/(-14) - 66/14. Which is smaller: 2 or j?
j
Let z(b) = -b**2 - b - 2. Let r be z(3). Let n be ((-15)/(-6) - 7)/(1/r). Is 62 at least n?
False
Let p be (213/(-60) - 4/20) + 1/4. Let y = -5.3 - -5. Is y less than p?
False
Let y = 1308 - 2265. Let u = -952.03 - y. Let d = u + -5. Which is smaller: d or -2/7?
-2/7
Let f(l) = l**3 - 3*l**2 + 8*l - 25. Let i be f(3). Which is smaller: i or 5/47?
i
Let d be (10 - -8)/((-3)/(-10)). Let m = 70 - d. Which is greater: 34/3 or m?
34/3
Let y be (-3)/(-9)*12/42. Is y smaller than 0.6?
True
Let l(m) = 2*m**3 - 3*m**2 + 5*m - 4. Let u be l(2). Which is greater: 11 or u?
11
Let g be (-15)/(-25) + 12/5. Suppose 36 = -g*y + 6*y. Suppose 3*q = q + y. Which is bigger: 4 or q?
q
Let s = -12 + 22. Let o = s + -4. Let l = o - -8. Is l at most -0.1?
False
Let u be 4/24 + (-191)/(-6). Let o be (5/4)/(28/u). Which is smaller: 2 or o?
o
Let k(o) = 4*o**2 + 7*o - 7. Let i(t) = -t**2 - t. Let m(c) = -3*i(c) - k(c). Let x be m(-3). Suppose 0*q = 3*f - 2*q - x, 2*q = f - 2. Is f less than 3?
False
Let s = 370/299 + -32/23. Let p = 2 + -1.96. Which is smaller: s or p?
s
Let v = 1858 + -1853. Suppose -4*w + 7*w = -3, -5*k = w - 29. Which is smaller: v or k?
v
Let f be 9 - (-6)/((-330)/517). Is f bigger than 109?
False
Suppose 4*s + s + 5*h - 5 = 0, -3*s + 3*h = -33. Which is bigger: 7 or s?
7
Let j = 2 - 0. Suppose -5*x = -j*x. Suppose x = -v - 3*w - 10, -3*v - 5*w - 26 = -0*w. Is v > -8?
True
Let v be ((2 + 0 - 22) + -1)/1. Let j be (-1)/v*24/52. Are 0 and j nonequal?
True
Suppose -4*p - 10 - 6 = 0. Suppose -130 = -10*t - 10. Let f be p/t - (-21)/36. Which is greater: f or -0.3?
f
Let p be ((-5)/39)/(51/612). Is p smaller than -1?
True
Let x = -507/2773 + 7/47. Let p = -5 + 4. Which is smaller: p or x?
p
Let q(d) = -d**2 - 5*d - 4. Let i be q(-4). Suppose 2 + i = g. Suppose -b = g - 0. Is -2 greater than or equal to b?
True
Suppose 3*s - 8 = 4*x, -8 = 3*s + 4*x - 0*x. Let u be (-3 + s)/(33/2). Are u and 4/3 non-equal?
True
Suppose -w + 2 + 0 = 0. Let c be (w/(-1))/8*0. Let b be c*(-4)/(-32)*4. Which is bigger: b or -2/53?
b
Let n(a) = -11*a - 242. Let s be n(-28). Which is smaller: 194/3 or s?
194/3
Suppose -12*w - 146 = -1010. Which is smaller: w or 427/6?
427/6
Suppose 24 = 4*j + 4*z, -4*j + 2*z = 6 - 0. Let o = 2 - j. Let l(m) = -m. Let w be l(o). Is w greater than or equal to -2/39?
False
Let u = -19723597937/2207975 - -3046992/341. Let l = u + 1/925. Let z(h) = -5*h**3 + 2*h + 1. Let r be z(-1). Is l < r?
True
Let p(k) = -k**2 + 7*k - 7. Let y be p(4). Let d be -2 + (2/y - 102/30). Which is smaller: 1/2 or d?
d
Suppose 5*s = 2*l - 213, -2*l - s + 289 - 94 = 0. Let y = 43 - l. Let t be (-1)/(-3)*36/y. Is t >= 0?
False
Suppose 3*z - 14 = -r, 4*r + 5 = 3*z + 1. Suppose -c + 9 = r. Is 6 bigger than c?
False
Let j be 7/(1911/(-2324)) + (-2)/13. Suppose 5*h + 1 = 4*w, -3*h + w = -h - 2. Suppose 0 = -h*k, i + k + 11 = 1. Which is smaller: j or i?
i
Suppose 11900 = -3*c + 13*c. Let j be 1*(-1)/5 + 4658/c. Is 4 bigger than j?
True
Let f = 125.7 - -2.3. Let w = -128 + f. Which is smaller: -0.55 or w?
-0.55
Let s = 2.68 + 107.32. Let d = s + -109.9. Is 2/3 less than d?
False
Let y(v) = -v + 4. Let i be y(0). Suppose -3*s - 2 = -i*s. Suppose -s*z + 3*j = -6*z - 10, -4*j = -2*z + 6. Which is bigger: z or 1/4?
1/4
Let n(p) = p**3 - 31*p**2 + 3*p + 7. Let f be n(31). Which is smaller: f or 92?
92
Suppose -4*n - 2*p = -8, -3*n = 4*p - 53 + 42. Is -1/354 at most n?
True
Let w(i) = -i + 32. Let x be w(10). Suppose 0 = -7*k + x - 155. Which is greater: k or -18?
-18
Let w = -50 + 35. Let t(q) = -3*q**3 - 3*q**2 + 4*q - 2. Let x be t(2). Let r = x + 14. Does w = r?
False
Let v = -9 - -28. Let f = v + -15. Let n be 2/(f - (3 + -1)). Which is greater: -2/39 or n?
n
Let y = -15 + 16. Let t = y - -7. Suppose t*v + 20 = 12*v. Which is greater: v or 4?
v
Let r be 1 - (-2 - 8/(-6)). Let m be 12/((4 + -2)/(-2)). Let u be (-9)/m*(-72)/(-27). Which is smaller: r or u?
r
Let b be (-48)/504*56/3. Let c be (-7)/3 + 1/3. Which is bigger: c or b?
b
Suppose -3*l - 3 = 6, -2*l - 18 = -3*y. Suppose -y*d - 8 = 0, -5*b = -3*d + 59 + 55. Let o = 23 + b. Is 3/13 at least o?
True
Suppose 0 = -3*p - 3*j + 39, 0 = 2*j + 4 - 8. Suppose -t - 35 = -4*f, -5*t + 6 = -19. Which is smaller: p or f?
f
Let a = 13 + 1. Let y = 14 - a. Suppose 3*m = -m. Are m and y non-equal?
False
Let k be 9/3*(-231)/315 + 3. Which is smaller: k or -2.56?
-2.56
Let i = 81/10 - 991/110. Which is smaller: i or -2?
-2
Let l(d) = d + 10. Let g be l(-9). Suppose 0 = -4*c - 12, 0 = 4*a + 2*c - 0*c + 66. Are g and a unequal?
True
Let f = -396/6527 - -10/107. Let r = -121/1830 + f. Which is smaller: r or 0?
r
Let y be -4*((-13560)/13552 + 1). Which is greater: y or -1?
y
Let f be 3/(14/45 - (-5)/(-25)). Suppose -5*v - f = 18. Are -8 and v equal?
False
Let z = -1047 - -4209/4. Let u(r) = 3*r**2 - 2*r**2 - 4*r**3 + 3*r**3 - 6*r**2 + 6*r + 5. Let t be u(-6). Which is bigger: t or z?
z
Let