 6/7 or y?
y
Let k(c) = c**2 - 9*c + 9. Let y be k(8). Let r = -10 - -11. Let z be r*3/(46 + -1). Are y and z unequal?
True
Let l be 1/(-4) - (-91)/390. Which is smaller: l or 2?
l
Let d = 103/4 - 2155/84. Let n = 68 - 67. Which is bigger: d or n?
n
Suppose l + 48 = 3*l. Is 25 smaller than l?
False
Let w = -0.05 + 0.15. Is -12 smaller than w?
True
Let g be (-14)/(-20) + 2/(-4). Let a = 0.5 + 6.5. Let o = -7.1 + a. Which is greater: g or o?
g
Let n = -6 - -2. Let p = -12 - n. Is p smaller than -7?
True
Let m = -19177/94 + 204. Which is smaller: m or 1?
m
Let w(i) = 5*i. Let q be w(-1). Let p(f) = 7*f + 3. Let h be p(-1). Are h and q unequal?
True
Suppose -12 = -47*g + 35*g. Let x(u) = -u**2 + 6*u. Let k be x(6). Which is smaller: g or k?
k
Let k be ((48/(-50))/3)/(8/(-80)). Which is smaller: 2 or k?
2
Suppose j - 17 = -4*w - 58, -j = 2*w + 23. Which is smaller: -1 or w?
w
Let v = -9 - -5. Let s be -19 - (-1 + 4/v). Is s > -17?
False
Let o = -0.9 - -1. Let m(n) = 8*n**2 - 3*n - 5. Let z(w) = 7*w**2 - 2*w - 4. Let q(f) = 5*m(f) - 6*z(f). Let s be q(-2). Is s != o?
True
Let u = -12 - -12.04. Let p = u + -2.04. Is 2/5 at least as big as p?
True
Let i(x) = x**3 - 5*x**2 - x - 4. Let s(u) = -u + 13. Let d be s(8). Let k be i(d). Which is smaller: k or -7?
k
Let c = 0.7 + 4.3. Let r = -4 - -3. Let y = 0.9 + r. Which is bigger: c or y?
c
Suppose -13 = -4*w + 11. Let h be (-7 + w)/((-2)/(-12)). Let k = 9 + h. Is -2 bigger than k?
False
Let c = -36/23009 - -3336187/29336475. Let t = c - 4/75. Is 1 at least t?
True
Let h be (-2 + -2 - -1) + 22 + -7. Is h >= 14?
False
Let f be ((-4)/(-9))/(18/(-18)). Do 0 and f have the same value?
False
Let q = 2/13 + -19/39. Let j(o) = 6*o**3 - 2*o**2 + o. Let a be j(1). Let g be -1*(2/a)/(-1). Are g and q unequal?
True
Suppose -a - 15 = -4*w + 60, -5*a = 5*w - 125. Suppose r = -5*d + 20, -d - 4*d + w = 0. Is 1 at least as big as r?
True
Let a(k) = k + 1. Let z be a(-2). Let u = -6 + 4. Let j = u + 2. Is j > z?
True
Suppose -7 = 2*t + 19. Let u(r) = r**2 + 12*r - 16. Let o be u(t). Is o smaller than -2?
True
Let b = 4862/1273 - 72/19. Is b equal to -1?
False
Let p = -376 - -22182/59. Let o = 106267368/295 - 360228. Let n = o - p. Which is smaller: n or 1?
n
Let y = -1.82 - 0.18. Which is smaller: -0.5 or y?
y
Suppose 5*c + m = 0, c + 2*c = -3*m. Let s be 2*(c + (-3)/66). Is 1 < s?
False
Let l(g) = -g + 8. Let x be l(8). Which is smaller: -5/6 or x?
-5/6
Let d(z) = -2*z**2 - 5*z + 2. Let q be d(-3). Which is smaller: q or -2/15?
q
Let k be 27 - 13 - (-6)/(-4)*2. Is k less than 39/4?
False
Let w be (-9)/(9/(-12)*2). Let d be 4/(3*4/w). Let q = -11 + 12. Is d less than q?
False
Let o = 0.07 - 0.07. Is o greater than or equal to 1?
False
Suppose 3*y = -y. Suppose y = x - 4 - 0. Suppose x*v + 15 = -3*s, 0 = -v + 6*v + 5*s + 20. Is v greater than or equal to -3?
True
Suppose -13*l - 6 = -7*l. Is 0 smaller than l?
False
Let k = -3.11 + 3.3. Let h = -0.01 - k. Let p = -2.2 - h. Which is smaller: p or 1/4?
p
Let i = -8 + 7.8. Which is smaller: -2/3 or i?
-2/3
Let x be 510/(-65) + 6/(-39). Which is smaller: x or -9?
-9
Let m(y) = -y**2 + 4*y - 3. Let l(u) = 2*u**2 - 7*u + 5. Let k(s) = -6*l(s) - 11*m(s). Let d be k(-3). Suppose f + 0 - 1 = d. Which is greater: f or 0?
f
Let r be (2/(-4))/((-1 + 2)*1). Let y = 16 - 11. Which is smaller: r or y?
r
Suppose 3*l = 4*l - 4. Let h be 18/l*6/3. Suppose 3 = -0*t + 2*t - d, 4*t - h = 3*d. Is 0 less than t?
False
Let s = -5.01 - -5. Do 0.2 and s have different values?
True
Suppose 0*j + 12 = 12*j. Suppose 3*r - 2*r = 4. Suppose 0 = r*w - w. Which is bigger: j or w?
j
Suppose -5*m = -2 - 3. Let u = m + -2. Let r be u/((-3)/(-2) - 2). Which is greater: 1 or r?
r
Suppose l = 2*l. Let h(a) = -a - 3. Let m be h(-3). Suppose m*g = g. Do l and g have the same value?
True
Let j(r) = -r**3 - 5*r**2 - 7*r + 1. Let c be j(-3). Is c at least 4?
True
Suppose 0*c + 2*l = -3*c + 9, 18 = 3*c + 5*l. Let m be (3/(-9))/(c/2). Which is smaller: -2 or m?
-2
Let g be (-178)/8 - (-8)/32. Which is smaller: g or -21?
g
Suppose 8*l + 0*l - 120 = 0. Is l less than or equal to 14?
False
Let d(p) be the first derivative of p**3/3 + p**2/2 + 2*p - 1. Let k be d(0). Let f = 8 - 5. Which is bigger: k or f?
f
Let b = 57 + -20. Suppose b = -5*u - 18. Are u and -11 non-equal?
False
Let t = 28 - 29. Which is greater: 1 or t?
1
Suppose -3*m = 5*o + m + 45, m = -4*o - 25. Let x be o*2/(-45)*-3. Let b be (-45)/(-75) - (6/5)/(-3). Which is bigger: x or b?
b
Suppose -3*v = 0, -2*h + v = -2 - 0. Suppose n + 4 = d - h, n + 3 = 0. Suppose j + 5*k + 19 = 0, -4*j - 2*k - d = 2. Which is bigger: j or 3/4?
j
Let h(u) = u**2 + 5*u + 4. Let o be h(-3). Let c be ((-27)/(-24))/(15/(-20)). Which is smaller: c or o?
o
Let u be (5 - 2)/(51/2). Suppose -5*f - 2*l = 23, -4*l + 14 = -f - f. Let h = f - -5. Which is smaller: h or u?
h
Suppose 6*w + 315 = 13*w. Which is greater: 44 or w?
w
Let y = -2.4 + 0.4. Let v = -0.05 - 3.95. Let w = y - v. Is 0 < w?
True
Suppose 5 + 7 = 3*j. Is j at most 5?
True
Suppose -2*g - 6 = 0, 11 = u - 6*u + 3*g. Which is bigger: u or 1?
1
Let c = -2 - -1.5. Is -2/11 at most c?
False
Let h = 8 + -11. Let w be (-4)/6*1*h. Suppose 19 = 4*b + 3*n, 4*b - 3*n + 8 = -3. Is b smaller than w?
True
Suppose -2*c + c = -4. Is 7 < c?
False
Let g be (-8)/(5 - 7) - (1 + -1). Suppose -w - 1 + 5 = 0. Is g < w?
False
Let j = 0.06 + 24.94. Let k = 26 - j. Which is bigger: k or -0.2?
k
Let v = -64.9 - -65. Let j = -2 - -4. Is v bigger than j?
False
Let u(i) = i**3 - 8*i**2 - 10*i + 11. Let p be u(9). Let o be 4 - -8*(p + -3). Is o <= -5?
False
Let d = 29 - 30. Let a(b) = -3*b - 2. Let h be a(3). Let g be (2 - (-26)/h)/(-2). Is d < g?
True
Let k = 1101/7 - 157. Let v = -71 - -72. Is v >= k?
True
Let h = -9 - -6. Let o be (h - 0)*10/(-15). Let a be (4/(-52))/(1/o). Is a greater than 1?
False
Let d be 2/(-3)*9/(-10). Which is smaller: 0.3 or d?
0.3
Let g = -96.4 - -96. Are g and -15 nonequal?
True
Let z(g) = g + 26. Let f be z(-15). Which is smaller: 65/6 or f?
65/6
Let f = -74/5 - -498/35. Suppose -3*c = c. Let y(n) = n**2 + n - 1. Let l be y(c). Which is smaller: f or l?
l
Let g be (0/1)/(5/5). Which is smaller: g or 2?
g
Let m(c) = -c - 16. Let p be m(-17). Which is smaller: p or -1/29?
-1/29
Suppose -5*h = -2*s - 41, s + 3*h = 5*h - 18. Is -11 not equal to s?
True
Let p = -6 - -9. Let u = p + -2. Let a = 1.3 + -0.3. Is u >= a?
True
Let t = 3/26 + -67/130. Is t at most as big as -1?
False
Let l be (-2)/6*(-6)/(-2). Is l at least -1/12?
False
Let g be 1*1/(-2)*2*2. Is -9 >= g?
False
Let z = -3 + 8. Let y = z + -5.2. Let j = 0.8 - y. Which is smaller: -1/3 or j?
-1/3
Let h(a) = a**2 - a + 2. Let y be h(2). Suppose 3*n = 14*n - 33. Let k = n - y. Which is greater: 2/5 or k?
2/5
Suppose -4*x + 1 + 35 = 0. Let k = x - 9. Is 0 at least k?
True
Let m(k) = k**3 + 5*k**2 + 4*k + 2. Let c be m(-4). Let v be c/2 + 60/24. Is v at most as big as 3?
False
Let d = -0.059 - 65.941. Let w = -69.1 - d. Let y = -3 - w. Is y <= -2?
False
Let j(w) = -3*w + 13. Let g(u) = -2*u + 12. Let f(z) = 4*g(z) - 3*j(z). Let o be f(-6). Are o and -1/7 equal?
False
Let f(i) = -i**2 - 4*i + 12. Let b be f(-6). Suppose -5*n - 3 = -3*a, b*n + 2*n = 0. Which is bigger: a or -1/5?
a
Let u(z) = 11*z - 7. Let n be u(-3). Which is greater: n or -39?
-39
Let w = 47 + -47.4. Is w bigger than 1/4?
False
Suppose 0*q - 5*q = -20. Let c be q/2*1/2. Let g(i) = i - 4. Let f be g(6). Is c not equal to f?
True
Let o = 14 + -14. Is 1 less than o?
False
Let w(f) = 7*f - 5 + 4 + f**2 + f**2 - f**2. Let m be w(-6). Which is bigger: m or -5?
-5
Let m(a) = 24*a + 1. Let o be m(1). Suppose 5 + o = -5*n. Let z be 18/(-21)*n/9. Is -1 <= z?
True
Let t = -0.261 + 0.061. Is t at most -0.11?
True
Let r be 0 + 1 - (-278)/(-1176). Let w = r - 2/147. Let n(y) = y + 1. Let z be n(-1). Is w >= z?
True
Let z be (11/(-319))/((-1)/2). Is 1 at least as big as z?
True
Let i = 2 - -1. Suppose 3*u + 0 = -24. Let m be ((-2)/(-4))/((-2)/u). Is i not equal to m?
True
Suppose -q - 21 = -7*c + 2*c, 4*q = -3*c - 61. Are q and -16 equal?
True
Let l = -104/9525 + -2/127. Is 0 greater than or equal to l?
True
Let i be (6/40)/((-30)/20). Let g = 2 - 1. Which is smaller: i or g?
i
Let m = -801 - -32843/41. Let p = 47/123