4/13
Let f = -86.9 + 83. Which is smaller: 3 or f?
f
Let x = 19.42 - 19. Let h = -0.52 + x. Which is greater: h or 8?
8
Suppose -9 = -27*b + 18. Which is smaller: 4/353 or b?
4/353
Let h be (-4 - -3 - -7) + -1 + -4. Do h and -3/328 have the same value?
False
Let o be ((-6)/(-24)*2)/((-3)/6). Let z = -591 + 27779/47. Is o at least as big as z?
False
Let p = -0.0999 + 78.0999. Which is greater: 0.04 or p?
p
Let x = 319 - 314. Is 7/2 at most x?
True
Let x(z) = z**3 + 13*z**2 + 12*z + 2. Let s be x(-12). Suppose 4*i + s = -14. Which is bigger: -6 or i?
i
Let o be 3/5 + (-561)/85. Let n be (4/o)/(10/(-75)). Suppose -7*j + 2*j - n = 0. Which is bigger: j or 2/57?
2/57
Let k be (371/49 - 7)/(1/(-7)). Which is greater: 85 or k?
85
Let d be (-1)/((-2)/4) + (-248 - -513). Is 266 less than d?
True
Let j be (-10 - -4)/2 - -4. Let b = j - -6. Let o(s) = -2*s - 13. Let d be o(-10). Is b at least d?
True
Suppose -2*w = -0 - 4. Let j be w*(-1)/18*-9. Is j > -9?
True
Let v(r) = 2*r**3 - 17*r**2 + 33*r - 6. Let l be v(8). Which is greater: 195 or l?
195
Suppose q = -298 + 295. Which is greater: q or 0.015?
0.015
Suppose -35*g = -41*g + 36. Let j = 438 - 1729/4. Does j = g?
False
Let s be 25/(-650)*14/(-2). Is 0 at most s?
True
Let m = 40.9 - 40.89. Is m > 8?
False
Let r = -20897/6 - -3479. Let p(h) = h**3 - 4*h**2 + 4. Let u be p(3). Is u at most r?
True
Let i = -1.784 + 2.784. Are i and -196 equal?
False
Let h = -4 - 3. Let t = -56 + 56.3. Is t at most h?
False
Let i(j) = j**2 + 20*j + 51. Let z be i(-17). Is z != 4/67?
True
Let v = 320.9 + -321. Is v >= -201?
True
Let u(t) = -26*t**2 + 6. Let c be u(-1). Which is greater: c or -316/15?
c
Let u = 3 - 3.08. Let q = 0.945 - 0.025. Let c = q - u. Is c > -1/18?
True
Let r = 144.7 + -139.7. Does r = 14/23?
False
Let y = -98.02 - -2.02. Let z = -85 - y. Is z < 1/2?
False
Let d = 45 + -34. Suppose -t - 70 = -3*n, -d + 51 = n + 3*t. Is 24 < n?
True
Let t be 2/4*3*2. Let u(a) = 4*a - 4. Let r be u(t). Let s be (-1 - (-15)/6)*6. Is r at most s?
True
Suppose 3*r + 13 = 3*a + r, 0 = -5*a + 5*r + 25. Let u be 3/9*3 - 2. Let c be u + 3 - (-1 + a). Is c greater than 1?
False
Let f(s) = 5*s**3 + 5 - s + 2*s**2 - 4*s**3 - s + s**2. Let d be f(-4). Is d less than -3?
False
Suppose 12*u - 8*u - 20 = 0. Suppose -5*k - 7 - 8 = -3*n, 3*k - u*n + 25 = 0. Which is bigger: k or 10?
10
Suppose -5*g = 4*n + 155 - 44, g + 26 = 3*n. Let x = g - -25. Suppose -z - 26 = -x*k, 40 = 5*k - 4*z - 22. Which is smaller: k or 15?
k
Suppose 15 = 3*b, -28 = -0*n + 2*n - 4*b. Let q(z) = z**2 - z - 49. Let u be q(7). Are n and u non-equal?
True
Let p be (-4)/((-48)/(-20))*-3. Suppose -u - 5*d - 9 = 18, 0 = p*u + 3*d + 25. Which is greater: 1 or u?
1
Let h(m) be the first derivative of m**4/4 - 4*m**3/3 - 3*m**2/2 - 2*m + 2. Let g be h(5). Which is smaller: 11 or g?
g
Let j = -1227/7 - -175. Let p = -269/182 + -2/91. Is j greater than or equal to p?
True
Let r be ((-2)/2)/(4/(-24)). Let k be 12 + (-9)/(18/4). Let q = r - k. Is q < -2?
True
Let z be 12/((-2)/(-4)*4). Let w be 1 - (z + 3 + -6). Suppose 10 = 4*t + 5*n - 7, t + 4*n = 18. Is w >= t?
True
Let z = -298 + 284. Which is smaller: z or 2?
z
Let x = -7.136 + -0.064. Let g = x + 7.1. Does g = -0.24?
False
Let z(p) = p**3 - 16*p**2 - 14*p - 37. Let s be 17/(5/(1 + 4)). Let l be z(s). Which is smaller: 18 or l?
l
Let j(i) = 10*i**2 - 51*i + 6. Let u be j(5). Is -1/226 greater than or equal to u?
False
Let i be ((-76)/28)/((-55)/(-1)). Let x = -1/77 - i. Are -1/7 and x equal?
False
Let l = -210.04 - -210. Is -3 smaller than l?
True
Let w(j) = j**2 - 4*j + 5. Let t be w(4). Suppose -2 = -t*y + 18. Suppose -2 = 2*u - y*u. Which is greater: 3/11 or u?
u
Let i = 15 - -5. Let w = -24 + i. Do w and -1/19 have the same value?
False
Suppose m + 3 - 4 = 0, -4*v - 5 = -5*m. Suppose 2*s = -2*s + 4. Suppose 0 = -4*o - 3*b + s - 0, 4*b = 3*o + 18. Is v >= o?
True
Let u be (-3)/(-45)*-18*4/(-48). Which is greater: u or -39/2?
u
Let t = -4.1 - -20.1. Let a = t + -16.17. Let l = a - 0.83. Which is bigger: -12 or l?
l
Let a = -0.01 - 0.09. Let s = -350 - -4558/13. Is s != a?
True
Suppose 6*p - 68 = -20. Suppose 6*f = -p + 2. Which is greater: f or 1/51?
1/51
Let d = 64162/45 + -1426. Is -1 less than or equal to d?
True
Suppose l = -4*p - 3, p + 2*l + 6 = 2*p. Let t be 3 + -2*212/144. Are p and t equal?
False
Let g(t) be the first derivative of t**3/3 + 7*t**2 + 7*t - 12. Let w be g(-13). Is w equal to -2?
False
Let s(a) = 2*a - 13. Let p be s(14). Let o = p + -19. Which is smaller: o or -6?
-6
Suppose -158*v - 1956 = -152*v. Which is bigger: v or -325?
-325
Let x(p) = -5*p**3 + p**2 + 2*p + 1. Let l be x(-1). Suppose m + 0*m = -14. Let s = m + 18. Is l < s?
False
Let f be (36/10 + -4)*5. Let c be ((-2 - f) + (-2)/(-1))*-2. Which is greater: c or 0.03?
0.03
Suppose -2*o - 122 = r, 26*o - 30*o + 3*r - 254 = 0. Is o less than or equal to -62?
True
Suppose -17*t = -19*t + 8. Let x be 8*(4 + (-14)/t). Is 0.1 greater than x?
False
Let n be (1130/(-11))/((-6)/3)*51. Let r = n - 2617. Which is smaller: r or 2?
2
Suppose -2*g = -5*j + 19, -3*g + 19 = -3*j + 5*j. Which is bigger: g or 6?
6
Let o be 8215/(-25) - 66/(-110). Which is greater: o or -326?
-326
Suppose -3*k + 2*d = -3*d - 15, 0 = 4*k - 4*d - 12. Let x be (11 - 49) + -1 + (k - 0). Which is greater: x or -40?
x
Let g = -688 - -13763/20. Do g and -2/5 have different values?
True
Let d = -0.62 + 203.62. Is -1 < d?
True
Let q be ((-2)/39)/((-2)/(-6)). Let i = -799 - -798. Are q and i non-equal?
True
Suppose -3*o + 34 = 2*w, -85 = 3*w - 8*w - 4*o. Suppose -266 = -21*n + 7*n. Is n at most w?
False
Let w be (-2)/(-5) + 6*18337/(-1155). Does 2/7 = w?
False
Suppose -2 - 6 = -4*q. Suppose -k - 6 = 5*n + 6, -2*k - 5*n = 9. Is k less than q?
False
Let z be 2/6*19/(-76)*3. Are 123 and z non-equal?
True
Let a(d) = -2*d**2 - 17*d - 11. Suppose 3*x = -5*o - 34 - 15, 0 = -o - 4*x - 20. Let r be a(o). Is -1 >= r?
True
Suppose b - 928 = r, 4*b + 3982 = -3*r + 1163. Is 1 greater than r?
True
Let l = 4.009 - 0.009. Let b = l - 11. Is b at most -2/17?
True
Let r be (-1 - -20)/(710/70 + -10). Are r and 130 nonequal?
True
Let t = -1401 - -1401.2. Is t at least -41?
True
Let h = 6 - 5. Let r = 1 + h. Is r at least 1/9?
True
Let v be (-2 + 0 + -83)*48/30. Let y be v/(-132) + 0 + -1. Is 1 < y?
False
Let w = -47.1 + 47. Is w at most as big as -177?
False
Let q = -3.06 - 0.44. Let f = 1.5 + q. Is -4/7 greater than or equal to f?
True
Let f = -25615879/87 + 294439. Let i = f + 5/87. Is 5 at least as big as i?
True
Let b = 9 + -29/3. Let f be (-1 - 9)/((-1)/(-3)). Let p = f - -30. Is p at most b?
False
Let b = 1264 + -1264. Which is smaller: -1/452 or b?
-1/452
Let o be 7/(2 + 15/(-7)). Let p = -49 - o. Which is smaller: 0.025 or p?
p
Let r(z) = -2*z - 2. Let c be r(-1). Which is smaller: c or 3/104?
c
Let f = 8 + -6. Suppose 8 = f*g - 2. Suppose 0 = g*b + 2*d + d + 43, -3*b = -5*d + 19. Is -7 less than b?
False
Let i be ((-3030)/175 - -1) + 4/(-14). Is -16 smaller than i?
False
Let w = 28 - 25. Suppose -j = -5*p + w*j + 8, -4 = 2*j. Let x = 1 - 3. Do p and x have the same value?
False
Let j = -8 + -11. Let m be 4 - 752/184 - (-824)/(-46). Are m and j non-equal?
True
Let d = 190.9 - 191. Does 105/4 = d?
False
Let y = -39 - -75. Let a = 203 - 189. Let w = a - y. Which is greater: -21 or w?
-21
Suppose 4*k - 2*k - 20 = 0. Suppose 63*a + k = 68*a. Which is greater: 4/5 or a?
a
Let t = 1.58 + 107.42. Let c = -83 + t. Is c not equal to -2/7?
True
Let y = 164 - 170. Let v = -3 + -4. Which is bigger: v or y?
y
Let l = -1706 - -781. Is -924 smaller than l?
False
Suppose -x + 38 = 2*o, -3*o = 3*x - 7*x + 97. Let z be ((-6)/8)/((-7)/x). Let v(q) = 2*q - 6. Let r be v(z). Which is greater: 1 or r?
1
Let w(v) = 2*v - 31. Suppose -4*d = -3*m - 54, 4*d - 8 - 54 = -m. Let h be w(d). Let y = 13 + -6. Is y at most h?
False
Suppose -4*i = -3*d - 2343, 89*d - 87*d - 5*i + 1569 = 0. Is -778 less than d?
True
Let h = 7.2 - 8. Let z = 0.4 + 0.3. Let m = z + h. Which is smaller: 6/11 or m?
m
Let u(f) = -3*f + 7. Let j(c) = -4*c + 6. Let v(z) = -2*j(z) + 3*u(z). Let w be v(-3). Which is smaller: w or 13?
w
Let c = -4153/1470 + -2/245. Let w = c + 91/30. Which is smaller: w or -15?
-15
Let p be (2 + 5/(-3))*-3. Let w b