 same value?
False
Suppose p + 3*p - 8 = 0. Suppose 3 = -3*k + 4*d - d, -p*k + 5*d + 4 = 0. Let g = k - -1. Is g >= -2?
True
Let o = -111.9 - -111.92. Suppose 2*j + 0*j = 8. Suppose -j*p - 3*y = -15, -2*p - 3*y + 15 = 3*p. Is o greater than or equal to p?
True
Let x be 86/301 - (-1013)/7. Let u = 97138/5 + -19285. Let t = x - u. Do t and 3 have the same value?
False
Suppose 5*n + 24 = 2*n. Let f be -2*((0 - 0) + n/16). Let y = 86/21 - 11/3. Is f smaller than y?
False
Let q = -0.035 + 0.205. Let i = 0.1 - 0.03. Let k = q - i. Are k and 0.16 equal?
False
Let b be (13/3)/((-1)/60). Let g be b/720 - (-1)/4. Which is greater: -1 or g?
g
Let s be (17/1)/1 - 2. Let b(q) = -q**3 - 8*q**2 - q - 4. Let h be b(-8). Suppose -h*k - 33 = -93. Is s greater than k?
False
Let v(m) = -30 - m**3 + 2*m**3 + 34 + 2*m + 4*m**2 - 3*m. Let l = -4 - 0. Let r be v(l). Which is smaller: r or 7?
7
Let y = 0.002 + -0.272. Let g = -0.843 - 3.887. Let i = y + g. Which is smaller: i or -3/2?
i
Let r = -872/5 + 174. Which is smaller: r or 3.06?
r
Let v(r) = r**3 + r**2 + r + 5. Let b be v(0). Suppose -5*q - b*d - 8 = 12, -3*q + 3*d = 0. Is -2 less than q?
False
Let x = 14.9 - 15. Which is smaller: -5/7 or x?
-5/7
Suppose 724 - 25 = -o + 7*p, 2*p - 719 = o. Is -728 less than o?
True
Let a(d) = 23*d + 82. Let m be a(-6). Let j be 3*(m/(-36))/(-7)*3. Is -5/8 at least j?
True
Suppose 21*s - 16*s = 875. Is s equal to 177?
False
Let w = -8.9 - -9. Let q = w - 10.1. Let r = 9.9 + q. Is r at least as big as 1?
False
Let n(a) = a**2 - 10*a - 20. Let w be n(10). Is w not equal to -135/7?
True
Suppose 3*b = c + 12, -29*b + 28*b = 4*c + 9. Which is smaller: c or -98/53?
c
Let x be (-80)/(-6) - -1*7. Which is greater: 20 or x?
x
Let r = -46 - -45. Let v be -3*34*(-3)/(-18). Let u = 12 + v. Which is smaller: u or r?
u
Let v(f) = -f**3 - 8*f**2 - 6*f + 5. Let p be v(-7). Let a be 5/((-3)/(-18)*p). Is -16 equal to a?
False
Let w(y) = -16*y - 4. Let f be w(-6). Let p = 2/339 + 668/1695. Is p < f?
True
Let g = -864.11 + 864. Let s = -1 - -0.4. Let y = 0.6 + s. Which is smaller: y or g?
g
Suppose w - 24 = -w. Suppose 7*r + 6*r - 169 = 0. Which is smaller: w or r?
w
Let x = 1936/5 - 387. Do x and 1/2 have different values?
True
Let u = 19 - 11. Let q = u - 17. Which is bigger: 1 or q?
1
Suppose 4*n - 5*z - 138 = 7*n, -z = 4*n + 167. Which is greater: n or 3?
3
Let y(p) = -p**2 + 6*p - 4. Let k be y(6). Let n(t) = -7*t**2 + 6*t + 1. Let b(q) = -20*q**2 + 17*q + 4. Let g(d) = 6*b(d) - 17*n(d). Let z be g(k). Is z > -10?
True
Suppose 16 = 5*l - 7*l. Let h(b) = -b**3 - 8*b**2 - b - 9. Let r be h(l). Let z = 3103/15 - 207. Is z bigger than r?
True
Suppose -5*h + 4 = -h. Suppose d - 2*d + h = 0. Let j be ((-2)/6)/(-6 - (-14)/3). Is j greater than or equal to d?
False
Let l(k) = -2*k**2 - 3. Let b be l(-3). Let u = 20 + b. Which is greater: 2/7 or u?
2/7
Suppose -3*l = -2*i + 16, 8*i - 3*i + 2 = -3*l. Let n = -163/20 - -1111/20. Let k = 47 - n. Is l bigger than k?
False
Suppose 4*z = -2*z + 60. Suppose -16 = -b + z. Suppose 8 + b = 2*t + 5*v, 37 = 3*t + 4*v. Is 2 <= t?
True
Let r = 33 + -26. Let z(b) = -3*b + 8. Let c be z(r). Are c and -13 equal?
True
Suppose 9 = -5*t + 6*t. Which is smaller: t or 7?
7
Let k(h) = -2*h - 10. Let q be k(-7). Suppose 0 = -q*u - 2*z - 0*z - 18, 0 = -u + 3*z - 22. Suppose -65*i = -73*i - 56. Is i less than u?
False
Let n = 14 + -3. Suppose 25 = 20*v - 75. Suppose -4*g + 8*g - v*m = 33, -3*g + 4*m = -24. Is g < n?
False
Suppose 2*a + 3*n + 4 = 0, -n = -3*a + 2*n + 9. Let r = 153/518 + -3/37. Which is smaller: r or a?
r
Let k = -1157/18 - -129/2. Let c be -6*2/(-32) - 0. Let r = c - 7/8. Which is bigger: r or k?
k
Let r(z) = -13 + 5*z**3 - 7*z**2 - z**3 - 3*z**3 + 18*z**2 + 9*z. Let l be r(-10). Let q be l/9 + 22/(-6). Is -2 smaller than q?
False
Let i(c) = c**3 - 14*c**2 + 13*c - 6. Let j be i(13). Suppose -2*t = l + 2*t - 8, 3*l - 5*t + 44 = 0. Is l smaller than j?
True
Let c = -39 + 52. Let u = 2.3 - -10.4. Let t = c - u. Which is greater: t or -1?
t
Let p = -154 + 152. Is 0.209 at most p?
False
Let m be (-2)/2 + 5/(-5). Let z = -1 - m. Let c = -891 + 24059/27. Is c equal to z?
False
Let h be 63/25497*6/21. Which is smaller: h or 0?
0
Suppose 31*o - 26*o - 39 = 2*a, -3*a - 3*o = 90. Let f be 26*-1 - (0 + 0). Is a less than f?
True
Let d = 0.0546 - 5.0546. Do d and 2/11 have the same value?
False
Let r = 4100 - 4102. Suppose -15 = -0*f - 3*f. Is r greater than f?
False
Let v be (-4)/8*(-10 - -2). Suppose -3 = -v*z - 15. Is -5/2 bigger than z?
True
Let l(q) = -q - 3. Let u be l(-11). Let w = 11 - u. Let g be ((12/w)/(-16))/(-2). Is g at most as big as 1?
True
Let m(p) = -p**3 + 3*p**2 - 3*p + 2. Let g be m(3). Let o be 6 + 258/(-24) - (1 + 0). Is o greater than or equal to g?
True
Let w = 14.958 - 0.258. Let d = w - 15. Which is smaller: d or -1/3?
-1/3
Suppose 1938 = -13*b - 12. Which is greater: -1060/7 or b?
b
Let f be (-5)/(-1 + 2 + -2). Suppose 0 = 5*k + 3*i - 0*i - 14, 5*k + 10 = f*i. Suppose 18 + k = -c. Is -18 at most c?
False
Let b be ((-104)/(-65))/(2/(-5)). Let u = -13/9 - -29/18. Which is bigger: b or u?
u
Let y(s) = s**2 - 9*s - 36. Let u be y(12). Let z be 60/225*(-3)/2. Do z and u have different values?
True
Let d = -224 - -91. Let q = d - -132.93. Let y(l) = l**2 - l - 1. Let h be y(2). Are h and q equal?
False
Let z = -0.0361 + 0.0061. Let v = 0.26 + 0.1. Let q = v - 0.06. Which is bigger: q or z?
q
Let a = 1/3194 - 4837/146924. Is a not equal to 0?
True
Let i = -27/322 + -3/23. Suppose 0 = -4*a + 2*t - 0*t - 10, 2*a - 5*t = -25. Which is bigger: i or a?
a
Let t = 773 - 833. Which is smaller: t or -182/3?
-182/3
Let t(w) = 5*w - w + 3 + 2*w**3 - w**3. Let y be t(-3). Let p be y/(-21)*2/4. Is 2 at least as big as p?
True
Let m = 1.355 - 0.055. Is m greater than -4?
True
Let h be (220 - 0)*(77/182)/(-11). Are h and -9 non-equal?
True
Let m = 3/4 + -23/20. Suppose -76*a + 12 = -73*a. Suppose 5*p = a*p. Which is greater: m or p?
p
Let i be (36/(-90))/(6/15). Is i greater than 159?
False
Suppose -3*s - 5*r + 25 = -15, 0 = 5*r - 25. Suppose x - 9 = s*c - 1, -2*c - 5 = -x. Suppose x*h + 3*q + 2*q = 14, -1 = -q. Do h and -1 have different values?
True
Let b be (-3)/6 - 2/(-4). Which is bigger: -6/29 or b?
b
Let h(r) = r**2 + 5*r + 2. Let o = -14 - -12. Let m be h(o). Let t be 2/(-4)*m/(-6). Which is greater: -1 or t?
t
Suppose -18*r = 3*x - 17*r - 61, -4*x = -4*r - 76. Suppose 0 = -x*h + 12*h - 40. Which is greater: h or -4?
-4
Let t be (-58)/8 - 3/(-12). Let k be 1/(-5)*3031/t. Let u = k - 88. Which is greater: u or -2?
u
Let w be (-12)/22 - (-6344128)/11622996. Which is smaller: w or 1?
w
Let l(n) = -n**3 - 7*n**2 + n + 16. Let g be l(-7). Let i be (6/g)/(20/15). Which is greater: -2 or i?
i
Let s = -8 - -1. Let y be (-6)/(-24) - ((-21)/12)/(-7). Which is greater: s or y?
y
Let g(q) = -q**3 + 7*q**2 - q + 10. Let t be g(7). Suppose i - 45 = t*f, f - i + 17 = -0*f. Are -12 and f equal?
False
Suppose -x - 2*x = 0. Let p be (-118)/(-767) - 50/(-182). Is x at least as big as p?
False
Suppose -c - 45 - 18 = -o, -5*o + 307 = -3*c. Let s = -297/5 + o. Let n = -50 + 60. Which is greater: s or n?
n
Let z = 67/228 + -4/19. Let v be (2/4)/((-219)/146). Are v and z unequal?
True
Suppose -3*o - 3*h = 5 + 4, -3*h = -o + 13. Do -12/85 and o have the same value?
False
Let p be (-16)/3*(-4 + 7). Let g be (-4)/2 + 3 + -16. Which is greater: g or p?
g
Let u = -0.73 + -0.77. Does u = -3/4?
False
Let n be 4140/(-525)*(3 + 22/(-4)). Do n and 21 have different values?
True
Suppose 2*u - 3*c - 2*c = 419, 0 = -3*u + 3*c + 615. Let i = 120 - u. Is -83 smaller than i?
True
Let u = 2486 - 62336/25. Is u <= -6?
True
Let o = 2/623 - 3167/16198. Which is bigger: 0 or o?
0
Suppose 3*y - 2*y - 30 = 0. Let b = -173 + 203. Is y at most b?
True
Suppose -19*o = -18*o - 51. Which is bigger: o or 50?
o
Let c(x) = 21*x**2 + x + 3. Let i be c(-3). Let d be (-2)/(-3)*i/14. Let j be (-3)/d*-3 + -2. Which is smaller: j or 3/13?
j
Let w = -3927/23 + 171. Is w < 0.1?
False
Let c = -6 + -682. Let s be (-4)/(c/(-6))*8/(-3). Is -1 at least as big as s?
False
Suppose 20 = 4*n, -5 = 4*b - 4*n + 3. Let w be ((-20)/(-9))/((-14)/(-21)). Which is greater: w or b?
w
Let l be 2 - (3/24 + (-1649)/(-888)). Are l and