
Let n(h) be the first derivative of -h**4/4 + 4*h**3/3 - h**2/2 + 4*h - 2. Let t be n(4). Suppose t = 4*d - 3 + 7. Is d less than -1?
False
Suppose -10*p = 1 - 21. Let q be 18/8 + -1 + 0. Which is smaller: q or p?
q
Suppose v = -4*o + 4, -4*o - 4*v - 2 - 6 = 0. Suppose -c + 6 = o*c. Which is smaller: 0 or c?
0
Suppose t = 15 - 0. Let h = t - 15. Does h = 0?
True
Let t be (-3)/(-7) - (-144)/(-42). Let u be (1/t)/(1/3). Which is bigger: u or -2?
u
Suppose 64 = 4*l + 4. Suppose 0 = -3*u - l + 51. Is 11 smaller than u?
True
Let u = 247/7 - 35. Let z = 0 + 1. Which is greater: u or z?
z
Let r = 457/76 - 179675/836. Let v = 210 + r. Which is bigger: v or 1?
v
Let h be 6 - 1 - (-1)/(-1). Suppose h*n = n + 6. Do 1 and n have different values?
True
Let f = -4.7 - -1.3. Let c = f + 3. Let m = -0.5 - c. Is -0.2 bigger than m?
False
Let o = -1/14 + -3/7. Let n = -138 + 687/5. Which is smaller: o or n?
n
Let m = 1.1 + -0.9. Is 7 at least as big as m?
True
Let y = 13/222 - -4/37. Let r(p) = 3*p + 16. Let m(t) = 4*t + 17. Let g(f) = 4*m(f) - 5*r(f). Let i be g(12). Which is greater: i or y?
y
Let j be ((-11)/(-33))/((-2)/(-30)). Is j at least as big as 4?
True
Let f be 4/(-7) - 780/(-42). Is 18 bigger than f?
False
Let z = -5.02 - -0.02. Let y = z - -5. Are y and -1/18 nonequal?
True
Let i = 87047/993 - 263/3. Let n = i + -2638/1655. Is -2 equal to n?
False
Let u be (-2 - 0) + (1 - -2). Let f be 24/(-6) + 7 - (0 + 3). Are f and u non-equal?
True
Suppose -10*c - 6 = -11*c. Which is greater: 7 or c?
7
Let g be 3/18*1 - (-95)/6. Are 16 and g nonequal?
False
Let o(f) = -f**3 - 10*f**2 - 5*f - 23. Let m be o(-10). Are 0.1 and m equal?
False
Let h = 1.15 - 1.1. Is h greater than 7?
False
Let p = -1582/17 - -93. Is 0 smaller than p?
False
Suppose -3*d + 9 = -0*d - 4*s, d - 4*s = 3. Let k = 3 + -1. Suppose -k = -2*o - 5*a, -3*o + 23 - 1 = -2*a. Which is smaller: d or o?
d
Let w be (-3)/(((-3)/(-2))/1). Let g be (-2 + -3 + w)*1. Let y be (-40)/42 - 2/g. Which is smaller: 2 or y?
y
Let j = -0.2 - -0.7. Let n = -6.7 + 7. Let y = j - n. Is y smaller than 2?
True
Let i = -11 - -9. Let x = -4 - i. Is x greater than 1?
False
Let k = -140 + 131.1. Let u = k - -9. Which is smaller: u or -1?
-1
Suppose 0 = -2*m + m + 2. Suppose -m*k - 2 = -4. Is k greater than 0.4?
True
Let o = -32 - -16. Do o and -21 have different values?
True
Let p(x) = -3*x**2 + 5*x + 9. Let w be p(4). Is -19 not equal to w?
False
Suppose -97 = 2*t + o, 3*o - 2 = o. Which is bigger: t or -48?
-48
Let x = 1/17 - 39/85. Is x at most as big as -5/2?
False
Let i be (1/2)/(1/6). Let f be (i - (0 + 2))*-7. Let t = 10 + f. Is t > 4?
False
Let i be (-249)/21 - (-2)/(-14). Let r be 4/i*(-7 + 1). Are 7/3 and r equal?
False
Let w = 9 - 6. Let r = -20 - -29. Suppose j = 3*z + r, 5*j - 2*z - 8 = -2. Do w and j have the same value?
False
Let s(i) = 2*i. Let n be s(1). Suppose 3*c = -n*c, 3*p - c + 12 = 0. Let b(z) = -z**3 + 3*z**2 - 4. Let y be b(3). Are p and y non-equal?
False
Let h = -2/219 + 671/1533. Let g be 4 + (3 - 4 - 2). Which is bigger: h or g?
g
Let l = 35 - 35. Is l greater than or equal to 3?
False
Let o = 0.084 - 4.034. Let r = o + 4. Let w = -0.15 + r. Which is smaller: w or -8?
-8
Let c = -866/221 - -54/13. Which is bigger: 1 or c?
1
Let n = -2/11 - -28/33. Let c = 52 + -40.6. Let y = c + -12. Is y greater than n?
False
Let q be 8/(-4)*(-10)/7. Which is bigger: q or 2?
q
Let x(k) = -k**3 - 4*k**2 - 2*k + 4. Let m be x(-4). Is m smaller than 12?
False
Let y = 0.83 + 0.27. Let d = 2 + -1.9. Let p = d - y. Which is greater: 1 or p?
1
Let k = 6 + -3. Suppose k*q = q + 6. Which is smaller: q or 2?
2
Let p = -0.21 - -0.23. Is 1 at most as big as p?
False
Let t(m) = 0*m**2 + 2 - 3*m**2 - 13*m - 1 + 4*m**2. Let k be t(13). Is -2/17 equal to k?
False
Let z(m) = 6*m**3 - m**2 - m. Let x be z(-1). Is x greater than -5?
False
Suppose -8 = -3*v - 4*t, -4*v + t + 2*t = 6. Let u = 3.9 - 0.9. Let a = u - 2.9. Which is greater: v or a?
a
Suppose 5*t = -12 - 33. Suppose 4*w = 7 - 43. Is w less than or equal to t?
True
Let a = 100/11 - 467/55. Suppose c - 34 = -4*j + 4*c, -58 = -5*j - 4*c. Let f = j + -8. Which is bigger: a or f?
f
Suppose r + 3*i = 10, -5*i - 7 + 17 = -5*r. Let a be r + -1 - (-4 - 0). Suppose 0 = -3*u + a*u. Is u at most 2/5?
True
Suppose -2*i = 2*d, 0 = -4*d - 3*i + 8 - 10. Suppose 16 = -2*v + 4. Which is bigger: v or d?
d
Suppose 0 = -2*x - 0*s + s + 8, -4*x - s + 10 = 0. Suppose 4*v = -x - 1. Let g be (v/4)/(10/(-8)). Is g equal to 1?
False
Let j be (0 + (2 - 2))*1. Let y be 0/(1 + j/(-1)). Let x = -3 + y. Which is greater: x or -2?
-2
Let z be 4 - ((-2 - -15) + 0). Which is smaller: z or -10?
-10
Suppose -3*v + 3 = -3. Suppose 0 = -2*c + c + v. Is c smaller than 0?
False
Suppose -2*q + u = -65, 2*q + 4*u - 19 - 71 = 0. Suppose y - 6*y = -q. Is y <= 5?
False
Suppose 0 = v - 2*l - 12, 3*v + 4 = -l + 19. Let t(x) = 6*x**2 - x + 1. Let z be t(1). Is z equal to v?
True
Let n be 280/50 + (-4)/(-10). Suppose -n*y + y + 5 = 0. Which is smaller: -4/15 or y?
-4/15
Let k = -1.5 + 1.57. Let w = 5.07 - k. Let n = w + -5.5. Is 2/5 bigger than n?
True
Let y be ((-18)/27)/(2/12). Let n be (6/(-12))/(2/y). Is -2/7 > n?
False
Let c be -2 + 5 - (2 - 4). Let f be (-11)/c + (-1)/(-5). Let b be (f/(-3))/((-11)/3). Which is bigger: 0 or b?
0
Let y(k) = 1 + 3 + k + 0*k. Let u be y(-3). Let o be (12/(-8))/(3*-1). Which is bigger: u or o?
u
Let y = -3 - 9. Which is bigger: -13 or y?
y
Let z = -3 + 2. Suppose 0 = 4*j - 7*j. Which is smaller: z or j?
z
Let v = 2 - -3. Suppose m + 12 = 4*w - v*w, -w = -2*m - 21. Which is smaller: -10 or m?
m
Let a be ((-2)/(-6))/((-4)/12). Is 3/29 != a?
True
Let k be 4/51*6/4. Do k and -1 have the same value?
False
Let v = -1 + 0.95. Let k = -16 + 15.55. Let j = v + k. Which is bigger: j or -1?
j
Let o = -0.76 + 0.06. Let w = 1.9 - 1.2. Let s = o + w. Which is greater: s or -1?
s
Let s = 22 - 14. Which is greater: s or 9?
9
Let o = 112320/113 + -994. Which is bigger: o or -1?
o
Let a = -0.6 - -1.2. Let v = a + -2.6. Let b = -0.4 + 0.3. Which is greater: v or b?
b
Let y be 188/(-707) + 5 + (-231)/49. Which is smaller: 0 or y?
0
Let m = 10 + -11. Let b = 8 + m. Which is bigger: 6 or b?
b
Suppose q = 3*q - 10. Suppose 7 = 2*k - 3*l + 2*l, -q*l = -5*k + 25. Let m(u) = -2*u - 5. Let j be m(-4). Is k bigger than j?
False
Suppose 4*q = 12, h = -h - q + 3. Let o be (-2 - -3)/(-9 - -1). Which is greater: o or h?
h
Let h = 9 + -5. Which is greater: -0.1 or h?
h
Let r be (-27)/(-18) - (-15)/(-2). Let m be (15/r + 2)*16. Is -8 less than m?
False
Let a be (2 - 2)*-3*5/30. Which is smaller: -2/113 or a?
-2/113
Let j(m) = 2*m**2 - 18*m - 7. Let l be j(9). Is -8 > l?
False
Let k = 28040989/6160 + -159304/35. Let c = -1/176 - k. Is -1 at most as big as c?
True
Let f = 119/6 + -139/7. Let a = f - 23/42. Which is greater: 0 or a?
0
Suppose 4*p = 17 + 27. Which is smaller: p or 10?
10
Let w = 3.6 - -0.4. Let i = 3 - w. Let b = 6 - 8. Which is smaller: b or i?
b
Let f be (-1)/((-54)/51 + 1). Suppose -11 = -z - h, z = -0*z - 3*h + f. Which is smaller: 7 or z?
7
Let t = -6/59 - -125/649. Let p = t + -14/33. Suppose 0 = -3*z - 15, 0*j - 5*j + 5 = -z. Is p less than or equal to j?
True
Let x = -0.3 - 0.2. Let g = 0.5 + x. Let o = 1 - g. Is o <= -2/9?
False
Let p be 6*((-4)/(-3) + -1). Suppose 9 = 3*z - 3*g, 2*z = -3*g - 2*g + 13. Let o be 1 - 2 - z/(-2). Which is smaller: p or o?
o
Let f(z) = 3*z - 9. Let s be f(4). Which is bigger: s or -2/3?
s
Let u(w) = w**2 - w - 2. Let l be u(-2). Suppose j = 6*j - 5*s - 25, -l*s - 20 = 0. Let o be j - -1 - (5 - 3). Is o > -2/3?
False
Let h = -70 + 353/5. Which is smaller: 2 or h?
h
Suppose -2*l = o - 13, l + 4*o + 1 = 25. Let v = l - 2. Which is smaller: v or 4?
v
Suppose -5*m - g = 7, -2*m + 2*g - 3*g = 4. Is 2/13 less than or equal to m?
False
Let j = 24 + -18. Let a(l) = -l**3 - 6*l**2 + 5. Let t be a(-6). Suppose 0 = -t*d - 5*s - 19 - j, 0 = 4*s + 8. Is -4 not equal to d?
True
Let u = -20 - -13. Let n = 7 + u. Is n smaller than 0.3?
True
Let n(r) = -r**2 - 5*r - 1. Let v be n(-7). Let l be 70/v - (1 - 4). Is -3 less than l?
True
Let i(v) = -v**2 - 11*v - 10. Let p be i(-10). Is p less than -2/149?
False
Let r = 0.17 + -0.03. Let f = -0.05 + r. Is f greater than or equal