7 - -12. Is l smaller than j?
False
Let v be 12/(-3) - (1 + -1*15). Which is greater: v or 8?
v
Suppose -3 = -2*f - 1. Suppose -6*n - f - 5 = 0. Is -3 < n?
True
Suppose -2*x = -0 + 6. Let t be (3 + 1 - 3) + x. Is t at least as big as -1?
False
Let u = 9.04 + -9. Let k = u - -0.96. Let v = -0.1 + 1.1. Is k smaller than v?
False
Let y = -783/10088 + 7/104. Let u = y + -173/2037. Which is greater: 0 or u?
0
Let l = -3 + 2. Let r = l + 0. Let w = 1 + r. Which is greater: w or -1?
w
Let c = -63 - -62. Which is smaller: -1/7 or c?
c
Let a be 6*2/(34 + -2). Let y(c) = -c**2 + 2*c + 4. Let q(z) = 2*z - 3. Let r be q(3). Let h be y(r). Which is bigger: a or h?
h
Let x be (-6)/4*12/(-6). Suppose -b = x*b + 3*p + 7, 15 = -3*p. Let w be (-4)/b - 21/(-12). Is w equal to -2?
False
Let q be (3/(-20))/(18/(-16)). Suppose 5*b = 2*b - 4*y - 2, 12 = -4*b + 4*y. Let d be ((-1)/b)/(1/2). Do d and q have different values?
True
Suppose -5*x = 2*f - 3 - 17, -2*x + 8 = -3*f. Suppose x*u + a + 17 = 0, 5 = -4*a + 3*a. Let b = -5 - u. Is -1 bigger than b?
True
Let v = -11 + 7. Let m = v + 3. Let i = 10 - 9. Which is bigger: i or m?
i
Let b(m) = m**2 + m + 1. Let s = -3 + 2. Let p be b(s). Is p bigger than -1?
True
Let a be -2 + (0 - -1) + 2. Let u be (4/28)/(3 - (-705)/(-245)). Do a and u have the same value?
False
Let q be -2 - (2 - -3 - 3). Suppose -2*d + 28 = -4*j, 2*d = j + 15 - 2. Let u = q + d. Which is smaller: u or 1?
u
Let x(q) = q + 1. Let j be x(0). Let w be (-2)/(-1 - j)*8. Are 7 and w unequal?
True
Let v be ((-18)/(-5))/(30/75). Are v and 8 non-equal?
True
Suppose -2*s - 12 = s. Let l = -3 - s. Let o = 0.06 + 0.14. Which is smaller: l or o?
o
Let b be (4/(-10))/(1/5). Is -2 smaller than b?
False
Let f(i) = 831*i + 1. Let a be f(-1). Let k = a - -15760/19. Let s = 51/133 + k. Which is greater: 0 or s?
0
Suppose -6*b + 3*b = -3. Which is smaller: 4/7 or b?
4/7
Let c be 4/8 + 94/4. Suppose -c = -3*a + 5*m + 19, -25 = 5*m. Are a and 6 equal?
True
Let s = 1.8 - 1.4. Which is smaller: -2 or s?
-2
Suppose -3*k + 5*n = n + 117, -3*k - 117 = 4*n. Is -38 bigger than k?
True
Let g be 1/4*(2 + 2). Suppose 0 = 5*j - g + 11. Let h = 1 + -3. Is j equal to h?
True
Let w be 3*(-7 - -2)/5. Which is smaller: -8/3 or w?
w
Let f be (-39)/(-12) + (-1)/4. Suppose -2*u = f*y + 7, -y + 2*u - 11 = 2*y. Let a be 1/y + (-2)/30. Which is smaller: a or -1?
-1
Let l be 15/(-10) + (-1)/2. Let p be ((-6)/(-9))/(1/(-3)). Let t = -3 - p. Is t smaller than l?
False
Let f(j) = -j**3 - 5*j**2 - 1. Let d be f(-5). Which is bigger: d or -1/63?
-1/63
Let b = -4 - -4.8. Is -2 >= b?
False
Let b = -5 + 4.1. Let r = 0.8 + b. Which is smaller: 4 or r?
r
Suppose -b - 4*b = 0. Let i be 4 - (-1 + b + 15). Which is smaller: i or -11?
-11
Suppose 0 = g - 1 - 0. Suppose 545 = -3*d - 220. Let z = 7393/29 + d. Is g < z?
False
Suppose -4*z = -b - 10, b + z - 9 = -2*b. Suppose -3*n + 6*v = b*v + 9, -4*v = -4*n - 8. Does 2/5 = n?
False
Suppose -4*m + 10 = -2*k, -2 = -4*m + 5*k + 17. Are m and -2/31 unequal?
True
Let q be (1 - (1 - -4))*-1. Is q at most as big as 0.2?
False
Let z = -167/10 + 37/2. Let n = 11/5 - z. Let m(k) = -k**3 + 3*k**2 - 3*k + 1. Let q be m(2). Is n at most q?
False
Suppose t + 4*v - 15 = -2*t, 5*t + 2*v = 11. Let a = -4 - -6. Is t greater than a?
False
Let p = 357/5 + -72. Let j = -3.7 - -0.7. Is j at least p?
False
Let s be 3579/(-140) - (-3)/12. Let d = s - -128/5. Let n = -2 + 1. Is n < d?
True
Suppose -6 = 4*p - 2. Which is smaller: 22 or p?
p
Let z = -209.99 + 210. Is -7 < z?
True
Let q = 6 + 1. Let n(m) = 2*m + 1 - q + 0*m. Let z be n(5). Is z less than 5?
True
Let b be 2/(1 + -2 + 0). Suppose p + 3*p = -4. Let s = p + -1. Does s = b?
True
Let c = -5/6 - -4/3. Let r be 47/(-60) - 4/(-16). Let m = r - -1/30. Which is smaller: c or m?
m
Suppose -8*z - 72 = 88. Do -21 and z have the same value?
False
Let l = -9 - 16. Let a = l - -25.93. Let p = -0.07 - a. Which is greater: p or -2?
p
Let m be ((-8)/(-6))/((-12)/(-18)). Suppose 25 = 3*d + m*d, -4*q = -2*d + 10. Are q and 1 unequal?
True
Let n be 0/((-3)/(-6)*-2). Let j = 5 + -11. Let m be (1 - (-9)/j)*n. Is 0 greater than or equal to m?
True
Suppose 2*o = o. Let a be (1 + o)/(5 - 4). Which is bigger: -1 or a?
a
Let j = -3760/7 + 536. Which is greater: 1 or j?
1
Suppose 0 = -4*m - 0*m + 8. Suppose 5 = 5*h, m*h = 5*c + 5*h + 7. Is c at most -3?
False
Let a = -41.1 - -12.1. Which is smaller: 0.3 or a?
a
Let g = -54.5 + 53. Let q = 2.5 + -3. Let v = g + q. Is v smaller than 0.2?
True
Suppose 2*c = 5*w - w - 14, -2*w + 4*c + 4 = 0. Let d be -2*w/4 - -3. Which is smaller: d or 4/5?
4/5
Let l = -2 + 4. Let u = 153/329 + 5/47. Is l less than or equal to u?
False
Let s(y) = -y**2 + y + 6. Let t be s(0). Suppose 4 = 4*q - 5*j - t, 3*j = -3*q - 6. Is 0 > q?
False
Let d = 13 + -8. Suppose -d*o = -3*o + 4. Is o less than or equal to -3?
False
Let m = -11 - -7. Let w(g) = -2 + 5*g**2 - 4*g**2 - 6*g + 0. Let b be w(6). Which is smaller: b or m?
m
Let b = -4723/7 - -677. Which is greater: 2 or b?
b
Let s(k) = -4*k**2 + 5*k**2 - 2*k**2 + 9*k + 3 + 0. Let z be s(9). Is z <= 2?
False
Let o = 0.4 + -0.2. Let f = o + -0.1. Let n = -14.9 - -15. Is n >= f?
True
Let b = -0.066 - -0.166. Let i(w) = 3 + 4 - 2*w**2 + 5*w + w**2. Let o be i(6). Is o at least as big as b?
True
Suppose 2*m - 2*t + 21 = t, 5*m + 2*t + 5 = 0. Let p be 2/45*m + 0. Let x(k) = -4*k - 4. Let a be x(-1). Which is greater: a or p?
a
Suppose -12 = 2*o - 5*w, -4*o + 3*w = w - 8. Let z = o + -1. Suppose -4*h + 2*y = 16, z*h = -2*h + y - 17. Which is smaller: h or -1?
h
Let r = -3 + 4. Let l be -1 - (r - (-24)/(-15)). Is l greater than or equal to 0?
False
Let r = 15.3 + -0.3. Let y = r + -15.07. Let u = y - 0.23. Do u and 0.2 have the same value?
False
Let p = 14 + -3. Suppose 0 = -2*k - 5*b - p - 2, 3*b + 9 = 0. Let a be 2/3 - 2/6. Which is bigger: a or k?
k
Let x = -3.8 + 4. Are -2 and x unequal?
True
Let z be 4/(-4)*(2 - 1). Which is greater: z or 8/17?
8/17
Let c = -52 + 52. Is -2/35 equal to c?
False
Let y = -11 + 5. Let q(m) = 2*m**2 + 4*m - 6. Let f(x) = 3*x**2 + 3*x - 6. Let j(n) = -3*f(n) + 4*q(n). Let g be j(7). Does g = y?
True
Suppose 4*u - 141 = -5*w - 54, 5*u - 4*w = 160. Is u >= 28?
True
Let p be (27 - 27)*(-1 + 0). Let u = -1 + 4. Suppose t + 3 - 8 = 4*i, -u*t + 5 = -2*i. Is p at least t?
False
Let t(s) = -s**2 + 7*s - 8. Let l be t(8). Let c be 62/(-36) - 24/l. Is c greater than or equal to 1?
False
Let w = 217.03 - 220. Let s = w - 0.03. Let i be 14/(-4) + 4 - 0. Is i greater than s?
True
Suppose 4*s + 4 = 6*s. Which is bigger: 0.1 or s?
s
Let x(n) = -2*n + 2. Let s be x(2). Let u = -8333/12 + 4345/6. Let d = 30 - u. Do d and s have different values?
True
Let l be 106/170 - (-6)/(-10). Is l less than or equal to 1?
True
Suppose -26 = -4*z - 2. Is -1 at least z?
False
Let w = -11 - -14. Suppose w = -5*r - 2*h, -3*h = 2*r - 7*r - 8. Which is smaller: r or -3?
-3
Let l be -2 - 8*(-4)/20. Is l < -5?
False
Let b be -4 + (3 + 7 - 4). Is 3/5 not equal to b?
True
Suppose 2 - 8 = -g. Let y = g - 2. Suppose -5*a + 0*p = -3*p - 17, -y = p. Which is bigger: a or 2?
2
Let n be 0 + -1 + -1 + (-36)/(-15). Let a = -5 + 12. Is n >= a?
False
Let j be (-2)/(-6) - 13/13. Which is greater: -1 or j?
j
Suppose 4*i + 68 = 8*i. Are i and 16 nonequal?
True
Let c be (45/10)/((-6)/(-8)). Let o be c/(-24) + 17/4. Let y be 2 + 2*(-2)/(-4). Is o bigger than y?
True
Let w(a) be the second derivative of a**4/12 + a**3/6 + 2*a**2 + 10*a. Let v be w(0). Which is bigger: v or 3?
v
Let c = -2/281 + 1417/1686. Is c at most -0.1?
False
Let h = 4 - -2. Let q be h/(-30) - 2/(-10). Is q bigger than -1/2?
True
Let s = -11.7 + 13. Let c = s + -1.9. Are c and -1/4 equal?
False
Let t(v) = v + 2. Let c be t(0). Suppose s + 15 = -c*s. Let x be 0 + ((-5)/1 - 1). Is s greater than or equal to x?
True
Let h = 11 - 11. Is 4/5 > h?
True
Suppose -3*d - 127 = 5*m, 2*d + 4*m - 92 = 4*d. Let k be (-6)/(-2) + d/20. Suppose -2*j + 0*j = 0. Which is smaller: k or j?
j
Let i = 17 + -17. Which is smaller: 4/7 or i?
i
Suppose -3*o = -3*a - 21, -a - a - 8 = 0. Is 2 <= o?
True
Let f be (38/14 - 3) + 1/3. Which is smaller: f or 1?
f
Let w be (-38)/30 - (-4)/6. Let n(s) = -s**3 + 2. Let b be n(0). Let g be b*(-2)/4*0. Is g at most as big as