 o + o - 2 = 0, -4*o = 2*r + 8. Let b(x) = x**3 - x**2 + x + 2. Let d be b(2). Let u = r - d. Is u less than or equal to -14?
True
Suppose 379 = 11*y - 941. Which is smaller: y or 121?
y
Let t be (-5)/((-5)/(-4)) - (-40)/8. Which is smaller: t or -2/593?
-2/593
Let u(w) = -6*w**2 - 3*w + 12. Let k be u(5). Which is smaller: k or -150?
k
Let j = 8.17 - 11.17. Which is smaller: -2/35 or j?
j
Suppose -5*f - 25 = 5*w, 4*w + 5*f + 24 = -0*w. Let x be 7*1/39 + (-1)/3. Are x and w nonequal?
True
Let r be (-6 - -7)*3/(24/(-16)). Is -2 < r?
False
Let a = 38 - 28. Suppose w - 9 = -a. Which is greater: w or -1/51?
-1/51
Suppose -2*f - 2*l + 12 = 0, f - 6 = -0*l - 3*l. Let j(m) = m**3 - 8*m**2 + 7*m - 2. Let k be j(f). Is -32 not equal to k?
False
Suppose 3*t - 2 = 3*b + 7, b + 19 = 5*t. Let k = -1773/34 - -105/2. Which is bigger: k or b?
b
Let m = 33 - 17. Suppose 24 = m*x - 19*x. Which is smaller: -6 or x?
x
Let k be 3/(3/(-2)) + 2. Suppose 3*q + 3*w = q + 795, q - 4*w = 392. Let r be (-4)/(-18) + (-196)/q. Which is greater: r or k?
k
Let r be 66/15 - 4/10. Let h(b) = 4*b**2 - 3*b - 2. Let j(x) = -x**2 + 2*x. Let y(t) = -h(t) - 5*j(t). Let s be y(r). Is -10 <= s?
True
Let z = -1568 - -32930/21. Let b(c) = -c**2 - 4*c - 3. Let o be b(-3). Suppose o = f + 4*f + 5. Which is bigger: f or z?
z
Let n(t) be the second derivative of -t**3/3 + 3*t**2/2 - 6*t. Let g be n(1). Let d be (-584)/200 + 3*g. Is d > -1?
True
Let x be 12/(48/8) + (2 - 4). Which is greater: x or 1/185?
1/185
Let q = 44515/372 + -479/4. Which is bigger: -1 or q?
q
Suppose 0 = -3*h - y - 0 + 3, -2*y = 4*h - 6. Suppose h*s + s = 0. Let k be (-2848)/(-445) - (7 - 2 - -1 - 0). Is k smaller than s?
False
Let w(t) = t**2 + 6*t - 22. Let n be w(-10). Let d(g) = -g**2 + g + 2. Let x be d(5). Let c = n + x. Is 2/35 at least c?
True
Let c = -2085 + 982. Is c at most -1105?
False
Let x = 1071/11932 + 9/314. Which is greater: x or 1?
1
Let b = 11 - 7. Suppose h + 29 = b. Let d = 37 + h. Which is bigger: 11 or d?
d
Let c = 46 - 52. Suppose -2*d + 13 = -5*u, 4*d + 18 = 2*u + 4. Is d at least c?
True
Let k = -13814635673/140032668970 - -5/11435906. Let i = 12/395 - k. Which is smaller: -1 or i?
-1
Let u = -3210151 + 73848289/23. Let s = 644 - u. Which is smaller: 0 or s?
s
Let d = -333 - -334. Let s be 3/(-3 + 6/4). Which is smaller: d or s?
s
Let s = -11581/30 + 386. Let w = -607 - -606. Is w > s?
False
Let n = -2.91 - -2.8. Let d = 105.88 - -1.12. Let z = d + -109. Is n < z?
False
Suppose -4*j + 128 = -68. Suppose -y + j = 6*y. Suppose 4*c + 17 - 1 = 2*z, z - 5 = -c. Is y <= z?
False
Let m = -1 + 2. Suppose -35*n = -29*n - 24. Which is greater: m or n?
n
Let t be -1 - 8/(-804) - -1. Let k = 587/1608 + t. Let u = 0.249 - 0.449. Which is greater: k or u?
k
Suppose -5301 - 6479 = -19*t. Is 620 greater than or equal to t?
True
Suppose 5*a + p = 19, -5*a + 4*p = -0*p - 24. Let b be 9*(16/12)/a. Let u be (-1)/(0 + b/3). Which is smaller: -1/4 or u?
u
Let m be 1/5 - 232/(-40). Suppose 3*u - m = u. Let r be 2/u*30/50. Does r = 0.3?
False
Let m = -247 + 121. Let x = m - -122. Is x less than or equal to -1/15?
True
Let w = 53 + -39. Let i = -17 + w. Is 13 at least as big as i?
True
Let s(m) = -m**3 - 11*m**2 - 10*m - 17. Let k be s(-11). Do 94 and k have different values?
True
Let m = -327/2 + 818/5. Suppose 4 = -2*d, 3*n - 2*d - 8 = 2*d. Which is smaller: m or n?
n
Let p be -1*(-32)/10*-25. Let n = p + 319/4. Is n less than 35?
True
Let z = -48 + 73. Let a = z + -17. Let r be (a/5)/((-1)/1). Is -2 at most as big as r?
True
Suppose 71*j + 15045 = -14*j. Which is smaller: j or -178?
-178
Let f(j) = -j**2 - 4*j. Let k be f(-4). Suppose -6*o - 1 + 13 = k. Suppose 17 = 5*r + 2. Which is smaller: o or r?
o
Let p = -2.8 + -1.2. Let n = p + 5. Let q = 69 + -74. Which is greater: n or q?
n
Let x be 0 + 0 - 66/(-33). Is x less than or equal to 131?
True
Let j = 0 - -3. Let d be j/15 + 9/(-15). Which is bigger: d or -1/5?
-1/5
Let q(f) = 14*f + 46. Let n be q(-10). Let h = n + 145. Which is bigger: 50 or h?
h
Let n be ((-1)/7)/(20/(-140)). Is 33/59 greater than or equal to n?
False
Let n(y) = y**2 - 7*y + 4. Let d be n(6). Let g = -5/2080284 + -19974856993/12471302580. Let u = g - -2/1199. Which is greater: u or d?
u
Let c(r) = -r**2 + 7*r + 113. Let f be c(-8). Which is smaller: f or -84/11?
-84/11
Let p be 35/40 + 5/40. Let h be (1/(-2))/((-33)/(-24)). Which is smaller: p or h?
h
Suppose 5*c + 1 = 11. Let y(o) = 3*o - 14. Let t be y(10). Suppose 0 = -2*l - c - t. Which is bigger: l or -1?
-1
Suppose 2*q - 1140 = -1208. Which is smaller: -35 or q?
-35
Suppose -2*r + 66 = -2*c, c + 28*r + 34 = 30*r. Are -31 and c equal?
False
Let f(a) = a**3 - 8*a**2 + 5*a + 8. Let n be f(7). Let x(b) = 6 - 2 + 7*b + 0 - 2. Let r be x(-1). Does r = n?
False
Let h = -1967 + 1783.2. Let c = -184 - h. Let f = 2.9 + -3. Which is smaller: c or f?
c
Let n = 12.37 + 3.73. Let f = 16 - n. Which is greater: -2/23 or f?
-2/23
Let b be (-10)/(-4)*36/795. Is b < 0?
False
Suppose 0*d + 3*d - m - 2 = 0, 0 = -2*d - 2*m - 12. Let n = d + 6. Suppose n*g = -41 + 6. Are g and -6 equal?
False
Suppose -4*l = -3*l - 3. Suppose -4*r - l = -7*r + 3*n, 2*r = 4*n + 12. Suppose 5*w - 2*s = -14, 4*w + 4*s = -s - 31. Is w > r?
False
Let y be 0 - (-11 + 522)/(-7). Are y and 59 non-equal?
True
Let o be (10 - 10)*((-15)/12 + 1). Is -2/1307 at least o?
False
Let a = -3.44 + 3.34. Which is greater: 0.071 or a?
0.071
Let m = 18 - -10. Suppose 0 = -3*x - x + m. Suppose -6 + x = u. Is 0 less than u?
True
Let v = -17678/205 + -876/41. Are v and -109 unequal?
True
Let z be (-370)/(-70) + 4/(-14). Suppose -16 = z*h - 7*h. Let c = -1 + 2. Is c < h?
True
Let v = -216.1 - -233. Do v and 0.1 have different values?
True
Suppose -377 + 509 = 11*m. Let h be 10/(-15) + (-105)/(-9). Is h bigger than m?
False
Let x = -17.3 - -17. Let l = x + -0.7. Let v = 0.2 - 0.31. Which is smaller: v or l?
l
Let b = -287.7 + 274. Let s = 14 + b. Do s and 6 have the same value?
False
Let h be 7423/(-52) - (-5)/(-20). Which is smaller: -142 or h?
h
Let u be 2*1*(12 - (27 - 21)). Do u and -25 have different values?
True
Suppose 0 = 6*i - i + 4*g + 35, 3*i = -5*g - 34. Let x be i*(-4 - 95/15). Is x at least 28?
True
Suppose 4*n - 5*t - 25 = 0, 2*n - 3*t = -6*t + 7. Suppose -n*c = -8*c + 42. Let q = 5 - c. Which is smaller: q or -10?
-10
Let g be (-9)/270*(-3)/5. Let d(w) = w**2 - 18*w + 32. Let y be d(16). Is g at most y?
False
Suppose 13*s = 12*s - 5. Let w be -9*s/((-30)/(-4)). Let m be (-4)/w*(2 - -4). Are m and -0.1 nonequal?
True
Let y be 511/37011*2/(-7). Which is greater: y or 1?
1
Suppose -6*d + 200 = 140. Let v(t) = t - 4. Let m be 0 - 2*-1 - -2. Let r be v(m). Which is smaller: d or r?
r
Let h = 251 + -218. Is 4 equal to h?
False
Suppose 5*z = 2*d - 15, 0 = 3*z + 4*d + 48 - 13. Let b be (-1 + 1/(-2))*4. Which is smaller: b or z?
b
Suppose 0 = 5*t + 2*b - 0 + 3, 4*t - b = -5. Let z = 6 - 1. Let x be t/z + 42/(-15). Which is bigger: x or -4?
x
Suppose 5*j + 7 - 107 = 0. Let i = 43 - 22. Which is smaller: i or j?
j
Let o be 0 + 78/(-287)*-7. Is 2 <= o?
False
Suppose -5*d + 3 = 3*y, -d + 2 = 4*y - 2. Let p be 4/(-1) + y + -2. Let a = -9 - -5. Which is smaller: p or a?
p
Let f be -25 - ((-4)/4 - 0). Let x be f*(2 - (5 - (0 - -2))). Which is bigger: 1 or x?
x
Let b = -1/195 - 193/390. Is -25/7 < b?
True
Let m = 2995/1539 + -142/81. Are -1 and m equal?
False
Let p be (-384)/208 - 4/26. Suppose 2*a = -5*h + 2*h - 6, 0 = -a - 2*h - 5. Let u be 2/a - (-600)/(-495). Which is greater: u or p?
u
Let v = -403 - -393. Let u(c) = -c**3 + 4*c**2 - 2*c - 2. Let l be u(4). Is l at least v?
True
Suppose -2*x + 8 = -5*o, -3*o - x + 8 = x. Let j be (o/3 - -1)*(0 + 29). Is 29 less than or equal to j?
True
Let a = 298 - 298. Let q = -4 - -6. Let z be 2*q*2/104. Which is bigger: z or a?
z
Suppose 0 = 2*n - 4*j + 6 - 2, 0 = 3*n + j - 15. Suppose y + 3 = -1, -2*w - 12 = n*y. Suppose 3*z - 12 = 3*i, i + 6 = 3*z - 8. Are i and w equal?
False
Let d(k) = k**2 - 2*k - 1. Let j be d(6). Let o = 41 - j. Let r be o/(-99) - 72/(-154). Does -1 = r?
False
Suppose -l + 36 = 3*l + 4*u, -l - 3*u + 7 = 0. Let s(v) = -v**3 - 2*v**2 + 6*v + 2. Let n be s(-4). Is n at least as big as l?
True
Let m = -106 + 120. Let h be (-4 - 3/(-6)*m)