 be (-7)/(-1*(3 + -4)). Let m = 8 + y. Is 2/13 != m?
True
Let r be 3/(18/38) + -2. Let y = r + -14/3. Let x be 6 + -2 - (-1 - -5). Is x at least as big as y?
True
Let y be 38/132 - 1/3. Suppose g = 4, 3*r - g + 2*g = 7. Which is greater: r or y?
r
Suppose -w = -2*w + 5. Is 5 >= w?
True
Let n(l) = l**2 + l - 4. Let c be n(-3). Suppose c*w + 3*w + 4*k - 12 = 0, -12 = -2*w - 4*k. Are 0 and w equal?
True
Let i be 3/12 - (-67)/4. Let p(c) = -20*c - 8. Let m(k) = -7*k - 3. Let f(g) = i*m(g) - 6*p(g). Let h be f(3). Which is smaller: h or -1?
-1
Let f(u) = -u**3 - 6*u**2 + u + 6. Let i be f(-6). Which is smaller: 2/65 or i?
i
Let l = 115 + -144. Is l greater than or equal to 0?
False
Let n = 2 - 2. Let d = -2/13 - 9/26. Are d and n equal?
False
Suppose 0 = 4*s - 2 - 10. Suppose 4*y + s*v - 12 = -v, -3*y = v - 7. Which is bigger: y or -2?
y
Let j be -2 + 0 + 1 - -2. Suppose -1 = r + j. Let y = r - -2. Which is greater: y or 0.1?
0.1
Let n = -0.02 - 0.98. Which is smaller: n or 0?
n
Suppose 1 + 0 = -j - 5*z, 4*j = -4*z + 12. Suppose j*k - 5 = -17. Is k at most as big as -3?
True
Let k = -3 - -7. Suppose k*w - 2*t - 6 = 0, -4*w + w + 2*t + 4 = 0. Let i be (4/18)/(w/3). Is 0 less than or equal to i?
True
Let a = -12 + 3. Let z be -2 + a/(-6)*6. Suppose 0 = -3*i + z*i. Are 0 and i unequal?
False
Let k(d) = -d**2 - 5*d - 7. Let p be k(-5). Is p not equal to -6?
True
Let u be -1 + (-3)/(1 - 4). Let r = u + 0. Which is greater: r or 1?
1
Let x = -9.8 - -0.8. Let b = x - -7. Let u = b - -2. Which is greater: u or 2?
2
Suppose 5*u - 46 = 29. Let f be u/3*(2 - 0). Suppose -9 = 2*r - r - 3*d, 2*r = -d + f. Is 3 equal to r?
True
Let j = -443/58 + 4/29. Let z = 139/18 + j. Let d = 5 + -5. Is z <= d?
False
Let k = 0.032 + -0.132. Let d = 0.2 + 9.8. Is d less than k?
False
Suppose 2*m = 2 + 6. Do m and 5 have the same value?
False
Let z = 0 + 0. Is 0 >= z?
True
Let v(h) = -h + 6. Let b be v(5). Suppose 3*i = -x - 18, 0*x - x = -3*i - 12. Let p(j) = j + 5. Let d be p(x). Which is bigger: b or d?
d
Let k = 33.5 - 21. Let s = -12 + k. Does s = 0.2?
False
Suppose 2 = -y - 3. Suppose 2*t = -2*t - 20. Is y > t?
False
Let n = -16 + 8. Let u be n + 0 + (6 - 8). Which is smaller: -11 or u?
-11
Let f = 130 + -649/5. Are f and -2 unequal?
True
Let u = 10 - 11.4. Let z = 0.4 + u. Let x = z - -2. Which is bigger: -1/6 or x?
x
Let o = -37 + 35. Which is smaller: o or -12?
-12
Let z be ((-20)/6)/((-1)/(-9)). Which is smaller: -123/4 or z?
-123/4
Let w = 3 + -2. Suppose -5*a - 1 = 5*m - 16, -a + 4*m = 17. Let q be (1 - a) + 6/(-6). Is w greater than q?
False
Suppose -5*z + 40 = 3*r + 2*r, 4*z - 68 = 5*r. Which is greater: z or 11?
z
Let c = -23/34 + -461/374. Which is smaller: c or 0?
c
Let l = -49/6486 - 2/141. Is 1 at most as big as l?
False
Let h = -6 + 0. Let a be 3/h*(-8)/(-2). Suppose 4*t + 7 = -f, -3*t - 4 = -3*f - 10. Which is greater: a or f?
a
Suppose 7*j - 5*j = -2. Is j at least as big as -8/9?
False
Let y be 88/24 - (-1)/3. Let b(l) = l**2 - 4*l - 1. Let i be b(y). Is i less than or equal to 2?
True
Let c = 5 - -3. Is 15/2 <= c?
True
Let v be (-10)/(-8) - 14/(-7). Is v > 0.1?
True
Let k = 7 - 12. Let t = 4.5 + k. Let z = t - -0.4. Which is greater: -1 or z?
z
Let c = 5 + -5. Let k be (8 + -2)*(-5)/20. Which is greater: c or k?
c
Let b(l) = 3*l + 25. Let q be b(-12). Is -11 != q?
False
Let y = 0 - -6. Let k = y + -4. Suppose -4*i - 8 = -0, -6 = 2*a + 3*i. Do k and a have different values?
True
Let n be (6/52)/(6 + (-27)/4). Is n at most as big as 0?
True
Let p(s) = 2*s**2 + 1 + 2*s**3 + 0*s**3 - s**3 - 2*s. Let v be p(1). Is v != 0?
True
Let n = -10 + -7. Let b = -13 - n. Does b = -2?
False
Let u = 10 - -4. Are u and 14 equal?
True
Let v be 4 + -6 - (-696)/(-10). Let h = v + 71. Are 0 and h equal?
False
Let p = 576 + -2283/4. Let i = 27/4 - p. Is 1 != i?
True
Let h = 9.13 + -9. Let d = 0.87 + h. Is 9 >= d?
True
Suppose 5*v + l + 23 = 0, -4*v + 3*l = 7*l + 28. Let w = 3 - 6. Is w less than or equal to v?
False
Let q = 2 + -2. Let v = 2 - q. Suppose 6 - v = -4*n. Is -1 >= n?
True
Let u = -6 - -5. Which is smaller: 0 or u?
u
Suppose -2*t = -4, 4*p + 3*t = -0*t + 42. Suppose -6 - p = 3*n, -5*j - n = -40. Let g be (6/j)/(2 + 2). Which is smaller: g or -1?
-1
Suppose 4*m + 8 = 2*o, -2*o + 13 = 4*m + 5. Is 4 at most as big as o?
True
Suppose 3*y = -3*y - 84. Let o be (-8 - y)*(-6)/(-9). Is 10/3 at least o?
False
Suppose -2*x + 81 = -5*x. Let d = x - -138/5. Let j = -2 - -4. Which is smaller: j or d?
d
Let g = -1.7 - 0.3. Is g less than or equal to -46?
False
Suppose -5*o + 2 + 8 = 0. Which is greater: 3 or o?
3
Suppose 4*l - 11 = -0*o + 3*o, -4*l - o - 9 = 0. Is l >= 1/53?
False
Let s = 2 - 4. Let w = 0.3 - -2.7. Let l = s + w. Is l less than 1?
False
Suppose 3*g - 7 = 5*d, 5*g = -3*d - 8 + 31. Let h be (-14)/(-48) + 1/g. Let w = 7/8 - h. Is 1 less than w?
False
Let u(q) = 2*q**3 - 3*q**2. Suppose -3*b + 20 = -b + 4*n, -2*b + n = 0. Let s be u(b). Is s >= 4?
True
Let d be 69/(-12) + -3*(-4)/(-48). Is d less than or equal to 0.01?
True
Let r = -9.8 + 10. Is 0.2 at most as big as r?
True
Let f = 0.043 + -7.643. Let c = f - 2.4. Let x = -14 - c. Is x < 1?
True
Suppose -2*w = -5*w + 93. Suppose -3*a + w = 5*b, 5*b = 3*a - 4*a + 17. Let c(h) = -h + 3. Let s be c(-4). Are a and s non-equal?
False
Let t = 75 - 69. Let v = -2.7 + -0.3. Which is bigger: v or t?
t
Let m be -8 + 2 + (4 - 3). Is m smaller than -5?
False
Let i = 135 - 146. Is -10 greater than i?
True
Let m be 28/(-3) - 4/(-12). Is m greater than -8?
False
Suppose 3*z - 8 = -z. Is 3/4 > z?
False
Let s = 76 - 21. Suppose 2*h + 5*l = 7*h + s, 14 = h + 4*l. Which is smaller: -13/2 or h?
-13/2
Let z(r) = r**2 + 10*r + 2. Let f be z(-10). Suppose -3*v + 3*l + 20 + 10 = 0, -5*l = -4*v + 42. Suppose -v*u + 5 = -3*u. Which is smaller: f or u?
u
Suppose 0 = 2*j - 0*j - 2. Let x be ((-202)/(-28))/(95/10). Let l = x - 9/19. Which is greater: j or l?
j
Let l = -3/665 - -2/35. Is 0 != l?
True
Suppose -3*s - 2 = o, -3*o - 5*s = -7*o + 26. Which is greater: o or 3?
o
Let z = -144.4 + 144. Is z < -4/3?
False
Let k be -1*3/6*-4. Let x be 69/21 - k/7. Is x < 3?
False
Let g(z) = z**3 - 10*z**2 + 8*z + 2. Let t be g(9). Which is bigger: t or -6?
-6
Let q = -3/5 + 2/5. Let s(r) = -r**3 + 4*r**2 - 2*r - 1. Let w be s(2). Suppose -2*t = -3*t - 2*i - 9, -t - w*i - 14 = 0. Which is smaller: q or t?
q
Suppose 2*a + 2*x - 13 = 3*x, -4*x = 3*a - 14. Is 11 >= a?
True
Let l(z) = -z - 3. Let n be l(5). Let q = 85 + -94. Which is smaller: q or n?
q
Let p = 475735 + -3335831/7. Let l = -810 - p. Is 3 > l?
True
Let i(w) = -w**3 + 4*w**2 + 5*w + 2. Let q = -2 - -7. Let u be i(q). Let y = -51 + 253/5. Are y and u equal?
False
Let c = 67 - 67.06. Which is smaller: 0.1 or c?
c
Let z be -3*(-5)/((-5)/2). Let k be (9/2)/(z/(-8)). Suppose -k = 4*d - 2. Is -2 > d?
False
Let u be (-1 - -1) + -1 + -2. Let d be u - 4/((-68)/53). Which is smaller: d or 1?
d
Let p = -46 + 923/20. Which is greater: p or -1?
p
Let t = 1 - 1. Let l = t + 0.9. Let c = -1 + l. Which is greater: 0 or c?
0
Let i = 5 - 4. Let w = -1 - i. Let m = 4 + w. Is -2 at least m?
False
Let i = -0.2 + 0.1. Let w = 14 - 12. Is i bigger than w?
False
Suppose 2*c - 8*c - 132 = 0. Let y = 22 + c. Are 3/4 and y nonequal?
True
Let u be 5/(2*(-1)/(-2)). Let h = u - 7. Let q = 0.71 - 2.71. Do h and q have the same value?
True
Suppose 5*n - 13 = -3. Which is greater: n or 9/7?
n
Let k(j) = j**3 - j**2 - 3*j + 3. Suppose -3*d - 6 = -3*q, 7*q - 4*q = d + 6. Let h be k(q). Which is smaller: 3 or h?
h
Let t(n) = -n**2 + 2*n. Let o be t(2). Is 7.2 at most o?
False
Let r(d) = d**2 - 8*d. Let w be r(6). Let s = w + 17. Let x = -9 - -15. Is x less than or equal to s?
False
Let y(l) = l**2 + 3*l - 2. Let u be y(2). Suppose 0*w - u = 4*w. Let s = w + 2. Which is smaller: s or 3/7?
s
Suppose -3*j + 4 = j + 5*w, -3 = -3*j - 3*w. Is 4/9 less than or equal to j?
True
Let g = 1987/203 - 69/7. Is g < -2/7?
False
Suppose n = -0*n + 7. Which is greater: n or 8?
8
Suppose -8 = -v + q - 2, 4*v = 3*q + 21. Which is bigger: -10 or v?
v
Let c be (-2)/4 - 9/6. Let d be -2 - (-2 - (0 + c)). Is -1 less than d?
False
Suppose 0 = -3*g - 12, 13 + 1 = -k - 4*g. Let z be 0 + ((-698)/(-40) - k). Let u = 61/4 - z. Which is smaller: 1 or u?
u