
Let h(b) = -b**2 + 5*b - 4. Let f(u) = -u**2 + 6*u + 4. Let d be f(6). Let k be h(d). Let p(t) = t + 8. Let g be p(-6). Which is greater: k or g?
g
Let y = -1.9 - -2. Let z = -0.33 - 1.67. Which is greater: z or y?
y
Let d(r) = r**2 + 3*r - 5. Let x be d(-4). Let i be (-1 - -3)/x*1. Do i and -2/3 have the same value?
False
Let x(l) = -l + 2. Let b be (-1)/((-3)/(-4) - 1). Let n be x(b). Do -2 and n have different values?
False
Let t = -8 + 9. Let y(k) = 5*k**2 + k. Let h be y(t). Let g be (h/(-5))/(-3 - -4). Is -2 equal to g?
False
Suppose -3*u = h - 3, -2*u + 4*h - 6 = 6. Let d be u - 3/(15/(-2)). Let v(z) = z - 3. Let j be v(2). Is d equal to j?
False
Let v be (-8)/(-32) - (-778)/(-40). Let r = v + 657/35. Suppose -y + 4 = -5*d, -2*y - 3 = 2*d - y. Which is smaller: d or r?
d
Let q be (-30)/(-12)*6/15. Which is smaller: 2/9 or q?
2/9
Let m = -301 + 299.41. Let d = 0.09 + m. Let a = -1 - d. Is a at most -2/7?
False
Let a = -43 + 32. Suppose -5*g + 5*v + 29 = v, -g - 4*v = -25. Let u = g + a. Which is smaller: u or 0?
u
Let t(r) = -r**3 + 7*r**2 - r - 9. Let o be t(5). Do -1 and o have the same value?
False
Suppose v = 3*v. Suppose v*m - 1 = m + 2*p, 5*m + 2*p + 5 = 0. Let c = -1 - -1. Which is smaller: m or c?
m
Let l = -111/28 + 17/4. Let w = 0 + -6. Let u = w + 9. Which is greater: l or u?
u
Suppose -8 = -4*z + 2*z. Let t be 12 + (z - (1 - -1)). Is 15 less than t?
False
Let c = -1.37 - -1.57. Let i be 2 - ((-18)/(-10) + 1). Is i at most c?
True
Let p = 3959300 - 12471795253/3150. Let x = p - -2/225. Is 0 greater than x?
True
Let l = 1.72 - 2. Let v = -0.02 + l. Let h be (-1)/((-3 - -2)/1). Which is bigger: h or v?
h
Let c(x) = -2*x + 13. Let g be c(9). Suppose 4*s + 14 - 2 = 0. Let w = s - g. Is w at most 0.2?
False
Suppose y + 70 = 4*p, 4*p + 2*y + 18 = 94. Let l = -22 + p. Which is smaller: l or -5?
-5
Suppose -3*q + o + 16 = 0, 5*q = 3*o + 1 + 31. Is 5 smaller than q?
False
Let j be -97 + 3/(-2 - -5). Let x be -2*(-4)/(j/9). Let u(d) = -d**3 + 6*d**2 - d + 4. Let c be u(6). Which is bigger: c or x?
x
Let c(k) = k. Let h be c(6). Let v(n) = n**2 - 7*n - 7. Let d(a) = a**2 - 8*a - 8. Let w(g) = 2*d(g) - 3*v(g). Let x be w(h). Which is bigger: x or -3?
x
Let u = -0.032 - 1.968. Which is bigger: u or 18?
18
Let z be (-1)/4 - 85/(-4). Let a be 2/3*z/14. Let v be (1/(-7))/(a/(-6)). Which is greater: v or 1?
1
Let w be 3/9 + 10/(-24). Let y(g) = g**2 - 2*g - 1. Let c be y(3). Suppose c*f = -2*f - 4. Which is smaller: w or f?
f
Let w = 16 - 11. Suppose -2*i + w*q = 4 - 19, -9 = 3*q. Let g = 3 - i. Is 2 < g?
True
Suppose -18*z = -17*z - 7. Which is greater: z or 5?
z
Let p = -23 + 23. Is p >= 0?
True
Suppose 3*x - 8 = x. Suppose 2*o + x = -2*o. Let c = 65 - 197/3. Which is smaller: c or o?
o
Let b be (-2)/1*2/4. Is 0.07 at most b?
False
Let c be (-1)/10 + 231/3710. Is c less than or equal to 0?
True
Let o = 13 + -8. Suppose 2*w - 7 = -4*g + 1, 5*w - 15 = -o*g. Is w <= -4/5?
False
Let d = 3/35 - 13/35. Which is bigger: d or -0.14?
-0.14
Let b = 21 - 14. Let m(f) = f - 9. Let t be m(b). Is -4/3 at most as big as t?
False
Let l(f) = -f**3 - 6*f**2 - 4*f + 7. Let t be l(-5). Suppose -3*y = t*y - 35. Suppose 0*q + 24 = 5*r - 4*q, -q = 2*r - y. Is r at most as big as 2?
False
Suppose 0 = -y + 18 - 2. Is 16 less than or equal to y?
True
Let x be ((25/(-45))/5)/(3/(-2)). Let k be (1 - (-1)/(-2))*2. Are x and k unequal?
True
Let q(h) = -4*h - 13. Let m be q(-3). Which is smaller: m or -2?
-2
Let w = 0 + -0.6. Let u = -3.4 + w. Let k = u - -5. Is k equal to 1?
True
Let z = -2 - -1.8. Let b = -337 - -335. Which is greater: z or b?
z
Let s(n) = n**2 + 5*n + 4. Let c be s(-5). Let a = 3 - c. Suppose -2*l - 6 = 2*l - t, 12 = -2*l - 4*t. Is a greater than l?
True
Let l = -0.11 - 0.89. Let h = -0.1 - -0.1. Let n = h - l. Which is greater: 0 or n?
n
Let i = -260 - -87. Is i equal to -173?
True
Suppose -12*h - 12 = -8*h. Are h and -5/2 unequal?
True
Let o = 22 - 22.2. Let q = 0.05 + -0.25. Are q and o equal?
True
Let p = 2/69 - 25/69. Which is bigger: p or 1?
1
Suppose l + 4*a - 40 = 0, 5*l + 3*a - 73 - 42 = 0. Let h be (2/4)/(l/(-24)). Let m(o) = -o + 4. Let n be m(4). Which is greater: h or n?
n
Suppose 12 = c + 4*c + 3*u, 2*u = -5*c + 8. Suppose 2 = -c*f + f. Is f smaller than -1?
False
Let n = -0.7 + -0.3. Suppose 2*q + 0 = -4*u + 8, 2*u + 2*q - 2 = 0. Suppose 4*o = -u*v + 3, 4*v + 7 = 2*o - 11. Is v equal to n?
False
Let m = -3/13312 + -24494071/39936. Let w = m + 607. Let x = w + 6. Which is smaller: 1 or x?
x
Suppose -m - 9 = -4*m. Is 3 bigger than m?
False
Let d = 1 - 3. Let o be (d - -8)*3/6. Suppose -2*p + 3*x = -15, 0 = -2*p - 0*x - o*x - 15. Which is bigger: p or 1?
1
Let u = -1 - -2. Is 2 equal to u?
False
Let h = 0.84 + -0.14. Let a = h - 1.6. Let x = 0.1 - a. Which is smaller: -0.2 or x?
-0.2
Let a = 4.2 + 0.8. Let t = 3 - a. Let n = t + 4. Does n = -1?
False
Let i(v) = -v - 1. Let b be i(1). Let k = 1 - b. Suppose 2*a - 4*c = c + 12, -k*c = -a + 8. Which is smaller: -3 or a?
a
Let v = -61 + 42. Which is smaller: v or -0.1?
v
Let m = 28 - 73. Is m equal to -47?
False
Let x = -517/2 + 7247/28. Let j = x - 79/420. Which is bigger: -2/3 or j?
j
Let h(p) = p - 6. Let k be h(9). Let d(u) = -3*u**k + 6 + 0*u**3 + 4*u**3 - 6*u - 4*u**2. Let c be d(5). Which is bigger: c or 1/2?
c
Let u be (-2)/4 + 10/(-28). Which is smaller: -2 or u?
-2
Let t = 20 + -21. Let k = -9/55 + -469/495. Which is bigger: k or t?
t
Let c = 10 + -8. Suppose c*q - 230 = -4*v, 3*v - 56 = 2*q + 120. Let f = v + -231/4. Which is bigger: f or 1?
1
Let i = -5 + 27. Which is smaller: i or 23?
i
Suppose 3*h - 5*v = -25, -v + 3 = 5*h - 2. Let m be (3 - 1) + -4 + 4. Suppose 0 = 3*s - m*s. Is s < h?
False
Let n be (10/(-4))/5*-2 - -1. Is n bigger than -2?
True
Let g = 43 + -22. Are 20 and g non-equal?
True
Let v = -0.013 - 2.987. Which is greater: v or -0.3?
-0.3
Let q be (-50)/(-112) - 183/488. Let r = -1 - 0. Is r less than q?
True
Let n(g) = 16*g + 4. Let o be n(4). Let f be (-3)/(-4) + o/16. Which is smaller: f or 4?
4
Let k = -2 + 0. Let x be 1/((4/12)/1). Let f be k/x + (-22)/(-6). Is f <= 3?
True
Let w(y) = y**3 - 15*y**2 + 2*y - 22. Let v be w(15). Does 10 = v?
False
Let o be 7/4 - 2/(-8). Suppose -d + o*f = 3, 2*d + 0 = -3*f - 6. Let h be (38/(-7) - -2) + 24/56. Is d >= h?
True
Suppose 4 = -4*u + 4*s, 0 = -u + 3*u - 4*s + 4. Suppose -4*i - 2 = 6. Let m be 1 + i - 0/1. Is m greater than or equal to u?
False
Let f be -22*(0 - 2/4). Is 10 at most f?
True
Let g be (-114)/(-4)*(-4)/3. Is -37 > g?
True
Suppose -c + 20 = -32. Which is smaller: 51 or c?
51
Let q = -63.5 + 63. Is 0.12 less than or equal to q?
False
Suppose -2*s + 1 = -9. Let x = s + -1. Let z be 10/4 - 1/(-2). Which is greater: z or x?
x
Suppose -9*a - 38 = -11*a. Which is greater: 39/2 or a?
39/2
Let s = -50.4 - -50. Which is smaller: 2 or s?
s
Let g = -2957 - -192211/65. Is 1 at most as big as g?
False
Let q be (-1 + (0 - 0))*-34. Let i = -14 + q. Suppose 4*f = 4*l - i, 4*f = -2*l + 4*l - 18. Which is smaller: l or 5/6?
5/6
Suppose -82 = -4*h + 2*l, 4*l - 34 = -3*h - 0*l. Let t be 2*h/20 - 2. Is 0 less than t?
False
Let n(v) = -1 + 2*v**2 + 2 - 2*v**3 - 5*v**3 + 2*v. Let l be n(-1). Which is greater: l or 9?
9
Suppose 5*b - 5*r = -0*b + 10, 5*b + 22 = -3*r. Are b and -9/7 equal?
False
Let o be 6/2*(-12 + 11). Is 0.1 at least o?
True
Let b(c) be the first derivative of -c**2/2 + 2*c + 3. Let s be b(2). Is s at most 2/5?
True
Let v = -35 - -35. Is v not equal to -0.05?
True
Suppose 3*g + 3*t + 22 = -g, g - 2*t = 0. Is g not equal to -6?
True
Let j = -177.1 + 177. Is 8/15 not equal to j?
True
Suppose 0*m + 4*m = 0. Suppose -3*c + 3*x + 3 = 0, -x - 1 = -5*c - m. Let g be (3/(-3))/(-1)*c. Are g and 2/13 unequal?
True
Suppose -b - b = -8. Let m be ((-5)/4 + 2)*b. Let w(r) = r**2 - 2*r. Let t be w(m). Which is smaller: 4 or t?
t
Suppose -4*u + 71 - 35 = 0. Which is greater: -1 or u?
u
Let j be 22/(-24) + (-6)/(-24). Is j smaller than -7/3?
False
Suppose 2*v - 46 = -5*y + y, 15 = y - 3*v. Let k be 9/(-1)*y/198. Is k >= 0?
False
Let o be 0*(-2)/6 - -18. Let a = 25 - o. Is 7 smaller than a?
False
Let x be 31/15 - ((-16)/12)/(-2). Which is bigger: x or 4?
4
Let z = -6.86 - 0.14. Let l = z - -7.02. Is -0.1 > l?
False
Let x = 19 - 