- -7. Which is smaller: 4 or g?
4
Let p = -8 + -6. Which is greater: p or -13?
-13
Let p = 0.3 + -0.5. Which is greater: 0 or p?
0
Let b(u) = u**2 + 5*u - 9. Let j be b(-7). Suppose -2*y + 7 = j*h + 19, -4*y = 2*h - 8. Suppose m = 2*m + 1. Which is smaller: h or m?
h
Let a(b) = b**3 + 4*b**2 + 2*b + 2. Let n be -2 + 1 + 0/3. Let f be 1*(-2 - -5)*n. Let c be a(f). Is c at least as big as 4?
True
Let u = 0.8 + -1. Which is smaller: -1 or u?
-1
Let q(n) = -n**3 + 5*n**2 + n - 1. Let p be q(5). Let b be (-4)/(-78)*3 + 24/13. Suppose 15 = -p*y - 3*m, b*m + 3*m + 25 = 2*y. Is y bigger than 2/7?
False
Let w = 8 + -5. Let l = 16 + -7. Let d be (-2)/4*6/l. Which is greater: w or d?
w
Let p(r) = -r**3 + 6*r**2 - 6*r + 7. Let s be p(5). Let m be (-3)/12 - (-2)/8. Suppose s*o - o = m. Is o at most -1?
False
Let q = 26.1 - 30. Let k = q - -0.9. Which is smaller: k or 1?
k
Suppose -5*b = 3*w + 6 - 23, -2*w = -b + 6. Which is greater: w or -2/7?
-2/7
Suppose 2*h - 24 = -2*g + 7*h, -g - h = -5. Let s = -5 + g. Is 1 greater than s?
False
Let m = -0.14 - -0.04. Is m less than -10?
False
Let t be 10/(-25) + (-8)/(-20). Let j be (-1 - -3) + 152/(-80). Is t >= j?
False
Let u = 1 + -1. Let r = 2 + u. Suppose d = r + 7. Is 8 bigger than d?
False
Suppose w = z - 2*w, -3*w = 5*z. Let o = z - 2. Let u be 18/(-42)*o/3. Is 0 bigger than u?
False
Let r = 520 - 3634/7. Which is greater: 0 or r?
r
Suppose 0 = 5*w - 8 - 42. Suppose -38 = -2*k - 36. Is k less than w?
True
Suppose -9 = -3*f + p - 36, -2*p = 0. Let b(m) = -m - 14. Let l be b(f). Is -4 smaller than l?
False
Let p be (-2)/(-10) - 96/(-20). Suppose -10 = -p*q, 4*t = -5*q + 3*q - 12. Suppose 4*x = -x - 20. Is t bigger than x?
False
Let h(l) = 3*l**2 - l + 1. Let r be h(1). Suppose -4*a = -2*o - 14, -2*o + 3*o + 7 = -r*a. Suppose -2*u + 4*u + 12 = 0. Is o greater than u?
False
Let u(r) = 3*r - 1. Let l be u(1). Let g = 1611/2 + -803. Does l = g?
False
Suppose 0 = 4*v - u + 4*u - 12, -5*u + 20 = 5*v. Let z be 0 + 3/((-3)/(-4)). Let p be (-3 + 5)/((-6)/z). Which is smaller: v or p?
p
Let l = -7/10 - 2/15. Which is bigger: l or -3/7?
-3/7
Let g be (99 + 2 - 2)/(1 + -8). Is g less than 0?
True
Suppose -29 = 4*n - 2*z + 3, 0 = n + 5*z - 14. Are -4 and n unequal?
True
Let n be (-2 - -8)/(66/176). Is 16 bigger than n?
False
Let y = -3 + 2.8. Let l = y - -0.1. Let j = 3 + -5. Which is smaller: j or l?
j
Suppose -4*w + 2 = -5*l + 8, -3*w = 2*l - 7. Which is smaller: -1/57 or w?
-1/57
Let j = 0.32 - 0.52. Do j and 5/4 have different values?
True
Let a be 6/(-39) + 174/(-221). Is a greater than 0?
False
Let t = -1.952 + -0.048. Which is smaller: t or -0.2?
t
Let m = -13 - -12.8. Let d = -0.2 + 0. Let s = d - m. Is 2 greater than or equal to s?
True
Let h = -153 + 131. Which is greater: h or -25?
h
Suppose 0*u - 3*u + 6 = 0. Let z = 2 + 0. Suppose -5*d - z*v = -1, 12 = 2*v + u*v. Which is bigger: 0 or d?
0
Let o(m) = -m + 3. Let g be o(5). Let l(u) = -u**3 - u**2 - 2*u - 3. Let c be l(g). Is c > 3?
True
Let c be (-14)/(-4) - 2/4. Suppose 8*l - c*l = 15. Suppose 4*m + l*d - 16 = 5*m, 0 = 5*m + d. Are -2 and m equal?
False
Let t = 23 + -22.3. Let c = -7.9 + 8. Is t < c?
False
Let b(v) = -v**3 - 27*v**2 - 27*v - 22. Let f be b(-26). Which is smaller: -5 or f?
-5
Let x = -19 - -15. Is -1 greater than x?
True
Let i(t) = t**3 + 3*t**2 - 4*t + 5. Let j be i(-4). Let u be 2/4 - (-5)/(-10). Suppose 0 = j*a - u*a - 5. Is a greater than 1?
False
Suppose -4*g - 19 = -3*t + g, 0 = -3*t - 2*g + 5. Is t > 3?
False
Suppose 0 = -3*d - 5 + 2. Suppose -3*q - 13 - 80 = 0. Let y be q/(-105) - 2/10. Is y smaller than d?
False
Let l(x) = -3*x - 9. Let d be l(-4). Which is greater: 18/7 or d?
d
Suppose 20 = 4*f - 4*j, 0 = f - 4*j - 14 - 0. Which is smaller: -1 or f?
-1
Let h be ((-8)/12*-2)/(4/(-6)). Is -3 < h?
True
Let l = -0.07 + 0.07. Let x = l + 0. Let q be 0 - (26/(-22) - -1). Is q greater than x?
True
Let b be (-4*(-15)/(-40))/(3/(-40)). Are 22 and b nonequal?
True
Suppose -3*a + 10 = 2*a. Suppose 0 = i + 7*i - 32. Which is greater: i or a?
i
Let k(b) = b**3 - 5*b**2 - 3*b + 14. Let r be k(5). Is 14/9 not equal to r?
True
Let a(y) = y**3 + 5*y**2 + 1. Let i be a(-5). Suppose f = m - i, f = -0*m + 5*m + 11. Which is smaller: -5 or f?
-5
Let b(m) = m - 9. Let x be b(5). Let c = -1 - x. Let v = -5 + c. Is v less than -1/2?
True
Let o(j) = -j**2 + 3*j - 2. Let h be o(3). Let c be 1 + 0*h/(-4). Let g be (-1 + 2)*5/4. Are c and g equal?
False
Suppose 3*o - 4*h + 2*h = -1, 2*h = o - 1. Let t = 762 - 472. Let a = t - 3188/11. Which is greater: a or o?
a
Let t = -0.4 + 0.5. Let y = 0.2 + -0.3. Which is smaller: y or t?
y
Let d = 31 + -19. Suppose 5*x + d = i, 4*x - 3*i = -3 - 0. Let z be (48/(-3))/(-4) - 8. Is z > x?
False
Let d = -1 - 0. Let b be d/4 - (-1)/4. Which is greater: 2/5 or b?
2/5
Let s = 4/3 - 1. Let l be 232/18 - (-6)/(-9). Let z = l + -532/45. Which is smaller: s or z?
s
Let b(t) = -t**2 - 7*t + 8. Let j(u) = 28*u**3 - u**2 + 1. Let h be j(1). Suppose -4*z - 4 = h. Let y be b(z). Is y < 2?
True
Let h be ((-1)/(-2))/(3 + (-26)/4). Which is smaller: h or 0?
h
Let f(t) = 61*t - 2. Let l be f(2). Suppose -224 = -4*z + l. Let w = z + -260/3. Is -0.2 at least w?
True
Suppose -5*o + 4 = -o. Do 2/3 and o have different values?
True
Let l be (1 + 4)*6/5. Let k = -4 + l. Suppose -n = 2 - 1. Which is greater: n or k?
k
Let j(f) = -f**3 - 8*f**2 - 6*f - 9. Let t be j(-7). Let h be (t/6 - -3)*-6. Which is smaller: h or -3?
-3
Suppose 5 = 3*d - 4. Let i(r) = -r - d - 1 + 4. Let t be i(-4). Is 4 at most as big as t?
True
Let d = -2.8 + 2.9. Do d and -96 have the same value?
False
Suppose -5*c - 8 = 5*x + 17, -5 = x. Suppose -5 = -t - c*t. Which is bigger: t or 6?
6
Suppose -2*q - 3 = 5*b, -b = -0*q + 3*q + 11. Let y = b - -2. Suppose 0*p + y = 3*p. Which is greater: p or 0.1?
p
Let f be (1 - 0) + 223/(-93). Let r = -2/31 - f. Let i(b) = -b**2 - 9*b - 6. Let y be i(-8). Which is smaller: r or y?
r
Suppose 12 - 4 = 4*a. Which is bigger: 14/11 or a?
a
Let u be 10/25*(-1 + (-936)/(-951)). Which is greater: u or -1?
u
Let p = 24 + -25. Which is smaller: p or 4/19?
p
Suppose 3*w - 3 = 9. Suppose 2 - w = 2*k. Let p = -66/19 - -64/19. Which is bigger: k or p?
p
Let c be 3 - -3 - (0 + -1). Let i(w) be the second derivative of -w**5/20 + 7*w**4/12 + w**3/6 - 2*w**2 + 2*w. Let y be i(c). Is y equal to 4?
False
Let l = 61/25 - 3793/1575. Are 1 and l non-equal?
True
Let w = -1.4 - -0.8. Let m = -0.66 - w. Is m greater than or equal to 2?
False
Let m = -0.35 - 4.65. Let u = 22 - 16. Let x = m + u. Does x = 3?
False
Let a be 2/4*(-13326)/27. Let u = -247 - a. Are u and 0.1 nonequal?
True
Let p be ((-4)/8)/((-1)/8). Suppose -p*a + 2*a = 2. Let o = 77 - 845/11. Is o bigger than a?
True
Let n(b) = -2*b. Let c be n(-2). Let o be 1*((-10)/c + 3). Which is bigger: o or 0.06?
o
Let v = -0.2 - -0.27. Let p = 0.09 - 0.06. Let i = p + v. Which is bigger: i or 0?
i
Suppose -12 = -w + 9. Let i be w/(-7) - 54/(-22). Do -2 and i have different values?
True
Let y be (-13)/11 + (-1)/(-1). Suppose -2*x + 3*q + 4 = 0, 0 = x - 4*q + 1 + 2. Suppose f = -4*f + x. Is f greater than or equal to y?
True
Let q be 0 + -1 + (-20)/(-26). Let i be 5/(45/21) - 3. Which is smaller: q or i?
i
Let j(y) = 11*y + 30. Let o be j(-5). Which is bigger: o or -3?
-3
Let r(b) = b**2 + 2. Let q be r(-2). Let u be 4/(-14) - 60/(-14). Suppose -23 = -u*d - 3. Which is smaller: d or q?
d
Let z = -31 - -31.4. Is z >= 5?
False
Suppose 12 = 5*g + 2. Suppose -g*c = 2*c. Let x be (51/(-238))/(3/(-2)). Which is smaller: x or c?
c
Let x = 35/11 - 1483/473. Are -1 and x equal?
False
Let f(q) = -2*q - 3. Let a be f(-6). Suppose 7*w + 5*j = 2*w + 25, -3*j + a = -3*w. Let l be (1 - -1)/((-6)/(-9)). Is l at least as big as w?
True
Let k = 1 - 1. Let o be (-1)/3 - (-17)/(-3). Let j = o - -7. Which is smaller: j or k?
k
Let m = 7 + -10. Let i = 1 + 1. Let w be ((-4)/(-6))/(i/m). Do w and -3 have the same value?
False
Let q = 0.9 + 3.1. Let p = q - 4.3. Let i = -0.7 + p. Does -1/3 = i?
False
Let w = 0.11 - -3.89. Let i = w + -4. Let j = 0.1 + 0.1. Is i bigger than j?
False
Let d = -0.11 + -0.09. Let y = -0.1 - d. Let w = 5 - 5. Is y not equal to w?
True
Suppose -2*n = -3*a - 14, 5*a + 0*a = 4*n - 24. Let u be (-2 + 1 + 2)*n