6 = -51. Let t be (h/2)/(6/(-4)). Let w = -29 + t. Is 2/3 bigger than w?
False
Let r be (-3)/((7/56)/(1/3)). Are -47/5 and r unequal?
True
Suppose -15 = -0*r + 5*r. Let o be (-7 - -5) + r/(-3). Let l(n) = -n**3 - 2*n**2 + 2*n - 3. Let a be l(-3). Are a and o nonequal?
True
Let x = 7 + -2. Suppose 0*w - x*w + 10 = 0. Let j = 4 + -7/2. Which is bigger: j or w?
w
Let i = -7.17 + 0.17. Let w = i + 13. Are w and 1/4 equal?
False
Suppose -7*y - 20 = -12*y. Let l = y - 6. Is l at most -10/11?
True
Suppose -5*x - 16 = 4. Let t(l) = -l**2 + 4*l + 3. Let k be t(5). Does k = x?
False
Let c be (6/(-5))/((-6)/20). Suppose -c*b + 18 = -b. Do 6 and b have different values?
False
Let v = -1.14 + 0.14. Let p = v + 16. Is -1 smaller than p?
True
Suppose -4*x = -4*g + 60, -g - x + 40 = 3*g. Let k = g - 10. Is k equal to 1/9?
False
Let o = 1 + -1. Let s(v) = -v**2 + 9*v - 9. Let m be s(8). Which is smaller: m or o?
m
Let p be (-1 - -5) + 0/2. Suppose -2 - 2 = p*o. Which is bigger: o or 2/15?
2/15
Let o(l) = l**2 + l - 2. Let g = 4 - 6. Let x be o(g). Let r = 1/30 - -1/15. Are x and r non-equal?
True
Suppose 4*l - 11 = -15. Which is greater: l or 2/7?
2/7
Let v(l) = -l**3 - 12*l**2 + l - 8. Let z be v(-12). Let j = -21 - z. Which is smaller: j or 10?
j
Let w be -1 - 1*-4 - 3. Suppose -4*c - 10 = -3*z, 8 = -2*z - w*z - c. Which is bigger: z or -3?
z
Let y = 19369/12 + -1613. Which is bigger: y or 1?
y
Let o be 1*3/((-63)/(-6)). Which is smaller: o or -0.4?
-0.4
Let c be (-14)/(-1230) + 70/(-525). Which is bigger: 1 or c?
1
Let p = 9 + -14. Is 1 bigger than p?
True
Let p(v) be the first derivative of 14*v**3/3 + v**2 - 2*v + 2. Let m be p(3). Let j = m + -912/7. Which is greater: -4 or j?
j
Let k(t) = -t**2 + 4*t - 3. Let b = -4 - -6. Let r be k(b). Let l = r - 4. Is -3 > l?
False
Let f = -43 + 42.9. Let b be 1/(-32) + 0/(-3). Let i = b - -69/160. Which is bigger: i or f?
i
Let h be (12/(-1))/(2/16). Let n be (h/(-50) - 2)*-5. Let b = 61/12 + -23/4. Is n bigger than b?
True
Let w = 9 - 5. Which is smaller: -5 or w?
-5
Suppose 3*g + 25 = -d, 16 = -5*d - 4. Which is bigger: -5 or g?
-5
Let v = -58.9 + 65. Let d = v + -6. Let u = 57 - 173/3. Which is smaller: u or d?
u
Let q(a) = 2*a + 3. Let d be q(-7). Which is smaller: d or -4?
d
Let v = 1 + -0.5. Let p = 6.3 + -7. Let u = v + p. Is 2/7 > u?
True
Suppose 5*b = -u - 56, b - 2*u = 2*b + 13. Is 0 at least b?
True
Suppose 5 = 4*n + 1. Let x(a) = -a**3 - 7*a**2 + 9*a + 8. Let k be x(-8). Let l = n - k. Are 3 and l equal?
False
Let v = 4 - 25. Is v at least as big as -2?
False
Let p = 88/203 - -4/29. Let y(i) = i + 10. Suppose 15 = -3*f - 2*f, 0 = -2*g - 4*f - 30. Let q be y(g). Is p bigger than q?
False
Let u = -3/395 + -617/1975. Do u and -1 have different values?
True
Suppose 0*r = 4*r - 68. Let a = -2 + r. Is a at least as big as 14?
True
Let u be (2/4 + 1)*2. Suppose 0 = -a - u*a. Is -2 at most as big as a?
True
Let a be 8/(-36)*(-207)/(-12). Let f = 103/30 + a. Is -1 equal to f?
False
Let n(x) = -10*x - 4. Let r be n(-2). Do 1 and r have different values?
True
Let d(p) = p**2 + 3*p - 2. Let i be d(-4). Let x be (-16)/110 + i/(-5). Are -1 and x non-equal?
True
Let b = 3 - 3. Let c be (8/42)/((-12)/18). Is c bigger than b?
False
Let q be (42 + -43)/(1 - (-4)/(-3)). Is -6 < q?
True
Let a = -24.78 + 25. Let j = 10.78 + a. Which is greater: 2/7 or j?
j
Let b be ((-1)/2)/((-4)/40). Suppose -4 = 3*f + f - 4*z, -5*f = b*z - 15. Is f >= -1?
True
Let z = -1 + 4. Suppose -11 = z*y - 2*w, w - 3 - 5 = 2*y. Let p(x) = x + 9. Let l be p(y). Which is bigger: 2 or l?
l
Let o(q) = 4*q**2 + 3*q - 6. Let d(u) = 7*u**2 + 6*u - 11. Let y(g) = -3*d(g) + 5*o(g). Let m be y(-4). Which is smaller: -1/3 or m?
m
Let g = -9.4 - -1.4. Let w = -8.4 - g. Is w less than 0.2?
True
Suppose -7*p + 24 = -11*p. Is p bigger than -13/2?
True
Let s = -250 - -240. Suppose r + 35 = -0*r + 5*d, 2*r + 15 = -d. Is s bigger than r?
False
Suppose -3*v = -4*h + 45, 3*v - 12 - 6 = -3*h. Suppose -3*c - 6 = 0, -i + 0*c + 3*c = -14. Is h at most i?
False
Let c(q) = q**3 + 9*q**2 - 9*q + 10. Let v be c(-10). Which is smaller: v or 0.3?
v
Let t = 1 - -3. Let m be 1*0/(t/(-2)). Which is greater: 1/20 or m?
1/20
Let y be 0 + 1 - (3 + -2). Let f be (9/6 + -2)*0. Is f less than y?
False
Let u be (0/(-1))/(1/(-1)). Suppose -4*d + d = u. Which is greater: -2/9 or d?
d
Let u = -11 + 5. Let z(n) = n + 7. Let k be z(u). Suppose f + 0 = k. Which is greater: f or 2/9?
f
Let p = 1/5 + 2/15. Is 5 less than or equal to p?
False
Let b = 12 + -20. Let s be (b/24)/((-22)/(-18)). Which is smaller: s or -1?
-1
Suppose -40 - 10 = -5*d. Let f be (-2)/d - (-2 + 2). Let b be 2/7 - (235/(-35) - -7). Which is smaller: f or b?
f
Let t(n) = -9*n**2 + 2*n - 1. Let z be t(1). Let v be z/42*(-12)/8. Suppose 10 = 4*j + 14. Which is smaller: j or v?
j
Let f = -2/13 + 47/390. Which is smaller: 0 or f?
f
Let n(m) = -m**2 + 8*m - 8. Let g be n(6). Suppose -3*b + 19 = 5*k, 4*k - 6*b = -2*b - g. Is k != -1?
True
Suppose -2*w = 4*t + 2*w - 32, -4*w + 26 = 2*t. Suppose -3*u - m = -3, u + 5*m + 19 - 6 = 0. Which is bigger: u or t?
t
Suppose -5 = 4*f - 21. Let r be 6 - (-3)/(6/f). Let i be 6/(-3)*(-2)/r. Which is smaller: 0 or i?
0
Let p = -28 + 28. Which is smaller: p or -6?
-6
Let j be (-49)/(-42)*(-3)/((-54)/(-4)). Do j and -1 have the same value?
False
Suppose -5*i + 14 = -i - 2*r, -5*r + 10 = 5*i. Suppose -5*u + n + 12 + 4 = 0, i = 2*u + 3*n. Suppose 5*q = 8 + 12. Which is greater: q or u?
q
Let p = 3.6 + -4.6. Which is smaller: p or -4/17?
p
Let j = 0.072 + -24.272. Let p = j - -22.19. Let h = p - -0.01. Which is smaller: 1 or h?
h
Let m = -1360 - -14945/11. Is m less than 0?
True
Let z(g) = -g**3 - 4*g**2 + 4*g - 4. Let c be z(-5). Let q(k) = 2*k**2 + 11*k + 7. Let h be q(-3). Is c not equal to h?
True
Let o = 6.8 - 0.8. Let p = 4/3 - 13/12. Which is smaller: o or p?
p
Let y = 1.9 + -2.1. Let s = -7 + 14. Which is bigger: y or s?
s
Let g be (-8)/(-26) + 2/13. Let z = -17/65 + g. Suppose 0 + 2 = 2*r. Which is bigger: r or z?
r
Let d be (3 + 28/(-6))*-3. Let z(k) = k**3 - 6*k**2 + 4*k + 6. Let o be z(d). Which is smaller: o or 2/17?
2/17
Let p = 2 + 0. Suppose -2*f - p*f = 0. Suppose 0*u - u = f. Which is greater: u or -2/5?
u
Let r(j) = -2*j**2 - 3*j + 4. Let s be r(-3). Suppose 0 = t + 3 + 3. Is t at least as big as s?
False
Suppose 0 = 5*a - 4*q - 9, 4*a - 5*a + 3*q = 7. Is a bigger than 3?
True
Let d(x) = x - 1. Let t be d(1). Let r = -22 + 10. Let q be (r/(-56))/((-2)/(-4)). Which is greater: t or q?
q
Suppose -7 - 38 = -5*q. Let f be (5 - -5) + (-3 - -2). Does q = f?
True
Let n = -37.8 + 35. Let x = n + 3. Are -1/2 and x equal?
False
Suppose -72 = 18*d - 12*d. Which is greater: d or -15?
d
Let b = 1178695/18759 - 3/12506. Let h = b + -113/2. Let w = h - 92/15. Is 1 greater than w?
True
Let a(s) = -s**3 - 2*s**2 + 2*s + 2. Let z be a(-2). Which is smaller: z or 6?
z
Let m = 7 - 3. Let g = 8 - m. Are g and 4 nonequal?
False
Let g = 0.19 - 1.79. Let u = -1.71 - g. Which is smaller: u or -1?
-1
Let f be 20/11 - 2/(-11). Suppose 0 = -f*x + 4*x - 14. Which is greater: x or -1?
x
Let u(f) = -f**2 - 14*f - 18. Let c be u(-13). Is c at least as big as 4/5?
False
Let y be (-2)/(-3*(-4)/(-102)). Let i(n) = n**2 - 19. Let o be i(6). Does y = o?
True
Suppose c + 2*n - 10 = 0, -c + 3*n + 3 = 2*c. Let g be (3 + (-51)/12)*-4. Suppose g*i - i = c. Is i <= 1?
True
Let r = 5 + -21. Let k = r - -11. Which is bigger: -2/3 or k?
-2/3
Suppose -3*k + 200 = 2*k. Let j be (12/(-10))/(4/k). Is j less than -12?
False
Let z be 1 + -2 + (-1 - (-38)/22). Which is smaller: z or 0?
z
Suppose -5*l = -y + 11, 5*y - 2*l - 33 = l. Let a(p) = -p + 4. Let b be a(y). Let f be -6 - b - (-9)/3. Is -1 bigger than f?
False
Suppose -2*l + 3*z = -16, 0 = l + l + z. Let s be (-2)/l - (-132)/128. Which is smaller: 1 or s?
s
Let h = -127 - -86. Are -41 and h nonequal?
False
Let o = -116.9 - -117. Which is smaller: o or 0.036?
0.036
Let r be (-8)/20 - 74/(-10). Let f = 9 - r. Let l = 927/1165 + 1/233. Is f less than l?
False
Let d be 18*-2 + (-6 - -6). Is -36 at least d?
True
Let u = 1.47 + -4.52. Let o = u - -0.05. Let w = o - -4. Which is smaller: w or -1?
-1
Let z be (-2)/1*(-10)/4. Let c be (8 - 7)*-2*9/(-6). Which is greater: z or c?
z
Le