 -8*r + 5133 = 5157. Which is greater: -185 or r?
r
Let r = -1.11 + 1. Let v = 5057 - 5062. Which is smaller: r or v?
v
Suppose 24 = -a + 3*a. Suppose -5*g + 1 + 4 = 0. Let s be a/(-33)*g/2. Is -0.1 greater than s?
True
Suppose 5*c = -2 - 68. Let t = 5.89 + 0.11. Let u = t - 5. Is c < u?
True
Let s(v) = -v**2 + 23*v + 75. Let d be s(23). Which is greater: d or 0.06?
d
Let z = -28.5 - -36. Let f = z - -2.5. Let s = f + -10.6. Which is greater: 0.2 or s?
0.2
Let m be 280/45 - 2/9. Let a(u) = 3*u**3 - u + u**2 - 5*u**2 + 2*u**2 - 2*u**3. Let p be a(3). Are p and m equal?
True
Let u(h) = -5*h**2 - h + 3. Let i be u(-6). Let r be ((-2)/12)/(i/(-27)). Is 0 greater than r?
True
Let p = -1864/15 + 380/3. Which is bigger: 3 or p?
3
Let h(i) = -i**3 + 31*i**2 - 150*i + 10. Let q be h(25). Which is bigger: q or 2?
q
Let s = 12589/442 - -4/221. Is s smaller than 29?
True
Let p(y) = y**2 - 4. Let i be p(2). Let s be 12/(-20) + (-424)/(-15). Let f = 406/15 - s. Is i greater than f?
True
Let g = 93 - 87. Let t be (1 - (-39)/(-126)) + (-3)/g. Do 0 and t have the same value?
False
Suppose 2*v + 0*v = 0. Let x(p) = -p**3 - 2*p**2 + 2*p - 2. Let c be x(-5). Let k = -755/12 + c. Which is smaller: v or k?
v
Suppose -2*x = -3*x. Suppose x = 5*p + 29 + 51. Let r be (60/p)/((-9)/(-24)). Are -2 and r non-equal?
True
Let l be (-102 + -29)*(-1 - -2) + -3. Is -134 <= l?
True
Suppose 0 = -4*g + 8 + 4. Suppose -1 = t - g. Let d be (t/30)/(12/(-36)). Is d less than or equal to 0?
True
Let z be (-4 - -2) + 14 - -3. Let b be z/3 - 0 - 1. Is 6 not equal to b?
True
Let d(z) = -2*z**3 - 26*z**2 - 38*z + 25. Let o(i) = -i**3 - 13*i**2 - 19*i + 12. Let u(x) = -4*d(x) + 9*o(x). Let l be u(-11). Which is smaller: l or -26?
-26
Suppose -5*s + 17 = 2. Suppose s*q + 153 - 48 = 0. Which is smaller: -34 or q?
q
Let u = 11/21 + -8/21. Let l = 0.11 + -59.11. Let t = 59.1 + l. Is t < u?
True
Let w(u) = u + 15. Let v = 14 + -30. Let l be w(v). Is l at most 2/15?
True
Suppose 3*y - 3*o = 42, -5*o = -2*y - 8*o + 33. Is 15 > y?
False
Suppose b - 2 = 3. Let d = -7 - -19. Let h = 16 - d. Is h >= b?
False
Let o = 1843 + -2131. Is -1 < o?
False
Suppose 5*l + 4 = o, 3*l - 2 + 8 = -3*o. Let y = 502897267/976906 + -1/69779. Let j = -515 + y. Which is bigger: j or o?
j
Suppose -20*k - 655 = -235. Suppose -3*c + 2*c - 2*m - 15 = 0, -3*c - 4*m = 51. Is c less than k?
False
Let j(m) = -6*m**3 + 7*m**2 - 4*m - 12. Let l be j(-5). Which is bigger: 932 or l?
l
Let f be 13/(-2)*2*-13. Suppose p + f = -3*a, -4*p - 959 = -4*a - 267. Let k = p - -351/2. Is 4 <= k?
False
Let y be 5 - 7 - (1 - 1). Let s = -215 + 215. Is s != y?
True
Suppose s = -12 - 8. Is s bigger than -13?
False
Let u = -0.099 + 0.079. Which is bigger: u or 22?
22
Suppose -15*o - 473 = -4*o. Is o less than or equal to -27?
True
Suppose -p - 1 = -l - 2*p, 3*l + 5*p = 9. Suppose -5*i = 4*t + 2 - 27, -3*t + i = 5. Which is smaller: t or l?
l
Let d = 1.73 - 2.84. Let g = 0.11 + d. Which is greater: 4 or g?
4
Let a(l) = -l**2 + 11*l - 15. Let s be a(9). Which is greater: s or 56/19?
s
Let j be 3708/60 - 2/(-10). Let z be j/133 + 8/(-14). Let v = 3.1 - 3. Which is greater: v or z?
v
Let t = 23 - 22.854. Let m = 0.246 - t. Let x(s) = 5*s - 3. Let f be x(3). Which is greater: f or m?
f
Suppose -2*z + 0 = 2*m - 6, -3*z + 9 = 2*m. Are m and 5/8 nonequal?
True
Let v = -52.6 - -61.6. Which is greater: -0.39 or v?
v
Suppose 3*q = -2*q + 25, 3*q = 3*p + 300. Is 2 at least p?
True
Suppose 5*f + 191 + 139 = 0. Is -65 not equal to f?
True
Let s be (-12)/2*(-41)/(-2911). Is 0 smaller than s?
False
Let j = 1 - 1.1. Let c = 2126 - 2131. Which is greater: j or c?
j
Let i = -0.09 - 1.31. Let o = -21.5 - -22.91. Let v = i + o. Is 1 less than v?
False
Let m(p) = p**3 - 10*p**2 + 10*p - 8. Let u be m(9). Let v be u/5 - (-131)/20. Let g = v - 7. Which is greater: 5 or g?
5
Let t be (11 + 3)*(-3 - -2). Let s = t + 32. Is s at most as big as 19?
True
Let g = 35 - 187. Is -152 at least g?
True
Suppose 0 = -5*d + 10*d. Suppose 2*i - 2*s + 12 = -3*s, 4*s = -3*i - 18. Let a be (-3)/(-4)*4/i. Which is smaller: a or d?
a
Suppose 3*j + 4*l - 2 = 0, -2*l - 46 = -5*j + 2*l. Let c be 2/5 + j/(-15). Is c less than or equal to 0?
True
Suppose -2 = 5*g - d - 2*d, 4*g - 16 = -2*d. Let t be g/(-3)*81/(-18). Suppose -t*w = -3*c + 3, 4 = -0*c + 2*c - 4*w. Does 0 = c?
True
Suppose -32*d + 31*d + 48 = 0. Suppose 84 = -3*l + d. Is -9 less than or equal to l?
False
Suppose 2*o - 2 + 26 = 0. Let d = 8 + o. Which is smaller: -5 or d?
-5
Let q(x) = -38*x**2 + 40*x - 211. Let s be q(5). Is -961 greater than s?
False
Let z = -879445/108 + 8143. Suppose 0 = 2*y - 2*g - 8, -3*y = 2*g - 4*g - 8. Which is smaller: z or y?
z
Let s = -2829 + 138616/49. Which is greater: s or 1?
1
Let d = -1.19 + 2.19. Is d at most -21/5?
False
Let x = 1974.1 + -1832. Let l = 142 - x. Is l > 2/47?
False
Let i be 0 + 4 - 3384/864. Which is smaller: -37/6 or i?
-37/6
Suppose -3*g = -m - 5 - 2, 4*g + 92 = -4*m. Suppose 4*b = 3*q - 57, -b + q + 182 = 195. Is m less than b?
True
Let r = -4247/20 - -212. Let k be (-3)/(-4) + 9 + (-78)/8. Is r smaller than k?
True
Suppose 5*q - q - 16 = -4*k, -14 = -4*q - 2*k. Let t(p) = p**2 - p - 3. Let h be t(0). Let i = 1 - h. Are i and q unequal?
True
Let h(r) = -2*r - 17. Let w be h(9). Let v = w - -21. Let x be 1 + (38/v - -2). Is -1/4 at least x?
False
Let k be 90/156*64/(-6). Which is smaller: -1 or k?
k
Suppose -2*b + 4*a - 2*a - 16 = 0, -4*b - 37 = a. Let n(z) = -3*z + 0*z + 5*z + z + 7. Let u be n(-5). Which is greater: u or b?
u
Let y(v) = 12 - 9 - 2*v + 18. Let h be y(7). Which is smaller: 9 or h?
h
Suppose 0 = 4*s - 3 + 23, -s = -2*o - 19. Let j be ((-4)/o)/((-2)/(-6)). Let i be (1/(-15))/(4/16). Which is greater: j or i?
j
Let d = 0.045 + 0.165. Let g = d + -0.31. Is g > 10?
False
Let n = -50/19 - -3581/1368. Suppose 2*a + 1 = -3*q - 8, -2*a - 1 = -5*q. Which is greater: q or n?
n
Let j = 0 + 4. Suppose -2*m - 13 = -j*i - 37, 0 = -5*m + i + 33. Let r = 9 - 2. Which is smaller: r or m?
m
Let n(i) = -i**2 + 13*i + 36. Let h be n(15). Let j = h + 5/3. Which is bigger: 9 or j?
9
Let i be (-1)/(-12)*1000/6. Let l = i + -8107/585. Which is smaller: 0 or l?
0
Let h be (-2 + 0/(-7))/(-47). Which is smaller: 2/11 or h?
h
Let n = 1705/732 - -1/244. Let b = -3 + 4. Which is greater: n or b?
n
Suppose -2*a + 3*u - 2*u - 12 = 0, 2*a + 22 = -4*u. Let r be (a/3)/((-4)/(-12)). Let m = r + 14. Which is smaller: m or 6?
6
Let n(m) = m**2 - 6*m + 7. Let p be n(3). Let x be p*(-10)/6 - 4. Is 0 less than x?
False
Let k = 18 + -12. Suppose 8 = -k*h + 2. Is 1.3 < h?
False
Let n be 1/((-1 - 3)/(-8)). Suppose 5*m + k + 17 = -n*k, 3*m + 7 = -k. Let u = -59 + 173/3. Do u and m have the same value?
False
Let b(x) = 2*x**2 + 21*x - 5. Let a be b(-4). Is a >= -57?
True
Suppose -2*x - 2*c + 10 = 0, c - 29 = x - 6*x. Let z be (-498)/(-20)*(-8)/x. Let n = -33 - z. Which is bigger: -0.1 or n?
n
Let z be (2*-838)/((-54)/27). Which is smaller: z or 837?
837
Let w = -845 - -845.175. Is 2 < w?
False
Suppose -s - 2*l = -2*s - 10, -l + 5 = s. Let j = -167 + 101. Which is smaller: s or j?
j
Suppose 0 = 24*u - 21*u - 21. Suppose -4*m - 5*c = -61, -u*c = -2*m - 2*c - 7. Is 9 < m?
False
Let f(k) = -k**3 - 2*k**2 - k - 2. Let s = 22 - 24. Let y be f(s). Which is smaller: y or -1/2?
-1/2
Let u = -207 - -211. Let s be ((-2)/(-21))/((-1)/(-30)). Are u and s equal?
False
Let r(x) = -x**3 - 4*x**2 + 4*x + 15. Let b be r(-8). Which is greater: b or 240?
240
Let m = -11 - -14. Suppose m*u = -5*w + 15, -6*w = -3*w + 4*u - 9. Let c = 4 + -2. Which is bigger: c or w?
w
Let g = 2.71 + -0.31. Let c = -17.6 - -17.8. Which is smaller: g or c?
c
Let t = 1290 - 1313. Which is bigger: t or -3?
-3
Let y be (-593)/788 - 102/(-136). Let x = 1049/21256 + 14359637/46061752. Let b = x - y. Which is greater: b or 1?
1
Suppose 4*z + 0*r + 5*r + 36 = 0, -32 = 3*z + 5*r. Let m = z + -8. Let v = -11 - m. Is v at most as big as -2/13?
False
Suppose -f - 1 = -2. Suppose 3 = -3*c - 57. Are c and f unequal?
True
Let f be (-23)/(5/((-30)/21)) - 5. Is f <= -9?
False
Let j be -10 + (47/2 - 9). Is j at least 5?
False
Suppose -196 = l - 3*b, 3*l - 3*b = -4*b - 618. Let k = -1847/9 - l. Let q = 2562 + -2562. Is q greater than or equal to k?
True
Suppose 12