 Does 0 = r?
False
Suppose j - 3 = 5*x - 3*j, 2*x = 5*j - 8. Is -38/5 smaller than x?
True
Let g be -1*(5 - 3) + -136. Is g not equal to -136?
True
Let k be (-21)/2 - (-2)/4. Let z be k/6*(-8)/340. Suppose -86*w + 91*w - 4*n = 16, -8 = 2*w + 2*n. Is z greater than w?
True
Let w = -3.77 + 3.8. Let p = 12 - 11. Which is smaller: w or p?
w
Let z(a) = 2*a + 10. Let b be z(-11). Let v = -56 - -112. Suppose -3*o + 6*o - 5*s = -38, 5*o = s - v. Which is greater: b or o?
o
Let t = -106.96 + 133. Let w = 26 - t. Is 7 smaller than w?
False
Let h(z) = -z**2 + 8*z - 15. Let c be h(11). Suppose -6*q + 5*q - 50 = 0. Which is smaller: c or q?
q
Suppose -106 - 91 = -3*s + 5*j, -2*j + 349 = 5*s. Which is bigger: s or 68?
s
Let r be (18/8)/((-11)/396). Is r <= 0.1?
True
Suppose 4*i = -n - 12, -2*n + 6*n + 63 = -i. Let l be (-92)/n + (-2)/(-8). Suppose 2*w + w = -l. Which is greater: w or -6/7?
-6/7
Let w be 1 + (-1 - 15)/(-4). Suppose -4*r - 30 = 5*y - 1, -w*y + 7 = -2*r. Which is smaller: r or -7?
-7
Let d = 1031 + -1032. Which is bigger: d or -2/3909?
-2/3909
Let g(u) be the first derivative of -15*u**2/2 - 18*u - 41. Let f be g(-5). Is 56 < f?
True
Let f = -10.065 - -0.065. Let g = -0.2 + 0.2. Which is greater: g or f?
g
Let p = -741 - -39275/53. Is -1 bigger than p?
False
Suppose 5652 + 1528 = 20*w. Is 360 smaller than w?
False
Let d be (-7483)/(-119) + (-4)/(-34). Let v = -64 + d. Let g be (-8)/5 + 0/(-2). Which is bigger: g or v?
v
Let r(t) = 11*t - 56. Let q be r(5). Which is smaller: q or -2/53?
q
Let b be (9/(-4))/(240/640). Which is greater: b or 12?
12
Let x = 33 + -33.1. Let z = 19 + -44. Is x < z?
False
Let l(r) = 29*r + 11. Let a be l(-2). Let p = a + 50. Is p < 20/11?
False
Let p(h) be the third derivative of -h**4/8 + 3*h**3 + 7*h**2. Let f be p(6). Is f at least as big as 4/5?
False
Suppose 4*p + 429 + 355 = 0. Is p <= -196?
True
Let s be ((-197181)/45)/(953/(-3)). Let m = s - -6/953. Is 15 <= m?
False
Let t = -27 + 16. Let x be 4 + t/17 - 3. Is 1 bigger than x?
True
Suppose -90 = -7*z - 83. Is z <= -14/47?
False
Let l(o) = 2*o**3 - 3*o**2 - o + 11. Let d be l(2). Which is smaller: d or 0?
0
Let c be (-4 - 35/(-4)) + 0. Let i = 9/2 - c. Suppose 2*x + 3*x = -5. Is x greater than or equal to i?
False
Let s be (-17 + 19)*83/(-2). Let b = -5 - s. Is b <= 0.1?
False
Let s(o) = -o**3 + 15*o**2 - o + 1. Let d be s(16). Is -274 != d?
True
Suppose 6*s + 4*l = 9*s - 82, 3*l - 76 = -4*s. Is 540/23 greater than s?
True
Let a = -0.45 - -0.96. Are a and 1 non-equal?
True
Let b = 0.9506 - -0.0494. Which is smaller: 212 or b?
b
Suppose -5*s - 5 = -5*f, -f + 6*f + 45 = -5*s. Let q = f + 7. Let z be 17 + -3 - (4 - q). Which is smaller: z or -1?
-1
Let d = 527/66 + -49/6. Does 4 = d?
False
Suppose -10*y + 352 - 1242 = 0. Are y and 1 unequal?
True
Let d = 78.979 + 0.021. Let l = 42 - d. Is -1 < l?
False
Suppose -1420 = -12*h + 10*h. Let z = h + -7796/11. Which is bigger: z or 1?
z
Let s = 9.87 - -0.13. Let k = s + -11. Which is bigger: 4 or k?
4
Let w = -33 + 18. Let q = w + 17. Let a = q + 0. Are a and -2/5 equal?
False
Let c be (-7542159)/(121 + 0 + -2). Let p = c - -63380. Let w = p - -1/17. Which is greater: 1 or w?
1
Let m = -2.8 - -1.9. Let o = m - -0.9. Suppose -45 = 7*x - 2*x. Which is greater: x or o?
o
Suppose 0 = -5*d - 2*c - 3750, 2*c + 1678 = -2*d + 172. Let u be (44/36 - 1) + d/3285. Which is smaller: u or 0?
u
Let i be 4/(-8)*(-24)/12. Is 1 at least i?
True
Suppose 8 = -8*o + 8. Suppose o = d + 5*d. Which is bigger: d or -12?
d
Let i = -52 - -54. Which is greater: i or 8/3?
8/3
Let n(k) = 17*k + 332. Let g be n(-20). Which is smaller: -31/4 or g?
g
Let d = 8 + -11. Let c = 32 - 25. Suppose -28 = c*b - 0. Is d at least b?
True
Let f = 0.9883 + 0.0117. Is -264 greater than f?
False
Let x = -2.4 - -2.1. Which is smaller: -2/53 or x?
x
Let w = -1/14199 + 1036547/283980. Let j = -37/5 + w. Let m = j - -7/2. Is m greater than 1?
False
Let y be ((-60)/21 + 2)*-7. Let g be 22/y - (-7)/21. Let k = g - -4. Does k = 8?
True
Let t be 8/(2/1) - 2. Suppose -t*y = -9 - 1. Let d be (y/7)/((-42)/(-49)). Which is smaller: d or 1?
d
Let q be 4/6 - ((-14696)/(-84))/(-11). Does q = 16?
False
Let i = -423/2 + 30035/142. Let y = 431 - 430. Which is smaller: y or i?
i
Let d = -25654/1131 - -6/377. Is -24 < d?
True
Suppose -3*h + 9747 = 6*h. Let d be 665/h + 1/3. Which is greater: 1 or d?
1
Let z = -1.96 - -2. Let l = -1131 + 1135. Which is smaller: l or z?
z
Let x(z) = z**3 + 11*z**2 + 35. Let b be x(-8). Which is bigger: 228 or b?
228
Let u = -3/149 - -155/298. Is 5/8 not equal to u?
True
Let y = -8 + 7. Let t(i) = 3*i**3 - 3*i - 2. Let h be t(y). Let d be (1/h)/((-2)/(-24)). Is d equal to -4?
False
Let y(w) = -w**3 + 3*w**2 + 5*w - 5. Let m be y(4). Which is bigger: m or -2/83?
-2/83
Let z be (-12)/6*11/(-2). Suppose z*j = 14*j + 6. Let b = -20/39 + -2/13. Is j bigger than b?
False
Let s be (1 + -3)*3/(-5). Suppose 8*d + 29 = 45. Which is smaller: s or d?
s
Let x = 0.2 + -0.8. Let o = x + 0.6. Let m be ((-42)/399 + (-30)/(-646))*-2. Which is bigger: o or m?
m
Let m = 159 - 159. Let g be 6/10 - (1 - 1). Is g less than m?
False
Let f = 15 + -21.8. Let n = f + 1.8. Let k = -6 - n. Which is bigger: k or 5?
5
Suppose 4*n - z = -37, 0 = -n + z + z - 11. Let h be -46 + n/((-18)/(-6)). Which is bigger: 1 or h?
1
Let z = 425/638 + -18/29. Does z = 1?
False
Let r(a) = a**2 - 4*a - 4. Let u be r(5). Let w(s) = -s**3 + 8*s**2 + 13*s + 7. Let c be w(10). Let p = c + 251/4. Which is greater: u or p?
u
Let o(x) = 11*x - 218. Let i be o(-10). Is i > -328?
False
Suppose 15*q + 42 = -18. Suppose -5 = -4*k - y, 3*k = -4*y + 2 - 8. Suppose k*a = -9 + 3. Which is smaller: a or q?
q
Let f be (-2)/(-2) - (5 + -1 - -2). Let z = -0.07 + 4.07. Let c = -5 + z. Is f at least c?
False
Let c be (-4)/(-6) + (-1320)/814 - -1. Is 0 at most as big as c?
True
Let k = 1249.6 - 1250. Which is smaller: k or -3?
-3
Let g = 1231.9 - 1232. Which is bigger: 2/327 or g?
2/327
Suppose 638 = -683*t + 654*t. Let l be -1*1*(-23)/(-1). Which is bigger: l or t?
t
Suppose 21*g - 19*g - j = 0, 3*j + 6 = 0. Which is smaller: 16/99 or g?
g
Let h = 1722/34561 + -5/107. Is 0 > h?
False
Let y = 240.109 - 240. Is 1 < y?
False
Let j be (7 - 145/20) + (-1038)/(-4728). Which is smaller: -1 or j?
-1
Let r(h) = -h**2 - h + 3. Let y be r(-5). Let f = y + 18. Let o be f*-2 - 21/(-3). Is o greater than 5?
False
Let z(o) = o**2 - 10*o + 4. Let w be z(10). Suppose 91 = -w*p - n, 2*p - 2*n + 41 = -n. Which is greater: -21 or p?
-21
Suppose -3*k + 15*k - 2136 = 0. Which is smaller: 177 or k?
177
Let v = 62.8 + -62.4. Which is smaller: v or 1/3?
1/3
Let j = 291 - 563. Let f = j + 6259/23. Which is smaller: -1 or f?
-1
Suppose 4*l - 22 = 2*p, 0 = 3*p - p + 2. Suppose -z = o - 3, l + 0 = 3*o + z. Do o and -1/4 have different values?
True
Let b be (-1)/2*(-148)/(-2). Let n be 10/(-16)*b/5. Let m = -17/8 + n. Is m < 4?
True
Let j be -4*2/(-24)*9. Let c be (-3)/(-36)*j*-1. Which is smaller: c or -50?
-50
Let j = -0.045 + -2.155. Let z = j + 2.5. Let a = 35/17 + -699/323. Do z and a have different values?
True
Let t(u) = u**2 + 6*u + 3. Let k be t(-6). Let d = k - 2. Let g = -13/11 + 149/154. Is d equal to g?
False
Suppose -2*t - 2 = x, 73 = 3*x - 7*x + 5*t. Is -7 at most x?
False
Let f = 2.09 + -1.09. Let z = 37.8 - 45. Let y = -7 - z. Is f >= y?
True
Let s = -18 + 25. Let o(c) = c**3 - 4*c**2 + 2*c + 2. Let w(v) = -v**3 + 5*v**2 - 3*v - 3. Let l(a) = -3*o(a) - 4*w(a). Let n be l(s). Is 0 < n?
False
Let z = -16 - -14. Let y be (-1 - z)*1 - 23. Let d = y - -16. Which is bigger: d or -4?
-4
Suppose 4*l + 2*g = -336 + 118, -5*l - 5*g - 280 = 0. Is l greater than -42?
False
Let v = 91 + -254/3. Let r be (5/(-16 + 21))/((-1)/(-5)). Is v at most as big as r?
False
Let m = -6.1 + 8. Let v = 2 - m. Are -1/25 and v unequal?
True
Let f = 287.9 + -323. Let o = f + 35. Is o != 0.046?
True
Let r be (0 + 14)*8/(-16). Let n = r - -7. Is -2/53 != n?
True
Let w = 263.1 - 263. Which is greater: w or -0.62?
w
Let r be 1*(-9 - 1 - -2). Let l be (4 + 4 + r)/(4/(-2)). Let i = 204/5 + -41. Which is bigger: l or i?
l
Let g(m) = -m**3 + 8*m**2 + 5*m + 6. Let r be g(8). Let o be r/90 - (-6)/(-15). Let v = -0.9 + 1. Which is smaller: o or v?
v
Let l be 173 + -4 - (-