ler: w or -1?
-1
Let y be -4 + (-1 + -1)/((-88)/(-814)). Let i = 403/18 + y. Which is smaller: i or -2/5?
-2/5
Let t be 2/5 - (-22)/(-55). Suppose t = -3*n + 3, -4*h + 2*n = -0*h + 10. Which is smaller: h or -7/6?
h
Let a be (-2)/8 + (-10865)/(-42148). Which is smaller: a or 0?
0
Let p = 98 - 85. Suppose 5*s - 8*s = 0. Suppose -4*d = -s*w - 4*w + 20, 3*w - 2*d - p = 0. Is w >= 0?
True
Let p be (-297)/(-45) - 2*(-3)/(-10). Suppose 6*t + 0 = -p. Let x = -308/3 + 101. Which is smaller: t or x?
x
Let j be ((-512)/(-12))/((-1)/3). Let f be (-4)/14 + j/(-252). Is f smaller than -1/7?
False
Let q = -2 - 24. Let x be q/6 - (-12 + 8). Do -1 and x have the same value?
False
Let z be (0 - 2) + (-80)/(-12). Suppose 30 = -4*n + 9*n. Is n less than or equal to z?
False
Suppose -1445 = -42*d - 1529. Let j be 2 + -7 - (3 - 2). Which is bigger: j or d?
d
Let z = -271 + 266. Is z > -4?
False
Suppose 0 = -4*v - 3*l - 9, 2*l - l + 3 = 3*v. Suppose 3*d + 3*d = -v*d. Is d at most 1?
True
Let r be 10 - (1 + 2 - (-24)/(-8)). Suppose 9*g - 80 = r. Which is bigger: g or 11?
11
Let r = -2078 + 2075. Let q = -26 - -193/8. Which is bigger: q or r?
q
Suppose 0 = -5*m - 5*r + 4*r, -4*m - r = 0. Are 31 and m non-equal?
True
Suppose 0 = -4*g + 2*g - 2. Let b = g + 12. Is b smaller than 10?
False
Let k be 2/(-6) + 490/3 + -7. Suppose -5*y - y = k. Is y <= -27?
False
Let c = 385 - 372.93. Let b = -12 + c. Let v = 0.02 - -1.98. Is b smaller than v?
True
Let g be 1*7 - 38/(-323)*-68. Let t = -13246/31871 - -2/1099. Which is smaller: t or g?
g
Let c be (-17)/(-18) + (-4)/8. Let g(y) = 2*y**2 + 4*y. Let z be g(-3). Let b be -2 + 2/(4/z). Which is smaller: b or c?
c
Let i = 64 + -56. Suppose -r - 2*a = 2*r - 28, -5*r = 5*a - 50. Is r less than i?
False
Let h(t) = t**2 + 10*t + 10. Let v be h(-9). Let i be ((1 - 3) + v)*0. Which is greater: 2/7 or i?
2/7
Suppose 0*n + 348 = 4*n. Let q be (n/12 - 4) + -3. Is -9 at most q?
True
Suppose -4*f - 28 = -2*i - 2*i, -4*i - 12 = 4*f. Suppose -4 = -2*c - i. Let k be c/(1 - (-12)/(-10)). Which is smaller: -4 or k?
k
Let d = -46 - -69. Suppose d*j = 25*j. Does j = 5?
False
Suppose -8*d + 9 = -5*d. Suppose -5*v + 0*s - 4*s = -11, -s + 8 = d*v. Which is greater: 15/4 or v?
15/4
Let h(n) = 40*n**2 + 4*n - 2. Let r be h(1). Let u = 38 - r. Suppose 5*z - c + 23 = 0, 28 = -3*z - 3*c + 7. Which is greater: u or z?
u
Let j = 4.5375 + -0.1375. Is j smaller than -28?
False
Let m(t) = t**3 + t**2 + 15. Let o be m(0). Suppose -3*a - o = 0, -2*a = -v + 14 - 3. Do v and 5/9 have the same value?
False
Let s(y) = y**3 + 4*y**2 - 2*y + 18. Let k be s(-5). Which is bigger: -2 or k?
k
Let w = -245 - -119. Let y be (-2)/10*w/(-4 - 2). Which is greater: y or -4?
-4
Suppose -j - 12 = -6*l + 2*l, 4*l - 20 = 3*j. Suppose -4*w - 5 = -3*x, 0 + 3 = -3*w + l*x. Which is smaller: 4 or w?
w
Let l = 2.4 + -2.2. Let q = l + -0.2. Let b = -14 - -13.7. Is b less than or equal to q?
True
Let q(s) = s**2 - 20*s - 14. Let z be q(21). Suppose -z*n = -n + 12. Which is bigger: n or -3?
n
Let h(i) = -i**2 - 8*i - 5. Let n be h(-7). Let p(l) = 3 - 4 - 12*l**n + 17*l**2. Let r be p(-1). Is 5 > r?
True
Let r = 790 - 791. Which is smaller: -2/221 or r?
r
Let j(f) = -f + 11. Let y be j(6). Suppose -2*o - 15 = -5*l + 15, 18 = 3*l - y*o. Let p be l/(-4)*1/(-2). Is 2 != p?
True
Let s = 84 - 80. Let b(n) = -n**2 + 3*n + 3. Let l be b(s). Which is smaller: l or -2/15?
l
Let w be 0*(4/(-4))/2. Let o be 10 + 0/(-3 - w). Suppose -15 = 4*s - f, -3*s - 2*f + o = -6*s. Which is smaller: s or -1?
s
Let i(d) = -d**3 + 9*d**2 + 41. Let y be i(12). Do -391 and y have the same value?
True
Let c = 584/3 + -193. Suppose 0 = 5*b + 2*d - 6, 3*d + 16 + 0 = 5*b. Suppose -4*z - t + 8 = 0, 0*z - z = -5*t - b. Is z at most c?
False
Let c = 2301/110 - -596681/3190. Suppose 0 = 2*j - 3*j - 208. Let a = c + j. Which is greater: a or 0?
0
Let y = -0.1954 - 6.8046. Which is bigger: 5/6 or y?
5/6
Let l(i) = i**3 - 12*i**2 + 12*i + 7. Let x be l(11). Suppose -13 + 1 = -3*r. Suppose -r*y - y - 8 = 3*h, -2*h + 3*y = x. Is h less than -5?
True
Let s = 21 - 17.8. Let u = s - -0.8. Which is smaller: u or 2/3?
2/3
Let h(j) = -j**2 + 7*j - 4. Let g be h(5). Suppose 4*y + 6 = -g. Let q be (4/10)/((-15)/75). Is y at least q?
False
Suppose 5*q - p - 76 = 0, -3*q - 7 + 57 = -5*p. Let b = 321 + -308. Is q < b?
False
Let l be (-8)/10*((-33215)/2770 - -12). Which is bigger: l or -1?
l
Suppose 2*w + 0 + 2 = 0. Let l = 3 + w. Suppose s - 1 = n + 1, s - 8 = -2*n. Is n not equal to l?
False
Let s = 4.73 + -5.4. Let k = 0.77 + s. Is k smaller than -25?
False
Let v(z) = -z**3 + 10*z**2 + 11*z. Let q be v(11). Let c be 5 - (2 + q/(-3)). Let n(h) = -h**3 + 3*h**2 + h + 3. Let l be n(c). Which is greater: 7 or l?
7
Let j be (-4)/(600/(-762)) - 5. Which is bigger: -1/9 or j?
j
Let a(s) = 5*s**3 + 11*s**2 - 5*s - 8. Let g be a(-4). Is -131 > g?
True
Let r be (2 + 2)*1/(-18). Suppose -d = -5*k + d + 24, 4*k - 4*d = 24. Let v be (-1)/(-3) + k/6. Which is smaller: v or r?
r
Let y = 13521/4 - 3330. Which is bigger: 50 or y?
y
Let i = 22 + -22. Suppose 3*u + u = i. Is 2/117 at least as big as u?
True
Let r(l) = l**3 - 7*l**2 + 14*l. Let h be r(7). Is 98 equal to h?
True
Let w(d) be the third derivative of -d**5/60 - 11*d**4/24 - 5*d**3/3 + 11*d**2. Let s be w(-10). Is s equal to -1/6?
False
Let l = 10997 - 8918573/811. Is -1 not equal to l?
True
Let j = -77 - -52. Let g = j - -25. Is 2/67 equal to g?
False
Suppose -3*l = 4*u + 49 - 9, l - 2*u + 20 = 0. Let x = -0.2 + -1.8. Which is bigger: x or l?
x
Let s(u) = -2*u - 7. Let h be s(-6). Suppose y - 3*j = -20, -h*j - 14 = -39. Let o = -419 + 412. Is y at most o?
False
Let d = -173.1 - -173. Suppose -k + 0 = -2. Suppose r - 3 = k. Which is smaller: r or d?
d
Let t = -65900 + 32604. Let m be t/84 + (-2)/(-7). Let s = 396 + m. Are 0 and s non-equal?
True
Let k be (-6)/20*12/(-18). Suppose d = -4*d + 5. Which is bigger: d or k?
d
Let i(x) = -4*x**2 + 17*x - 44. Let s be i(4). Let m be 50/s + 5/4. Suppose 28 = 4*k + f, f = -2*k - 2*f + 14. Which is smaller: m or k?
m
Let x(j) = -j**3 - 12*j**2 - 4*j + 11. Let g be x(-5). Let t = 1009/7 + g. Which is greater: -1 or t?
t
Let w be ((-105)/6 + 1)/(69/(-92)). Let t = 2 - 1. Suppose t = 4*h + 21, -5*h - w = 3*i. Is 1 at most as big as i?
True
Suppose 31 = -8*l + 23. Is -1/1318 less than l?
False
Let y(u) = -u**2 - 10*u - 7. Let b be y(-6). Suppose 10 = 4*d + 3*z - b, 0 = -5*d - 5*z + 40. Which is smaller: d or 4?
d
Let g = 27 - 25. Let i be (4 + 0)/g + 1. Does 3 = i?
True
Suppose -141*o + 108 = -147*o. Is o equal to -12?
False
Let s = 108.551 - -0.449. Is s < 1/4?
False
Let m(p) = p**3 + 24*p**2 - 24*p + 26. Let j be m(-25). Is j != 1/185?
True
Let l = 149 - 551. Are -400 and l unequal?
True
Let s = 114/13 + -1743/221. Is 2 at most as big as s?
False
Let n = -2/15 + -1/30. Let u be 2/10*(1 + 0). Let b = -7/10 + u. Is b greater than n?
False
Suppose 4*j = s - 161, 7*s - 8*s = -5*j - 202. Is -30 >= j?
True
Let z be 140*(-17)/204*6/1. Is z != 3?
True
Let l be (-1)/(-4) - ((-300)/176 - -2). Let y = l - -69/550. Which is smaller: 1 or y?
y
Let q(k) = -5*k**2 + 74*k + 406. Let a be q(-5). Are -86 and a equal?
False
Suppose 3*t = 2*t + 51. Which is bigger: 101/2 or t?
t
Let h be ((-54)/12)/(3/(-2)). Let r be (h/9)/((-8)/(-432)). Is 18 greater than r?
False
Suppose -s - 155 = 2*w, 2*w + 4*s = -s - 151. Let p = 85 + w. Is -6 <= p?
True
Let n = 10.51 + -10.51. Do -383/5 and n have the same value?
False
Let g = -354 - -282. Do g and -1/3 have the same value?
False
Suppose 0 = 11*l - 36 - 63. Let k be 7/l - (-22)/99. Is 6/13 greater than k?
False
Suppose 2 = -0*j - 3*j + 4*k, -4 = 4*k. Let a be (-13)/(-26)*(1 - -1). Is j > a?
False
Let m = 26 - -7. Which is greater: m or 36?
36
Let p(n) = -35*n - 56. Let w be p(-2). Which is smaller: 9 or w?
9
Let b be (-5571)/14040 + (-2)/(-5). Which is bigger: b or -1?
b
Let j = -1089 + 7640/7. Which is greater: 2 or j?
j
Let s = 12 - -14. Let c = s - 47. Which is smaller: c or -22?
-22
Let c = -0.3 + 0.2. Let o = -24.9 + c. Let a = -25.11 - o. Which is greater: a or 0?
0
Suppose -2*p = 2*y - 8, -3*p = -2*p - 2. Suppose -20 = -4*u - 4*r, 2*r = y*u - 0 - 2. Suppose i = m + 10, 2*i - u*m = 6*i - 12. Is 6 greater than or equal to i?
True
L