42 + 0.042. Is -0.2 smaller than h?
False
Let n = 59.1 + -59. Are n and 38 nonequal?
True
Let n be ((-3428)/(-12))/((-14)/6). Let b = 123 + n. Is b > 2?
False
Let c = -1 - -1. Suppose c = -d - d + 2. Which is smaller: d or 3/2?
d
Let q be 12/30 + 1/(-15). Is q equal to -2/5?
False
Let s(j) = -j**2 + 8*j - 3. Let m be s(8). Let l be 6/(-2) + (-144)/m. Let x be (7 - 1)*3/l. Which is smaller: 1 or x?
x
Let q = 51.73 + -52. Let c = q - -2.26. Let w = -0.01 - c. Which is smaller: 0 or w?
w
Let k = 25 - 24. Let l = -0.02 + 0. Is l greater than k?
False
Let g(n) = n**3 + 18*n**2 - 18*n + 19. Let j be g(-19). Is j != -4/37?
True
Suppose -3*b - 4 = 2. Let p be -2 - (0 + 3 + (-14)/4). Which is smaller: b or p?
b
Let r = -15383 - -1538273/100. Let s = -627 + 31349/50. Let m = s - r. Is -3 equal to m?
False
Let s = 0.35 - -0.05. Let v = 2/91 + -99/364. Is s > v?
True
Suppose 14*c - 3 = 17*c. Which is smaller: -4 or c?
-4
Suppose -4*v + 12 = 4*n - 0, 3*v + 11 = n. Suppose -j = j. Let y be (6 + -1)/(-2 + j). Which is greater: v or y?
v
Let v(n) = -n**3 - n**2 - n + 3. Let q be ((-2)/2*0)/(-1). Let s be v(q). Which is greater: s or 1/3?
s
Suppose -3*n - 14 = 4*c + 1, 0 = -c + 2*n + 10. Let a = 7 - 37/5. Which is smaller: a or c?
a
Let p = 13/12 - 4/3. Suppose 3*f + 20 = -4*h - 2*f, -15 = 3*h - f. Let i = h - -3. Is i > p?
False
Suppose -1 = u - 2. Is u at least as big as 3/4?
True
Suppose 0*y - 12 = 3*y. Let g = -4 - y. Suppose 0 = 5*n + 2*d + 2*d - 18, g = 5*n - 2*d - 6. Is n equal to 1?
False
Suppose 2*x + 24 = 2*d, 2*x - 4 = 4*x. Let m be 0/(-1) + 4/d. Is -1 at most as big as m?
True
Let v be (-10)/(-25) - 3/(-5). Is -2/9 greater than v?
False
Let d(c) = -2*c + 7*c - 3 - 3*c. Let z be d(2). Suppose -2*b - 4 = -2. Is z != b?
True
Suppose -7 = 5*h - 5*q + 8, h - 4*q + 12 = 0. Let y = 25 - 26. Which is smaller: h or y?
y
Let j be (-4)/16*0 - -2. Which is greater: 9 or j?
9
Suppose i = -4*i - 40. Let a = 5 + -5. Which is smaller: i or a?
i
Let a = 21.978 + 0.022. Let z = a - 21.8. Which is smaller: z or 0?
0
Let h(j) = -5 - 7*j + 3*j + 4 + 3*j. Let y be h(-5). Suppose 0*w = -y*w - 16. Which is greater: w or -3?
-3
Let o = -35 - -33. Are o and -1/2 equal?
False
Let w = -114 - -94.6. Let l = w + 19. Which is bigger: l or -0.1?
-0.1
Let p(v) = -v + 1. Let s be p(1). Suppose 5*m - 112 = 4*f, 0*f + f - 74 = -3*m. Let q = m - 126/5. Is q greater than or equal to s?
False
Let u be -1*(-1 - -2)*-56. Let d be (-4)/6 + u/93. Are d and 1 nonequal?
True
Let q = -7 + 9. Suppose -5*n = -3*n - q. Which is smaller: 2 or n?
n
Suppose 5 = 2*j - 5. Do 5 and j have the same value?
True
Suppose 32 = 4*r - 0. Let g = 13 - r. Let k = -43/8 + g. Which is greater: k or 1?
1
Let p be (5 + -6)/(3/87). Which is greater: p or -28?
-28
Let l = -0.07 - -0.07. Which is greater: l or 0.24?
0.24
Let a = -16 - -15.9. Let j = -3 - -3.3. Is a greater than j?
False
Let c(b) = -b + 6. Let k be c(5). Let g be (-2)/((k - 2)*-1). Let f be ((-3)/(-9))/(2/(-6)). Which is smaller: g or f?
g
Let c(s) = -3*s**2 - 3*s + 8. Let j(f) = f**2 + f - 1. Let h(t) = -c(t) - 2*j(t). Let p be h(0). Is p at most -8?
False
Let l = 26 + -34. Is 5 equal to l?
False
Let o(b) = b**2 + 7*b + 5. Let c be o(-7). Let j = 7 - c. Suppose -5*q - 2*f - 3*f = 15, q + j*f = 0. Is -4 at most as big as q?
False
Let r = -1.1 - -0.2. Let z = -0.5 - r. Let n = z - 0.2. Which is smaller: n or 0?
0
Suppose 3*u + u = 332. Are 82 and u unequal?
True
Suppose -5*d - 3*t - 345 = 0, 2*d + 51 = d + 3*t. Is d at most as big as -66?
True
Let k be (-3)/2*(-20)/(-9). Which is bigger: k or -4?
k
Let w(l) = -6*l + 22. Let d be w(3). Suppose 5 = 2*t - 5. Which is smaller: t or d?
d
Let f(x) = x + 6. Suppose l = 2*l - 6. Let h be l/(-10) + 54/(-10). Let c be f(h). Which is smaller: -6/11 or c?
-6/11
Let f = 0 + 0.1. Let o = -18/731 + -4/43. Which is greater: o or f?
f
Let i = 127/4 - 32. Let h(l) = 8*l**2 - 3*l - 1. Let z be h(-1). Is i >= z?
False
Let z = -25.5 + 26. Which is smaller: z or -1?
-1
Suppose 4*w = -4*i + 20, -4*w + 24 = 8. Let b = -2/74709 + 8458721/74709. Let g = 113 - b. Which is bigger: i or g?
i
Let q(p) = -7*p**3 + p**2 + p. Let c be q(1). Is c bigger than -4?
False
Suppose 18 = -l + 4*y, 18*l - 2*y = 22*l. Is -3/4 greater than or equal to l?
True
Let s = -3 + 2. Let x(p) = -2*p**3 + p**2 - 1. Let f be x(s). Let v be 3*(2 + (-5)/f). Which is smaller: v or -2?
-2
Suppose 0 = -3*t + 30 - 102. Is -24 equal to t?
True
Let l = 5 - 16. Are l and -12 unequal?
True
Let l = 116 + -196. Is -80 <= l?
True
Let y = 559 + -578. Let u = -0.3 + 0.2. Is u at most y?
False
Let u be (0 - 2)*(-1)/6. Let a = 4 - 5. Is a > u?
False
Let u = 2.65 + -1.65. Is u bigger than -3?
True
Let y(n) = 2*n**2 + 1. Let j be y(-1). Let m = -5 - -8. Is m bigger than j?
False
Let v = 52 + 46. Let j = v + -93.9. Let y = 4 - j. Which is smaller: -0.2 or y?
-0.2
Suppose 8*u = 3*u. Let q(a) = a**2 - 4*a + 3. Let k be q(3). Suppose k = -3*o + 3 + 3. Which is smaller: o or u?
u
Suppose -2*z + 5 = 3*z. Let b = 1 - -1. Suppose -g = b*g. Which is greater: z or g?
z
Let f(t) = t. Let j be f(-1). Let l be (0 - -1)*j + 1. Let k be ((-6)/(-12))/((-1)/2). Which is smaller: k or l?
k
Let y = 0.1 - -1.2. Let r = 0.3 - y. Is 3 not equal to r?
True
Let y(s) = s**3 - 1. Let w be y(1). Is 0 less than or equal to w?
True
Suppose 3*j - 9 = 9. Let z(g) = g**2 - 4*g + 7. Let i be z(j). Suppose -3*m + 4*p = -11, 2*m + i = -m - 2*p. Is -3 >= m?
True
Let y be 4/(-14) + (-37)/(-7). Suppose -3*b + 5*l = 2*b, 5*b = -y*l - 10. Let w be -2 + b/(1/(-2)). Which is smaller: -2/3 or w?
-2/3
Let m = -13 + 13. Which is bigger: m or -3/7?
m
Let d(s) = 4*s - 4. Let z(m) = -15*m + 16. Let c(u) = 22*d(u) + 6*z(u). Let y be c(7). Which is smaller: -5 or y?
y
Let g be 105/33 + 4/(-22). Suppose -4*x = 8, 4*o - 9 = g*o + 3*x. Let v = o + -3. Is v less than 1?
True
Let y(g) = -g**2 + 8*g - 8. Let l be y(7). Let r be (-4)/(1 + 0/(-1)). Let q be r/160 - 2/(-5). Which is smaller: q or l?
l
Let k = -8.6 - -10.6. Which is smaller: -7 or k?
-7
Suppose m + 9 = -5*o - 15, -m + o = 6. Which is smaller: m or -47/5?
-47/5
Let j be 2 - (-2 - (-16)/4). Let f = -6277/6 + 18001/18. Let i = 46 + f. Is i > j?
False
Let l = -0.3 + 0.4. Which is smaller: -0.3 or l?
-0.3
Let p be 1*(-2 + -1) + -1. Let n be 1/p*-4 + -4. Suppose -3*i - 2 = -2*i. Which is smaller: n or i?
n
Let p be 1/(-1 - (0 + 0)). Let b be (-18)/(2 + (-8)/6). Let v = b - -80/3. Are p and v unequal?
True
Let i = 0.149 + 1.851. Which is greater: i or -3/4?
i
Let f = 5 - 0. Suppose 2*i - 2*d - 8 = 0, -2*i = -5*d + 4*d - 4. Suppose i = -f*l + 17 - 7. Which is bigger: 4 or l?
4
Let t(j) = j**2 + 6*j + 1. Suppose 2*a + 2*d = d - 8, -4 = 4*a + 5*d. Let z be t(a). Let y(q) = q + 1. Let i be y(-1). Which is smaller: i or z?
i
Suppose -r - 5*y = -5*r - 168, -y - 239 = 5*r. Which is smaller: r or -48?
-48
Let c = -6 - -7. Which is greater: c or -4/19?
c
Let w = 64 + -47. Is 0 smaller than w?
True
Suppose 20 = 3*w + w. Suppose w*t + g = -4 + 9, -5*g = 5*t - 25. Suppose -4 = -t*n - 2*n. Which is smaller: n or 3?
n
Let z be (-4 + 45/12)*-28. Suppose l + 5*d = 4, z + 13 = -l + 3*d. Are -10 and l non-equal?
True
Let y = -44 - -75. Suppose -3*v + 5*q - q - 3 = 0, -2*q = 5*v + y. Let f = v + 4. Which is smaller: -1/4 or f?
f
Let w = -6.4 + 6. Suppose 2*y + 6 = -3*x, y = 2*y + 4*x + 8. Which is smaller: y or w?
w
Let z = -165 - -1153/7. Let v(f) = 2*f**2 - 2*f - 1. Let r be v(-1). Suppose -2*x - 5 = -r. Does x = z?
False
Let f = -21 + 14. Is 1 >= f?
True
Let v = -71 + 59. Suppose -2*z = 8 + 14. Which is smaller: v or z?
v
Let j = 31 - 32. Which is smaller: -7 or j?
-7
Suppose 0 = -2*k - 2*k - 4*j + 16, 0 = 5*k - j + 10. Let n be k*(2 + -3)*0. Let d = 100 - 702/7. Is d greater than n?
False
Let k(p) be the third derivative of p**5/60 - p**3/6 - 2*p**2. Let t be k(-1). Let r be 1*5/(35/(-3)). Which is smaller: t or r?
r
Let r be (-6)/18 + 14/6. Let b be (-2)/r - 55/(-50). Let o = -2 + 1. Is b at most o?
False
Let r(q) = q**3 - 2*q**2 - 1. Suppose -4*v + 5 = -3*w - 0, -3*v - 2*w = -8. Let m be r(v). Let x be 1 - m - 8/3. Which is smaller: 3 or x?
x
Suppose 0 = -2*j - 4*n + 22, -3*j + 22 = -j + 2*n. Is j smaller than 9?
False
Let m(h) = 10*h**2 - h - 1. Let k be m(-1). Let s be (26/(-39))/