g?
-2/9
Suppose -4*c = -3*l - 2*l + 28, -4*l + 20 = -2*c. Suppose l*b = 2*b - 22. Is -12 > b?
False
Suppose 2*k = -2*d, 0 = d + 4*d - 10. Let t(n) = 20*n + 6. Let z(u) = 7*u + 2. Let r(c) = -6*t(c) + 17*z(c). Let f be r(-1). Which is smaller: f or k?
k
Let x(r) = r**3 - 12*r**2 - 6*r - 13. Let z be x(13). Are z and 78 nonequal?
False
Let c(z) = -z**3 + 4*z**2 + 4. Let f be c(4). Let r be (3/(-36))/(f/8). Which is smaller: 1 or r?
r
Let j(d) = d**2 - 6*d. Let x be j(7). Let p = 8 - x. Is p less than or equal to 0?
False
Let p = 0.5 - 0.5. Let r be ((-2)/(-5))/(3/90). Let n be (-3)/r - (-1 - -1). Which is smaller: p or n?
n
Suppose -t + 2 = 3. Which is bigger: 28 or t?
28
Let o = -11 + 2. Is o >= -11?
True
Suppose -n - 3*n = 0. Suppose 0 = -5*r + 2*m - 30, -r - 4*m + n*m + 16 = 0. Is -3 > r?
True
Let x = -18 - -19. Let o = x + -2. Do -0.04 and o have the same value?
False
Let u = -4 - -3. Which is smaller: 1/12 or u?
u
Let q = 4 - 20. Let b be (4/q)/((-3)/24). Suppose 3 = 4*x - 5. Does b = x?
True
Let l be 2/(-10)*(-105)/(-14). Is -12 smaller than l?
True
Let k = 112 - 112. Is -8 greater than or equal to k?
False
Suppose -n = n - 42. Suppose -5*u = k - 6 + n, 5*k - 17 = -2*u. Suppose 5 = -c - 3*g - 9, k*g = -c - 24. Is 2/5 not equal to c?
True
Let j = 916 + -54041/59. Let m = 127/177 - j. Is m at most 0?
False
Let u be (1 + -3)*2/(-604). Let t = u - -279/3473. Suppose -4 = n - 3. Which is smaller: n or t?
n
Let y = -0.5 + 2.5. Let w = -21 + 20.9. Which is greater: y or w?
y
Suppose -3*a + 2 = f, -2*f + 2*a + 15 = -3*a. Suppose 0*p - 10 = -f*p. Which is smaller: p or 1?
1
Let s = -0.8 - -2.8. Is -2/29 smaller than s?
True
Let x = 3832/5 + -69091/90. Let y = x - 7/18. Is -3 bigger than y?
False
Let q be (-2)/8 + (-995)/4. Let n = q + 2741/11. Is n equal to 0?
False
Let d be 4/((-8)/(-6)) - 7. Let m = -4 - d. Which is bigger: m or 3?
3
Let j = -25 - -24.8. Which is smaller: j or 2/27?
j
Let s(n) = 1 - 8*n - 3 + 7*n. Let i be s(-1). Which is bigger: i or -4?
i
Suppose 0 = 12*z - 11*z. Let d be 0/(z + 2 + -1). Do d and 6/11 have the same value?
False
Suppose -v = 4*h - 4, -4*h - 1 + 13 = 3*v. Do h and -14/19 have the same value?
False
Let i = -13 + 5. Which is bigger: -9 or i?
i
Let i = 7 - 6. Let y = 1 - i. Is 0 at least y?
True
Let u be (-1 - -2) + 1/(-2). Let h(r) = r + 2. Let n be h(-2). Is n at most u?
True
Let g = -1 + -1. Let i = 38 + -34.9. Let m = -3 + i. Which is smaller: g or m?
g
Let c(u) = -u**3 + 3*u**2 + 2*u + 6. Let f be c(3). Suppose t = -x - t + 6, -f = -4*x - 5*t. Is -1 > x?
True
Let b be (-2)/(3 - 6 - -1). Let x = 0 - b. Let z = 27/2 - 193/14. Which is greater: x or z?
z
Let d = -2 + 6. Suppose 14 = 4*p + 2. Suppose p*m + c = -2*c + 9, -d*c = -4. Is 0 not equal to m?
True
Suppose 2*q - 9*q + 0*q = 0. Does q = 0?
True
Let r = 1 - 6. Let w = r + 10. Is 1 smaller than w?
True
Let u be (82/8)/((-6)/(-16)). Let a be (-24)/20*(-90)/4. Let n = a - u. Is 0.5 < n?
False
Let g(w) = -w**2 + 7*w - 7. Let f be g(5). Suppose n - 5*j - 11 = 0, -2*j - 5 = f*j. Which is smaller: 7 or n?
n
Suppose 3*a = 10*a + 7. Which is bigger: a or -2?
a
Suppose 3*j = 2*z + 2, z + 1 = -2*j + 4*j. Do z and -2/47 have the same value?
False
Let b(k) = -k**3 - k**2 + 3*k + 3. Let y(z) = -2*z. Let r be y(2). Let o be ((-15)/(-10))/(3/r). Let w be b(o). Which is greater: -2/9 or w?
w
Let s be (-2)/(-4) + 14/(-12). Let b = 1.7 + -2. Let u = b - -0.1. Do u and s have different values?
True
Let d = -9 + 15. Suppose -6 = -4*v + d. Let n be (4 - v)/1*-1. Which is smaller: n or -3?
-3
Let f = 0.94 - -0.06. Let m = 0.1 + 0. Is m greater than f?
False
Let k be 2/8 + (-18)/8. Let p = -3 + 4. Let l = k - p. Is -3 less than l?
False
Let z be (-1)/3 + 55/(-15). Let k be ((-16)/10)/z - 1. Which is smaller: k or 1?
k
Let i = 5849 - 53345/9. Let d = 78 + i. Let u(r) = r**2 - 5*r + 6. Let z be u(4). Which is smaller: z or d?
d
Let z = 5.09 + 0.71. Let g = z + -6. Is -0.3 <= g?
True
Let l(c) = -4*c**3 + 2*c**2 + c. Let n be l(-1). Suppose -4*k + n*k = -2. Let p(y) = -2*y**3 - 3*y**2 + y + 2. Let s be p(k). Is 5 equal to s?
False
Let h be (-10)/(-15) - 7/(-3). Let y(c) = c**2 + 1. Let d be y(-1). Which is bigger: h or d?
h
Let s be 7/(-4) + 84/112. Is -2/13 less than s?
False
Let k be (-6)/3 - (3 + 1). Let z be -2*(2/(-4) + 1). Let f = k - z. Is -5 less than f?
False
Let a = 26209/3204 + 15/356. Which is greater: 9 or a?
9
Let o be (-21)/(-5) + 5 + -10. Let f be (-4)/(-6)*(-6)/(-2). Let b = -2 + f. Which is smaller: o or b?
o
Let n(s) = s**3 - 9*s**2 + 14*s. Let z be n(7). Let k be 5*(2/(-5) - -1). Is k less than z?
False
Suppose 3*i + 12 = -9*i. Is 1/33 greater than or equal to i?
True
Suppose 5 = 4*s + s. Let h be (s/33)/((-2)/4). Which is smaller: 1 or h?
h
Let j be (1/(-4))/(2/(-8)). Let f(y) = y**3 + 6*y**2 + 6*y + 5. Let c be f(-5). Is j != c?
True
Let z be (-1)/(-5)*3/(-1). Suppose 2*n = 5*n - 9. Suppose j + n*j = 0. Is z at least j?
False
Let f = -11 + 13. Is f >= 3?
False
Suppose 0 = y + 5 - 7. Let u be (y/(-5))/((-19)/(-5)). Let w = -0.3 - -1.3. Which is smaller: u or w?
u
Suppose -5*o = 4*g + 23, -10 - 2 = 2*o + 3*g. Let j be -4 + 3 - o - 1. Is j bigger than 1/10?
True
Suppose 0 = -10*h + 6 + 14. Is 0 <= h?
True
Suppose 6 = -2*k + 2*r, -3*k - 3*r - 1 = -22. Suppose k*b = 7 - 1. Suppose 0 = -4*f + 5*i + 32, 2*i = b*f + i - 13. Which is smaller: 1 or f?
1
Let o be (-4)/(-30) - (-308)/(-4785). Let h(q) = q - 5. Let j be h(4). Which is smaller: o or j?
j
Let d = 4.1 + -4.3. Which is greater: -0.07 or d?
-0.07
Let d = 554.9 - 555. Let f(j) = j + 2. Let x be f(6). Suppose -k = -5*b + x, -5*b = k - 1 - 1. Which is smaller: d or b?
d
Let q be (-16)/(-20)*(-9)/60. Is 1 less than or equal to q?
False
Let d = 3 + -3. Let o be 6530/(-6195) + 4/6. Let z = -6/59 - o. Is d bigger than z?
False
Let n = 16 + -13. Let c be 14/4 - 2/(-4). Which is smaller: c or n?
n
Let u(i) = i - 2. Let q be (-3)/((3/(-4))/1). Let b be u(q). Let f be b + (-82)/26 + 1. Which is smaller: f or -1?
-1
Let b = 10 + -10. Suppose b = c + 5 + 2. Which is bigger: -5 or c?
-5
Suppose 0 = 3*z - 0*z + 9. Which is smaller: -4 or z?
-4
Suppose 2 = -4*b + 10. Suppose 2 = -b*k + 6. Let x be 0 + -1 - (-1)/2. Which is bigger: x or k?
k
Let r = 3.3 + 7.5. Let w = 11 - r. Is w less than 0?
False
Let k = 295.3 - 313. Let v = 18 + k. Is v equal to -2/13?
False
Let l = 10 + -3. Let u = l + -2. Let t = u + -5. Is t smaller than -5?
False
Suppose -4 = -4*w + 8. Let p be -4 + 1 + 1 + 2. Suppose p = -t - 2*t. Is w bigger than t?
True
Let f = 12 - 6. Let d be (13 - 9)*f/(-16). Which is smaller: d or -1?
d
Let m = 0 + 3. Let d be (-35)/12 - (-2)/m. Is -1 bigger than d?
True
Suppose -3*s + 3 = -30. Suppose -5*f = -3*w + 10, -5*f - s = 5*w - 1. Is w at least as big as -1?
True
Let i = -4 + 7. Suppose -3*l - 1 + 13 = -i*y, 4*l - 16 = -y. Is -3/5 smaller than y?
True
Suppose 5*z - 2*m = -101, 5*m - 13 = 4*z + 78. Do -18 and z have the same value?
False
Let t = 5 - 5. Suppose 0 = -g - 1. Which is bigger: t or g?
t
Let o = -6 - -2. Let r = 4 + o. Is r less than 2/5?
True
Let w(m) = m**3 - 14*m**2 - 1. Let g be w(14). Which is greater: -11/5 or g?
g
Let p = -97 + 1359/14. Which is greater: p or -1?
p
Let k be (-1)/(-25)*-6*45/(-12). Which is bigger: 2 or k?
2
Let x be 70/4 + (-3)/(-6). Which is smaller: x or 17?
17
Let l(j) = j**2 + 5*j + 2. Suppose 0 = -5*p + 2*p - 15. Let r be l(p). Suppose -r*c = -2*b + 6, 3*b - 8*b - 5*c - 25 = 0. Which is smaller: 0 or b?
b
Let j be 956/(-10) - 2/5. Let y be (-2)/7 + j/(-189). Which is smaller: -0.1 or y?
-0.1
Let j = -0.056 - 0.144. Is j less than 8?
True
Suppose 4*v - 3*v = -11. Let x = -7 - v. Suppose t = -4, -f - 3*t + x - 15 = 0. Is -2/9 less than f?
True
Let r = 3 + -3. Let s = r - 1. Let o(y) = y**3 - y**2 - 1. Let q be o(0). Is s <= q?
True
Let o(t) = t**3 - 8*t**2 - 4*t - 13. Let g be o(9). Does 30 = g?
False
Let d = 77 - 49. Let n be d/(-36) - 2/9. Which is smaller: n or -2/21?
n
Let y be (-8)/(-4) + (-4)/(-14). Let q = y - 39/14. Let z be (2 - 1)*2/(-1). Is q greater than z?
True
Let b = -16.5 + 16. Which is bigger: 1 or b?
1
Let z = -65/2 - -31. Let f(d) = d**2 + 7*d + 9. Let g be f(-6). Suppose -12 = -4*h, -5*o = -o + g*h - 1. Is o not equal to z?
True
Let u = 63/242 + -89051/28798. Let w