ich is smaller: -68/27 or l?
l
Let g = 4 + -6. Let d = 610 + -970. Let q = 1788/5 + d. Is g > q?
True
Let y be (-125655)/(-62) + 10/20. Let k = 2027 - y. Which is greater: -1 or k?
k
Let w(c) = 12*c**3 - 9*c**2 - 12*c - 6. Let u be w(4). Which is smaller: u or 571?
u
Let t(y) = y + 2. Let b be t(2). Suppose 12*h + 8 = 8. Is b <= h?
False
Suppose 6*h = 140 + 136. Let o be (1 - 2) + 96/2. Is h > o?
False
Let l = 1325/2241 + 1/747. Is l <= 1?
True
Let g = 0.7 - 0.8. Let c = g + 0.3. Suppose 5*l - 7 = -37. Is l >= c?
False
Let k = 2.1 + -2.21. Which is greater: -8 or k?
k
Suppose 10*w = -2*w. Are 0.34 and w non-equal?
True
Let n = -17 - -19. Let t = -58 - -36. Let k = t - -19. Which is greater: k or n?
n
Suppose 14*y + 16 = -2*y. Which is smaller: y or -6/287?
y
Let v be (1/3)/(-3 + 182/60). Are v and 10 nonequal?
False
Let w = -2.843 + 0.843. Which is smaller: w or -261?
-261
Let h be ((-5)/(-2))/(1/8). Suppose -h*y + 17*y = 0. Let i = y + 14. Which is smaller: 13 or i?
13
Let f = 53/5 - 229/15. Let a = 62 + -66. Is a > f?
True
Let k = -126.2 - -126. Is -3/17 greater than k?
True
Let b = 7032 + -358643/51. Are 0 and b nonequal?
True
Let n(i) = i**3 + 5*i**2 - 7*i - 22. Let x be n(-5). Suppose s - 5*s - x = 3*j, 5*s + 18 = -2*j. Which is smaller: 2/11 or j?
2/11
Suppose -8*d - 464 = -248. Are -25 and d unequal?
True
Let k(t) be the second derivative of t**3/6 - 3*t**2 - 2*t. Let x be k(7). Let d be x/((-18)/21) + 1. Is d <= -1?
False
Let g = -56 + 44. Let h be (2/8)/((-43)/g - 3). Which is smaller: h or 1/3?
1/3
Let h(c) be the first derivative of c**2/2 - 14*c + 1. Let g be h(12). Let u = 314/3 - 106. Is u > g?
True
Let l = 1.5 + -1.78. Let n = l + 0.18. Let p = -5.94 - -6. Is n greater than p?
False
Let z = -10 + 13. Suppose z*x = x. Let w = -3 + 2. Which is smaller: x or w?
w
Let g = 3 + -2. Let b = -16.31 + -3.61. Let s = b + 20. Which is bigger: s or g?
g
Let x be ((-2)/(-6))/((-14)/(-3)). Let u(v) = -v**3 + 2*v - 2. Let d be u(-3). Let s = 20 - d. Which is smaller: x or s?
x
Let p = -39 - -159. Which is smaller: p or -1?
-1
Let x = 25083/4 + -6220. Which is smaller: x or -1?
-1
Let j be -1 - 1 - (-15)/5. Let w = 978 + -2803/3. Let g = -44 + w. Which is smaller: g or j?
g
Let c be ((-21)/6)/(1/(-2)). Suppose 2*a - 2*z = -c*z - 22, -3*a = -4*z - 13. Let k be (-3)/(-35) + 2/10. Which is bigger: a or k?
k
Let u = 6 + -8. Let d(q) be the first derivative of -q**3/3 - 5*q**2/2 - 3*q - 4. Let c be d(u). Are 5 and c non-equal?
True
Let c = 60 + -54. Suppose 0 = 6*p - 3*p - 2*s - 18, s = -2*p + 5. Let g = p - c. Which is smaller: g or -4/3?
g
Let n = -16 + 9. Let d(j) = -12*j + 218. Let b be d(19). Which is bigger: b or n?
n
Let z(t) = -6*t + 20. Let q = 62 + -59. Let v be z(q). Which is smaller: v or 1?
1
Suppose 2*j = -5*f + 1, 4*f = j - 5 - 2. Suppose 0*p + 2*p + 2*o + 18 = 0, 0 = 2*p - j*o + 18. Let t be (-4 - 0)*p/12. Is 0 <= t?
True
Suppose 1981 = -4*l + 2*o - 7*o, 3*l + 1486 = -4*o. Which is bigger: -495 or l?
l
Let i(w) = -w**3 - 6*w**2 - w - 1. Let d be i(-6). Let a be 2 + (-45)/d - -2. Let x(g) = g**3 + 4*g**2 - 6*g + 2. Let r be x(a). Is r less than 7?
False
Let p be (-22)/(-3*(-2)/(-3)). Suppose p*z + 32 = 7*z. Which is smaller: -7 or z?
z
Let n be ((-98)/28)/(((-7)/(-2))/(-7)). Which is bigger: 0 or n?
n
Let i(l) = 3*l**3 - 2*l**2 - l - 2. Let w be i(2). Let r(s) = -s**2 - 7*s + 7. Let f be r(-6). Is w <= f?
True
Let b = -21 - -21. Suppose b = -9*k + 5*k - 20. Which is greater: k or -4?
-4
Let s be ((-6)/(-8))/(18/456) - -1. Is s at least as big as 14?
True
Let s = 1038 + -1051. Let q = -0.9 + 0.5. Let j = q + 0.4. Is j > s?
True
Suppose 5*i = 2*h + 3, -i + 5*h - 3 = 1. Let y = -18619/28 + 665. Is i != y?
True
Let o = 35 - -24. Suppose -5*t = 2*r - 49, 4*t + 0*t - 5*r - o = 0. Suppose -1 = 2*x - 3*b, 5*b + 2 + t = -4*x. Does -4 = x?
False
Suppose 17*j = 541 + 173. Which is greater: j or 41?
j
Let q = 223/6 + -37. Suppose -4*p = k + 2, -5*k - 1 = 5*p - 6. Suppose -k*i - j - 5 = 0, 5*i - 3 = 2*j + 7. Is i smaller than q?
True
Let a = 0.7 - 0.8. Let b = -2 + 24. Let f = -22.09 + b. Is f != a?
True
Let r = 41/189 + -2/27. Suppose 4*y = -y + 5*o + 10, 0 = 4*y + 3*o - 1. Suppose h = -2 + y. Is h less than or equal to r?
True
Let m(g) = -2*g**3 - 7*g**2 + 25*g + 12. Let n be m(-7). Is n bigger than 182?
False
Let f be -5*(6 + -4)*1/(-74). Which is smaller: -1 or f?
-1
Let g = -2690 - -591801/220. Is 0 at most as big as g?
True
Let t be -1 + 0 + (-1 - (-5 - -1)). Let r be (11 - 1) + -2 + 1. Let g be t/2 + r + -6. Is g smaller than 3?
False
Suppose 2*m = m - 42. Let g be -3 - (-2)/(-2*11/m). Do 2 and g have different values?
True
Let j be 54/4*4/24. Suppose 25 = 2*i - 9. Suppose -3*x - 5 = 4*a - 0, 2*a - 5*x = i. Is a less than or equal to j?
True
Let s(d) = 6*d - 46*d**3 + 88*d**3 + 14*d**2 - 43*d**3 - 17*d + 1. Let a be s(13). Is 27 bigger than a?
False
Suppose 480 + 6 = 27*d. Which is bigger: d or -2?
d
Suppose -259*w - 4280 = -255*w. Is -1070 > w?
False
Suppose -3*g + 4*u = -71, -2*u - 49 = -2*g - u. Let c = g - 25. Which is greater: c or -2.1?
c
Suppose -f - 5*l = -8 + 23, -4*l = -3*f + 31. Let a(m) = -m**2 + 13*m + 7. Let w be a(f). Is w > 47?
False
Suppose 2*z + 3*f = -1, z - 4*f = -0*z + 16. Suppose -3*l - 3*x - 24 = -z*l, 3*l - 56 = x. Suppose 2*y + n + 9 = 0, 0*y + l = -3*y - 3*n. Is -4 != y?
True
Suppose 2563 = 4*x - m + 667, -x + 4*m + 459 = 0. Which is smaller: x or 476?
x
Let z(i) = 2*i**2 + 7*i + 21. Let t be z(-5). Which is greater: -3 or t?
t
Let o be 1/(-8)*(-9)/24*4. Is o < 0?
False
Suppose x + 10*x - 11 = 0. Let s = -1078/5 + 175724/815. Which is smaller: x or s?
s
Let j be (-10)/14 - 6/(-42)*-2. Let h = -2 + 1. Let t = h - j. Which is smaller: t or -1/7?
-1/7
Let r = -0.87 - -0.09. Let j = r - -0.8. Let a = j - -0.08. Is -2/11 equal to a?
False
Let c = 2261 - 2261.5. Which is bigger: 10.3 or c?
10.3
Let t = 174 - 188. Which is smaller: t or -13?
t
Suppose 0 = -5*j - 700 - 720. Is j bigger than -283?
False
Let s = -16390966/209 + 78426. Let f = s + -1/19. Is f at most 1?
True
Let b = -6 + -23. Let k = b - -29.23. Which is greater: 1 or k?
1
Let x = -3 - -8. Suppose -x*z + 3*k = 2, 3*z = -z + 3*k - 4. Suppose z*f = 2*p + f, -5*f = -p + 9. Which is smaller: p or 0?
p
Let r be 2/(-9) + (-2)/(-9). Suppose 3*a - 162 - 270 = 0. Let d be (-74)/a - 18/48. Is d at least as big as r?
False
Let r be 2/(-1*(1 - 0)). Let g be (-34)/17*(-2)/((-52)/(-1409)). Let u = g + -109. Is u <= r?
False
Let q be ((-900)/(-54))/(3/(-9)). Which is smaller: q or -51?
-51
Let j be -6*7/42 + 338/336. Which is smaller: j or 0?
0
Let f be (-4)/6 + 2/(-6). Let y be (-16)/(-7) - -6*(-2)/42. Let r be (21/9 - y) + 4/60. Which is smaller: r or f?
f
Let f(n) = n - 8. Let q be f(6). Let j = q - -5. Suppose 3*t - 4*p + 7 = -4, 2*t - 16 = -2*p. Is t greater than j?
False
Let a = -11 + 6. Let j = a - -3. Is j <= -2?
True
Let c = -217 + 172. Which is smaller: c or -46?
-46
Let z be 2*3/8 + 1030/(-40). Let n = 25 + z. Which is smaller: 2/203 or n?
n
Let c = 4.71 - 4.71. Is c less than 0.615?
True
Let g = -1.97 - 21.39. Let a = -23 - g. Which is bigger: a or 0?
a
Let k(a) = a + 4. Let p be k(2). Suppose 4*u + 4*d + 12 = 0, 2*d - 4 + p = 2*u. Which is smaller: 2/7 or u?
u
Suppose 22*z + 5*z - 27 = 0. Let q = 8 + -8.05. Is q less than z?
True
Let x = 985/6 + -164. Which is smaller: x or 8/5?
x
Suppose 151 = -34*x - 87. Let q be (-5)/(0 + 3/3). Which is bigger: x or q?
q
Let b(z) = -z**2 - 15*z + 45. Let c be b(6). Do c and -79 have the same value?
False
Suppose -21*l + 20*l + v = 7, l - 2*v + 8 = 0. Which is greater: 0 or l?
0
Let z = 33 - 6. Suppose -3*t + 105 = -z. Is t > 45?
False
Let h(v) = -v**2 + 5*v + 9. Let x be h(8). Let f be 2/2 + 3*3/x. Which is bigger: 0.3 or f?
f
Let f = -2.76 + 3.1. Let c = f - 2.04. Let u = 7.7 + c. Is u < -1?
False
Suppose -63*u = -60*u. Let a = 4 - -1. Suppose -a*t = -4*v + v, u = -5*t + 5*v + 10. Is 0.1 < t?
False
Let m = -633773/572 - -1108. Do m and 1 have different values?
True
Let p(h) = 2*h**2 + 2*h + 9. Let d be p(-4). Let a = d - 34. Do a and -10/7 have the same value?
False
Let r = 971 + -1553. Are r and -581 non-equal?
True
Let k be (240/(-135))/((-74)/3). Is k > 0?
True
Let q = -2.32 + 2.24. Which is greater: -15 or q?
q
Let