e
Let a be 620/1530*-3 + 4/(-34). Is -1 at least as big as a?
True
Let y be (4/6)/((-2)/(-3)). Let f(z) = -71*z - 55. Let s be f(-12). Let b = s - 23110/29. Which is bigger: b or y?
y
Let y(r) = 32*r**2 + 191*r - 7. Let l be y(-6). Do l and -8/49 have the same value?
False
Let j(c) = 8*c**3 - c - 1. Let l be j(3). Suppose 78 = -5*m - l. Do 2 and m have the same value?
False
Let r = 205 - 205. Is -21/29 smaller than r?
True
Let f(q) = -q**3 + 7. Let j be f(0). Suppose -11*l = -j*l - 12. Suppose 0 = 3*h - 2*t + 7, 2*t - l + 0 = -h. Which is bigger: h or 1?
1
Let h = -402.7 + 517. Let c = -135 + h. Let w = 21 + c. Which is bigger: w or 0?
w
Let i = 658.879 - 659. Which is greater: -0.3 or i?
i
Suppose 586 = -21*k - 5651. Is -296 less than or equal to k?
False
Suppose -2*u - 5*s + 22 = 0, -2*u + s - 4 = -2. Which is smaller: u or -2/283?
-2/283
Let z be (-1 - -7*146)/(24 - 23). Let w = -26543/26 + z. Suppose 2 = -5*j - 2*a, -2*j + 5*a = -7*j - 5. Is j less than w?
True
Suppose -4 = 9*j + 14. Let u = 8 + -12. Are u and j non-equal?
True
Let n be -41 - -1*(2 - 4). Let x = n - -40. Suppose 0 = 2*m + 2 - 0. Is x greater than or equal to m?
False
Let a be 3 + (-1)/3*-3 + 1. Suppose -5*f + 19 - 2 = -3*g, -g + a*f + 11 = 0. Which is greater: -1/6 or g?
-1/6
Suppose -9*c = -2*a - 14*c + 86, -5*a + 246 = -3*c. Which is greater: a or 50?
50
Suppose 15 = 3*v + 3*p, 4*v + 5*p - 24 = -0*p. Is -9/58 at least as big as v?
False
Suppose -3*d = -0*d - 111. Let v = 62 - d. Are v and 24 nonequal?
True
Let c be (282/4)/(290/(-20) - -14). Are c and -137 equal?
False
Suppose -10 = 2*x, 0 = 2*g + x + 8 + 11. Let k(t) = -t - 14. Let r be k(g). Let l be (-3)/r + 312/(-91). Which is smaller: l or -4?
-4
Let i = 19/10 + -137/80. Let j = 18 - 18.29. Let r = 0.29 + j. Do i and r have the same value?
False
Suppose 6*t - t = 155. Let b = -33 + t. Do b and -1/2 have different values?
True
Let s = 43 + -25. Let m be (-22)/99 - (-13)/s. Is m smaller than -1?
False
Let u = 6 - 22. Let i = 16.1 + u. Is 13 >= i?
True
Suppose -3*v - 3*v = 12. Let h = 257659 - 99713821/387. Let q = -1/129 - h. Do v and q have the same value?
False
Let t = 523/3 + -175. Let h(i) = i - 11. Let g be h(6). Let a = -3 - g. Which is smaller: a or t?
t
Let n = -7.3 + 7.77. Let g = 0.07 - n. Which is bigger: g or -2?
g
Let w(p) = -6*p. Let f be w(3). Let t = 119 - 128. Let l = t - f. Which is bigger: l or 7?
l
Suppose 0 = -p + 2*u - 6, 3*p - 11 = u - 9. Let j(b) = -b**2 - 9*b - 5. Let t be j(-8). Is p at least as big as t?
False
Let a(s) = s**2 + 12*s + 20. Let f be a(-10). Let m = -5 + 8. Suppose t - m*t = f. Which is bigger: t or -2/21?
t
Let m = 84 + -69. Let t = -10 - m. Is t at least -26?
True
Suppose -3*d + u = -d - 10, 4*d = 4*u + 20. Suppose -6*j = -d*j + 1. Let k(z) = -3*z**2 + z + 2. Let r be k(j). Which is smaller: -4 or r?
-4
Let j = 4.9 + 0.1. Let v = 5 - j. Let c = 10.4 - 10.7. Which is smaller: c or v?
c
Let n be (-6)/(-16)*-10 - -1. Let m be (210/(-15) + 13)*2. Which is bigger: m or n?
m
Let t = -13.03 - -3.79. Let l = 0.24 + t. Which is smaller: -0.1 or l?
l
Suppose -54 = -3*d + 3. Which is smaller: d or 24?
d
Let l = -108 - -114. Suppose -10*k = -l*k + 68. Is k at least -18?
True
Let x be 6/(-2)*(-2)/10. Suppose 0*t + 52 = 4*t. Suppose 4*r = 2*r - 5*u + 22, -t = -5*r - 2*u. Which is smaller: x or r?
x
Suppose -x + 28 + 20 = 0. Which is bigger: 49 or x?
49
Let w be (30/(-9))/((-1)/(-3)). Suppose 1 = g - 2*p + 5, -2 = g - p. Suppose n + t = -12, g = -2*t - 5 - 1. Which is bigger: w or n?
n
Suppose 0*t + 16 = 4*t. Suppose 0 = -t*g + 20 - 12. Is g greater than or equal to 4?
False
Suppose -585 = 111*y - 7467. Which is bigger: -4 or y?
y
Let r be ((-44)/14)/(((-104)/(-13))/(-256)). Are r and 102 equal?
False
Let g = 926969/7854 - 45/374. Let h = g + -118. Is -2/11 at least h?
False
Let d = -1.4 + -0.6. Let l = 69 + -80. Is d <= l?
False
Suppose -81 = 6*t - 15. Let a be 1/(-4) - (-138)/8. Let p = a - 27. Which is bigger: t or p?
p
Let l be -3*2*(-2)/3. Let k = 30 - 28. Suppose -k*z - 2*z + n + 12 = 0, -l*z = -3*n - 12. Is 3/2 <= z?
True
Let o = -1834 + 23740/13. Is o >= -8?
True
Let a = 140 + -137. Suppose 3*g + 30 - 12 = -f, -a*g = -f. Let y(q) = q - 2. Let r be y(-6). Which is smaller: r or f?
f
Suppose 0 = c - b + 3, 2*c + 3*c = -4*b - 6. Let a be (c/45)/((-16)/24). Let k = -2/5 + a. Which is smaller: k or -1?
-1
Suppose 0 = c + 10 - 38. Suppose -y - c = 11. Are -39 and y equal?
True
Let t = 364.3 + -58.3. Which is bigger: t or 1/3?
t
Let m be (-34)/(-8) - 9/36. Suppose 6*s - 60 = m*s. Is s less than 29?
False
Suppose 5*w - 3*r - 78 = 0, -2*r - 25 = -2*w + 7. Suppose 3*i - 9 = 0, -v + w = 3*v - 3*i. Let t be (-9)/v + 65/46. Which is smaller: t or 1?
t
Let x be 101 - 3*8/(-4). Is x < 108?
True
Let h(l) = l**3 + 2*l - 1. Let j be h(0). Let u be j/5 + (-18)/(-30). Which is bigger: u or -2/5?
u
Suppose 4*j + 24 = 3*j. Let d be (0 - (0 - -1)) + -24. Is d greater than or equal to j?
False
Suppose -5*c = -3 - 7. Let o(f) = 4*f - 3. Let m be o(c). Let i be (-2)/(-11) + (450/11)/6. Which is smaller: i or m?
m
Suppose 3*z + 28 + 125 = 0. Suppose 0 = 5*f + 102 + 153. Is f < z?
False
Let d = 13 + -13. Let c = d + 10. Are c and -2/7 nonequal?
True
Let s(g) = g**3 - 7*g**2 + 6*g. Let d be s(6). Let h be d/1 + (-1)/10. Suppose -3*m = -2*m. Which is smaller: m or h?
h
Let u be 1/(1/(-72))*645/(-860). Which is smaller: 3 or u?
3
Let v(a) = -a**3 - 2*a**2 - 3*a - 4. Let i be v(-2). Suppose 2*u + i*u = 5*x - 2, 3*x + 6 = 0. Is -4 at least u?
False
Suppose 8*a - 19 = 21. Let b(s) = -8*s + 43. Let n be b(a). Which is smaller: 0 or n?
0
Let h be 16*(-1)/2 - -8. Which is bigger: -8 or h?
h
Let r be 7/70*(-41 - -5). Suppose 0 = -3*t - 12 + 3. Which is bigger: r or t?
t
Let b(j) = -24*j - 136. Let z be b(-5). Is z not equal to -19?
True
Let l = 34 - 32. Let o be 1 - 0 - (-1 + l). Let w = 0.1 + -0.3. Are o and w nonequal?
True
Let y(x) = 10*x - 16. Let t be y(6). Which is smaller: t or -0.1?
-0.1
Suppose 3 = 2*x + 21. Let v = 14653/4 + -3671. Which is bigger: v or x?
v
Let u be (136/(-40715))/(8/20). Is u != -1?
True
Let y be (-3)/(-12)*(-6 - 1). Suppose q + 3 = 0, -3 + 1 = s - 2*q. Let u = 5 + s. Is u != y?
True
Suppose a - 2*a - 6 = 0. Let u be (a - 119/(-21)) + 146/6. Which is smaller: 23 or u?
23
Let c(r) = -r**2 - 21*r - 71. Let d be c(-4). Do d and -3 have different values?
False
Let r(n) = n**2 - 2*n - 3. Let y be r(4). Let s = 169 + -254. Let l = 86 + s. Is l at least as big as y?
False
Let l = 4 - 3. Suppose -5*w - 2 = -2*s + 2, 0 = -s + 5*w + 2. Suppose -q = q - s*p - 2, 0 = -2*q - 2*p + 6. Which is bigger: q or l?
q
Let w(n) = -n + 1. Let t be w(-5). Suppose -25 = -3*h + y, 2*y - 29 = -4*h - y. Is h not equal to t?
True
Let f = -1570 - -1569.979. Is -7 greater than or equal to f?
False
Let d(x) = -x**3 + 8*x**2 - 19*x + 42. Let g be d(6). Is 0 bigger than g?
False
Let m be 1*(-610)/12 + 1/(-6). Let a = m - -49. Are 2/21 and a unequal?
True
Let f be 8/(-64)*(-1)/(-1). Let p be 2/(-6) + 2/(-6). Are p and f equal?
False
Let n = 1260 - 1261. Is 8/35 at most n?
False
Let h(w) = -w**3 + 10*w**2 - 8*w - 9. Let b be h(9). Is -1/151 > b?
False
Let m(n) be the third derivative of -n**6/24 - n**5/30 - n**4/24 + n**2. Let j be m(-1). Suppose j*f = d - 5, d = 3*f - d. Which is smaller: f or 2/13?
f
Let z = 3 - 4. Let o be -3 - (-8 - 1071/(-225)). Which is bigger: o or z?
o
Let k be 69 - 33 - (1 + 3)*-1. Which is greater: 39 or k?
k
Let g(c) = -64*c + 1637. Let q be g(25). Let b(l) = -l**2 + 12*l + 1. Let p be b(5). Which is smaller: q or p?
p
Let h be -2 - ((-7065)/(-680))/(-9). Let c = 8968/17 - 528. Let r = h - c. Is r bigger than -1?
True
Let b = 3 - 3. Suppose 4*y + 3 + 5 = b. Let z be (-14)/(-78) + (36/13)/18. Which is smaller: y or z?
y
Let s = -1648617/329 - -5011. Is -1 != s?
True
Let j = 452 - 451. Is j at most as big as -0.233?
False
Suppose 9*h = 8*h + 4. Suppose 5*o = 5*v + 20, v + 0*v + h = -4*o. Is o equal to 0?
True
Suppose -10*r - 72 = -62. Which is bigger: -7/58 or r?
-7/58
Suppose -2*j + 3*j = 2. Let x be (-1 + j - -14)*7. Let q = x + -739/7. Which is bigger: q or 0?
0
Let i be (-843 - 2)*1/(90/(-12)). Let o = -113 + i. Do o and 10 have the same value?
False
Let y = 69 + -68.5. Let t = -0.1 - y. Is -