s smaller: f or g?
f
Let c = 1876356/17225 + -12/1325. Let d = c + -109. Let k be (-12)/42 - 10/14. Which is greater: k or d?
d
Let d be 22/(-11)*94/(-24). Which is greater: 8 or d?
8
Let x(m) = 2*m**3 + 8*m**2 - m + 8. Let k be x(-6). Let j = k - -912/7. Let q be 0/1 + -1 + 0. Is q bigger than j?
False
Let z(u) = -u**2 + u + 2. Let d be z(-1). Suppose 2*b - 18 - 4 = d. Which is smaller: 2/3 or b?
2/3
Let y be 5/(-2) + 4 - (-3)/(-2). Suppose -14 = -f + 4. Let p be (-44)/f - 4/(-2). Which is bigger: y or p?
y
Let k = 0.052 + 0.848. Is k less than or equal to -0.13?
False
Let c be 324095/(-344) + (-5)/(-40). Let i = c + 942. Is i >= -1?
True
Let o = -0.1 - -1.5. Let h = -1.4 + o. Let k = 0.7 - h. Is 0.1 at most as big as k?
True
Let l(t) = -81*t**3 + t + 1. Let h be l(-1). Let p be h/21 - (-1)/7. Do 4 and p have different values?
False
Suppose 3*q = -4*z + 296, 206 = 3*q + 3*z - 88. Is q at most as big as 93?
False
Suppose 41 = -15*h + 26. Which is bigger: h or -26/25?
h
Let g be -2 + 4 - (-2 - 2). Suppose 2*q + 11 = -3*k, -2*k - 2*q + 6*q + 14 = 0. Which is bigger: k or g?
g
Let v(p) = -p**2 + 27*p. Let h be v(-2). Which is smaller: -14 or h?
h
Suppose -2*l + 15 = 3*l. Let o be 2 - (-4)/(4/l). Suppose -3*z = -m - m + o, 2*z = 5*m - 7. Which is smaller: m or 1/2?
1/2
Suppose 43 - 22 = 3*r. Suppose -3*g - r = 5*i, 0*g + g + 3 = -i. Let k = -8 - -2. Which is greater: k or g?
g
Let a = -3.5 + 0.5. Let c = -0.08 - -1.08. Which is smaller: c or a?
a
Suppose 210 = -6*t + 3*t. Let h = t + 56. Which is smaller: -13 or h?
h
Let u = -1165/22 + -17/11. Is -56 greater than u?
False
Let a = 1 - -2. Suppose 0 = -2*i + 5*u + 20, a*u = -5*i + 4*u + 50. Are 11 and i non-equal?
True
Let i(o) be the first derivative of 3*o**2/2 + 37*o + 14. Let b be i(-16). Is b >= -10?
False
Suppose -3*q - 5 = -8*q. Let r be 0/q + -2 + -7. Let n = r + 8. Which is smaller: -2/11 or n?
n
Let u be ((-8)/20)/((-3)/(-5)). Let o = 18 + -21. Let r be (10 - 7)/(o/(-2)). Which is bigger: u or r?
r
Let z(p) = 3*p**3 - 8*p**2 - 2*p + 8. Let x be z(-4). Which is greater: x or -306?
x
Let c be 4/(-3)*19*4. Let m = c + 3970/39. Is 1 < m?
False
Let b = -153 + 100. Which is bigger: 0.2 or b?
0.2
Let u = -1471 + 1472.509. Is u at least -2/7?
True
Let w = -209 + -59. Let c be 67/w + (2/(-56))/1. Which is greater: -10 or c?
c
Suppose -7*w - 2 + 156 = 0. Let i = 36 - w. Which is greater: i or 13?
i
Let v be (-16)/(-8)*(5/(-10))/1. Let t be -1 - 1/(16/10). Which is smaller: v or t?
t
Let l = -61 - -80. Let w be ((-110)/l)/2 - (-3 + 0). Which is smaller: -12 or w?
-12
Let t be -2 + 10275/5140 - 0. Is 0 at most t?
False
Let i be 55/45 + -1 + 2/(-36). Suppose -10 = -5*f + 2*x, -f - 2*x + 0*x = -14. Let s be (-4)/(-1) - (f + -1). Is s <= i?
False
Suppose 525 = 26*q - q. Are 10 and q unequal?
True
Let y(r) = -3*r**2 + 88*r - 30. Let c be y(29). Let d = -844890/11 + 76754. Let s = d - -54. Is s greater than c?
True
Let z = 62.3 - 63. Which is bigger: z or 17?
17
Let k be (-192)/102 + (-10)/85. Which is bigger: -1 or k?
-1
Let q(w) = -17*w + 784. Let j be q(41). Is j less than -1?
False
Suppose -6496 = 13*u + 15*u. Is -232 not equal to u?
False
Let o(x) = -2*x + 27. Let z be o(-10). Does z = 48?
False
Let g(a) = 2*a + 1. Let f be g(8). Suppose -4*r = -f + 1. Which is smaller: r or -1/2?
-1/2
Suppose 6*p + p + 14 = 0. Let d be (9/4)/9 + p. Let z be (-15)/6 + 2/(-4). Which is greater: z or d?
d
Let j be (-1)/(-2) - 2/4. Let o be ((-18)/(-21))/((-6)/(-44)). Let z = -433/70 + o. Do z and j have different values?
True
Let y(i) = i**3 + 23*i**2 - 27*i - 75. Let o be y(-24). Let a = 0.4 + -17.4. Is a < o?
True
Let q = 58 - 60. Let g = -5 + q. Which is smaller: 0 or g?
g
Suppose -40 = l + 3*l - 4*o, -l - 8 = -3*o. Let m = l - -13. Let g be m/(-5) - (-143)/220. Which is greater: 0 or g?
g
Let a = -2534 - -2523. Are -0.085 and a equal?
False
Let o = 71 + -81. Which is greater: -3 or o?
-3
Let x = 1.6 - 12.6. Let b = x + 9. Let t = -4.2 + 0.2. Which is greater: b or t?
b
Suppose 4*s - 111 = -3*k, 77 = 3*s - 0*s + k. Suppose 9*z - z = s. Suppose -4*w + 1 + 11 = 0. Is z != w?
False
Let l = -153.9 - -152.9. Let m = 0 - -0.2. Is l > m?
False
Let f = 14815/288666 - -2/4977. Let p = 101/290 + f. Is -1 > p?
False
Let m be -48*(8/12)/((-2)/1). Let u be 532/m + -3 - (-5)/(-20). Do u and 30 have the same value?
True
Suppose 0 = -7*l - 5*l. Which is greater: l or -1/8?
l
Let k = -651/12505 + 1/305. Suppose -4*n - 5 = -9. Let t be 4/n - (-12)/(-4). Which is bigger: t or k?
t
Let g = -74 + 73. Let h = 158/11715 + 1/213. Are g and h unequal?
True
Let c be 35/15 - (-4)/6. Let j be c*4/(-6) - -5. Suppose -3*f + 28 = 4*f. Is f at most as big as j?
False
Let o(x) = 3*x**2 - 14*x - 24. Let i be o(6). Which is smaller: 127 or i?
i
Let j = -1890 - -1891. Is -1069 at least j?
False
Let q(j) = j**3 - 14*j**2 + 13*j + 2. Let o be (39/12)/(2/8). Let w be q(o). Which is smaller: w or 7/4?
7/4
Let c = 12.98 + -11.7. Let m = c - 1.22. Is m less than -7?
False
Let s = -103/5 - -20. Let r = 1 - -3. Is r < s?
False
Let g = -0.26 + -14.74. Let i = g - -16.4. Let j = i - 1.5. Are j and 1/6 non-equal?
True
Let x = 23 - 23.2. Let p = 0 - x. Which is smaller: 13 or p?
p
Let d be (1656 + -3)*(-34)/(-102). Is d less than or equal to 552?
True
Let z = 7085 + -162956/23. Suppose 0*q = -2*q. Which is smaller: z or q?
z
Let d = 0.04 + -21.04. Let r = -14 - d. Let y = 6.9 - r. Which is smaller: 10 or y?
y
Let t = -3 + 4. Let a = 1.833 - 1.773. Is a at most t?
True
Let y = 23459/51 - 460. Do y and -1 have the same value?
False
Suppose 5*p - 26*w = -23*w + 1940, -w = -p + 390. Is p less than or equal to 386?
True
Let b(w) = w**2 + 12*w + 17. Let d be b(-8). Let y(l) = 2*l + 32. Let a be y(d). Suppose 37 = 5*p + 3*u, -a*p - 5*u + 27 = 2*p. Is p >= 8?
True
Let l(j) = -137*j + 149. Let u be l(-5). Are u and 834 unequal?
False
Suppose -4*k - y = 33, 3*k - 5*y = 8*k + 45. Let f be (0 - k/4) + -79 + 1. Is f equal to -77?
False
Let d = 3048 + -3048. Let f = 0.27 + 0.03. Which is greater: d or f?
f
Let d = 1 + 1. Suppose -z + d = -1. Suppose 2*b + z = 13. Is b bigger than 5?
False
Let c(r) = 2*r - 6. Let p be c(5). Let n be ((-2)/p)/(1/192). Let o = -472/5 - n. Which is smaller: 3 or o?
o
Let h(m) = m**2 - 12*m + 7. Suppose 4*r - 22 = 14. Let q be h(r). Let x = q - -21. Is x smaller than 2/11?
False
Let f = 2.04 + -0.04. Let r = -55 - -60. Let x = r - f. Which is greater: x or -1?
x
Suppose -4*y + 16 = -9*y - 4*f, -4*f - 16 = -2*y. Let b(x) = -17 - 11*x**2 - 16*x + 8*x**2 + 4*x**2. Let u be b(17). Is y smaller than u?
False
Suppose -39*h - 2992 = -28*h. Are h and -274 equal?
False
Let h = 47 - 50. Let q be 0/((2/3)/(h/9)). Does q = -3/11?
False
Suppose -33*b + 252 = -37*b. Let h be (2/15)/(140/b). Which is greater: 0 or h?
0
Let p = 12611/4 - 2471961/784. Let z = 22/49 + p. Which is smaller: z or 1?
z
Let l(s) = 14*s - 15 + 59 - 9*s. Let z be l(-9). Let a = -203/1056 + 1/96. Is z smaller than a?
True
Let y = -94 - -148. Which is smaller: 160/3 or y?
160/3
Let j = -25 - -18. Let x = j + 8. Let l = -1 - 3. Which is smaller: x or l?
l
Let l = 13541 - 13528. Let y be (-40)/(-3) + (-4)/(-6). Which is smaller: l or y?
l
Suppose 0 = 2*a + 20 + 14. Suppose 0*q + 2*q + 4*n - 34 = 0, -3*q - n = -56. Let s = q + a. Is 2 smaller than s?
False
Let w = -27 - -41. Let c = w + -4. Let v = c - 15. Which is smaller: 2 or v?
v
Let c = 67 - 63. Let w = c + 0. Is -8 smaller than w?
True
Suppose -4*j + 20 = 0, 5*a = -j - 3*j + 30. Suppose 4*i - 14 = -a. Suppose -v + 2*f - 5 = i*f, v - f + 1 = 0. Does -9/5 = v?
False
Suppose 4*g = 16, 5*z = -g - 363 - 53. Is -81 greater than or equal to z?
True
Let l(j) = -48*j - 171. Let i be l(-11). Is i <= -1?
False
Let l = 3873/2665 - 64/41. Let o = 29/2080 + l. Which is smaller: o or 0?
o
Suppose -1 = 2*b + i, -5*b - 4*i = -6*i + 7. Is -257 > b?
False
Suppose -4*s + 0*s = 2*k - 8, -4*k - 2*s = -4. Which is smaller: k or 1/27?
k
Let x(z) = -z**3 - 11*z**2 - 8 + 3*z + 30 + 2*z**2. Let v be x(-9). Is -5 smaller than v?
False
Let l = -0.612 + 1.712. Which is smaller: -1.3 or l?
-1.3
Let p(f) = f - 5. Let h be p(4). Let k = -9/422 - -283/3376. Which is smaller: k or h?
h
Let w = 2 - -5. Suppose 3*o - 1 = -w. Let c = o - -10. Is 7 != c?
True
Let v = -1324