 + 1/4. Is d not equal to -12?
True
Let u be ((-6)/3)/(2/(-3)). Let f be (-10)/(-3) + (-2)/6. Suppose -20 = f*d - 7*d. Do u and d have the same value?
False
Let r be (1 + 144797)/(-11 - -22). Let f = r - 76018279/5775. Let t = f - -2/75. Which is smaller: 0 or t?
0
Let l(h) = -h**3 - 7*h**2 - 4*h + 8. Suppose 4*f + 24 = -4. Let c be l(f). Let u be (c/(-99))/(1 - -1). Is -0.1 at most as big as u?
False
Let t be (-15)/6*8/10. Which is greater: t or 3/7?
3/7
Let x be (2/(-2))/((-3)/(-9)). Let h = 0 - -1. Let u = x - h. Is -3 < u?
False
Let q = -9 + 15. Is q smaller than 0?
False
Suppose 3*s = 2*j + 67, 77 = -2*j - 3*s - 8. Is -39 greater than or equal to j?
False
Suppose 0 = -10*t + 7*t - 33. Which is greater: -2 or t?
-2
Suppose -4*p + 3*p - 13 = 4*m, 3*m = -12. Suppose j + 4 = 0, -4*y - 5 = j - 17. Suppose -18 = -y*z + 6*l - 4*l, 0 = -3*z + l + 12. Is z != p?
False
Let d = -5 - -8. Suppose d*i + 11 = -4*l - 0*i, -2*l - 2 = -2*i. Which is bigger: l or 0?
0
Let s be (-24)/(3/(12/(-8))). Which is smaller: 11 or s?
11
Let b(q) = q**2 - 9*q + 1. Let v be b(10). Which is smaller: -0.1 or v?
-0.1
Let b = 9 + -15. Let v(k) = k**2 + 5*k - 6. Let m be v(b). Which is bigger: m or -2/11?
m
Let k = 8 - 3. Let n = -3 + k. Suppose 11 - n = 3*d. Is d not equal to 2?
True
Let d be (0 + -1)/((-2)/4). Let t = 2 - d. Suppose -2*q + t = 4. Is q less than or equal to -1?
True
Let j be ((-10)/(-40))/(13/(-8)). Are j and 1/4 unequal?
True
Let s = 3 + -21. Is -17 < s?
False
Let t = -26.23 + 26. Is 1 bigger than t?
True
Let a = -4 - -12. Let v = 7.656 + -0.056. Let t = v - a. Is 0 less than t?
False
Let g(i) = i**3 + 10*i**2 + i - 2. Let n be g(-10). Let u be 44/n + 2/3. Let k(v) = v**3 - 5*v**2 - 2. Let j be k(5). Is u smaller than j?
True
Let q(t) = -2*t - 4. Let j be q(3). Let x(v) = 4 - v + v + 5 + v. Let f be x(j). Which is greater: f or -2?
f
Let t = -1.21 + 0.21. Let h = -3 - -1. Is h equal to t?
False
Let g be (-84)/(-280) - (-3)/(-10). Let x(k) = 3*k**3 - 2*k - 1. Let a be x(-1). Let i = 1 + a. Is i equal to g?
False
Suppose -2*p - 15 = 5. Let k = p - -8. Is -8/5 greater than k?
True
Let v = 0 - -0.1. Let i = -166 - -1164/7. Is i > v?
True
Let n = -0.08 - 9.92. Which is smaller: n or -1/4?
n
Suppose 2*t - 11 = -4*f + 3*f, 20 = 5*t. Suppose 4*z = n + 17 + 1, z = n + f. Is z smaller than 4?
False
Suppose -3*k + 11 = 4*p, -k - 3 - 6 = -5*p. Let m be 0*4/8 + p. Which is smaller: 0 or m?
0
Suppose -5*a - 4*m = -88, 2*m = 2*a - a - 26. Suppose 0*f + f - w + 5 = 0, -4*f + 3*w = a. Let p = f + 9. Is p less than 3?
False
Let c = 0.07 + -0.13. Let r = -0.74 + c. Let j = -2101/3 - -701. Which is greater: r or j?
j
Let x be 4 + (-2 - 0) - 2. Suppose x*h + h = -2. Let d = -1 - -3. Which is smaller: h or d?
h
Let g = -0.05 + 0.07. Let a be 1/2 + 2/(-8). Which is smaller: g or a?
g
Suppose 7 = -4*v + 43. Are 48/5 and v nonequal?
True
Let a = 7/110 + 3/22. Which is greater: a or -0.1?
a
Let x = -0.32 - -0.02. Let a = -220.1 + 220. Which is smaller: x or a?
x
Let r = 162.4 - 162. Which is smaller: r or 0.3?
0.3
Let s = -68 + 66. Is 6/11 greater than s?
True
Suppose 2 = l - 3. Which is smaller: l or 3?
3
Suppose -2*b - 3*b - 1 = -u, -2 = 4*b - 2*u. Let z be (b + 1)/((-2)/2). Is -1 <= z?
True
Suppose g - 3*g - 10 = 0, 0 = 5*w - 2*g - 10. Is w less than 0?
False
Let l = 1.85 + -0.85. Which is greater: -16 or l?
l
Let q(u) = -u + 7. Let s be q(7). Let r be 0 - s - (-6 + 4). Suppose -6*z = -r*z. Which is smaller: 1 or z?
z
Let h = 3 + -4. Let t(o) = -o**2 - 2*o + 2. Let w be t(-4). Let i = 10 + w. Which is bigger: h or i?
i
Let r = -9 - -17. Suppose -5*k + 112 = 32. Let o be k/6 + r/(-12). Which is smaller: 3 or o?
o
Let c = 3 + -4. Let o = c + -4. Are o and 2/3 nonequal?
True
Let z(i) = i + 8. Let d be z(-6). Let t be (d/6)/(1/(-3)). Is -1 less than t?
False
Let l be -3 + 1/((-10)/(-29)). Let v be 5/4 + 2/(-8). Is v less than or equal to l?
False
Suppose 2*w + w = -5*i - 25, -2*w = -5*i. Suppose 4*d - 15 = -7. Let t(l) = -l**3 + l**2 + 2. Let h be t(d). Are h and i nonequal?
False
Let o = 19.991 + 0.009. Which is smaller: o or 0?
0
Suppose -2*y = -4*y + 3*a + 17, 5*y = -4*a + 54. Is 10 equal to y?
True
Let i = -0.107 - -1.107. Let r = 0 - -2. Let w = 2.2 - r. Is i less than or equal to w?
False
Suppose -5*h + 42 = -43. Which is smaller: h or 18?
h
Let v = 24 + -24.02. Which is greater: -1 or v?
v
Let q(i) = -i**2 + 14*i + 12. Suppose 4*y = y + 45. Let v be q(y). Does v = 0?
False
Let j be ((-28)/(-70))/(3/(-5)). Which is greater: j or 19?
19
Suppose 5*y + 35 = -8*h + 3*h, -y = -5*h + 1. Let c be y*1/4*-2. Which is bigger: 0 or c?
c
Let f = 6.95 - -0.05. Let z = -30.8 + 38. Let y = z - f. Which is greater: y or -0.2?
y
Let l be -1 - 1 - (-2 - 6). Suppose s = l*s. Let m = 5.7 - 3.7. Which is smaller: m or s?
s
Suppose -100 = 5*y + 2*w, -2*y - 3*y = 3*w + 100. Let m be ((-32)/y - 2)/2. Are m and -1/4 non-equal?
True
Suppose 5*t = -4*x + 458, 5*t - 5*x - 623 = -183. Let k be (6/(-4))/(t/(-8)). Let q = -16 + 17. Is k >= q?
False
Let c = 13.65 - 14. Let g = 0.15 + c. Do 7 and g have different values?
True
Let o = -58 - -57.84. Are o and 1 nonequal?
True
Let q be (-11 - -9)*(-4)/6. Which is smaller: q or 3?
q
Let r = 0.6 + -0.9. Let c = 0.1 - r. Is 0.1 at least c?
False
Suppose -9 = -2*b - 3. Let o(i) be the third derivative of -i**5/60 + i**4/8 + i**3/6 + 2*i**2 + 15*i. Let g be o(b). Are 6/5 and g non-equal?
True
Suppose -5*o - 169 = 51. Let x be o/24 + 3 + -1. Let r = 0.1 + -1.1. Which is smaller: x or r?
r
Let b = -38 + 41. Is 3 >= b?
True
Let p(t) = t - 1. Let d be p(6). Suppose 0*b + d = 5*b. Let j be b/(-3) + 12/9. Are j and 0 unequal?
True
Let v be (2/(-3))/(1/(-34)). Suppose 5*r - 44 = -154. Let y = v + r. Is y at least 0.1?
True
Let z be (2 - 1)*3*1. Suppose 3*y + 98 = 5*i, 3*i + 70 = -z*y + i. Let v be 6/9*6/y. Which is bigger: v or 0?
0
Let i = 73 + -75. Is i not equal to -20/9?
True
Let s be 2/7 - (-34)/(-21). Suppose 0 = 4*z + 4, 5*t - 1 = -0*t + z. Which is smaller: t or s?
s
Let p(i) = -i**2 - 2*i + 24. Let x be p(0). Is x > 26?
False
Let y = 26 + -19. Which is bigger: y or -1/3?
y
Suppose 3*q = 0, 4 = a - 5*q + 2. Suppose -a*f + 5*f = 0. Suppose o = g - f - 4, -2*o - 5*g = 36. Is -7 bigger than o?
True
Let v = -1 - -2. Let b = 335827 - 39293389/117. Let p = b - -124/9. Is p greater than v?
False
Let i be -1 - (-10)/(-44)*-6. Let x be 3 + 5 + (-2 - -2). Let j be (-2)/x + 18/(-24). Which is smaller: j or i?
j
Let h(l) = -l**3 + 10*l**2. Let j be h(10). Which is bigger: 4/29 or j?
4/29
Let n be 10/15 - 4/6. Let p = 2 - n. Let w be (1/(-2))/(1*-1). Are w and p unequal?
True
Let h(z) be the second derivative of 0 - z**2 + 1/3*z**3 - 2*z. Let i be h(2). Which is smaller: i or 0.1?
0.1
Let k = 105 - 117. Which is greater: k or -11?
-11
Let p = 0.7 - 1.7. Is p > -4?
True
Let j be (-10)/(-4) - 1/2. Let w(u) be the first derivative of -u**3/3 + 4*u**2 - 6*u - 11. Let z be w(7). Which is smaller: j or z?
z
Suppose 3*j = -2*j + 70. Suppose -2*n + 2*x = -j, x - 13 = -4*n + 2*x. Let b(t) = -t**2 - 18*t - 31. Let v be b(-16). Is v < n?
True
Let m = 62 - 63. Which is smaller: 4 or m?
m
Suppose 22 = 4*y + 6. Suppose -4*j = -4, -3*j = 5*w - 0*j + 42. Let c = w + y. Do c and -5 have the same value?
True
Let f = 8 - 8. Let r = -0.02 + -1.98. Are r and f nonequal?
True
Suppose 0 = -2*z - 6 + 18. Let q = -5 + z. Which is smaller: 0 or q?
0
Let u = -7 + 7. Let g = 1/3 - u. Is -1/4 bigger than g?
False
Let l = -4 + 10. Let g be 18/(-4)*(-8)/l. Let r = 173 + -168. Is r > g?
False
Let b(p) = -p**3 + 10*p**2 + p - 12. Let u be b(10). Which is smaller: u or -6?
-6
Suppose -5*g = -4 - 6. Suppose g = -3*p + p. Which is bigger: 0.01 or p?
0.01
Let t = 5 - 1. Suppose -4*f + 4*z = 0, 0 = -0*f - 3*f + t*z - 1. Suppose -3*g = -4*g - 1. Which is greater: f or g?
f
Let r = -0.2 + 0.3. Let u(m) = -m - 3. Let a be u(-4). Let n = a - 4. Is r greater than n?
True
Let n = 17 + -25. Let b = n - -9. Which is smaller: 5 or b?
b
Let c = 20 + -41/2. Is 0.04 greater than or equal to c?
True
Let b(r) = -r - 2*r**3 + r**3 - 3 - 3 - 5*r**2 - 2*r. Let a be b(-5). Is 9 at least as big as a?
True
Let y be 2 - 3/(3/2). Does -1 = y?
False
Suppose 0 = 5*z + 387 + 283. Let n be 10/(-25) - z/10. Suppose 2 = 5*l - n. Is l < 2