
Let j be (-12)/(-16) + 17/(-16). Is -1 at most as big as j?
True
Suppose 4*q = -q + 30. Let k = -9 + q. Which is smaller: -2 or k?
k
Let v be -24*(2 + (-4)/3). Let f be 0 - (v/10 + 2). Is f at most as big as 0?
True
Let v = -214 + 122. Let l = v + 66. Let z = l + 132/5. Which is smaller: z or 0?
0
Let p(c) = c**2 + c - 2. Let d be p(-3). Suppose -4*m = -5*b - 5, -d*m - b = b + 2. Let n be -6*(4/21)/((-10)/(-35)). Is m < n?
False
Let t(s) = 53*s - 4. Let w be t(3). Let j = w - 778/5. Which is greater: j or -2?
j
Let q(g) = 8*g**2 + 4*g + 1. Let s be q(-3). Let u = 37 - s. Which is smaller: u or -25?
-25
Let r = 0.18 - -2.82. Which is smaller: r or -5?
-5
Let l = 33 + -30. Suppose 5*h + y = -0*h + 10, -4*h + l*y - 11 = 0. Suppose -o + 2*w + 8 = 2*o, 2*w = o - 8. Is o bigger than h?
False
Let n = 277/133 - -50/19. Let j = 283/63 - n. Which is smaller: j or -2/11?
j
Let s be 34/((1/4)/(14/28)). Is 70 < s?
False
Let i be 3 + 65/(-25) - 21/15. Is i less than 1/68?
True
Let x be 754/104 + 8/(-2). Is 1/2 greater than x?
False
Suppose -4*m = -4*y - 32, -4*y + 2*m - 35 = -m. Is y < -6?
True
Let c = 0.5 - 0. Let n = c + -0.6. Are -2 and n equal?
False
Let d be (-9)/7 + 4/14. Let k = -100 + -30. Let f = k + 652/5. Which is smaller: d or f?
d
Let q(l) = l**2 + 12*l + 9. Let c be q(-11). Let j = -87/4 - -49/4. Let z = j - -9. Is c bigger than z?
False
Suppose 0 = -0*l - 4*l - 32. Suppose 3*x - 7*x - 32 = 0. Is l smaller than x?
False
Let j(x) = x**2 - 6*x + 4. Let o be j(6). Suppose -3*f + 21 = -5*n - 4*f, -n = -o*f. Is -5 greater than n?
False
Let q be (6/(-45))/((-188)/(-20)). Which is smaller: q or 0?
q
Let l be (-125)/(-10) - (2 - 0). Which is bigger: 10 or l?
l
Let c(a) = -a**2 - a - 1. Let j(k) = -2*k**2 - 3*k - 4. Let b(y) = -3*c(y) + j(y). Suppose 0 = -2*n, n - 4*n = -4*i. Let d be b(i). Is d at least as big as 1/9?
False
Let k be 12 + -15 + 2*2. Which is bigger: 2/3 or k?
k
Let r = 11.92 + 0.08. Let x = 12 - r. Let j be ((-2)/(-6) - 1)*1. Is j < x?
True
Let r(k) = -k**3 + 6*k**2 - 2*k + 9. Let w be r(6). Let u be 1/w - (-7)/(-3). Which is smaller: -3 or u?
-3
Let s = -9219 - -37093/4. Let r = s - 54. Which is smaller: -1 or r?
-1
Let q be (3/(-2))/3*-10. Let w = -9 + 12. Suppose -3*n + w*i = -3, 7*i - 2*i = -4*n + 40. Is q at least n?
True
Let z = 59 - 61. Which is greater: z or 17/2?
17/2
Let q(i) = 10*i + 2. Let z(k) = -3*k - 1. Let n(d) = 2*q(d) + 7*z(d). Suppose 3*s = -s - 3*u - 16, -3*s - 12 = -3*u. Let m be n(s). Which is smaller: -2/7 or m?
-2/7
Suppose -4*v + 2 = -q + 1, 4*v + 11 = 5*q. Suppose 8 = -q*m + 2. Let c = 2 + -4. Do c and m have different values?
False
Let a(p) = p**2 + 3*p - 4. Let t be a(-4). Which is bigger: t or 3?
3
Suppose 101 + 279 = -10*s. Is s greater than -41?
True
Let d be 1/(-3)*(-1 + -32). Let o = -3 + d. Suppose -3*s = x + 10, -5*x + o = 28. Is 0.1 at least s?
True
Suppose -3*d + 4*o = d - 4, -4 = -4*d - o. Are d and -1.9 nonequal?
True
Let i = -0.15 + 0.1. Let v = -1 - 1. Is i greater than v?
True
Suppose 20*s + 40 = -20. Do -48/11 and s have different values?
True
Let a = -8 - -4. Let d be 12/52*a/(-6). Which is bigger: d or 1?
1
Suppose 3*u - 2 = 10. Suppose 5*l = -2*h - 26, -2*h + u*l + 4 = 2*h. Is -5 less than h?
True
Let u = -18 + 3. Let s = u - -16. Let l = 0 + -0.1. Is s != l?
True
Let t be 1781/65 + (-4)/10. Let b = -30 + t. Which is bigger: -2 or b?
-2
Let f(b) = b**3 - 5*b**2 + b - 5. Let z be f(5). Let n be (-28092)/(-28)*1/(-3). Let s = n + 335. Which is greater: s or z?
s
Suppose 0 = -3*u + 4*u - 4*c - 16, -1 = -4*u - 5*c. Suppose 3*n + 10 = -5*h, 8 = -n + 3*n - u*h. Is 0 != n?
False
Let c = 79 - 75. Is c greater than 7?
False
Suppose 0*c + c = 2. Let s = 6 - c. Which is smaller: 3 or s?
3
Let n = -1 - 0. Let h = -0.46 + -0.04. Is n not equal to h?
True
Let w be 4/2 + 1 + -3. Suppose w*f + 3 = -2*o - 3*f, 0 = 3*o + f - 6. Let u = -4 - -6. Is u smaller than o?
True
Let r = 8 + -8.6. Let z = r - -1.6. Let j = -2.8 + 3. Are j and z unequal?
True
Let p(g) = -g**2 + 6*g + 8. Let z be p(7). Let y = -3 - -3. Which is bigger: z or y?
z
Suppose 5*w - 2*w = 0. Let h = 17 - 15. Suppose -h*v + 8 + 2 = w. Which is smaller: 6 or v?
v
Let z be -18*((-12)/9)/(-2). Let i be z/16 - (1 - 1). Is -1 less than i?
True
Suppose o = -5*s + 172, -244 = -5*s - 4*o - 81. Is s <= 36?
True
Let y = -31/45 + 17/9. Let s = y - 23/15. Suppose -2*z + 8 = 3*c, -4*c - 3*z = -0*z - 12. Which is smaller: s or c?
s
Let i be 2/(-8) - (-7)/(-12). Let c = -12 - -35/3. Let z = i - c. Which is greater: z or -2/7?
-2/7
Let q = 5 + -2. Let d = q - 5. Is -1 smaller than d?
False
Let q = -4081700/81887 - 4/6299. Let b = 7 + 43. Let o = q + b. Which is smaller: o or 1?
o
Let q = -25.5 - -28. Let k = q - 2.4. Which is smaller: k or -1/8?
-1/8
Let n be (-72)/30 + 3/(-5). Is n at least as big as -3?
True
Suppose 32 = 3*q - 4*l, -q - 5*l = -2*q + 29. Suppose 4 - 20 = 4*h + 5*v, 2*h + q*v = -8. Let c(u) = -u**2 + u - 3. Let j be c(0). Which is greater: h or j?
j
Let b(k) = -k**2 + 4*k - 3. Let z be b(2). Let h be 6/79*(-106)/18. Let s = h - -2/711. Which is bigger: z or s?
z
Let u be (-6)/(-10) + (-144)/(-135). Are 2 and u equal?
False
Let h = 2 - 0. Let m(l) = l**3 + 9*l**2. Let u be m(-9). Suppose 2*q + h + u = 0. Are q and -2/17 equal?
False
Let d(o) = o**2 + 8*o - 4. Let j be d(-9). Suppose -2*w = -r, -w - w + 24 = j*r. Suppose 0 = -s - r*s - 10. Is s > -3?
True
Suppose -4*a - 14 = -6. Let s = 0 + 7. Suppose 5*v + s = -8. Is a at most v?
False
Let k be 22/66 - (1 + 5/(-3)). Let x be (1/10)/((-2)/(-4)). Are k and x unequal?
True
Let g = -23 - -38. Is 16 smaller than g?
False
Let k be -2 + -6*1/(-4). Let g(m) = m**2 - 7*m + 6. Let x be g(6). Which is greater: x or k?
x
Let o = -1 - -0.6. Let i = 0.7 + o. Let m = i + 0.7. Which is bigger: m or -0.1?
m
Let i(o) = -o - 1. Let c be i(-5). Suppose -5*g + q = 6*q - 35, -5*q = -c*g + 19. Is 7 equal to g?
False
Let h(b) = -5*b**3 - 2*b**2 - 12*b - 6. Let i(k) = 11*k**3 + 5*k**2 + 25*k + 12. Let u be 65/(-5)*(1 + 0). Let n(y) = u*h(y) - 6*i(y). Let q be n(-5). Is q > 1?
False
Suppose -4*p = 5*i - 25, 2*i = -2*p - 0*p + 10. Is i equal to 5?
True
Let k be 2/7 + 204/21. Let h = k + -7. Let j(p) = p**3 - p**2 - p. Let v be j(2). Which is smaller: h or v?
v
Let k be (-1)/(1 + (-374)/372). Let b be k/(-70) + 2/(-10). Is -2 <= b?
False
Let q(t) = t**2 + 12*t + 8. Let h be q(-10). Which is smaller: h or -11?
h
Suppose -5*i + 5*q + 15 = 0, 0*i + 3*q = i - 7. Let y = 125/9 - 14. Is y smaller than i?
True
Suppose c + 1 - 16 = 0. Suppose -4*t = t - c. Suppose -h + k = 9, -h - 1 = 3*h + t*k. Is -2 bigger than h?
True
Let w be (0 + -1)*(6 - -1). Does -7 = w?
True
Let n = 16 + -28. Which is smaller: -11 or n?
n
Let g be (-1)/5 - 46/(-5). Suppose -2*m - 3 = -5*j + 6, 2*m + j - g = 0. Suppose 8 = 2*f + 2*f. Is f greater than or equal to m?
False
Let p(h) = 2*h - 4. Let d be p(4). Suppose 4*q + q - 17 = 4*s, -d*q = -20. Let u = -0.2 - -1.2. Which is smaller: u or s?
u
Let j(r) = -r**2 - 6*r + 6. Let w be j(-6). Let o(i) = i**3 + 6*i**2 - 9*i - 7. Let f be o(-7). Are w and f unequal?
True
Let y = 0.706 - 0.79. Which is smaller: y or -0.1?
-0.1
Suppose -5*o - 12 = v, -2*v + 0*o + 2*o = 0. Let q be 6/5*930/9. Let l = -377/3 + q. Which is smaller: v or l?
v
Let w = -0.06 - -0.96. Let f = -1 + w. Which is smaller: -2/3 or f?
-2/3
Let q = 29 + -28. Let w be ((-2)/(-14))/(4/(-8)). Is q at most as big as w?
False
Let r = 1747672438 - 9045952414169/5176. Let v = -6/647 + r. Let p = 24 - v. Is p < 0?
True
Let n = -5551 - -16909/3. Let o = -86 + n. Which is bigger: o or -0.3?
-0.3
Let q(l) = -l**2 + 10*l + 7. Let w be q(8). Which is smaller: 24 or w?
w
Let c = 0.6 + 0.5. Let y = 1.1 - c. Which is smaller: -0.1 or y?
-0.1
Suppose 3 = b + 6. Let i be (-2)/(-10) - 43/15. Is b >= i?
False
Let w = 19783/53 - 373. Let d = -577902091/795 - -726921. Let m = d - w. Which is bigger: -1 or m?
m
Suppose -4*k + x - 6 = 2*x, -2*k - 14 = -5*x. Let i = -755 - -8299/11. Which is smaller: i or k?
k
Let x = 147 + -84. Is 61 <= x?
True
Suppose -16*m = -15*m. Which is smaller: -2/31 or m?
-2/31
Let u(v) = -41*v + 29. Let f(j) = 21*j - 15. Let i(r) = 7*f(r) + 4*u(r). Let p(c) = 11*c - 7. Let h(m) = -5*i(m) - 8*p(m). Let z be h(1). Is z at most -2?
True
Let 