 + q. Which is greater: -0.1 or s?
s
Let q be 1/4*(-4)/7. Suppose 37*u - 32*u = 5. Which is smaller: q or u?
q
Let o(h) = h**3 - 3*h**2 + 3. Let q be o(2). Which is smaller: q or -2/21?
q
Let p be 1 + ((-3)/1)/(-3). Suppose p*u = u + 2. Is 2 equal to u?
True
Let i = 24 - 18. Let u be -6*(-3)/i - 7. Does -4 = u?
True
Suppose -r + 2*u = -4*r + 43, r = -2*u + 17. Let m be 0 - (1 - 15/r). Let s = 4 + -3. Is s < m?
False
Let i(l) = -3*l**2 + 2 + 3*l**3 + 0 + 2 - 5*l - 2*l**3. Let s be i(4). Is s not equal to 0?
False
Let b = -59 - -58.4. Is 2 != b?
True
Let y = 9 - 10.3. Let u = 4.7 - y. Let f = u + -5.7. Is 2/7 <= f?
True
Let f = 1.4 + -0.4. Which is smaller: -3 or f?
-3
Let y = -2 + 6. Suppose 5*s - 3*m = 37, 2*s = s - 4*m - 11. Suppose s = k + y*k. Is 2/17 >= k?
False
Suppose -3*a + 7*a = 0. Let r = 4/189 - 88/189. Is r less than or equal to a?
True
Let n = 319/1050 + -2/525. Let j(q) = -q**2 - 3*q + 1. Let w be j(-3). Which is bigger: n or w?
w
Let t = -474/7 + 68. Is t not equal to -2/39?
True
Let d be (-5)/1*4/(-10). Suppose -5*b = 2*n - 5*n - 40, 2*n = -b - 5. Let c be (-1)/b - 81/(-105). Which is bigger: c or d?
d
Let t = 1238/195 + -32/5. Suppose -3*v + 1 = -2*i + 6*i, 3*v = i - 4. Which is smaller: t or v?
v
Let j be (-122)/(-12) + 1/(-6). Is 9 at least as big as j?
False
Suppose -6*b - 37 = 119. Is b greater than or equal to 0?
False
Let i be -1 - -3 - (-177)/(-90). Let u = 3/10 + i. Let r be 2*(15/(-6) - -2). Which is smaller: u or r?
r
Let d(x) = x + 16. Let t be d(-13). Let b be (-95)/30 - -1*t. Which is bigger: b or -2/7?
b
Let k(i) = 6*i - 6. Let h(x) = -x. Let c(u) = 5*h(u) + k(u). Let n be c(9). Suppose -8 = -r - 2*q, 4*q = 3*r - r + 8. Is n > r?
True
Suppose 3*z + w - 2 = -0*w, -5*z + 10 = 3*w. Let m(i) = i + 3. Let s be m(-3). Let o be (-130)/(-45) + s - 4. Which is greater: o or z?
z
Let t = -0.02 + 0.1. Let o = 3.08 - t. Do 0.2 and o have the same value?
False
Let u(i) = -i - 3. Suppose -5*g - 15 = 3*a - 2*a, 2*a = -5*g - 15. Let p be u(a). Is -1 >= p?
True
Let t be (1/6)/(18/12). Are -1 and t non-equal?
True
Suppose -r + 0 + 3 = 0. Suppose -4*q - 81 = -3*j, 4*q + 0*j - 4*j + 84 = 0. Let c be ((-12)/q)/((-1)/(-3)). Is c not equal to r?
True
Suppose -4*j - 6 = -26. Let r be 13/(-5) - 4/10. Let x = r + j. Is x != 3?
True
Let h be 2/(-8) - 3009/(-3444). Let x = h - 8/41. Which is greater: x or 0?
x
Let z = 20 + -16. Which is smaller: z or -2/3?
-2/3
Let f = -545/21 + 77/3. Which is smaller: f or -1/2?
-1/2
Let j be (-6)/9 + 117/135. Is j greater than or equal to -7?
True
Let g be 1/((-12)/(-39)) + -3. Which is smaller: g or 1?
g
Let r be (-79)/(-2) + (-5)/(-10). Suppose -g = 4*g - r. Let x be g/(-12)*(0 - -1). Which is greater: 1 or x?
1
Let p = -100 + 90. Let b = -1.4 + -8.8. Let k = p - b. Do 0.2 and k have different values?
False
Suppose -28 = -4*r - 3*d - d, -4*r = -5*d + 17. Let o = 2 + -6. Let t be r/o - 1/(-2). Is 0 greater than t?
False
Let d(j) = j**3 - 9*j**2 - 9*j + 6. Let m be d(10). Let i be m/(-18) - (-2)/3. Which is smaller: 1 or i?
i
Let p(h) = -h - 6. Let u be p(-7). Let b be u/3*18/16. Is -1 bigger than b?
False
Let r be 58/(6 - (-1 - -2)). Let w = r + -164/15. Let q = 2 + -3. Which is bigger: q or w?
w
Suppose -2 = w - 3. Is w at most 2/31?
False
Suppose -w + 10 = -6*w. Let q be -5*1/(w + 1). Suppose 3*f - 4*y - 32 = 0, y = 2*y + q. Is 4 bigger than f?
False
Let i(v) = -5*v + 0 + 2 + 3*v**2 - 4*v**2. Let l be i(-4). Let j be (-3)/(-9) + (-2)/l. Is j equal to 1/6?
False
Let f = 0.1 + -0.2. Suppose v = -4*h - 11, h + 3*v = 2 - 13. Let l = 0 + h. Is l bigger than f?
False
Let d be 2 + -2 - (2 + 0). Let n = d + 2. Let p = 161 + -1129/7. Which is greater: n or p?
n
Let v = -43 + 25. Let s be v/(-26) - (-1)/(-1). Which is bigger: 0 or s?
0
Suppose i - 5 = 0, -5*i + 31 = 2*q + q. Is q greater than 2?
False
Let a be 1/4 - 8259/(-84). Let u = -99 + a. Suppose 3*j = z - 2*j - 10, 0 = 2*z - 4*j - 8. Is u less than z?
True
Let f be 8/(-4) + 13 - 2. Is 7 less than f?
True
Let j = 2 - 1.7. Let a = j + -0.3. Let c(z) = z - 5. Let r be c(9). Do a and r have the same value?
False
Let o be 4 + (-7)/(-5) - (-4)/(-10). Let r be 20/6 - (-1)/(-3). Let h = 2 + r. Does h = o?
True
Let o(l) = l + 11. Let q be o(-6). Let j = q - 4. Let x = -258 + 2067/8. Which is greater: x or j?
j
Let x be 2 + 0 + (1 - 0). Suppose -8 + 23 = -x*w. Suppose -3*k = -k + 8. Which is greater: w or k?
k
Let b = 0 + -0.09. Let p = b + -1.01. Let k = p - -1. Which is greater: k or -1?
k
Suppose -5*z + 3*z - 2 = 0. Let w be 4 - 10/(-4)*100/(-65). Which is smaller: w or z?
z
Suppose 14 = 5*f + 64. Let g be (-624)/65 - 2/5. Do f and g have the same value?
True
Let h = 13 + -6. Let z = h - 6. Let u = -2 - -5. Which is greater: u or z?
u
Let i = 34 - 35. Let w be (-1)/(-3) + (-17)/33. Which is greater: i or w?
w
Suppose -2*w = w - 3*k, -10 = 5*k. Which is smaller: w or -1?
w
Suppose -6*r + 11*r = -375. Let p = r - -379/5. Which is bigger: 0 or p?
p
Let j be 10/15 - 4/6. Suppose 3*f - f + 2 = j. Let z be f - (-2 + -1) - 2. Is 0 at least as big as z?
True
Suppose 0 = 4*v - 9 + 1. Suppose -4*w = -v*w - 6. Is w >= 7?
False
Let y = -178/5 + 35. Which is smaller: y or -1/8?
y
Let b(r) = -r**2 + 6*r - 2. Let f = 13 - 8. Let x be b(f). Let n = 6 - 4. Are n and x equal?
False
Let g be -1 - (-7 + (2 - 0)). Suppose -z + 7 = 3*w - 0, 20 = -g*z. Let v = w - 3. Is v at most 1/3?
False
Suppose 0 = 55*w - 56*w - 1. Is w <= 2/15?
True
Suppose 3*d = f + 4, 4*f - 16 = 4*d + 8*f. Is d <= 2/11?
True
Let a = -33 - -33.09. Is a greater than -2/7?
True
Let p = -1 + 1.4. Let r = 0.3 + -0.8. Let f = p + r. Are f and 0 nonequal?
True
Suppose 5*n - 4*d = 8*n + 103, 5*n = 3*d - 162. Is n smaller than -34?
False
Suppose -4*m + 10 = 38. Let f = -22 + 14. Which is greater: m or f?
m
Suppose -26 = 6*t + 22. Is -5 less than t?
False
Let v(d) = -2*d - 42. Let n be v(-23). Which is bigger: 7/2 or n?
n
Let a(u) be the third derivative of -u**6/120 - u**5/12 - u**4/4 - u**3 - 3*u**2. Let f be a(-4). Which is smaller: f or 1?
1
Suppose 3*l - 15 = -3*u, -l + 8 = 2*u - 1. Let a(y) = -y - 3 - 8*y + 4*y + u*y. Let x be a(0). Which is smaller: x or -2?
x
Suppose -4*i + 22 = -34. Let l = -12 + i. Let v = 2 - -1. Is l at most as big as v?
True
Let f = -2 - 12. Let h = f + 15. Is 3/2 smaller than h?
False
Let i be (0*(-5)/(-5))/2. Is i greater than 5/29?
False
Let y = -1928/7 - -275. Let f = -0.54 - 0.06. Let j = 0.8 + f. Which is smaller: y or j?
y
Let v = -13 - -19. Suppose 0 = 2*z - 2*g + 10, 4*z - 2*z = -2*g - v. Suppose -o + 18 = -4*y - 0*o, -2*o = -5*y - 21. Which is smaller: y or z?
y
Let f = -31799/1561 + 19/223. Let r = f + 265/21. Let g = r - -8. Is -1/3 not equal to g?
True
Let c = 0.2 - 0.1. Let q = -0.2 + c. Let r = 0 - q. Is r <= -0.2?
False
Suppose -5*n = 5*o + 5, 0*n = -n - 5. Let w be 28/(-33) + o/6. Suppose 0 = h - 2*h + 1. Is w equal to h?
False
Suppose 0 = -c - 3*z - 3, -2*c + 5*z = 2*c - 22. Suppose -4*h + 4*a - a = -36, c*a = h - 18. Suppose h*w = 2*w + 8. Which is bigger: w or 4/3?
w
Suppose 3*a + 3 = -2*u + 5, 3*u + 35 = 5*a. Suppose -5*t = -3*g - t - 4, a*t = -g + 4. Is -1 bigger than g?
False
Suppose 2*m - 20 - 8 = 0. Is m < 14?
False
Let t = 1.7 - 0.4. Let j = t - -0.1. Do j and 2/5 have the same value?
False
Let o be (-1)/((7 - 6)/((-3)/15)). Is -16 at most as big as o?
True
Let r(k) = k**2 + 9*k - 4. Let m be (4 + 0)*(-9)/4. Let z be r(m). Let c be 3/14 - z/(-8). Is 0 at most c?
False
Let j = 17 + -15. Is j at least as big as 2?
True
Let c be ((0 - -1)*-1)/1. Suppose -3*l + 7*l - 12 = 0. Suppose l*g = -2 - 1. Is c greater than g?
False
Suppose -1 = x - 8. Do 3 and x have the same value?
False
Suppose -4*r - 24 + 9 = -u, -3*u = r - 6. Let i be (-1)/(-4) + 18/24. Which is smaller: i or u?
i
Let n be 0 + 0 + (-12)/(-3). Let z be n/(-24) - 35/6. Is -6 bigger than z?
False
Suppose -3*j = -0*j - 6. Let q = j + 3. Suppose 0*t + 15 = q*t. Is 4 at most as big as t?
False
Let f = -3 + -4. Let h = 10 + f. Is 2/5 at most as big as h?
True
Let x = -7.3 + 8.3. Which is bigger: x or 57?
57
Let j = -0.7 + 1.7. Let w = -3/10 + -1/5. Is w >= j?
False
Let z = -15 + 16. Which is smaller: z or -4/7?
-4/7
Let s(a) = 2*a - 6. Let b be s(4). Let o = b - -1. Suppose 5*y - o - 2 = 0. Which is greater: 2/