rue
Let a(f) = -f**2 - 6*f - 9. Let g be a(-6). Which is smaller: -6 or g?
g
Suppose -5*p + 3*k - 7 = 6*k, 0 = 5*k + 20. Let g(y) = y**3 - 3*y**2 - 3*y - 2. Let c be (28/8 + -3)*8. Let i be g(c). Which is greater: i or p?
i
Let z = -0.54 - -0.04. Let a = 0.5 + z. Which is smaller: 2/15 or a?
a
Let r be -3*3/12 + (-1630)/(-2152). Which is bigger: r or 1?
1
Let z be 2 - (-8)/2 - 1. Let x = -179 - -349/2. Let u = z + x. Is -1/2 less than u?
True
Let m be 2 - 3 - (-26)/6. Which is smaller: m or 4?
m
Suppose -2*m + 5*i = -3*m - 16, -4*i + 16 = -4*m. Let a be (m/(-5))/(12/80). Suppose 4*d + 6 = 4*k + 14, -a = -4*d + 5*k. Which is bigger: d or 2/3?
d
Let k = 0.268 + 0.032. Is k <= -4?
False
Let m be (-16)/2*(-98)/28. Is m >= 0.2?
True
Let y be 90/36*(-12)/(-10). Suppose 0 = 3*z - 21 + y. Which is smaller: z or 5?
5
Let b = -2.1 + 2. Let x = 0.1 - b. Let k = -0.8 - -0.7. Which is greater: x or k?
x
Let l be (-6)/(-4)*(-12)/(-18). Let w = l + 0. Let q = w - 0. Is -1/8 at most as big as q?
True
Let y = -27 - -4. Which is greater: -24 or y?
y
Let q be ((-1)/5)/((-6)/15). Which is smaller: q or 0?
0
Let a = 3.86 + 0.14. Are -1 and a non-equal?
True
Suppose 5*s - 7 + 2 = -5*h, 5*s + 2*h + 1 = 0. Is s at most -3/26?
True
Suppose 0 = -n - 3, 0*n = 5*a + 2*n + 6. Is a < -3?
False
Let q = -19/4 - -281/60. Is 1 at most as big as q?
False
Let c = 644 + -4517/7. Which is smaller: 3 or c?
c
Suppose -6*m + 5 - 11 = 0. Is 0 at least as big as m?
True
Let j(k) = 5 + 4*k - 5*k - 6 - 10. Let x be j(-9). Is x equal to -5/6?
False
Let h be (19/3)/((-1)/9). Is h > -57?
False
Let c = -625/8 - -78. Let z be (-1)/(0 + (-2)/4). Suppose -3*d + 1 = -z*d. Which is smaller: d or c?
c
Let d = 9 + -9. Let q be 16/(-6) + 3 - d. Is -1/4 bigger than q?
False
Let m be -2 - (22/(-5))/2. Let b be (-1 - -1)/1*-1. Is b != m?
True
Let m be 9/(-6)*(-22)/(-12). Which is smaller: -2 or m?
m
Suppose x + 1 = -p - 5, 5*x = -p + 10. Let c be 10/p + 1 + 1. Which is bigger: 1/8 or c?
c
Let t(y) = -y**2 + 5*y - 2. Let i be t(5). Suppose -3*m + 4*m + 10 = 0. Let k be ((-4)/m)/(3/5). Is k < i?
False
Let b = -437/6 + 73. Suppose -3*g + 5*p = -23, 10 = -0*g + 2*g - 2*p. Is g >= b?
True
Let v = 7.7 - 8. Let j = v - -0.3. Let g = 0.07 - 2.07. Is j != g?
True
Let o = -39365/54 - -729. Which is smaller: 1 or o?
o
Let y = -253 + 1523/6. Which is greater: -0.8 or y?
y
Let p = 6 + -8. Let a = p + 5. Suppose a*i = -i + 12. Are 2 and i nonequal?
True
Let j be (-4)/(-6)*2/10. Is -8 greater than or equal to j?
False
Let j(o) = -o**3 + 4*o**2 - 3*o - 1. Let y be (15/25)/(2/10). Let v be j(y). Which is greater: v or 0?
0
Let z(d) = -2*d**3 - 1. Let j be z(-1). Suppose -4*h + h - y - 18 = 0, -2*h + 5*y - 12 = 0. Let v be 1 + 0 - h/(-5). Are v and j unequal?
True
Suppose -16 = 4*j, 0*x = 5*x - 3*j - 22. Let d be (-28)/(-5) - x/(-5). Suppose y + d = -2*y. Is 0 greater than y?
True
Let j = 2 - -1. Let p be (-1)/10 + j/6. Do 1 and p have the same value?
False
Let s = -0.1 + 0. Let o = -8/2085 - 646294/14595. Let z = o - -44. Which is smaller: s or z?
z
Let x = -4 - -18. Let t be (0 + 4 - -12) + -1. Is t greater than x?
True
Let d be 0 + -3*3/(-54). Let g(q) = q**2 - 7*q - 8. Let a be g(8). Suppose -5*s + 17 = -3*v, v - 5*s + 8 + 11 = a. Which is bigger: v or d?
v
Suppose -3*s - 2*s = 0. Let k(j) = 7*j**2 + 13*j + 13. Let r(q) = 20*q**2 + 38*q + 38. Let a(g) = -17*k(g) + 6*r(g). Let n be a(-6). Which is smaller: s or n?
s
Suppose -4*l + 5*l = 0. Which is smaller: l or 6/13?
l
Let v be (-4)/(-10) + 414/90. Is v less than or equal to 6?
True
Let s = -4 + 3.5. Let w = s - -0.4. Is w at most as big as -1?
False
Suppose 18*b + 69 = 21*b. Which is bigger: b or 20?
b
Let q be 2137/2*(-6)/(-30). Let g = q + -214. Let l = -1/30 + g. Is 2 at least as big as l?
True
Suppose -4*g - 3*f - 4 = 3, 4*f = 3*g - 26. Suppose -g*x - 5 = -1. Let d = -11 - -9. Is x smaller than d?
False
Let b(z) = 3*z**2 + 3*z - 3. Let v be b(-3). Let j be 4/2*130/v. Let d = j + -17. Is d less than or equal to 0?
False
Let j be 4*(-1 + 1/2). Let u(z) = z**3 + 3*z**2 + z + 2. Suppose 15 = 2*q - 7*q. Let o be u(q). Which is smaller: o or j?
j
Suppose -2*u - 24 = -4*u. Let t = u + -9. Is t equal to 3?
True
Let u = -33 + -18. Is -51 not equal to u?
False
Let s = -14 - -2. Let q be (-28)/20 - 3/5. Let l be 9/s - (-1)/q. Which is greater: -1 or l?
-1
Let t = 118 + -119. Which is smaller: -1/157 or t?
t
Let u = 6 + -6. Let j = -10 - -19. Which is smaller: j or u?
u
Let u = -18 - -10. Let g = -7 - u. Let b = -0.1 + -0.1. Is g at least as big as b?
True
Let z = 10 + -16. Is -20 <= z?
True
Let o = -2/21 + -16/273. Suppose 9 = -p - 3*r, r - 2*r - 3 = -5*p. Let h = p + 0. Which is smaller: h or o?
o
Suppose m + 5*s = 25, -3*m - 5*s = -1 - 34. Suppose 37 - m = 4*z. Suppose 0 = 5*t + 3 - z. Is 0 < t?
True
Let u = 0.2 + -0.2. Let k = u - 0.2. Let p = 0.17 + 0.03. Is k smaller than p?
True
Suppose 4*y + 31 = 5*i, -5*i + 3 + 16 = -y. Let m be 2/((-2 - -1) + i). Are m and 1/8 non-equal?
True
Suppose 30 = -4*n - n. Let x be (-2)/(-1) + 8/n. Let p be (-1 + 0)*(3 - 5 - -1). Which is smaller: p or x?
x
Let c be (-1)/(-3 + 2)*0. Let r(y) = 9*y. Let w(j) = 5*j. Let h(z) = 4*r(z) - 7*w(z). Let x be h(c). Is -1 < x?
True
Let c = 0.07 + -4.07. Let w = 4.7 + -5. Let l = w + 0.3. Which is smaller: l or c?
c
Let l(i) = 3*i**3 + 2*i**2 + 2*i + 1. Let g be l(-1). Let m(j) = j**2 - 7*j + 3. Let k be m(7). Suppose 2*w + 1 = k. Is g not equal to w?
True
Let a = 3 - 5. Let d = 1 + a. Let q be 198/504 - (-2)/(-8). Which is greater: d or q?
q
Let g(n) = -n**3 - 9*n**2 - 7*n + 8. Let o be g(-8). Suppose -3 + o = -x. Suppose -2*z + x = c, 3*c + 2*z + 3 = 8. Is c <= 0?
False
Let h = -4.9 - -3.9. Which is smaller: 22 or h?
h
Let x = -7/11 - -171/286. Is 0 bigger than x?
True
Let q = -4 - -16. Suppose q*g - 5*g - 14 = 0. Is 1 < g?
True
Let d = -27 + 38. Is 10 at most d?
True
Let m = -8050/5317 + -10/409. Which is smaller: m or -3?
-3
Suppose -b - 5 = -9. Is b at least 5?
False
Let u be (-15)/(-18)*27/(-60). Which is greater: u or 1?
1
Let y = 1.8 - 1.9. Is y at most 7?
True
Let n = 1345/21 + -502/7. Which is greater: -1/2 or n?
-1/2
Suppose 5*x + 2*s + 13 = 0, -1 = 2*x + 2*s + 3. Let m = 5/2 + x. Are m and 3 non-equal?
True
Let i be 2/4*(12 + 0). Suppose 3*g = g - i. Let f be (g - -2)/1*0. Which is bigger: f or 1/2?
1/2
Let h = -4 - -4.04. Let i = h + -1.04. Is i != 0?
True
Let w be 1 + 3 + -2 + 34. Let d be 19/w - 6/(-27). Is d equal to 1?
False
Let j = 51.8 - 58. Let o = j + 6. Which is smaller: -2/9 or o?
-2/9
Suppose -1 = 2*n - 3. Let p(o) = o - 18. Let t be p(0). Let r be 3/(-1) - 46/t. Do n and r have the same value?
False
Let j be (-1 - -6)/(-2 + 3). Suppose 5 = j*l + 20. Suppose -5*r = 2*i + 4, 1 + 9 = -5*i + 2*r. Which is greater: l or i?
i
Let l = -0.4 + 0.5. Let b = 2.3 - 4.5. Let y = b - -2. Which is smaller: y or l?
y
Let u = -23 - -33. Suppose 1 = -2*c + 11. Let l = u - c. Is 0 < l?
True
Suppose 4*l - 5*o = 0, -2*l = l - 3*o - 3. Suppose -6 = -2*y + l*y. Which is smaller: y or -4?
-4
Suppose 1 = 2*r - 1. Is 2/11 <= r?
True
Let c(x) = -6*x**2 + 0 - x + 1 + 0*x**3 + x**3. Let a be c(6). Is -5 >= a?
True
Let q(a) be the first derivative of -3*a**2/2 + 6*a + 2. Let f be q(5). Is -8 at most as big as f?
False
Let y = 14 + -14. Is -1/16 > y?
False
Suppose 0 = -0*k + 2*k - 3*n + 3, -n = 1. Is k >= -15/7?
False
Let t be (-177)/6 - (2 - (-10)/(-4)). Do t and -28 have different values?
True
Let i = -12 - -22. Let q be 3*(i/(-3))/1. Let h(a) = -a**2 - 11*a - 11. Let b be h(q). Which is bigger: 2/19 or b?
2/19
Let l(y) = y**2 + 15*y + 4. Let o be l(-6). Let z = 10258/3 - 3370. Let b = z + o. Which is smaller: -1 or b?
-1
Let p = -0.3 - 17.7. Does 0.1 = p?
False
Let r(g) = g**2 - 8*g - 12. Let i be r(9). Let w = -5 - i. Suppose 3*u = u - 2. Are w and u nonequal?
True
Let h = -177550/223 - -751039483/943736. Let w = h + -1/529. Which is smaller: w or 2?
w
Let g = 11 + -9. Is -4/9 > g?
False
Suppose -3*a + 4*a - 3 = 0. Suppose n - a = -2*n. Suppose 8*c = 3*c. Do c and n have the same value?
False
Let g be 4/20 + (-296)/(-20). Is 17 > g?
True
Let z be (-2 + 4)/(-2) - (-1 + 2). Are z and -2 non-equal?
False
Suppose -w - 2 = 0, -4*p = -0*p + 5*w + 10. Suppose 9 = -3*u - p*u. Which is greater: u or -4?
