-2026/187 + 114/11. Let l = -1/34 + k. Let q(d) = -d**3 + 2*d + 1. Let i be q(-1). Is i greater than or equal to l?
True
Let f be 2/(-1) - 11/(-21). Let i = 15/7 + f. Suppose -4*r + 3*h - 5*h = 6, 3*r - 12 = 4*h. Which is smaller: i or r?
r
Let z(u) = -u + 8. Let c be z(7). Let p be (0 + 0)/(-3) + c. Suppose 9 = 3*i, -x + 20 = 3*x + 4*i. Is p at least as big as x?
False
Let l be (6/16)/(78/8). Is l less than 0?
False
Suppose 4*r = 7*r - 42. Which is greater: r or 64/5?
r
Let l = -2 - -1.8. Which is bigger: l or -1?
l
Let h = -20/43 + -1465/86. Are -18 and h equal?
False
Let m = -11 + 34/3. Is m at least 3/14?
True
Let a be (-1 + (-9)/(-15))/(18/(-10)). Is a smaller than 0?
False
Suppose -3*r + 6 = -r. Suppose -r - 5 = -2*g - 5*w, 5*g + 38 = 2*w. Suppose -2*k + 4*i - 1 = k, k = 5*i + 18. Which is bigger: g or k?
g
Let a = 52568/10227 + 4/1461. Let f = a + -151/28. Let s = 2 + -3. Which is greater: s or f?
f
Let w = -7 - -5. Let n(v) = -v - 2. Let d be n(0). Let s = 1 + d. Which is smaller: s or w?
w
Let t(d) = -d + 6. Let b be t(3). Let y be (-3)/b*(-3 - -2). Which is smaller: 2/9 or y?
2/9
Let g = -6/13 - -81/91. Let z = -96 + 96. Which is bigger: g or z?
g
Suppose 5*u + 0*u = -5. Which is smaller: -1/51 or u?
u
Let l = -5 + 13. Which is smaller: 7 or l?
7
Let l be 8/(-44) - 208/(-1386). Is -0.2 >= l?
False
Let x = -14 - -11. Is x greater than or equal to -1?
False
Let q = -10 + 15. Suppose 3*l + 6 = -q*c - 15, l - 10 = 4*c. Is -5 less than or equal to c?
True
Let k = -5.9 + -2.1. Let m = k + 7.9. Does m = -0.01?
False
Let h be (-1 + 1)*1/2. Let r = -853/6 + 143. Let x = r - 2/3. Which is bigger: h or x?
x
Let b = -6 + 5. Do b and 2/11 have different values?
True
Let m(j) = 3*j**2 + 11 + 5*j + 9*j**2 + 7*j + j**3. Let y be m(-11). Which is greater: 1 or y?
1
Let d = -6 + 5. Which is smaller: d or -11/7?
-11/7
Let g be 2/(-4) + 15/2. Let k be (-2 + g/3)*1. Suppose 0 = -4*i - 4*b + 5*b - 6, 0 = -2*i + 4*b - 10. Which is bigger: i or k?
k
Let a be (-2)/(-3) - (-15)/(-9). Is -1 at least a?
True
Let u = -587/33618 + 2/431. Is u at most -1?
False
Suppose 0 = -a - 4 + 8. Suppose 0 = a*p - 2*p + i + 1, 15 = -5*i. Suppose 3 + p = -4*q. Which is smaller: -2/5 or q?
q
Let j be (-2)/(-12) + (-30)/(-36). Let o = 0 + 4. Let i be 1/(-3)*(-12)/o. Is i at least as big as j?
True
Suppose 5*m + 41 = 161. Suppose -2*n + 7*n = u - m, 30 = 3*u - n. Suppose -2*o = -4*q + o - u, -2*q + 15 = 5*o. Which is smaller: -1/2 or q?
-1/2
Let f = 2.98 + 0.02. Let q(i) = -4*i**2 - 3*i**3 + 4*i**3 + 0*i - 3 + i. Let p be q(4). Which is smaller: f or p?
p
Let y = 1 + -2. Let u = -40 + 72. Suppose 0 = 4*k - 4*f, 5*f - u = -2*k - k. Which is greater: k or y?
k
Suppose -4*d = -17 + 1. Let z = 16 - 9. Which is bigger: d or z?
z
Let z = 1.5 + -0.5. Let v = -2.07 + 0.07. Which is smaller: v or z?
v
Let u = -4323 - -21486/5. Let h = 136/5 + u. Is 2 at most h?
False
Let i(m) = m**2 - 3*m + 2. Let o be i(3). Let z = 0.9 - 1. Let t = z + -0.1. Which is bigger: o or t?
o
Suppose b - 50 = 6*b. Let l(m) = -m**2 - 10*m - 1. Let t be l(b). Are t and 3 unequal?
True
Let v = -21 + 35. Let b(h) = h**3 - h**2 + 14. Let y be b(0). Is v <= y?
True
Let g(l) = l**3 + 4*l**2 - 5*l - 2. Let a be 20/(-30) + (-32)/6. Let j be -1*3/(a/(-10)). Let i be g(j). Is -2/3 at least as big as i?
True
Let i = -25 + 11. Let a be i/63 + 70/(-9). Is -7 less than or equal to a?
False
Let r = -1/2 + 1/6. Let g(v) = -v**3 - 28*v**2 + 2*v + 57. Let u be g(-28). Which is greater: u or r?
u
Let g(y) = -y**3 - 15*y**2 - 12*y + 29. Let s be g(-14). Let l be 0 - ((-343)/(-6) + -2). Let i = l - -55. Is i at least s?
False
Let u be 2 - 0 - -7 - 0. Let y(i) = -i**2 + 7*i + 12. Let d be y(u). Let f(n) = n**2 + 6*n - 1. Let o be f(d). Is o smaller than 1?
True
Suppose -z + 5 = -6*z. Let u = 7 + -5. Suppose 8 = -u*o - 2. Are o and z equal?
False
Let z = -4.5 - -0.5. Let u = 0 - z. Let f = u - 2. Which is smaller: f or 0?
0
Let u = 1 + -8. Let h be (24/9 - 4)*(-9)/(-30). Which is greater: h or u?
h
Let z(i) = 2*i + 5. Let q be z(-9). Let k = 28 + q. Is k <= 15?
True
Suppose 5 = 3*n - 4*i, 0*i + 6 = -3*i. Let m = n + -5. Which is smaller: m or -7?
-7
Let y = 0.1 + -0.3. Let a = -1.06 + 1. Let q = a - 0.04. Which is smaller: y or q?
y
Let h be 14/8 + 2/8. Suppose -v + h*v = 7. Suppose -5*w = -t - 26, -1 + 9 = 2*t. Which is smaller: w or v?
w
Let y(l) = -l**2 + 9*l + 10. Let s be y(10). Suppose s = 2*n - m - 6, 0*m = -2*n - m + 2. Let w be n/(-5) + 52/(-20). Is w <= -5/3?
True
Suppose u - 84 - 48 = 0. Let j be (-2)/5 + u/30. Let s be 2/6 + j/6. Does s = 1?
True
Suppose -l = 2*l. Let o be (-15)/20 - l/2. Suppose 3*v - 7 = -3*f + f, -3*f - 2*v + 3 = 0. Which is greater: o or f?
o
Let d(l) = -7*l - 32. Let m be d(-5). Is m greater than -1?
True
Let u be ((-2)/(-8))/((-2)/4). Let c = 6 + -2. Let o be (4/(-8))/(6/c). Which is smaller: u or o?
u
Let c = 3 - 0. Let k(s) = -2*s - 2. Let u = -1 + -1. Let x be k(u). Which is smaller: c or x?
x
Let n = -13 - -10. Is -0.04 greater than or equal to n?
True
Let c = 93 - 65. Suppose 3*u = 5*u + c. Is u >= -14?
True
Let z(x) = x**2 + 10*x + 9. Suppose -5*q = 42 + 3. Let l be z(q). Is -1/5 equal to l?
False
Let k = -165 + 500/3. Which is greater: 1 or k?
k
Let q = 30 - 38. Which is smaller: q or -7?
q
Let v(j) = j**3 - 3*j**2 + j - 4. Let x be v(3). Suppose p - 2 = 2. Suppose 0 = -m - p*m. Which is smaller: m or x?
x
Let r = 18.2 - 24. Let w = r + 6. Is 3 greater than w?
True
Let c = 6 + -4. Let w be 4/14 + (-4)/14. Let t be ((w - -1) + c)*1. Is t equal to 4?
False
Let b = -29 - -23.5. Let u = b - -10.1. Let y = u - 0.6. Which is smaller: 1 or y?
1
Let k = 13 + -9. Let a = 0 - k. Let m = a - -6. Which is smaller: -1/3 or m?
-1/3
Suppose 2*v + 6 = -5*h, 4*h + h + v + 3 = 0. Let g be (-12)/(-22)*5/(-15). Is g > h?
False
Let j(q) = -4*q**3 + q**2 + 2*q + 3. Let n be j(-2). Suppose o - 6*o = -n. Let r be (0 + -1)*(-2)/o. Which is smaller: 0 or r?
0
Let o be (-2)/4 - (-12)/(-24). Which is greater: -2/45 or o?
-2/45
Let l = 0.5 - 0.3. Let a = -3 - -7.1. Let h = a + -4. Is l smaller than h?
False
Let g be (50/(-465))/(-5)*6. Is 1 greater than g?
True
Suppose 2*g - g + 3 = y, 3*g = 0. Let f(p) = p - 4. Suppose 0 = -2*w + 1 + 13. Let n be f(w). Do y and n have the same value?
True
Let y be 6*((-20)/8 - 1). Is -20 bigger than y?
True
Let a(r) = -r**3 - 5*r**2 + 6*r - 1. Let b be a(-6). Let w be 4*(b - -2)*-1. Which is bigger: -3 or w?
-3
Let c = -35 + 18. Let l = -25 - c. Is l != -7?
True
Let z be 40/18 + (-6)/27. Suppose -z*d = -d. Let m be 1 - (0 + 2)/2. Is d smaller than m?
False
Suppose -b = -2*g - 2*b - 6, -g + 7 = 3*b. Suppose -6 = 2*r, 0*r - 1 = 2*f - 3*r. Is g greater than f?
False
Let s = -1816/7 - -260. Which is smaller: 1 or s?
s
Suppose -x + 0*x = 1. Suppose 33 = 4*h - 23. Let g be h/(-12) + (-2)/(-3). Which is bigger: g or x?
g
Let h = -22 - -19. Let l = -2.98 + -0.02. Let p = l - h. Is 2/15 not equal to p?
True
Suppose 3*n - 6 = -2*j, 4*j = -5*n - 0 + 12. Which is smaller: 2/17 or n?
n
Suppose i + i - 3*b + 2 = 0, -3*b + 4 = -4*i. Let j be (i/3)/((-4)/12). Which is smaller: 2/21 or j?
2/21
Let i = 132/17 - 7903/1020. Is -1 greater than or equal to i?
False
Let v(i) = i**2 + 3*i + 3. Let b be v(-2). Which is greater: -1 or b?
b
Let a(i) = -i. Let v be a(-5). Suppose -2*j = v - 3. Does j = 21?
False
Let i be (-195)/42 + ((-15)/(-6) - 3). Does i = -5?
False
Suppose 5*v - 5*w - 16 = 9, w = -3. Suppose 0*j + 2*j - 6 = 0. Which is smaller: j or v?
v
Let m(r) = r**3 - 5*r**2 + 6*r - 6. Let y be m(4). Let s = y - 2. Are -1 and s nonequal?
True
Let q = 515828/6489 - 195/721. Let i = -79 + q. Which is smaller: i or 1?
i
Suppose 0*s + 5 = s. Let o be (-1)/(2*s/4). Is 0.04 < o?
False
Let j be (16/(-14))/4 + 372/273. Let k be 55/1*(-3)/117. Let h = k + j. Which is bigger: h or -1?
h
Let l(x) = -3*x - 6. Let m be l(-4). Let j be 7/m - 1/6. Let u be j/4*(-32)/12. Does u = -1?
False
Let d = 6 - 6.2. Let m = 0.7 + d. Let s = m - 0.4. Is s at least as big as -1/2?
True
Suppose 2 + 18 = 4*u. Suppose -7 = -x - u*k + 20, 4*x + 4*k = 28. Let h be (0/x)/(4 + -3). Which is bigger: h or 2/15?
2/15
Let f = 16 + -14. Is f at most as big as 5?
True
Let x be (-4)/10 - (-8)/(-15). Let v be (15/20)/((27/(-30))/(-1)). Let n = x