ler: -1 or o?
o
Let o be (-1)/4 - (-178)/8. Suppose -23 = -2*f + n + 4*n, -2*n - o = -4*f. Suppose -17 = -3*v - 4*p + 17, 2*v - 5*p + 8 = 0. Is f at most as big as v?
True
Let t = -1079/2 - -539. Suppose 5*w = 48 - 168. Which is greater: t or w?
t
Let x(r) = -3*r**2 - 26*r. Let n be x(-7). Let z = n - 35. Do z and 3/34 have the same value?
False
Let n = 663 + -661. Which is smaller: n or 84?
n
Suppose 2*r + r - 2*l - 155 = 0, -2*r = -l - 103. Let g = -106 + r. Is -54 greater than g?
True
Let c = 4186 - 4227. Let x be -1 - (39 + 0 + 1). Is x smaller than c?
False
Suppose -18*f + 253 = 109. Let v(y) = -y**2 - 2*y + 9. Let i be v(-4). Which is bigger: i or f?
f
Let u = 81812/4917 - 183/11. Is 0.1 bigger than u?
True
Let q = 1.708 - -0.292. Is 50 bigger than q?
True
Let s(i) = i**3 - i**2 + 3*i - 2. Let a be s(2). Let h = 12 + -10. Suppose 3*f + 4*g = 36, h*f - 5*g + 0 = 1. Is a greater than or equal to f?
True
Let a be 3/9 + 20/12. Suppose m + 9 = a*m + 3*q, -4*m - 20 = -2*q. Let f be (0/(9/m))/(-1). Which is bigger: f or 1/6?
1/6
Let m = -10 + 18.4. Let k = m + 1.6. Let x = k + -12. Is x bigger than -18?
True
Suppose -3*k + 73 = 5*c + 769, 0 = 5*k + 2*c + 1179. Which is smaller: -240 or k?
-240
Let d = -44/5 - -318/35. Which is greater: -63 or d?
d
Let a = -0.7 - -0.79. Let l = a - -0.01. Let b = 10/7 + -12/7. Is b at least l?
False
Let o = -636 + 12082/19. Is o less than or equal to 46?
True
Let k(c) = -c**2 - 15*c + 4. Let p be k(0). Which is bigger: 38/11 or p?
p
Suppose 40 = -4*a - 3*n, -n = -0*n. Let x be (5/a)/((-3)/54). Let p be x + -9 + (-1 - -1). Is -1/8 < p?
True
Let f(c) = 7*c**2 - c - 3. Let k be f(-2). Which is smaller: 2 or k?
2
Let x be (-27)/(-5) + 6/(-15). Suppose 3*w = -f - 2*w + 2, 2*w = 4*f - 30. Which is greater: x or f?
f
Let m = 40 + -22. Let y = -15.5 - 7.5. Let h = m + y. Which is smaller: h or 1?
h
Let p = -38 + 40. Suppose -a - 5 = -h, -p*a = 5*h + 3*a + 15. Which is bigger: 4 or h?
4
Suppose 3 = 3*p - 4*q, p - q = -9 + 10. Which is smaller: p or -6?
-6
Let z(o) = -9*o - 8. Let m be z(-4). Let u = m + -22. Is u != 7?
True
Let j = 0.048 + -1.818. Which is greater: 1 or j?
1
Suppose -4*h - 18 = 2*m, 3*m + 0*h = -4*h - 25. Let n(r) = r**2 + 5*r + 18. Let z be n(m). Suppose -29*w = -z*w - 3. Do w and 3/14 have the same value?
False
Let t = 24489/26 + -942. Suppose 5*h = 27 - 12, 3*n = -2*h + 6. Which is smaller: t or n?
t
Let k = -2473135/971 - -2547. Let v = k - -4847/3884. Is -1 greater than or equal to v?
False
Suppose 12*z - 3 = -183. Suppose 4*q - 19 + 7 = 0. Suppose -q*d - 42 = -0*d. Is z >= d?
False
Let i be (2*-3 + 0)/1. Let s be (3/(-2))/((-7)/(-14)). Let o = -9 - s. Is o equal to i?
True
Let b be ((-972)/(-15))/18 - 4/(-10). Let g be 26/((-1)/(-1))*1. Suppose b*z - g = -2. Is 7 at least z?
True
Suppose 0 = -r + 11 - 2. Suppose 0 = -r*y + 5*y. Suppose -2 = -f - y. Is 2 < f?
False
Let y = -12 + 87. Is -2 <= y?
True
Let f = -13 - 18. Is f greater than or equal to -31?
True
Let c(z) = z + 6. Let i be c(-6). Suppose 6*k - 252 = 3*k. Let o be (-3)/2 - (-18)/k. Which is smaller: o or i?
o
Let u = -5 - -8. Suppose -l = h - 9, 5*l + 9 + 10 = 3*h. Let y(n) = -n**3 + 8*n**2 - n + 12. Let f be y(h). Are f and u unequal?
True
Suppose -s + 7 = 4. Suppose 0 = s*h - 7*h - 12. Which is greater: -8/3 or h?
-8/3
Suppose 3823*s + 10 = 3828*s. Which is bigger: 34/49 or s?
s
Let n = 167629/25 + -6707. Is n at least as big as -2?
True
Suppose y = -0 - 3. Let p(i) = i**3 + 3*i**2 + i + 5. Let r be p(y). Suppose 3*v + r - 13 = -2*c, 3*c = 12. Which is smaller: v or -1/6?
-1/6
Let p = -10 - -1. Suppose 4*m - m - 39 = 0. Suppose -18*a = -m*a + 35. Is p equal to a?
False
Let w = -31.05 - -31. Let d = w - 0.05. Let v = 6 - 10. Which is greater: v or d?
d
Let t be 25*((-2)/(-2) - 0). Let g = t + -99/4. Which is greater: -13 or g?
g
Let y = 21.4 + -22. Let n = -0.5 - y. Let p = 3/17 + -4/119. Is p less than n?
False
Let p = -12 - 4. Let c be 2/(-9) - p/18. Let q be ((-286)/(-117))/((6/(-3))/(-18)). Which is smaller: c or q?
c
Suppose 5*t = h + 410, -3*t + 4*t - h - 82 = 0. Suppose -2*q - t = -3*m, -q - 47 = -4*m + 59. Suppose 0*l + 2*l = m. Which is smaller: 12 or l?
12
Let r(i) = 8*i + 57. Let q be r(-8). Is -98/13 less than or equal to q?
True
Suppose 0 = -0*w - 11*w + 242. Which is smaller: 26 or w?
w
Let g = -839 + 841. Which is smaller: -32 or g?
-32
Suppose -5*n + 5*d + 31 - 16 = 0, -5*d = 10. Which is greater: n or 1/20?
n
Let d = 14 + 3. Suppose -5*n = -3*n - 5*x - d, 0 = 5*n - 4*x - 17. Are -2/3 and n unequal?
True
Let v = -22 - -37. Let q(i) = 4*i**2 - 9*i + 5. Let r be q(3). Is v at most r?
False
Let q be 0 + -4 + 3 - -29. Is q at least 12?
True
Let l = -1251 + 654. Is -599 at most l?
True
Let m(i) = i**2 - 7*i + 2. Let j be m(7). Let v be ((-5)/(-1))/((-138)/12 + j). Which is greater: 0 or v?
0
Let r = 388/1827 + 2/203. Let c = 71/360 - r. Let b(z) = z**2 + 3*z + 1. Let s be b(-2). Which is bigger: s or c?
c
Let u = 455.1 - 455. Suppose -3*i = -2 - 7, -m = -4*i + 7. Let w = m + -4/3. Which is smaller: u or w?
u
Let h = 0.075 - 0.005. Are -2 and h equal?
False
Let a be (3/3)/((-1)/3). Let r(c) = -c**2 + 3*c - 3. Let b(m) = m**2 - 4*m + 3. Let y(f) = a*b(f) - 2*r(f). Let p be y(6). Which is greater: 2 or p?
2
Let d = -1/136 + -673/952. Is d < -104?
False
Suppose 0*q + 4 = -4*q. Let v(n) = -76*n**2 + n + 2. Let h be v(2). Let p = h - -4502/15. Is q smaller than p?
True
Suppose -p - 3*p = 0. Let o be 21/7 + (-2)/(-6). Let t = 61/21 - o. Which is smaller: t or p?
t
Let c(f) = -f**3 - 16*f**2 + 38*f + 37. Let z be c(-18). Which is smaller: -9/62 or z?
-9/62
Let f be 1/(14/21)*4/(-21). Let k(d) = -d**3 - 4*d**2 - 3*d - 1. Let i be k(-3). Let o = 1 + i. Is f greater than o?
False
Suppose 3*g - 28 = -p - 5, 0 = 2*g - 4*p - 34. Let w = 7 - g. Let m be (1/(-3))/(w/(-3)). Which is bigger: 0 or m?
0
Let s(c) = c**2 - 17*c + 3. Let v be s(7). Let g = -736/11 - v. Which is smaller: g or -1?
-1
Suppose -800 = 6*q - 14*q. Which is greater: 102 or q?
102
Let j = -5 - -5.5. Let z = -5.73 + -0.27. Which is smaller: j or z?
z
Let i = -261 - -260.96. Which is greater: i or 58?
58
Let j be 60*(220/25 + -8). Do 516/11 and j have the same value?
False
Suppose -9*s + 5*g - 230 = -4*s, -3*g = -4*s - 188. Is -51 at least s?
False
Let g be (((-91)/(-28))/(-13))/(237/6). Which is bigger: -1 or g?
g
Let r(v) be the second derivative of v**5/30 - v**4/24 - v**2 - 6*v. Let m(a) be the first derivative of r(a). Let z be m(1). Which is greater: -1 or z?
z
Let s be (-89)/89 - (-326 - 0). Which is smaller: 324 or s?
324
Let i(t) = 65*t + 620. Let w be i(-12). Is -160 not equal to w?
False
Let n = 99854341/1385 + -72097. Is n less than or equal to 0?
True
Let k(b) = -b**3 - 12*b**2 + 13*b - 63. Let v be k(-13). Which is smaller: -57 or v?
v
Suppose -3*p - 4*w + 5 = -2*w, 0 = 4*p - w - 3. Let f be (p/10)/(-1 - 0). Suppose 21 = 4*z + 17*z. Is z smaller than f?
False
Let j = -379 - -387. Let x be (-6 - -1) + -2 - -1. Let a be (x/j)/((-3)/(-1)). Is 0 >= a?
True
Let g = 80 - 80.1. Is 206 smaller than g?
False
Suppose -5*b + 9 = -1. Let z(h) = 5*h + 59. Let g = 32 + -43. Let q be z(g). Which is greater: q or b?
q
Suppose 607*q - 602*q = 0. Is q greater than or equal to -2/73?
True
Let d be 0 + -4 + 6 + -1 + 97. Let q = d + -296/3. Let o = -11/3 - -49/15. Is q != o?
True
Let j be (126/(-112))/((-2394)/(-12)). Which is smaller: 1 or j?
j
Suppose 5*c - 41 = -6. Is 7 > c?
False
Let i = -10.22 + -0.78. Is 60 less than i?
False
Let l(m) = -m**2 - 4*m + 4. Let s be l(-4). Suppose -1414 = -17*c - 1363. Is c less than or equal to s?
True
Let a = 5 + -51. Which is smaller: 0.2 or a?
a
Let h = -8.8 - -9.8. Let o = 0.11 - -15.89. Is h at most o?
True
Suppose -z - 3*j = -8*j - 38, 5*z - 5*j = 170. Is 32 greater than z?
False
Suppose -2390 = 6*k + 2326. Let h = k - -16502/21. Is h greater than or equal to 0?
False
Let w = -450.08 - -9.08. Is w > 0?
False
Let o(l) be the first derivative of 8 + 1/2*l**2 + 5*l + 0*l**3 - 1/4*l**4. Let i be o(0). Is i at least as big as -3?
True
Suppose -2*j - 365 = -3*b, -39*j - 4 = -35*j. Is 608/5 < b?
False
Let j be 1/5 - ((-6072)/20)/(-3). Let t be 12/9*(3 + j/34). Is 0 > t?
False
Let v = 1 - 1.3. Let u = 11.3 + v. Let a = 17 + -17.1. Are a and u eq