64 - 76). Let y be 1 + 0 - 2/4. Does y = h?
False
Let g be ((-6)/(-27))/((-65)/(-78)). Suppose 4*z = z. Are z and g equal?
False
Let o(h) = 2*h**2 + 3*h. Let m be o(-5). Suppose -4*j - j = m. Let p be -1*21/(-1)*(-12)/36. Is j > p?
False
Let i = 112 + -111. Let v = -29 - -19. Is v smaller than i?
True
Let l(o) = 3*o**3 - 2*o**2 + 2*o - 1. Let g be l(1). Suppose -5*b = -2*i + 125, 3*i - i = g*b + 50. Let n be (-4)/(-10) - (-85)/b. Which is greater: -4 or n?
n
Suppose -5*c = 61 - 21. Let x = -5 - c. Suppose 2*j = -x*j + 5. Which is greater: j or 1/4?
j
Let o(q) = 3*q**2 - 2*q + 2. Let r(x) = -4*x**2 + 3*x - 3. Let t(k) = -7*o(k) - 5*r(k). Let n be t(1). Which is smaller: 1/9 or n?
n
Let s be 1/((-220)/5760) + (-1)/1. Do s and -28 have different values?
True
Let c(z) = z**3 - z**2 - z + 6. Let g be c(0). Let n be ((-14)/6)/(g/(-18)). Let q(m) = -m**3 + 6*m**2 + 6*m + 5. Let h be q(n). Is h at least as big as -2?
True
Let k be 3 + (9/(-3) - -6). Let h be (-51)/(-15) - k/15. Suppose -2*b + 3*r = 0, 3*r = -0*b - h*b. Which is smaller: 2/13 or b?
b
Suppose 0 = i - 3*i - 4*i. Suppose d - 4*z + 17 = 0, 3*d = -i*d + 2*z - 21. Which is smaller: d or -6?
-6
Suppose -5 = -5*g + 10*g. Let a(j) = 3*j - 5 + 5 - j**2. Let f be a(3). Which is smaller: f or g?
g
Let j(o) = -3*o**2 + 2*o + 1. Let l be j(-1). Let z = -11327/2427 - -1/2427. Does l = z?
False
Let z be 60702/322 + (-60)/140. Let j = 188 - z. Which is bigger: -1 or j?
j
Let p(m) = -m**2 - 5*m - 6. Let a be p(-4). Let u be -7 + (0 + a - -4). Let y = u + 5. Are y and -0.03 equal?
False
Let o = 1.2 - -11.9. Let m = -0.1 + o. Let a = -763 + 763. Are a and m nonequal?
True
Let o be (-2)/6 + 490/210. Let q = 2911/1391 + 23/107. Which is greater: o or q?
q
Let d = 788 - 785. Is d smaller than 126/31?
True
Let n = -10/39 - -17/117. Let k = -12 + 17. Suppose -k*i = -6*i. Which is bigger: i or n?
i
Let w be (30/(-4))/(-1 + 7 + -13). Which is smaller: 0 or w?
0
Let a = 186 + -116. Let b be 95/2*84/a. Which is greater: b or 56?
b
Suppose 70*z = 58*z - 12. Let m = 1.1 - -2.9. Let g = m - 7. Is z bigger than g?
True
Let m = 215 - 85. Let a be 2/(-13) + (-175)/m. Is 1 > a?
True
Let m(g) = 3*g + 1 - 3 - 4*g - 2. Let u be m(-8). Suppose n - 18 = u*n. Which is bigger: -4 or n?
-4
Let o = -501/7 - -70. Is -2 greater than or equal to o?
False
Let o be 5/25 + 322/(-10). Which is smaller: o or -33?
-33
Let n be (-2 + -1)*(-214)/(-6). Let u = n - -118. Which is smaller: u or -3?
-3
Suppose h - 20*z + 16*z - 4 = 0, 0 = -2*h + 3*z - 2. Which is smaller: h or 0.71?
h
Let l = -88 + 77. Which is smaller: l or -0.3?
l
Let x = 7.29 - 1.29. Is x smaller than -6?
False
Let x = -1/592 - -299/1776. Which is smaller: x or 390?
x
Let n(t) = -t**3 + 4*t**2 + t - 4. Let g be n(4). Suppose 0 = -2*c - g*c - 18. Is -8 at most c?
False
Suppose 12*i + 73 = -35. Which is smaller: -8 or i?
i
Let d(l) be the third derivative of l**6/120 + 7*l**5/60 + 5*l**4/24 - l**3 + 4*l**2. Let z be d(-6). Which is greater: z or -2/81?
z
Let u be (1 + -3)*(3 + -4). Suppose 0*j = -u*j - 2. Is -7/8 less than or equal to j?
False
Let m = -758 + 800.3. Let r = 41 - m. Are -0.07 and r non-equal?
True
Suppose 2*o - 1 = 1. Suppose o = h + 4. Let m be (-1)/h - (-24)/(-18). Which is smaller: -3 or m?
-3
Suppose 0 = -8*v + 7*v - 20. Let z be v/8 + (-6)/(-4). Let h be (-6)/(-88)*-1*-4. Does z = h?
False
Let f be 98/(-474) - 7/(-21). Let i = f + 493/474. Let g be (-2)/(-3) + 1/3. Is i less than g?
False
Let i be (1 + -1)*(2 + -1). Let l be (-13756)/40 + -2 - (-6)/3. Let p = l + 344. Is p <= i?
False
Suppose -247 + 27 = -10*c. Let h be 4/c - 2/((-4620)/(-497)). Let x be (-3)/(-12) + 2/(-8). Which is smaller: h or x?
h
Let t = 45 - 40. Let p = t + 28. Which is greater: 0 or p?
p
Suppose 3*i + 0*i = 6. Let q = -19/4 + 197/44. Which is smaller: i or q?
q
Suppose -2*i + 26 = 2*f - 4*f, 3*i + 5*f - 71 = 0. Let q(j) = -j + 17. Let m be q(i). Are m and -3/5 non-equal?
True
Let t be (-10)/(72/(-4)*(-8)/(-204)). Which is bigger: 15 or t?
15
Let d be (-2 - -4)*2 - 2. Suppose p - 5 = 2*g, -d*g + g + 3 = 5*p. Let y be (-1)/(1/12*14). Is g less than y?
True
Let v be 2 + -7 + 2 + -2. Let w(j) = -j - 2. Let z be w(v). Let s be 2 - 9/2 - (-20)/(-40). Is s >= z?
False
Let m be 4/(-10) + (-9140)/(-100). Is m at least 91?
True
Suppose -2*g + 2 = 0, -p + 325 = 3*p + 5*g. Let v be (-59)/10 + (-8)/p. Is -6 > v?
False
Let i = -16 - -18. Suppose -i*d = -3*d. Is d > -2/95?
True
Suppose 186 = -14*w - 1018. Is w not equal to -86?
False
Let s(y) = 93*y**2 + 650*y - 7. Let z be s(-7). Is z smaller than -4/73?
False
Let x = -28 - -73. Let n = 35 - x. Is -12 at most as big as n?
True
Suppose -2*s = 5*r + 10, -s = -3*r + s - 22. Let h(d) = d**3 - d**2. Let q be h(2). Which is smaller: r or q?
r
Suppose -3*q - 128 = -5*z, q - 2 = -3. Let r = z + -20. Suppose -73 = 5*p + 4*o + 34, -r*p + 5*o - 80 = 0. Which is smaller: p or -20?
-20
Let o = 0.23 + -0.32. Let f = o - 0.2. Let l = -0.29 - f. Is 6 equal to l?
False
Let f = -1117 - -10051/9. Are f and -17 unequal?
True
Suppose 0*z - 12 = 2*z + 2*b, -4*z - 3*b - 24 = 0. Let k be ((-1)/z)/((-105)/45). Are 0 and k equal?
False
Let y be (-15)/9 - (-2)/3. Let a = -104052/83 - -1254. Let i = a + -704/2407. Is y != i?
True
Suppose 0 = 2*h - 3*a - 93 - 44, 0 = 3*h - a - 209. Is h not equal to 69?
True
Suppose 0 = 11*g - 8*g. Suppose g = -0*o + 2*o + 24. Let z be (-3)/o - (-6)/(-8). Is 0 at least z?
True
Let u(g) = 9*g**3 - 12*g**2 + 12*g - 6. Let r be u(3). Is r greater than 167?
False
Let t(x) = 14*x + 318. Let b be t(-16). Which is smaller: b or 3/5?
3/5
Let p be (-11663)/(-2) + (-4 - -6). Let a = p + -6074. Let t = a - -250. Which is greater: 10 or t?
10
Let x be (4 - 327/(-9))*(-60)/25. Which is smaller: -96 or x?
x
Let l(w) = w - 1. Let i(k) = -3*k - 4. Let h(q) = -i(q) - 2*l(q). Let f be h(5). Is f bigger than 9?
True
Suppose 5*s - 386 = -1521. Is -228 bigger than s?
False
Let v = 0.0052 + -0.3052. Which is bigger: v or 22?
22
Let a be (24/(-70))/(76/180). Let z = 10/19 + a. Is 9 smaller than z?
False
Suppose -8*g + 20 = -3*g. Suppose -9*n = -g*n + 15. Let f(a) = -3*a + 16. Let q be f(6). Is n at least q?
False
Suppose 0*d + 2*d - 2 = 0. Let p = -70 + 215/3. Is p smaller than d?
False
Let m = -23 + 26. Suppose m*t = -3*i - t + 15, 4 = i + t. Is 2 >= i?
True
Suppose 5*g - 2*j = 22, j - 17 = -4*g + 2*j. Let t = -523 + 523. Is g smaller than t?
False
Let f(q) = -8*q + 1. Let u(d) = -2*d. Let l(r) = 2*f(r) - 9*u(r). Let h be l(-6). Suppose -3*g - 21 = -4*a, a - 28 = 4*g - 0*g. Is h at least g?
False
Let c be (-16)/(-9) - 6/(-27). Let j = 3 - c. Suppose 0 = -k - j. Which is smaller: 1/4 or k?
k
Let x(p) = 2*p - 15. Let v be x(8). Suppose -3*y = -2*c + v - 5, 5*y - 12 = -2*c. Let u = 227/231 + -13/21. Is c equal to u?
False
Suppose -d - 189 = 53. Let k be 2 - (2/12 + d/(-132)). Let s = -28418/37 + 768. Which is greater: k or s?
k
Let d be 5/2*(-24)/(-20). Let b(j) = -j**2 + j + 4. Let r be b(d). Let l be r/(-4) + (-12)/8. Which is bigger: -1/15 or l?
-1/15
Suppose 3*y = -5*j + 7, 2*j + 2*y = -y + 10. Do j and -57/28 have different values?
True
Let s be 1/(24/(-6))*32/(-532). Is 0 greater than or equal to s?
False
Let v(i) = i**3 + 14*i**2 + 14*i - 4. Suppose 10 = -2*s - 4*g, -5*s + 2*g + 2*g - 81 = 0. Let q be v(s). Is q bigger than -16?
False
Let s(i) = -3*i - 16. Let t(k) = -3*k - 15. Let y(h) = -6*s(h) + 7*t(h). Let a be y(-10). Suppose -23*n = -a*n. Is n <= 2/3?
True
Let g be 20/45 - 33620/78480. Which is smaller: g or -1?
-1
Let u be 14*-1*(-1)/(-2). Let v be 6/((-6)/7)*(-6)/u. Which is smaller: -4 or v?
v
Let c(m) = 2 - 1 - 7 - 15*m + 14*m. Let a be c(-5). Is -2/7 greater than a?
True
Suppose 3*i + 72 = -3*n - 2*n, 0 = 4*n + 4*i + 56. Let p = 22 + n. Suppose f = -2*l + 5*f + 28, -2*l = -2*f - 22. Which is greater: p or l?
l
Let f = 4.489 - 4.56. Are f and 0 non-equal?
True
Let j = -36 - -85. Suppose -21 = -4*r - j. Which is bigger: r or -6?
-6
Suppose 4*u + r = 3*r + 164, 0 = -2*r + 4. Suppose 4*x = -u - 6. Which is bigger: -15 or x?
x
Suppose 16*q - 7*q = -81. Let c be 18/(-27) - (-3 - 21/q). Is 7/32 at least c?
True
Let y be (11 + 1)/((-93)/62) - -7. Which is greater: y or 2/3569?
2/3569
Let g = -0.855 + 0.855. Which is smaller: 0.112 or g?
g
Let j = -595